A New Method in the Problem of Three Cubes

Size: px
Start display at page:

Download "A New Method in the Problem of Three Cubes"

Transcription

1 Universal Journal of Computational Mathematics 5(3): 45-56, 07 DOI: 0.389/ujcmj A New Method in the Problem of Three Cubes Armen Avagyan, Gurgen Dallakyan Armenian State Pedagogical University after Khachatur Abovyan, Armenia Copyright c 07 by authors, all rights reserved. Authors agree that this article remains permanently open access under the terms of the Creative Commons Attribution License 4.0 International License Abstract In the current paper we are seeking P (y), P (y), P 3 (y) with the highest possible degree polynomials with integer coefficients, and Q(y) via the lowest possible degree polynomial, such that P 3 (y)+p 3 (y)+p 3 3 (y) = Q(y). Actually, the solution of this problem has close relation with the problem of the sum of three cubes a 3 + b 3 + c 3 = d, since deg Q(y) = 0 case coincides with above mentioned problem. It has been considered estimation of possibility of minimization of deg Q(y). As a conclusion, for specific values of d we survey a new algorithm for finding integer solutions of a 3 + b 3 + c 3 = d. Keywords Diophantine Equation, Sum of Three Cubes, Parametic Solutions 00 MSC Y50, D5, D45 Some facts on the history of the equation a 3 + b 3 + c 3 = d The question as to which integers are expressible as a sum of three integer cubes is over 60 years old. The first known reference to this problem was made by Fermat, who has offered to find the three nonzero integers, so that the sum of their nth powers is equal to zero. This framework of the problem makes the beginning of survey of equation a 3 + b 3 + c 3 = d for many mathematicians. We present some significant result schedule. 85 year S. Ryley in [] gave a parametrization of rational solutions for d Z: x = (9k6 30d k 3 + d 4 )(3k 3 + d ) + 7d 4 k 3 6kd(3k 3 + d ) y = 30d k 3 9k 6 d 4 6kd(3k 3 + d ) z = 8dk5 6d 3 k (3k 3 + d ) 908 year A.S. Werebrusov [] found the following parametric family for d = : (6t 3 + ) 3 (6t 3 ) 3 (6t ) 3 = 936 year Later in [3] Mahler discovered a first parametric solution for d = : (9t 4 ) 3 + (3t 9t 4 ) 3 + ( 9t 3 ) 3 = 94 year Mordell proved in [] that for any other d a parametric solution with rational coefficients must have degree at least year Miller and Woollett [4] discovered explicit representations for 69 values of d between and 00. Their search exhausted the region a, b, c year 963 Gardiner, Lazarus, and Stein [5] looked at the equation x 3 + y 3 = z 3 d in the range 0 x y 6, where 0 z x 6 and 0 d 999. Their search left only 70 values of d between and 000 without a known representation including eight values less than year the first solution for d = 39 was found. Heath-Brown, Lioen, and te Riele [8] determined that 39 = ( 59380) 3 with the rather deep algorithm of Heath-Brown [6]. This algorithm involved searching for

2 46 A New Method in the Problem of Three Cubes k < T , 65, 38, 366, 390, 40, 534, 564, 579, 609, 67, 633, 73, 758, 786, 789, 795, 834, , 903, 906, 9, 948, 975 solutions for a specific value of d using the class number of Q( 3 d) to eliminate values of a, b, c which would not yield a solution. 994 year Koyama [7] used modern computers to expand the search region to a, b, c and successfully found first solutions for 6 integers between 00 and 000 [9]. Also in 994, Conn and Vaserstein [8] chose specific values of d to target, and then used relations implied by each chosen value to limit the number of triples (a, b, c) searched. So doing, they found first representations for 84 and 960. Their paper also lists a solution for each d < 00 for which a representation was known. 995 year Bremner [9] devised an algorithm which uses elliptic curve arguments to narrow the search space. He discovered a solution for 75 (and thus a solution for 600), leaving only five values less than 00 for which no solution was known. Lukes then extended this search method to also find the first representations for each of the values 0, 435, and 478 [0]. 997 year Koyama, Tsuruoka, and Sekigawa [] used a new algorithm to find first solutions for five more values between 00 and 000 as well as independently finding the same solution for 75 that Bremner found. Also in the same paper, the authors discuss the complexity of the above algorithms. 999 year Bernstein [] had implemented the method of Elkies [3] and found solutions for new values of d. Summarizing the above, it can be noted that up to st century only 7 values were left unresolved. These, together with the range of their search, are presented in the table below. Only recently, in 007, Elsenhans and Yahnel [4] found the solutions for the values d = 56, 38, 366, 40, 564, 758, 789, 894, = = = = = = = = = = = = Thus, until 000 there are only the numbers 33, 4, 4, 65, 390, 579, 67, 633, 73, 795, 906, 9, 975 lefts, which have not yet been solved, all the other presentations are posted on the web, in particular, it was made by Sander Huisman [5]. Some known notes about the equation a 3 + b 3 + c 3 = d for specific values of d Consider first the equation This has infinitely many solutions because of the identity a 3 + b 3 + c 3 =. () ( + 9m 3 ) 3 + (9m 4 ) 3 + ( 9m 4 +3m) 3 = () but there are other solutions as well. Are there any other identities that give a different -parameter family of solutions? Is every solution of () a member of a family like this? In general it s known that there is no finite method for determining whether a given Diophantine equation has solutions. However, its an open problem whether if there is a general method for determining if a given Diophantine equation has algebraic solutions, i.e., an algebraic identity like the one above that gives an infinite family of solutions. More specifically, is there a proposition, that only equations of genus < can have an algebraic solution.

3 Universal Journal of Computational Mathematics 5(3): 45-56, n m a b c by It may be worth mentioning that the complete rational-solution of the equation a 3 + b 3 + c 3 = d 3 is known, and is given a = q[ (x 3y)(x + 3y )] b = q[ (x + 3y)(x + 3y )] c = q[(x + 3y ) (x + 3y)] d = q[(x + 3y ) (x 3y)] where q, x, y are any rational numbers. So if we set q equal to the inverse of [(x + 3y ) (x 3y)] we have rational solutions of (). However, the problem of finding the integer-solutions is more difficult. If d is allowed to be any integer (not just ) then Ramanujan gave the integer solutions a = 3n + 5nm 5m, b = 4n 4nm + 6m, c = 5n 5nm 3m, d = 6n 4nm + 4m. This occasionally gives a solution of equation () (with appropriate changes in sign), as in the following cases However, this doesn t cover all of the solutions given by (). By the way, the equation a 3 + b 3 + c 3 = has algebraic solutions [6], other than (). There are known to be infinitely many algebraic solutions, for example ( 9t t t 9 ) 3 + ( 35t t 0 ) 3 +(3t 8t 4 96t t 0 ) 3 = However, it s not known whether every solution of the equation lies in some family of solutions with an algebraic parameterization. Interestingly, note that if you replace by, then again there s a parametric solution: (6t 3 + ) 3 (6t 3 ) 3 (6t ) 3 = (3) but again this doesn t cover all known integer solutions. Note, that precisely one solution is known that is not given by (3) (see [6]): = It s evidently not known up todays if there are any other algebraic solutions besides the one noted above. In general it seems to be a difficult problem to characterize all the solutions of a 3 + b 3 + c 3 = d (4) for some arbitrary integer d >. In particular, the question of whether all integer solutions are given by an algebraic identity seems both difficult and interesting. Note that for d ±4(mod9) there are no solutions since, for any integer a, a 3 0,, (mod9). It is a long standing problem as to whether every rational integer d 4, 5(mod9) can be written as a sum of three integral cubes. According to the web page [] of Daniel Bernstein, the first attacks by computer were carried out as early as 955. Nevertheless, for example, for d = 3, there is still no solution known apart from the obvious ones: (,, ), (4, 4, 5), (4, 5, 4), and ( 5, 4, 4). For d = 30, the first solution was found by N. Elkies and his coworkers in 000 [7]. It is

4 48 A New Method in the Problem of Three Cubes interesting to note that, in 99, D.R. Heath-Brown [6] had made a prediction on the density of the solutions for d = 30 without knowing any solution explicitly. Over the years, a number of algorithms have been developed in order to attack the general problem. An excellent overview concerning the various approaches invented up to around 000 was given in [8], published in 007. The historically first algorithm which has a complexity of O(B +ε ) for a search bound of B is the method of R. Heath-Brown [6]. For d > Kenji Koyama [7] has generated a large table of integer solutions of a 3 + b 3 + c 3 = d for noncubes in the range d 000 and a b c consists of two tables: Table (55 pages) contains the integer solutions, sorted by d, and Table ( pages) lists the number of primitive solutions found for each d in the search range. Consider now some specific: d = m 3, d = m and d = m 9 type values of d. Multiply both sides of (3) by m 9, and apply the change of variable t t/m to obtain the more general solution (6t 3 + m 3 ) 3 (6t 3 m 3 ) 3 (6t ) 3 = m 9 (5) which is primitive for GCD(6t, m) =. If GCD(6t, m) >, then dividing (4) by (GCD(6t 3, m 3 )) 3 gives a primitive solution. For example, for l, k the solutions ( 3t 3 + 3l m 3 ) 3 ( 3t 3 3l m 3 )3 ( l 3mt ) 3 = 9l m 9 (6) ( t k m 3 ) 3 ( t 3 3 3k m 3 ) 3 ( 3 k mt ) 3 = 3 9k 3 m 9 (7) ( t 3 + 3l 3 3 k m 3 ) 3 ( t 3 3l 3 3k m 3 ) 3 ( l 3 k kmt ) 3 = = 9l 3 9k 3 m 9 (8) are primitive for GCD(3t, m) =, GCD(t, 3m) = and GCD(t, 6m) = respectively. Equations (5)-(7) give polynomial families for n =, 8, 458, 65536, 933, , ,... An analogous procedure may be applied to (4) to obtain families of solutions for numbers of the form m. Multiplying both sides by m and applying the transformation t t/m gives (9mt 3 + m 4 ) 3 (9t 4 + 3mt) 3 + (9t 4 ) 3 = m (9) which is primitive for GCD(3t, m) =. In particular, for 3 m and k, (3 k mt k m 4 ) 3 (t k m 3 t) 3 + (t 4 ) 3 = 3 k 6 m (0) is primitive for GCD(t, 3m) =. Equations (8) and (9) give families of solutions for n =, 79, 4096, , 67776, , ,... 3 New method and results In this section a new method and results are surveyed. Here we consider more general framework of the problem of sums of three cubes. We are seeking P (y), P (y), P 3 (y) with the highest possible degree polynomials with integer coefficients and Q(y) with the lowest possible degree polynomial, so that P 3 (y) + P 3 (y) + P 3 3 (y) = Q(y). Actually the solution of this problem has close relation with the above trivial problem, since the case of deg Q(y) = 0 coincides with our problem. Nevertheless the estimation of possibility of minimization of deg Q(y) itself is also an interesting problem. RESULT. The first result of this paper is devoted to the case of degrees (8, 8, 6). We search the desired polynomials within the class of polynomials of the form (ax 8 + bx 5 + cx ) 3 (ax 8 + b x 5 + c x ) 3 (Ax 6 + Bx 3 + C) 3.

5 Universal Journal of Computational Mathematics 5(3): 45-56, First we expand it C 3 3BC x 3 + (c 3 3B C 3AC c 3 )x ( B 3 + 3bc 6ABC 3b c )x ( 3AB + 3b c + 3ac 3A C 3b c 3ac )x + + (b 3 3A B b 3 + 6abc 6ab c )x ( A 3 + 3ab 3ab + 3a c 3a c )x 8 + (3a b 3a b )x. Then we take b = b, c = A3 +3a c 3a, B = Ab 3a, C = A4 aab +6a Ac 9a and obtain the form 3 A 79a 9 + A9 b 43a 8 + A6 b 4 43a 7 + A3 b 6 79a 6 A9 c 8a 7 4A6 b c 8a 6 A3 b 4 c 8a A6 c 7a 5 + 4A3 b c 7a 4 8A3 c 3 7a 3 + ( + A9 b 8a 7 4A6 b 3 8a 6 A3 b 5 8a 5 + 8A6 bc 7a 5 + 8A3 b 3 c 7a 4 8A3 bc 9a 3 ( A 6 b + 7a 5 + A3 b 4 9a 4 + A6 c 9a 4 4A3 b c 9a 3 A3 c ) 3a x ( A 6 b 9a 4 + 4A3 b 3 7a 3 A3 bc 3a ) x 9 Further considerations are devoted to the finding of cases interesting for us. CASE : b = 0. The result has the form A 79a 9 A9 c 8a 7 + 4A6 c 7a 5 8A3 c 3 7a 3 + ( A 6 c 9a 4 A3 c ) 3a x 6 ) x 3 + SUBCASE.: c = 0. The result obtains the form A 79a 9, which is a cube of an integer, so it is primitive (not interesting). SUBCASE.: c = A3 3a, the result is A 79a 9, again primitive. CASE : c = 3A3 +4ab 8a. The result: Factor the last term, then the result obtains the form A3 b a 6 A3 b 5 x 3 ( A 9 79a a 6 A3 b 4 ) 43a 4 x 6 A3 ( 3A 3 + ab )(3A 3 + ab ) 97a 6. We do the substitution a = 3A3 b. Then the result will get the form: 64b A 6 64b5 x A 3 Finally taking x = yb A we obtain the result interesting for us: 648y3. Practical considerations. Now its the time to investigate this result for applications in the solving process of the equation (). Since for max[abs[a, b, c]] 0 4 there are well known tables in [], so we seek solutions of () satisfying the condition max[abs[a, b, c]] 0 5 with possible small values of abs[d] (desirably less than 000). First rewrite the result: (54y ( + 36y y 6 )) 3 (8y ( + 08y y 6 )) 3 ( + 6y y 6 ) 3 = 648y 3

6 50 A New Method in the Problem of Three Cubes Of course, calculations expected to be significantly hard, so we ll use Mathematica.0 code: G8[y ] := /GCD [ (54y ( + 36y y 6 )), (8y ( + 08y y 6 )), ( + 6y y 6 ) ] F8[y ] := G8[y] { (54y ( + 36y y 6 )), (8y ( + 08y y 6 )), ( + 6y y 6 ) } V8[y ] :=G8[y] 3 ( 648y 3 ) For {i = 50, i 50, i + +, If[Abs[V8[i]] < , If[Max[Abs[F8[i]]] > , Print[{i, F8[i], V8[i]}]]]] The result is: {, { , , }, } { 0, { , , }, } { 9, { , , }, 47 39} {9, { , , }, } {0, { , , }, } {, { , , }, } This means that, for example = 4739 RESULT. More enhanced result is obtained for the case (9, 9, 7): Expand[(3( + 0y y y 9 )) 3 (( + 6y y y 9 )) 3 (4y(5 + 34y y 6 )) 3] y 3 G9[y ] := /GCD[(3( + 0y y y 9 )), (( + 6y y y 9 )), (4y(5 + 34y y 6 ))] F9[y ] := G9[y] {(3( + 0y y y 9 )), (( + 6y y y 9 )), (4y(5 + 34y y 6 ))} V9[y ] := G9[y] 3 (8 + 07y 3 ) For {i = 50, i 50, i + +, If[Abs[V9[i]] < , If[Max[Abs[F9[i]]] > , Print[{i, F9[i], V9[i]}]]]] The result is: {, { , , }, } { 0, { , , }, } { 9, { , , }, } { 8, { , , }, } { 7, { , , }, } { 6, { , , }, } { 5, { , , }, } { 4, { , , }, } {4, { , , }, } {5, { , , }, } {6, { , , }, } {7, { , , }, }

7 Universal Journal of Computational Mathematics 5(3): 45-56, 07 5 {8, { , , }, } {9, { , , , 34}, } {0, { , , }, } {, { , , }, } Here the most interesting triple is: = RESULT 3. Consider now the case (5, 5, 8). Through the same way we get: Expand [( 8 y( y3 + 80y y + 768y 8 + 5y 4 ) ) 3 ( 8 y(63 36y3 + 80y y + 768y 8 + 5y 4 ) ) 3 ( 3 (3 + 0y6 + 3y + 3y 8 ) ) 3 ] 8 3y 6 Then we use the code: G5[y ] := /GCD [( 8 y( y3 + 80y y + 768y 8 + 5y 4 ) ) (, 8 y(63 36y3 + 80y y + 768y 8 + 5y 4 ) ) (, 3 (3 + 0y6 + 3y + 3y 8 ) )] F5[y ] := G5[y] {( 8 y( y3 + 80y y + 768y 8 + 5y 4 ) ) ( 8 y(63 36y3 + 80y y + 768y 8 + 5y 4 ) ) (, 3 (3 + 0y6 + 3y + 3y 8 ) )} V5[y ] := G5[y] 3 ( 8 3y 6 ) For {i = 50, i 0, i + +, If[Abs[V5[i]] < , If[Max[Abs[F5[i]]] > , Print[{i, F5[i], V5[i]}]]]] The result is: { 8, { , , }, } { 4, { , , }, } { 0, { , , }, } { 8, { , , }, } { 6, { , , }, } { 4, { , , }, } { 3, { , , }, } {, { , , }, } {, { , , }, } { 0, { , , }, }

8 5 A New Method in the Problem of Three Cubes { 9, { , , }, } { 8, { , , }, } { 7, { , , }, } { 6, { , , }, } RESULT 4. Case (7, 7, 0). Expand[ ( y y y y 7 ) 3 ( y y y y 7 ) 3 (34y ( y y y 8 )) 3] y 6 G7[y ] := /GCD[( y y y y 7 ), ( y y y y 7 ), (34y ( y y y 8 ))] F7[y ] := G7[y] {( y y y y 7 ), ( y y y y 7 ), (34y ( y y y 8 ))} V7[y ] := G7[y] 3 ( y 6 ) For {i =, i 0, i + +, For {j =, j 00, j + +, If[GCD[i, j] ==, If[Abs[V7[i/j]] < , If[Max[Abs[F7[i/j]]] > , Print[{i/j, F7[i/j], V7[i/j]}]]]]]] The result: {, { , , { }, }, { , ,

9 Universal Journal of Computational Mathematics 5(3): 45-56, { 3 { 6 { 3 { 6 { 3 { 39 { 3 3 { }, }, { , , }, }, { , , }, }, { , , }, }, { , , }, }, { , , }, }, { , , }, }, { , , }, }, { , , }, } 4 Summary Denote m = [ max{deg(p ), ] deg(p ), deg(p 3 )}/deg(q), where P 3 (y) + P 3 (y) + P3 3 (y) = Q(y) and n = IntegerPart Max[Abs[a,b,c]], where a 3 + b 3 + c 3 = d as a describers of solution quality. Note that if sup n(d) = +, d then the equation a 3 + b 3 + c 3 = d has infinite set of solutions. We consider the values of m and n for each result. It is clear, that as much greater are n and m as cool is result. Result. We have (54y + 944y y 8 ) 3 (8y + 944y y 8 ) 3 ( + 6y y 6 ) 3 = 648y 3 where m = 8 3. Consider the code: G8[y ] := /GCD [ (54y ( + 36y y 6 )), (8y ( + 08y y 6 )), ( + 6y y 6 ) ] F8[y ] := G8[y] { (54y ( + 36y y 6 )), (8y ( + 08y y 6 )), ( + 6y y 6 ) } V8[y ] :=G8[y] 3 ( 648y 3 ) For {i = 00, i 00, i + +, If[Abs[V8[i]] < 0 000, If[Max[Abs[F8[i]]] > , Print[{i, F8[i], V8[i]}]]]] The result is: {, { , , 47 05}, 583} {, { , , 50 56}, 585} So n = IntegerPart [ ] = 40. Result. We have ( y y y 9 ) 3 ( + 6y y y 9 ) 3 (0y + 96y y 7 ) 3 = y 3 where m = 3. Now consider the code: G9[y ] := /GCD[(3( + 0y y y 9 )), (( + 6y y y 9 )), (4y(5 + 34y y 6 ))]

10 54 A New Method in the Problem of Three Cubes F9[y ] := G9[y] {(3( + 0y y y 9 )), (( + 6y y y 9 )), (4y(5 + 34y y 6 ))} V9[y ] := G9[y] 3 (8 + 07y 3 ) For {i = 50, i 50, i + +, If[Abs[V9[i]] < 0 000, If[Max[Abs[F9[i]]] > , Print[{i, F9[i], V9[i]}]]]] The result is: {, { , , }, 8548} {, { , , 0 43}, 8604} ] = 55. So n = IntegerPart [ noindent Result 3. We have ( ) 3 ( 8 y( y3 + 80y y + 768y 8 + 5y 4 ) 8 y(63 36y3 + 80y 6 + ( ) y + 768y 8 + 5y )) 4 3 (3 + 0y6 + 3y + 3y 8 ) = 8 3y 6 where m = 5 6. Note that here the leading coefficient of Q is significantly small. Consider the code: G5[y ] := /GCD [( 8 y( y3 + 80y y + 768y 8 + 5y 4 ) ) (, 8 y(63 36y3 + 80y y + 768y 8 + 5y 4 ) ), ( 3 (3 + 0y6 + 3y + 3y 8 ) )] F5[y ] := G5[y] {( 8 y( y3 + 80y y + 768y 8 + 5y 4 ) ) ( 8 y(63 36y3 + 80y y + 768y 8 + 5y 4 ) ), ( 3 (3 + 0y6 + 3y + 3y 8 ) )} V5[y ] := G5[y] 3 ( 8 3y 6 ) For {i =, i 50, i + +, If[Abs[V5[i]] < , If[Max[Abs[F5[i]]] > , Print[{i, F5[i], V5[i]}]]]] The result is: {4.{ , , }, 6657} {6, { , , }, } {8, { , , }, } So n = IntegerPart [ ] = Result 4. We have ( y y y y y y 7 ) 3 ( y y y y y y 7 ) 3 (574470y y y y 0 ) 3 = y 6 where m = 9. Consider the code: G7[y ] := /GCD[( y y y y 7 ),

11 Universal Journal of Computational Mathematics 5(3): 45-56, ( y y y y 7 ), (34y ( y y y 8 ))] F7[y ] := G7[y] {( y y y y 7 ), ( y y y y 7 ), (34y ( y y y 8 ))} V7[y ] := G7[y] 3 ( y 6 ) For {i =, i 0, i + +, For {j =, j 00, j + +, If[GCD[i, j] ==, If[Abs[V7[i/j]] < , If[Max[Abs[F7[i/j]]] > , Print[{i/j, F7[i/j], V7[i/j]}]]]]]] The result: {, { , , { }, }, { , , { }, } 3, { , , { }, } 6, { , , { }, } 3, { , { , }, } 6, { , { , }, } 3, { , , { }, } 39, { , { , }, } 3 3, { , , { }, } 3 6, { , , }, } Note, that nevertheless is rather greater than the considered range, however three cubes are essentially big numbers: =

12 56 A New Method in the Problem of Three Cubes So [ ] n = IntegerPart = = Taking in account results obtained we pose the following hypotheses: Hypothesis. If deg(q) = 0, then Q(y) = d 3 or Q(y) = d 3 (d is a constant). Hypothesis. If deg(q) 0, then sup m = +. REFERENCES [] S. Ryley, The Ladies Diary (85), 35. [] L.J. Mordell, On Sums of Three Cubes, Journal of the London Mathematical Society 7 (94), MR (4:89d). [3] Kurt Mahler, Note On Hypothesis K of Hardy and Littlewood, Journal of the London Mathematical Society (936), [4] J.C.P. Miller and M.F.C. Woollett, Solution of the Diophantine Equation x 3 + y 3 + z 3 = k, Journal of the London Mathematical Society 30 (955), 0-0. MR (6:797e). [5] V.L. Gardiner, R.B. Lazarus, and P.R. Stein, Solutions of the Diophantine Equation x 3 + y 3 = z 3 d, Mathematics of Computation 8 (964), MR (3:9). [6] D.R. Heath-Brown, W.M. Lioen, and H.J.J. te Riele, On Solving the Diophantine Equation x 3 + y 3 + z 3 = k on a Vector Computer, Mathematics of Computation 6 (993), MR060 (94f:3). [7] Kenji Koyama, Tables of solutions of the Diophantine equation x 3 + y 3 + z 3 = n, Mathematics of Computation 6 (994), [8] W. Conn and L.N. Vaserstein, On Sums of Three Integral Cubes, Contemporary Mathematics 66 (994), MR84068 (95g:8). [9] Andrew Bremner, On sums of three cubes, Canadian Mathematical Society Conference Proceedings 5 (995), MR35393 (96g:04). [0] Richard F. Lukes, A Very Fast Electronic Number Sieve, University of Manitoba doctoral thesis, 995. [] Kenji Koyama, Yukio Tsuruoka and Hiroshi Sekigawa, On Searching for Solutions of the Diophantine Equation x 3 + y 3 + z 3 = n, Mathematics of Computation 66 (997), MR4094 (97m:04). [] Bernstein, D., Three cubes, available at: [3] Noam Elkies, < elkies@abel.math.harvard.edu > x 3 + y 3 + z 3 = d, 9 July 996, < nmbrthry@listserv.nodak.edu > via [4] [5] Sander G. Huisman, Newer sums of three cubes, archive.org. [6] Payne G., Vaserstein L.N., Sums of three cubes. Pages in The Arithmetic of Function Fields, de Gruyter, 99. [7] Elkies, N. D., Rational points near curves and small nonzero x3 y via lattice reduction, in: Algorithmic number theory (Leiden 000), Lecture Notes in Computer Science 838, Springer, Berlin 000, MR (00g:035). [8] Beck M., Pine E., Tarrant W. and Yarbrough Jensen K.: New integer representations as the sum of three cubes, Math. Comp. 76 (007), MR99795 (007m:70).

Two New Formulas for Generating Infinite Sets of Integer Numbers as a Sum of Two and Three Signed Cubic Numbers

Two New Formulas for Generating Infinite Sets of Integer Numbers as a Sum of Two and Three Signed Cubic Numbers Journal of Mathematics and Statistics 6 (4): 462-467, 2010 ISSN 1549-3644 2010 Science Publications Two New Formulas for Generating Infinite Sets of Integer Numbers as a Sum of Two and Three Signed Cubic

More information

INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES

INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES SZ. TENGELY Abstract. In this paper we provide bounds for the size of the integral points on Hessian curves H d : x 3 + y 3

More information

Arithmetic Progressions Over Quadratic Fields

Arithmetic Progressions Over Quadratic Fields Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

CHMC: Finite Fields 9/23/17

CHMC: Finite Fields 9/23/17 CHMC: Finite Fields 9/23/17 1 Introduction This worksheet is an introduction to the fascinating subject of finite fields. Finite fields have many important applications in coding theory and cryptography,

More information

This theorem allows us to describe all integer solutions as follows:

This theorem allows us to describe all integer solutions as follows: On the Diophantine equation a 3 + b 3 + c 3 + d 3 = 0 by RACHEL GAR-EL and LEONID VASERSTEIN (University Park, PA) Introduction. The equation a 3 + b 3 + c 3 + d 3 = 0 (1) has been studied by many mathematicians

More information

Shi Feng Sheng Danny Wong

Shi Feng Sheng Danny Wong Exhibit C A Proof of the Fermat s Last Theorem Shi Feng Sheng Danny Wong Abstract: Prior to the Diophantine geometry, number theory (or arithmetic) was to study the patterns of the numbers and elementary

More information

A Diophantine System Concerning Sums of Cubes

A Diophantine System Concerning Sums of Cubes 1 2 3 47 6 23 11 Journal of Integer Sequences Vol. 16 (2013) Article 13.7.8 A Diophantine System Concerning Sums of Cubes Zhi Ren Mission San Jose High School 41717 Palm Avenue Fremont CA 94539 USA renzhistc69@163.com

More information

Chapter 3. Vector spaces

Chapter 3. Vector spaces Chapter 3. Vector spaces Lecture notes for MA1111 P. Karageorgis pete@maths.tcd.ie 1/22 Linear combinations Suppose that v 1,v 2,...,v n and v are vectors in R m. Definition 3.1 Linear combination We say

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

More information

Elliptic Curves and Mordell s Theorem

Elliptic Curves and Mordell s Theorem Elliptic Curves and Mordell s Theorem Aurash Vatan, Andrew Yao MIT PRIMES December 16, 2017 Diophantine Equations Definition (Diophantine Equations) Diophantine Equations are polynomials of two or more

More information

1/30: Polynomials over Z/n.

1/30: Polynomials over Z/n. 1/30: Polynomials over Z/n. Last time to establish the existence of primitive roots we rely on the following key lemma: Lemma 6.1. Let s > 0 be an integer with s p 1, then we have #{α Z/pZ α s = 1} = s.

More information

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2 BEGINNING ALGEBRAIC NUMBER THEORY Fermat s Last Theorem is one of the most famous problems in mathematics. Its origin can be traced back to the work of the Greek mathematician Diophantus (third century

More information

On squares in Lucas sequences

On squares in Lucas sequences On squares in Lucas sequences A. Bremner N. Tzanakis July, 2006 Abstract Let P and Q be non-zero integers. The Lucas sequence {U n (P, Q)} is defined by U 0 = 0, U 1 = 1, U n = P U n 1 QU n 2 (n 2). The

More information

Dr. Roy Lisker. An Anthology of Problems in Mathematics

Dr. Roy Lisker. An Anthology of Problems in Mathematics 1 An Anthology of Problems in Mathematics Dr. Roy Lisker 50 Problems at the graduate level in Geometry, Algebra,Analysis Linear Algebra, Logic. Dynamical Systems, Physics,and Number Theory Part II Problems

More information

On the power-free parts of consecutive integers

On the power-free parts of consecutive integers ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the

More information

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the

More information

Exploring Number Theory via Diophantine Equations

Exploring Number Theory via Diophantine Equations Exploring Number Theory via Diophantine Equations Department of Mathematics Colorado College Fall, 2009 Outline Some History Linear Pythagorean Triples Introduction to Continued Fractions Elementary Problems

More information

Introduction Diophantine Equations The ABC conjecture Consequences. The ABC conjecture. Brian Conrad. September 12, 2013

Introduction Diophantine Equations The ABC conjecture Consequences. The ABC conjecture. Brian Conrad. September 12, 2013 The ABC conjecture Brian Conrad September 12, 2013 Introduction The ABC conjecture was made by Masser and Oesterlé in 1985, inspired by work of Szpiro. A proof was announced in Sept. 2012 by Mochizuki.

More information

Math Lecture 18 Notes

Math Lecture 18 Notes Math 1010 - Lecture 18 Notes Dylan Zwick Fall 2009 In our last lecture we talked about how we can add, subtract, and multiply polynomials, and we figured out that, basically, if you can add, subtract,

More information

#A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS. Ajai Choudhry Lucknow, India

#A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS. Ajai Choudhry Lucknow, India #A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS Ajai Choudhry Lucknow, India ajaic203@yahoo.com Received: 3/20/16, Accepted: 10/29/16, Published: 11/11/16 Abstract This paper

More information

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under

More information

CONGRUENT NUMBERS AND ELLIPTIC CURVES

CONGRUENT NUMBERS AND ELLIPTIC CURVES CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving

More information

CLOSED FORM CONTINUED FRACTION EXPANSIONS OF SPECIAL QUADRATIC IRRATIONALS

CLOSED FORM CONTINUED FRACTION EXPANSIONS OF SPECIAL QUADRATIC IRRATIONALS CLOSED FORM CONTINUED FRACTION EXPANSIONS OF SPECIAL QUADRATIC IRRATIONALS DANIEL FISHMAN AND STEVEN J. MILLER ABSTRACT. We derive closed form expressions for the continued fractions of powers of certain

More information

Minal Wankhede Barsagade, Dr. Suchitra Meshram

Minal Wankhede Barsagade, Dr. Suchitra Meshram International Journal of Scientific & Engineering Research, Volume 5, Issue 4, April-2014 467 Overview of History of Elliptic Curves and its use in cryptography Minal Wankhede Barsagade, Dr. Suchitra Meshram

More information

DIOPHANTINE QUADRUPLES IN Z[ 2]

DIOPHANTINE QUADRUPLES IN Z[ 2] An. Şt. Univ. Ovidius Constanţa Vol. 18(1), 2010, 81 98 DIOPHANTINE QUADRUPLES IN Z[ 2] Andrej Dujella, Ivan Soldo Abstract In this paper, we study the existence of Diophantine quadruples with the property

More information

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6 MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,

More information

Introduction to Arithmetic Geometry

Introduction to Arithmetic Geometry Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory

More information

A STUDY ON THE CONCEPT OF DIOPHANTINE EQUATIONS

A STUDY ON THE CONCEPT OF DIOPHANTINE EQUATIONS Airo International Research Journal March, 2014 Volume III, ISSN: 2320-3714 A STUDY ON THE CONCEPT OF DIOPHANTINE EQUATIONS Alham Research Scholar, Himalayan University, Itanagar, Arunachal Pradesh ABSTRACT

More information

Airo International Research Journal September, 2016 Volume VII, ISSN:

Airo International Research Journal September, 2016 Volume VII, ISSN: 1 DIOPHANTINE EQUATIONS AND THEIR SIGNIFICANCE Neelam Rani Asstt. Professor in Department of Mathematics Shri Krishna Institute of Engg, & Technology, Kurukshetra (Haryana) ABSTRACT A Diophantine equation

More information

SQUARES FROM SUMS OF FIXED POWERS. Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada

SQUARES FROM SUMS OF FIXED POWERS. Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada SQUARES FROM SUMS OF FIXED POWERS Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada Abstract. In this paper, we show that if p and q are positive integers,

More information

EXAMPLES OF MORDELL S EQUATION

EXAMPLES OF MORDELL S EQUATION EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural

More information

arxiv: v1 [math.nt] 9 Sep 2017

arxiv: v1 [math.nt] 9 Sep 2017 arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that

More information

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR Elliptic Curves & Number Theory R. Sujatha School of Mathematics TIFR Aim: To explain the connection between a simple ancient problem in number theory and a deep sophisticated conjecture about Elliptic

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer

More information

A QUINTIC DIOPHANTINE EQUATION WITH APPLICATIONS TO TWO DIOPHANTINE SYSTEMS CONCERNING FIFTH POWERS

A QUINTIC DIOPHANTINE EQUATION WITH APPLICATIONS TO TWO DIOPHANTINE SYSTEMS CONCERNING FIFTH POWERS ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 43, Number 6, 2013 A QUINTIC DIOPHANTINE EQUATION WITH APPLICATIONS TO TWO DIOPHANTINE SYSTEMS CONCERNING FIFTH POWERS AJAI CHOUDHRY AND JAROS LAW WRÓBLEWSKI

More information

CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT

CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT MATHEMATICS OF COMPUTATION Volume 66, Number 217, January 1997, Pages 411 415 S 0025-5718(97)00779-5 CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT KOH-ICHI NAGAO Abstract. We

More information

Elliptic Curves Spring 2013 Lecture #12 03/19/2013

Elliptic Curves Spring 2013 Lecture #12 03/19/2013 18.783 Elliptic Curves Spring 2013 Lecture #12 03/19/2013 We now consider our first practical application of elliptic curves: factoring integers. Before presenting the elliptic curve method (ECM) for factoring

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

Introduction: Pythagorean Triplets

Introduction: Pythagorean Triplets Introduction: Pythagorean Triplets On this first day I want to give you an idea of what sorts of things we talk about in number theory. In number theory we want to study the natural numbers, and in particular

More information

AN UPPER BOUND FOR ODD PERFECT NUMBERS. Pace P. Nielsen Department of Mathematics, University of California, Berkeley, CA 94720, U.S.A.

AN UPPER BOUND FOR ODD PERFECT NUMBERS. Pace P. Nielsen Department of Mathematics, University of California, Berkeley, CA 94720, U.S.A. AN UPPER BOUND FOR ODD PERFECT NUMBERS Pace P. Nielsen Department of Mathematics, University of California, Berkeley, CA 94720, U.S.A. pace@math.berkeley.edu Received:1/31/03, Revised: 9/29/03, Accepted:

More information

ON SOLVING THE DIOPHANTINE EQUATION x3 + y3 + z3 = k ON A VECTOR COMPUTER

ON SOLVING THE DIOPHANTINE EQUATION x3 + y3 + z3 = k ON A VECTOR COMPUTER mathematics of computation volume 61, number 203 july 1993, pages 235-244 ON SOLVING THE DIOPHANTINE EQUATION x3 + y3 + z3 = k ON A VECTOR COMPUTER D. R. HEATH-BROWN, W. M. LIOEN, AND H. J. J. TE RIELE

More information

Arithmetic Progressions on Algebraic Curves

Arithmetic Progressions on Algebraic Curves Progressions on Arithmetic Progressions on Algebraic Curves Szabolcs Tengely tengely@science.unideb.hu http://www.math.unideb.hu/~tengely Number Theory and Cryptography Days Selye University Komárno This

More information

DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS

DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be

More information

LEGENDRE S THEOREM, LEGRANGE S DESCENT

LEGENDRE S THEOREM, LEGRANGE S DESCENT LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +

More information

Basic Algebra. Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series

Basic Algebra. Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series Basic Algebra Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series Cornerstones Selected Pages from Chapter I: pp. 1 15 Anthony

More information

Diophantine quadruples and Fibonacci numbers

Diophantine quadruples and Fibonacci numbers Diophantine quadruples and Fibonacci numbers Andrej Dujella Department of Mathematics, University of Zagreb, Croatia Abstract A Diophantine m-tuple is a set of m positive integers with the property that

More information

On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w 2

On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w 2 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.11.5 On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w Alejandra Alvarado Eastern Illinois University Department of Mathematics and

More information

How to Solve Linear Differential Equations

How to Solve Linear Differential Equations How to Solve Linear Differential Equations Definition: Euler Base Atom, Euler Solution Atom Independence of Atoms Construction of the General Solution from a List of Distinct Atoms Euler s Theorems Euler

More information

On Q-derived Polynomials

On Q-derived Polynomials On Q-derived Polynomials R.J. Stroeker Econometric Institute, EUR Report EI 2002-0 Abstract A Q-derived polynomial is a univariate polynomial, defined over the rationals, with the property that its zeros,

More information

From Wikipedia, the free encyclopedia

From Wikipedia, the free encyclopedia 1 of 8 27/03/2013 12:41 Quadratic form From Wikipedia, the free encyclopedia In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. For example, is a quadratic

More information

Some Highlights along a Path to Elliptic Curves

Some Highlights along a Path to Elliptic Curves 11/8/016 Some Highlights along a Path to Elliptic Curves Part : Conic Sections and Rational Points Steven J Wilson, Fall 016 Outline of the Series 1 The World of Algebraic Curves Conic Sections and Rational

More information

The rank of certain subfamilies of the elliptic curve Y 2 = X 3 X + T 2

The rank of certain subfamilies of the elliptic curve Y 2 = X 3 X + T 2 Annales Mathematicae et Informaticae 40 2012) pp. 145 15 http://ami.ektf.hu The rank of certain subfamilies of the elliptic curve Y 2 = X X + T 2 Petra Tadić Institute of Analysis and Computational Number

More information

Chakravala - a modern Indian method. B.Sury

Chakravala - a modern Indian method. B.Sury Chakravala - a modern Indian method BSury Indian Statistical Institute Bangalore, India sury@isibangacin IISER Pune, India Lecture on October 18, 2010 1 Weil Unveiled What would have been Fermat s astonishment

More information

Why is the Riemann Hypothesis Important?

Why is the Riemann Hypothesis Important? Why is the Riemann Hypothesis Important? Keith Conrad University of Connecticut August 11, 2016 1859: Riemann s Address to the Berlin Academy of Sciences The Zeta-function For s C with Re(s) > 1, set ζ(s)

More information

Method of infinite ascent applied on A 3 ± nb 2 = C 3

Method of infinite ascent applied on A 3 ± nb 2 = C 3 Notes on Number Theory and Discrete Mathematics Vol. 19, 2013, No. 2, 10 14 Method of infinite ascent applied on A 3 ± nb 2 = C 3 Susil Kumar Jena 1 Department of Electronics and Telecommunication Engineering

More information

DIOPHANTINE m-tuples FOR LINEAR POLYNOMIALS

DIOPHANTINE m-tuples FOR LINEAR POLYNOMIALS Periodica Mathematica Hungarica Vol. 45 (1 2), 2002, pp. 21 33 DIOPHANTINE m-tuples FOR LINEAR POLYNOMIALS Andrej Dujella (Zagreb), Clemens Fuchs (Graz) and Robert F. Tichy (Graz) [Communicated by: Attila

More information

A Local-Global Principle for Diophantine Equations

A Local-Global Principle for Diophantine Equations A Local-Global Principle for Diophantine Equations (Extended Abstract) Richard J. Lipton and Nisheeth Vishnoi {rjl,nkv}@cc.gatech.edu Georgia Institute of Technology, Atlanta, GA 30332, USA. Abstract.

More information

Diophantine equations for second order recursive sequences of polynomials

Diophantine equations for second order recursive sequences of polynomials Diophantine equations for second order recursive sequences of polynomials Andrej Dujella (Zagreb) and Robert F. Tichy (Graz) Abstract Let B be a nonzero integer. Let define the sequence of polynomials

More information

On a Sequence of Nonsolvable Quintic Polynomials

On a Sequence of Nonsolvable Quintic Polynomials 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University

More information

Fermat s Last Theorem for Regular Primes

Fermat s Last Theorem for Regular Primes Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.

More information

Lecture Notes. Advanced Discrete Structures COT S

Lecture Notes. Advanced Discrete Structures COT S Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-13 Recap Divisibility Prime Number Theorem Euclid s Lemma Fundamental Theorem of Arithmetic Euclidean Algorithm Basic Notions - Section

More information

Square-Triangular Numbers

Square-Triangular Numbers Square-Triangular Numbers Jim Carlson April 26, 2004 Contents 1 Introduction 2 2 Existence 2 3 Finding an equation 3 4 Solutions by brute force 4 5 Speeding things up 5 6 Solutions by algebraic numbers

More information

Equations in Quadratic Form

Equations in Quadratic Form Equations in Quadratic Form MATH 101 College Algebra J. Robert Buchanan Department of Mathematics Summer 2012 Objectives In this lesson we will learn to: make substitutions that allow equations to be written

More information

ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS

ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS L. HAJDU 1, SZ. TENGELY 2 Abstract. In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp

More information

Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective

Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Recall the definition of an affine variety, presented last lesson: Definition Let be a field, and let,. Then the affine variety, denoted

More information

Solving a quartic equation by the method of radicals

Solving a quartic equation by the method of radicals Solving a quartic equation by the method of radicals Peter Haggstrom www.gotohaggstrom.com mathsatbondibeach@gmail.com September 18, 01 1 Introduction This paper deals with the solution of quartic equations

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

More information

Lecture 2. The Euclidean Algorithm and Numbers in Other Bases

Lecture 2. The Euclidean Algorithm and Numbers in Other Bases Lecture 2. The Euclidean Algorithm and Numbers in Other Bases At the end of Lecture 1, we gave formulas for the greatest common divisor GCD (a, b), and the least common multiple LCM (a, b) of two integers

More information

On Diophantine m-tuples and D(n)-sets

On Diophantine m-tuples and D(n)-sets On Diophantine m-tuples and D(n)-sets Nikola Adžaga, Andrej Dujella, Dijana Kreso and Petra Tadić Abstract For a nonzero integer n, a set of distinct nonzero integers {a 1, a 2,..., a m } such that a i

More information

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z: NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two operations defined on them, addition and multiplication,

More information

Rational Points on Conics, and Local-Global Relations in Number Theory

Rational Points on Conics, and Local-Global Relations in Number Theory Rational Points on Conics, and Local-Global Relations in Number Theory Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 26, 2007

More information

Lecture 7.5: Euclidean domains and algebraic integers

Lecture 7.5: Euclidean domains and algebraic integers Lecture 7.5: Euclidean domains and algebraic integers Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley

More information

Chapter 14: Divisibility and factorization

Chapter 14: Divisibility and factorization Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter

More information

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never

More information

LeLing13: Polynomials and complex numbers. Division of polynomials. Euclides s algorithm and multiple roots. R ecommended exercises: Geoling 15.

LeLing13: Polynomials and complex numbers. Division of polynomials. Euclides s algorithm and multiple roots. R ecommended exercises: Geoling 15. LeLing13: Polynomials and complex numbers. C ontents: Polynomials and non-polynomial expressions. The roots of x + 1 = 0: the complex numbers. The inverse 1 and the conjugate. z Roots of polynomials. Conjugate

More information

Solutions to Exercises, Section 2.4

Solutions to Exercises, Section 2.4 Instructor s Solutions Manual, Section 2.4 Exercise 1 Solutions to Exercises, Section 2.4 Suppose p(x) = x 2 + 5x + 2, q(x) = 2x 3 3x + 1, s(x) = 4x 3 2. In Exercises 1 18, write the indicated expression

More information

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. 2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say

More information

ARITHMETIC PROGRESSIONS OF THREE SQUARES

ARITHMETIC PROGRESSIONS OF THREE SQUARES ARITHMETIC PROGRESSIONS OF THREE SQUARES KEITH CONRAD 1 Introduction Here are the first 10 perfect squares (ignoring 0): 1, 4, 9, 16, 25, 36, 49, 64, 81, 100 In this list there is an arithmetic progression:

More information

1 Diophantine quintuple conjecture

1 Diophantine quintuple conjecture Conjectures and results on the size and number of Diophantine tuples Andrej Dujella Department of Mathematics, University of Zagreb Bijenička cesta 30, 10000 Zagreb, CROATIA E-mail: duje@math.hr URL :

More information

ARITHMETIC PROGRESSIONS OF THREE SQUARES

ARITHMETIC PROGRESSIONS OF THREE SQUARES ARITHMETIC PROGRESSIONS OF THREE SQUARES KEITH CONRAD 1. Introduction Here are the first 10 perfect squares (ignoring 0): 1, 4, 9, 16, 25, 36, 49, 64, 81, 100. In this list there is an arithmetic progression:

More information

PELL S EQUATION, II KEITH CONRAD

PELL S EQUATION, II KEITH CONRAD PELL S EQUATION, II KEITH CONRAD 1. Introduction In Part I we met Pell s equation x dy = 1 for nonsquare positive integers d. We stated Lagrange s theorem that every Pell equation has a nontrivial solution

More information

SEARCH FOR GOOD EXAMPLES OF HALL S CONJECTURE. 1. Introduction. x 3 y 2 = k

SEARCH FOR GOOD EXAMPLES OF HALL S CONJECTURE. 1. Introduction. x 3 y 2 = k MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000 000 S 0025-578(XX)0000-0 SEARCH FOR GOOD EXAMPLES OF HALL S CONJECTURE STÅL AANDERAA, LARS KRISTIANSEN, AND HANS KRISTIAN RUUD Abstract. A good

More information

Commutative Rings and Fields

Commutative Rings and Fields Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

More information

Diophantine equations and beyond

Diophantine equations and beyond Diophantine equations and beyond lecture King Faisal prize 2014 Gerd Faltings Max Planck Institute for Mathematics 31.3.2014 G. Faltings (MPIM) Diophantine equations and beyond 31.3.2014 1 / 23 Introduction

More information

Points of Finite Order

Points of Finite Order Points of Finite Order Alex Tao 23 June 2008 1 Points of Order Two and Three If G is a group with respect to multiplication and g is an element of G then the order of g is the minimum positive integer

More information

Proof of Beal s Conjecture

Proof of Beal s Conjecture Proof of Beal s Conjecture Stephen Marshall 26 Feb 14 Abstract: This paper presents a complete and exhaustive proof of the Beal Conjecture. The approach to this proof uses the Fundamental Theorem of Arithmetic

More information

Combinatorial Diophantine Equations

Combinatorial Diophantine Equations Combinatorial Diophantine Equations Szabolcs Tengely Arctic Number Theory School, Helsinki May 21, 2011 Integer sequences Problem: find intersection of integer sequences Some well-known sequences: perfect

More information

Diophantine Equations and Hilbert s Theorem 90

Diophantine Equations and Hilbert s Theorem 90 Diophantine Equations and Hilbert s Theorem 90 By Shin-ichi Katayama Department of Mathematical Sciences, Faculty of Integrated Arts and Sciences The University of Tokushima, Minamijosanjima-cho 1-1, Tokushima

More information

LINEAR RECURSIVE SEQUENCES. The numbers in the sequence are called its terms. The general form of a sequence is

LINEAR RECURSIVE SEQUENCES. The numbers in the sequence are called its terms. The general form of a sequence is LINEAR RECURSIVE SEQUENCES BJORN POONEN 1. Sequences A sequence is an infinite list of numbers, like 1) 1, 2, 4, 8, 16, 32,.... The numbers in the sequence are called its terms. The general form of a sequence

More information

Prime Divisors of Palindromes

Prime Divisors of Palindromes Prime Divisors of Palindromes William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Igor E. Shparlinski Department of Computing, Macquarie University

More information

Addition sequences and numerical evaluation of modular forms

Addition sequences and numerical evaluation of modular forms Addition sequences and numerical evaluation of modular forms Fredrik Johansson (INRIA Bordeaux) Joint work with Andreas Enge (INRIA Bordeaux) William Hart (TU Kaiserslautern) DK Statusseminar in Strobl,

More information

Andrzej Schinzel 80: an outstanding scientific career

Andrzej Schinzel 80: an outstanding scientific career 1 / 18 Andrzej Schinzel 80: an outstanding scientific career Kálmán Győry Short biography 2 / 18 Professor Andrzej Schinzel world-famous number theorist, old friend of Hungarian mathematicians. Born on

More information

Generalized eigenspaces

Generalized eigenspaces Generalized eigenspaces November 30, 2012 Contents 1 Introduction 1 2 Polynomials 2 3 Calculating the characteristic polynomial 5 4 Projections 7 5 Generalized eigenvalues 10 6 Eigenpolynomials 15 1 Introduction

More information

Basic Algorithms in Number Theory

Basic Algorithms in Number Theory Basic Algorithms in Number Theory Algorithmic Complexity... 1 Basic Algorithms in Number Theory Francesco Pappalardi Discrete Logs, Modular Square Roots & Euclidean Algorithm. July 20 th 2010 Basic Algorithms

More information

JUST THE MATHS UNIT NUMBER 1.9. ALGEBRA 9 (The theory of partial fractions) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.9. ALGEBRA 9 (The theory of partial fractions) A.J.Hobson JUST THE MATHS UNIT NUMBER 1. ALGEBRA (The theory of partial fractions) by A.J.Hobson 1..1 Introduction 1..2 Standard types of partial fraction problem 1.. Exercises 1..4 Answers to exercises UNIT 1. -

More information

Diophantine triples in a Lucas-Lehmer sequence

Diophantine triples in a Lucas-Lehmer sequence Annales Mathematicae et Informaticae 49 (01) pp. 5 100 doi: 10.33039/ami.01.0.001 http://ami.uni-eszterhazy.hu Diophantine triples in a Lucas-Lehmer sequence Krisztián Gueth Lorand Eötvös University Savaria

More information

On squares of squares

On squares of squares ACTA ARITHMETICA LXXXVIII.3 (1999) On squares of squares by Andrew Bremner (Tempe, Ariz.) 0. There is a long and intriguing history of the subject of magic squares, squares whose row, column, and diagonal

More information

Explicit solution of a class of quartic Thue equations

Explicit solution of a class of quartic Thue equations ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting

More information

27 Wyner Math 2 Spring 2019

27 Wyner Math 2 Spring 2019 27 Wyner Math 2 Spring 2019 CHAPTER SIX: POLYNOMIALS Review January 25 Test February 8 Thorough understanding and fluency of the concepts and methods in this chapter is a cornerstone to success in the

More information