Trên tia Oy lấy điểm M' sao cho OM' = m thì NM' = OM
Vẽ tia phân giác Oz của góc xOy ,vẽ đường trung trực của OM' cắt Oz ở I,ta có : IO = IM',\(\Delta OIM'\)cân ở I,do đó \(\widehat{M'}=\widehat{O_1}\)mà \(\widehat{O}_1=\widehat{O}_2\)nên \(\widehat{M'}=\widehat{M}_2\)
Xét \(\Delta IOM\)và \(\Delta IM'N\)có :
IM = IM'
OM = MN
\(\widehat{I}\)chung
=> \(\Delta IOM=\Delta IM'N\left(c-g-c\right)\)
=> IM = IN
=> I thuộc đường trung trực của MN.
Vì góc xOy cố định Oz cố định \(M'\in Oy\)mà OM' = m không đổi thì đường trung trực của đoạn MN luôn luôn đi qua điểm I cố định.
Vậy khi hai điểm M và N thay đổi trên Ox,Oy sao cho OM + ON = m không đổi thì đường trung trực của đoạn MN luôn luôn đi qua điểm I cố định.