Fermat's Little Theorem: Proving p-1! ≡ -1 (mod p)

  • Thread starter Thread starter moonlight310
  • Start date Start date
  • Tags Tags
    Theorem
moonlight310
Messages
2
Reaction score
0

Homework Statement



let p be prime then, (p-1)! is congruent to -1 mod p

Homework Equations





The Attempt at a Solution



I'm not sure where to start
 
Physics news on Phys.org
First of all you should try some examples out for small prime.

Since p is prime, the set {1, 2, ... p-1} is a group under multiplication, modulo p. This means that there is a (unique) inverse for each element.
 
I've tried small numbers and it works. So since it has an inverse it means that it can be mod p ? I'm sorry I don't understand this stuff very well.
 
The fact there there is an inverse means that for each element x, there is an element y such that xy = 1 mod p - and this is only true because p is a prime (a well known group theory result). The main idea for the proof of this theorem is to try to pair up each element with it's inverse (which is valid since this group is commutative).
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top