🏠 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年度後期数学文理共通第4問 横浜国立大学文系2024年度後期数学第1問 奈良女子大学理学部2024年度数学第1問 成城大学経済学部2024年度A方式1日目数学第3問 一橋大学2024年度後期数学第5問1 近畿大学医学部2024年度後期数学第3問