Duci AE||BD, ABDE paralelogram (cf definitiei) => AE=BD dar ABCD isoscel BD=AC => AE=AC (1)
Cum BD⊥AC si AE||BD =>AE⊥AC (2)
Din (1) si (2) AEC drept isoscel => h(linia vilolet)=EC/2
pe de alta parte tot din ABDE paralelogram =>AB=ED de unde EC=ED+DC=AB+DC=2*lm =>h=lm
Aria ABCD=h(AB+DC)/2=lm*lm etc