2
$\begingroup$

I know to use Wilson's Theorem and that each element in the second half is congruent to the negative of the first half, but I'm not sure how to construct a proof for it.

  • 0
    Well, somebody already answered, but the point is that the combination of the two facts that you mentioned gives that the square of (2k+1)! Is 1, and then you can conclude that the square root is plus or minus 1, then use that 2k+1 is (p-1)/22012-10-28

1 Answers 1

3

$p-r\equiv -r\pmod p\implies r\equiv-(p-r)$

For uniqueness, $r\le p-r$ or $2r\le p\implies r\le\frac p 2$

So, $1\le r\le \frac{p-1}2$ as $p$ is odd

Putting $r=1,2,3,\cdots,\frac{p-3}2,\frac{p-1}2$ we get,

$1\equiv-(p-1)$

$2\equiv-(p-2)$

...

$\frac{p-3}2\equiv-(p-\frac{p-3}2)=\frac{p+3}2$

$\frac{p-1}2\equiv-(p-\frac{p-1}2)=\frac{p+1}2$

So, there are $\frac{p-1}2$ pairs so,

$(p-1)!=(-1)^{\frac{p-1}2}\left((\frac{p-1}2)!\right)^2$

Using Wilson's theorem, $(-1)^{\frac{p-1}2}\left((\frac{p-1}2)!\right)^2\equiv-1\pmod p$

If $p\equiv3\pmod 4,p=4t+3$ for some integer $t$,

So, $\frac{p-1}2=2t+1$ which is odd, so $(-1)^{\frac{p-1}2}=-1$

$\implies \left((\frac{p-1}2)!\right)^2\equiv1\pmod p$

$\implies \left(\frac{p-1}2 \right)!\equiv\pm1\pmod p$