Question

..:*♡o｡

√5が有理数でない証明で、背理法を使って証明すると思うのですが、√5が有理数であるとき、√5=p/qでpとpはなぜ互いに素である自然数でなくてはいけないんですか？

Answer 1

✨ ベストアンサー ✨

赤い彗星

pとqが互いに素⇨p/qが既約分数（これ以上約分できない分数）
背理法で証明していくなかで、p/qが既約であることに矛盾するからです。