Difference between revisions of "Wilson's Theorem"
m (proofreading) |
(→Example) |
||
Line 16: | Line 16: | ||
<Solutions?> | <Solutions?> | ||
+ | |||
+ | ==Example #2== | ||
+ | If ''p'' is a prime <math>>2</math>, define <math>p=2q+1</math>. | ||
+ | Prove that <math>(q!)^2 + (-1)^q</math> is divisible by ''p''. | ||
+ | <math>q!^2=(2q)!(-1)^q=(p-1)!(-1)^q</math> then the claim follows due to Wilson's Theorem. ''(see [http://www.mathlinks.ro/Forum/viewtopic.php?&t=21733 here])'' | ||
== See also == | == See also == |
Revision as of 16:23, 19 June 2006
Contents
Statement
If and only if is a prime, then is a multiple of . In other words .
Proof
Wilson's theorem is easily verifiable for 2 and 3, so let's consider . If is composite, then its positive factors are among
Hence, , so .
However, if is prime, then each of the above integers are relatively prime to . So, for each of these integers a, there is another such that . It is important to note that this is unique modulo , and that since is prime, if and only if is or . Now, if we omit 1 and , then the others can be grouped into pairs whose product is congruent to one,
Finally, multiply this equality by to complete the proof.
Example
Let be a prime number such that dividing by 4 leaves the remainder 1. Show that there is an integer such that is divisible by .
<Solutions?>
Example #2
If p is a prime , define . Prove that is divisible by p. then the claim follows due to Wilson's Theorem. (see here)