最小公倍数のソースを表示

{{Expand English|Least common multiple|date=2023-10}}
[[画像:TomoyukiMogi(DivMul).gif|thumb|right|320px|40と15に関する次の要素が埋め込まれた図:
積(600)、
商と剰余(40÷15=2余り10)、
最小公倍数(120)、
[[最大公約数]](5)、
[[比]](8:3)
]]
[[画像:TomoyukiMogi GCM LCM.gif|thumb|right|320px|幾何学的に２つの整数(WとH)及びその最大公約数並びに最小公倍数を長さとして表せる。この図では、WとHを長方形の幅と高さに割り当て、最大公約数を[[ユークリッドの互除法]]に基づく方法で長さとして求めだし、長方形の面積(WとHの積)を最大公約数で割った結果として最小公倍数も長さとして求めだしている。]]
'''最小公倍数'''（さいしょうこうばいすう、{{lang-en-short|least common multiple}}）とは、<math>0</math>ではない複数の[[整数]]の[[公倍数]]のうち最小の自然数を指す。度々、'''L.C.M.'''や'''lcm'''等の省略形で記述される。

== 定義 ==
2つ以上の整数 <math>a_1,\ldots, a_n</math>の最小公倍数とは、<math>a_1,\ldots, a_n</math>の[[公倍数]]のうち最小の正整数である。

つまり、<math>a_1,\ldots, a_n</math>を、[[素数]] ({{lang|en|prime}}) {{mvar|p}} を用いて
{{Indent|<math>
a_j = \varepsilon_j\prod_{p:\,\mathrm{prime}}p^{e_p(j)}\ \ \ (e_p(j)\ge 0,\ \ \varepsilon_j=\pm 1)
</math>}}
と[[素因数分解]]したとき、<math>a_1,\ldots, a_n</math>の最小公倍数は
{{Indent|<math>
\prod_{p:\,\mathrm{prime}}p^{\max\{e_p(1),\ldots,e_p(n)\}}
</math>}}
で与えられる。

例えば、12 と 16 の最小公倍数は 48 である。
: 12 = 2<sup>2</sup>×3<sup>1</sup>
: 16 = 2<sup>4</sup>
: 48 = 2<sup>4</sup>×3<sup>1</sup>

== 諸概念 ==
公倍数は最小公倍数の倍数である。

証明

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


正整数<math>a,\ b</math>に対して、<math>a</math>と<math>b</math>の[[最大公約数]]<math>\mathrm{gcd}(a,\ b)</math>と最小公倍数<math>\mathrm{lcm}(a,\ b)</math>との間には
{{Indent|<math>
\mathrm{gcd}(a,\ b)\cdot\mathrm{lcm}(a,\ b) = ab
</math>}}
という関係がある。

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

== 多項式の最小公倍数 ==
[[多項式]]の<math>0</math>でない公倍数のうち、最も次数の低いものを最小公倍数という。例えば、<math>x^3-x</math>と<math>x^3+x^2-x-1</math>の最小公倍数は<math>x(x+1)^2(x-1)</math>である。

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

== 参考文献 ==
*{{Cite book
|和書
|author=高木貞治
|year=1971
|title=初等整数論講義第2版
|publisher=共立出版
|location=東京
}}

== 関連項目 ==
{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}}
*[[公約数]]
*[[公倍数]]
*[[最大公約数]]
*[[多項式]]

{{二項演算}}

{{DEFAULTSORT:さいしようこうはいすう}}
[[Category:数論]]
[[Category:初等数学]]
[[Category:数学に関する記事]]