arxiv: v1 [math.nt] 12 Jun 2017

Transcription

1 ARITHMETIC PROPERTIES OF POLYNOMIALS arxiv: v1 [math.nt] 1 Jun 017 YONG ZHANG AND ZHONGYAN SHEN Abstract. In this paper, first, we prove that the Diophantine system fz = fx+fy = fu fv = fpfq has infinitely many integer solutions for fx = XX +a with nonzero integers a 0,1,4 mod 5. Second, we show that the above Diophantine system has an integer parametric solution for fx = XX+a with nonzero integers a, if there are integers m,n,k such that { n m 4mnkk +a+1+am +mn n 0 mod m +n, m +mn n m mn n kk +a+1 amn 0 mod m +n, where k 0 mod 4 when a is even, and k mod 4 when a is odd. Third, we get that the Diophantine system fz = fx+fy = fu fv = fpfq = fr fs has a five-parameter rational solution for fx = XX + a with nonzero rational number a and infinitely many nontrivial rational parametric solutions for fx = XX +ax +b with nonzero integers a,b and a b. At last, we raise some related questions. The kth n-gonal number is given by 1. Introduction Pk n kn k 1+ =. For n = 3, Pk 3 = kk +1/ are called triangular numbers. In 1968, W. Sierpiński [14] showed that there are infinitely many triangular numbers which at the same time can be written as the sum, difference, and product of other triangular numbers. For n = 4, Pk 4 = k, it is easy to show that 4m +1 is the sum, difference, and product of squares. In 1986, S. Hirose [10] proved that for n = 5,6,8, there are infinitely many n-gonal numbers which at the same time can be written as the sum, difference, and product of other n-gonal numbers. The cases with n = 7 and n 9 are still open. Some authors proved similar results for the sum and the difference only, such as R. T. Hansen [8] for n = 5, W. J. O Donnell [1, 13] in cases of n = 6,8, H. J. Hindin [9] for n = 7, and S. Ando [1] in cases of general n. In 198, L. C. Eggan, P. C. Eggan and J. L. Selfridge [7] showed that for every n, there are infinitely 010 Mathematics Subject Classification. Primary 11D5; Secondary 11D7, 11G05. Key words and phrases. Diophantine system, parametric solution, Pell s equation, elliptic curve. This research was supported by the National Natural Science Foundation of China Grant No and the Natural Science Foundation of Zhejiang Province Grant No. LQ13A

2 YONG ZHANG AND ZHONGYAN SHEN many n-gonal numbers that can be written as the product of two other n-gonal numbers. In 003, A. F. Beardon [] studied the integer solutions n,a,b,c,d of the Diophantine system Pn = Pa+Pb = Pc Pd, PaPbPcPd 0, where P is a quadratic polynomial with integer coefficients. Some related information on n-gonal numbers could be found in [6, p.1-p.39]. A natural question is to consider the integer solutions of the Diophantine system 1.1 fz = fx+fy = fu fv = fpfq, where fx is a polynomial with rational coefficients and degf. By the theory of Pell s equation, we have: Theorem1.1. Equation 1.1 has infinitely manyinteger solutions z,x,y,u,v,p,q for fx = XX +a with nonzero integers a 0,1,4 mod 5. Theorem 1.. For fx = XX+a with nonzero integers a, if there are integers m,n,k such that { n m 4mnkk +a+1+am +mn n 0 mod m +n, m +mn n m mn n kk +a+1 amn 0 mod m +n, where k 0 mod 4 when a is even, and k mod 4 when a is odd. Then Equation 1.1 has an integer parametric solution. To study the integer solutions of 1.1 seems difficult for general polynomials fx with degf, so we turn to consider the rational parametric solutions of the Diophantine system 1. fz = fx+fy = fu fv = fpfq = fr fs. For reducible quadratic polynomials, we prove the following statement. Theorem 1.3. For fx = XX +a with nonzero rational number a, Equation 1. has a five-parameter rational solution. For reducible cubic polynomials, by the theory of elliptic curves, we have: Theorem 1.4. For fx = XX+aX+b with nonzero integers a,b and a b, Equation 1. has infinitely many rational parametric solutions.. The proofs of Theorems Proof of Theorem The cases a 0,1 mod 5. Let us start with the equation fz = fpfq, where fx = XX + a. Write q = p + k for some integer k, then we obtain z +a = 4p +app+k +ap+k+a. The polynomial part of the Puiseux expansion of 4p +app+k +ap+k+a is given by ak +a+kp+p. If there exists a large integral solution, then z +a = ak +a+kp+p.

3 ARITHMETIC PROPERTIES OF POLYNOMIALS 3 We get in this case that a k+1k 1 = 0, that is k = ±1. In these casesq = p±1. If k = 1, then we obtain the solutions z = p +a+1p, or p + a 1p a. If k = 1, then we get z = p +a 1p a, or p + a+1p. Let us deal with the equation fz = fx+fy, where z = p +a+1p We only consider this solution, the other should work in a similar way. We obtain p +a+1p+a = x+a +y +a a. Take y = x+b for some integer b. It follows that p +a+1p+a x+a+b = b a. Let X = p +a+1p+a,y = x+a+b, we get the Pell s equation.1 X Y = b a. It is easy to provide infinitely many parameterized solutions by the formula. X +Y = 1+ m+1 a+b, m Z. When m = 0, it yields the trivial solution with x = 0. When m = 1, we get then x = a+3b and x+a+b = 5a+7b,p +a+1p+a = 7a+10b, From the second formula, we obtain p+a+1 a+7 = 0b 48. p 3p+a+4 = 5b 1. If we write 5b 1 = b 1 b, then we have p = b 1 +3 and b = b 1 +a+7 as a solution. Here we need that b = b 1b 1 +a is an integer, it is if a 0 mod 5, b 1 1, mod 5, or a 1 mod 5, b 1 3,4 mod 5. Up to now we constructed infinitely many integer solutions of the equations fz = fx+fy = fpfq, so it remains to consider the case fz = fu fv, where z = b a+ 1b Let v = u c for some integer c. Then fz = cu+a c, a linear equation in u. Hence, u = z +az +c ac. c As a solution, fix b 1 = c 3 and we obtain u = 4c +ac+a+4cc+a+ a+5c, v = 4c +ac+a+4cc+a+ a+3c, z = cc+a+1.

4 4 YONG ZHANG AND ZHONGYAN SHEN According to the other variables we have p = c, q = c+1, x = a+3 4c +ac 3a+c, 5 y = a+4 4c +ac 3a+c. 5 To get integral values of x,y,u,v, we need the following conditions a c mod and 4c +ac 3a+c 0 mod 5. i If a 0 mod 5, b 1 1, mod 5, from the second condition, we have From the first condition, we get c 0, mod 5. a 0 mod 10, c 0, mod 10, and a 5 mod 10, c 5,7 mod 10. For a 0 mod 10, take c = 10t, or 10t+, where t is an integer parameter, we have b = 80t +4t+4at 3a 5, or 80t +36t+4+4at+ a 5 Z. For a 5 mod 10, put c = 10t+5, or 10t+7, we get b = 80t +84t++4at+ 7a 5, or 80t +116t+4+4at+ 11a 5 Z. ii If a 1 mod 5, b 1 3,4 mod 5, from the second condition, we have From the first condition, we obtain c 1,3 mod 5. a 1 mod 10, c 1,3 mod 10, and a 6 mod 10, c 6,8 mod 10. For a 1 mod 10, take c = 10t+1, or 10t+3, where t is an integer parameter, we have b = 80t +0t+1+4at+ 1 a 5, or 80t +5t+8+4at+ +3a Z. 5 For a 6 mod 10, put c = 10t+6, or 10t+8, we get b = 80t +100t+31+4at+ 1+9a, or 80t +13t+54+4at+ +13a Z. 5 5 The case a 4 mod 5. Let us note that Equation.1 has another family of integer solutions When m = 1, we get X +Y = 1+ m+1 a+b, m Z. x+a+b = 5a+7b,p +a+1p+a = 7a+10b,

5 ARITHMETIC PROPERTIES OF POLYNOMIALS 5 then x = 3a+3b and From the second formula, we obtain p+a+1 a 7 = 0b 48. p+4p+a 3 = 5b 1. Writing 5b 1 = b 1 b, then we have p = b 1 4 and b = b 1 +a 7 as a solution. Here we need that b = b 1b 1 +a is an integer, it is if a 0 mod 5, b 1 3,4 mod 5, or a 4 mod 5, b 1 1, mod 5. We only consider the case a 4 mod 5 in the following. As in the first part, take b 1 = c+3 in z = b 1 4 +a+1b 1 4, we obtain z = c 1c+a, x = 3a+3 4c +ac+3a c, 5 y = 3a+4 4c +ac+3a c, 5 u = 4c +ac a 4cc+a+ a+5c, v = 4c +ac a 4cc+a+ a+3c, p = c 1, q = c. To get integral values of x,y,u,v, we need the following conditions a c mod and 4c +ac+3a c 0 mod 5. If a 4 mod 5, b 1 1, mod 5, from the second condition, we have c,4 mod 5. From the first condition, we get a 4 mod 10, c,4 mod 10, and a 9 mod 10, c 7,9 mod 10. As in the above, we can take c = 10t +, or 10t + 4 for a 4 mod 10, and c = 10t+7, or 10t+9 for a 9 mod 10, where t is an integer parameter. Combining 1 and completes the proof of Theorem 1.1.

6 6 YONG ZHANG AND ZHONGYAN SHEN Example 1. When a = 1, c = 10t+1, then Equation 1.1 has solutions z = 400t +10t+8, x = 40t +7t+5, y = 30t +96t+6, u = 8000t t +665t+36, v = 8000t t +655t+35, p = 0t+, q = 0t+3, where t is an integer parameter. Remark.1. It s worth to note that we have other possibilities to obtain integer solutionsifa 0,1,4 mod 5. Whenweapplythesameideausingtheotherfamily of solutions with z = p + a 1p a, p +a 1p a, or p + a+1p for m = 1, we do not obtain new cases of solutions. Also we only used the first non-trivial value of m in case of the general Pell s equation. To cover more classes one has to go in these directions. For example, when m =, from formula., we have then x = 14a+0b and x+a+b = 9a+41b, p +a+1p+a = 41a+58b, p+a+1 a+41 = 116b Hence, we get p 0p+a+1 = 9b 40. Let 9b 40 = b 1 b, then we have p = b 1 +0,b = b 1 +a+41. Hence, b = b 1b 1 +a To make b be an integer, we have a 0,,3,5,6,8,10,11,15,19,3,4,6,8 mod 9. As in Theorem 1.1, fix b 1 = c 0 in z = b a+1b 1 +0 and we obtain z = cc+a+1, x = 14a+0 4c +ac 0a+c, 9 y = 14a+1 4c +ac 0a+c, 9 u = 4c +ac+a+4cc+a+ a+5c, v = 4c +ac+a+4cc+a+ a+3c, p = c, q = c+1. To get integral values of x,y,u,v, we need the following conditions a c mod

7 ARITHMETIC PROPERTIES OF POLYNOMIALS 7 and 4c +ac 0a+c 0 mod 9. In the following table, we give the conditions of a,b 1,c such that b is an integer. a b 1 c 0 mod 58 8,9 mod 9 0,14 mod 58 9 mod 58 8,9 mod 9 9,43 mod 58 mod 58 1,14 mod 9 46,54 mod mod 58 1,14 mod 9 17,5 mod 58 3 mod 58 15,8 mod 9 3,53 mod 58 3 mod 58 15,8 mod 9 3,4 mod 58 5 mod 58 0,1 mod 9 35,49 mod mod 58 0,1 mod 9 6,0 mod 58 6 mod 58 17,3 mod 9 4,36 mod mod 58 17,3 mod 9 33,7 mod 58 8 mod 58,7 mod 9 40,8 mod mod 58,7 mod 9 11,57 mod mod 58 11,5 mod 9 30,8 mod mod 58 11,5 mod 9 1,37 mod mod 58 16,19 mod 9 5,47 mod mod 58 16,19 mod 9 34,18 mod mod 58 5,6 mod 9 3,7 mod mod 58 5,6 mod 9 5,56 mod mod 58 3,4 mod 9 51,55 mod mod 58 3,4 mod 9,6 mod 58 3 mod 58 10,13 mod 9 31,15 mod 58 5 mod 58 10,13 mod 9,44 mod 58 4 mod 58 4,18 mod 9 1,48 mod mod 58 4,18 mod 9 41,19 mod 58 6 mod 58,7 mod 9 38,50 mod mod 58,7 mod 9 9,1 mod 58 8 mod 58 6,1 mod 9 4,16 mod mod 58 6,1 mod 9 13,45 mod 58 For example, when a 0 mod 58, we can take c = 58t, or 58t+14, then b = 464t +4t+4at 0a 9, or 464t +8t+8+4at+ 8a 9 Z. InviewofTheorem1.1,thecasesa,3 mod 5arenotcovered. Togetmorea suchthat Equation1.1 has infinitely many integersolutions forfx = XX+a, we use the congruences modulo 9 in the above table. Solving the congruences we have a mod 5,a 0,,3,5,6,8,10,11,15,19,3,4,6,8 mod 9, a 87,,3,9,1,37,97,17,10,77,5,8,14,57 mod 145. By the congruences a 3 mod 5,a 0,,3,5,6,8,10,11,15,19,3,4,6,8 mod 9,

8 8 YONG ZHANG AND ZHONGYAN SHEN we get a 58,118,3,63,93,8,68,98,73,48,3,53,113,8 mod 145. Then if a,3,8,3,8,3,37,48,5,53,57,58,63,68,73, 77,8,87,9,93,97,98,10,113,118,1,17,14 mod 145, 1.1 has infinitely many integer solutions for fx = XX +a. Similar congruences can be obtained for other values of m, and combining these systems via the Chinese remainder theorem would cover almost all classes. However, it seems difficult to cover all integers a,3 mod 5. Note that Example 1 gives an integer parametric solution of Equation 1.1 with fx = XX+1, we try to generalizethese formulas and get the proofof Theorem 1.. Proof of Theorem 1.. Firstly,westudytheequationfz = fpfqforfx = XX +a. Take p = At+k,q = At+k +1, then we have z = At+kAt+k +a+1. Secondly, we consider the equation fz = fu fv. Let u = Bt 3 + Ct + Dt+E,v = Bt 3 +Ct +Ft+G, then At+kAt+k +aat+k +1+aAt+k +1 = Dt Ft+E GBt 3 +Ct +Dt+Ft+E +G+a. To determinate the coefficients of u, v, by the method of undetermined coefficients, we obtain.3 A 4 = BD F, A 3 a+k +1 = BE BG+CD CF, A a +6ak+6k +3a+6k +1 = CE CG+D F, Aa+k +1ak +k +a+k = DE +Da FG Fa, kk +1a+k +1a+k = E GE +a+g. In order to find a solution of Equation.3, let B = A 3,E G = k, then F = D A,G = E k. Put B,F,G into Equation.3, and solve it for C,D,E, we get C = A a+3k +, D = Aa +4ak +3k +3a+4k+ 5A 4, E = ak +k +a+ka+k+ a+5k. 4

9 ARITHMETIC PROPERTIES OF POLYNOMIALS 9 Hence, u =A 3 t 3 +A a+3k +t + Aa +4ak +3k +3a+4k+ 5A 4 +ak +k +a+ka+k+ a+5k, 4 v =A 3 t 3 +A a+3k +t + Aa +4ak +3k +3a+4k+ 3A 4 +ak +k +a+ka+k+ a+3k. 4 At last, we study the equation fz = fx +fy. Put x = Ht + It+J,y = Kt +Lt+M, then At+kAt+k +aat+k +1+aAt+k +1 =H +K t 4 +IH +KLt 3 +HJ +Ha+KM +Ka+L I t +IJ +LM +La+Iat+J +Ja+M +Ma. To determinate the coefficients of x, y, by the method of undetermined coefficients, we obtain.4 A 4 = H +K, A 3 a+k +1 = IH +KL, A a +6ak +6k +3a+6k +1 = HJ +Ha+KM +Ka+L I, Aa+k +1ak +k +a+k = IJ +LM +La+Ia, kk +1a+k +1a+k = J +Ja+M +Ma. Solve the first equation of Equation.4, we get an integer parametric solution A = n +m,h = 4nmn m,k = m 4 6m n +n 4, where n > m are integer parameters. Take A,H,K into the second, third and fourth equations of Equation.4, and solve them for I,L,M, then I = 4nmn m a+k +1 n +m, L = m4 6m n +n 4 a+k +1 n +m, M = 4nmn m J +m +n k +m +n a+1k +amnm +mn n m 4 6m n +n 4. Put M into the firth equation of Equation.4, we have Hence, J = n m 4mnkk +a+1+am +mn n n +m. M = m +mn n m mn n kk +a+1 amn n +m. t t

10 10 YONG ZHANG AND ZHONGYAN SHEN So x =4nmn m t + 4nmn m a+k +1 n +m t + n m 4mnkk +a+1+am +mn n n +m, y =m 4 6m n +n 4 t + m4 6m n +n 4 a+k +1 n +m t + m +mn n m mn n kk +a+1 amn n +m. According to the other variables, we have p =n +m t+k, q =n +m t+k +1, u =n +m 3 t 3 +n +m a+3k +t + n +m a +4ak +3k +3a+4k+ 5n +m t+ak +k +a+ka+k+ a+5k, 4 4 v =n +m 3 t 3 +n +m a+3k +t + n +m a +4ak +3k +3a+4k+ 3n +m t+ak +k +a+ka+k+ a+3k. 4 4 To get integral values of x,y,u,v, we can take t = 4n + m T, where T is an integer parameter, k 0 mod 4 when a is even, and k mod 4 when a is odd and the following congruence conditions { n m 4mnkk +a+1+am +mn n 0 mod m +n, m +mn n m mn n kk +a+1 amn 0 mod m +n. This completes the proof of Theorem 1.. Example. 1 When a = 1, fx = XX + 1, we take m,n = 1,, t = 0T,k = 4k 1 +, then we get the conditions { 384k k mod 5, 11k1 168k mod 5. Solve these two congruences, we obtain k 1 5,6 mod 5. Then k,6 mod 100.

11 ARITHMETIC PROPERTIES OF POLYNOMIALS 11 If we put k = 100S+, where S is an integer parameter, then there are infinitely many integer parametric solutions z =850T +50S +115T +6+5S, x =9600T +1900S +4416T +9600S +4416S +507, y = 800T 5600S +188T 800S 188S 148, u = T S T S S T S S S+1701, v =500T S40T +9+40S5T +6+5S, p =100T +100S +, q =100T +100S +3. When a =, fx = XX +, we take m,n = 1,4, t = 68T,k = 4k 1, then we have the conditions { 3840k k mod 89, Solve these two congruences, we obtain 576k k mod 89. k 1 104,11 mod 89. Then k 416,448 mod Ifwesetk = 1156S+416,whereS isanintegerparameter,thenthereexistinfinitely many integer parametric solutions z =489T +89S T S, x = T +1950S T S S , y =744464T S T S S+97104, u = T S T S S T S S S , v =31T S668168S ST T S T +8757, p =1156T +1156S +416, q =1156T +1156S Whena = 3, fx = XX+3,wetakem,n = 1,5,t = 104T,k = 4k 1 +, then we get the conditions { 7680k k mod 676, Solve these two congruences, we obtain Then 7616k k mod 676. k 1 46,11,15,90,384,459,553,68 mod 676. k 186,486,86,116,1538,1838,14,514 mod 704.

12 1 YONG ZHANG AND ZHONGYAN SHEN If we put k = 704S+186,where S is an integerparameter, then there are infinitely many integer parametric solutions z =4135T +135S T S, x = T S+7190T S +7190S+509, y = T S T S S+4885, u = T S T S S T S S S , v =5408T S187904S ST T S T +8859, p =704T +704S +186, q =704T +704S Proof of Theorem 1.3. For fx = XX + a, let z = T, the first equation of Equation 1. reduces to This can be parameterized by x = TT +a = xx+a+yy +a. Tk+ak +a k +1Tk+ak T k,y = +1 k, +1 where k is a rational parameter. From TT +a = uu+a vv +a, we get u = Tt +at at+t t 1,v = Tt+at a t, 1 where t is a rational parameter. For TT +a = pp+aqq +a, put p = wt, then T = aaqw+q w 1 aqw +q w 1,p = awaqw+q w 1 aqw +q w 1, where w is a rational parameter. Take s = mr, from we obtain TT +a = rr +a ss+a, r = at m+tam 1 T m +Tam 1,s = amt m+tam 1 T m +Tam 1, where m is a rational parameter. Put T = aaqw+q w 1 aqw +q w 1 into x,y,u,v,r,s, then Equation 1. has a five-parameter rational solution. Now we provide the proof of Theorem 1.4.

13 ARITHMETIC PROPERTIES OF POLYNOMIALS 13 Proof of Theorem 1.4. To prove this theorem, we need to consider four Diophantine equations. The first one is.5 zz +az +b = xx+ax+b+yy +ay +b. Let z = T, and consider Equation.5 as a cubic curve with variables x,y: C 1 : xx+ax+b+yy +ay +b TT +at +b = 0. Bythemethoddescribedin[4, p.477],usingmagma[3], C 1 isbirationallyequivalent to the elliptic curve E 1 : Y =X 3 43a ab+b X 31498T a+bT a +4ab+b T a+b4a 37ab+4b T a 4 4a 3 b 51a b 4ab 3 +8b 4 T aba ba b a+bt 178a 4ab+b a +ab b a ab b. The map ϕ 1 : C 1 E 1 is X = 13a ab+b x+y+7tt +at +b a+ba 4ab+b, a+b+3x+3y 1083T +a b3t +a+b3t a+bx y Y =, a+b+3x+3y and its inverse map ϕ 1 1 : E 1 C 1 is x = 6a+6bX Y +97TT +at +b 7a+ba 4ab+b 18X 1a +1ab 1b, y = 6a+6bX +Y +97TT +at +b 7a+ba 4ab+b 18X 1a +1ab 1b. The discriminant of E 1 is nonzero as an element of QT, then E 1 is smooth. Note that the point x,y = 0,T lies on C 1, by the map ϕ 1, the corresponding point on E 1 is W = 108T +36a+bT 1a +48ab 1b,1083T b+a3t +b at. By the group law, we have []W = 19T 4 +1a+bT 3 +5a +16ab+5b T +6aba+bT +3a b /T, 1089T 6 +1a+bT 5 +16a +41ab+16b T 4 +a+ba +13ab+b T 3 +ab4a +11ab+4b T +6a b a+bt +a 3 b 3 /T 3. A quick computation reveals that the remainder of the division of the numerator by the denominator of the X-th coordinate of []W with respect to T is equal to 7a b+7ab T +36a b and thus is nonzero as an element of QT provided ab 0. By a generalization of Nagell-Lutz theorem see [5, p.68], []W is of infinite order on E 1, then there are infinitely many QT-rational points on E 1.

14 14 YONG ZHANG AND ZHONGYAN SHEN For m =,3,..., compute the points [m]w on E 1, next calculate the corresponding point ϕ 1 1 [m]w = x m,y m on C 1. Then weget infinitely many QT-rational solutions x, y of Equation.5. The second one is.6 zz +az +b = uu+au+b vv +av +b. Take z = T, and consider Equation.6 as a cubic curve with variables u,v: C : uu+au+b vv +av +b TT +at +b = 0. Bythemethoddescribedin[4, p.477],usingmagma[3], C isbirationallyequivalent with the elliptic curve E : V =U 3 43a ab+b U 31498T a+bT 5 The map ϕ : C E is 31498a +4ab+b T aba+bT a b T +3456a ab+b 3. U = 1a ab+b u v+9tt +at +b, u v 34TT +at +ba+b+3u+3v V =, u v and its inverse map ϕ 1 : E C is u = 6a+6bU V +97TT +at +b+7a3 +b 3 18U 1a +1ab 1b, v = 6a+6bU +V +97TT +at +b+7a3 +b 3 18U 1a +1ab 1b. The discriminant of E is nonzero as an element of QT, then E is smooth. Note that the point u,v = T,0 lies on C, by the map ϕ, the corresponding point on E is W = 108T +108a+bT +1a +96ab+1b,34T +at +b3t +a+b. By the group law, we get []W = 181T a+bT 3 +45a +144ab+45b T +1a 3 +54a b +54ab +1b 3 T +4a 4 +4a 3 b+7a b +4ab 3 +4b 4 /3T +a+b, 3481T a+bT 5 +54a +189ab+54b T 4 1a 3 18a b 18ab +1b 3 T 3 8a 4 +68a 3 b+66a b +68ab 3 +8b 4 T 6ab a+b4a +5ab+4b T 6a b a +ab+b /3T +a+b 3. By the same method of above, we have infinitely many QT-rational solutions u, v of Equation.6. The third one is.7 zz +az +b = pp+ap+bqq +aq +b.

15 ARITHMETIC PROPERTIES OF POLYNOMIALS 15 Put z = T,qq +aq +b = Q and consider Equation.7 as a cubic curve with variables T, p: C 3 : TT +at +b Qpp+ap+b = 0. Bythemethoddescribedin[4, p.477],usingmagma[3], C 3 isbirationallyequivalent to the elliptic curve E 3 : Y =X 3 43a ab+b Q X +7a b a b Q a b a b a+b Q+7a b a b. Because the map ϕ 3 : C 3 E 3 is complicated, we omit it. The discriminant of E 3 is nonzero as an element of QQ, then E 3 is smooth. Note that the point T,p = a,a lies on C 3, by the map ϕ 3, the corresponding point on E 3 is W = 1Qa +ab b, 108aa bbq+1q. By the group law, we get []W = 1Qa a +ab b Q +8a 4 +4a 3 b a b 6ab 3 +3b 4 Q +a a +ab b /Q+1 a, 108Qa 4 ba bq 4 a a 4 +3a 3 b a b 4ab 3 +b 4 Q 3 +a +ab b 4a 4 +a 3 b ab 3 +b 4 Q a a 4 +3a 3 b a b 4ab 3 +b 4 Q+a 4 ba b/q+1 a. By the same method of above, we have infinitely many QQ-rational solutions T, p of Equation.7. The last one is.8 zz +az +b = rr +ar +b ss+as+b. Let z = T, and put t = TT + at + b. By Equation.7, there are infinitely many Qt-rational solutions r, s of Equation.8. This completes the proof of Theorem 1.4. Example 3. The point []W on E 1 leads to the solutions of Equation.5: x,y = 9T 6 +1a+bT 5 +4a +17ab+4b T 4 +9aba+bT 3 +a 3 b+7a b +ab 3 T +a b a+bt +a 3 b 3 /T9T 4 +1a+bT 3 +4a +17ab+4b T +6aba+bT +3a b, 3T +Ta+Tb+ab 3a+3bT 3 a+b T aba+bt a b /T9T 4 +1a+bT 3 +4a +17ab+4b T +6aba+bT +3a b.

16 16 YONG ZHANG AND ZHONGYAN SHEN The point []W on E leads to the solutions of Equation.6: u,v = 7a+bT 5 54a+b T 4 9a+b4a +11ab+4b T 3 8a 4 +68a 3 b+93a b +68ab 3 +8b 4 T 6aba+ba +ab+b T +9a 3 b 3 /33T +a+b9t 4 +1a+bT 3 +4a +17ab+4b T +6aba+bT +3a b, 81T 6 +16a+bT 5 +16a +513ab+16b T 4 +3a+b3a +109ab+3b T 3 +16a a 3 b+67a b +136ab 3 +16b 4 T +6aba+ba +7ab+b T +9a 3 b 3 /33T +a+b9t 4 +1a+bT 3 +4a +17ab+4b T +6aba+bT +3a b. The point []W on E 3 leads to the solutions of Equation.7: a b Qa+Qb+aQ+1 T,p = a 3 Q +a 3 3ab +b 3 Q a 3, a b Qa+a bq+1 a 3 Q +a 3 3ab +b 3 Q a 3 where Q = qq +aq +b. By Equation.7, we can get a rational parametric solution of Equation.8: a b ta+tb+at+1 a b ta+a bt+1 r,s = a 3 t +a 3 3ab +b 3 t a 3, a 3 t +a 3 3ab +b 3 t a 3, where t = TT +at +b. Let a = 1,b = 3, combining the abovesolutions, we can get a rational parametric solution of Equation 1.: z = T = 3Q+1Q+1 Q 1, x = 9T6 +48T 5 +91T T 3 +13T +7T +7 T9T 4 +48T 3 +91T, +7T +7 y = 3T +8T +31T 3 +3T +4T +9 T9T 4 +48T 3 +91T, +7T +7 u = 108T5 +864T 4 +68T T +1656T 43 33T +89T 4 +48T 3 +91T, +7T +7 v = 81T6 +864T T T T +95T T +89T 4 +48T 3 +91T, +7T +7 p = 3Q+Q+1 Q 1, q = q, r = 3T3 +8T +6T +1T 3 +4T +3T +1 T 3 +4T +3T 1, s = 3T3 +4T +3T +T 3 +4T +3T +1 T 3 +4T +3T 1, where Q = qq +1q +3, and q is a rational parameter.,

17 ARITHMETIC PROPERTIES OF POLYNOMIALS Some related questions In 1986, S. Hirose [10] conjectured that for n 4 if n Pk n n 4 = Pn l, then PP n = P n k n k Pn l can be expressed as the sum and difference of two other n-gonal numbers. It is difficult to prove it. Following this idea, for n = 1, we find an example: P = P P = P P = P P For general n-gonal numbers, we have an open question. Question 3.1. Are there infinitely many n-gonal numbers, except n = 3,4,5,6,8, which at the same time can be written as the sum, difference, and product of other n-gonal numbers? In Theorem 1.1, we give infinitely many quadratic polynomials fx Q[X] such that Equation 1.1 has infinitely many integer solutions, but it seems difficult to solve the following question. Question 3.. Does there exist a polynomial fx Q[X] with degf 3 such that Equation 1.1 or Equation 1. has infinitely many integer solutions? For polynomials fx Q[X] with degf 4, we raise Question 3.3. Does there exist a polynomial fx Q[X] with degf 4 such that Equation 1.1 or Equation 1. has a nontrivial rational solution? References [1] S. Ando, A Note on Polygonal Numbers, Fibonacci Quart , [] A. Beardon, Sums and differences of values of a quadratic polynomial, Fibonacci Quart , [3] W. Bosma, J. Cannon and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput , [4] H. Cohen, Number theory, Vol. I: Tools and Diophantine equations, Graduate Texts in Mathematics, 39, Springer, New York, 007. [5] I. Connell, Elliptic curve handbook, or https: //pendientedemigracion.ucm.es/bucm/mat/doc8354.pdf [6] L. E. Dickson, History of the theory of numbers, Vol. II: Diophantine analysis, Dover Publications, New York, 005. [7] L. C. Eggan, P. C. Eggan and J. L. Selfridge, Polygonal products of polygonal numbers and the Pell equation, Fibonacci Quart , 4 8. [8] R. T. Hansen, Arithmetic of Pentagonal Numbers, Fibonacci Quart , [9] H. J. Hindin, A theorem concerning heptagonal numbers, Fibonacci Quart , [10] S. Hirose, On some polygonal numbers which are, at the same time, the sums, differences, and products of two other polygonal numbers, Fibonacci Quart , [11] L. J. Mordell, Diophantine Equations, Pure and Applied Mathematics, Vol. 30, Academic Press, London, [1] W. J. O Donnell, Two Theorems Concerning Hexagonal Numbers, Fibonacci Quart , [13] W. J. O Donnell, A Theorem Concerning Octagonal Numbers, J. Recreational Math /80, [14] W. Sierpiński, Un théorème sur les nombres triangulaires,french Elem. Math , 31 3.

18 18 YONG ZHANG AND ZHONGYAN SHEN [15] J. H. Silverman and J. Tate, Rational points on elliptic curves, Springer, 199. School of Mathematics and Statistics, Changsha University of Science and Technology, Changsha , People s Republic of China address: zhangyongzju@163.com Department of Mathematics, Zhejiang International Studies University, Hangzhou, 31001, People s Republic of China address: huanchenszyan@yahoo.com.cn