約数の個数と総和

５０４を素因数分解すると、

\begin{equation}
504=2^3 \times 3^2 \times 7
\end{equation}
よって、約数の数は

\begin{equation}
(3+1)\times (2+1) \times (1+1)=24
\end{equation}
また、約数の総和は
\begin{align}
& (1+2+2^2+2^3)(1+3+3^2)(1+7) \\
&=15\times 13 \times 8 \\
&=1560
\end{align}

ある自然数を素因数分解した式を考える。
\begin{equation}
p_{1}^{n_{1}} \times p_{2}^{n_{2} }\times \cdots \times p_{N}^{n_{N}}
\end{equation}
この式の意味から考えると、この自然数はある素数
 
$~ p_{1} $が$ n_{1} $回、
$~ p_{2} $が$ n_{2} ~$回、

・・・

$~ p_{N} $が$ n_{N} $回
 
かけられているという意味である。

よって、この自然数の約数は、
 
素数$ p_{1} $を何回か（０回から$ n_{1} $回まで）
素数$ p_{2} $を何回か（０回から$ n_{2} $回まで）

・・・

素数$ p_{N} $を何回か（０回から$ n_{N} $回まで）
 
かけたものの組み合わせで示される。

よって、
 
素数$ p_{1} $で０回から$ n_{1} $回までで$ n_{1}+1 $通り
素数$ p_{2} $で０回から$ n_{2} $回までで$ n_{2}+1 $通り$~ \dots ~$
素数$ p_{N} $で０回から$ n_{N} $回までで$ n_{N}+1 $通り
 
以上により、約数の場合の数は、
$~ (n_{1}+1)\times(n_{2}+1)\times\cdots\times (n_{N}+1) $通りとなることが示された。$ \blacksquare $
 

次に、約数の総和を考える。
ここでは、簡単に２つの素数を因数に持つ自然数について考える。

この自然数を素因数分解すると、次のように分解される。
\begin{equation}
p_{1}^{n_{1}} \times p_{2}^{n_{2} }
\end{equation}

この自然数の約数を全て書き出すと、
\begin{align}
& p_{1}^{0} p_{2}^{0}, p_{1}^{0} p_{2}^{1}, p_{1}^{0} p_{2}^{2},\cdots, p_{1}^{0} p_{2}^{n_{2}} \\
& p_{1}^{1} p_{2}^{0}, p_{1}^{1} p_{2}^{1}, p_{1}^{1} p_{2}^{2},\cdots, p_{1}^{1} p_{2}^{n_{2}} \\
\end{align}

・・・

\begin{align}
&p_{1}^{n_{1}} p_{2}^{0}, p_{1}^{n_{1}} p_{2}^{1}, p_{1}^{n_{1}} p_{2}^{2},\cdots, p_{1}^{n_{1}} p_{2}^{n_{2}}
\end{align}

よって、これらを全てたすと、

\begin{multline}
p_{1}^{0}( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2}+\cdots,+p_{2}^{n_{2}})+p_{1}^{1}( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2}+\cdots,+p_{2}^{n_{2}})+  \\ 
\cdots+p_{1}^{n_{1}}( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2}+\cdots,+p_{2}^{n_{2}})
\end{multline}
$~= ( p_{1}^{0}+ p_{1}^{1}+p_{1}^{2}+\cdots +p_{1}^{n_{2}})( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2}+\cdots+p_{2}^{n_{2}}) $

\begin{multline}
p_{1}^{0}( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2}+\cdots +p_{2}^{n_{2}}) \\
+p_{1}^{1}( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2} +\cdots +p_{2}^{n_{2}})  \\ 
+\cdots+p_{1}^{n_{1}}( p_{2}^{0}+ p_{2}^{1}+p_{2}^{2}+\cdots+p_{2}^{n_{2}})
\end{multline}
$~= ( p_{1}^{0}+ p_{1}^{1}+\cdots+p_{1}^{n_{2}})( p_{2}^{0}+ p_{2}^{1}+\cdots+p_{2}^{n_{2}}) $

 
となり、求めたい式の形になった。素因数が３つ以上になる場合も同様に考えることで、約数の総和の式が証明できる。$ \blacksquare $

　１８を素因数分解すると、
\begin{equation}
18=2\times 3^2
\end{equation}
となる。
１８の約数は素数２と３の組み合わせで成り立ち、
２は０回か１回、３は０回か１回か２回かけることで約数ができる。
そのため、約数の数は２通り$ \times $３通り＝６通り。
よって、約数の数は６個である。
 

実際、２次元の表で考えてみると、

↑ということになり、約数６つが現れた。
 
また、これらの約数を全てたすと、
\begin{align}
&1+3+9+2+6+18 \\
&=(1+3+9)+2(1+3+9)  \\
&=(1+2)(1+3+9)  \\
&=(2^0+2^1)(3^0+3^1+3^2)\\
&=39
\end{align}
となり、約数の総和は39と求められる。