Divisor Sum of Non-Square Semiprime/Examples/22

From ProofWiki
Jump to navigation Jump to search

Example of Divisor Sum of Non-Square Semiprime

$\map {\sigma_1} {22} = 36$

where $\sigma_1$ denotes the divisor sum function.


Proof 1

From Divisor Sum of Integer:

$\ds \map {\sigma_1} n = \prod_{1 \mathop \le i \mathop \le r} \frac {p_i^{k_i + 1} - 1} {p_i - 1}$

where $n = \ds \prod_{1 \mathop \le i \mathop \le r} p_i^{k_i}$ denotes the prime decomposition of $n$.


We have that:

$22 = 2 \times 11$

Hence:

\(\ds \map {\sigma_1} {22}\) \(=\) \(\ds \frac {2^2 - 1} {2 - 1} \times \frac {11^2 - 1} {11 - 1}\)
\(\ds \) \(=\) \(\ds \frac 3 1 \times \frac {120} {10}\)
\(\ds \) \(=\) \(\ds 3 \times 12\)
\(\ds \) \(=\) \(\ds 3 \times \paren {2^2 \times 3}\)
\(\ds \) \(=\) \(\ds 2^2 \times 3^2\)
\(\ds \) \(=\) \(\ds \paren {2 \times 3}^2\)
\(\ds \) \(=\) \(\ds 6^2\)
\(\ds \) \(=\) \(\ds 36\)

$\blacksquare$


Proof 2

We have that:

$22 = 2 \times 11$

and so by definition is a semiprime whose prime factors are distinct.


Hence:

\(\ds \map {\sigma_1} {22}\) \(=\) \(\ds \paren {2 + 1} \paren {11 + 1}\) Divisor Sum of Non-Square Semiprime
\(\ds \) \(=\) \(\ds 3 \times 12\)
\(\ds \) \(=\) \(\ds 3 \times \paren {2^2 \times 3}\)
\(\ds \) \(=\) \(\ds 2^2 \times 3^2\)
\(\ds \) \(=\) \(\ds \paren {2 \times 3}^2\)
\(\ds \) \(=\) \(\ds 6^2\)
\(\ds \) \(=\) \(\ds 36\)

$\blacksquare$