Question

如图，正方形ABCD中，AC为对角线，E、F分别是边AB、AD上的两点，且CE=CF．
（1）求证：AE=AF；
（2）若tan∠ACF=，求tan∠BCE的值．

Answer

（1）先证出△EBC≌△EFC，再证出△AFC≌△AEC，即可证出AE=AF；
（2）作EG⊥AC，构造直角三角形，设出EG的长，再根据勾股定理和三角函数用含x的代数式表示出△EBC的各边长．
【解析】
（1）在Rt△EBC和Rt△FDC中，
CE=CF，CD=CB，
所以△EBC≌△EFC，
所以∠BEC=∠DFC，
所以∠AEC=180°-∠BEC，
∠AFC=180°-∠DFC，
于是∠AEC=∠AFC，
又因为∠EAC=∠FAC，AC=AC，
所以△AFC≌△AEC，
所以AE=AF．

（2）连接BG．
设EG=x，则AG=x．
因为∠ACF=∠ACE，
所以tan∠ACF=tan∠ACE=，
所以GC=2x，
AC=x+2x=3x．
根据勾股定理，AE==x，
AB=BC=AC•cos45°=3x•=x．
故EB=AB-AE=x-x=x．
则tan∠BCE===．