背理法がわかる(背理法は高校数学で最高級の証明方法)

背理法

背理法がわかる(背理法は高校数学で最高級の証明方法)

  • ①背理法は高校数学で最高級の証明方法
  • ➁おさえるべき重要問題
  • ➂解法
  • ➃全問題の解説は問題集にあります
数と式は、基礎は簡単
でも、発展は最難な領域
高校数学で一番難しい単元は何?と聞かれて
「数Ⅲの微積」という人は単に力がないだけ
数学ができる人は、「数Aの数と式」と答える
「数Ⅲの微積」は基礎は難しいが、その分応用・発展問題はないから、基礎ができたらすぐに入試問題が解ける!
逆に「数Aの数と式」は基礎は簡単な分、いくらでも難しくできる!難関大学の論証問題はすべて「数Aの数と式」!

その最高に難しくできるのが、【背理法】です。

①背理法は高校数学で最高級の証明方法

背理法は京大レベル以上

高校数学には、数学的帰納法、背理法、などいろいろな証明方法がありますが、

圧倒的に背理法が難しい
京大レベル以上を狙うには、背理法を自由自在に論じる力が必須
京大以下は、単なる
\(\sqrt{3}\)を無理数と証明する特殊な証明方法
という解釈でいい

背理法が私も受験生時代も使いこなせていなかったですね。
むしろ機械的に処理できる数学的帰納法の方が圧倒的に簡単でしたね。

背理法は何が難しいのか?

では、背理法は何が難しいのか?を解説すると

手法は1つ反例を示して矛盾を言えばいいが、
反例の導き方は決まっていない
自分で考えて論じていくのが高校生にはキツイ

国語で反論する内容を数式で解いて、相手を説得させる難しさが背理法にはあります。

背理法で証明しようとなかなかひらめかない。。。

背理法は1つ反論を導けばOK

手法は1つ反例を示して矛盾を言えばいい

反論を論述するアプローチが難しいOK

1つは過去問やパターンの問題を集めて、そこ範囲から出題される問いはしっかり回答できるようにしておく必要がありますが、

単に解き方を覚えるより、矛盾する反例をどう論じるかを考え抜くことが大事です。でも、これが難しいし、予備校でも解き方は教わるけど、習得方法までは身につかない

このような高級な論証方法が入っているから、
「高1の数と式が、高校数学の中で一番難しい!」

そんな難しい背理法の大事な問題を解説します。

➁おさえるべき重要問題

例題

【例題】
実数\(x\)の方程式 \(x^2\)+1=0
の解\(x\)は実数でないことを示せ。

これが一番、シンプルな問題だと思います。証明できますか?

問1

【問1】
(1)\(\sqrt{5}\)が無理数であることを示せ。
(2)\(\frac{1}{\sqrt{2}}-\frac{1}{\sqrt{3}}\)が無理数であることを示せ。
ただし、\(\sqrt{3}\)が無理数であることは証明せず使ってよい。

問2

【問2】
方程式\(2x^3-x-3\)=0は有理数の解がないことを示せ。

➂解法

背理法を解くポイント

ポイントは4つあります。

  1. 無理数を証明するパターンで背理法の流れを理解する
  2. 逆を仮定した場合に1つ矛盾する例を導き出す
  3. 矛盾を導き方は問題によるので、ここは経験しかない
  4. 京大以上の大学を目指さないなら、背理法は捨ててもいい

上の4つを意識して解いてみましょう。

例題の解法
背理法が使える!と気が付かない点が最も難しいし、どうやって論証するか?が一番のポイントです!
どこの矛盾を示すか?も難しい!

では、解いてみましょう。

解答

\(x\)は実数とすると、
\(x^2\) ≥ 0
つまり、
(左辺)=\(x^2\)+1 ≥ 1 > 0
である。しかし、
(右辺)=0より、
(両辺)が成立しない。

よって、\(x\)は実数ではない。

なるほど!

問1(1)の解法

教科書に絶対ある問いですね。流れを理解しましょう。

①逆を仮定する

\(\sqrt{5}\)が有理数と仮定し、
\(\sqrt{5}\)=\(\frac{m}{n}\)
(\(m,n\)は整数で互いに素)と置く。

➁①の仮定が矛盾する例を見つける

(両辺)を2乗すると、
5=\(\frac{m^2}{n^2}\)
5\(n^2\)=\(m^2\)
となる。

\(n\)は整数なので、(左辺)は5の倍数になる。
(右辺)も5の倍数が必要だから、\(m\)は5の倍数になる必要がある。

\(m\)=5\(c\) ((\(c\)は整数)と置くと
5\(n^2\)=\((5c)^2\)
\(n^2\)=5\((c)^2\)
となる。これを満たすには、
\(n\)は5の倍数になる必要がある。

となると、\(m,n\)が共に5の倍数になる必要があり、互いに素の条件に反する。

よって、\(\sqrt{5}\)は無理数になる。

とにかく、成り立たない理由を1つ
無理矢理もっていっているのがわかりますね。
これを高1の学生に教えるから、皆ピント来ないよね。
推理小説にように、
「こいつが犯人」と決めても、どうも矛盾する条件があるから
「こいつは犯人じゃない」という流れと同じです。

問1(2)の解法

解き方は問(1)と同じです。どう反例を導くか? ここが難しい!

①逆を仮定する

\(\frac{1}{\sqrt{2}}-\frac{1}{\sqrt{3}}\)が有理数と仮定し、
\(\frac{1}{\sqrt{2}}-\frac{1}{\sqrt{3}}\)=\(r\)
(\(r\)は有理数)と置く。

➁①の仮定が矛盾する例を見つける

\(\frac{1}{\sqrt{2}}\)=\(r\)+\(\frac{1}{\sqrt{3}}\)と変形して

(両辺)を2乗すると、
\(\frac{1}{2}\)=\(r^2\)+\(\frac{2}{\sqrt{3}}r\)+\(\frac{1}{3}\)
\(\frac{2}{\sqrt{3}}r\)=\(\frac{1}{6}\)-\(r^2\)
\(\sqrt{3}\)=\(\frac{1-6r^2}{4r}\)

ここで、 (右辺)は有理数であるが、(左辺)は無理数であるため、矛盾する。

よって、\(\frac{1}{\sqrt{2}}-\frac{1}{\sqrt{3}}\)は無理数である。

問2の解法

同様に応用例を解きましょう。

①逆を仮定する

方程式\(2x^3-x-3\)=0は有理数の解\(x\)=\(\frac{m}{n}\)
(\(m,n\)は互いに素な整数)とおく。

ここで、

\(m,n\)互いに素な整数
と3つ仮定を入れています。力技で矛盾する反例を見つけるためです。

方程式\(2x^3-x-3\)=0は
\(2(\frac{m}{n})^3-(\frac{m}{n})-3\)=0
より、式を整理すると、
2\(n^3\)=\(m^2(3m+n)\)

ここで、\(m\)が偶数、\(n\)が奇数として
●\(m\)=\(2a+1\)
●\(n\)=\(2b\)
(\(a,b\)とおく)
とおくと

(両辺)は
16\((b)^3\)=\((2a+1)^2(2(3a+b)+1)\)
となり、(左辺)は16の倍数であるが、(右辺)は奇数になり、
(両辺)一致に矛盾する。

よって、方程式\(2x^3-x-3\)=0は有理数の解がない

いかがだったでしょうか。
最初は背理法のパターン演習で慣れてから
応用はとにかく矛盾する例を探す!
矛盾するような仮定、条件、条件式を作って
矛盾する反例を1つ見つけましょう。
この論証が難しいですが、ビジネスにも活かせます!

いかがだったでしょうか?このような良問を【QCセミナー 高校数学】でまとめています。

➃全問題の解説は問題集にあります

「QCセミナー」

QCプラネッツが提供するe-learningシステム「QCセミナー」を提案します。

4つの信念をもって、講座を提供します。

  1. 中学までの勉強方法は一切通用しないことを心得よ!
  2. 1問を100回解く反復練習が重要!
  3. 高校生活を優位に、希望大学を勝ち取れるムダのない洗練された問題と講義で学習!
  4. 数学が得意な文系、1流の理系・エンジニアで食べていける力を養成

学習環境

講座のご購入後に、各学習サイトへご案内します。
●教材はダウンロードしてください。
●QCプラネッツの動画解説で学習ください。

HM-2 数と式

本講座の特徴

  1. 基礎は最も簡単、でもいくらでも難しくできるのが数と式
  2. 因数分解、式の値をしっかり演習する
  3. 高校数学最難の背理法の基礎を習得する

をしっかり何度も復習して習得しましょう。

各単元

  • 02-01 恒等式
  • 02-02 因数分解
  • 02-03 整式の剰余
  • 02-04 整数の性質
  • 02-05 方程式の整数解
  • 02-06 背理法
  • 02-07 根号を含む計算
  • 02-08 指数と対数
  • 02-09 常用対数
  • 02-10 式の値
  • 02-11 不等式の証明・相加相乗平均
No 講座 講座・ご購入
HM-2 数と式 a
高1
a

メルカリでもご購入いただけます。

メルカリからでもご購入いただけます。

よろしくお願いいたします。

まとめ

「背理法がわかる(背理法は高校数学で最高級の証明方法)」を解説しました。

  • ①背理法は高校数学で最高級の証明方法
  • ➁おさえるべき重要問題
  • ➂解法
  • ➃全問題の解説は問題集にあります

error: Content is protected !!