Udowodnić, że
jest liczbą pierwszą wtedy i tylko wtedy, gdy dla każdego naturalnego
, takiego że
, współczynnik dwumianowy
![]() |
dzieli się przez
.
Jeśli
jest liczbą pierwszą, to dla
liczby
i
są mniejsze od
i wobec tego liczby
i
nie są podzielne przez
.
Ze wzoru
otrzymujemy
![]() |
Ponieważ lewa strona (1) jest podzielna przez liczbę pierwszą
, a
i
nie są podzielne przez
, więc liczba
jest podzielna przez
.
Przypuśćmy z kolei, że
jest liczbą złożoną i oznaczmy przez
pewien dzielnik pierwszy tej liczby. Gdyby liczba
była podzielna przez
, to dla pewnej liczby naturalnej
mielibyśmy
. Wtedy ze wzoru
![]() |
otrzymalibyśmy
, czyli
![]() |
Ponieważ
, więc liczby
nie są podzielne przez
. Zatem prawa strona równości (1) nie jest podzielna przez
, a lewa strona jest oczywiście podzielna przez
.
Otrzymana sprzeczność dowodzi, że liczba
nie jest podzielna przez
.