Inizialmente notiamo che BH = HC
l'altezza relativa alla base in un triangolo isoscele é anche mediana,
C^ = B^ perché ABC é isoscele per ipotesi
BHD^ = C^ perché corrispondenti formati dalle parallele DH e AC tagliate dalla trasversale BC
EHC^ = B^ perché corrispondenti formati dalle parallele AB e EH tagliate dalla trasversale BC
Quindi i i triangoli DBH e EHC sono congruenti per il II Criterio ( un lato e i due angoli adiacenti )
2) HDE é isoscele perché DH = HE ( lati omologhi in triangoli dimostrati congruenti )
Per il teorema diretto, allora, HDE^ = HED^ = alfa
e quindi BDE^ = CED^ ( somme di angoli congruenti )
e ADE^ = P^ - BDE^ = P^-CED^ = AED^
per il teorema inverso allora ADE é isoscele sulla base DE per cui
AED^ = (P^ - A^)/2 = C^
e poiché tali angoli sono corrispondenti formati da DE e BC tagliate dalla trasversale AC
segue infine dal criterio di parallelismo che DE//BC, che corrisponde alla tesi.