最小公倍数

40と15に関する次の要素が埋め込まれた図: 積(600)、 商と剰余(40÷15=2余り10)、 最小公倍数(120)、 最大公約数(5)、 比(8:3)

幾何学的に２つの整数(WとH)及びその最大公約数並びに最小公倍数を長さとして表せる。この図では、WとHを長方形の幅と高さに割り当て、最大公約数をユークリッドの互除法に基づく方法で長さとして求めだし、長方形の面積(WとHの積)を最大公約数で割った結果として最小公倍数も長さとして求めだしている。

最小公倍数（さいしょうこうばいすう、英: least common multiple）とは、$0$ではない複数の整数の公倍数のうち最小の自然数を指す。度々、L.C.M.やlcm等の省略形で記述される。

定義

2つ以上の整数 $a_{1},\ldots ,a_{n}$の最小公倍数とは、$a_{1},\ldots ,a_{n}$の公倍数のうち最小の正整数である。

つまり、$a_{1},\ldots ,a_{n}$を、素数 (prime) p を用いて

$a_{j}=\varepsilon _{j}\prod _{p:\,\mathrm {prime} }p^{e_{p}(j)}\ \ \ (e_{p}(j)\geq 0,\ \ \varepsilon _{j}=\pm 1)$

と素因数分解したとき、$a_{1},\ldots ,a_{n}$の最小公倍数は

$\prod _{p:\,\mathrm {prime} }p^{\max\{e_{p}(1),\ldots ,e_{p}(n)\}}$

で与えられる。

例えば、12 と 16 の最小公倍数は 48 である。

12 = 2²×3¹

16 = 2⁴

48 = 2⁴×3¹

諸概念

公倍数は最小公倍数の倍数である。

証明

$a,b,c,\cdots ,z$ の最小公倍数を $l$ とする． $a,b,c,\cdots ,z$ の一般の公倍数を $m$ とし，$m=ql+r,\quad (0<r<l)$ と置く。 変形して $r=m-ql$ …① ①右辺は $m$ は $a,b,c,\cdots ,z$ の公倍数、$l$ も同じく $a,b,c,\cdots ,z$ の公倍数。 よって①の左辺 $r$ は $a,b,c,\cdots ,z$ の公倍数になる。 しかし$0<r<l$ となり、最小公倍数 $l$ よりも一般公倍数 $r$ が小さく矛盾． すなわち $r=0$。よって公倍数 $m=ql$ であり最小公倍数の倍数となっている．(証明終）

正整数$a,\ b$に対して、$a$と$b$の最大公約数$\mathrm {gcd} (a,\ b)$と最小公倍数$\mathrm {lcm} (a,\ b)$との間には

$\mathrm {gcd} (a,\ b)\cdot \mathrm {lcm} (a,\ b)=ab$

という関係がある。

例えば$a$が$12$、$b$が$16$の場合、$12$×$16$＝$192$となり、$192$で最大公約数の$4$を割れば最小公倍数の$48$となる。

しかし、この関係式は3つ以上の正整数に対しては一般には成立しない。例えば、$a=2,\ b=6,\ c=15$とすると、$\mathrm {gcd} (a,\ b,\ c)=1,\ \mathrm {lcm} (a,\ b,\ c)=30$であるが、$abc=180$である。

多項式の最小公倍数

多項式の$0$でない公倍数のうち、最も次数の低いものを最小公倍数という。例えば、$x^{3}-x$と$x^{3}+x^{2}-x-1$の最小公倍数は$x(x+1)^{2}(x-1)$である。

多項式の最小公倍数は定数倍を除いて1つしか存在しない。

例えば、1〜10全ての最小公倍数は2520である。

2520 = 2³×3²×5¹×7¹

参考文献

• 高木貞治『初等整数論講義第2版』共立出版、東京、1971年。 

関連項目

• 公約数
• 公倍数
• 最大公約数
• 多項式