Red cat の数学よもやま話・新装開店

はてなダイアリー「Red cat の数学よもやま話」から徐々にこちらに移行していきます。

2022-03-04

厳密値

youtu.be
$\cos \dfrac{\pi}{12} = \dfrac{\sqrt{6} + \sqrt{2}}{4}, \sin \dfrac{\pi}{12} = \dfrac{\sqrt{6} - \sqrt{2}}{4}$ を使うと
$(x,y) = \left(\dfrac{\sqrt{3} + 1}{2\sqrt[3]{2}}, \dfrac{\sqrt{3} - 1}{2\sqrt[3]{2}}\right), \left(\dfrac{1 - \sqrt{3}}{2\sqrt[3]{2}}, - \dfrac{1 + \sqrt{3}}{2\sqrt[3]{2}}\right), \left(- \dfrac{1}{\sqrt[3]{2}}, \dfrac{1}{\sqrt[3]{2}}\right)$
と書けそうですね.