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-1 of 1 results.

A374723 Numerator of rational number tan(2^(n-1)*arctan(1/A024810(n))).

Original entry on oeis.org

1, 4, 120, 74455920, 479301523749226879680, 1336367227479573478314645756081634359006026455038720
Offset: 1

Views

Author

Sanjar Abrarov, Sep 03 2024

Keywords

Comments

r(n) = tan(2^(n-1)*arctan(1/A024810(n))) is always a rational number such that its limit lim_{n->oo} r(n)=1.

Crossrefs

Cf. A024810, A375935 (denominators).

Programs

  • Mathematica
    a[0] := 0;
    a[n_] := Sqrt[2 + a[n - 1]];
    b[n_] := Floor[a[n]/Sqrt[2 - a[n - 1]]];
    r[0, x_] := 1;
    r[1, x_] := (2*x)/(1 - x^2);
    r[n_, x_] := (2*r[n - 1, x])/(1 - r[n - 1, x]^2);
    k = 1;
    While[k <= 6, Print[k, " ", Numerator[r[k - 1, 1/b[k]]]]; k++];

Formula

a(n) = numerator(tan(2^(n-1)*arctan(1/A024810(n)))).
Showing 1-1 of 1 results.