%I #27 Feb 26 2023 20:42:15
%S 1,0,5,10,0,14,0,35,0,30,35,0,0,0,55,0,105,0,154,0,91,84,0,220,0,260,
%T 0,140,0,231,0,390,0,0,0,204,165,0,455,0,0,0,595,0,285,0,429,0,770,0,
%U 935,0,836,0,385,286,0,0,0,1190,0,1330,0,0,0,506
%N Triangle of Fibonacci's congruum (congruous) numbers divided by 24 based on primitive Pythagorean triangles. Areas divided by 6 of these triangles.
%C The problem is: given a square, find a positive integer that, whether added to or subtracted from that square, yields a square. That is, both x^2 + C = y^2 and x^2 - C = z^2. Equivalently: z^2 + C = x^2 and x^2 + C = y^2 (squares in arithmetic progression). This is treated in Fibonacci's 'The book of squares' (Liber Quadratorum (1225) but for rational x,y,z). See the Sigler reference, Proposition 14, pp. 53-74 (note that the formulation of this problem on p. 53 is not correct, 'from a square' should read 'from the same square'). See also van der Waerden, pp. 40-42, and A. Weil, pp. 13-14. The desired number C is called a congruum by Fibonacci (a congruous number in Sigler's translation).
%C For the history of this problem, see Dickson, pp. 459-472 (he uses the (misleading) term congruent number).
%C The following solution is based on primitive Pythagorean triangles. (Fibonacci's solution is based on sums of odd squares.) The triangle T(n, m) = 24*C(n, m) will have 0's for those (n, m) not leading to primitive Pythagorean triples.
%C Addition of the two equations, substitution of y = u + v > 0 and z = |u - v| and division by 2 leads to x^2 = u^2 + v^2. Consider primitive Pythagorean triples (u, v, x) with even v which are pairwise relatively prime. Then also GCD(u,v,x) = 1. A common factor f for u, v and x would lead to a multiplication by f^2 on both sides of the two equations. For primitive Pythagorean triples see A249866. One has u = n^2 - m^2, v = 2*n*m and x = n^2 + m^2 with GCD(n, m) = 1 , n > m >= 1, n + m odd. Then C = C(n, m) = 4*n*m*(n^2 - m^2) = 2*v(n, m)*u(n, m). This is four times the area of the Pythagorean triangle. C is divisible by 4! = 24 (see A020885). Define T(n, m) = C(n, m)/4!, for 2 <= m + 1 <= n. This is the area of the corresponding primitive Pythagorean triangle divided by 6.
%C The corresponding x = x(n, m), y = y(n, m) and z(n, m) number triangles are given in A222946, A225949 and A258149 respectively.
%C T(n, m) = n*m*(n^2 - m^2)/6, for m = 1, 2, ..., n-1, has for n >= 2 the minimum value at m = 1, and the next largest value appears for n >= 3 at m = n-1. Note all (n, m) pairs are considered here. The proof of the first part is easy. The proof of T(n, m) - T(n, n-1) > 0, for m = 2, 3, ..., n-2, and n >= 3, is equivalent to n^2*(m-2) + 3*n > m^3 +1 and this is easy to prove with n >= m+2 and m >= 2. Therefore the triangle T(n, m) with 0's attains for even n the smallest nonzero row entry at m = 1, and for odd n the smallest nonzero row entry appears at m = n-1 (last entry).
%C This allows us to find (after solution of two cubic equations for even and odd n, named ne = ne(N) and no = no(N)) a row number nmin(N) = max(ne(n), no(N)) such that N will not appear in any row n > nmin(N).
%C The original problem posed to Fibonacci by Giovanni di Palermo (Master John of Palermo) was to find a [rational] square that when increased or decreased by 5 gives a square. Fibonacci gave the solution in his Liber Quadratorum in Proposition 17 (see Sigler, pp. 77-81) as x^2 = (41/12)^2 = 1681/144, y^2 = (49/12)^2 = 2401/144 and z^2 = (31/12)^2 = 961/144. This corresponds to the integer quartet (C; x, y, z) = (720; 41, 49, 31) corresponding to the primitive Pythagorean triple [9, 40, 41]. See the examples for (n, m) = (5, 4).
%C The numbers without zeros, in nondecreasing order, are given in A020885 = A024406/6.
%C Comments from _Eric Snyder_, Feb 07 2023: (Start)
%C If m+n > 3 and not divisible by 3, then m+n | T(n,m).
%C Additionally, if 2n-1 > 3 and not divisible by 3, then 2n-1 = 6k+-1, and T(n,n-1) = (2n-1)*P(-+k), where P(-+k) is a generalized pentagonal number (A001318). For example, T(6,5) = 11*P(-2) = 11*5.
%C T(n,n-1) = A000330(n-1) for n>=2. (End)
%D L. E. Dickson, History of the Theory of Numbers. Carnegie Institute Public. 256, Washington, DC, Vol. 2, 1920, pp. 459-472.
%D L. E. Sigler, Leonardo Pisano, Fibonacci, The book of squares, Academic Press, 1987.
%D B. L. van der Waerden, A History of Algebra, Springer, 1985, pp. 40-42.
%D André Weil, Number Theory, An approach through history, From Hammurapi to Legendre, Birkhäuser, 1984, pp. 13-14.
%F T(n, m) = n*m*(n^2 - m^2)/6 if 2 <= m+1 <= n, n+m odd, GCD(n, m) = 1 and 0 otherwise.
%e The triangle T(n, m) begins:
%e n\m 1 2 3 4 5 6 7 8 9 10 11
%e 2: 1
%e 3: 0 5
%e 4: 10 0 14
%e 5: 0 35 0 30
%e 6: 35 0 0 0 55
%e 7: 0 105 0 154 0 91
%e 8: 84 0 220 0 260 0 140
%e 9: 0 231 0 390 0 0 0 204
%e 10: 165 0 455 0 0 0 595 0 285
%e 11: 0 429 0 770 0 935 0 836 0 385
%e 12: 286 0 0 0 1190 0 1330 0 0 0 506
%e ...
%e The smallest nonzero number for each row with even n is T(n, 1), and for odd n it is T(n, n-1).
%e The above mentioned nmin(N) will for N = 300 be 12.
%e Therefore, no number > 300 will appear for rows with n > 12.
%e -----------------------------------------------------
%e The corresponding quartets (C; x, y, z) are:
%e n=2: (24; 5, 7, 1),
%e n=3: (120; 13, 17, 7),
%e n=4: (240; 17, 23, 7), (336; 25, 31, 17),
%e n=5: (840; 29, 41, 1), (720; 41, 49, 31),
%e n=6: (840; 37, 47, 23), (1320; 61, 71, 49),
%e n=7: (2520; 53, 73, 17), (3696; 65, 89, 23),
%e (2184; 85, 97, 71),
%e n=8: (2016; 65, 79, 47), (5280; 73, 103, 7),
%e (6240; 89, 119, 41), (3360; 113, 127, 97),
%e n=9: (5544; 85, 113, 41), (9360; 97, 137, 7),
%e (4896; 145, 161, 127),
%e n=10: (3960; 101, 119, 79), (10920; 109, 151, 31),
%e (14280; 149, 191, 89), (6840; 181, 199, 161),
%e n=11: (10296; 125, 161, 73), (18480; 137, 193, 17),
%e (22440; 157, 217, 47), (20064; 185, 233, 119),
%e (9240; 221, 241, 199),
%e n=12: (6864; 145, 167, 119), (28560; 169, 239, 1),
%e (31920; 193, 263, 73), (12144; 265, 287, 241),
%e ...
%e -----------------------------------------------------
%e The corresponding primitive Pythagorean triples
%e (u, v, x) are:
%e n=2: [3, 4, 5],
%e n=3: [5, 12, 13],
%e n=4: [15, 8, 17], [7, 24, 25],
%e n=5: [21, 20, 29],[9, 40, 41],
%e n=6: [35, 12, 37], [11, 60, 61],
%e n=7: [45, 28, 53], [33, 56, 65],
%e [13, 84, 85],
%e n=8: [63, 16, 65], [55, 48, 73],
%e [39, 80, 89], [15, 112, 113],
%e n=9: [77, 36, 85], [65, 72, 97],
%e [17, 144, 145],
%e n=10: [99, 20, 101], [91, 60, 109],
%e [51, 140, 149], [19, 180, 181],
%e n=11: [117, 44, 125], [105, 88, 137],
%e [85, 132, 157], [57, 176, 185],
%e [21, 220, 221],
%e n=12: [143, 24, 145], [119, 120, 169],
%e [95, 168, 193], [23, 264, 265],
%e ...
%t T[n_, m_] /; 2 <= m+1 <= n && OddQ[n+m] && CoprimeQ[n, m] := n*m*(n^2 - m^2)/6; T[_, _] = 0; Table[T[n, m], {n, 2, 12}, {m, 1, n-1}] // Flatten (* _Jean-François Alcover_, Jun 16 2015, after given formula *)
%Y Cf. A020885, A024365, A024406, A249866, A222946, A225949, A258149.
%K nonn,easy,tabl
%O 2,3
%A _Wolfdieter Lang_, Jun 11 2015
|