xét tứ giác PBMI ta có :
BPM = 90 (MP\(\perp\)BC)
BIM = 90 (MI\(\perp\)BA)
\(\Rightarrow\) BPM + BIM = 180
mà 2 góc này ở vị trí đối nhau \(\Rightarrow\) tứ giác PBMI là tứ giác nội tiếp
\(\Rightarrow\) MIP = MBP (2 góc nội tiếp cùng chắng cung MP của tứ giác PBMI )
mà MBP = MPK (chứng minh trên)
\(\Rightarrow\) MIP = MPK
ta có : PMI + PBI = 180
PMK + PCK = 180
mà ABC = ACB
\(\Rightarrow\) PMK = PMI
xét \(\Delta\) MIP và \(\Delta\) MPK
ta có : PMK = PMI (chứng minh trên)
MIP = MPK (chứng minh trên)
\(\Rightarrow\) \(\Delta\) MIP đồng dạng \(\Delta\) MPK
\(\Leftrightarrow\) \(\dfrac{MI}{MP}\) = \(\dfrac{MP}{MK}\) \(\Leftrightarrow\) MP2 = MI . MK
\(\Rightarrow\) MI . MK . MP = MP3
\(\Rightarrow\) MI . MK . MP lớn nhất \(\Leftrightarrow\) MP lớn nhất
\(\Rightarrow\) M nằm chính giửa BC