皆さん、おはようございます。時空 解です。   この３日間ほど、ユークリッドの互除法に悩んでいました。 ユークリッドの互除法と言うのは、２つの自然数の最大公約数を求める方法です。Wikipedia によると「明示的に記述された最古のアルゴリズム」とも言われているそうなんですが、その定式化された解法手順を行うと、どうして最大公約数が求められるのか？ その証明に悩んでいたんです。   ここで「ガロア理論の頂を踏む」と言う書籍から、その証明を引...