在矩形ABCD中,E为AD的中点,EF垂直于EC交AB于F连接FC,1证明三角形AEF相似于三角形ECF