【（2023•天门模拟）在Rt△ABC中，AB=BC，∠B=90°，将一块等腰直角三角板的直角顶点O放在斜边AC上，将三角板绕点O旋转．（1）当点O为AC中点时，①如图1，三角板的两直角边分别交AB，BC于E、F】

问题：【（2023•天门模拟）在Rt△ABC中，AB=BC，∠B=90°，将一块等腰直角三角板的直角顶点O放在斜边AC上，将三角板绕点O旋转．（1）当点O为AC中点时，①如图1，三角板的两直角边分别交AB，BC于E、F】

答案：↓↓↓

聂晓文的回答：

网友采纳　　（1）①猜想：AE2+CF2=EF2．　　②成立．　　证明：连结OB．　　∵AB=BC，∠ABC=90°，O点为AC的中点，　　∴OB=12