>>74
というかどうせ計算機でやるならcos(arcsin(1/3)+arcsin(7/9))までやらせればいいのにと思った。