%I #34 May 07 2018 03:37:48
%S 0,1,0,1,2,1,0,1,2,1,4,5,2,5,4,1,0,1,2,1,4,5,2,5,4,1,2,3,4,13,14,5,4,
%T 3,2,9,12,5,14,13,4,9,6,1,0,1,2,1,4,5,2,5,4,1,2,3,4,13,14,5,4,3,2,9,
%U 12,5,14,13,4,9,6,1,4,5,2,7,8,3,10,11
%N Form triangle of weighted Farey fractions; read numerators by rows.
%C Start with the list of fractions 0/1, 1/1 and repeatedly insert the weighted mediants (2a+c)/(2b+d) and (a+2c)/(b+2d) between every pair of adjacent elements a/b and c/d of the list. The fractions are to be reduced before the insertion step.
%C James Propp asks: Does every fraction between 0 and 1 with odd denominator appear in the triangle?
%D James Propp, Posting to the Math Fun Mailing List, Dec 10 2010.
%H Nathaniel Johnston, <a href="/A177405/b177405.txt">Table of n, a(n) for n = 0..29533</a> (first 10 rows of triangle)
%H Dhroova Aiylam, Tanya Khovanova, <a href="https://arxiv.org/abs/1711.01475">Weighted Mediants and Fractals</a>, arXiv:1711.01475 [math.NT], 2017.
%e Triangle begins:
%e 0 1
%e - -
%e 1 1
%e 0 1 2 1
%e - - - -
%e 1 3 3 1
%e 0 1 2 1 4 5 2 5 4 1
%e - - - - - - - - - -
%e 1 5 7 3 9 9 3 7 5 1
%e 0 1 .2 1 .4 .5 2 .5 .4 1 2 3 4 13 14 5 4 3 2 .9 12 5 14 13 4 .9 6 1
%e - - -- - -- -- - -- -- - - - - -- -- - - - - -- -- - -- -- - -- - -
%e 1 7 11 5 17 19 7 17 13 3 5 7 9 27 27 9 7 5 3 13 17 7 19 17 5 11 7 1
%t Mma code from _James Propp_:
%t Lengthen[L_] :=
%t Module[{i, M}, M = Table[0, {3 Length[L]}];
%t M[[1]] = Numerator[L[[1]]]/(2 + Denominator[L[[1]]]);
%t M[[2]] = 2*Numerator[L[[1]]]/(1 + 2 Denominator[L[[1]]]);
%t For[i = 1, i < Length[L], i++, M[[3 i]] = L[[i]];
%t M[[3 i + 1]] = (2 Numerator[L[[i]]] +
%t Numerator[L[[i + 1]]])/(2 Denominator[L[[i]]] +
%t Denominator[L[[i + 1]]]);
%t M[[3 i + 2]] = (Numerator[L[[i]]] +
%t 2 Numerator[L[[i + 1]]])/(Denominator[L[[i]]] +
%t 2 Denominator[L[[i + 1]]])]; M[[3 Length[L]]] = L[[Length[L]]];
%t Return[M]]
%t WF[n_] := WF[n] = If[n == 0, {1}, Lengthen[WF[n - 1]]]
%Y Cf. A177407, A177903, A006842/A006843.
%K nonn,frac,tabf,easy
%O 0,5
%A _N. J. A. Sloane_, Dec 10 2010
%E a(45)-a(80) and some corrected terms from _Nathaniel Johnston_, Apr 12 2011
|