Postulat de BertrandEn mathématiques, le postulat de Bertrand affirme qu'entre un entier et son double, il existe toujours au moins un nombre premier. Plus précisément, l'énoncé usuel est le suivant : Le postulat de Bertrand est aussi connu sous le nom de théorème de Tchebychev, depuis que Pafnouti Tchebychev l’a démontré en 1850. L'énoncé usuel du postulat de Bertrand : 1. Pour tout entier , il existe un nombre premier tel que . est équivalent aux quatre suivants : 2. Pour tout entier , il existe un nombre premier tel que . 3.
Pafnouti TchebychevPafnouti Lvovitch Tchebychev (en Пафнутий Львович Чебышёв), né le à Okatovo, près de Borovsk, et décédé le à Saint-Pétersbourg, est un mathématicien russe. Son nom a tout d'abord été transcrit en français Tchebychef et la forme Tchebycheff est aussi utilisée en français. Il est aussi transcrit Tschebyschef ou Tschebyscheff (formes allemandes), Chebyshov ou Chebyshev (formes anglo-saxonnes). Il est connu pour ses travaux dans les domaines des probabilités, des statistiques, et de la théorie des nombres.
Produit eulérienEn mathématiques, et plus précisément en théorie analytique des nombres, un produit eulérien est un développement en produit infini, indexé par les nombres premiers. Il permet de mesurer la répartition des nombres premiers et est intimement lié à la fonction zêta de Riemann. Il est nommé en l'honneur du mathématicien suisse Leonhard Euler. Euler cherche à évaluer la répartition des nombres premiers p = 2, p = 3, ....
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Nombre premiervignette|Nombres naturels de zéro à cent. Les nombres premiers sont marqués en rouge. vignette|Le nombre 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs. Ces deux diviseurs sont 1 et le nombre considéré, puisque tout nombre a pour diviseurs 1 et lui-même (comme le montre l’égalité n = 1 × n), les nombres premiers étant ceux qui ne possèdent pas d'autre diviseur.
