Nota : please, click inside the following rectangle in order to access the next page [cliquez à l'intérieur du rectangle ci-dessous afin de passer à la page suivante].

                    IL Y A UNE INFINITE DE NOMBRES PREMIERS                                                                                 
                                                                                                                                            
     Une démonstration par l'absurde :                                                                                                      
                                                                                                                                            
     Hypothèse : il y a un nombre fini 'n' de nombres premiers.                                                                             
     ---------                                                                                                                              
                                                                                                                                            
     Il en existe donc une liste L :                                                                                                        
                                                                                                                                            
                         L = {P ,P ,P ,...,P }                                                                                              
                               1  2  3      n                                                                                               
                                                                                                                                            
     telle que :                                                                                                                            
                                                                                                                                            
                         P < P < P <...< P                                                                                                  
                          1   2   3       n                                                                                                 
                                                                                                                                            
     On définit le nombre :                                                                                                                 
                                                                                                                                            
                         N = P x P x P  x...x P  + 1                                                                                        
                              1   2   3        n                                                                                            
                                                                                                                                            
                                                       ==> [1] N > P \-/ i                                                                  
                                                                    i                                                                       
                                                                                                                                            
                                                       ==> [2] aucun P  ne divise N (il y a systématiquement un reste égal à 1)             
                                                                      i                                                                     
     Deux cas sont possibles :                                                                                                              
                                                                                                                                            
               1-N est premier :                                                        or [1] ==> N n'est pas dans L                       
                                                                                               ==> L est incomplète                         
                                                                                               ==> L n'existe pas       ==> CONTRADICTION   
                                                                                                                                            
               2-N n'est pas premier : il peut donc être décomposé en facteurs premiers or [2] ==> aucun P  de L                            
                                                                                                          i                                 
                                                                                               ==> L est incomplète                         
                                                                                               ==> L n'existe pas       ==> CONTRADICTION   
                                                                                                                                            
                                                                                                                                            
                                                                                                                                            
                                                                                                                                            
                                                                                                                                            
 JFC                                                                                                                                        
 www.lactamme.polytechnique.fr                                                                                                              



[Go back to AVirtualMachineForExploringSpaceTimeAndBeyond [Retour à AVirtualMachineForExploringSpaceTimeAndBeyond]]
[Site Map, Help and Search [Plan du Site, Aide et Recherche]]
[Mail [Courrier]]


Copyright (c) Jean-François Colonna, 2018.
Copyright (c) CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / Ecole Polytechnique, 2018.