Ta có →AM+→DN=(→AI+→IJ+→JM)+(→DI+→IJ+→JNM)⇒2→IJ=(→AM+→DN)−(→AI+→DI)−(→JM+→JN)=(→AM+→DN)+(k+1)→ID−(k+1)→JN(1)
Tương tự suy ra
2→JK=(→MB+→NC)−(→MJ+→NJ)−(→KB+→KC)
=(→MB+→NC)+(k+1)→JN−(k+1)→KC(2)
Vì →AM+→DN=2(→MB+→NC);→ID−→JN=2(→JN−→KC)(dễ dàng chứng minh)
Nên từ (1);(2) suy ra →IJ=2→JK⇒(đpcm)