ISSN(Print): 2327-6126
ISSN(Online): 2327-6150

Article Versions

Export Article

Cite this article

- Normal Style
- MLA Style
- APA Style
- Chicago Style

Research Article

Open Access Peer-reviewed

Nguyen Thanh Quang^{ }, Phan Duc Tuan

Received November 06, 2019; Revised December 26, 2019; Accepted December 30, 2019

In order to apply the role of the analogues between integers and polynomials, in this paper we introduce a unified diagram to the Fermat's theorem, Mason's theorem, Davenport's theorem and some arithmetic conjectures. Further, we show some applications of this diagram in teaching and researching on arithmetic. By using this elementary method in number theory, we obtained some results for polynomials and holomorphic functions in case complex and *p*-adic.

It is a fact frequently remarked upon that integers and polynomials share a number of characteristics, we can list some of the following similarities between integers and polynomials.

1) For integers, we have prime numbers and for polynomials, we have irreducible polynomials.

2) For two integers, as for two polynomials, we can to define the greatest common divisor. Moreover, in both cases, the greatest common divisor is found by the Euclidean algorithm.

3) The absolute value of an integer is an analogue to the degree of a polynomial.

4) The rational numbers are analogues to the rational functions (the quotient of two polynomials).

5) There are two similar versions between theorems of remainder division on integers and on polynomials.

6) The number of distinct prime divisors of an integer is an analogue to the number of linear divisors of a polynomial on the field of complex numbers.

We can continue to extend the list of the analogs through some other concepts, properties and results of integers and polynomials.

On the role of the analogues between integers and polynomials in arithmetic studies, we can say that development of arithmetic, especially in recent decades, is greatly influenced by the analogues between integers and polynomials. In other words, when there is an open question for integers, we try to prove the same results for polynomials. That is often easier to do, perhaps because for the polynomial have a derivative, while a similar concept does not exist for integers.

By using the analogues between integers and polynomials, when studying the Fermat’s equation, Mason proved a very nice theorem for polynomials. From this theorem, we obtain an analogue of the Fermat's last theorem for polynomials on the field of complex number fields. Furthermore, Mason's theorem has suggested of the conjecture. It is very interesting that from the conjecture, there are many well-known arithmetic conjectures can be deduced. Thus, the conjecture became a central problem of arithmetic in the twenty-first century.

The analogues between integers and polynomials continue to be extended for polynomials of sevaral variables or holomorphic functions in complex case. By using this method, N. T. Quang, P. D. Tuan (see ^{ 1, 2, 3, 4, 5}) and C. Toropu (see ^{ 6, 7}) have also obtained some results on polynomials and *p*-adic entire functions of several variables.

In order to apply the important role of the analogues between integers and polynomials on the teaching and researching of arithmetic, this paper introduces a unified arithmetic diagram to Fermat's theorem, Mason’s theorem and Davenport’s theorem with some arithmetic conjectures.

**2.1.1. Definition. **Recall that** **the *radical* of the nonzero integer is the product of the distinct prime number that divide that is,

**2.1.2.**** ****Definition*** . *Let

where the leading coefficient and The *radical of** **the polynomial * is defined by

The complex zero set of the complex polynomial is a finite set

Let denote the number of distinct zeros of that is The degree of the radical of is the number of distinct zeros of that is

This is an important Diophantine inequality for polynomials on the field of complex numbers.

**2.1.3. Mason’s theorem**** **(see ^{ 8})** **If are nonzero, relative prime polynomials, not all constant, and if then

*where ** denotes the number of distinct zeros of the polynomial *

The following arithmetic conjecture, by Marshall Hall in 1971, when he studied Diophantine equations , where is a given integer.

**2.2.1. Hall’s conjecture.** *There is a positive constant** **C** **such that for any integers** ** **and** ** **for which** *

In 1965, Davenport ^{ 9} proved an analogue of the above conjecture in the case of polynomials. This is a direct consequence of Mason's theorem.

**2.2.2. Davenport’s theorem**** **(^{ 9})**.** *Let ** and ** be nonconstant, relatively prime polynomials. Then *

*Proof. *We apply Mason’s theorem with Then

It follows that

Similarly, we have

From two inequalities, we obtain

Davenport's theorem is proved.

By using Mason's theorem, we find many other versions of Davenport's theorem.

**2.2.3. Generalized Davenport’s theorem.*** Let ** **be relatively prime non-constant polynomials** and let ** be any positive integers. Then*

*Proof.* We apply Mason’s theorem with Then

It follows that

(1) |

Multiply the inequality (1) by (*m* – 1) we have

(2) |

We have

(3) |

From (2) and (3) we have

(4) |

From (4) we obtain the generalized Davenport’s inequality:

The Fermat last theorem states that, for the Fermat’s equation has no solution in positive integers. The Fermat’s equation has solutions in complex polynomials for , for example:

We shall use Mason’s theorem to prove Fermat’s last theorem for complex polynomials.

**2.2.4. Theorem**** **(see [^{ 10}, pp. 183])* If ** then Fermat’s equation ** has no solution in nonzero, relatively prime polynomials, not all constant*.

*Proof.* Let , and suppose that are nonzero, relatively prime polynomials, not all constants, such that We apply Mason’s theorem with Then

Since we obtain

It follows that

This is impossible. The Fermat's last theorem for polynomials has been proved.

**2.2.5. Theorem.** *The generalized Fermat’s equation ** has no solution in nonconstant, relatively prime polynomials if *

where are positive integers.

*Proof.* Let* * and suppose that are nonconstant, relatively prime polynomials such that By using the Mason’s theorem with we have

Since we obtain

It follows that

This is impossible. The Fermat's generalized theorem for polynomials has been proved.

If in the ring of integers we have a theorem that says that the equation has no solution in positive integers, then in the complex polynomial ring we have the following result.

**2.2.6. Theorem****. ***The equation ** has **no solution **in nonzero, relatively prime polynomials, not all constant.*

*Proof. *We suppose that are nonzero, relatively prime polynomials, not all constant, such that We apply Mason’s theorem with Then

It follows that

(5) |

(6) |

(7) |

From (7) we have

(8) |

From inequalities (5) and (6), we obtain

(9) |

From (8) and (9), it follows that . We have a contradiction.

While the Catalan equation currently has not been solved for integers, but the corresponding polynomial equation was had the following answer by using the Mason's theorem.

**2.2.7. Theorem**** **^{ 11}**. ***The equation ** **has no solution in non-constant polynomials ** and integers ** **and *

*Proof. *Let be relatively prime polynomials, not all constant, such that By using Mason’s theorem with we have:

From there we have

(10) |

(11) |

From inequalities (10) and (11), we obtain:

(12) |

Since and the inequality (12) is impossible. We have a contradiction.

When studying a problem for integers, we often study its analogues on the function fields for polynomials and rational functions. The role of this analogues is not merely to convert objects from integers into polynomials or vice versa, but it also gives us a studying methodology in number theory. Numerical conversion thinking can be applied to studies of polynomials with tools such as derivatives, solutions, multiple solutions, degree, greatest common divisor, factor analysis. In contrast, from the results of polynomials we apply on integers by the similarly techniques.

From Mason's theorem by converting polynomial to integer, the *abc* conjecture was independently formulated by David Masser and Joseph Oesterle in 1986.

**2.3.1. The**** ****abc**** ****Conjecture** (see** **[^{ 10}, pp. 185]) For every there exists a number such that, if and are nonzero, relative prime integers and then

The *abc* conjecture has a large number of consequences. To prove or disprove this conjecture is an important unsolved problem in number theory. Here are some examples.

*The Fermat’s last theorem* states that, for , the Fermat equation has no solution in positive integers. If conjecture were true, it would imply Fermat’s last theorem for sufficiently large powers. Goldfeld (1996) described the *abc* conjecture as "the most important unsolved problem in Diophantine analysis".

**2.3****.****2****. ****Asymptotic Fermat’s ****Theorem**** **(see [^{ 10}, pp. 185])** **The *abc* conjecture implies that there exists an integer such that the Fermat’s equation has no solution in relatively prime integers for any exponent .

*Proof**.* Let be relatively prime positive integers such that We note that

If then . Applying the *abc* conjecture with and we obtain

So

Thus, for any exponent the Fermat’s equation has no solution in relatively prime integers. This completes the proof.

The Catalan conjecture assert that the only solution of the equation in integers all greater than 1 is

Now, we consider the Catalan equation only for

**2.3****.****3****. ****Asymptotic Catalan theorem**** **(see [^{ 10}, pp. 186])** ***The ** conjecture implies that the Catalan** **equation has **only finitely many solutions.*

*Proof**.* Let be a solution of the Catalan equation with Then and are relatively prime. It follow from the conjecture with that there exists a constant such that

We have

It follows that

(13) |

So

Since and , we have

Thus, there are only finitely many pairs of exponents for which the Catalan equation is solvable. For fixed exponents and inequality (13) has only finitely many solutions in positive integers and This completes the proof.

Thus, from a basic problem of arithmetic is the problem of solving Diophantine equations, we have a unified arithmetic diagram (see diagram below). This diagram established a relationship between Fermat's last theorem, asymptotic Fermat's theorem, Mason's theorem, Davenport's theorem with the Hall conjecture and the conjecture.

Through the above analysis, we confirm that arithmetic has many different fields but they are united in a perfect whole. This unity is a way for much hope to conquer the heights of mathematics.

The beauty of mathematics is the unity. This makes arithmetic become closer. As a result, our learning and teaching on arithmetic are becoming more interesting and effective.

[1] | Nguyen Thanh Quang and Phan Duc Tuan (2007), A note on Browkin-Brzezinski’s Conjecture, Int. J. Contemp. Math. Sciences, Vol. 2, pp. 1335-1340. | ||

In article | View Article | ||

[2] | Nguyen Thanh Quang and Phan Duc Tuan (2008), An Extension of Davenport's Theorem for Functions of Several Variables, International Journal of Algebra, Vol. 2, No. 10, pp. 469-475. | ||

In article | |||

[3] | Nguyen Thanh Quang and Phan Duc Tuan (2008), A generalization of the abc Conjecture over Function Fields, Journal of Analysis and Applications, Vol. 6, pp. 69-76. | ||

In article | |||

[4] | Phan Duc Tuan, Nguyen Thanh Quang (2016), Picard values and uniqueness p-adic meromorphic functions, Acta Mathematica Vietnammica, Vol. 41, No.4, pp. 563-582. | ||

In article | View Article | ||

[5] | Phan Duc Tuan, Nguyen Thanh Quang (2016), Differential polynomials and value-sharing, Annales Univ. Sci. Budapest., 45, pp. 23-44. | ||

In article | |||

[6] | William Cherry and Cristina Toropu (2009), Generalized abc theorems for non-Archimedean entire functions of several variables in arbitrary characteristic, Acta Arithmetica, Vol. 136, No. 4, pp. 351-384. | ||

In article | View Article | ||

[7] | Cristina Toropu (2014), abc theorems in functional case, Dissertation of Philosophy Doctor on Mathematics, The University of New Mexico. | ||

In article | |||

[8] | Mason, R. C. (1984), Diophantine Equations over Function Fields, Cambridge University Press. | ||

In article | View Article | ||

[9] | H. Davenport (1965), On Norske Vid. Selsk. Forrh. 38, pp. 86-87. | ||

In article | |||

[10] | Melvyn B. Nathanson (2000), Elementary Methods in Number Theory, Springer. | ||

In article | |||

[11] | Melvyn B. Nathanson (1974), Catalan’s equation in Amer. Math. Monthly, Vol. 81, pp. 371-373. | ||

In article | View Article | ||

Published with license by Science and Education Publishing, Copyright © 2019 Nguyen Thanh Quang and Phan Duc Tuan

This work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Nguyen Thanh Quang, Phan Duc Tuan. An Elementary Method in Number Theory. *American Journal of Educational Research*. Vol. 7, No. 12, 2019, pp 989-993. http://pubs.sciepub.com/education/7/12/14

Quang, Nguyen Thanh, and Phan Duc Tuan. "An Elementary Method in Number Theory." *American Journal of Educational Research* 7.12 (2019): 989-993.

Quang, N. T. , & Tuan, P. D. (2019). An Elementary Method in Number Theory. *American Journal of Educational Research*, *7*(12), 989-993.

Quang, Nguyen Thanh, and Phan Duc Tuan. "An Elementary Method in Number Theory." *American Journal of Educational Research* 7, no. 12 (2019): 989-993.

Share

[1] | Nguyen Thanh Quang and Phan Duc Tuan (2007), A note on Browkin-Brzezinski’s Conjecture, Int. J. Contemp. Math. Sciences, Vol. 2, pp. 1335-1340. | ||

In article | View Article | ||

[2] | Nguyen Thanh Quang and Phan Duc Tuan (2008), An Extension of Davenport's Theorem for Functions of Several Variables, International Journal of Algebra, Vol. 2, No. 10, pp. 469-475. | ||

In article | |||

[3] | Nguyen Thanh Quang and Phan Duc Tuan (2008), A generalization of the abc Conjecture over Function Fields, Journal of Analysis and Applications, Vol. 6, pp. 69-76. | ||

In article | |||

[4] | Phan Duc Tuan, Nguyen Thanh Quang (2016), Picard values and uniqueness p-adic meromorphic functions, Acta Mathematica Vietnammica, Vol. 41, No.4, pp. 563-582. | ||

In article | View Article | ||

[5] | Phan Duc Tuan, Nguyen Thanh Quang (2016), Differential polynomials and value-sharing, Annales Univ. Sci. Budapest., 45, pp. 23-44. | ||

In article | |||

[6] | William Cherry and Cristina Toropu (2009), Generalized abc theorems for non-Archimedean entire functions of several variables in arbitrary characteristic, Acta Arithmetica, Vol. 136, No. 4, pp. 351-384. | ||

In article | View Article | ||

[7] | Cristina Toropu (2014), abc theorems in functional case, Dissertation of Philosophy Doctor on Mathematics, The University of New Mexico. | ||

In article | |||

[8] | Mason, R. C. (1984), Diophantine Equations over Function Fields, Cambridge University Press. | ||

In article | View Article | ||

[9] | H. Davenport (1965), On Norske Vid. Selsk. Forrh. 38, pp. 86-87. | ||

In article | |||

[10] | Melvyn B. Nathanson (2000), Elementary Methods in Number Theory, Springer. | ||

In article | |||

[11] | Melvyn B. Nathanson (1974), Catalan’s equation in Amer. Math. Monthly, Vol. 81, pp. 371-373. | ||

In article | View Article | ||