ある数が無理数である証明において、その数が有理数であると仮定し、整数m,nを用いて、m/nのように分数で表せるとおくとき、m,nは互いに素という文言は必須ですか?

[ゲスト]

件名の通りです。よろしくお願いいたします。

[ゲスト]

互いに素という条件がないと矛盾が起きないので必要です。