0

I am working on the following exercise:

Show that $a^2+b^2 = 3$ has no rational solutions.

My proof goes as follows: Suppose there are two rational numbers $a = \frac{x}{d_1}$ and $b = \frac{y}{d_2}$ with $(x,d_1) = (y,d_2) = 1$ that solve the above equation. Then we can write:

$$x^2d_2^2+y^2d_1^2 = 3d_1^2d_2^2 \tag{1}$$

Since $x$ and $y$ are integers this implies w.l.o.g. that $x^2 = 2d_1^2$ and $y^2 = d_2^2$. But this in turn implies that $x = \sqrt{2}d_1$, which is obviously not an integer, a contradiction.

I think that this idea should work, but I think there should be a more elegant proof using the well known fact that for every odd prime $p$ holds

$$p = x^2 + y^2 \iff p \equiv 1 \bmod 4$$

, but I do not see how to do that here. Could you give me a hint?

peter.petrov
  • 12,568
3nondatur
  • 4,178
  • 3
    I understand that you are trying to use the specific idea that you mentioned, but I think the answer using modular arithmetic in the link is close enough to make it a duplicate. – Toby Mak Aug 28 '20 at 09:08

1 Answers1

6

"Since $x$ and $y$ are integers this implies..." >>> this part is shaky, it's not quite clear how that follows.

You'd better continue like this.

From $(1)$ one can see that $d_1 | d_2$ and vice versa. Hence $d_1 = d_2$
(because $d_1 \gt 0$ and $d_2 \gt 0$, you can assume this up front).

Then you're looking for integer solutions $x,y$ to

$$x^2 + y^2 = 3 d_1^2 \tag{2}$$

Then you need to use the descent method i.e. by arguing modulo $4$ for example, show that $3|x$, then it follows that $3|y$, then show (trivially) that $3|d_1$.

But $x,d_1$ were chosen as relatively prime which gives you a contradiction.

peter.petrov
  • 12,568
  • 1
    The method of descent works even faster $\bmod 3$, as you quickly find that $x\equiv y\equiv d_1\equiv 0 \bmod 3 $, so the number of factors of $3$ in $3d_1^2$ is always odd. – Keith Backman Aug 28 '20 at 15:55
  • 1
    @KeithBackman Yeah, I just I didn't want to use the fundamental theorem of arithmetic. If this theorem is known/used, the statement becomes too trivial. – peter.petrov Aug 28 '20 at 16:06