Proofs of Fermat's Little Theorem - Proof Using The Binomial Theorem

Proof Using The Binomial Theorem

This proof uses induction to prove the theorem for all integers a ≥ 0.

The base step, that 0 p ≡ 0 (mod p), is true for modular arithmetic because it is true for integers. Next, we must show that if the theorem is true for a = k, then it is also true for a = k+1. For this inductive step, we need the following lemma.

Lemma. For any prime p,

An alternative way of viewing this lemma is that it states that

for any x and y in the finite field GF(p).

Postponing the proof of the lemma for now, we proceed with the induction.

Proof. Assume kpk (mod p), and consider (k+1)p. By the lemma we have

Using the induction hypothesis, we have that kpk (mod p); and, trivially, 1p = 1. Thus

which is the statement of the theorem for a = k+1. ∎

In order to prove the lemma, we must introduce the binomial theorem, which states that for any positive integer n,

where the coefficients are the binomial coefficients,

described in terms of the factorial function, n! = 1×2×3×⋯×n.

Proof of lemma. The binomial coefficients are all integers and when 0 < i < p, neither of the terms in the denominator includes a factor of p, leaving the coefficient itself to possess a prime factor of p which must exist in the numerator, implying that

Modulo p, this eliminates all but the first and last terms of the sum on the left-hand side of the binomial theorem for prime p. ∎

The primality of p is essential to the lemma; otherwise, we have examples like

which is not divisible by 4.

Read more about this topic:  Proofs Of Fermat's Little Theorem

Famous quotes containing the words proof and/or theorem:

    The thing with Catholicism, the same as all religions, is that it teaches what should be, which seems rather incorrect. This is “what should be.” Now, if you’re taught to live up to a “what should be” that never existed—only an occult superstition, no proof of this “should be”Mthen you can sit on a jury and indict easily, you can cast the first stone, you can burn Adolf Eichmann, like that!
    Lenny Bruce (1925–1966)

    To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.
    Albert Camus (1913–1960)