Có `\vec{IJ}=\vec{IA}+\vec{AC}+\vec{CJ}`

`\vec{IJ}=\vec{IB}+\vec{BD}+\vec{DJ}`

`-> 2\vec{IJ}=(\vec{IA}+\vec{IB})+(\vec{AC}+\vec{BD})+(\vec{CJ}+\vec{DJ})`

Vì `I, J` là trung điểm `AB, CD`

`-> \vec{IA}+\vec{IB}=\vec{CJ}+\vec{DJ}=\vec{0}`

`-> 2\vec{IJ}=\vec{AC}+\vec{BD}`

`-> 2\vec{IJ}.\vec{AB}=(\vec{AC}+\vec{BD}).\vec{AB}=\vec{AC}.\vec{AB}+\vec{BD}.\vec{AB}`

Vì `AC; BD \bot AB`

`-> \vec{AC}.\vec{AB}=\vec{BD}.\vec{AB}=\vec{0}`

`-> 2\vec{IJ}.\vec{AB}=\vec{0}`

`-> \vec{IJ}.\vec{AB}=\vec{0}`

`-> IJ \bot AB`