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.

A050922 Triangle in which n-th row gives prime factors of n-th Fermat number 2^(2^n)+1.

Original entry on oeis.org

3, 5, 17, 257, 65537, 641, 6700417, 274177, 67280421310721, 59649589127497217, 5704689200685129054721, 1238926361552897, 93461639715357977769163558199606896584051237541638188580280321
Offset: 0

Views

Author

N. J. A. Sloane, Dec 30 1999

Keywords

Comments

Alternatively, list of prime factors of terms of A001317 in order of their first appearance. - Labos Elemer, Jan 21 2002
From T. D. Noe, Jan 29 2009: (Start)
That these two definitions give the same sequence follows from the fact (stated as a formula in A001317) that A001317(n) is the product of Fermat numbers F(i) according to which bits of n are set.
For instance, for n=41, the binary representation of n is 101001, which has bits 0, 3 and 5 set. A001317(n) = 3311419785987 = 3*257*4294967297 = F(0)*F(3)*F(5).
This factorization also explains why the "first 31 numbers give odd-sided constructible polygons". I think Hewgill first noticed this factorization. (End)

Examples

			Triangle begins:
  3;
  5;
  17;
  257;
  65537;
  641,               6700417;
  274177,            67280421310721;
  59649589127497217, 5704689200685129054721;
  1238926361552897,  93461639715357977769163558199606896584051237541638188580280321;
  ...
A001317(127) = 3*5*17*257*65537.641*6700417*274177*6728042130721, A001317(128) = 59649589127497217*5704689200685129054721. See also A050922. Compare with A053576, where 2 and A000215 appear as prime factors. - _Labos Elemer_, Jan 21 2002
		

References

  • M. Aigner and G. M. Ziegler, Proofs from The Book, Springer-Verlag, Berlin, 2nd. ed., 2001; see p. 3.

Crossrefs

Programs

  • Mathematica
    Flatten[Transpose[FactorInteger[#]][[1]]&/@Table[2^(2^n)+1,{n,0,8}]] (* Harvey P. Dale, May 18 2012 *)
  • PARI
    for(n=0, 1e3, f=factor(2^(2^n)+1)[, 1]; for(i=1, #f, print1(f[i], ", "))) \\ Felix Fröhlich, Aug 16 2014

Extensions

More terms from Larry Reeves (larryr(AT)acm.org), Apr 13 2000.
Edited by N. J. A. Sloane, Jan 31 2009 at the suggestion of T. D. Noe
Link to Munafo webpage fixed by Robert Munafo, Dec 09 2009