a: Xét ΔIKE và ΔIML có
\(\widehat{IKE}=\widehat{IML}\)
\(\widehat{KIE}=\widehat{MIL}\)
Do đó: ΔIKE\(\sim\)ΔIML
b: Xét ΔMIL và ΔMKE có
\(\widehat{IML}=\widehat{KME}\)
\(\widehat{ILM}=\widehat{KEM}\)
Do đó: ΔMIL\(\sim\)ΔMKE
Suy ra: MI/MK=ML/ME
hay \(MI\cdot ME=MK\cdot ML\)