ef分别是矩形abcd的边ad ab上的点若ef=ec且ef垂直ec