旋转正方形求重叠面积

结论 如果将边长为a的正方形ABCD以其顶点A为旋转中心旋转（逆时针）a角。