Démonstration Mathématique : Pourquoi n x (n+1) est Toujours un Nombre Pair

 Bonjour chers lecteurs, bienvenue sur notre blog Mathtec ! Dans cet article, nous allons explorer une démonstration mathématique intéressante : pourquoi le produit de deux entiers naturels consécutifs, n x (n+1), est toujours un nombre pair.

Pour illustrer ce concept, commençons par prendre l'exemple de n = 2023. Nous montrerons que, dans ce cas, n x (n+1) est effectivement un nombre pair. Cependant, étant donné qu'il existe une infinité d'entiers naturels, il est impossible de vérifier chaque cas individuellement. Nous utiliserons donc une méthode mathématique appelée la méthode par disjonction de cas.

Nous discuterons de la parité de n en considérant deux cas : si n est pair et si n est impair.

Dans le premier cas, si n est pair, nous montrerons qu'il peut s'exprimer comme 2 fois un certain entier k. En conséquence, nous pourrons exprimer n x (n+1) comme 2 fois un autre entier M, où M = k x (2k+1), clairement un entier naturel. Ainsi, dans le cas où n est pair, n x (n+1) est pair.

Dans le deuxième cas, si n est impair, il pourra s'exprimer comme 2h + 1, où h est un entier naturel. En factorisant n x (n+1), nous obtiendrons 2 fois un entier M, avec M = (2h + 1) x (h + 1), qui sera également un entier naturel.

En conclusion, que n soit pair ou impair, nous pouvons démontrer que n x (n+1) est pair. Cette conclusion est valable pour tous les cas possibles.

Nous espérons que cet article vous aidera à mieux comprendre cette intéressante propriété mathématique. N'hésitez pas à nous faire part de vos commentaires et à explorer d'autres sujets passionnants en mathématiques. Merci de nous avoir lu et à bientôt pour de nouvelles découvertes mathématiques !

Voici la solution complète que vous pouvez utiliser dans vos examens:  

Cas 1 : Si n est pair

Si n est pair\[\Rightarrow \exists k \in \mathbb{N} ; n=2 k\]
\[\Rightarrow n(n+1)=2 k(2 k+1)\]
\[=2 M\]
avec \[M=k(2 k+1) \in \mathbb{N}\]
donc \[n(n+1)\] est pair

Cas 2 : Si n est impair

Si n est impair \[\Rightarrow \exists h \in \mathbb{N} ; n=2h+1\]
\[\Rightarrow n(n+1) = (2 h+1)(2 h+1+1)\]
\[= (2 h+1)(2 h+2)\]
\[= 2(2 h+1)(h+1)\]
\[= 2 M\]
avec \[M=(2 h+1)(h+1) \in \mathbb{N}\]
donc \[n(n+1)\] est pair