如图所示，在Rt△ABC中，∠BAC=90°，∠B=45°，O为BC中点，如果点M、N分别在线段AB、AC上移动，设AM的长为x，CN的长为y，且x、y满足等式+=0（a＞0）．
（1）求证：BM=AN；
（2）请你判断△OMN的形状，并证明你的结论；
（3）求证：当OM∥AC时，无论a取何正数，△OMN与△ABC面积的比总是定值．

如图，在正方形ABCD中，AB＝1，AC是以点B为圆心，AB长为半径的圆的一条弧，点E是边AD上的任意一点（点E与A、D不重合），过E作AC所在圆的切线，交边DC于点F，G为切点

1.当∠DEF＝时，试说明点G为线段EF的中点；

2.设AE＝，FC＝，用含有的代数式来表示，并写出的取值范围

3.如果把△DEF沿直线EF对折后得△，如图2，当 时，讨论△与△是否相似，如果相似，请加以证明；如果不相似，只要写出结论，不要求写出理由．

如图，在正方形ABCD中，AB＝1，AC是以点B为圆心，AB长为半径的圆的一条弧，点E是边AD上的任意一点（点E与A、D不重合），过E作AC所在圆的切线，交边DC于点F，G为切点
【小题1】当∠DEF＝时，试说明点G为线段EF的中点；
【小题2】设AE＝，FC＝，用含有的代数式来表示，并写出的取值范围
【小题3】如果把△DEF沿直线EF对折后得△，如图2，当 时，讨论△与△是否相似，如果相似，请加以证明；如果不相似，只要写出结论，不要求写出理由．