ペル方程式

ペル方程式の最新ニュースをまとめて検索！

ペル方程式（ぺるほうていしき、Pell's equation）とは平方数ではない自然数nに対して、下記の方程式の整数解を求める問題である。

$x^2 - n y^2 = 1\,$

「整数解」「有理数解」という条件を付けて解く方程式を一般にディオファントス方程式と呼ぶ。ペル方程式はディオファントス方程式の一種である。

ペル方程式の一般的な解法は西洋ではウィリアム・ブランカーが発見した。しかし、オイラーはこの方程式を研究したのはジョン・ペルであると誤解し「ペル方程式」と命名したため、その名前が広く使われるようになった。

平方数でない正の整数nに対してペル方程式は必ず自明な解(x=1, y=0)以外の整数解を持つことが知られている。また1つの解(x, y)を得たとすれば、

$x_k + y_k\sqrt{n} = (x + y\sqrt{n})^k\,$

は全てペル方程式の解になる。また逆にペル方程式の全ての解は最小解の冪乗になることが知られている。

例えばnが5ならば、 $(x, y) = (9,4)$ が最小解である。nが61の場合は $(x, y) = (1766319049,226153980)$ が最小解である。

解の公式から

$\alpha=x+y\sqrt{n}, \beta=x-y\sqrt{n}$

とおくと、

$x_k=(\alpha^k+\beta^k)/2, y_k=(\alpha^k-\beta^k)/(2\sqrt{n})$

が得られる。つまり、ペル方程式の解に対して、 y_k / y , 2 x_k はリュカ数列を構成する。

[編集] 拡張

冒頭の不定方程式の右辺を1のかわりに-1としたもの

$x^2 - n y^2 = -1\,$

もペル方程式とよばれることがあるが、これは n の値によっては解を持たないこともある。

また、右辺を1の代わりに4としたもの

$x^2 - n y^2 = \pm 4\,$

もペル方程式とよばれることがあるが、これは二次体の単数と深く関連している。 K を二次体とし、 D をその判別式とすると、

$x^2 - Dy^2 = \pm 4\,$

の整数解に対して

$(x+y\sqrt{D})/2$

全体は K の単数全体と一致する。特に最小解を( x ₁, y ₁)とおくと、

$\alpha=(x_1+y_1\sqrt{D})/2, \beta=(x_1-y_1\sqrt{D})/2$

は K の基本単数となり、この方程式の解について、通常のペル方程式の場合と類似した公式

$\frac{x_k + y_k\sqrt{D}}{2} = (\frac{x_1 + y_1\sqrt{D}}{2})^k\,$

が得られる。

最終更新 2009年11月15日 (日) 18:22 （日時は個人設定で未設定ならばUTC）。
【ペル方程式】変更履歴