0

背理法

3
1
$$$$

否定を否定する

ある命題「p=>q」を証明する(真と判定)のにその命題が成り立たない(偽である)と仮定して矛盾が生じることを示して真であることを主張する方法。

$$ \sqrt{2} は無理数 $$

$$ ( x = \sqrt{2}である )ならば( xは無理数 ) $$
背理法より
「xは有理数」と仮定する
$$\sqrt{2} = \frac{n}{m} $$
(mとnは既約)とおく
$$2 m^2 = n^2\rightarrow 2m ^2 = n ^2(偶数)$$
より
$$n = 2ℓ(偶数) $$

$$ 2 m^2 = n^2 = (2ℓ)^2 = 4ℓ ^2 $$
 
$$ m ^2 = 2ℓ ^2 (偶数) $$
$$ \sqrt{2} = \frac{n}{m} = \frac{2ℓ}{2k}(約分できる) $$
→矛盾
したがって√2は無理数

投稿日:2020112

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

ri
0
3

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中