>>41
>「無理数の無理数乗が有理数になることがある」なら、排中律を使う証明と構成的証明を知ってるけど、


それをご存知なら排中律を使う非構成的証明を所望いたします