易知:MN=AB=EF
OM=ON=OE=OF
BM=AN=AC+CN
EC=BM(全等)=AC+CN
则:EC-CN=AC
直接将O与大正方形的四个顶点重合,中间缺少的刚好是一个正方形,大小即AC边的小正方形.