Cho tam giác \(ABC\) vuông tại \(A.\) Gọi \(M\) là một điểm trên cạnh

Ta có \(\widehat {ABC} = \frac{1}{2}\widehat {AIM} = \widehat {AIK}\,\,;\,\,\widehat {ACB} = \frac{1}{2}\widehat {AKM} = \widehat {AKI}\).

\(\widehat {AIK} + \widehat {AKI} = \,\,\widehat {ABC} + \widehat {ACB} = {90^0}\)nên tam giác \(AIK\) vuông tại A

\({S_{AIK}} = \frac{1}{2}AI.AK \ge \frac{1}{2}AE.AF = \frac{1}{8}AB.AC\), với \(E,\,F\) theo thứ tự là trung điểm của \(AB,\,AC\)

Đẳng thức xảy ra khi \(I \equiv E\) và \(K \equiv F,\) khi đó \(M \equiv H.\)