PE垂直于AB,PF垂直于CD BG垂直于CD
则 PE平行BG
PF平行BG
且四边形EFGB中 四个角均为90° (因为PE垂直于AB,PF垂直于CD BG垂直于CD )
则 四边形EFGB为矩形
则 EF=PE+PF=BG