基礎問題集

数学B 数列「共役無理数」の問題3 解説

数学Bの数列「共役無理数」にある問題3の基礎問題と解説ページです。問題と保存済み解説を公開し、ログイン後はAI質問と学習履歴も利用できます。

MathGrAIl の基礎問題集にある公開問題ページです。ログイン前でも問題と保存済み解説を確認でき、ログイン後はAI質問と学習履歴の保存を利用できます。

数学B数列共役無理数問題3
  • 基礎問題の問題画像と保存済み解説を公開
  • ログイン後にAI質問で復習
  • ログイン後に学習履歴を保存
数学B 数列 共役無理数 問題3の問題画像
問題画像のプレビュー

解説

方針・初手

方程式 $u^2-2v^2=1$ は Pell 型方程式である。最小の自然数解 $(3,2)$ を基準にし、$u\geqq 4$ の解から

$$ s=3u-4v,\qquad t=-2u+3v

$$

を作ると、これは $u+v\sqrt{2}$ に $3-2\sqrt{2}$ を掛ける操作に対応する。したがって、自然数解をより小さい自然数解へ下げる「降下法」で全体を証明する。

解法1

**(1)**

$(u,v)$ が曲線 $x^2-2y^2=1$ 上にあるから、

$$ u^2-2v^2=1

$$

である。

$u=1$ とすると、

$$ 1-2v^2=1

$$

より $v=0$ となる。これは $v$ が自然数であることに反する。

また、$u=2$ とすると、

$$ 4-2v^2=1

$$

より

$$ 2v^2=3

$$

となり、自然数 $v$ は存在しない。

よって、

$$ u\neq 1,2

$$

である。

**(2)**

$u=3$ とすると、

$$ 9-2v^2=1

$$

であるから、

$$ 2v^2=8

$$

すなわち

$$ v^2=4

$$

となる。$v$ は自然数なので、

$$ v=2

$$

である。

**(3)**

以後 $u\geqq 4$ とし、

$$ s=3u-4v,\qquad t=-2u+3v

$$

とおく。

**(i)**

まず、

$$ u^2-2v^2=1

$$

より

$$ u^2=2v^2+1>2v^2

$$

である。$u,v$ は自然数だから正であり、

$$ u>\sqrt{2}v

$$

が成り立つ。

次に $3v>2u$ を示す。仮に $3v\leqq 2u$ とすると、

$$ 9v^2\leqq 4u^2

$$

である。ところが $u^2=2v^2+1$ より、

$$ 4u^2=8v^2+4

$$

だから、

$$ 9v^2\leqq 8v^2+4

$$

となる。よって

$$ v^2\leqq 4

$$

であり、$v=1,2$ である。

$v=1$ のときは

$$ u^2=2\cdot 1^2+1=3

$$

となり、自然数 $u$ は存在しない。

$v=2$ のときは

$$ u^2=2\cdot 2^2+1=9

$$

より $u=3$ となり、$u\geqq 4$ に反する。

したがって仮定 $3v\leqq 2u$ は誤りであり、

$$ 3v>2u

$$

である。

よって、

$$ u>\sqrt{2}v,\qquad 3v>2u

$$

が成り立つ。

**(ii)**

$s,t$ は $u,v$ の整数係数一次式であるから整数である。

まず $s$ の正値性を示す。(i) より $u>\sqrt{2}v$ であるから、

$$ 3u>3\sqrt{2}v

$$

である。ここで $3\sqrt{2}>4$ より、

$$ 3u>4v

$$

である。したがって

$$ s=3u-4v>0

$$

であり、$s$ は自然数である。

また、(i) より

$$ 3v>2u

$$

であるから、

$$ t=-2u+3v>0

$$

であり、$t$ も自然数である。

次に $(s,t)$ が曲線上にあることを示す。

$$ \begin{aligned} s^2-2t^2 &=(3u-4v)^2-2(-2u+3v)^2\\ &=(9u^2-24uv+16v^2)-2(4u^2-12uv+9v^2)\\ &=9u^2-24uv+16v^2-8u^2+24uv-18v^2\\ &=u^2-2v^2\\ &=1 \end{aligned}

$$

よって $(s,t)$ も曲線 $x^2-2y^2=1$ 上の点であり、その成分 $s,t$ は自然数である。

**(iii)**

示すべきことは $u>s$ である。$s=3u-4v$ だから、

$$ u>s

$$

$$ u>3u-4v

$$

すなわち

$$ 2v>u

$$

と同値である。

ここで

$$ u^2=2v^2+1

$$

であり、$v$ は自然数なので

$$ 2v^2+1<4v^2

$$

が成り立つ。したがって

$$ u^2<4v^2

$$

である。$u,v$ は正だから、

$$ u<2v

$$

である。

よって

$$ u>s

$$

が成り立つ。

**(iv)**

右辺を展開する。

$$ \begin{aligned} (3+2\sqrt{2})(s+t\sqrt{2}) &=3s+6t\sqrt{2}+2s\sqrt{2}+4t\\ &=(3s+4t)+(2s+3t)\sqrt{2} \end{aligned}

$$

ここで $s=3u-4v,\ t=-2u+3v$ を代入すると、

$$ \begin{aligned} 3s+4t &=3(3u-4v)+4(-2u+3v)\\ &=9u-12v-8u+12v\\ &=u \end{aligned}

$$

また、

$$ \begin{aligned} 2s+3t &=2(3u-4v)+3(-2u+3v)\\ &=6u-8v-6u+9v\\ &=v \end{aligned}

$$

である。したがって、

$$ (3+2\sqrt{2})(s+t\sqrt{2})=u+v\sqrt{2}

$$

すなわち

$$ u+v\sqrt{2}=(3+2\sqrt{2})(s+t\sqrt{2})

$$

である。

**(4)**

まず、十分性を示す。自然数 $n$ が存在して

$$ u+v\sqrt{2}=(3+2\sqrt{2})^n

$$

を満たすとする。

二項展開より、右辺は

$$ (3+2\sqrt{2})^n=u+v\sqrt{2}

$$

という形で表され、このとき $u,v$ は自然数である。また、その共役をとると

$$ u-v\sqrt{2}=(3-2\sqrt{2})^n

$$

である。

したがって、

$$ \begin{aligned} u^2-2v^2 &=(u+v\sqrt{2})(u-v\sqrt{2})\\ &=(3+2\sqrt{2})^n(3-2\sqrt{2})^n\\ &={(3+2\sqrt{2})(3-2\sqrt{2})}^n\\ &=(9-8)^n\\ &=1 \end{aligned}

$$

である。よって $(u,v)$ は曲線 $x^2-2y^2=1$ 上の点である。

次に、必要性を示す。$(u,v)$ を、成分がともに自然数である曲線 $x^2-2y^2=1$ 上の点とする。

(1) より $u\neq 1,2$ であるから、自然数 $u$ について

$$ u\geqq 3

$$

である。

$u=3$ のとき、(2) より $v=2$ である。したがって

$$ u+v\sqrt{2}=3+2\sqrt{2}=(3+2\sqrt{2})^1

$$

となり、条件を満たす。

$u\geqq 4$ のとき、(3) により

$$ s=3u-4v,\qquad t=-2u+3v

$$

とおけば、$(s,t)$ も曲線 $x^2-2y^2=1$ 上の自然数解であり、さらに

$$ s<u

$$

である。

ここで $u$ に関する数学的帰納法、より正確には強い帰納法を用いる。$s<u$ なので、より小さい自然数解 $(s,t)$ については、ある自然数 $m$ が存在して

$$ s+t\sqrt{2}=(3+2\sqrt{2})^m

$$

と表せる。

すると (3) の (iv) より、

$$ \begin{aligned} u+v\sqrt{2} &=(3+2\sqrt{2})(s+t\sqrt{2})\\ &=(3+2\sqrt{2})(3+2\sqrt{2})^m\\ &=(3+2\sqrt{2})^{m+1} \end{aligned}

$$

である。$m+1$ は自然数であるから、必要性が示された。

以上より、成分がともに自然数である点 $(u,v)$ が曲線 $x^2-2y^2=1$ 上にあるための必要十分条件は、ある自然数 $n$ が存在して

$$ u+v\sqrt{2}=(3+2\sqrt{2})^n

$$

を満たすことである。

解説

この問題の中心は、Pell 方程式 $u^2-2v^2=1$ の自然数解を、基本解 $(3,2)$ からすべて生成できることを示す点にある。

特に重要なのは、$u\geqq 4$ の解 $(u,v)$ から

$$ s=3u-4v,\qquad t=-2u+3v

$$

を作ると、再び自然数解 $(s,t)$ が得られ、しかも $s<u$ となることである。これにより、大きな解を小さな解へ戻していく降下法が使える。

また、

$$ u+v\sqrt{2}=(3+2\sqrt{2})(s+t\sqrt{2})

$$

という関係は、実質的には

$$ s+t\sqrt{2}=(3-2\sqrt{2})(u+v\sqrt{2})

$$

を意味している。つまり、解を一段階小さくする操作が、$3-2\sqrt{2}$ を掛ける操作になっている。

最小の自然数解が $(3,2)$ であることを確認し、そこから帰納的にすべての解が

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

$$

で表されると結論づけるのが、この問題の標準的な構造である。

答え

**(1)**

$$ u\neq 1,2

$$

**(2)**

$$ u=3\ \text{のとき}\ v=2

$$

**(3)**

$u\geqq 4$ とし、

$$ s=3u-4v,\qquad t=-2u+3v

$$

とすると、

$$ u>\sqrt{2}v,\qquad 3v>2u

$$

であり、$(s,t)$ も曲線 $x^2-2y^2=1$ 上の自然数解である。また、

$$ u>s

$$

かつ

$$ u+v\sqrt{2}=(3+2\sqrt{2})(s+t\sqrt{2})

$$

である。

**(4)**

成分がともに自然数である点 $(u,v)$ が曲線 $x^2-2y^2=1$ 上にあるための必要十分条件は、ある自然数 $n$ が存在して

$$ u+v\sqrt{2}=(3+2\sqrt{2})^n

$$

を満たすことである。

認証状態を確認しています...
MathGrAIl
使い方 マイページ

大学入試数学を、1問ずつ深く解く。

大学別演習と分野別基礎問題演習に対応。解説閲覧とAI質問で効率よく学べます。

今日の一問
基礎問題集から毎日1問を出題します
-
読み込み中...
今日の一問を準備しています...

読み込み中...

科目を選択してください

トピックを選ぶと問題一覧を表示します。

読み込み中...

演習条件を選択してください

大学・文理を選ぶと、年度ごとの問題一覧を表示します。

年度・問題を読み込み中...
- - - -
年度一覧から解きたい問題を選択してください。
答案画像を提出すると、AIが採点して改善点を返します。最大3枚まで追加できます。
クリックまたはドラッグ&ドロップで答案画像を選択(最大3枚)
この問題について質問してください。