1. (2020九上·四平期末) 如图①，点O为正方形ABCD的中心，分别延长OA ， OD到点F ， E ， 使OF=2OA ， OE=2OD ， 连接EF ． 将△EOF绕点O逆时针旋转 得到△E₁OF₁（如图②），连接AE₁ ， BF₁ ．

1. （1） 探究AE₁与BF₁的数量关系，并给予证明．
3. （2） 当OA⊥AE₁时， =度．