Report question
A student assumes \(\sqrt{2}=p/q\), where \(p\) and \(q\) are coprime integers, to prove that \(\sqrt{2}\) is irrational. From \(p^2=2q^2\), the student writes \(p=2m\) and obtains \(q^2=2m^2\). The student says that since \(p\) and \(q\) are coprime, \(q\) must be odd. What is the correct correction to this statement?