Proof that $x^2 + y^2= 3$ has no rational solutions

Question

Prove that $x^2 + y^2 = 3$ has no rational solutions $(x,y) \in \mathbb Q^2$. Use this to prove that $x^2+y^2 = 3^k$ has no solutions $(x,y) \in \mathbb Q^2$ for each $k \in \mathbb {2N+1}$.

I've looked at this article after trying the proof myself and it seems I've used the last answer only I'll modify the denominator because I don't understand why the denominator can be the same. Should it not be different like in the following?

So this clearly is a proof that calls for contradiction ;)

Suppose that $x^2 + y^2 = 3$ has rational solutions $(x,y) \in \mathbb Q^2$.

Now you can write the equation as $(\dfrac ab)^2 + (\dfrac cd)^2 = 3$ $\qquad$ with $gcd(a,b,c,d)=1$

Then you can rewrite the expression in: $$\frac {a^2\cdot d^2 + b^2\cdot c^2}{b^2\cdot d^2} = 3$$

So now I'll make a parity check:

$(i)$ if $a,b,c$ and $d$ are even $\Rightarrow$ this contradicts the assumption for which $gcd(a,b,c,d) =1$

$(ii)$ if $a,b$ and $c$ are even and $d$ is uneven it still makes the entire fraction even which will lead to $(i)$

$(iii)$ if $a$ is even and $b,c$ and $d$ are uneven $\Rightarrow$

Here I'll get stuck because I could write the entire fraction in terms of even and uneven expressions and the work it out but that seems too much work for this.

$(iv)$ $a,b,c$ and $d$ are uneven

This will give me the same problem as in $(iii)$.

Answer 1

If each of $a/b$ and $c/d$ is in lowest terms, then $a^2/b^2$ and $c^2/d^2$ are also in lowest terms, and since their sum is an integer we must have $b^2=d^2$.

So we have $$ a^2+c^2 = 3b^2 $$ By working out the squares modulo $3$ we see that the only way for two squares to sum to a multiple of $3$ is that each of the squares is separately a multiple of $3$. This means that $3$ is a factor of both $a$ and $c$, so $a^2+c^2$ must be a multiple of $9$. But then $b$ must have a factor of $3$, contradicting that $a/b$ was in lowest terms!

Answer 2

You say "I don't understand why the denominator can be the same" but in effect you have written $x=ad/bd$ and $y=bc/cd$, having the same denominator. You do get $$(ad)^2+(bc)^2=3(bd)^2$$ so in effect $$u^2+v^2=3w^2\tag{*}$$ with $u=ad$ etc. You also fixate on evenness, that is divisibility by $2$. But in $(*)$ it's divisibility by $3$ that is important. The left side is divisible by $3$. But considering $u$ and $v$ modulo $3$ shows that this implies $u$ and $v$ have to be multiples of $3$. Then both sides of $(*)$ are multiples of $9$ so $w$ is also a multiple of $3$; so $3$ is a common factor of $u$, $v$, $w$. Take out this factor and repeat ad infinitum.

Answer 3

Suppose there are rational $x=a/b$ and $y=c/d$ that $x^2+y^2=3$. We can assume that $gcd(a,b)=gcd(c,d)=1$. Then, $$(ad)^2+(bc)^2 = 3(bd)^2$$ so $$ 3\mid(ad)^2+(bc)^2 \Longrightarrow 3|ad \;\wedge \; 3|bc $$ Then if $3|a$ we have $3|c$ so $3|bd$ and we have a contradiction.

Answer 4

Suppose we have minimal solution in integers to the equation $A^2+B^2=3C^2$. Consider this equation modulo $3$, recall that the squares of $0,1,2$ are $0,1,1$ respectively, so $A$ and $B$ must be divisible by $3$. Let $A=3a$ and $B=3b$ giving $3a^2+3b^2=C^2 $ , so $C$ must be divisible by $3$, so we have $a^2+b^2=3c^2$, which contradicts the supposition of minimality.