2025-11-10T03:07:12.132652

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

Hirotsu

On the coordinate plane, the slopes $a$ and $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 nontrivial 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$ and $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 nontrivial rational solution of the above equation as one of its applications.

academic

座標平面上の有理角二等分線とペル方程式の解

基本情報

論文ID: 2305.01091
タイトル: Rational angle bisectors on the coordinate plane and solutions of Pell's equations
著者: Takashi HIROTSU
分類: math.NT（数論）
発表日: 2024年12月11日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2305.01091

要旨

座標平面上において、2本の直線の傾き $a$ と $b$ およびそれらの1つの角二等分線の傾き $c$ は方程式 $(a-c)^2(b^2+1) = (b-c)^2(a^2+1)$ を満たす。著者は最近、この方程式の非自明な整数解と負ペル方程式の解の間の明示的公式を発見した。本論文では、与えられた無平方因子整数 $d > 1$ と与えられた整数 $z > 1$ に対して、 $\mathbb{Q}(\sqrt{d})$ の基本単位と $\mathbb{Z}[\sqrt{d}]$ における絶対値が最小素数冪のノルムを持つ元を用いて、 $|x^2-dy^2| = z$ のすべての $x$ と $dy$ が互いに素である整数解 $(x,y)$ を記述する。応用として、上記方程式のすべての非自明な有理解も記述する。

研究背景と動機

核心問題

本論文は有理角二等分線問題を研究する：有理数 $a$ と $b$ に対して、傾きが $a$ と $b$ である2本の直線の間の角二等分線の傾きが有理数となるのはどのような場合か？

問題の重要性

幾何学的作図の意義：格子点 $O$ 、 $A$ 、 $B$ が与えられたとき、 $O$ と他の格子点を結ぶことで $\angle AOB$ の角二等分線を作図できるかどうかは、作図技術において重要な意義を持つ
工学的応用価値：工学において整数比を用いて放射範囲と光軸を指定でき、無理数近似による誤差を回避できる
数論的理論価値：この問題はペル方程式の解と密接に関連しており、幾何学的問題と代数的数論を結びつける

既存研究の限界

角二等分線問題は方程式 $(a-c)^2(b^2+1) = (b-c)^2(a^2+1)$ の求解に帰着できるが、解の体系的な分類と特性付けが不足している
一般的なペル方程式 $|x^2-dy^2| = z$ の解の完全な記述、特に厳密本原解の特性付けはまだ十分ではない

核心的貢献

角二等分線問題とペル方程式の正確な関係を確立：角二等分線方程式のすべての非自明な有理解が負ペル方程式 $x^2-dy^2 = -1$ の有理解に対応することを証明した
ペル方程式の厳密本原解の完全な特性付けを提供： $|x^2-dy^2| = z$ に対して、 $x$ と $dy$ が互いに素であるすべての整数解を完全に記述した
有理角二等分線の明示的公式を提供： $x^2-y^2 = -1$ と一般的な負ペル方程式の場合の完全な解析表現を与えた
素数分解理論を構築：集合 $S(d)$ と関連パラメータ $\xi_p$ を導入し、ペル方程式の解と二次体の算術の深い関係を確立した

方法の詳細

タスク定義

入力：2本の直線の傾き $a, b \in \mathbb{Q}$
出力：角二等分線の傾き $c$ が有理数であるかを判定し、すべての可能な有理角二等分線の傾きを与える
制約： $|a| \neq |b|$ （非自明な場合）

核心的数学的枠組み

1. 角二等分線方程式

角二等分線問題は以下の方程式の求解と等価である： $(a-c)^2(b^2+1) = (b-c)^2(a^2+1) \quad (\star)$

2. 厳密本原解の定義

方程式 $|x^2-dy^2| = z$ の整数解 $(x,y)$ に対して、 $\gcd(x, dy) = 1$ を満たすとき、これを厳密本原的と呼ぶ。

3. 主要な集合とパラメータ

$S(d) = \{p\text{は素数} | |x^2-dy^2| = p^l \text{がある整数}l > 0\text{に対して厳密本原整数解を持つ}\}$
各 $p \in S(d)$ に対して、 $l_p = \min\{l \in \mathbb{Z} | |x^2-dy^2| = p^l \text{が厳密本原整数解を持つ}, l > 0\}$ と定義
$\xi_p = x_p + y_p\sqrt{d}$ 。ここで $(x_p, y_p)$ は対応する基本解

主要定理

定理1：ペル方程式解の完全な特性付け

整数 $z > 1$ に対して、 $|x^2-dy^2| = z$ が厳密本原整数解を持つ必要十分条件は $\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}$ がある $n_p \in \mathbb{N}$ に対して成立することである。このとき解の形は： $x + y\sqrt{d} = \pm\eta^n \prod_{p \in S(d)} \xi_p^{*n_p}$

定理2：有理角二等分線の明示的公式

場合1： $a, b$ が $x^2-y^2 = -1$ の有理解の $x$ 成分である場合： $(a, b, c) = \left(\frac{l^2-n^2}{2ln}, \frac{m^2-n^2}{2mn}, \frac{lm-n^2}{(l+m)n}\right)$

場合2： $a, b$ が $x^2-dy^2 = -1$ の有理解の $x$ 成分である場合： $(a, b, c) = \left(\frac{\alpha+\alpha'}{2}, \frac{\beta+\beta'}{2}, \frac{\alpha\beta-(\alpha\beta)'}{(\alpha+\beta)-(\alpha+\beta)'}\right)$ ここで $\alpha, \beta \in \mathbb{Q}(\sqrt{d})$ は $N(\alpha) = N(\beta) = -1$ を満たす。

技術的な革新点

厳密本原性の概念：従来の本原性（ $\gcd(x,y)=1$ ）と異なり、 $\gcd(x,dy)=1$ の厳密本原性を導入し、ペル方程式の処理により適している
素数分解法： $S(d)$ 集合の導入を通じて、一般的なペル方程式の解を素数冪の場合の組み合わせに分解する
二次体理論の応用： $\mathbb{Q}(\sqrt{d})$ の単位群の構造と理想類群理論を巧みに利用する

実験設定

理論検証

論文は複数の具体例を通じて理論結果の正確性を検証している：

例1：基本的な場合

$(a,b,c) = (3/4, 12/5, 9/7)$ ：公式(1.3)で $(l,m,n) = (2,5,1)$ を通じて得られる
$(a,b,c) = (1/7, 23/7, 6/7)$ ： $d=2$ の場合に対応

例2：二次体の場合

$d = 34$ の場合： $\alpha = (5+\sqrt{34})/3$ 、 $\beta = \eta\alpha$ 。ここで $\eta = 35+6\sqrt{34}$
$(a,b,c) = (5/3, 379/3, 32/9)$ を得る

計算表

論文の付録は $d \leq 34$ の場合の詳細な計算データを提供し、以下を含む：

基本単位 $\eta$ の値
各素数 $p \leq 97$ に対応する $\xi_p$ の値
理想類数 $h$

実験結果

主要結果の検証

公式の正確性：与えられたすべての例は角二等分線方程式 $(\star)$ を満たす
完全性：定理3で与えられた条件は厳密本原解の存在性を完全に特性付ける
構成性：定理2の公式はすべての非自明な有理解を生成できる

理論的発見

$S(d)$ の特性付け：
- $d \equiv 1 \pmod{8}$ または他の特定の条件を満たすとき、 $S(d)$ は $\mathbb{Q}(\sqrt{d})$ で分裂するすべての素数である
- $d \equiv 5 \pmod{8}$ かつ $\eta \notin \mathbb{Z}[\sqrt{d}]$ のとき、 $S(d)$ は素数2も含む
解の構造：各厳密本原解は基本単位の冪と素数対応元素の積の形で表現できる