∠∠BAC = ∠DAE = 60,
∴∠BAC-∠DAC=∠DAE-∠DAC,
Es decir, ∠ ABAD =∠CAE,
AB = AC, AD=AE,
∴△ABD≌△ACE,
∴BD=CE
(2)
∫AB∨CD,
∴∠BEF ∠EFD=180,
EG y FG son bisecciones de ∠BEF y ∠EFD respectivamente Cable.
∴∠GEF=1/ 2 ∠BEF, ∠EFG=1/ 2 ∠EFD,
∴∠gef ∠efg=1/2(≈bef ≈EFD)= 90 ,
∴∠p=180-(∠GEF ∠EFG)= 180-90 = 90,
Es decir, por ejemplo ⊥ fg.