「全称」命題の証明法４パターン

はじめに

全称命題という言葉を聞いたことはあるでしょうか．

大まかに言うと「全」のイメージで，

「”任意の/全ての/どんな”nについて成立」

のようなセリフとして登場します．

今回はこの「全称」が絡んだ証明問題をどう解き崩していくかを学んでいきましょう．

全称命題の証明

基本的に全称命題の証明は難しいです．

「全ての一桁の整数について示せ」なら0-9までの10個の数を代入してしまえば済む話ですね．

しかし，多くの場合において「全実数」や「全自然数」といった要素が有限ではないものを扱います．

当然全てを代入することは不可能なので別の方法を考えなければなりません．

以上の４手が覚えるべきものです．④背理法は，①から③までを考えた結果進まなかった場合に考慮します．

それぞれについてお話ししていきましょう．

最大最小や不等式の利用

そもそも不等式の証明は全称命題の証明です．

「$x^2+3x+3>0$を示せ」

と言われればそれは

「（全ての$x$について）$x^2+3x+3>0$を示せ」

ということ．

このように，問題文に全称の言葉が明示されているとは限らないということに注意すべきですね．

証明問題を見たときに，それが「全称なのかどうか」「どの文字について全称で，どの文字について全称ではないのか」をしっかり考えることが非常に重要なのです．

そして不等式の証明でオーソドックスなのは最大値や最小値の利用ですね．

上の例なら左辺の最小値が正であることを証明できれば良いわけです．

これだけだと少々味気ないですので，もう少し踏み込んだ内容を以下の例題を用いて解説しましょう．

この問題も全称命題です．「①を満たす任意の実数$x,y$について②であること」を示しましょう．

最大最小を考える上で，変数の個数を確認しなければなりません．今回は$x,y$の２変数です．

２変数の問題は「１文字固定をして１変数とみなす」というのがセオリー．

しかし今回は別の見方を紹介しましょう．２変数の動きを見るのは本来大変なのですが，一気に値域を追いかける方法があります．

それが領域図示．

１変数のものはグラフが書けますね．２変数のものは平面座標の上で領域として塗ることができるのです．

「①の領域ならば②の領域」と題意を言い換えれば，一々場合わけしながら最大最小や値域を求める必要はなくなります．

２変数の問題では領域図示を試すことを覚えておいてください．

数学的帰納法

数学的帰納法は「任意の整数について」という問題では必ず証明法として思い出したい手法です．

数学的帰納法の種類や詳しい解説は別の記事に任せますが，基本的な構造は全て同じ「ドミノ倒し」です．

ドミノが無限個あったとしても

の２つが示せれば，いつ倒れるかは知らないがいつかは全部倒れてくれる．

こうしたイメージを持って眺めてみれば，数学的帰納法はそこまで難しい問題ではありません．

全称の文字がたくさんあって，どの文字について数学的帰納法を使うのか迷ってしまう問題もあります．

小さい値で実験してみて，それを$n=k$→$n=k+1$に一般化することが大事です．

まず，これは$n$に関する全称のお話です．文字が少なくて助かりました．

数学的帰納法を使う上で大事なのは$n=k$→$n=k+1$の部分．これが漸化式的構造だと述べましたね．

$a_{k+1}=(k+1{)}^3+5(k+1)$
$=k^3+3k^2+8k+6$
$=a_k+3k^2+3k+6$

これで漸化式が立ったわけですね．

$a_k$が$6$の倍数を仮定するので，残りの$3k^2+3k(+6)$が$6$の倍数であれば良い．

この問題に関しては数学的帰納法を用いるのは下手です．普通は考えませんね笑

多少無理やりですが，漸化式的構造を作ることができれば数学的帰納法が使えるということを確認しておきたかったのです．

剰余系

整数は無限個の要素からなりますが「ある数で割った余りで分類」すると有限個のクラスに分けられます．

これが剰余系の考え方ですね．

例えば，３について剰余系を考えるのであれば，余りが$0,1,2$の３つのクラスに分かれます．

各クラスにおいて題意が成立することが示せれば，整数全体での成立が示せることになります．

剰余系と合同式に関しては「整数」の範囲として以下の記事にまとめていますので是非参照してください．

$6$の剰余系で考えても構いませんが，$2$と$3$に分けた方が多少は楽です．

倍数の話ですから剰余系なのは当たり前と感じるとは思います．

しかし，これも全称命題の証明としての側面があることを知っておきましょう．

ちなみにこの問題なら連続３整数の積を用いるのが一番簡単です．

$a_n=(n-1)n(n+1)+6n$

まとめ