在矩形ABCD中（AB＞CD），E为线段AD上的一个动点（E不与A、D两点重合），连接EC，过E点作EF⊥EC交AB于F，连接FC（1）求证：AF?DC=AE?ED；

网友回答

证明：（1）∵四边形ABCD是矩形，
∴∠A=∠D=90°，
∴∠AEF+∠AFE=90°，
∵EF⊥EC，
∴∠AEF+∠DEC=90°，
∴∠AFE=∠DEC，
∴△AEF∽△DCE；
∴，
∴AF?DC=AE?ED；
（2）E是AD的中点时，AE平分∠AFC，理由如下：
∵EF平分∠AFC，
∴∠AFE=∠EFC，
∴tan∠CFE=，
同理可得，tan∠AFE=，
∴，
又∵△AEF∽△DCE，
∴，
∴，
∴AE=DE，
∴E是AD的中点时，AE平分∠AFC．
解析分析：（1）由四边形ABCD是矩形，EF⊥EC，易得∠A=∠D=90°，∠AFE=∠DEC，由有两组角对应相等的两个三角形相似，即可判定△AEF∽△DCE，利用相似三角形的性质：对应边的比值相等即可得到比例式：，进而证明AF?DC=AE?ED；
（2）由AE平分∠AFC，可得∠AFE=∠EFC，那么两角在各自直角三角形里的正切值相等，可得，再由（1）知△AEF∽△DCE，又可得到比例线段：，两式联合可得：，就有AE=DE，即E是AD中点时，EF平分∠AFC．

点评：此题考查了相似三角形的判定与性质、矩形的性质以及锐角三角函数的定义．此题难度适中，注意数形结合思想的应用．