That's an interesting proof, because I can easily follow it mechanically, but I have absolute no intuition for it.
p^2=2q^2
with p and q mutually prime, which is impossible.
Instead of irreducible fractions with coprime numbers, he is doing the “dual” using the minimum possible value of the denominator.