O を正方形に内接する円の中心
H を CO の延長と FG の交点とすると
CH は FG の垂直二等分線であり
FH = sqrt(14)/4 である。

FO = 1 で FC = 2 なので
 α = arcsin(sqrt(14)/4)
 β = arcsin(sqrt(14)/8)
とおくと
 α = ∠FOH で β = ∠FCH である


ここで sqrt(14) は平方根 14 を表している
続く   戻る