素因数分解の一意性の証明を、ユークリッドの互除法とベズーの定理から迫る数学解説

「どの順に割っても同じ結果になる」「分解は1通りしか存在しない」——素因数分解の一意性は、多くの人が証明なしに当たり前として扱ってきました。本編では、その前提を一つずつ掘り下げる縛りプレイのような構成で、高校数学の範囲から一意性の証明に必要な道具を組み立てていきます。

■ 存在と一性を数式で書き直す
- 12=2²×3を題材に、素因数分解の存在と一意性を定理として形式化する
- 数学的帰納法（より強い帰納法）で存在を証明する

■ 一意性を支える周辺定理
- 割算の一意性とユークリッドの互除法の性質
- ベズーの定理（ax+by=gcd(a,b)）の導出と逆算の具体例
- ユークリッドの補題：素数が積を割るならどちらかを割る

■ 証明の全体像と応用・限界
- 補題を使って合成数・素数の場合分けで一意性を完成させる
- RSA暗号など一性が前提となる応用への言及
- 素因数分解が成立しない数の世界の存在にも触れる

高校数学や大学初年度の数学を学び直したい方、証明のどこまでを前提として使ってよいかを意識したい方に向けた内容です。視聴後は、「当たり前」だった数の性質をどこまで辿りなおすかという視点と、帰納法・互除法・ベズーの定理のつながりを自分の言葉で説明できる知識が得られます。まず一度目を通して前提を点検し、理解が進んだ段階で証明の各段階を再確認する学習をおすすめします。