Square Modulo 3

Theorem

Let $x \in \Z$ be an integer.

Then one of the following holds:

\(\ds x^2\)

\(\equiv\)

\(\ds 0 \pmod 3\)

\(\ds x^2\)

\(\equiv\)

\(\ds 1 \pmod 3\)

This article is complete as far as it goes, but it could do with expansion. In particular: explain exactly which You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Corollary 1

Let $x, y \in \Z$ be integers.

Then:

$3 \divides \paren {x^2 + y^2} \iff 3 \divides x \land 3 \divides y$

where $3 \divides x$ denotes that $3$ divides $x$.

Corollary 2

Let $x, y, z \in \Z$ be integers.

Then:

$x^2 + y^2 = 3 z^2 \iff x = y = z = 0$

Corollary 3

Let $n \in \Z$ be an integer such that:

$3 \nmid n$

where $\nmid$ denotes non-divisibility.

Then:

$3 \divides n^2 - 1$

where $\divides$ denotes divisibility.

Proof

Let $x$ be an integer.

Using Congruence of Powers throughout, we make use of:

$x \equiv y \pmod 3 \implies x^2 \equiv y^2 \pmod 3$

There are three cases to consider:

$(1): \quad x \equiv 0 \pmod 3$: we have $x^2 \equiv 0^2 \pmod 3 \equiv 0 \pmod 3$

$(2): \quad x \equiv 1 \pmod 3$: we have $x^2 \equiv 1^2 \pmod 3 \equiv 1 \pmod 3$

$(3): \quad x \equiv 2 \pmod 3$: we have $x^2 \equiv 2^2 \pmod 3 \equiv 1 \pmod 3$

$\blacksquare$

Sources

• 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): Chapter $2$: Some Properties of $\Z$: Exercise $2.9$
• 1980: David M. Burton: Elementary Number Theory (revised ed.) ... (previous) ... (next): Chapter $2$: Divisibility Theory in the Integers: $2.1$ The Division Algorithm: Problems $2.1$: $3 \ \text{(b)}$