Amicable Pair/Examples/3^4 x 5 x 11 x 5281^19 x 29 x 89 (2 x 1291 x 5281^19 - 1)-3^4 x 5 x 11 x 5281^19 (2^3 x 3^3 x 5^2 x 1291 x 5281^19 - 1)

From ProofWiki
Jump to navigation Jump to search

Example of Amicable Pair

These integers:

$3^4 \times 5 \times 11 \times 5281^{19} \times 29 \times 89 \paren {2 \times 1291 \times 5281^{19} - 1}$
$3^4 \times 5 \times 11 \times 5281^{19} \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} - 1}$

form an amicable pair.


Proof

By definition, $m$ and $n$ form an amicable pair if and only if:

$\map {\sigma_1} m = \map {\sigma_1} n = m + n$

where $\map {\sigma_1} n$ denotes the divisor sum of $n$.


First it is established (by means of an online big integer calculator and integer factorisation calculator):

$2 \times 1291 \times 5281^{19} - 1$ is prime
$2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} - 1$ is prime


Thus from Divisor Sum of Integer: Corollary:

\(\ds \) \(\) \(\ds \map {\sigma_1} {3^4 \times 5 \times 11 \times 5281^{19} \times 29 \times 89 \times \paren {2 \times 1291 \times 5281^{19} - 1} }\)
\(\ds \) \(=\) \(\ds \dfrac {3^5 - 1} {3 - 1} \times \paren {5 + 1} \times \paren {11 + 1} \times \paren {29 + 1} \times \paren {89 + 1} \times \dfrac {5281^{20} - 1} {5281 - 1} \times \paren {2 \times 1291 \times 5281^{19} }\)
\(\ds \) \(=\) \(\ds 121 \times 6 \times 12 \times 30 \times 90 \times 53912494548111776964581871379407163295641963924618078664526561134059220 \times \paren {2 \times 1291 \times 5281^{19} }\)
\(\ds \) \(=\) \(\ds 11^2 \times \paren {2 \times 3} \times \paren {2^2 \times 3} \times \paren {2 \times 3 \times 5} \times \paren {2 \times 3^2 \times 5} \times \paren {2^2 \times 5 \times 19 \times 41 \times 139 \times 311 \times 6661 \times 33331 \times 13 944481 \times 75 019421 \times 24027 536081 \times 92 192755 565941 \times 155 588291 031361} \times 2 \times 1291 \times 5281^{19}\)
\(\ds \) \(=\) \(\ds 2^8 \times 3^5 \times 5^3 \times 11^2 \times 19 \times 41 \times 139 \times 311 \times 1291 \times 5281^{19} \times 6661 \times 33331 \times 13 944481 \times 75 019421 \times 24027 536081 \times 92 192755 565941 \times 155 588291 031361\)


\(\ds \) \(\) \(\ds \map {\sigma_1} {3^4 \times 5 \times 11 \times 5281^{19} \times \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} - 1} }\)
\(\ds \) \(=\) \(\ds \dfrac {3^5 - 1} {3 - 1} \times \paren {5 + 1} \times \paren {11 + 1} \times \dfrac {5281^{20} - 1} {5281 - 1} \times \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} }\)
\(\ds \) \(=\) \(\ds 121 \times 6 \times 12 \times 53912494548111776964581871379407163295641963924618078664526561134059220 \times \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} }\)
\(\ds \) \(=\) \(\ds 11^2 \times \paren {2 \times 3} \times \times \paren {2^2 \times 3} \times \paren {2^2 \times 5 \times 19 \times 41 \times 139 \times 311 \times 6661 \times 33331 \times 13 944481 \times 75 019421 \times 24027 536081 \times 92 192755 565941 \times 155 588291 031361} \times \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} }\)
\(\ds \) \(=\) \(\ds 2^8 \times 3^5 \times 5^3 \times 11^2 \times 19 \times 41 \times 139 \times 311 \times 1291 \times 5281^{19} \times 6661 \times 33331 \times 13 944481 \times 75 019421 \times 24027 536081 \times 92 192755 565941 \times 155 588291 031361\)


Then we calculate the sum, by means of the same online big integer calculator and integer factorisation calculator:

\(\ds \) \(\) \(\ds \paren {3^4 \times 5 \times 11 \times 5281^{19} \times 29 \times 89 \times \paren {2 \times 1291 \times 5281^{19} - 1} } + \paren {3^4 \times 5 \times 11 \times 5281^{19} \times \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} - 1} }\)
\(\ds \) \(=\) \(\ds 3^4 \times 5 \times 11 \times 5281^{19} \times \paren {29 \times 89 \times \paren {2 \times 1291 \times 5281^{19} - 1} + \paren {2^3 \times 3^3 \times 5^2 \times 1291 \times 5281^{19} - 1} }\)
\(\ds \) \(=\) \(\ds 3^4 \times 5 \times 11 \times 5281^{19}\)
\(\ds \) \(\) \(\, \ds \times \, \) \(\ds (29 \times 89 \times 139175701888775976308855532899186267927088632551744230583288018723382689621\)
\(\ds \) \(\) \(\, \ds + \, \) \(\ds 375774395099695136033909938827802923403139307889709422574877650553133261979399)\)
\(\ds \) \(=\) \(\ds 3^4 \times 5 \times 11 \times 5281^{19}\)
\(\ds \) \(\) \(\, \ds \times \, \) \(\ds (359212486574930794853156130412799757519815760616051859135466376325050721911801\)
\(\ds \) \(\) \(\, \ds + \, \) \(\ds 375774395099695136033909938827802923403139307889709422574877650553133261979399)\)
\(\ds \) \(=\) \(\ds 3^4 \times 5 \times 11 \times 5281^{19}\)
\(\ds \) \(\) \(\, \ds \times \, \) \(\ds 734986881674625930887066069240602680922955068505761281710344026878183983891200\)
\(\ds \) \(=\) \(\ds 3^4 \times 5 \times 11 \times 5281^{19}\)
\(\ds \) \(\) \(\, \ds \times \, \) \(\ds 2^8 \times 3 \times 5^2 \times 11 \times 19 \times 41 \times 139 \times 311 \times 1291 \times 661 \times 33331 \times 13 944481 \times 75 019421 \times 24027 536081 \times 92 192755 565941 \times 155 588291 031361\)
\(\ds \) \(=\) \(\ds 2^8 \times 3^5 \times 5^3 \times 11^2 \times 19 \times 41 \times 139 \times 311 \times 1291 \times 5281^{19} \times 6661 \times 33331 \times 13 944481 \times 75 019421 \times 24027 536081 \times 92 192755 565941 \times 155 588291 031361\)

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Amicable_Pair/Examples/3%5E4_x_5_x_11_x_5281%5E19_x_29_x_89_(2_x_1291_x_5281%5E19_-_1)-3%5E4_x_5_x_11_x_5281%5E19_(2%5E3_x_3%5E3_x_5%5E2_x_1291_x_5281%5E19_-_1)&oldid=531157"