Tam giác vuông KAH và tam giác vuông KMB có góc KAH = góc KMB( vì cùng phụ góc B) => KA/KM = KH/KB
=> KH.KM = KA.KB
Áp dụng bất đẳng thức \(ab\le\left(\frac{a+b}{2}\right)^2\), ta có \(KH.KM=KA.KB\le\left(\frac{KA+KB}{2}\right)^2=\frac{AB^2}{4}\)
Dấu = xảy ra <=> KA = KB <=> MA = MB