Áp dụng hệ thức lượng cho tam giác KDE và tam giác KDF có:
\(\left\{{}\begin{matrix}KM\cdot DE=KD\cdot KE\\KN\cdot DF=KD\cdot KF\end{matrix}\right.\Leftrightarrow KM\cdot DE+KN\cdot DF=KD\left(KE+KF\right)=KD\cdot EF\left(1\right)\)Vì DMKN là hình chữ nhật \(\left(\widehat{D}=\widehat{M}=\widehat{N}=90\right)\)
\(\Rightarrow MN=DK\left(2\right)\)
\(\left(1\right)\left(2\right)\Rightarrow KM\cdot DE+KN\cdot DF=MN\cdot EF\)