4 Positive Integers in Arithmetic Sequence which have Same Euler Phi Value

From ProofWiki
Jump to navigation Jump to search

Theorem

The following sets of $4$ positive integers which form an arithmetic sequence are the smallest which all have the same Euler $\phi$ value:

$72, 78, 84, 90$
$216, 222, 228, 234$
$76 \, 326, 76 \, 332, 76 \, 338, 76 \, 344$


Proof

\(\ds 78 - 72\) \(=\) \(\ds 6\)
\(\ds 84 - 78\) \(=\) \(\ds 6\)
\(\ds 90 - 84\) \(=\) \(\ds 6\)

demonstrating that this is indeed an arithmetic sequence, with a common difference of $6$.


Now we show:

\(\ds \map \phi {72}\) \(=\) \(\ds 24\) $\phi$ of $72$
\(\ds \map \phi {78}\) \(=\) \(\ds 24\) $\phi$ of $78$
\(\ds \map \phi {84}\) \(=\) \(\ds 24\) $\phi$ of $84$
\(\ds \map \phi {90}\) \(=\) \(\ds 24\) $\phi$ of $90$

$\Box$


This theorem requires a proof.
In particular: It remains to be shown that this is the smallest such arithmetic sequence of $4$ integers.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.


\(\ds 222 - 216\) \(=\) \(\ds 6\)
\(\ds 228 - 222\) \(=\) \(\ds 6\)
\(\ds 234 - 228\) \(=\) \(\ds 6\)

demonstrating that this is indeed an arithmetic sequence, with a common difference of $6$.


Now we show:

\(\ds \map \phi {216}\) \(=\) \(\ds 72\) $\phi$ of $216$
\(\ds \map \phi {222}\) \(=\) \(\ds 72\) $\phi$ of $222$
\(\ds \map \phi {228}\) \(=\) \(\ds 72\) $\phi$ of $228$
\(\ds \map \phi {234}\) \(=\) \(\ds 72\) $\phi$ of $234$

$\Box$


\(\ds 76 \, 332 - 76 \, 326\) \(=\) \(\ds 6\)
\(\ds 76 \, 338 - 76 \, 332\) \(=\) \(\ds 6\)
\(\ds 76 \, 344 - 76 \, 338\) \(=\) \(\ds 6\)

demonstrating that this is indeed an arithmetic sequence, with a common difference of $6$.


Now we show:

\(\ds \map \phi {76 \, 326}\) \(=\) \(\ds 25 \, 440\) $\phi$ of $76 \, 326$
\(\ds \map \phi {76 \, 332}\) \(=\) \(\ds 25 \, 440\) $\phi$ of $76 \, 332$
\(\ds \map \phi {76 \, 338}\) \(=\) \(\ds 25 \, 440\) $\phi$ of $76 \, 338$
\(\ds \map \phi {76 \, 344}\) \(=\) \(\ds 25 \, 440\) $\phi$ of $76 \, 344$

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=4_Positive_Integers_in_Arithmetic_Sequence_which_have_Same_Euler_Phi_Value&oldid=475864"