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