cp's OEIS Frontend

A319847 Irregular triangle read by rows in which row n lists the odd divisors of n in increasing order together with the even divisors of n in increasing order.

%I A319847 #32 Nov 25 2019 10:55:18
%S A319847 1,1,2,1,3,1,2,4,1,5,1,3,2,6,1,7,1,2,4,8,1,3,9,1,5,2,10,1,11,1,3,2,4,
%T A319847 6,12,1,13,1,7,2,14,1,3,5,15,1,2,4,8,16,1,17,1,3,9,2,6,18,1,19,1,5,2,
%U A319847 4,10,20,1,3,7,21,1,11,2,22,1,23,1,3,2,4,6,8,12,24,1,5,25,1,13,2,26,1,3,9,27
%N A319847 Irregular triangle read by rows in which row n lists the odd divisors of n in increasing order together with the even divisors of n in increasing order.
%C A319847 Consider the diagram with overlapping periodic curves that appears in the Links section (figure 1). The number of curves that contain the point [n,0] equals the number of divisors of n. The simpler interpretation of the diagram is that the curve of diameter d represents the divisor d of n. Now here we introduce a new interpretation: the curve of diameter d that contains the point [n,0] represents the divisor c of n, where c = n/d. This model has the property that each odd quadrant centered at [n,0] contains the curves that represent the even divisors of n, and each even quadrant centered at [n,0] contains the curves that represent the odd divisors of n.
%C A319847 We can find the n-th row of the triangle as follows:
%C A319847 Consider only the semicircumferences that contain the point [n,0].
%C A319847 In the second quadrant from top to bottom we can see the curves that represent the odd divisors of n in increasing order. Also we can see these curves in the fourth quadrant from bottom to top.
%C A319847 Then, if n is an even number, in the first quadrant from top to bottom we can see the curves that represent the even divisors of n in increasing order. Also we can see these curves in the third quadrant from bottom to top (see example).
%C A319847 Sequences of the same family are shown below:
%C A319847 -----------------------------------
%C A319847 Triangle    Order of divisors of n
%C A319847 -----------------------------------
%C A319847 A299481      odd  v   t.w.  even ^
%C A319847 A299483      odd  ^   t.w.  even v
%C A319847 A319844      even v   t.w.  odd  ^
%C A319847 A319845      even ^   t.w.  odd  v
%C A319847 A319846      odd  v   t.w.  even v
%C A319847 This seq.    odd  ^   t.w.  even ^
%C A319847 A319848      even v   t.w.  odd  v
%C A319847 A319849      even ^   t.w.  odd  ^
%C A319847 -----------------------------------
%C A319847 In the above table we have that:
%C A319847 "even v" means "even divisors of n in decreasing order".
%C A319847 "even ^" means "even divisors of n in increasing order".
%C A319847 "odd v"  means "odd divisors of n in decreasing order".
%C A319847 "odd ^"  means "odd divisors of n in increasing order".
%C A319847 "t.w." means "together with".
%H A319847 Omar E. Pol, <a href="http://www.polprimos.com/imagenespub/poldiv01.jpg">Figure 1: Geometric model of divisors with periodic curves (for n = 1..16)</a>, <a href="http://www.polprimos.com/imagenespub/poldiv02.jpg">figure 2: Upper part</a>, <a href="http://www.polprimos.com/imagenespub/poldiv03.jpg">figure 3: Lower part upside down.</a>
%H A319847 <a href="/index/Di#divisors">Index entries for sequences related to divisors of numbers</a>
%e A319847 Triangle begins:
%e A319847 1;
%e A319847 1,  2;
%e A319847 1,  3;
%e A319847 1,  2,  4;
%e A319847 1,  5;
%e A319847 1,  3,  2,  6;
%e A319847 1,  7;
%e A319847 1,  2,  4,  8;
%e A319847 1,  3,  9;
%e A319847 1,  5,  2, 10;
%e A319847 1, 11;
%e A319847 1,  3,  2,  4,  6, 12;
%e A319847 1, 13;
%e A319847 1,  7,  2, 14;
%e A319847 1,  3,  5, 15;
%e A319847 1,  2,  4,  8, 16;
%e A319847 1, 17;
%e A319847 1,  3,  9,  2,  6, 18;
%e A319847 1, 19;
%e A319847 1,  5,  2,  4, 10, 20;
%e A319847 1,  3,  7, 21;
%e A319847 1, 11,  2, 22;
%e A319847 1, 23;
%e A319847 1,  3,  2,  4,  6,  8, 12, 24;
%e A319847 1,  5, 25;
%e A319847 1, 13,  2, 26;
%e A319847 1,  3,  9, 27;
%e A319847 1,  7,  2,  4, 14, 28;
%e A319847 ...
%e A319847 For n = 12 the divisors of 12 are [1, 2, 3, 4, 6, 12]. The odd divisors of 12 in increasing order are [1, 3], and the even divisors of 12 in increasing order are [2, 4, 6, 12], so the 12th row of triangle is [1, 3, 2, 4, 6, 12].
%e A319847 On the other hand, consider the diagram that appears in the Links section (figure 1). Then consider only the semicircumferences that contain the point [12,0]. In the second quadrant, from top to bottom, we can see the curves with diameters [12, 4]. Also we can see these curves in the fourth quadrant from bottom to top. The associated numbers c = 12/d are [1, 3] respectively. These are the odd divisors of 12 in increasing order. Then, in the first quadrant, from top to bottom, we can see the curves with diameters [6, 3, 2, 1]. Also we can see these curves in the third quadrant from bottom to top. The associated numbers c = 12/d are [2, 4, 6, 12] respectively. These are the even divisors of n in increasing order. Finally all numbers c obtained are [1, 3, 2, 4, 6, 12] equaling the 12th row of triangle.
%o A319847 (PARI) row(n) = my(d=divisors(n)); concat(select(x->(x%2), d), select(x->!(x%2), d));
%o A319847 lista(nn) = {for (n=1, nn, my(r = row(n)); for (k=1, #r, print1(r[k], ", ")););} \\ _Michel Marcus_, Jan 17 2019
%Y A319847 A permutation of A027750 from which first differs at a(12) = T(6,2).
%Y A319847 Row sums give A000203.
%Y A319847 Row n has length A000005(n).
%Y A319847 Column 1 gives A000012.
%Y A319847 Right border gives A000027.
%Y A319847 Other permutations of A027750 are A056538, A210959, A299481, A299483, A319844, A319845, A319846, A319848, A319849.
%Y A319847 Cf. A001227, A183063, A299480, A299485.
%K A319847 nonn,tabf
%O A319847 1,3
%A A319847 _Omar E. Pol_, Sep 29 2018