ペル方程式

...(ＰＣ版)メニューに戻る
*** 科目 ***
数Ⅰ・Ａ数Ⅱ・Ｂ数Ⅲ 高卒・大学初年度
*** 単元 ***
数と式不等式二次関数二次不等式三角比三角比と図形集合・命題・証明順列・組合せ確率整数の性質

※高校数学Aの「整数の性質…２進法，Ｎ進法」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください．　が現在地です．

↓最大公約数,最小公倍数,互除法
↓１次不定方程式の整数解
↓センター試験.整数問題
↓ペル方程式

↓２進法,16進法,ｎ進法⇔10進法
↓２進数の演算

↓N進法
↓N進数の演算
↓N進法の小数

↓試験問題(素数,剰余類)

↓3n+1問題(コラッツ予想)
↓フェルマー予想,オイラー予想
連続整数の積

== ペル方程式 ==

x2−Dy2=1　（Dは平方数でない正の整数）

の形の不定方程式をペル方程式という．（右辺の定数が−1や±4となっているものもあるが，この教材では右辺の定数が1の場合だけを扱う）

　高校の教科書には通常，ペル方程式は登場しませんが，ペル方程式には多くの題材が含まれており，大学入試問題にはよく出題されています．
　以下の教材では，ペル方程式の専門的な議論はしません．
　この教材は，ペル方程式を題材にしながらも，高校で学ぶ２次関数，数学的帰納法，背理法，漸化式などを使いこなす練習を行うことを主なねらいとしています．

図１

○1　双曲線の方程式について簡単に振り返っておくと

\frac{x^{2}}{a^{2}} - \frac{y^{2}}{b^{2}} = 1

のグラフは

y = \pm \frac{b}{a} x

を漸近線とする双曲線を表します．
　x2−Dy2=1では，

a = 1, b = \frac{1}{\sqrt{D}}

になっています．

○2　この方程式を満たす点(x, y)については，xの代わりに−xを，yの代わりに−yを代入しても成り立つから，グラフはx軸に対してもy軸に対しても，原点に対しても対称になっています．
以下においては，x≧0, y≧0の部分だけを考えます．

図２

○3　ペル方程式ではx, yの整数解を調べますが，Dが平方数，例えばD=1の場合
　右図で赤で示したように漸近線が格子点（x, yとも整数となる点）を無限個通る(*1)代わりに，双曲線はx軸上の自明解（x=1, y=0）以外には格子点を１つも通りません(*2)．

図３

　これとは逆に，本来のペル方程式でDが平方数でない正の整数，例えばD=2, 3, 5, ...の場合
　漸近線の傾きが無理数になり，漸近線は原点以外の格子点を１つも通らない(*3)代わりに，双曲線が格子点を無限個通り(*4)ます．

（上記の*1～*4の説明）
(*1)　上の図で赤丸で示したように，(n, n)（n=1,2,3,...）となる点を無限個通ることは明らか．

(*2)
ア）　x座標が整数であるとき，y座標が整数にはならないことを示すには，上の図で赤丸のy座標が整数であるのに対して，緑で示した棒の長さが常に１よりも小さくなることを言えばよい．（n−1<y<nの区間には整数はない）
x=n（nは１よりも大きな整数）のとき，赤丸で示した漸近線上の点のy座標をy1，双曲線上の点をy2とすると，緑で示した棒の長さは
y1−y2

= n - \sqrt{n^{2} - 1} = \frac{n^{2} - (n^{2} - 1)}{n + \sqrt{n^{2} - 1}} = \frac{1}{n + \sqrt{n^{2} - 1}}

ここでn>1だから

\sqrt{n^{2} - 1} > 0

n + \sqrt{n^{2} - 1} > 1

\frac{1}{n + \sqrt{n^{2} - 1}} < 1

が示される．
イ）　y座標が整数であるとき，x座標が整数にはならないことを示してもよいが，これは例えば次のように証明できる．

x^{2} - y^{2} = 1 (x > 0, y > 0)

のとき

y < x = \sqrt{y^{2} + 1} < y + 1

となり
隣り合う２つの整数y, y+1の間に整数はないから，xは整数ではない．

(*3)　例えば，双曲線x2−2y2=1（

a = 1, b = \frac{1}{\sqrt{2}}

）の漸近線の方程式は

y = \pm \frac{1}{\sqrt{2}} x

になるが，この漸近線が格子点(x, y)を通ると仮定すると

\frac{y}{x} = \pm \frac{1}{\sqrt{2}}

となり，右辺が無理数，左辺が有理数となって矛盾．
以上により，ペル方程式を表す双曲線の漸近線は原点以外の格子点を１つも通らないことが言えます．

(*4)　この内容は以下に少しずつ示します．

【簡単なチェック１】
　Dが平方数，例えばD=4の場合
x2−4y2=1（x>0, y>0）について
漸近線は格子点（x, yとも整数となる点）を無限個通り，双曲線は格子点を１つも通らないことを示してください．

参考答案を見る

(1)　双曲線

\frac{x^{2}}{a^{2}} - \frac{y^{2}}{b^{2}} = 1

の漸近線の方程式は

y = \pm \frac{b}{a} x

になる．この問題では，

\frac{x^{2}}{1^{2}} - \frac{y^{2}}{(\frac{1}{2})^{2}} = 1

と書けるから

a = 1, b = \frac{1}{2} (a, b > 0)

第１象限（x>0, y>0）を通る漸近線の方程式は

y = \frac{1}{2} x

x=2n（n=1, 2, 3, ...）のとき，y=nとなるから，無限個の格子点(2n, n)を通る．
(2)

2 y < x = \sqrt{(2 y)^{2} + 1} < \sqrt{(2 y)^{2} + 4 y + 1} = 2 y + 1

だから，yが整数ならばxは整数にならない．したがって，双曲線は格子点を通らない．

【簡単なチェック２】
　Dが平方数でない正の整数，例えばD=3の場合
x2−3y2=1（x>0, y>0）について
漸近線は格子点（x, yとも整数となる点）を１つも通らないことを示してください．

参考答案を見る

\frac{x^{2}}{1^{2}} - \frac{y^{2}}{(\frac{1}{\sqrt{3}})^{2}} = 1

と書けるから

a = 1, b = \frac{1}{\sqrt{3}} = \frac{\sqrt{3}}{3} (a, b > 0)

第１象限（x>0, y>0）を通る漸近線の方程式は

y = \frac{\sqrt{3}}{3} x

この漸近線が格子点(x, y)（x, yは整数）を通ると仮定すると

\frac{3 y}{x} = \sqrt{3}

が成り立つことになり，左辺は有理数，右辺は無理数であるから矛盾．したがって，漸近線は格子点を通らない．

〇　D=2となるペル方程式を題材として，いろいろな特徴を調べてみる．
（数学的帰納法とペル方程式）

【例題１】
　

(3 + 2 \sqrt{2})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{2}

の係数を

y_{n}

で表すものとする．すなわち

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

とするとき，

(x_{n}, y_{n})

はすべてペル方程式

x^{2} - 2 y^{2} = 1

の解になることを示してください．

（解答）
数学的帰納法によって示す．
（Ⅰ）　n=0のとき

(3 + 2 \sqrt{2})^{0} = 1 = x_{0} + \sqrt{2} y_{0}

となるから，

x_{0} = 1, y_{0} = 0

このとき，

x_{0}^{2} - 2 y_{0}^{2} = 1 - 0 = 1

が成り立つ．

（Ⅱ）　n=k（k≧0）のとき

(3 + 2 \sqrt{2})^{k} = x_{k} + \sqrt{2} y_{k}

となる

x_{k}, y_{k}

について

x_{k}^{2} - 2 y_{k}^{2} = 1

…(*)
が成り立つと仮定する．

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n}

で定義されているから

(3 + 2 \sqrt{2})^{k + 1} = x_{k + 1} + \sqrt{2} y_{k + 1}

であり

(3 + 2 \sqrt{2})^{k + 1} = (x_{k} + \sqrt{2} y_{k})^{k} (3 + 2 \sqrt{2})

= (x_{k} + \sqrt{2} y_{k}) (3 + 2 \sqrt{2})

= (3 x_{k} + 4 y_{k}) + \sqrt{2} (2 x_{k} + 3 y_{k})

したがって

x_{k + 1} = 3 x_{k} + 4 y_{k}

y_{k + 1} = 2 x_{k} + 3 y_{k}

このとき

x_{k + 1}^{2} - 2 y_{k + 1}^{2}

= (3 x_{k} + 4 y_{k}) - 2 (2 x_{k} + 3 y_{k})

= (9 x_{k}^{2} + 24 x_{k} y_{k} + 16 y_{k}^{2})

- 2 (4 x_{k}^{2} + 12 x_{k} y_{k} + 9 y_{k}^{2})

= x_{k}^{2} - 2 y_{k}^{2} = 1

が成立する．
したがって，(*)はn=k+1のときも成立する．

以上の（Ⅰ）（Ⅱ）により，すべての整数n≧0について

x_{n}^{2} - 2 y_{n}^{2} = 1

が成立する．

【問題１】
　

(2 + \sqrt{3})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{3}

の係数を

y_{n}

で表すものとする．すなわち

(2 + \sqrt{3})^{n} = x_{n} + \sqrt{3} y_{n} (n = 0, 1, 2, 3, . . .)

とするとき，

(x_{n}, y_{n})

はすべてペル方程式

x^{2} - 3 y^{2} = 1

の解になることを示してください．

参考答案を見る

数学的帰納法によって示す．
（Ⅰ）　n=0のとき

(2 + \sqrt{3})^{0} = 1 = x_{0} + \sqrt{3} y_{0}

となるから，

x_{0} = 1, y_{0} = 0

このとき，

x_{0}^{2} - 3 y_{0}^{2} = 1 - 0 = 1

が成り立つ．

（Ⅱ）　n=k（k≧0）のとき

(2 + \sqrt{3})^{k} = x_{k} + \sqrt{3} y_{k}

となる

x_{k}, y_{k}

について

x_{k}^{2} - 3 y_{k}^{2} = 1

…(*)
が成り立つと仮定する．

(2 + \sqrt{3})^{n} = x_{n} + \sqrt{3} y_{n}

で定義されているから

(2 + \sqrt{3})^{k + 1} = x_{k + 1} + \sqrt{3} y_{k + 1}

であり

(2 + \sqrt{3})^{k + 1} = (x_{k} + \sqrt{3} y_{k})^{k} (2 + \sqrt{3})

= (x_{k} + \sqrt{3} y_{k}) (2 + \sqrt{3})

= (2 x_{k} + 3 y_{k}) + \sqrt{3} (x_{k} + 2 y_{k})

したがって

x_{k + 1} = 2 x_{k} + 3 y_{k}

y_{k + 1} = x_{k} + 2 y_{k}

このとき

x_{k + 1}^{2} - 3 y_{k + 1}^{2}

= (2 x_{k} + 3 y_{k})^{2} - 3 (x_{k} + 2 y_{k})^{2}

= (4 x_{k}^{2} + 12 x_{k} y_{k} + 9 y_{k}^{2})

- 3 (x_{k}^{2} + 4 x_{k} y_{k} + 4 y_{k}^{2})

= x_{k}^{2} - 3 y_{k}^{2} = 1

が成立する．
したがって，(*)はn=k+1のときも成立する．

以上の（Ⅰ）（Ⅱ）により，すべての整数n≧0について

x_{n}^{2} - 3 y_{n}^{2} = 1

が成立する．

（２次無理数と数学的帰納法）

a, b, m

を有理数とするとき

a + b \sqrt{m}

（

\sqrt{m}

は無理数）
の形の数を２次無理数という．この形の数は有理係数の２次方程式の無理数解となっている．
　以下の教材ではm, nを正の整数，Dを平方数でない正の整数として

m + n \sqrt{D}

の形の２次無理数を扱う．
　例えば，

x = 3 + \sqrt{2}

は，２次方程式

(x - 3)^{2} = 2

x^{2} - 6 x + 7 = 0

の１つの解となっており，対となるもう１つの解は

x = 3 - \sqrt{2}

である．

【例題２】
　

(3 + 2 \sqrt{2})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{2}

の係数を

y_{n}

で表すものとする．すなわち

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

…(1)
とするとき，

(3 - 2 \sqrt{2})^{n}

を展開したときの整数の部分は

x_{n}

，

\sqrt{2}

の係数は

- y_{n}

に等しい，すなわち

(3 - 2 \sqrt{2})^{n} = x_{n} - \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

…(2)
となることを証明してください．
　（(1)を

x_{n}, y_{n}

の定義として，(2)を証明してください．）

（解答）
数学的帰納法によって示す．
（Ⅰ）　n=0のとき

(3 + 2 \sqrt{2})^{0} = 1 = x_{0} + \sqrt{2} y_{0}

となるから，

x_{0} = 1, y_{0} = 0

このとき，

(3 - 2 \sqrt{2})^{0} = x_{0} - \sqrt{2} y_{0} = 1

が成り立つ．

（Ⅱ）　n=k（k≧0）のとき

(3 + 2 \sqrt{2})^{k} = x_{k} + \sqrt{2} y_{k}

となる

x_{k}, y_{k}

について

(3 - 2 \sqrt{2})^{k} = x_{k} - \sqrt{2} y_{k}

が成り立つと仮定する．

このとき

(3 + 2 \sqrt{2})^{k + 1} = x_{k + 1} + \sqrt{2} y_{k + 1}

となる

x_{k + 1}, y_{k + 1}

について

(3 + 2 \sqrt{2})^{k + 1} = (3 + 2 \sqrt{2})^{k} (3 + 2 \sqrt{2})

= (x_{k} + \sqrt{2} y_{k}) (3 + 2 \sqrt{2})

= (3 x_{k} + 4 y_{k}) + (2 x_{k} + 3 y_{k}) \sqrt{2}

すなわち

x_{k + 1} = 3 x_{k} + 4 y_{k}

y_{k + 1} = 2 x_{k} + 3 y_{k}

となる．
このとき

(3 - 2 \sqrt{2})^{k + 1} = (3 - 2 \sqrt{2})^{k} (3 - 2 \sqrt{2})

= (x_{k} - \sqrt{2} y_{k}) (3 - 2 \sqrt{2})

= (3 x_{k} + 4 y_{k}) - (2 x_{k} + 3 y_{k}) \sqrt{2}

= x_{k + 1} - \sqrt{2} y_{k + 1}

が成立する．
したがって，(*)はn=k+1のときも成立する．

以上の（Ⅰ）（Ⅱ）により，すべての整数n≧0について

(3 - 2 \sqrt{2})^{n} = x_{n} - \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

が成立する．

【問題２】
　

(2 + \sqrt{3})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{3}

の係数を

y_{n}

で表すものとする．すなわち

(2 + \sqrt{3})^{n} = x_{n} + \sqrt{3} y_{n} (n = 0, 1, 2, 3, . . .)

…(1)
とするとき，

(2 - \sqrt{3})^{n}

を展開したときの整数の部分は

x_{n}

，

\sqrt{3}

の係数は

- y_{n}

に等しい，すなわち

(2 - \sqrt{3})^{n} = x_{n} - \sqrt{3} y_{n} (n = 0, 1, 2, 3, . . .)

…(2)
となることを証明してください．
　（(1)を

x_{n}, y_{n}

の定義として，(2)を証明してください．）

参考答案を見る

数学的帰納法によって示す．
（Ⅰ）　n=0のとき

(2 + \sqrt{3})^{0} = 1 = x_{0} + \sqrt{3} y_{0}

となるから，

x_{0} = 1, y_{0} = 0

このとき，

(2 - \sqrt{3})^{0} = x_{0} - \sqrt{3} y_{0} = 1

が成り立つ．

（Ⅱ）　n=k（k≧0）のとき

(2 + \sqrt{3})^{k} = x_{k} + \sqrt{3} y_{k}

となる

x_{k}, y_{k}

について

(2 - \sqrt{3})^{k} = x_{k} - \sqrt{3} y_{k}

が成り立つと仮定する．

このとき

(2 + \sqrt{3})^{k + 1} = x_{k + 1} + \sqrt{3} y_{k + 1}

となる

x_{k + 1}, y_{k + 1}

について

(2 + \sqrt{3})^{k + 1} = (2 + \sqrt{3})^{k} (2 + \sqrt{3})

= (x_{k} + \sqrt{3} y_{k}) (2 + \sqrt{3})

= (2 x_{k} + 3 y_{k}) + (x_{k} + 2 y_{k}) \sqrt{3}

すなわち

x_{k + 1} = 2 x_{k} + 3 y_{k}

y_{k + 1} = x_{k} + 2 y_{k}

となる．
このとき

(2 - \sqrt{3})^{k + 1} = (2 - \sqrt{3})^{k} (2 - \sqrt{3})

= (x_{k} - \sqrt{3} y_{k}) (2 - \sqrt{3})

= (2 x_{k} + 3 y_{k}) - (x_{k} + 2 y_{k}) \sqrt{3}

= x_{k + 1} - \sqrt{3} y_{k + 1}

が成立する．
したがって，(*)はn=k+1のときも成立する．

以上の（Ⅰ）（Ⅱ）により，すべての整数n≧0について

(2 - \sqrt{3})^{n} = x_{n} - \sqrt{3} y_{n} (n = 0, 1, 2, 3, . . .)

が成立する．

（ペル方程式と２次無理数）

【例題３】
　

(3 + 2 \sqrt{2})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{2}

の係数を

y_{n}

で表すものとする．すなわち

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

とするとき，【例題１】の結果を利用して

(x_{n}, y_{n})

がペル方程式

x^{2} - 2 y^{2} = 1

の解になることを使って，

(3 - 2 \sqrt{2})^{n} = x_{n} - \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

が成り立つことを証明してください．

（解答）

(3 - 2 \sqrt{2}) (3 + 2 \sqrt{2}) = 9 - 8 = 1

(3 - 2 \sqrt{2})^{n} (3 + 2 \sqrt{2})^{n} = 1

(3 - 2 \sqrt{2})^{n} = \frac{1}{(3 + 2 \sqrt{2})^{n}}

ここで【例題１】の結果を利用すると

(3 - 2 \sqrt{2})^{n} = \frac{1}{x_{n} + \sqrt{2} y_{n}}

= \frac{x_{n} - \sqrt{2} y_{n}}{x_{n}^{2} - 2 y_{n}^{2}}

= x_{n} - \sqrt{2} y_{n}

【問題３】
　

(9 + 4 \sqrt{5})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{5}

の係数を

y_{n}

で表すものとする．すなわち

(9 + 4 \sqrt{5})^{n} = x_{n} + \sqrt{5} y_{n} (n = 0, 1, 2, 3, . . .)

…(1)
とするとき，

(9 - 4 \sqrt{5})^{n} = x_{n} - \sqrt{5} y_{n} (n = 0, 1, 2, 3, . . .)

…(2)
となることを証明し，それらを利用して

(x_{n}, y_{n})

がペル方程式

x^{2} - 5 y^{2} = 1

の解になることを証明してください．

参考答案を見る

前半の証明は問題２と同様にしてできるから，ここでは省略する．
後半の証明は例題３の逆になっていることに注意

x_{n} + \sqrt{5} y_{n} = (9 + 4 \sqrt{5})^{n}

x_{n} - \sqrt{5} y_{n} = (9 - 4 \sqrt{5})^{n}

の辺々を掛けると

x_{n}^{2} - 5 y_{n}^{2} = (9^{2} - 16 \times 5)^{n} = 1

が成立する．

（数列の一般項）

【例題４】
　

(3 + 2 \sqrt{2})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{2}

の係数を

y_{n}

で表すものとする．すなわち

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

を満たすとき，【例題３】の結果を利用して，数列

x_{n}

，

y_{n}

の一般項をnで表す式を作ってください．

（解答）

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n}

…(1)

2 x_{n} = (3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}

…(2)
(1)+(2)

(3 - 2 \sqrt{2})^{n} = x_{n} - \sqrt{2} y_{n}

x_{n} = \frac{(3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}}{2}

…(3)
(1)−(2)

2 \sqrt{2} y_{n} = (3 + 2 \sqrt{2})^{n} - (3 - 2 \sqrt{2})^{n}

y_{n} = \frac{(3 + 2 \sqrt{2})^{n} - (3 - 2 \sqrt{2})^{n}}{2 \sqrt{2}}

…(4)

（参考）
(3)(4)式の見かけは複雑そうな根号計算となっていますが，実際にはすべてのｎ≧0 に対して整数になります．

n	0	1	2	3	4	5	6	7
xn	1	3	17	99	577	3363	19601	114243
yn	0	2	12	70	408	2378	13860	80782

（参考）
　ペル方程式を

x_{n}^{2} - 2 y_{n}^{2} = 1

2 y_{n}^{2} = x_{n}^{2} - 1

2 = \frac{x_{n}^{2} - 1}{y_{n}^{2}}

\sqrt{2} = \frac{x_{n}}{y_{n}} \sqrt{1 - \frac{1}{x_{n}^{2}}}

のように変形すると

\sqrt{1 - \frac{1}{x_{n}^{2}}}

は急速に１に収束することから，

\sqrt{2}

の近似値として

\frac{x_{n}}{y_{n}}

の値を利用することができる．
　実際，

\sqrt{2} = 1.414213562373095 . . .

に対して

\frac{x_{4}}{y_{4}} = 1.414215686274509 . . .

\frac{x_{5}}{y_{5}} = 1.414213624894869 . . .

\frac{x_{6}}{y_{6}} = 1.414213564213564 . . .

\frac{x_{7}}{y_{7}} = 1.414213562427273 . . .

という数字が得られる．

【問題４】
　

(5 + 2 \sqrt{6})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{6}

の係数を

y_{n}

で表すものとする．すなわち

(5 + 2 \sqrt{6})^{n} = x_{n} + \sqrt{6} y_{n} (n = 0, 1, 2, 3, . . .)

を満たすとき，

(5 - 2 \sqrt{6})^{n} = x_{n} - \sqrt{6} y_{n} (n = 0, 1, 2, 3, . . .)

が成り立つことは証明なしで使ってよいものとする．
　これらを利用して，数列

x_{n}

，

y_{n}

の一般項をnで表す式を作ってください．

参考答案を見る

(5 + 2 \sqrt{6})^{n} = x_{n} + \sqrt{6} y_{n}

…(1)

(5 - 2 \sqrt{6})^{n} = x_{n} - \sqrt{6} y_{n}

…(2)
(1)+(2)

2 x_{n} = (5 + 2 \sqrt{6})^{n} + (5 - 2 \sqrt{6})^{n}

x_{n} = \frac{(5 + 2 \sqrt{6})^{n} + (5 - 2 \sqrt{6})^{n}}{2}

…（答）
(1)−(2)

2 \sqrt{6} y_{n} = (5 + 2 \sqrt{6})^{n} - (5 - 2 \sqrt{6})^{n}

y_{n} = \frac{(5 + 2 \sqrt{6})^{n} - (5 - 2 \sqrt{6})^{n}}{2 \sqrt{6}}

…（答）
（参考）
この形の２次無理数は，ペル方程式
x2−6y2=1
の解になっており，(x, y)の値を幾つか示すと
(1, 0), (5, 2), (49, 20), (485, 198), (4801, 1960), ...となります．

（連立漸化式）

【例題５】
　

(3 + 2 \sqrt{2})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{2}

の係数を

y_{n}

で表すものとする．すなわち

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

を満たすとき，数列

x_{n}

，

y_{n}

が次の漸化式を満たすことを示してください．

x_{n + 1} = 3 x_{n} + 4 y_{n}

…(5)

y_{n + 1} = 2 x_{n} + 3 y_{n}

さらに，次の漸化式を満たすことを示してください．

x_{n + 1} + \sqrt{2} y_{n + 1} = (3 + 2 \sqrt{2}) (x_{n} + \sqrt{2} y_{n})

…(6)

x_{n + 1} - \sqrt{2} y_{n + 1} = (3 - 2 \sqrt{2}) (x_{n} - \sqrt{2} y_{n})

（解答）

x_{n + 1} + \sqrt{2} y_{n + 1} = (3 + 2 \sqrt{2})^{n} (3 + 2 \sqrt{2})

= (x_{n} + \sqrt{2} y_{n}) (3 + 2 \sqrt{2})

= (3 x_{n} + 4 y_{n}) + \sqrt{2} (2 x_{n} + 3 y_{n})

だから

x_{n + 1} = 3 x_{n} + 4 y_{n}

y_{n + 1} = 2 x_{n} + 3 y_{n}

が成り立ちます．
この結果を使うと，さらに

x_{n + 1} + \sqrt{2} y_{n + 1} = (3 x_{n} + 4 y_{n}) + \sqrt{2} (2 x_{n} + 3 y_{n})

= (3 + 2 \sqrt{2}) x_{n} + (4 + 3 \sqrt{2}) y_{n}

= (3 + 2 \sqrt{2}) x_{n} + \sqrt{2} (2 \sqrt{2} + 3) y_{n}

= (3 + 2 \sqrt{2}) (x_{n} + \sqrt{2} y_{n})

同様にして

x_{n + 1} - \sqrt{2} y_{n + 1} = (3 - 2 \sqrt{2}) (x_{n} - \sqrt{2} y_{n})

も示せます．

(5)式は

(\begin{matrix} x_{n + 1} \\ y_{n + 1} \end{matrix}) = (\begin{matrix} 3 & 4 \\ 2 & 3 \end{matrix}) (\begin{matrix} x_{n} \\ y_{n} \end{matrix})

と書くことができ

(\begin{matrix} x_{n} \\ y_{n} \end{matrix}) = {(\begin{matrix} 3 & 4 \\ 2 & 3 \end{matrix})}^{n - 1} (\begin{matrix} x_{1} \\ y_{1} \end{matrix})

もしくは自明解

(x_{0}, y_{0}) = (1, 0)

を用いて

(\begin{matrix} x_{n} \\ y_{n} \end{matrix}) = {(\begin{matrix} 3 & 4 \\ 2 & 3 \end{matrix})}^{n} (\begin{matrix} x_{0} \\ y_{0} \end{matrix})

と書けることになります．これにより各々の解

(x_{n}, y_{n})

は自明解から順次求められることになります．

　逆に

(\begin{matrix} x_{n} \\ y_{n} \end{matrix}) = {(\begin{matrix} 3 & 4 \\ 2 & 3 \end{matrix})}^{- 1} (\begin{matrix} x_{n + 1} \\ y_{n + 1} \end{matrix})

と書き直すと

(\begin{matrix} x_{0} \\ y_{0} \end{matrix}) = ({(\begin{matrix} 3 & 4 \\ 2 & 3 \end{matrix})}^{- 1})^{n} (\begin{matrix} x_{n} \\ y_{n} \end{matrix})

となって，各々の解から逆順にたどっていくと自明解に行き着くことが分かります．

(6)の２つの式をかけ合わせて見ると

(x_{n + 1} + \sqrt{2} y_{n + 1}) (x_{n + 1} - \sqrt{2} y_{n + 1})

= (3 + 2 \sqrt{2}) (x_{n} + \sqrt{2} y_{n}) (3 - 2 \sqrt{2}) (x_{n} - \sqrt{2} y_{n})

x_{n + 1}^{2} - 2 y_{n + 1}^{2} = (9 - 8) (x_{n}^{2} - 2 y_{n}^{2}))

x_{n + 1}^{2} - 2 y_{n + 1}^{2} = x_{n}^{2} - 2 y_{n}^{2}

が得られます．これにより

x_{n + 1}^{2} - 2 y_{n + 1}^{2} = x_{n}^{2} - 2 y_{n}^{2}

\dots = x_{1}^{2} - 2 y_{1}^{2} = x_{0}^{2} - 2 y_{0}^{2} = 1

となって，各々の解

(x_{n}, y_{n})

がペル方程式を満たしていることを直接的に示すことができます．

【問題５】
　

(8 + 3 \sqrt{7})^{n}

を展開したときの整数の部分を

x_{n}

，

\sqrt{7}

の係数を

y_{n}

で表すものとする．すなわち

(8 + 3 \sqrt{7})^{n} = x_{n} + \sqrt{7} y_{n} (n = 0, 1, 2, 3, . . .)

を満たすとき，数列

x_{n}

，

y_{n}

が次の漸化式を満たすことを示してください．

x_{n + 1} = 8 x_{n} + 7 \times 3 y_{n}

…(5)

y_{n + 1} = 3 x_{n} + 8 y_{n}

　一般に，a, bを正の整数，Dを平方数でない正の整数とするとき，

(a + b \sqrt{D})^{n} = x_{n} + \sqrt{D} y_{n} (n = 0, 1, 2, 3, . . .)

を満たす整数の数列

x_{n}

，

y_{n}

は次の漸化式を満たすことを示してください．

x_{n + 1} = a x_{n} + D b y_{n}

…(5)

y_{n + 1} = b x_{n} + a y_{n}

（解答）

x_{n + 1} + \sqrt{7} y_{n + 1} = (8 + 3 \sqrt{7})^{n} (8 + 3 \sqrt{7})

= (x_{n} \sqrt{7} y_{n}) (8 + 3 \sqrt{7})

= (8 x_{n} + 3 \times 7 y_{n}) + \sqrt{7} (3 x_{n} + 8 y_{n})

だから

x_{n + 1} = 8 x_{n} + 3 \times 7 y_{n}

y_{n + 1} = 3 x_{n} + 8 y_{n}

が成り立ちます．
同様にして

(a + b \sqrt{D})^{n + 1} = (a + b \sqrt{D})^{n} (a + b \sqrt{D})

= (x_{n} + \sqrt{D} y_{n}) (a + b \sqrt{D})

= (a x_{n} + D b y_{n}) + \sqrt{D} (b x_{n} + a y_{n})

だから

x_{n + 1} = a x_{n} + D b y_{n}

y_{n + 1} = b x_{n} + a y_{n}

が成り立ちます．

（最小解と２次無理数）
〇ペル方程式の自明でない解のうちでxが最小（双曲線の第１象限の部分は単調増加関数になっているのでyも最小になる）となる解を最小解という．

〇ここまでの記述では，ペル方程式の解き方の話でありながら実際には

x_{1} + \sqrt{2} y_{1}

という形の２次無理数が主役となっており，自明解でない最小解(x1 , y1)が求まれば，２次無理数

x_{1} + \sqrt{2} y_{1}

を使ってすべての解が求められることを示した．
　Dが平方数でない整数のときに対応する最小解を求める問題は，数学史上興味深い問題となっており，幾つかの巧妙な解法が知られていますがそれについてはここでは触れません．
　D=61, 73, 85, 89, 94, 97などの場合には，最小解(x1 , y1)は非常に大きな数になります．特に，フェルマーが知人に宛てた手紙の中で示したといわれるD=61の場合
x2−61y2=1
の整数解は，最小のものでもxが10桁の整数，yが9桁の整数となっており，簡単には求められないものです．

〇 Dが１桁の整数の場合は，幾つか試せばペル方程式の最小解が求まるので，これを使ってペル方程式を解くことを考えます．

D=2の場合

x2−2y2=1
において2y2は偶数，2y2+1は奇数になるので，整数xは奇数
自明解x=1 (y=0)を除いてx=3,5,..の順に検討すると
32−2×22=1
が成り立つから，x1=3 , y1=2が最小解となる．
このとき，２次無理数は

3 + 2 \sqrt{2}

になります．

(3 + 2 \sqrt{2})^{n} = x_{n} + \sqrt{2} y_{n} (n = 0, 1, 2, 3, . . .)

となる整数(xn , yn )がすべての解を与えます．

一般解は

x_{n} = \frac{(3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}}{2}

y_{n} = \frac{(3 + 2 \sqrt{2})^{n} - (3 - 2 \sqrt{2})^{n}}{2 \sqrt{2}}

自明解は(1, 0)，最小解は(3, 2)
その他の解は(17, 12), (99, 70), (577, 408), ...

D=3の場合

x2−3y2=1
において3y2は偶数にも奇数にもなり得ます，自明解x=1 (y=0)を除いてx=2,3,4,..の順に検討すると
22−3×12=1
が成り立つから，x1=2 , y1=1が最小解となる．
このとき，２次無理数は

2 + \sqrt{3}

になります．

(2 + \sqrt{3})^{n} = x_{n} + \sqrt{3} y_{n} (n = 0, 1, 2, 3, . . .)

となる整数(xn , yn )がすべての解を与えます．

一般解は

x_{n} = \frac{(3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}}{2}

y_{n} = \frac{(3 + 2 \sqrt{2})^{n} - (3 - 2 \sqrt{2})^{n}}{2 \sqrt{2}}

自明解は(1, 0)，最小解は(2, 1)
その他の解は(7, 4), (26, 15), (97, 56), ...

D=4は平方数なので検討しません．

D=5の場合

x2−5y2=1
において5y2は偶数にも奇数にもなり得ます，自明解x=1 (y=0)を除いてx=2,3,4,..の順に検討すると
92−5×42=1
が成り立つから，x1=9 , y1=4が最小解となる．
このとき，２次無理数は

9 + 4 \sqrt{5}

になります．

(9 + 4 \sqrt{5})^{n} = x_{n} + \sqrt{5} y_{n} (n = 0, 1, 2, 3, . . .)

となる整数(xn , yn )がすべての解を与えます．

一般解は

x_{n} = \frac{(9 + 4 \sqrt{5})^{n} + (9 - 4 \sqrt{5})^{n}}{2}

y_{n} = \frac{(9 + 4 \sqrt{5})^{n} - (9 - 4 \sqrt{5})^{n}}{2 \sqrt{5}}

自明解は(1, 0)，最小解は(9, 4)
その他の解は(161, 72), (2889, 1292), (51841, 23184), ...

D=6の場合

x2−6y2=1
において6y2は偶数，6y2+1は奇数になるので，整数xは奇数
自明解x=1 (y=0)を除いてx=3,5,7,..の順に検討すると
52−6×22=1
が成り立つから，x1=5 , y1=2が最小解となる．
このとき，２次無理数は

5 + 2 \sqrt{6}

になります．

(5 + 2 \sqrt{6})^{n} = x_{n} + \sqrt{6} y_{n} (n = 0, 1, 2, 3, . . .)

となる整数(xn , yn )がすべての解を与えます．

一般解は

x_{n} = \frac{(5 + 2 \sqrt{6})^{n} + (5 - 2 \sqrt{6})^{n}}{2}

y_{n} = \frac{(5 + 2 \sqrt{6})^{n} - (5 - 2 \sqrt{6})^{n}}{2 \sqrt{6}}

自明解は(1, 0)，最小解は(5, 2)
その他の解は(49, 20), (485, 198), (4801, 1960), ...

（２次無理数と整数解の関係）
　ペル方程式x2−3y2=1に対して

X = (2 + \sqrt{3})^{n} = x_{n} + \sqrt{3} y_{n}

Y = (2 - \sqrt{3})^{n} = x_{n} - \sqrt{3} y_{n}

とおくと，一般解は

x_{n} = \frac{X + Y}{2}

y_{n} = \frac{X - Y}{2 \sqrt{3}}

漸化式は，問題5の(5)より

(\begin{matrix} x_{n + 1} \\ y_{n + 1} \end{matrix}) = (\begin{matrix} 2 & 3 \\ 1 & 2 \end{matrix}) (\begin{matrix} x_{n} \\ y_{n} \end{matrix})

となります．これらX, Yと(xn , yn )の関係をグラフを用いて調べてみます．

　まず，Xの各々は実数値で，等比数列の第ｎ項（下図の青で示した指数関数上の点）になっています．また，

2 - \sqrt{3} = \frac{2^{2} - \sqrt{3}}{2 + \sqrt{3}} = \frac{1}{2 + \sqrt{3}}

Y = (2 - \sqrt{3})^{n} = (\frac{1}{2 + \sqrt{3}})^{n} = (2 + \sqrt{3})^{- n}

だから，Yの各々は下図の赤で示した指数関数上の点になります．

図４

　n=0, 1, 2, 3, ...と変化するとき，xnの「実数値」はX, Yの中点になるので緑で示した点の縦の座標を表すことになります．（ynの値は直接的には見えていません．）

図５

　このとき，(xn , xn )は漸化式

(\begin{matrix} x_{n + 1} \\ y_{n + 1} \end{matrix}) = (\begin{matrix} 2 & 3 \\ 1 & 2 \end{matrix}) (\begin{matrix} x_{n} \\ y_{n} \end{matrix})

を満たし，
自明解x0=1 , y0=0からスタートすると，

(\begin{matrix} x_{1} \\ y_{1} \end{matrix}) = (\begin{matrix} 2 & 3 \\ 1 & 2 \end{matrix}) (\begin{matrix} 1 \\ 0 \end{matrix}) = (\begin{matrix} 2 \\ 1 \end{matrix})

(\begin{matrix} x_{2} \\ y_{2} \end{matrix}) = (\begin{matrix} 2 & 3 \\ 1 & 2 \end{matrix}) (\begin{matrix} 2 \\ 1 \end{matrix}) = (\begin{matrix} 7 \\ 4 \end{matrix})

(\begin{matrix} x_{2} \\ y_{2} \end{matrix}) = (\begin{matrix} 2 & 3 \\ 1 & 2 \end{matrix}) (\begin{matrix} 7 \\ 4 \end{matrix}) = (\begin{matrix} 26 \\ 15 \end{matrix})

のように，次々と解(xn , xn )が得られる．
　逆に，ある１つの解x2=7 , y2=4からスタートして，

A = (\begin{matrix} 2 & 3 \\ 1 & 2 \end{matrix})

の逆行列

A^{- 1} = (\begin{matrix} 2 & - 3 \\ - 1 & 2 \end{matrix})

を次々に掛けていくと

(\begin{matrix} x_{1} \\ y_{1} \end{matrix}) = (\begin{matrix} 2 & - 3 \\ - 1 & 2 \end{matrix}) (\begin{matrix} 7 \\ 4 \end{matrix}) = (\begin{matrix} 2 \\ 1 \end{matrix})

(\begin{matrix} x_{0} \\ y_{0} \end{matrix}) = (\begin{matrix} 2 & - 3 \\ - 1 & 2 \end{matrix}) (\begin{matrix} 2 \\ 1 \end{matrix}) = (\begin{matrix} 1 \\ 0 \end{matrix})

となって自明解に到達するから，与えられた解は自明解から連なっている１つの系列の解であることが分かる．

※勢い余って，n=−1, −2, ..と負の数に突入してしまっても，特別変わったことは起こらない．実際，試してみると

(\begin{matrix} x_{- 1} \\ y_{- 1} \end{matrix}) = (\begin{matrix} 2 & - 3 \\ - 1 & 2 \end{matrix}) (\begin{matrix} 1 \\ 0 \end{matrix}) = (\begin{matrix} 2 \\ - 1 \end{matrix})

(\begin{matrix} x_{- 2} \\ y_{- 2} \end{matrix}) = (\begin{matrix} 2 & - 3 \\ - 1 & 2 \end{matrix}) (\begin{matrix} 2 \\ - 1 \end{matrix}) = (\begin{matrix} 7 \\ - 4 \end{matrix})

のように，(x−n , y−n)=(xn , −yn)となっており，上の図の赤で示した点のようにｘ軸よりも下に（ｙ座標の符号だけ逆になった形で）登場する．対応する２次無理数はもう一つ上の図のn<0の部分の赤の点になる．

（この頁の要約）

（Ａ）ペル方程式

x^{2} - D y^{2} = 1

（x, y, Dは正の整数，Dは平方数でない）

例題１,問題3

（Ｂ）最小解 x=a, y=b		（Ｃ）２次無理数 $X = a + \sqrt{D} b$
n=1	例題４,問題４	例題５,問題５
（Ｅ）一般解 $x_{n} = \frac{X^{n} + X^{- n}}{2}$ $y_{n} = \frac{X^{n} - X^{- n}}{2 \sqrt{D}}$		（Ｄ）連立漸化式 $(\begin{matrix} x_{n + 1} \\ y_{n + 1} \end{matrix}) = (\begin{matrix} a & D b \\ b & a \end{matrix}) (\begin{matrix} x_{n} \\ y_{n} \end{matrix})$

※1 この教材では，上の図の赤で示した矢印の内容（与えられたペル方程式から最小解を求める方法）は高校の範囲を超える専門的なものなので扱っていない．
　Dが１桁の整数の場合，最小解はx, yの小さい値から試してみると簡単に見つかる．

※2 赤で示した矢印の部分を除いて，青枠の内部での変形は高校数学でできるので，その部分は大学入試問題として出されることがある．
　すなわち，上の表の（Ｂ）（Ｃ）（Ｄ）（Ｅ）のいずれかの局面からスタートして他の局面（Ａ）（Ｂ）（Ｃ）（Ｄ）（Ｅ）に導く問題は，高校数学の範囲内である．
　これに対して，（Ａ）からスタートしていきなり「解け」という問題は高校生には無理がある･･･特に，Dが２桁以上の値の場合は難し過ぎる．

※3 上の図で示したように最小解もしくは2次無理数が見つかれば，ペル方程式のすべての解が求まるが，運悪く最小でない解からスタートしてしまった場合，例えば．自明解と(x2 , y2 )から残りの解を構成していくと，偶数番目だけが登場し，奇数番目の解が登場しない．図５において１つ置きの点が現れる．

※4 Dが平方数の時はペル方程式とは呼ばれないが，この場合は第１象限において漸近線が無限個の格子点を通り，双曲線は１つも格子点を通らない．（簡単なチェック１）
（ぎっしり並んだ立木の林で双曲線で飛ぶカーブ玉を投げているのに，すべての立木を外して通るというのは，考えてみればその方が驚きである）

...（携帯版）メニューに戻る

...（PC版）メニューに戻る

■このサイト内のGoogle検索■

△このページの先頭に戻る△【アンケート送信】
… このアンケートは教材改善の参考にさせていただきます

■この頁について，良い所，悪い所，間違いの指摘，その他の感想があれば送信してください．

○文章の形をしている感想は全部読ませてもらっています．
○感想の内で，どの問題がどうであったかを正確な文章で伝えていただいた改善要望に対しては，可能な限り対応するようにしています．（※なお，攻撃的な文章になっている場合は，それを公開すると筆者だけでなく読者も読むことになりますので，採用しません．）

質問に対する回答の中学版はこの頁，高校版はこの頁にあります