от martin123456 » 26 Фев 2012, 14:35
3
[tex]p>1[/tex] очевидно. От т-мата на Уилсън имаме [tex]p \in \mathbb{P}[/tex].
[tex](p-1)!=p^m-1[/tex]. Лявата страна се дели на [tex](p-1)^2:\hspace{2mm}\frac{(p-1)!}{(p-1)^2}=\frac{(p-2)!}{p-1}[/tex]. Но [tex]p-1 \not \in\mathbb{P} \Rightarrow p-1=mn,\hspace{2mm}1<m \le n\le p-2[/tex], докато [tex](p-2)!=1\ldots m \ldots n \ldots (p-2)[/tex]. Единствено може [tex]m=n[/tex] да спъва нещата. Т.е. ако не съществува 2 различни числа, по-големи от 1, че [tex]p-1[/tex] да се представя като тяхно произведение. Единствена възможност е [tex]p-1=q^2,\hspace{2mm}q\in \mathbb{P}[/tex]. Aко допуснем, че [tex]q^2[/tex] не дели [tex](p-2)![/tex] излиза, че (ясно, че [tex]q|(p-2)![/tex]) [tex]2q > p-2[/tex], .т.е. [tex]q^2+1-2<2q \Rightarrow q^2-2q-1<0 \Rightarrow (q-1)^2-2<0 \Rightarrow q=2 \Rightarrow p=5[/tex].
Значи [tex](p-1)^2|(p^m-1)[/tex]. Но [tex]p^m=((p-1)+1)^m \equiv (p-1){m \choose 1}+1=m(p-1)+1 \pmod{(p-1)^2}[/tex]. Значи [tex]m(p-1) \equiv 0 \pmod{(p-1)^2} \Rightarrow m \ge p-1 \Rightarrow p^m \ge p^{p-1} > (p-1)^{p-1}+1[/tex] - за последното ясно че [tex]p^{p-1}>(p-1)^{p-1}[/tex]. Да допуснем, че [tex]p^{p-1}=(p-1)^{p-1}+1 \Rightarrow (-1)^{p-1}+1 \equiv 0 \pmod{p}[/tex], което е невъзможно за [tex]p \ne 2[/tex].
Известно е, че [tex]n^n \ge n![/tex], значи [tex]p^m > (p-1)1+1[/tex]. Противоречие.