Theo định lí Pytago 4 điểm ta có:
\(KB^2-KL^2=MB^2-ML^2\) vì \(MK\perp BL\)
\(KC^2-KL^2=NC^2-NL^2\) vì \(NK\perp CL\)
Suy ra \(KB^2-KC^2=MB^2-NC^2+NL^2-ML^2\)
\(=\frac{1}{4}\left(BF^2-CE^2+CF^2-BE^2\right)=\frac{1}{4}\left(BC^2-BC^2\right)=0\)
Vậy \(KB=KC.\)