24.10.2014 Views

Modular Arithmetic Recap We use the notation an...a2a1a0 for the ...

Modular Arithmetic Recap We use the notation an...a2a1a0 for the ...

Modular Arithmetic Recap We use the notation an...a2a1a0 for the ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2<br />

Perfect squares<br />

Which numbers n c<strong>an</strong> be perfect squares?<br />

Note: There are only p equivalence classes (mod p): n = 0, 1, 2, ..., or p − 1.<br />

As n 2 ≡ (−n) 2 ≡ (p − n) 2 ( mod p), , <strong>the</strong>re are at most p/2 possible values that<br />

a perfect square c<strong>an</strong> take mod p:<br />

n 2 ≡ 0 or 1 ( mod 3),<br />

beca<strong>use</strong> 02 ≡ 0 ( mod 3),<br />

1 2 ≡ 2 2 ≡ 1 ( mod 3).<br />

n 2 ≡ 0 or 1 ( mod 4),<br />

beca<strong>use</strong> 02 ≡ 2 2 ≡ 0 ( mod 4),<br />

1 2 ≡ 3 2 ≡ 1 ( mod 4).<br />

n 2 ≡ 0 or 1 or −1 ( mod 5),<br />

beca<strong>use</strong> 12 ≡ 4 2 ≡ 1 ( mod 4),<br />

2 2 ≡ 3 2 ≡ −1 ( mod 4),<br />

.................................................................................................................<br />

n 2 ≡ 0 or 1 or 4 or 5 or 6 or 9 ( mod 10).<br />

...............................................................................................................<br />

If p is prime, <strong>the</strong>n p 2 ≡ 1 ( mod 12) .<br />

Indeed, looking at <strong>the</strong> factors of 12k, 12k +2, 12k +3, 12k +4, 12k +6, 12k +8, 12k +<br />

9, 12k + 10 we see <strong>the</strong>se c<strong>an</strong>’t be written as p 2 <strong>for</strong> p prime.<br />

Then 12k + 5 ≡ 12k + 11 ≡ 2 ( mod 3) so <strong>the</strong>y c<strong>an</strong>’t be perfect squares, <strong>an</strong>d<br />

12k + 7 ≡ 3 ( mod 4) so it c<strong>an</strong>’t be a perfect square.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!