Démonstration élémentaire
En mathématiques, une preuve élémentaire est une démonstration mathématique qui n'utilise que des techniques de base. Plus précisément, le terme est utilisé en théorie des nombres pour désigner des preuves qui ne font pas appel à l'analyse complexe. Historiquement, on pensait autrefois que certains théorèmes, comme le théorème des nombres premiers, ne pouvaient être prouvés qu'en invoquant des théorèmes ou des techniques mathématiques "plus élevés". Cependant, au fil du temps, bon nombre de ces résultats ont également été réfutés par la suite en utilisant uniquement des techniques élémentaires. Bien qu'il n'y ait généralement pas de consensus quant à ce qui est considéré comme élémentaire, le terme fait néanmoins partie intégrante du jargon mathématique. Une preuve élémentaire n'est pas nécessairement simple, dans le sens où elle peut ne pas être facile à comprendre ou triviale. En fait, certaines preuves élémentaires peuvent être assez compliquées - et cela est particulièrement vrai lorsqu'il s'agit d'un énoncé d'une importance notable. La distinction entre les preuves élémentaires et non élémentaires a été considérée comme particulièrement importante quand on s'et intéressé au théorème des nombres premiers. Ce théorème a été prouvé pour la première fois en 1896 par Jacques Hadamard et Charles Jean de la Vallée-Poussin en utilisant l'analyse complexe . De nombreux mathématiciens ont alors tenté de construire des preuves élémentaires du théorème, sans succès. G.H. Hardy a exprimé de fortes réserves ; il considérait que la « profondeur » essentielle du résultat excluait les preuves élémentaires : Cependant, en 1948, Atle Selberg a produit de nouvelles méthodes qui l'ont amené, ainsi que Paul Erdős, à trouver des preuves élémentaires du théorème des nombres premiers. Une formalisation possible de la notion d '« élémentaire » en relation avec une preuve d'un résultat théorique des nombres est la restriction que la preuve peut être effectuée en arithmétique de Peano . Dans ce sens également, ces preuves sont élémentaires.