题库 初中数学
题干
如图，正方形ABCD的边长为6，E，F分别是AB，BC边上的点，且
，将
绕点D逆时针旋转
，得到
．
求证：
．
当
时，求EF的长．
，将绕点D逆时针旋转，得到．求证：．当时，求EF的长．答案(点此获取答案解析）
，则它的面积_______.
的值是______．