Kéo dài MK,ML cắt BC tại C,D.
Ta thấy: [tex]\widehat{CMB}=\widehat{HMB}+\widehat{HMC}=\widehat{MAH}+\widehat{AMC}=\widehat{MCB}\Rightarrow[/tex] BMC cân tại B
Mà BL là phân giác [TEX]\widehat{MBC}[/TEX] nên BL là trung trực MC.
Tương tự ta cũng có CK là trung trực MD. Từ đó I là tâm đường tròn ngoại tiếp MCD.
Vẽ IN vuông với CD. Ta có [tex]\widehat{CID}=2\widehat{CMD}=90^o[/tex]
Tam giác CID vuông tại I có IN là trung tuyến nên [tex]IN=\frac{CD}{2}[/tex]
Lại có: M đối xứng với C qua BL nên [tex]\widehat{BCL}=\widehat{BML}=\widehat{HML}=90^o-\widehat{LDC} \Rightarrow \widehat{DCL}+\widehat{LDC}=90^o \Rightarrow \widehat{CLD}=90^o[/tex]
Từ đó L thuộc (N,NA).
Tương tự thì K cũng thuộc (N). Từ đó bán kính đường tròn ngoại tiếp IKL là IN hay bán kính đường tròn nội tiếp MAB.
Vẽ IE và IF vuông với MA,MB thì [tex]IE=IF=IN[/tex]
Lại dễ thấy MIE vuông cân tại E nên IE = ME.
Từ đó [tex]AM+MB-AB=AE+EM+BF+FM-AN-BN=(AE-AN)+(BF-BN)+EM+FM=2IN[/tex]
Mà [tex]AM+MB \leq \sqrt{2(AM^2+MB^2)}=\sqrt{2}AB[/tex]. Dấu "=" xảy ra khi M giữa cung AB.
Từ đó IN max khi M giữa cung AB.