∑
MathTCG

Codex & Encyclopédie

Recueil encyclopédique officiel complet — 500 notices mathématiques réparties en 4 extensions consultables en accès libre.

500 notices au recueil
#289
★Commune
∫

Fonction arc tangente

Analyse•CONCEPT

Réciproque de la tangente, primitive de 1/(1+x^2) bornée par -pi/2 et pi/2.

1671
#290
★Commune
∫

Fonction continue par morceaux

Analyse•CONCEPT

Fonction continue sur un intervalle sauf en un nombre fini de discontinuités de première espèce (sauts finis).

XIXe siècle
#291
★Commune
∫

Fonction convexe

Analyse•CONCEPT

Fonction dont le graphe est situé sous chacune de ses sécantes, fondement de l'optimisation.

1905
#292
★Commune
∫

Extremum local

Analyse•CONCEPT

Sommet ou creux local annulant la dérivée d'une fonction sur un ouvert régulier.

1638
#293
★Commune
△

Plan tangent

Géométrie•CONCEPT

Approximation affine du premier ordre d'une surface lisse au voisinage d'un point régulier.

XVIIIe siècle
#294
★Commune
∫

Champ de vecteurs

Analyse•CONCEPT

Attribution d'un vecteur tangent à chaque point de l'espace, modélisant flux et forces.

1830
#295
★Commune
△

Ligne de niveau

Géométrie•CONCEPT

Courbe reliant les points d'égale altitude ou valeur d'un potentiel scalaire.

1701
#296
★Commune
∫

Théorème de Schwarz

Analyse•THÉORÈME

Égalité des dérivées partielles d'ordre deux croisées pour les fonctions de classe C2.

1873
#297
★Commune
∫

Formule de Taylor-Young

Analyse•THÉORÈME

Développement limité local avec reste infinitésimal sous forme de petit o(x^n).

1909
#298
★Commune
⊕

Règle de Sarrus

Algèbre•MÉTHODE

Procédé mnémotechnique diagonal de calcul direct du déterminant d'une matrice d'ordre 3.

1833
#299
★Commune
∫

Matrice jacobienne

Analyse•CONCEPT

Matrice des dérivées partielles du premier ordre d'une fonction vectorielle de plusieurs variables.

1841
#300
★Commune
∫

Matrice hessienne

Analyse•CONCEPT

Matrice carrée symétrique des dérivées partielles secondes régissant l'optimisation multivariable.

1844
#301
✦✦✦✦✦✦Mythique
ℤ

Hypothèse de Riemann

Arithmétique•CONCEPT

La conjecture la plus célèbre des mathématiques liant les zéros de zêta à la répartition des nombres premiers.

1859
#302
★★★★★Légendaire
⊕

Théorie de Galois

Algèbre•CONCEPT

La révolution conceptuelle reliant la résolubilité des équations polynomiales à la symétrie des groupes de permutations.

1832
#303
★★★★★Légendaire
⊕

Anneau

Algèbre•CONCEPT

Structure algébrique fondamentale à deux lois modélisant l'addition et la multiplication des nombres et polynômes.

1897
#304
★★★★★Légendaire
⊕

Corps fini

Algèbre•CONCEPT

Structure de corps à nombre fini d'éléments F_{p^n}, socle universel de la cryptographie et des télécommunications.

1830
#305
★★★★★Légendaire
ℤ

Conjecture de Goldbach

Arithmétique•CONCEPT

L'énigme affirmant que tout entier pair supérieur à 2 est la somme de deux nombres premiers.

1742
#306
★★★★Épique
⊕1928 - 2014

Alexandre Grothendieck

Algèbre•MATHÉMATICIEN

Le visionnaire ayant refondé la géométrie algébrique par les schémas et la théorie des topos.

1928 - 2014
#307
★★★★Épique
⊕1802 - 1829

Niels Henrik Abel

Algèbre•MATHÉMATICIEN

Démonstrateur de l'impossibilité de résoudre l'équation générale du 5e degré par radicaux.

1802 - 1829
#308
★★★★Épique
ℤ

Nombres de Mersenne

Arithmétique•CONCEPT

Nombres de la forme 2^p - 1, réservoir historique des plus gigantesques nombres premiers connus.

1644
#309
★★★★Épique
ℤ

Nombres transcendants

Arithmétique•CONCEPT

Nombres qui ne sont racines d'aucun polynôme non nul à coefficients rationnels.

1844
#310
★★★★Épique
⊕

Théorème d'isomorphisme de Noether

Algèbre•THÉORÈME

Les trois théorèmes reliant universellement sous-structures, noyaux et quotients en algèbre générale.

1927
#311
★★★★Épique
⊕

Quaternions de Hamilton

Algèbre•CONCEPT

Algèbre associative à 4 dimensions non commutative révolutionnant les rotations dans l'espace 3D.

1843
#312
★★★★Épique
∇

Cryptographie sur les courbes elliptiques

Maths Appliquées•MÉTHODE

Standard mondial de chiffrement à clé publique fondé sur le logarithme discret sur courbes abéliennes.

1985
#313
★★★★Épique
ℤ

Nombres premiers jumeaux

Arithmétique•CONCEPT

Paires de nombres premiers espacés de 2, objet de la célèbre conjecture de leur infinité.

Antiquité
#314
★★★Rare
⊕1805 - 1865

William Rowan Hamilton

Algèbre•MATHÉMATICIEN

Génie irlandais découvreur des quaternions et refondateur de la mécanique hamiltonienne.

1805 - 1865
#315
★★★Rare
⊕1821 - 1895

Arthur Cayley

Algèbre•MATHÉMATICIEN

Père de la théorie des matrices, des tables de groupes et de la géométrie à n dimensions.

1821 - 1895
#316
★★★Rare
ℤ1809 - 1882

Joseph Liouville

Arithmétique•MATHÉMATICIEN

Premier constructeur d'un nombre transcendant en 1844 et sauveur des manuscrits de Galois.

1809 - 1882
#317
★★★Rare
ℤ1852 - 1939

Ferdinand von Lindemann

Arithmétique•MATHÉMATICIEN

Démonstrateur de la transcendance de pi en 1882 prouvant l'impossibilité de la quadrature du cercle.

1852 - 1939
#318
★★★Rare
ℤ

Nombres parfaits

Arithmétique•CONCEPT

Nombres entiers égaux à la somme exacte de leurs diviseurs stricts.

Antiquité
#319
★★★Rare
ℤ

Fonction indicatrice d'Euler

Arithmétique•CONCEPT

Fonction phi(n) comptant les entiers premiers avec n, cœur du théorème d'Euler et de RSA.

1763
#320
★★★Rare
ℤ

Fonction de Möbius

Arithmétique•CONCEPT

Fonction arithmétique fondamentale mu(n) régissant la formule d'inversion de Möbius.

1832
#321
★★★Rare
⊕

Polynôme cyclotomique

Algèbre•CONCEPT

Polynôme irréductible unitaire à coefficients entiers dont les racines sont les racines primitives n-ièmes de l'unité.

1801
#322
★★★Rare
ℤ

Équation diophantienne

Arithmétique•CONCEPT

Équation polynomiale à coefficients entiers dont on recherche exclusivement les solutions entières.

IIIe siècle
#323
★★★Rare
⊕

Groupe cyclique

Algèbre•CONCEPT

Groupe engendré par un élément unique, modèle fondamental de l'arithmétique modulo n (Z/nZ).

XIXe siècle
#324
★★★Rare
⊕

Groupe symétrique

Algèbre•CONCEPT

Groupe S_n de toutes les permutations d'un ensemble à n éléments, de cardinal n!.

1799
#325
★★★Rare
⊕

Déterminant

Algèbre•CONCEPT

Forme multilinéaire alternée mesurant les volumes orientés et l'inversibilité des matrices.

1772
#326
★★★Rare
⊕

Valeur propre et vecteur propre

Algèbre•CONCEPT

Invariants fondamentaux d'un opérateur linéaire définissant ses axes de dilatation purs sans rotation.

1840
#327
★★★Rare
⊕

Théorème de Cayley-Hamilton

Algèbre•THÉORÈME

Toute matrice carrée annule son propre polynôme caractéristique : P_A(A) = 0.

1853 - 1858
#328
★★★Rare
⊕

Théorème de structure des groupes abéliens finis

Algèbre•THÉORÈME

Tout groupe abélien fini est isomorphe de manière unique à un produit direct de groupes cycliques primaires.

1870
#329
★★Peu commune
ℤ1795 - 1870

Gabriel Lamé

Arithmétique•MATHÉMATICIEN

Pionnier de l'analyse de complexité algorithmique et auteur de la preuve de Fermat pour n=7.

1795 - 1870
#330
★★Peu commune
⊕1823 - 1852

Gotthold Eisenstein

Algèbre•MATHÉMATICIEN

Mathématicien prodige admiré par Gauss, créateur du critère d'irréductibilité polynomiale.

1823 - 1852
#331
★★Peu commune
⊕1823 - 1891

Leopold Kronecker

Algèbre•MATHÉMATICIEN

Penseur de l'arithmétique constructive et auteur du théorème de Kronecker-Weber.

1823 - 1891
#332
★★Peu commune
ℤ1810 - 1893

Ernst Kummer

Arithmétique•MATHÉMATICIEN

Créateur des nombres idéaux ayant résolu le grand théorème de Fermat pour les nombres premiers réguliers.

1810 - 1893
#333
★★Peu commune
ℤ1805 - 1859

Peter Gustav Lejeune Dirichlet

Arithmétique•MATHÉMATICIEN

Fondateur de la théorie analytique des nombres et du théorème des progressions arithmétiques.

1805 - 1859
#334
★★Peu commune
ℤ

Nombres de Fermat

Arithmétique•CONCEPT

Nombres F_n = 2^{2^n} + 1 régissant la constructibilité des polygones réguliers à la règle et au compas.

1640
#335
★★Peu commune
⊕

Nombres algébriques

Algèbre•CONCEPT

Sous-corps dénombrable des nombres complexes racines de polynômes non nuls à coefficients entiers.

XIXe siècle
#336
★★Peu commune
ℤ

Nombres de Bernoulli

Arithmétique•CONCEPT

Suite remarquable de rationnels reliant les sommes de puissances entières aux valeurs zêta paires.

1713