A058665 a(n) = gcd(n+1, n-phi(n)).

2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1

Offset

1,1

Comments

a(n) = 1 for most n. True for all primes and other integers.

Links

Antti Karttunen, Table of n, a(n) for n = 1..10000

Formula

a(n) = gcd(n+1, cototient(n)) = gcd(n+1, A051953(n)).

Example

n = 247 = 13*19, n+1 = 248 = 8*31, phi(247) = 12*18 = 216, cototient(247) = 247-216 = 31, so a(247) = gcd(248,31) = 31.

Mathematica

Table[GCD[n+1, n-EulerPhi[n]], {n, 0, 110}] (* Harvey P. Dale, Dec 24 2012 *)

Prog

(PARI) A058665(n) = gcd(n+1, n-eulerphi(n)); \\ Antti Karttunen, Jul 28 2017
(Python)
from sympy import gcd, totient
def a(n): return gcd(n + 1, n - totient(n))
print([a(n) for n in range(1, 51)]) # Indranil Ghosh, Jul 29 2017

Crossrefs

Cf. A000010, A051953, A009195.

Sequence in context: A318829 A113515 A103754 * A327103 A290105 A191898

Adjacent sequences: A058662 A058663 A058664 * A058666 A058667 A058668

Keyword

nonn

Author

Labos Elemer, Dec 28 2000

Extensions

Offset corrected by Antti Karttunen, Jul 28 2017

Status

approved