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