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

Takashi Hirotsu
2023-12-26
Abstract:On the coordinate plane, the slopes $a,$ $b$ of two straight 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).$ Recently, an explicit formula for non-trivial integral solutions of this equation with solutions of negative Pell's equations was discovered by the author. In this article, for a given square-free integer $d > 1$ and a given integer $z > 1,$ we describe every integral solution $(x,y)$ of $|x^2-dy^2| = z$ such that $x,$ $dy$ are coprime by using the fundamental unit of $\mathbb Q(\sqrt d)$ and elements of $\mathbb Z[\sqrt d]$ whose absolute value of norms are the smallest prime powers. We also describe every non-trivial rational solution of the above equation as one of its applications.
Number Theory
What problem does this paper attempt to address?
The paper primarily addresses number theory problems related to the slope of the angle bisector, specifically: 1. **The problem of the slope of the angle bisector**: For given slopes \(a\) and \(b\) of two lines, when is the slope of their angle bisector also a rational number? This problem can be reduced to solving the equation \((a-c)^2(b^2+1) = (b-c)^2(a^2+1)\) for rational solutions. 2. **Solutions to the Pell equation**: The paper further explores the existence and properties of strict primitive solutions related to the Pell equation \(x^2 - dy^2 = z\). Specifically, for a given square-free integer \(d > 1\) and a positive integer \(z > 1\), it describes all primitive solutions \((x, y)\) of the form \(|x^2 - dy^2| = z\), where \(x\) and \(dy\) are coprime. 3. **Formulas for non-trivial rational solutions**: The paper provides explicit expressions for all non-trivial rational solutions of the above equations. These expressions depend on the fundamental units in the quadratic field \(Q(\sqrt{d})\) and the prime power elements with the smallest absolute value in \(Z[\sqrt{d}]\). Through the study of these problems, the paper offers an in-depth theoretical analysis of rational solutions for the slope of the angle bisector and related Pell equation solutions.