如图，在边长为4的正方形内作，交于点，交于点，连接，将绕点顺时针旋转得到．

1. (2022九上·河东期末) 如图，在边长为4的正方形 $\text{[math]}$ 内作 $\text{[math]}$ ， $\text{[math]}$ 交 $\text{[math]}$ 于点 $\text{[math]}$ ， $\text{[math]}$ 交 $\text{[math]}$ 于点 $\text{[math]}$ ，连接 $\text{[math]}$ ，将 $\text{[math]}$ 绕点 $\text{[math]}$ 顺时针旋转 $\text{[math]}$ 得到 $\text{[math]}$ ．
1. （1）求证： $\text{[math]}$ ；
3. （2）若 $\text{[math]}$ ，求 $\text{[math]}$ 的长．