Vì \(DE\) là đường phân giác của tam giác \(ABD\) nên \(\widehat {ADE} = \widehat {EDB}\).

Ta có: (cmt) nên \(\widehat {DBA} = \widehat {HAD}\) (hai góc tương ứng)

Suy ra \(\widehat {DBA} + \widehat {EDB} = \widehat {HAD} + \widehat {EDA}\) (1)

Xét \(\Delta AID\) có \(\widehat {AIE} = \widehat {IAD} + \widehat {IDA} = \widehat {HAD} + \widehat {EDA}\) (tính chất góc ngoài) (2)

Xét \(\Delta DEB\) có \(\widehat {AEI} = \widehat {EBD} + \widehat {BDE}\) (tính chất góc ngoài ) (3)

Từ (1), (2), (3) suy ra \(\widehat {AIE} = \widehat {AEI}\).

Do đó, \(\Delta AIE\) cân tại \(A\).

Suy ra \(AE = AI\).

Xét \(\Delta ADH\), có \(DI\) là đường phân giác nên \(\frac{{IH}}{{IA}} = \frac{{DH}}{{DA}}.\)

Mà \(AE = AI\) (cmt) (4)

Suy ra \(\frac{{AD}}{{DH}} = \frac{{BD}}{{AD}}\), suy ra \(\frac{{AD}}{{BD}} = \frac{{DH}}{{DA}}\) (5)

Từ (4) và (5) suy ra \(\frac{{IH}}{{EA}} = \frac{{AD}}{{BD}}\) \(\left( * \right)\)

Xét \(\Delta ADB\) có \(DE\) là đường phân giác nên \(\frac{{AE}}{{EB}} = \frac{{AD}}{{BD}}\)\(\left( {**} \right)\)

Từ (*) và (**) suy ra \(\frac{{IH}}{{EA}} = \frac{{AE}}{{EB}}\) hay \(A{E^2} = IH.EB\) (đpcm).

A E = A F .