ΔADF≡ΔABG (usor de gerificat - cazul cateta cateta)=>
AF=AG (1)
AE=AE (2)
m(EAB)+m(DAF)=90-45=45, dar m(BAG)=m(DAF), de unde rezulta ca
m(EAG)=m(EAB)+m(BAG)=45
m(EAF)=m(EAG)=45 (3)
Din (1), (2 si (3) => ΔAEF≡ΔAEG=>
A[AEF]=A[AEG]=A[AEB]+A[ADF]=X
Am folosit notatia X pentru aria ΔAEF si am demonstrat ca aceasta arie este egala cu suma ariilor celorlalte 2 triunghiuri AEB, ADF
A(patrat)=5²=2x+A[CFE]
25=2X+3, 2x=22, X=11
