Report question
While proving that \(\sqrt{2}\) is irrational by contradiction, assume \(\sqrt{2}=\frac{p}{q}\), where \(p\) and \(q\) are coprime. After obtaining \(p^2=2q^2\) and showing that \(p\) is even, which conclusion must be established to get a contradiction?