(1)证明:连接HC. ∵正方形EFCG是由正方形ABCD绕点C旋转后得到的, ∴CD=CF,∠D=∠F=Rt∠. 在Rt△CDH和Rt△CFH中, , ∴Rt△CDH≌Rt△CFH(HL), ∴DH=FH;
(2)∵正方形EFCG是由正方形ABCD绕点C旋转30°后得到的, ∴∠1=30°,∠BCD=∠1+∠2+∠3=90°. 由(1)得Rt△CDH≌Rt△CFH. ∴∠2=∠3=(90°-∠1)=30° ∵在Rt△CDH中,∠3=30°, ∴DH=HC,即HC=2DH. 由勾股定理得,HC2=DH2+CD2, ∵CD=3, ∴(2DH)2=DH2+32, 解得,DH=.
|