OFFSET
1,2
COMMENTS
Conjecture: a(n) > 0 for all n > 0, and a(n) = 1 only for n = 1, 6, 7, 22, 3447.
This is similar to the conjecture in A262311, and we have verified it for n up to 10^6.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
Zhi-Wei Sun, Some mysterious representations of integers, a message to Number Theory Mailing List, Oct. 25, 2015.
EXAMPLE
a(1) = 1 since 1 = 0^2 + 2*0^2 + phi(1^2) with 1 + 1 = 2 prime.
a(6) = 1 since 6 = 2^2 + 2*0^2 + phi(2^2) with 2 + 1 = 3 prime.
a(7) = 1 since 7 = 2^2 + 2*1^2 + phi(1^2) with 1 + 1 = 2 prime.
a(22) = 1 since 22 = 0^2 + 2*1^2 + phi(5^2) with 1 + 1 = 2 prime.
a(3447) = 1 since 3447 = 42^2 + 2*29^2 + phi(1^2) with 1 + 1 = 2 prime.
MATHEMATICA
phi[n_]:=phi[n]=EulerPhi[n]
SQ[n_]:=SQ[n]=IntegerQ[Sqrt[n]]
Do[r=0; Do[If[n-z*phi[z]<0, Goto[aa]]; Do[If[SQ[n-z*phi[z]-2y^2]&&(PrimeQ[y+1]||PrimeQ[z+1]), r=r+1], {y, 0, Sqrt[(n-z*phi[z])/2]}]; Label[aa]; Continue, {z, 1, n}]; Print[n, " ", r]; Continue, {n, 1, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Oct 31 2015
STATUS
approved