sin(π/5)の値を求める・その1

先日の問題（2025年11月7日の記事、復元算額3法眼寺）で、三角関数の値を求める証明ができていませんでした。今回は、代数的に求める方法です。

たしか、高校生の時にこんな式変形を習いましたね　(。´･ω･)?