Arithmetic progressions of rectangles on a conic

Transcription

1 Notes on Number Theory and Discrete Mathematics ISSN Vol. 20, 2014, No. 4, Arithmetic progressions of rectangles on a conic Ajai Choudhry 13/4 A Clay Square, Lucknow , India ajaic203@yahoo.com Abstract: In this paper we find infinitely many parabolas on which there exist five points with integer co-ordinates (x j, y j ), j = 1, 2,..., 5, such that the products x j y j, j = 1, 2,..., 5, are in arithmetic progression. Similarly, we find infinitely many ellipses and hyperbolas on which there exist six points with integer co-ordinates (x j, y j ), j = 1, 2,..., 6, such that the products x j y j, j = 1, 2,..., 6, are in arithmetic progression. Brown had conjectured that there cannot exist four points with integer co-ordinates (x j, y j ), j = 1, 2, 3, 4, on a conic such that the four products x j y j, j = 1, 2, 3, 4, are in arithmetic progression. The results of this paper disprove Brown s conjecture. Keywords: Arithmetic progressions on conics, Rectangles in arithmetic progression. AMS Classification: 11D09. 1 Introduction It was known to Fermat that there cannot exist four squares in arithmetic progression. A proof of this fact was first published by Euler and subsequently the proposition was proved by other mathematicians as well (see Dickson [2, p. 440]). Brown [1] has pointed out that the non-existence of four squares in arithmetic progression can be expressed by saying that there cannot exist four points with integer co-ordinates (x j, y j ), j = 1, 2, 3, 4, on the line y = x such that the four products x j y j, j = 1, 2, 3, 4, are in arithmetic progression. Starting with this observation, he has generalised the problem to finding four points with integer co-ordinates (x j, y j ), j = 1, 2, 3, 4, on an arbitrary straight line, or on a conic, such that the four products x j y j, j = 1, 2, 3, 4, (that is, the areas of the four rectangles whose vertices are (0, 0), (x j, 0), (0, y j ), (x j, y j ), j = 1, 2, 3, 4) are in arithmetic progression. He has established that there do not exist four such points on the line y = ax + b where a, b are rational and a 0. He has also proved that four such points cannot exist on a circle. Brown has conjectured that four such points cannot lie on a parabola or on the general conic defined by the second degree equation ax 2 + bxy + cy 2 + dx + ey + f = 0 (1) 53

2 where the coefficients a, b,..., f, are rational numbers. This paper is concerned with the generalised problem posed by Brown. It is shown in Section 2 that there exist infinitely many parabolas on which there exist five points with integer co-ordinates (x j, y j ), j = 1, 2, 3, 4, 5, such that the five products x j y j, j = 1,..., 5, are in arithmetc progression. Further, in Section 3, it is shown that there exist infinitely many ellipses and hyperbolas on which there exist six points with integer co-ordinates (x j, y j ), j = 1, 2..., 6, such that the six products x j y j, j = 1, 2..., 6, are in arithmetic progression. We note that if there exist n points with rational co-ordinates (x j, y j ), j = 1,..., n, on the conic (1) such that the products x j y j, j = 1,..., n, are n rational numbers in arithmetic progression, we can choose suitable integers p, q and make a linear transformation x = X/p, y = Y/q, so that in the X Y plane, the points (X j, Y j ) = (px j, qy j ), j = 1,..., n, on the resulting conic have integer co-ordinates and are such that the n products X j Y j = pqx j y j, j = 1,..., n, are in arithmetic progression. It therefore suffices to find rational points (x j, y j ) on the conic (1) such that the products x j y j are in arithmetic progression. 2 Arithmetic progressions of five rectangles on a parabola We initially assume that the parabola is defined, in terms of a parameter m, by the following equations: x = a 0 m 2 + a 1 m + a 2, y = b 0 m 2 + b 1 m + b 2, (2) where a 0, a 1, a 2, b 0, b 1, b 2 are rational coefficients to be determined. To find five points (x j, y j ) on the parabola such that the products x j y j are in arithmetic progression, we may take the five points defined by m = m j, j = 1,..., 5, where m j are arbitrary rational parameters, and impose the requirement that the products x j y j are given by p 2q, p q, p, p + q and p + 2q where p, q are arbitrary rational parameters. This gives us the following conditions: (a 0 m a 1 m 1 + a 2 )(b 0 m b 1 m 1 + b 2 ) = p 2q, (a 0 m a 1 m 2 + a 2 )(b 0 m b 1 m 2 + b 2 ) = p q, (a 0 m a 1 m 3 + a 2 )(b 0 m b 1 m 3 + b 2 ) = p, (a 0 m a 1 m 4 + a 2 )(b 0 m b 1 m 4 + b 2 ) = p + q, (a 0 m a 1 m 5 + a 2 )(b 0 m b 1 m 5 + b 2 ) = p + 2q. (3) Equations (3) may be considered as five homogeneous linear equations in the variables b 0, b 1, b 2, p, q, and the condition of solvability of these linear equations is easily worked out. This condition of solvability turns out to be a linear equation in the variable a 2 and is hence readily solved for a 2. With this value of a 2, equations (3) can be solved to obtain a parabola (2) whose coefficients a 0, a 1, a 2, b 0, b 1, b 2 are in terms of the parameters a 0, a 1 as well as the parameters m j, j = 1, 2, 3, 4, 5. The values of the coefficients so obtained are too cumbersome to be written explicitly. It suffices for our purpose to assign the values 2, 1, 0, 1, to the parameters m 1, m 2, m 3, m 4 respectively and thus obtain a simpler solution. With these values of m j, we readily obtain the following solution of the first four equations of (3): 54

3 b 0 = a 2 0, b 1 = (2a 0 a 1 )a 0, b 2 = a 2 0 2a 0 a 1 + a 2 1 a 0 a 2, p = a 2 (a a 0 a 1 a a 0 a 2 ), q = (a 0 a 1 )(2a a 0 a 1 a a 0 a 2 ). (4) On substituting these values in the last equation of (3), we get an equation in which a 2 occurs only in the first degree and we thus obtain the following solution for a 2 : a 2 = {(m m 3 5 m 2 5 4)a 3 0 (m 5 2)a 2 0a 1 (2m 5 4)a 0 a 2 1 +(m 5 2)a 3 1}/{2a 0 (a 0 a 1 )(m 5 2)}. (5) It follows that when the coefficients of the parabola (2) are defined by (4) and (5) in terms of arbitrary rational parameters a 0, a 1 and m 5, the five points on the parabola, obtained by taking the parameter m as 2, 1, 0, 1 and m 5, have rational co-ordinates such that the products x j y j, j = 1,..., 5, are in arithmetic progression. As a numerical example, taking a 0 = 1, a 1 = 1, m 5 = 3, and using (4) and (5), we get the values of the coefficients as a 2 = 30, b 0 = 1, b 1 = 3, b 2 = 32, so that our parabola is given by the equations x = m 2 + m + 30, y = m 2 + 3m + 32, (6) while the five points are obtained by assigning to m successively the values 2, 1, 0, 1 and 3. We thus get the five points (x j, y j ) as (24, 30), (28, 30), (30, 32), (30, 36), (24, 50) which are such that the products x j y j, namely 720, 840, 960, 1080, 1200, are in arithmetic progression. Eliminating m between the two equations (6), we get the equation of our parabola in the standard form (1). We thus get the parabola x 2 + 2xy + y 2 112x 128y = 0 (7) and it is readily verified that the aforementioned five points lie on this parabola. We can get infinitely many numerical examples of parabolas with five points such that the areas of the corresponding rectangles are in arithmetic progression by starting with different numerical values of the parameters a 0, a 1, m j, j = 1, 2, 3, 4, 5. In fact, it is conceivable that there exist parabolas on which we can get six, or perhaps even seven, points (x j, y j ) such that the products x j y j are in arithmetic progression. The equations, however, get cumbersome and we could not find any such example. 3 Arithmetic progressions of six rectangles on an ellipse or a hyperbola In order to find arithmetic progressions of six rectangles on a conic, we assume that there exist six points (x j, y j ) on the conic (1) given by ((p 5q)r, st), ((p 3q)s, rt), ((p q)t, rs), ((p + q)t, rs), ((p + 3q)s, rt) and (p + 5q)rs, t) so that the products x j y j are (p 5q)rst, (p 3q)rst, (p q)rst, (p + q)rst, (p + 3q)rst, (p + 5q)rst and are hence in arithmetic progression. Substituting the co-ordinates of these six points in equation (1) in turn, we get the following six conditions that must be satisfied for these points to lie on the conic: 55

4 (p 5q) 2 r 2 a + (p 5q)rstb + s 2 t 2 c + (p 5q)rd + ste + f = 0, (p 3q) 2 s 2 a + (p 3q)rstb + r 2 t 2 c + (p 3q)sd + rte + f = 0, (p q) 2 t 2 a + (p q)rstb + r 2 s 2 c + (p q)td + rse + f = 0, (p + q) 2 t 2 a + (p + q)rstb + r 2 s 2 c + (p + q)td + rse + f = 0, (p + 3q) 2 s 2 a + (p + 3q)rstb + r 2 t 2 c + (p + 3q)sd + rte + f = 0, (p + 5q) 2 r 2 s 2 a + (p + 5q)rstb + t 2 c + (p + 5q)rsd + te + f = 0. These are six homogeneous linear equations in the variables a, b, c, d, e, f and on solving the first five of these equations, we get the following solution: a = (r s)(s t)(t r)rst, b = 2(r s)(s t)(t r)pst, c = (p 5q) 2 r 3 s (p 5q) 2 r 3 t 2p(p 5q)r 2 s 2 +2p(p 5q)r 2 t 2 + (p 2 9q 2 )rs 3 + 2p(p 5q)rs 2 t 2p(p 5q)rst 2 (p 2 q 2 )rt 3 (p 2 9q 2 )s 3 t +(p 2 q 2 )st 3, d = 2(r s)(s t)(t r)(s + t)prst, e = (p 5q) 2 r 4 s 2 + (p 5q) 2 r 4 t 2 + 2p(p 5q)r 3 s 3 +2p(p 5q)r 3 s 2 t 2p(p 5q)r 3 st 2 2p(p 5q)r 3 t 3 (p 2 9q 2 )r 2 s 4 2p(p 5q)r 2 s 3 t + 2p(p 5q)r 2 st 3 +(p 2 q 2 )r 2 t 4 + (p 2 9q 2 )s 4 t 2 (p 2 q 2 )s 2 t 4, f = rst{(p 5q) 2 r 4 s (p 5q) 2 r 4 t 2p(p 5q)r 3 s 2 +2p(p 5q)r 3 t 2 + 2p(p 5q)r 2 s 2 t 2p(p 5q)r 2 st 2 +(p 2 9q 2 )rs 4 (p 2 q 2 )rt 4 (p 2 9q 2 )s 4 t +(p 2 q 2 )st 4 }. Substituting these values of a, b, c, d, e, f, in the last equation given by (8), we get the following quadratic equation in p and q: (r 1)(s 1)(r s)(r t)(s t)(rs t)(rs + r s t)p 2 +10r(r 1)(r s)(r t)(s t)(rs t)(s 2 + 1)pq +(s 1){(25(s + 1)(s t)r 5 s 25(s 2 t 2 )(s 2 + s + 1)r 4 +25(s + 1)(s 2 + 1)(s t)r 3 t + (9s 4 t 4 )r 2 (s + 1)(9s 3 t 3 )rt + (9s 2 t 2 )st 2 }q 2 = 0. We take t = rs + r s when the coefficient of p 2 vanishes, and we then solve equation (10) to get p = (s 1){(12s 2 s + 12)(s + 1) 2 r 4 (s + 1)(23s 2 4s + 23)r 3 s 3(s + 1) 2 r 2 s 2 + 2(s + 1)rs 3 + 4s 4 }, q = 5rs(r 1)(r s)(rs + r 2s)(s 2 + 1). With p, q being defined by (11) and t = rs + r s, the coefficients of the conic (1) are given by (9) in terms of parameters r and s, and all the six conditions (8) are satisfied. We have thus (8) (9) (10) (11) 56

5 obtained a parametrised family of conics on which there are six points (x j, y j ) such that the six products x j y j are in arithmetic progression. We give two numerical examples. Taking r = 4, s = 3 we get the ellipse x xy y x y = 0, on which there are the six points (x 1, y 1 ) = ( , 39), (x 2, y 2 ) = ( , 52), (x 3, y 3 ) = ( , 12), (x 4, y 4 ) = ( , 12), (x 5, y 5 ) = ( , 52), (x 6, y 6 ) = ( , 13) such that the products x j y j, namely, , , , , , are in arithmetic progression. As a second example, when we take r = 2, s = 3, we get the hyperbola 5x xy y x y = 0, on which there are the six points (x 1, y 1 ) = (38208, 15), (x 2, y 2 ) = (53712, 10), (x 3, y 4 ) = (83520, 6), (x 4, y 4 ) = (77520, 6), (x 5, y 5 ) = (42912, 10), (x 6, y 6 ) = (78624, 5) such that the products x j y j, namely, , , , , , are in arithmetic progression. By assigning different numerical values to the parameters r, s, we can obtain infinitely many ellipses and infinitely many hyperbolas on which there exist six points with the desired property. Efforts to determine suitable values of the parameters r, s to get a parabola were futile. We could, of course, solve only the first five of the equations (8) and choose the parameters to get a parabola with five points (x j, y j ) such the five products x j y j are in arithmetic progression. This solution is, however, more cumbersome than the solution given in Section 2, and is accordingly omitted. 4 Concluding remarks The examples given in Section 2 show that there exist parabolas on which there are five points (x j, y j ) such that the products x j y j are in arithmetic progression. Similarly, in Section 3 we have shown that there exist ellipses and hyperbolas on which there are six points (x j, y j ) such that the products x j y j are in arithmetic progression. These examples disprove Brown s conjecture. It remains an open problem whether there exist parabolas on which there are six points or ellipses / hyperbolas on which there are seven points such that the areas of the corresponding rectangles are in arithmetic progression. References [1] Brown, K. website on Math Pages: Number Theory, No Progression of Four Rectangles On A Conic? Available online kmath512.htm (Accessed on 1 October 2013). [2] Dickson, L. E. History of theory of numbers, Vol. 2, Chelsea Publishing Company, New York, 1992, reprint. 57