A083545 Numbers k such that the geometric mean of the Euler totient function of k and k+1 is an integer.

1, 3, 15, 19, 95, 104, 125, 164, 194, 255, 259, 341, 491, 495, 504, 512, 513, 584, 591, 629, 679, 755, 775, 975, 1024, 1147, 1247, 1254, 1260, 1313, 1358, 1463, 1469, 1538, 1615, 1728, 1919, 1962, 1970, 2047, 2071, 2090, 2204, 2299, 2321, 2345, 2404, 2625

Offset

1,2

Links

Amiram Eldar, Table of n, a(n) for n = 1..10000

Formula

a(n) = x is such that sqrt(A000010(x)*A000010(x+1)) is an integer. Values of solutions x to phi(x) * phi(x+1) = A083542(x) = y^2.

Example

19 is a term since phi(19) = 18, phi(20) = 8, 8*18 = 144 = 12^2.

Mathematica

f[x_] := EulerPhi[x]; Do[s=Sqrt[f[n+1]*f[n]]; If[IntegerQ[s], Print[n]], {n, 1, 5000}]
Position[Partition[EulerPhi[Range[2700]], 2, 1], _?(IntegerQ[GeometricMean[ #]]&), 1, Heads->False]//Flatten (* Harvey P. Dale, Sep 13 2020 *)

Crossrefs

Cf. A000010, A083542, A066813, A058515, A083538, A083542, A083546.

Sequence in context: A032644 A124877 A111517 * A224872 A097571 A048087

Adjacent sequences: A083542 A083543 A083544 * A083546 A083547 A083548

Keyword

nonn

Author

Labos Elemer, May 21 2003

Status

approved