Question

如图，将边长为4cm的正方形ABCD绕顶点C顺时针方向旋转30°，得到正方形EFCG，且EF交AD于点H．
（1）求证：DH=HF；
（2）求四边形CDHF的面积．

Answer

（1）由将边长为4cm的正方形ABCD绕顶点C顺时针方向旋转30°，利用HL易证得Rt△CFH≌Rt△CDH，即可得DH=HF；
（2）由Rt△CFH≌Rt△CDH，可得∠FCH=∠DCH，易求得∠FCH=30°，然后求得FH的长，继而求得四边形CDHF的面积．
（1）证明：连接CH，
根据题意得：∠F=∠D=90°，CF=CD，
∵在Rt△CFH和Rt△CDH中，
，
∴Rt△CFH≌Rt△CDH（HL），
∴DH=HF；

（2）【解析】
∵Rt△CFH≌Rt△CDH，
∴∠FCH=∠DCH，
由旋转的性质得：∠BCF=30°，
∴∠FCD=90°-∠BCF=60°，
∴∠FCH=∠FCD=30°，
∵正方形ABCD的边长为4，
∴CF=4，
∴FH=CF•tan30°=4×=，
∴S△CDH=S△CFH=×FH×CF=××4=，
∴S四边形CDHF=S△CDH+S△CFH=．