Rational angle bisectors on the coordinate plane and solutions of Pell's equations

Basic Information

• Paper ID: 2305.01091
• Title: Rational angle bisectors on the coordinate plane and solutions of Pell's equations
• Author: Takashi HIROTSU
• Classification: math.NT (Number Theory)
• Publication Date: December 11, 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2305.01091

Abstract

On the coordinate plane, the slopes $a$ and $b$ of two lines and the slope $c$ of one of their angle bisectors satisfy the equation $(a-c)^2(b^2+1) = (b-c)^2(a^2+1)$. The author recently discovered explicit formulas connecting non-trivial integer solutions of this equation to solutions of negative Pell equations. For a given square-free integer $d > 1$ and a given integer $z > 1$, this paper describes all integer solutions $(x,y)$ to $|x^2-dy^2| = z$ with $\gcd(x, dy) = 1$ using the fundamental unit of $\mathbb{Q}(\sqrt{d})$ and elements in $\mathbb{Z}[\sqrt{d}]$ with norm absolute value equal to the smallest prime power. As an application, the paper also describes all non-trivial rational solutions to the aforementioned equation.

Research Background and Motivation

Core Problem

This paper investigates the rational angle bisector problem: For which rational numbers $a$ and $b$ is the slope of the angle bisector between two lines with slopes $a$ and $b$ also rational?

Significance of the Problem

1. Geometric Construction Significance: When lattice points $O$, $A$, $B$ are given, whether one can construct the angle bisector of $\angle AOB$ by connecting $O$ to other lattice points has important implications for construction techniques.
2. Engineering Application Value: In engineering, integer ratios can be used to specify radiation ranges and optical axes, avoiding errors from irrational approximations.
3. Number-Theoretic Theoretical Value: This problem is closely related to solutions of Pell equations, connecting geometric problems with algebraic number theory.

Limitations of Existing Research

• Although the angle bisector problem can be reduced to solving the equation $(a-c)^2(b^2+1) = (b-c)^2(a^2+1)$, systematic classification and characterization of solutions is lacking.
• Complete descriptions of solutions to the general Pell equation $|x^2-dy^2| = z$ remain imprecise, particularly for strictly primitive solutions.

Core Contributions

1. Established precise connections between the angle bisector problem and Pell equations: Proved that each non-trivial rational solution of the angle bisector equation corresponds to a rational solution of the negative Pell equation $x^2-dy^2 = -1$.
2. Provided complete characterization of strictly primitive solutions to Pell equations: Completely described all integer solutions to $|x^2-dy^2| = z$ with $\gcd(x, dy) = 1$.
3. Provided explicit formulas for rational angle bisectors: Gave complete analytical expressions for both the case $x^2-y^2 = -1$ and the general negative Pell equation.
4. Constructed prime factorization theory: Introduced the set $S(d)$ and related parameters $\xi_p$, establishing deep connections between Pell equation solutions and the arithmetic of quadratic fields.

Detailed Methodology

Task Definition

Input: Slopes $a, b \in \mathbb{Q}$ of two lines
Output: Determine whether the angle bisector slope $c$ is rational, and provide all possible rational angle bisector slopes
Constraints: $|a| \neq |b|$ (non-trivial case)

Core Mathematical Framework

1. Angle Bisector Equation

The angle bisector problem is equivalent to solving: $(a-c)^2(b^2+1) = (b-c)^2(a^2+1) \quad (\star)$

2. Definition of Strictly Primitive Solutions

For an integer solution $(x,y)$ to $|x^2-dy^2| = z$, it is called strictly primitive if and only if $\gcd(x, dy) = 1$.

3. Key Sets and Parameters

• $S(d) = \{p \text{ is prime} \mid |x^2-dy^2| = p^l \text{ has a strictly primitive integer solution for some integer } l > 0\}$
• For each $p \in S(d)$, define $l_p = \min\{l \in \mathbb{Z} \mid |x^2-dy^2| = p^l \text{ has a strictly primitive integer solution}, l > 0\}$
• $\xi_p = x_p + y_p\sqrt{d}$, where $(x_p, y_p)$ is the corresponding fundamental solution

Main Theorems

Theorem 1: Complete Characterization of Pell Equation Solutions

For an integer $z > 1$, the equation $|x^2-dy^2| = z$ has strictly primitive integer solutions if and only if $\text{ord}_p(z) = \begin{cases} l_p n_p & \text{if } p \in S(d) \\ 0 & \text{if } p \notin S(d) \end{cases}$ for some $n_p \in \mathbb{N}$. In this case, the solutions have the form: $x + y\sqrt{d} = \pm\eta^n \prod_{p \in S(d)} \xi_p^{*n_p}$

Theorem 2: Explicit Formulas for Rational Angle Bisectors

Case 1: When $a, b$ are $x$-components of rational solutions to $x^2-y^2 = -1$: $(a, b, c) = \left(\frac{l^2-n^2}{2ln}, \frac{m^2-n^2}{2mn}, \frac{lm-n^2}{(l+m)n}\right)$

Case 2: When $a, b$ are $x$-components of rational solutions to $x^2-dy^2 = -1$: $(a, b, c) = \left(\frac{\alpha+\alpha'}{2}, \frac{\beta+\beta'}{2}, \frac{\alpha\beta-(\alpha\beta)'}{(\alpha+\beta)-(\alpha+\beta)'}\right)$ where $\alpha, \beta \in \mathbb{Q}(\sqrt{d})$ satisfy $N(\alpha) = N(\beta) = -1$.

Technical Innovations

1. Strictly Primitive Concept: Distinguished from traditional primitivity ($\gcd(x,y)=1$), the introduction of strict primitivity ($\gcd(x,dy)=1$) is better suited for handling Pell equations.
2. Prime Factorization Method: Through the introduction of the set $S(d)$, general Pell equation solutions are decomposed into combinations of prime power cases.
3. Application of Quadratic Field Theory: Skillful utilization of the unit group structure of $\mathbb{Q}(\sqrt{d})$ and ideal class group theory.

Experimental Setup

Theoretical Verification

The paper verifies the correctness of theoretical results through multiple concrete examples:

Example 1: Basic Case

• $(a,b,c) = (3/4, 12/5, 9/7)$: Obtained via $(l,m,n) = (2,5,1)$ in formula (1.3)
• $(a,b,c) = (1/7, 23/7, 6/7)$: Corresponds to the case $d=2$

Example 2: Quadratic Field Case

• Case $d = 34$: $\alpha = (5+\sqrt{34})/3$, $\beta = \eta\alpha$, where $\eta = 35+6\sqrt{34}$
• Yields $(a,b,c) = (5/3, 379/3, 32/9)$

Computational Tables

The paper's appendix provides detailed computational data for $d \leq 34$, including:

• Values of fundamental units $\eta$
• Values of $\xi_p$ for each prime $p \leq 97$
• Ideal class numbers $h$

Experimental Results

Main Result Verification

1. Formula Correctness: All provided examples satisfy the angle bisector equation $(\star)$.
2. Completeness: Theorem 3 completely characterizes the existence of strictly primitive solutions.
3. Constructiveness: The formulas in Theorem 2 generate all non-trivial rational solutions.

Theoretical Findings

1. Characterization of $S(d)$:
   • When $d \equiv 1 \pmod{8}$ or satisfies other specific conditions, $S(d)$ consists precisely of all primes that split in $\mathbb{Q}(\sqrt{d})$.
   • When $d \equiv 5 \pmod{8}$ and $\eta \notin \mathbb{Z}[\sqrt{d}]$, $S(d)$ also includes the prime 2.
2. Solution Structure: Each strictly primitive solution can be written as a product of powers of the fundamental unit and elements corresponding to primes.

Related Work

Classical Pell Equation Theory

• Carmichael's Theorem: On multiplicative properties of Pell equation solutions
• Unit Group Theory of Quadratic Fields: The structure $\{\pm\eta^n \mid n \in \mathbb{Z}\}$ of the unit group of $\mathbb{Q}(\sqrt{d})$

Angle Bisector Problem

• Author's Previous Work 5: Established connections between the angle bisector problem and Pell equations
• This Paper: An important extension and refinement of that work

Binary Quadratic Form Theory

• Fermat's Two-Square Theorem: Conditions for primes to be represented as sums of two squares
• Ideal Class Group Theory: Arithmetic structure of quadratic fields

Conclusions and Discussion

Main Conclusions

1. Completely solved the rational angle bisector problem: Provided explicit formulas for all non-trivial rational solutions.
2. Established new theory for Pell equations: Complete characterization of strictly primitive solutions fills a gap in the field.
3. Connected geometry and number theory: Demonstrated deep connections between coordinate geometry problems and algebraic number theory.

Limitations

1. Computational Complexity: For large values of $d$, computing $S(d)$ and related parameters may be complex.
2. Special Cases: Certain residue classes modulo 8 require special treatment.
3. Generalizability: Whether the method can be extended to more general binary quadratic forms remains unclear.

Future Directions

1. Computational Algorithms: Develop efficient algorithms for computing $S(d)$ and $\xi_p$.
2. Generalization Research: Extend the method to higher-degree Pell equations or other binary quadratic forms.
3. Application Exploration: Potential applications in cryptography, coding theory, and other fields.

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete solutions to the problem with rigorous theoretical framework.
2. Methodological Innovation: The concept of strict primitivity and prime factorization method are original.
3. Practical Value: Provides computable explicit formulas.
4. Clear Presentation: Well-defined definitions, detailed proofs, and abundant examples.

Weaknesses

1. Technical Difficulty: Some proofs involve deep algebraic number theory, potentially limiting readership.
2. Missing Complexity Analysis: Algorithm time complexity is not discussed.
3. Limited Application Scope: Primarily theoretical contributions; practical applications require further development.

Impact

1. Theoretical Contribution: Provides new perspectives and tools for Pell equation theory.
2. Cross-disciplinary Value: Connects geometry, algebraic number theory, and computational mathematics.
3. Reproducibility: Provides detailed computational tables and concrete examples.

Applicable Scenarios

1. Number Theory Research: Further research on Pell equations and binary quadratic forms.
2. Computational Geometry: Geometric algorithms requiring rational angle bisectors.
3. Cryptographic Applications: Design of cryptographic systems based on quadratic fields.
4. Educational Use: Excellent example connecting elementary geometry with advanced number theory.

References

The paper cites the following key references:

1. Andreescu & Andrica: Quadratic Diophantine Equations - Classical textbook on Pell equations
2. Conrad: Pell's equation, II - Modern theory of Pell equation solutions
3. Author's Previous Work: Diophantine equation related to angle bisectors
4. Mollin: Quadratics - Standard reference on quadratic field theory

Overall Assessment: This is a high-quality number theory paper that completely solves the rational angle bisector problem, which has intuitive geometric appeal. The paper makes significant theoretical contributions with innovative methods, providing new tools and perspectives for Pell equation theory. Although technically demanding, its unique value in connecting geometry and number theory makes it an important contribution to the field.