m(∡ADC)=90° - unghi inscris intr-un semicerc =>ED⊥AF=>ED inaltime in triunghiul EAF
m(∡ABC)=90° - unghi inscris intr-un semicerc=>FB⊥AE=>FB inaltime in triunghiul EAF
ED∩FB={C}=> C este ortocentrul triunghiului EAF
=>AC inaltime in triunghiul EAF=> AC ⊥FE