A form of refined Roth's theorem and its application to the $abc$-conjecture

Pei-Chu Hu,Bao Qin Li
2024-07-26
Abstract:In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.
Number Theory,Complex Variables
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve Roth's theorem and apply it to the proof of the abc conjecture. Specifically, the author proposes a more refined form of Roth's theorem and uses this result to prove a special case of the abc conjecture. ### Overview of the Main Problems 1. **Improving Roth's Theorem**: - Roth's theorem is a classical result regarding the approximation of algebraic numbers. It states that algebraic numbers cannot be approximated by rational numbers with arbitrarily high precision. - This paper presents a refined form of Roth's theorem, aiming to provide stronger results or broader applications. 2. **Applying to the abc Conjecture**: - The abc conjecture is an important unsolved problem, involving the properties of three relatively prime integers a, b, and c (satisfying a + b = c). - In this paper, through the improved Roth's theorem, a special case of the abc conjecture is proved, that is, when one of the numbers a, b, c has only prime factors with power 1, a specific inequality relationship can be obtained. ### Specific Contents - **Introduction Part**: Relevant symbols and concepts such as absolute value, valuation function, height function, etc. are introduced, and the form of the classical Roth's theorem is reviewed. - **Main Theorems**: - **Theorem 1.4**: For an algebraic integer x, except for a finite number of exceptions, the following inequality is satisfied: \[ (q - 1)h(x)\leq\sum_{j = 1}^{q}N(x,a_j)+O(1) \] - **Theorem 1.5**: For a simple number x (i.e., all negative - power ideals are - 1), except for a finite number of exceptions, the following inequality is satisfied: \[ h(x)\leq N(x,\infty)+N(x,a_1)+N(x,a_2)+O(1) \] - **Applying to the abc Conjecture**: - **Theorem 1.6**: For non - zero relatively prime integers a, b, c (satisfying a + b = c), if one of the numbers has only prime factors with power 1, then: \[ \max\{|a|,|b|,|c|\}\leq C\cdot r(abc) \] where \(r(abc)\) is the radical of abc, that is, the product of all different prime factors of abc. ### Summary The main contribution of this paper lies in successfully proving a special case of the abc conjecture by improving Roth's theorem. This not only deepens the understanding of these two important mathematical problems but also provides new tools and methods for further research.