如图已知ab平行cd平行ef证明EF分之一等于