A270348 - OEIS

%I #12 Feb 23 2018 22:04:24

%S 2,7,43,1161,796510,1101781866330,648667164391834988511313,

%T 521313118065995695198529265268104396429334449023,

%U 177042477384698216444912803612486097958997328262217304760270340328784709181787835108737458616981

%N Denominators of r-Egyptian fraction expansion for sqrt(1/3), where r = (1,1/2,1/4,1/8,...)

%C Suppose that r is a sequence of rational numbers r(k) <= 1 for k >= 1, and that x is an irrational number in (0,1).  Let f(0) = x, n(k) = floor(r(k)/f(k-1)), and f(k) = f(k-1) - r(k)/n(k).  Then x = r(1)/n(1) + r(2)/n(2) + r(3)/n(3) + ... , the r-Egyptian fraction for x.

%C See A269993 for a guide to related sequences.

%H Clark Kimberling, <a href="/A270348/b270348.txt">Table of n, a(n) for n = 1..11</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/EgyptianFraction.html">Egyptian Fraction</a>

%H <a href="/index/Ed#Egypt">Index entries for sequences related to Egyptian fractions</a>

%e sqrt(1/3) = 1/2 + 1/(2*7) + 1/(4*43) + ...

%t r[k_] := 2/2^k; f[x_, 0] = x; z = 10;

%t n[x_, k_] := n[x, k] = Ceiling[r[k]/f[x, k - 1]]

%t f[x_, k_] := f[x, k] = f[x, k - 1] - r[k]/n[x, k]

%t x = Sqrt[1/3]; Table[n[x, k], {k, 1, z}]

%o (PARI) r(k) = 2/2^k;

%o f(k,x) = if (k==0, x, f(k-1, x) - r(k)/a(k, x););

%o a(k, x=sqrt(1/3)) = ceil(r(k)/f(k-1, x)); \\ _Michel Marcus_, Mar 18 2016

%Y Cf. A269993.

%K nonn,frac,easy

%O 1,1

%A _Clark Kimberling_, Mar 17 2016