Th fondamental de l'algèbre

Bonjour j'aurais aimé savoir si quelques uns parmi vous connaissent un (ou des) site(s) où la preuve du theoreme de decomposition d'un entier en facteurs premiers est correctement effectuée

Merci à vous

Réponses

  • Tu peux télécharger mon poly de cours d'arithmétique.

    La preuve est p. 36-37. J'espère qu'elle est correcte !

    http://www.iecn.u-nancy.fr/~garet/cours/structures/index.php
  • Sinon elle est aussi dans le livre de Borde !
  • Ok merci à vous juste pour info j'ai rouvé cette démo sur Wikipedia (par l'absurde) est elle correcte?

    Supposons qu'il existe des entiers strictement positifs qui ne puissent pas être écrit comme un produit de nombres premiers. Appelons n le plus petit parmi ces nombres. Ce nombre n n'est pas 1, car 1 est le produit de zéro nombre premier. Il n'est pas non plus un nombre premier, car tout nombre premier est le produit d'un seul nombre premier, à savoir lui-même. Donc n = ab où a et b sont, deux entiers strictement positifs inférieurs à n. Mais, comme n est le plus petit nombre pour lequel le théorème tombe en défaut, a et b peuvent, tous les deux, être écrits comme des produits de nombres premiers. Mais alors n = ab peut être écrit comme un produit de nombres premiers, ce qui aboutit à une contradiction.

    Merci bien
  • Ceci est seulement la partie "existence" de la décomposition. C'est sans doute la plus rapide. Reste la partie "unicité", qui est déjà plus difficile à énoncer proprement !
  • Oui bien sur j'avais oublié de le préciser, il ne s'agit bien que de la partie "existence"

    Merci
  • Merci, Egoroff.

    Borde.
  • En Coq, c'est costaud, et ça permet de bien voir tout ce qui entre en jeu.

    Mais ça a été fait : http://lamp.epfl.ch/~sbriais/, merci Sébastien.
Connectez-vous ou Inscrivez-vous pour répondre.