din ipoteza retinem ca triunghiul BDC este isoscel pentru ca ∡DBC=∡DCB, deci DB=DC. stim ca intr-un tr. isoscel bisectoarea corespunzatoare bazei BC este si mediana si inaltime si mediatoare. deci BE=EC
tot din ipoteza avem EF║AC si mai sus am aratat ca E este la mijocul lui BC. in consecinta EF este linie mijlocie in tr. ABC si despre care stim ca este jumatate din AC.
AC=2 x EF