There's a shorter proof which requires unique factorization of integers, while ignoring the assumption that a and b have no common factors.

Given a^2 = 2b^2, neither have the same number of 2s as a factor, therefore they can't be equal.

This question is for testing whether you are a human visitor and to prevent automated spam submissions.