prove that 4q^2 = p^2 + 3r^2.