cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-2 of 2 results.

A282026 a(n) is the smallest m with gcd(m, 2*n+1) = 1 such that 2*n + 2*m + 1 is composite.

Original entry on oeis.org

4, 11, 2, 1, 8, 2, 1, 17, 2, 1, 2, 1, 1, 4, 2, 1, 1, 2, 1, 5, 2, 1, 2, 1, 1, 2, 1, 1, 4, 2, 1, 1, 2, 1, 4, 2, 1, 1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 2, 1, 8, 2, 1, 8, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 4, 2, 1, 1, 1, 1, 4, 2, 1, 1, 2, 1, 1, 2, 1, 2, 1, 1, 2, 1
Offset: 0

Views

Author

N. J. A. Sloane, Feb 12 2017

Keywords

Comments

Starting at 2*n + 1, find the next odd composite number 2*n + 2*m + 1 that is relatively prime to 2*n + 1; then a(n) = m.
Since 2*n + 3 is relatively prime to 2*n + 1, and (2*n + 3)^2 is composite, a(n) <= 2*n^2 + 5*n + 4 (this is tight for n=0 and n=1).
From Andrey Zabolotskiy, Feb 13 2017: (Start)
Up to n = 10^7, a(n) are from the set [1, 2, 4, 5, 7, 8, 11, 13, 14, 16, 17, 19, 22]. First occurrence of 14 is a(99412), first occurrence of 22 is a(7225627). [Thanks to Altug Alkan for pointing out a(99412).]
a(n) = 1 iff n is in A153238.
(End)
Based on Altug Alkan's b-file, the records in this sequence are 4, 11, 17, 19, ... and occur at positions 1, 2, 8, 638, ... If the sequence is unbounded, then these two subsidiary sequences should be added to the OEIS (if they are new). - N. J. A. Sloane, Feb 13 2017

Examples

			When n=1, 2*n + 1 = 3, and 5, 7, 9, 11, 13, 15, 17, 19, 21, 23 are all either prime or have a common factor with 3. The next term, 25, is OK, and so a(1) = (25 - 3)/2 = 11.

Links

Crossrefs

Cf. A153238, A282423, A282429.

Programs

  • Mathematica
    Table[m = 1; While[Nand[CoprimeQ[m, 2 n + 1], CompositeQ[2 (n + m) + 1]], m++]; m, {n, 0, 120}] (* Michael De Vlieger, Feb 18 2017 *)
  • PARI
    a(n) = my(k=1); while(isprime(2*n+2*k+1) || gcd(2*n+1, k) != 1, k++); k; \\ Altug Alkan, Feb 13 2017

Extensions

Definition corrected by Altug Alkan, Feb 13 2017

A282423 a(n) = smallest k such that A282026(k) = n, or 0 if no such k exists.

Original entry on oeis.org

3, 2, 0, 13, 19, 0, 427, 4, 0, 0, 1, 0, 802, 99412, 0, 3097, 7, 0, 637, 0, 0, 7225627, 30898822, 0, 0, 280134277, 0, 31705902442, 43190647, 0, 965577112
Offset: 1

Views

Author

Andrey Zabolotskiy and Altug Alkan, Feb 14 2017, following a suggestion from N. J. A. Sloane

Keywords

Comments

a(n) is nonzero if n is in A282429.
For n>4 and nonzero a(n), 2*a(n)+3 is in A022004. For n>8 and nonzero a(n), 2*a(n)+3 is also in A153417. For n>16 and nonzero a(n), 2*a(n)+3 is also in A049481.

Examples

			a(10) = 0. Proof: Suppose 10 is a term of A282026. For the corresponding n, 2*n + 1 cannot be divisible by 5 because of A282026’s definition (gcd(10, 2*n + 1) = 1). So 2*n + 1 can be only of the form 10*k + 1, 10*k + 3, 10*k + 7, 10*k + 9. But 10*k + 1 + 2*2, 10*k + 3 + 2*1, 10*k + 7 + 2*4, 10*k + 9 + 2*8 are all composite and 1, 2, 4, 8 are relatively prime to any odd number. Since all of them are smaller than 10, this is the contradiction to the assumption that 10 is the term which is the smallest number for corresponding n. This also proves that a(5*k) = 0 for any k > 1.

Crossrefs

Cf. A282026, A282429.
Showing 1-2 of 2 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.