Xét tứ giác `MNPK` có :
\(\left\{{}\begin{matrix}IM=IK\\IN=IP\end{matrix}\right.\)
`=>` tứ giác `MNPK` là hình bình hành ( tứ giác có 2 đường chéo cắt nhau tại trung điểm mỗi đường)
`=> MN = PK ; MN` // `PK`
Xét tứ giác MNKP có
I là trung điểm của MK và NP
=>MNKP là hình bình hành
=>MN//PK và MN=PK