回答

√3は無理数⇒分数では表せないって言うのが基本的な考え方やな
背理法を使って√3を有理数と仮定して矛盾を導き出すのもいい
√3が無理数であることを利用してって書いてるならだいたいこのやり方を使う。

対偶にしたら≠になって扱いにくいからこの場合やりにくそう

この回答にコメントする
疑問は解決しましたか?