√3は無理数であることを証明しろって問題で、まず背理法で、√3＝p/qとおいて、
式変形をして、ｐ＝√3ｑ　ｑ＝√3ｐ/3　ｐ、ｑを互いに素ってことだけど、ｐ、ｑ
が√3で割れるから矛盾と導くのは間違いですか？