OFFSET
1,1
COMMENTS
From Robert Israel, Jun 08 2018: (Start)
The first n for which a(n)-n is odd is 239.
If n+2 and n+4 are twin primes (i.e. n+2 is in A001359), then a(n) <= n+4.
Conjecture: a(n) >= n+4 for all n. (End)
LINKS
Robert Israel, Table of n, a(n) for n = 1..10000
EXAMPLE
k = 10 is the smallest solution of phi(k-2)+phi(k+2)=phi(2k). So a(2) = 10.
MAPLE
f:= proc(n) local k;
for k from n+1 do if numtheory:-phi(k-n)+numtheory:-phi(k+n)=numtheory:-phi(2*k) then return k fi od:
end proc:
map(f, [$1..100]); # Robert Israel, Jun 08 2018
MATHEMATICA
f[k_] := Module[{i = k + 1}, While[EulerPhi[i - k] + EulerPhi[i + k] != EulerPhi[2 i], i++ ]; i]; Table[f[n], {n, 1, 40}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Joseph L. Pe, Feb 11 2002
EXTENSIONS
More terms from Robert Israel, Jun 08 2018
STATUS
approved