🏠 Home / 数学I / 集合と命題 / 命題

【発展】ルート2が無理数であることの証明(背理法を使わない方法)

背理法について説明するときには、「ルート2が無理数であることの証明」が使われることが多いです。このサイトでも、【基本】背理法で使いました。

ただ、別に背理法を使わなくても、直接示すこともできます。ここではその方法を紹介します。

📘 目次

背理法を使わない証明

例題
$\sqrt{2}$ が無理数であることを示しなさい。
証明
p, q を自然数とする。
$2p^2$, $q^2$ が2で割れる回数(自然数の範囲で)は、それぞれ奇数回と偶数回になるので、一致することはない。だから、任意の自然数 p, q について、\[ 2p^2 \ne q^2 \]となる。正の平方根同士も等しくないので、\[ \sqrt{2}p \ne q \]となる。
このことから、任意の自然数 p, q に対して、\[ \sqrt{2} \ne \frac{q}{p}\]となるので、$\sqrt{2}$ は無理数となる。
<証明終>

「2で割れる回数」に着目するというのは少し難しいかもしれません。しかも、この発想がないと、書けるものが何もありません。背理法なら結論を否定する部分は少なくとも書けるので、試験で部分点をとることを考えるとまだマシなのかもしれません。

背理法を使うと、基本的にまわりくどい証明になるので、直接証明する方法が思いつくのであれば、そちらを優先した方がいいでしょう。それが難しそうなら、背理法を使う証明を考えてみる、という順番で考えるのがいいですね。

関連するページ

YouTubeもやってます

チャンネル登録はコチラから (以下は、動画のサンプルです)
慶應義塾大学薬学部2024年度数学第1問5 同志社大学文系2024年度数学第1問3 昭和大学医学部I期2024年度数学第2問 兵庫医科大学2024年度数学第3問 共通テスト2B2024年度第3問2のヒントについて 久留米大学医学部推薦2024年度数学第4問