已知,求代数式的值.
因式分解:
化简:
将正方形ABCD绕中心O顺时针旋转角得到正方形,如图1所示. (1)当=45时(如图2),若线段与边的交点为,线段与的交点为,求证: ① OE=OF; ② . (2)当时,成立吗?若成立,请证明;若不成立,请说明理由.