Today I met professor Halfbrain at the tea house. The professor looked very tired, and apparently had not slept for the last couple of days. He told me that he had been spending his time with cutting right-angled triangles into smaller pieces.
- The professor had originally started out with six huge right-angled triangles: two congruent triangles with side length $9,12,15$, two congruent triangles with side length $12,16,20$, and two congruent triangles with side length $15,20,25$.
- In one cutting operation, the professor cut one of his current right-angled triangles into two smaller right-angled ones. The cut was always done along the altitude dropped onto the hypotenuse. (Note that all the resulting triangles are again right-angled.)
The professor was extremely happy to report that $-$ after many hours of cutting and cutting and cutting $-$ he had finally produced a triangle set in which there did not remain a single pair of congruent triangles.
Question: Is it indeed possible to generate a set of pairwise non-congruent triangles (according to the above rules), or has the professor once again made one of his mathematical blunders?