前の記事の相加相乗平均の証明は, もともとはコーシーによるものだそうだが, この数学的帰納法の証明型, “Forward-Backward Induction” *1 を使って, すでに記事 で一度解いたことのある
年京大理系の難問を見直してみる. というのも, “Forward-Backward Induction” による方が, はるかに簡潔で, あっけなく証明できてしまうからである. 前の証明のときは,
で命題が成立することを使うには使ったが, 背理法の矛盾を導き出すために使ったのであり, 記述が結構ややこしかったのを覚えている. いま考えると,
で成立するならば
で成立するというのは, 対偶をとれば,
で成立しないならば
でも成立しないことをいうのと同じであり, そうすると
から先ではずっと成立しないことになるけれども, もしそうなら,
の列で成立することと矛盾する. だから, そもそも
では成立しないものが存在するという仮定をおいたことが誤りである. こうして, 前の証明では, “Forward-Backward Induction” でなぜよいかということを結果に過ぎないが証明している. なお, 普通ある帰納法での証明はすぐに諦めた. 出題の構成は “Forward-Backward Induction” による証明を誘導しているのではないかと思う.
【問】
と
を互いに素, すなわち
以外の公約数をもたない正の整数とし, さらに
は奇数とする. 正の整数
に対して整数
,
を
を満たすように定めるとき, 次の ,
を示せ. ただし,
が無理数であることは証明なしに用いてよい.
は奇数であり,
と
は互いに素である.
すべての
に対して,
は奇数であり,
と
は互いに素である.
【解】
から、
であるが, は奇数だから
は奇数、
は偶数. したがって,
は奇数である.
と
が公約数として 素数
を持つと仮定する. すると
を正の整数として,
と表すことができる. に注目すると,
は奇素数で,
は互いに素だから,
は
どちらか一方の素因数である.
そこでまず と仮定すると,
の式から
したがって,
となり, だから,
は
を素因数として持つ. これは
,
が互いに素であることと矛盾する.
今度は と仮定すると、
の式から,
したがって,
となり, は
を素因数に持つ.しかし, これは
,
が互いに素であることと矛盾する.
以上より, いずれの場合を仮定しても矛盾するので, ,
は互いに素である.
問 から,
で成立.
で成立すると仮定して,
でも成立することを以下に示す.
仮定から, は奇数であり,
と
は互いに素で, したがって, 問
の結果から,
は奇数であり,
と
は互いに素である.
で成立すると仮定して,
でも成立することを以下に示す.
したがって,
となるが, 最初の式で, は仮定から奇数,
は偶数なので,
は奇数である.
次に, と
が公約数として 素数
を持つと仮定する. すると
を正の整数として,
,
と書けるが,
と表すことができる. そうすると, ,
は, 互いに素であることに矛盾する. したがって,
と
は互いに素である.
以上から, すべての に対して,
は奇数であり,
と
は互いに素である.
//
*1:ゲーム理論に「前向き後向き推論」という用語がすでにあるので英語で示した. 「双方向帰納法」という用語が使われている場合もある.