The Diophantine Equation 2y2 − x2 = z2 (Part II)

An Equation with three Unknowns

Picture of a square

Squares of Magic Squares Equation

Andrew Bremner's article on squares of squares included the 3x3 square:

Bremner's square
373228925652
3607214252232
20525272222121

The numbers in the right diagonal as the triple (2052,4252,5652) seem to have been derived elsewhere. This sequence as well as a host of others has been obtained from a number of web pages starting with PartIA-1 where the first number in the triple when added to a difference (Δ) gives the second square in the triple and when this same (Δ) is added to the second square produces a third square. In other words adding the two sums produces the Diophantine equation: 2y2 − x2 = z2. The method discovered therefore was useful in generating integers which could be used as the right diagonal entries of a magic square consisting primarily of squares.

The general method for generating the requisite positive or negative triples were again generated using the method of triples and the method is summarized here. Beginning with the triple (1,b1, c1) we can generate the triple (a, b, c) which when squared gives the diagonal numbers. Initially either b1 or c1 will be equal to ± k where k is any integer. Again the end result is that a12 + b12 + c123b120 = S is transformed into a2 + b2 + c23b2 = 0 using the tranformation equation f employed in the next section. Multiplying thru by −1 and subtracting both sides by c2 produces 2b2a2 = c2 where (a2,b2,c2) replaces (x2,y2, z2) in the Diophantine equation.

The method is easily translatable into a computer program capable of generating a host of Diophantine triplets in a simple, rapid manner without having to resort to guessing at the individual values.

.

Calculation of f the transformation equation

To obtain e, g and f, where in this case g is now equal to 3e, the algebraic calculations are performed as follows:

Generation of a Table where b1 = −1

Using the transformation equation f we convert the triple (1,−1,1), where a1 = 1, b1 = −1 and c1 = 1 and use the f value into the three, respective equations a, b and c.

f = 7n2 − 10n /−2(4 + n)
a = (f + 1) = (7n2 + 8n − 4)/−2(4 + n)
b = (f − 1) = (5n2 + 4n + 8)/−2(4 + n)
c = (f + 1) = (n2 −16n − 8)/−2(4 + n)

Substituting the appropriate n into the equations for a, b, c and using d as the value of the denominator in f produces the table I below as verified by a computer program for the first eleven values of n. As can be seen, taking the value of f from the middle of the table and adding it to a1,b1, c1, produced a, b, c, respectively. The fractional numbers (a,b,c) are then normalized by multiplying each by the value of the current value of d the denominator of the current f and where rounding off is part of the normalization process. Normalization is not a process that is required when g=2e since the denominator of f is equal to one and the values of (a,b,c) are the true ones. In addition, the (a,b,c) values may be regular or inverted where the lowest values may be either first or last. In this case it doesn't matter whether the triple is (a,b,c) or (c,b,a).

Table I
na1 b1 c1 df a b c
01-11-801-11
1104-10-1.700-0.700-1.7002.300
1-10717-23
2117-12-4.000-3.000-3.0003.000
2-123636-36
31210-14-6.642857-5.642857-4.6428573.357143
3-147965-47
41313-16-9.500-8.500-6.5003.500
4-16136104-56
51416-18-12.500-11.500-8.50033.500
5-18207153-63
61519-20-15.600-14.600-10.6003.400
6-20292212-68
71622-22-18.772727-17.772727-12.7727273.227273
7-22391281-71
81725-24-22.000-21.000-15.0003.000
8-24504360-72
91828-26-25.269231-24.269231-17.2692312.730769
9-26631449-71
101931-28-28.571429-27.571429-19.5714292.428571
10-28772548-68

Note that these raw data have not been reduced and factors such as 2,3,5,7... may be divided out. For example, division of (136,104,-56) by 8 would give (17,13,-7).

This concludes Part II. To go back to Part I. To go to a randomn access method Part I/IIA.

Go back to homepage.


Copyright © 2020 by Eddie N Gutierrez. E-Mail: enaguti1949@gmail.com