Rettvinklet trekant med kvadrater og kongruens
Lest inn av KI og ikke kontrollert manuelt enda — kan inneholde feil.
I en rettvinklet trekant er . La være midtpunktet på . La videre og være kvadrater på de to katetene. Punktet er skjæringspunktet mellom forlengelsen av linjestykket og linjestykket . Se figuren nedenfor.

Begrunn at (kongruente trekanter).
Begrunn at er likebeint.
Vis at .