因为AB∥CD,EF⊥AB、CD于E、F
所以EF为AB与CD间的距离,且为AB与CD两直线上任意两点间最小距离
又因为GH=EF,而两直线间距离处处相等
所以GH也为AB与CD间的距离
所以GH⊥AB、CD