2) Pour tout entier naturel
:
A. est pair
Si
est pair alors
est pair.
Si
est impair alors
est impair donc
est pair, puis
.
B. est multiple de
Contre-exemple : pour
,
et
n'est pas un multiple de
.
C. est multiple de
Le produit de deux entiers consécutifs est multiple de
, puisque l'un des entiers est pair.
Le produit de trois entiers consécutifs est multiple de
, puisque l'un des entiers est multiple de
.
et
sont premiers entre eux donc
est multiple de
.
D. est multiple de
Soit .
D'après la proposition précédente, est multiple de
donc
est multiple de
. De plus,
, produit de 4 entiers consécutifs, est multiple de
. En effet, l'un des facteurs est multiple de
et l'un des trois autres est nécessairement pair.
et
étant premiers entre eux,
est multiple de
.