∠ ade =∠ b ∠ bad (el ángulo exterior de un triángulo es igual a la suma de dos ángulos interiores no adyacentes)
∴∠EAD= ∠ADE
∴EA=ED
∵EF⊥AD
∴EF es la línea central en el borde AD.
2. Expanda AD hasta e y conecte BE.
∴△BDE≌△ACD
∴∠E=∠CAD=90, BE=AC
En Rt△ABE ∠ malo = 30.
∴BE=1/2AB
Es decir: AC = 1/2ab.