Vorschlag: füge noch eine weitere Bedingung hinzu:
- ABC sei ein rechtwinkliges und gleichschenkliges Dreieck mit dem rechten Winkel bei C. (ist trivial)
oder
- ABC sei ein rechtwinkliges Dreieck mit dem rechten Winkel bei C und einem Kathetenverhältnis von 3:4.