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.
Fonction zêta de Riemannvignette|upright=2|La fonction zêta de Riemann ζ(s) dans le plan complexe. La couleur d'un point s code la valeur de ζ(s) : des couleurs vives indiquent des valeurs proches de 0 et la nuance indique l'argument de la valeur. Le point blanc pour s = 1 est le pôle ; les points noirs sur l'axe réel négatif (demi-droite horizontale) et sur la droite critique Re(s) = 1/2 (droite verticale) sont les zéros. vignette|upright=2|Carte des couleurs utilisées dans la figure du dessus.
FactorielleEn mathématiques, la factorielle d'un entier naturel n est le produit des nombres entiers strictement positifs inférieurs ou égaux à n. Cette opération est notée avec un point d'exclamation, n!, ce qui se lit soit « factorielle de n », soit « factorielle n », soit « n factorielle ». Cette notation a été introduite en 1808 par Christian Kramp. Par exemple, la factorielle 10 exprime le nombre de combinaisons possibles de placement des 10 convives autour d'une table (on dit la permutation des convives).
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Leonhard EulerLeonhard Euler (), né le à Bâle (Suisse) et mort le à Saint-Pétersbourg (Empire russe), est un mathématicien et physicien suisse, qui passa la plus grande partie de sa vie dans l'Empire russe et en Allemagne. Il était notamment membre de l'Académie royale des sciences de Prusse à Berlin. Euler fit d'importantes découvertes dans des domaines aussi variés que le calcul infinitésimal et la théorie des graphes. Il introduisit également une grande partie de la terminologie et de la notation des mathématiques modernes, en particulier pour l'analyse mathématique, comme la notion de fonction mathématique.
Éléments (Euclide)Les Éléments (en grec ancien / stoïkheïa) est un traité mathématique et géométrique, constitué de 13 livres organisés thématiquement, probablement écrit par le mathématicien grec Euclide vers Il comprend une collection de définitions, axiomes, théorèmes et leur démonstration sur les sujets de la géométrie euclidienne et de la théorie des nombres primitifs. L'ouvrage est le plus ancien exemple connu d'un traitement axiomatique et systématique de la géométrie et son influence sur le développement de la logique et de la science occidentale est fondamentale.
