在矩形四边形ABCD中,EF垂直EC交AB于F,连接FC[AB大于AE],三角形AEF与三角形EFC是否相似?若相似,证