Simetricul lui A fata de mijlocul ipotenuzei BC il notam cu M iar intersectia acestei drepte cu ipotenuza o notam cu D.
Automat avem AD=DM si m(∡BMC)=90°, AD si DM fiind simetrice.
Mai stim ca BD=DC din ipoteza (D mijlocul lui BC)
Din definitia dreptunghiului stim ca diagonalele acestuia se injumatatesc.
Daca luam AM si BC diagonale, am aratat mai sus ca acestea se injumatatesc =>ABMC dreptunghi.
