対偶命題の証明法は、使い分けを教えてもらえない。背理法と対偶命題の証明法は、使い分けを教えてもらえない。背理法と対偶命題の証明法の使い分けについてご存知でしょうか?背理法は簡単に言うと、「命題を否定したものを、真だと仮定して、矛盾を示すもの」です。背理法の例題としては、√2が無理数であることを証明する問題が非常に有名ですよね。対偶命題は、条件の「ならば」の前後をひっくり返し、両方とも否定したものです。教科書にも、問題集にも、必ず例題が載っているのですが、背理法に比べて使用する頻度が少なく、存在感が薄い印象もあるのではないでしょうか?対偶命題の証明法の代表例は、「nの2乗が偶数ならば、nも偶数である」などでしょう。センター試験では毎年のように登場していました。「対偶を取らせるために用意された問題」も多くて、どのように応用すれば良いかが今一。背理法と対偶命題の証明法をどう使い分けるか、キチッと明確に教えている先生を、僕はほとんど見た事ありません。普通の授業では、必ず両方触れますが、教科書でも問題集でも、対偶命題の証明法はあまりクローズアップされず、背理法ばかり使う。その使い分けに関して触れているのも、非常に少ない。確かに、背理法を使えば、かなりの問題に対応出来るんですが、ではどう使い分けたら良いのか。この記事では、しっかりまとめていきたいと思います!命題には断定型と推論型の二種類があるまず、命題と条件の話をしっかりしなければなりません。教科書では、命題をこう定義しています。命題とは「真か偽かが、はっきりと定まるもの」ここまでは知ってる方も多いのではないでしょうか。命題には二種類あるという事を、皆さんご存知でしょうか。「pである」という形の命題と、「pならばqである」という形の命題です。区別するために名前を付けましょう。「pである」という形の命題を、断定型。「pならばqである」という形の命題を、推論型とします。(この呼び方は、こちらのサイトを参考にしました。)2種類あると初めて聞いた方、「言われてみれば、確かに!」と納得するでしょう。これまで見て来た命題も、どちらかに属するはずです。「否定」をすると、証明が進む(こともある)では、次に否定の話をしましょう。命題の証明の仕方にはいくつか方法があります。数IIでは「等式の証明」や「不等式の証明」が登場しますね。(どちらも基本的には、(左辺)-(右辺)をします。)しかし、このままでは証明できなくなる場合も多数あて、、その時の対処法の一つに「否定する」というものがあります。何度も例を出しますが、「√2が無理数である」を証明しようとしても、筆が進みません。そこで、「√2が無理数である」を否定して、「√2が無理数でない」つまり「√2が有理数である」と仮定することによって、筆が進むわけです。無理数とは「実数のうち有理数でない数」という定義です。有理数を拾っていった時の残りカス、みたいに定義されてしまっていて、等式に出来ないのです。否定をして、等式を作って処理します。※この辺り、証明法の理解が不十分な方は、教科書などを読み直しましょう。ものすごく単純に言えば、「無理数という言葉に反応して、否定をしろ」ということです。このように、否定をするために反応すると良いワードがいくつかあります。「無理数」や「互いに素」、「一つしかない」などなど。余談ですが、場合の数や確率の余事象の時とあえて混同させると、「少なくとも」とか、「~ない場合」とか、「~以外、以内」などに反応しても良いかもしれません。背理法と対偶命題の証明法の使い分けは(基本編)では、やっとですが背理法と対偶命題の証明法の使い分けに行きましょう。推論型の命題を否定しながら証明する時は、対偶命題の証明法と使い分けます。※対偶命題の証明法は、矢印の前後をひっくり返したい時にも、頻繁に使用します。「√2は無理数である」は、断定型の命題で、かつ、無理数というキーワードが入っています。背理法と非常に相性が良い。「n^2が3の倍数でないならば、nも3の倍数でない」は、推論型の命題ですが、「~ない場合」というキーワードがありますし、矢印の前後をひっくり返した方が証明しやすい。(次数は下げるより、上げる方が楽)ということで、対偶命題の証明法を使うと良いわけですね。ここまでが、基本の考えです。基本が通じない場合が、教科書レベルで出題されるしかしながら、問題があります。教科書や問題集なんかを覗くとと、推論型なのに背理法を使って証明されている解説が、たくさん見受けられます。「aとbを有理数とする。a+b√2=0ならば、a=b=0であることを証明せよ。」この問題は、「ならば」があるので、推論型です。√2という無理数が登場しているので、否定をするとよさそう。すると、基本に則って考えると、対偶命題の証明法を使うはずの問題となります。