旋转。

外加坐标运算

S1=丌×(EF/2)^2

最后一问，确保未知数的定义域（两边之和大于第三边，两边之差小于第三边），然后海伦上。

AF•BE＝√2ON•√2OM＝2OM•ON＝4＝OA•OB
故△AOF∽△BEO
由相似可得∠EOF＝45°，故EF^2＝BF^2＋AE^2≥(AE＋BF)^2/2＝(2√2－EF)^2/2
解得：EF≥4－2√2
S1＋S2＝π/4•EF^2＋√2/2EF，该函数由于EF＞0，函数值随EF的增大而增大
故EF＝4－2√2时，S1＋S2有最小值，结果自己算

第一问经典，第二问2B出的