Trên tia AH lấy điểm A’ sao cho AH = HA’
Dễ CM được ∆AHC = ∆A’HB ( g.c.g)
⇒⇒ A’B = AC ( = AE) và ˆHAC=ˆHA′BHAC^=HA′B^
⇒⇒ AC // A’B ⇒ˆBAC+ˆABA′=1800⇒BAC^+ABA′^=1800 ( cặp góc trong cùng phía)
Mà ˆDAE+ˆBAC=1800⇒ˆDAE=ˆABA′DAE^+BAC^=1800⇒DAE^=ABA′^
Xét ∆DAE và ∆ABA’ có: AE = A’B , AD = AB (gt)
ˆDAE=ˆABA′⇒ΔDAE=ΔABA′(c.g.c)DAE^=ABA′^⇒∆DAE=∆ABA′(c.g.c)
⇒ˆADE=ˆBAA′⇒ADE^=BAA′^ mà ˆADE+ˆBAA′=900⇒ˆADE+ˆMDA=900ADE^+BAA′^=900⇒ADE^+MDA^=900
Suy ra HA vuông góc với DE