%I #29 Dec 05 2022 20:47:09
%S 1,1,1,2,1,3,2,3,1,4,3,4,2,5,3,5,1,5,4,5,3,7,4,7,2,7,5,7,3,8,5,8,1,6,
%T 5,6,4,9,5,9,3,10,7,10,4,11,7,11,2,9,7,9,5,12,7,12,3,11,8,11,5,13,8,
%U 13,1,7,6,7,5,11,6,11,4,13,9,13,5,14,9,14,3,13,10,13,7,17,10,17,4,15,11,15,7,18,11
%N Kepler's tree of fractions, read across rows (the fraction i/j is represented as the pair i,j).
%C The first row contains the single fraction 1/1,
%C the second row contains the single fraction 1/2,
%C and thereafter below each fraction i/j we write two fractions i/(i+j), j/(i+j).
%C If we just look at the numerators we recover the same sequence, and if we just look at the denominators we get A086593 with the terms (after the first) repeated.
%C Sequence A020651 is almost the same as this, except that it lacks one of the initial 1's, and the definition focuses on single numbers rather than pairs of numbers or fractions. For that reason it seems to be best to have a separate entry (this sequence) for the actual tree.
%H Michael De Vlieger, <a href="/A294442/b294442.txt">Table of n, a(n) for n = 0..16383</a>
%H Johannes Kepler, <a href="http://web.archive.org/web/20081009062459/http://ndirty.cute.fi/~karttu/Kepler/a086592.htm">Excerpt from the Chapter II of the Book III of the Harmony of the World: On the seven harmonic divisions of the string</a>.
%H Richard J. Mathar, <a href="/A294443/a294443.pdf">The Kepler binary tree of reduced fractions</a>, 2017.
%e The tree begins as follows:
%e ..............1/1
%e ...............|
%e ..............1/2
%e .........../.......\
%e ......1/3.............2/3
%e ...../....\........../...\
%e ..1/4.....3/4.....2/5.....3/5
%e ../..\..../..\..../..\..../..\
%e 1/5.4/5.3/7.4/7.2/7.5/7.3/8.5/8
%p # S[n] is the list of fractions, written as pairs [i,j], in row n of Kepler's triangle
%p S[0]:=[[1,1]]; S[1]:=[[1,2]];
%p for n from 2 to 10 do
%p S[n]:=[];
%p for k from 1 to nops(S[n-1]) do
%p t1:=S[n-1][k];
%p a:=[t1[1],t1[1]+t1[2]];
%p b:=[t1[2],t1[1]+t1[2]];
%p S[n]:=[op(S[n]),a,b];
%p od:
%p lprint(S[n]);
%p od:
%t Map[{Numerator@ #, Denominator@ #} &, #] &@ Flatten@ Nest[Append[#, Flatten@ Map[{#1/(#1 + #2), #2/(#1 + #2)} & @@ {Numerator@ #, Denominator@ #} &, Last@ #]] &, {{1/1}, {1/2}}, 5] // Flatten (* _Michael De Vlieger_, Apr 18 2018 *)
%Y Cf. A020651, A086593.
%Y A different version of the Kepler tree is described in A093873.
%Y See A294446 for the tree of Farey fractions.
%K nonn,tabf
%O 0,4
%A _N. J. A. Sloane_, Nov 20 2017