1
高校数学解説
文献あり

初等整数論:a(b,c)=(ab,ac)

105
0
$$\newcommand{BEQ}[0]{\begin{eqnarray}} \newcommand{ceil}[1]{\left\lceil#1\right\rceil} \newcommand{Df}[2]{\frac{\varDelta}{\varDelta #2} #1} \newcommand{Dfn}[3]{\frac{\varDelta^{#3}}{\varDelta #2^{#3}} #1} \newcommand{EEQ}[0]{\end{eqnarray}} \newcommand{floor}[1]{ \left\lfloor#1\right\rfloor} \newcommand{FT}[1]{ \mathcal{F}\left[#1\right]} \newcommand{hgf}[5]{{}_{#1}F_{#2}\left(\genfrac{}{}{0pt}{}{#3}{#4}\,;\,#5\right)} \newcommand{IFT}[1]{ \mathcal{F^{-1}}\left[#1\right]} \newcommand{ILT}[1]{\mathcal{L^{-1}}\left[#1\right]} \newcommand{Iz}[0]{\int_z^{\infty} } \newcommand{IZT}[1]{\mathcal{Z^{-1}}\left[#1\right]} \newcommand{LT}[1]{\mathcal{L}\left[#1\right]} \newcommand{SI}[1]{\sum_{#1=1}^{\infty}} \newcommand{Sm}[2]{\sum #1 \varDelta #2 } \newcommand{SmLm}[4]{\sum_{#1}^{#2} #3 \varDelta #4} \newcommand{SO}[1]{\sum_{#1 = 0}^{\infty}} \newcommand{Up}[2]{#1^{\overline{#2}}} \newcommand{ZT}[1]{\mathcal{Z}\left[#1\right]} $$

$n$$m$の最大公約数を$(n,m)$で表し、$n$$m$の最小公倍数を$\{n,m\}$で表す。

最大公約数の分配則

$$ a(b,c)=(ab,ac) $$

$l=\{ab,ac\}$とおくと$l$$ab$$ac$の公倍数なので
$$ l=abc'=acb'\tag{1}\label{1} $$
とおける。
次に$a$$b$$c$の積$abc$は、$ab$の倍数、かつ$ac$の倍数なので、$ab$$ac$の公倍数。よって
$$ abc=dl \tag{2}\label{2} $$とおける。
式(\ref{1})を式(\ref{2})に代入して、
$$ abc=dabc'=dacb' $$この式から
$$ \BEQ b=db'\\ c=dc' \EEQ $$を得る。これらの式から$d$$b$$c$の約数であることが分かる。よって$d$$b$$c$の公約数。二つ以上の整数の公約数はそれらの整数の最大公約数の約数なので、$m=(b,c)$とすると
$$m=de$$とおける。
$b$$m$で割り切れるので、$b'$$e$で割り切れる。同様に$c'$$e$で割り切れる。よって
$$ \BEQ c'=ec'' \\ b'=eb'' \\ \EEQ $$を得る。これらの式を式(\ref{1})に代入して
$$ l=abc''e=acb''e $$を得る。
$e>1$と仮定すると$\frac{l}{e}$$ab$$ac$の公倍数となるが、$\frac{l}{e}< l$となり$l$の最小性に矛盾。
よって
$e=1$
を得る。つまり$m=d$、つまり式(\ref{2})から
$$ abc=ml $$を得る。
つぎに両辺に$\frac{a}{l}$を掛けて
$$ \frac{a^2bc}{l}=am=a(b,c) $$を得る。
ここで、最大公約数と最小公倍数は
$$nm=(n,m)\{n,m\}$$
という性質を持つので、
$$ a^2bc=ab \cdot ac=(ab,ac)\{ab,ac\}=(ab,ac)l $$から
$$ \frac{(ab,ac)l}{l}=a(b,c) $$
ゆえに、
$$ (ab,ac)=a(b,c) $$を得て、公式が示された。

参考文献

[1]
高木 貞治 , 初等整数論講義 第2版
投稿日:2023524
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

zeta
33
3361

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中