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.

A182770 Beatty sequence for 3-sqrt(2).

Original entry on oeis.org

1, 3, 4, 6, 7, 9, 11, 12, 14, 15, 17, 19, 20, 22, 23, 25, 26, 28, 30, 31, 33, 34, 36, 38, 39, 41, 42, 44, 45, 47, 49, 50, 52, 53, 55, 57, 58, 60, 61, 63, 65, 66, 68, 69, 71, 72, 74, 76, 77, 79, 80, 82, 84, 85, 87, 88, 90, 91, 93, 95, 96, 98, 99, 101, 103, 104, 106, 107, 109
Offset: 1

Views

Author

Clark Kimberling, Nov 30 2010

Keywords

Comments

Let u=1+sqrt(2) and v=sqrt(2). Jointly rank {ju} and {kv} as in the first comment at A182760; a(n) is the position of nv. A182770 is the complement of A182769.

Crossrefs

Programs

  • Magma
    [Floor(n*(3-Sqrt(2))): n in [1..80]]; // Vincenzo Librandi, Oct 25 2011
    
  • Mathematica
    Floor[Range[70](3-Sqrt[2])] (* Harvey P. Dale, Apr 21 2013 *)
  • PARI
    vector(100, n, floor(n*(3-sqrt(2)))) \\ G. C. Greubel, Aug 18 2018

Formula

a(n) = floor(n*(3-sqrt(2))).