a,xet tam giac vuong ABC co:
DE vuong goc voi AB ,AC vuong goc voi AB
nen ED song song voi AC , nen goc EDA =goc DAF ( hai goc so le trong)
Xet tam giac EDA va tam giac FAD co;
goc AED =goc DFA(=90)
goc EDA=goc DAF(cmt)
AD canh chung
nen tam giac EDA=tam giac FAD(ch gn)
suy ra EF=AD