AD este jumătate din BC, deci AD=BD=CD. Atunci triunghiurile ADB și ADC sunt isoscele. DE și DF sunt înălțimi în cele două triunghiuri, deci E și F sunt la mijloacele laturilor AB și AC. Atunci EF este linie mijlocie în triunghiul ABC și este jumătate din BC.