Salut à tous
Voilà je dois démontrer un théorème grâce à une série de questions mais je ne comprends déjà pas la 1ère.
Problème
On se propose de démontrer la propriété suivante : "La décomposition d'un entier naturel supérieur ou égal à 2, en produit de facteurs premiers, est unique".
Enoncé
S'il existe des entiers naturels admettant deux décompositions distinctes, on désigne le plus petit de ces entiers naturels par n :
n = p1p2 .... pr = q1q2 ..... qs
où p1, p2, .... pr, q1, q2, ..... qs sont des nombres premiers tels que :
p1 p2 ... pr et q1 q2 ... qs.
1) Démontrer que si un même nombre premier p figure dans les 2 décompositions, alors n/p admet 2 décompositions distinctes. En déduire qu'aucun nombre premier ne figure dans les 2 décompositions.
Voilà c'est la 1ère question. Donc je me disais que pour la 1ère partie de la question il fallait supposer que par exemple, p = p 3 et donc n/p se simplifiait et on obtenait une 1ère décomposition. et puis on posait ensuite p = q5 (par exemple) et on obtenait une autre décomposition. Mais est ce que c'est valable? et par contre pour la 2ème partie de la question je suis bloquée.
Merci de m'aider
P.S: Désolée pour les "inf.ou égal" mais le signe ne marche pas et ca met des points d'interrogations à la place.
Problème résolu avec ce code LaTeX [*tex]1$\leq[/mtex] sans *, bien sûr, N.d.Z.
Oui c'est valable ; maintenant, on peut réitérer le procédé, jusqu'à expurger tous les facteurs premiers communs à ces deux décompositions de n : cela donne que l'entier n/(pqr...s) s'écrit de deux façons différentes comme produit de facteurs premiers de telle sorte qu'il n'y en ait aucun en commun aux deux décompositions, par exemple
n/(pqr...s) = abc...d et n/(pqr...s) = xy...z.
Donc ceci signifie que le nombre permier a divise wxy...z, mais alors cela ne se peut que si l'un parmi x, y, ... ou z est lui-même égal à a (propriété des nombres premiers si un nombre premier divise un produit, il divise l'un de ses facteurs). Ceci est contradictoire avec le fait qu'on a expurgé tous les facteurs communs aux deux décopositions.
Il me semble que je vais un peu trop vite en écrivant cela... qu'en penses-tu ? peut-être les questions suivantes nous aideraient-elles à affiner le raisonnement. D'ailleurs, j'ai besoin de savoir ce qui a été vu en classe : le théorème de Bézout (ou de Bachet) ? le lemme de Gauss (ou d'Euclide) ?
Ok j'ai trouvé : il s'agit d'une approche particulière (Zermelo, 1934) d'après ce que j'ai pu lire dans un bouquin de Warusfel.
Question 1 : garde bien à l'esprit que n est le plus petit des entiers ayant deux décompositions distinctes ; c'est justement cette minimalité qui permet de trouver une contradiction dans la deuxième partie de cette question (compare n et n/p).
On verra la suite plus tard : il faut toujours être prudent avec les preuves de ce théorème, qui ont toujours une part délicate quelquepart...
Soit donc n le plus petit des entiers admettant une décomposition non-unique, ou plutôt deux décompositions distinctes
n = p1p2 .... pr = q1q2 ..... qs
où les pi et les qj sont des nombres premiers tels que :
p1 p2 ... pr et q1 q2 ... qs.
Le fait que les deux décompositions soient distinctes signifie que l'un (au moins) des nombres premiers de la première décomposition ne figure pas dans la seconde.
Alors si p est un nombre premier qui figure dans les deux décompositions, par exemple p = p1 = q1 (mais ça ne changerait rien de prendre pk et qh), on a d'une part
n/p = p2 .... pr,
et d'autre part
n/p = q2 ..... qs.
Mais, p étant un nombre premier, on a p 2, donc le nombre entier n/p est plus petit que n. Ainsi, le nombre n/p admet les deux décompositions ci-dessus ; or, celles-ci sont nécessairement distinctes, puisqu'on a simplifié par un facteur commun aux deux décompositions de n. Donc, la définition de n est contredite, puisqu'on peut trouver un nombre plus petit, qui admette deux décompositions distinctes.
Cela signifie qu'il ne peut exister aucun nombre premier p commun aux deux décompositions de n : chaque facteur pi est différent de chaque facteur qj.
***
Et sinon, dans les questions 2a), b) et 3a), b) et c), qu'as-tu su faire ?
ok j'ai compris. la dernière publication n'était pas encore actualisée quand j'ai répondu.
Ensuite pour la question 2) a), j'ai lu dans un livre le corollaire suivant : "Tout entier naturel 2 n non premier admet au moins un diviseur premier p vérifiant : p2 n "
Mais je ne sais pas si j'ai le droit de m'en servir.
Si j'ai le droit de me servir de ça, alors la question 2b) ne pose pas de problème.
puisque si p12 n et q12 n , alors p12q12 n2
Or comme ce sont tous les 2 des entiers naturels non nuls, on a p1q1 n .
Oui, c'est ce dont il faut se servir : bien entendu, il faut savoir le démontrer. Dans quel livre l'as-tu lu ?
En fait, le corollaire (comme tu dis) est plus précis : si n est composé supérieur à 2, alors son plus petit diviseur premier p est tel que √p soit inférieur à n (ie p inférieur à n²).
Pourquoi cela ? en écrivant n=pn', on a n' supérieur à p, donc pn' supérieur à pp, c-à-d. n supérieur à p².
On en donne aussi parfois une preuve par l'absurde : supposons que tous les diviseurs de n soit supérieurs strictement à √n, alors pn' serait strictement supérieur à n (avec les notations précédentes), ce qui est contradictoire.
Attention : lorsque tu termines ton raisonnement, tu as une inégalité large, alors que le sujet en veut une stricte.
Je l'ai lu dans un livre de maths que j'ai emprunté au lycée : Déclic Maths Terminale S. La démonstration donnée dans le livre est très courte et peu claire donc elle n'est pas vraiment utilisable.
Sinon comment peut-on arriver de 2 inégalités simples à une inégalité stricte?
j'essaie de faire la suite des questions :
3) a) a= n - p1q1. Démontrer que a est divisible par p1 et q1.
a= n - p1q1
Or n est divisible par p1 et q1 d'après l'énoncé et p1q1 est lui même divisible par p1 et q1.
Ainsi, n - p1q1 est divisible par p1 et q1 et donc a est divisible par p1 et q1.
b) je posterai la suite de mon raisonnement ensuite car je dois y aller
Je commence par l'histoire de l'inégalité stricte, si tu veux bien.
Donc partant de p12 n et q12 n, tu en déduis correctement que
p1q1 n.
Pourquoi cette inégalité est-elle stricte ? A mon avis parce que tu sais d'après la 1re question que chacun des pi est différent de chacun des qj, donc p1q1 ne peut pas être une décomposition du nombre composé n. Ainsi, on ne peut pas avoir n = p1q1.
Mais c'est immédiat : cela découle du fait que n est défini comme le plus petit entier admettant plusieurs décompositions ; or tu as prouvé que 1 < a < n, donc...
Il reste juste une dernière question : Démontrer que q1 divise n / p1 .
voilà ce que j'ai répondu :
On a n = a + p1q1
D'où n/p1 = a/p1 + q1 puisque p1 est différent de 0.
Or q1 divise a d'après 3)a) donc q1 divise a/p1.
De plus, q1 divise q1 donc q1 divise a/p1 + q1 c'est à dire q1 divise n/p1.
Voilà. est ce cela?
Ensuite , à la fin de la question, il est demandé de conclure.
... tu veux dire paumée ? sinon, je ne peux rien pour toi lol
Je dis que ta démarche est correct, à mon avis... je répète juste mes questions :
- est-ce que n/p1 possède plusieurs décompositions ?
- qu'est-ce que cela implique ?
euh non je ne pense pas que n/p1 possède plusieurs décompositions d'après la question 1) ce n'est pas possible.
Cela implique que n a une décomposition unique puis p1 est premier donc il n'a pas de décomposition à part lui même multiplié par 1 d'où, puisque n/p1 n'admet pas plusieurs décompositions, alors n admet une décomposition unique.
Ca m'a l'air assez fouilli ce que j'ai dit... désolée
Hum hum, pommée, c'est bien aussi d'un certain point de vue mdr
Plus sérieusement, oui certes puisque n/p1 est moindre que n, alors il admet une unique décompositon, laquelle contient nécessairement q1 puisque q1 divise n/p1.
Mézalors, n/p1 s'écrit q1 x y ... z, et donc n = p1 q1 x y ...z, ce qui est en contradiction avec 1).
