√3が無理数であることを示せ
という問題でヒントとして有理数から背理法とかかれているんですが
これは、どうやるんでしょうか?