Dernier théorème de FermatEn mathématiques, et plus précisément en théorie des nombres, le dernier théorème de Fermat, ou grand théorème de Fermat, ou depuis sa démonstration théorème de Fermat-Wiles, s'énonce comme suit : Énoncé par Pierre de Fermat d'une manière similaire dans une note marginale de son exemplaire d'un livre de Diophante, il a cependant attendu plus de trois siècles une preuve publiée et validée, établie par le mathématicien britannique Andrew Wiles en 1994.
Théorème des quatre carrés de LagrangeLe théorème des quatre carrés de Lagrange, également connu sous le nom de conjecture de Bachet, s'énonce de la façon suivante : Tout entier positif peut s'exprimer comme la somme de quatre carrés. Plus formellement, pour tout entier positif n, il existe des entiers a, b, c, d tels que : n = a + b + c + d. Il correspond à une équation diophantienne qui se résout avec les techniques de l'arithmétique modulaire.
Résidu quadratiqueEn mathématiques, plus précisément en arithmétique modulaire, un entier naturel q est un résidu quadratique modulo n s'il possède une racine carrée en arithmétique modulaire de module n. Autrement dit, q est un résidu quadratique modulo n s'il existe un entier x tel que : Dans le cas contraire, on dit que q est un non-résidu quadratique modulo n Par exemple : modulo 4, les résidus quadratiques sont les entiers congrus à 2 ≡ 0 = 0 ou à (±1) = 1.
Forme quadratique binaireEn mathématiques, une forme quadratique binaire est une forme quadratique — c'est-à-dire un polynôme homogène de degré 2 — en deux variables : Les propriétés d'une telle forme dépendent de façon essentielle de la nature des coefficients a, b, c, qui peuvent être par exemple des nombres réels ou rationnels ou, ce qui rend l'étude plus délicate, entiers. Fermat considérait déjà des formes quadratiques binaires entières, en particulier pour son théorème des deux carrés.
Sum of two squares theoremIn number theory, the sum of two squares theorem relates the prime decomposition of any integer > 1 to whether it can be written as a sum of two squares, such that = ^2 + ^2 for some integers a, b. An integer greater than one can be written as a sum of two squares if and only if its prime decomposition contains no factor ^k, where prime and k is odd. In writing a number as a sum of two squares, it is allowed for one of the squares to be zero, or for both of them to be equal to each other, so all squares and all doubles of squares are included in the numbers that can be represented in this way.
Pierre de FermatPierre de Fermat, né dans la première décennie du , à Beaumont-de-Lomagne (département actuel de Tarn-et-Garonne), près de Montauban, et mort le à Castres (département actuel du Tarn), est un magistrat, polymathe et surtout mathématicien français, surnommé « le prince des amateurs ». Il est aussi poète, habile latiniste et helléniste, et s'est intéressé aux sciences et en particulier à la physique ; on lui doit notamment le principe de Fermat en optique.
Méthode de descente infinieLa méthode de descente infinie est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie. Cette méthode repose sur l'une des propriétés des entiers naturels : « tout ensemble non vide d'entiers naturels possède un plus petit élément. » Soit P(n) une propriété faisant intervenir un entier naturel n. On cherche à démontrer que P(n) est fausse pour tout n.
Petit théorème de FermatEn mathématiques, le petit théorème de Fermat est un résultat de l'arithmétique modulaire, qui peut aussi se démontrer avec les outils de l'arithmétique élémentaire. Il s'énonce comme suit : « si p est un nombre premier et si a est un entier non divisible par p, alors ap–1 – 1 est un multiple de p », autrement dit (sous les mêmes conditions sur a et p), ap–1 est congru à 1 modulo p : Un énoncé équivalent est : « si p est un nombre premier et si a est un entier quelconque, alors ap – a est un multiple de p » : Il doit son nom à Pierre de Fermat, qui l'énonce pour la première fois en .
Joseph-Louis LagrangeJoseph Louis de Lagrange (en italien Giuseppe Luigi Lagrangia ou aussi Giuseppe Ludovico De la Grange Tournier), né à Turin le de parents français descendants de Descartes et mort à Paris le , est un mathématicien, mécanicien et astronome italien, originaire du royaume de Sardaigne et naturalisé français. À l'âge de trente ans, il quitte Turin et va séjourner à Berlin pendant vingt-et-un ans. Ensuite, il s'installe pour ses vingt-six dernières années à Paris où il prend la nationalité française en 1802.
DiscriminantEn mathématiques, le discriminant noté , ou le réalisant noté , est une notion algébrique. Il est utilisé pour résoudre des équations du second degré. Il se généralise pour des polynômes de degré > 0 quelconque et dont les coefficients sont choisis dans des ensembles munis d'une addition et d'une multiplication. Le discriminant apporte dans ce cadre une information sur l'existence ou l'absence de racine multiple. Le discriminant est utilisé dans d'autres domaines que celui de l'étude des polynômes.
