整数問題でよく登場する「ab＝最大公約数×最小公倍数」という関係は、一見すると偶然の公式のように見えます。しかしこれは偶然ではなく、整数の構造そのものから必然的に導かれる性質です。本記事では、この関係がなぜ成り立つのかを、基本から整理して解説します。
結論：素因数分解で見ると一発で説明できる
この等式の本質は「素因数分解における指数の扱い」にあります。
自然数aとbを素因数分解すると、それぞれの素数の指数構造として表すことができます。
具体例で確認する
例えば、a＝12、b＝18とします。
12＝2²×3、18＝2×3²です。
このとき最大公約数は共通部分の最小指数、最小公倍数は最大指数で作られます。
GCD＝2¹×3¹＝6、LCM＝2²×3²＝36となります。
すると ab＝12×18＝216、GCD×LCM＝6×36＝216で一致します。
なぜ必ず一致するのか（指数の構造）
素因数分解で見ると、aとbの各素数について「指数の和」が常に一定になることがポイントです。
GCDは小さい方の指数、LCMは大きい方の指数を使うため、それらを掛け合わせると結果的に元のaとbの指数の合計になります。
一般式での説明
a＝∏p^α、b＝∏p^βと表すと、
GCD＝∏p^min(α,β)、LCM＝∏p^max(α,β)となります。
よってGCD×LCM＝∏p^(α+β)＝abとなり、必ず成立します。
直感的な理解：重なりと全体の関係
最大公約数は「共通部分」、最小公倍数は「全体を満たす最小のまとまり」です。
この2つを掛けると、重複がちょうど打ち消されて元の積に戻る構造になっています。
まとめ
ab＝最大公約数×最小公倍数は暗記公式ではなく、素因数分解の指数構造から必然的に導かれる関係です。
共通部分と最大構造の組み合わせが完全に補完し合うため、この等式は常に成立します。
コメント