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

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

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

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

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

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