OFFSET
1,1
COMMENTS
Theorem: If 2^p-1 is a Mersenne prime greater than 3, then
x = 23*2^(p-1) is a solution to the equation,
sigma(sigma(x)) - phi(phi(x)) = 5x.
Proof: sigma(sigma(x))- phi(phi(x))
= sigma(sigma(23*2^(p-1))) - phi(phi(23*2^(p-1)))
= sigma(24*(2^p-1)) - phi(22*2^(p-2))
= 60*2^p - 10*2^(p-2)
= 115*2^(p-1)
= 5*x.
The multiplicative property of both functions phi and sigma is applied along with the assumption p>2.
Note that 712 and 37412864 are two terms of the sequence which are not of the form mentioned in the theorem.
a(10) > 10^11. - Hiroaki Yamanouchi, Sep 11 2015
MATHEMATICA
Do[If[DivisorSigma[1, DivisorSigma[1, n]]-EulerPhi[EulerPhi[n]]==5n, Print[n]], {n, 230000000}]
PROG
(PARI) is(n)=sigma(sigma(n)) - eulerphi(eulerphi(n)) == 5*n \\ Anders Hellström, Sep 11 2015
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Jahangeer Kholdi and Farideh Firoozbakht, Sep 17 2014
EXTENSIONS
a(9) from Hiroaki Yamanouchi, Sep 11 2015
STATUS
approved