Concept
Équation diophantienne
Concepts associés (33)
Conjecture de Catalan
La conjecture de Catalan est un résultat de la théorie des nombres conjecturé en 1844 par Eugène Charles Catalan et démontré en par Preda Mihăilescu. Ce théorème s'énonce de la façon suivante : (Une puissance parfaite est un entier > 1 élevé à une puissance entière > 1, comme 64.) En d'autres termes, la seule solution en nombres naturels de l'équation xa − yb = 1 pour x, a, y, b > 1 est x = 3, a = 2, y = 2, b = 3. La démonstration fait un important usage de la théorie des corps cyclotomiques et des modules de Galois.
Théorème de Fermat sur les triangles rectangles
Le théorème de Fermat sur les triangles rectangles est le résultat suivant de non-existence : thumb|300px|Deux triangles rectangles dont les deux côtés du triangle bleu sont égaux au côté et à l'hypoténuse du triangle jaune. Selon le théorème de Fermat sur les triangles rectangles, il n'est pas possible que les quatre longueurs a, b, c, et d, soient des entiers.
Théorie de l'élimination
En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc.