如图,正方形ABCD的对角线交于点O,点O又是正方形A1B1C1O的一个顶点,而且这两个正方形的边长相等.试证明:无论正方形A1B1C1O绕点O怎样转动,两个正方形重叠部分的面积,总等于一个正方形面积的