Ta có: IJ−→=IA−→+AB−→−+BJ−→IJ→=IA→+AB→+BJ→
IJ−→=ID−→+DC−→−+CJ−→IJ→=ID→+DC→+CJ→
⇒IJ−→=12(AB−→−+DC−→−)⇒IJ→=12(AB→+DC→)
Xét:
HK−→−.IJ→=12(OK−→−−OH−→−).(AB−→−+DC−→−)=12(OK−→−.AB−→−+OK−→−.DC−→−−OH−→−.AB−→−−OH−→−.DC−→−)=12(OK−→−.AB−→−−OH−→−.DC−→−)=12[(OC−→−+CK−→−).(OB−→−−OA−→−)−(OA−→−+AH−→−).(OC−→−−OD−→−)]=12[(OB−→−−OA−→−−AH−→−).OC−→−−(CK−→−+OC−→−−OD−→−).OA−→−]=12[(HA−→−+AO−→−+OB−→−).OC−→−−(DO−→−+OC−→−+CK−→−).OA−→−]=12(HB−→−.OC−→−−DK−→−.OA−→−)=0⇔HK⊥IJ