>>728
既出だったと思ったが
30度、60度、90度と45度、45度、90度の2つの直角三角形を組み合わせてできる
辺の長さが2、√2、1+√3の三角形を考える
この三角形の面積は（1+√3）/2
三角形AFGの面積はこの三角形の
（√3/2）*（1/√2）倍