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