In ΔAFD m(∡AFD)=90, m(∡FAD)=45 ⇒m(∡FDA)=90-m(∡AFD)=90-45=45 ⇒
ΔAFD este dreptunghic isoscel ⇒ are catetele egale (AF=DF)
Similar si in ΔAED AE=ED.
Cele 2 triunghiuri sunt congruente, avand ipotenuza AD comuna si unghiurile egale.
⇒ AF=DF=AE=ED si m(∡EAF)=90 ⇒ AEDF -patrat