Dowieść, że spośród siedmiu liczb naturalnych tworzących postęp arytmetyczny o różnicy
jedna i tylko jedna jest podzielna przez
.
Siedem liczb tworzących postęp arytmetyczny o różnicy
można napsać w postaci:
. Różnica którychkolwiek dwóch z tych liczb ma postać
![]() |
gdzie
i
są liczbami całkowitymi, przy czym
,
,
, wobec czego
i
. Liczba
jest podzielna przez
, a liczba
nie jest podzielna przez
, gdyż jej wartość bezwzględna jest liczbą naturalną parzystą nie większą niż
. Wobec tego suma tych liczb tj. liczba
nie jest podzielna przez
. Stąd wynika, że każda z rozważanych siedmiu liczb daje inną resztę przy dzielniku
, a zatem jedna i tylko jedna z tych siedmiu reszt równa się zeru, c. n. d.