Number Theory Notes (22 Oct 2011) – Part III

Finally, we shall solve two more problems – the last problem is rather surprising since at first glance, it doesn’t appear to involve congruences.

Problem 4 : Prove that if n is a perfect square, then n^2 \equiv 0, 1 \pmod 4.

Solution : this is rather simple: one could always write n = m2 and consider all possibilities of m modulo 4. But it’s easier to just consider m mod 2:

  • If m = 2k is even, then m2 = 4k2 is a multiple of 4.
  • If m = 2k+1 is odd, then m2 = 4k2 + 4k + 1 is congruent to 1 mod 4. ♦

The next problem illustrates a common technique, called infinite descent.

Problem 5 : Prove that the only solution of x^2 + 2y^2 = 5z^2 in integers is x = y = z = 0.

Solution : first it is clear that if x = 0 or y = 0, then we must have x = y = z = 0. Hence we assume that x, y and z are all non-zero. Taken modulo 5, we have

x^2 \equiv 0, 1, 4 \pmod 5, \quad 2y^2 \equiv 0, 2, 3 \pmod 5.

Hence, the only possibility for x^2 + 2y^2 to be a multiple of 5 is x^2 \equiv y^2 \equiv 0 \pmod 5. Thus x and y are both multiple of 5: write x = 5x’ and y = 5y’ which gives 25x'^2 + 50y'^2 = 5z^2, i. e. 5x'^2 + 10y'^2 = z^2. But this in turn means z is a multiple of 5: z = 5z’, so we are back to the original equation:

x'^2 + 2y'^2 = 5z'^2.

Since x, y and z are non-zero, so are x’, y’ and z’. But here the trouble begins: we can apply the same logic above and come to the conclusion that x’, y’ and z’ are also all multiples of 5, and so on, and so on. Thus, x, y and z are divisible by arbitrarily high powers of 5(!) which is clearly impossible if they are non-zero. ♦

This entry was posted in Notes and tagged , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s