無限降下法の例題(自作問題10)

この記事の所要時間: 321

問題.

今回は自作問題の10, 無限降下法による証明の例題です.

問題.

2l^2=m^2-mn+n^2をみたす自然数l, m, nの組は存在しないことを示せ.

無限降下法について, 詳しい説明は「いろいろな証明の方法」を参照してください.

また, この問題を背理法で証明する場合についてはこの記事の最後で説明します.

解答例.

2l^2=m^2-mn+n^2をみたす自然数の組が存在すると仮定します.

(1) \begin{eqnarray*} 2l^2 &=& m^2-mn+n^2\\ &=& m^2+n(n-m) \end{eqnarray*}

mが奇数であると仮定すると, m^2は奇数となり, また, nn-mのうち一方が偶数となるのでn(n-m)は偶数となります.

よってm^2+n(n-m)は奇数となり, 一方で(1)の左辺は偶数なので矛盾します.

したがって, mは偶数です.

ここで, (1)はmnについて対称な式なので, 同様に右辺をm(m-n)+n^2と変形すると, nも偶数であると分かります.

そこで, m=2M, n=2Nとおくと,

\begin{eqnarray*} 2l^2 &=& (2M)^2-(2M)(2N)+(2N)^2\\ &=& 4(M^2-MN+N^2) \end{eqnarray*}

となり, 両辺を2で割ると

\begin{equation*} l^2=2(M^2-MN+N^2) \end{equation*}

この式からl^2が偶数なので, lも偶数で, l=2Lとおくと,

\begin{eqnarray*} (2L)^2&=&2(M^2-MN+N^2)\\ 2L^2&=&M^2-MN+N^2 \end{eqnarray*}

よって, 条件式をみたす(l, m, n)の組を仮定すると, それよりも小さい解(L, M, N)が得られ, これをくり返すと無限に小さい解が求まることになるので矛盾します.

したがって, 条件式をみたすl, m, nの組は存在しません.

追記:背理法で証明する場合

(無限降下法それ自体も背理法の一種ではありますが), 無限降下法を用いずに背理法で証明することももちろんできます. 今回の問題の場合は次のような方法が考えられます.

(i) 条件をみたす中でlが最小の解の組を(l, m, n)とおくと, l, m, nがすべて偶数となり, さらに小さい解(L, M, N)が見つかる.

(ii) l, m, nの最大公約数dが2以上であれば, それぞれをdで割ったものも条件式をみたすので, 互いに素であるような解l, m, nが存在することになります. しかし, 上の議論によりこれらはすべて偶数となるので互いに素であることに矛盾します.

(i)は本質的に無限降下法と同じことを言っています. 一方, (ii)では互いに素を仮定して矛盾を導いています(こちらが一般的かもしれません. \sqrt{2}の無理数性の証明では互いに素を仮定する方法がよく紹介されています).

スポンサーリンク
sub2
sub2
  • このエントリーをはてなブックマークに追加