ABCD和旋转30度的AB'C'D'
设C'B'的延长线交BC于E,B'C'与CD交于F
ABE于AB'E全等
BE=AB*tan15
CE=BC-AB*tan15
空白面积=2*ABE面积+EFC面积
=AB*BE+1/2 CE*CF = AB^2 tan 15 + 1/2 AB^2(1-tan15)^2 * tan 30 = AB^2 * (1-sqrt(3)/3) = 9-3sqrt(3)
阴影面积=3sqrt(3)
ABCD和旋转30度的AB'C'D'
设C'B'的延长线交BC于E,B'C'与CD交于F
ABE于AB'E全等
BE=AB*tan15
CE=BC-AB*tan15
空白面积=2*ABE面积+EFC面积
=AB*BE+1/2 CE*CF = AB^2 tan 15 + 1/2 AB^2(1-tan15)^2 * tan 30 = AB^2 * (1-sqrt(3)/3) = 9-3sqrt(3)
阴影面积=3sqrt(3)