■

＞akatori777さん
あー、なるほど、そうやればいいんですね。
有理数であると仮定して、m/nとするところまでは覚えてたんですが、その後どう操作するのか忘れてました。
もっと面倒なことをやって、一応矛盾を導いてみましたが、合ってるかは微妙です（汗
わざわざありがとうございましたー。