数理科学IIA（第7回）

今回はまず、前回の時間にシステムの不具合でできなかった、MathLibre 2013 のデモンストレーションを行いました。今度はシステムが無事起動し、ひとまず、ソフトウェアの紹介ページを紹介して（くどいですが）説明しました。

その後、Euclid の互除法について、前回、証明が途中までで終わった "GCD recursion theorem" の証明の残りを説明しました。後半では、拡張 Euclid 互除法の説明に入りました。拡張 Euclid 互除法の定理の証明は、余因子 (cofactor) の次数に関する性質の証明の途中まで行ったところで、今日は時間になりました。

次回は、拡張 Euclid 互除法の定理の残りの部分を説明し、同アルゴリズムの説明を行う予定です。