Report question
While proving the irrationality of \(\sqrt{3}\), a student assumes \(\sqrt{3}=\frac{a}{b}\), where \(a\) and \(b\) are coprime. After obtaining \(a^2=3b^2\), the student states that both \(a\) and \(b\) are divisible by 3. Which reasoning is necessary to justify this conclusion?