已知 如图在菱形abcd中E,F是ab,cd上的点