相似三角形的判定与性质;全等三角形的判定与性质;角平分线的性质;矩形的性质.
(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.
此题考查了相似三角形的判定与性质、矩形的性质以及锐角三角函数的定义.此题难度适中,注意数形结合思想的应用.