ある命題「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は無理数