$\sqrt{3}$ は無理数であることを証明せよ。

$\sqrt{3}$ は無理数ではないと仮定する … ①

1 以外に 正の公約数をもたない … ② 2つの自然数 $a$, $b$ を用いて
$\sqrt{3}=\dfrac{a}{b}$ … ③ と表すことができる

○○　と　△△　は矛盾している。

これは ① を仮定したためである。

よって，命題が成り立つことがいえた。