∑
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
#049
★★Peu commune
∫

Transformée de Laplace

Analyse•MÉTHODE

La transformation intégrale qui convertit les équations différentielles en simples équations algébriques.

1785 (Laplace) - 1893 (Heaviside)
#050
★★Peu commune
ℙ

Méthode probabiliste

Probabilités•MÉTHODE

Prouver l'existence certaine d'un objet mathématique en montrant qu'il a une chance d'exister au hasard.

1947 (Paul Erdős)
#051
★★Peu commune
∫

Nombre e

Analyse•CONCEPT

La base naturelle des exponentielles, limite universelle de la croissance continue.

1683 (Jacob Bernoulli) - 1731 (Euler)
#052
★★Peu commune
ℤ

Suite de Fibonacci

Arithmétique•CONCEPT

La suite entière de récurrence où chaque terme engendre avec son voisin le nombre d'or.

1202 (Liber Abaci)
#053
★★Peu commune
△

Fractale

Géométrie•CONCEPT

L'objet géométrique présentant une autosimilarité infinie à toutes les échelles d'observation.

1975 (Benoît Mandelbrot)
#054
★★Peu commune
△

Ensemble de Mandelbrot

Géométrie•CONCEPT

La silhouette cardioïde noire bordée d'un luxe infini de motifs et de miniatures d'elle-même.

1980 (Benoît Mandelbrot)
#055
★★Peu commune
⊦

Principe d'inclusion-exclusion

Maths Discrètes•MÉTHODE

La formule de crible alternée pour compter exactement la réunion d'ensembles qui se chevauchent.

1708 (Montmort) - 1854 (Sylvester)
#056
★Commune
△

Géométrie analytique

Géométrie•MÉTHODE

L'alliance des repères cartésiens transformant les figures géométriques en équations d'algèbre.

1637 (René Descartes)
#057
★Commune
⊦

Numération binaire

Maths Discrètes•CONCEPT

Le système numérique en base deux composé des seuls chiffres 0 et 1, langue maternelle du silicium.

1703 (G. W. Leibniz)
#058
★Commune
∫

Théorème de Fubini

Analyse•THÉORÈME

L'inversion de l'ordre d'intégration sur un produit d'espaces sous condition d'intégrabilité absolue.

1907 (Guido Fubini)
#059
★Commune
△

Théorème de Green

Géométrie•THÉORÈME

Le lien direct reliant la circulation d'un champ vectoriel sur une frontière plane à son flux intérieur.

1828 (George Green)
#060
★Commune
∀

Théorème de Cantor

Logique•THÉORÈME

L'ensemble des parties d'un ensemble est toujours strictement plus grand que l'ensemble lui-même.

1891 (Georg Cantor)
#061
★Commune
⊕

Théorème de Lagrange sur les groupes

Algèbre•THÉORÈME

L'ordre de tout sous-groupe divise impérativement l'ordre d'un groupe fini.

1770 (Lagrange)
#062
★Commune
∫

Théorème de Heine-Borel

Analyse•THÉORÈME

Dans l'espace euclidien ℝⁿ, être compact équivaut exactement à être fermé et borné.

1895 (Borel) - 1872 (Heine)
#063
★Commune
∫

Théorème de Bolzano-Weierstrass

Analyse•THÉORÈME

De toute suite bornée de nombres réels ou de vecteurs, on peut extraire une sous-suite convergente.

1817 (Bolzano) - 1860 (Weierstrass)
#064
★Commune
△

Nombre d'or

Géométrie•CONCEPT

La divine proportion géométrique reliant le tout à la plus grande de ses parties.

Antiquité grecque (Euclide, Théétète)
#065
★Commune
⊦

Principe des tiroirs

Maths Discrètes•MÉTHODE

Si l'on range n+1 chaussettes dans n tiroirs, au moins un tiroir contiendra au moins deux chaussettes.

1834 (Dirichlet)
#066
★Commune
⊦

Double comptage

Maths Discrètes•MÉTHODE

Démontrer une égalité combinatoire en dénombrant un même ensemble de deux façons différentes.

Pratique combinatoire intemporelle
#067
★Commune
⊕

Orthogonalisation de Gram-Schmidt

Algèbre•MÉTHODE

L'algorithme projetant une famille de vecteurs libres pour forger une base orthonormée parfaite.

1883 (Gram) - 1907 (Schmidt)
#068
★Commune
∫

Méthode de dichotomie

Analyse•MÉTHODE

La recherche d'une racine par découpage systématique de l'intervalle en deux parts égales.

Antiquité / Méthode numérique classique
#069
★Commune
△

Argument de symétrie

Géométrie•MÉTHODE

L'art de simplifier une preuve ou d'annuler une intégrale en exploitant les invariances globales.

Raisonnement géométrique universel
#070
★Commune
⊦

Méthode de l'invariant

Maths Discrètes•MÉTHODE

Identifier la grandeur qui ne change jamais pour prouver qu'un état final est impossible à atteindre.

XIXe - XXe siècle
#071
★Commune
△Antiquité tardive (~360 - 415)

Hypatie

Géométrie•MATHÉMATICIEN

Première grande figure féminine des mathématiques, philosophe et astronome d'Alexandrie.

Antiquité tardive (~360 - 415)
#072
★Commune
⊕Renaissance italienne (1501 - 1576)

Gerolamo Cardano

Algèbre•MATHÉMATICIEN

Auteur de l'Ars Magna, premier à publier les formules de résolution des équations cubiques et pionnier des nombres imaginaires.

Renaissance italienne (1501 - 1576)
#073
★Commune
⊕XVIe - début XVIIe siècle (1540 - 1603)

François Viète

Algèbre•MATHÉMATICIEN

Le magistrat français qui inventa le calcul littéral et l'algèbre symbolique moderne.

XVIe - début XVIIe siècle (1540 - 1603)
#074
★Commune
ℙXVIIe - début XVIIIe siècle (1654 - 1705)

Jacob Bernoulli

Probabilités•MATHÉMATICIEN

Le mathématicien suisse qui démontra la première loi faible des grands nombres.

XVIIe - début XVIIIe siècle (1654 - 1705)
#075
★Commune
⊦XXe siècle (1913 - 1996)

Paul Erdős

Maths Discrètes•MATHÉMATICIEN

Le nomade légendaire de la combinatoire, auteur de plus de 1500 articles mathématiques.

XXe siècle (1913 - 1996)
#076
★Commune
∇XXe - XXIe siècle (1928 - 2015)

John Nash

Maths Appliquées•MATHÉMATICIEN

Le génie tragique de l'équilibre stratégique et de la géométrie riemannienne.

XXe - XXIe siècle (1928 - 2015)
#077
★Commune
△Fin XXe - début XXIe siècle (1977 - 2017)

Maryam Mirzakhani

Géométrie•MATHÉMATICIEN

Première femme médaillée Fields, exploratrice virtuose des surfaces de Riemann et des espaces de modules.

Fin XXe - début XXIe siècle (1977 - 2017)
#078
★Commune
△

Théorème de Thalès

Géométrie•THÉORÈME

Le rapport de proportionnalité préservé par des droites parallèles coupant deux sécantes.

VIe siècle av. J.-C. (Thalès de Milet)
#079
★Commune
△

Loi des sinus

Géométrie•THÉORÈME

La relation liant les côtés d'un triangle au sinus de leurs angles opposés et au cercle circonscrit.

Xe siècle (Abu al-Wafa, al-Biruni)
#080
★Commune
△

Loi des cosinus

Géométrie•THÉORÈME

Le théorème d'Al-Kashi généralisant la relation de Pythagore à tous les triangles quelconques.

Euclide (Éléments, Livre II) - al-Kashi (XVe siècle)
#081
★Commune
⊕

Formule du binôme de Newton

Algèbre•THÉORÈME

Le développement algébrique explicite de toute puissance entière d'une somme de deux termes.

1665 (Isaac Newton) - Pascal (1654)
#082
★Commune
ℤ

Théorème de Bézout

Arithmétique•THÉORÈME

Deux nombres sont premiers entre eux si et seulement s'il existe une combinaison linéaire entière égale à 1.

1766 (Étienne Bézout) - Bachet (1621)
#083
★Commune
∫

Théorème des valeurs intermédiaires

Analyse•THÉORÈME

Une fonction continue sur un intervalle passe obligatoirement par toutes les valeurs situées entre ses bornes.

1817 (Bernard Bolzano)
#084
★Commune
△

Formule d'Euler des polyèdres

Géométrie•THÉORÈME

L'invariant topologique universel des solides convexes : Sommets - Arêtes + Faces = 2.

1752 (Leonhard Euler)
#085
★Commune
⊦

Théorème des mariages de Hall

Maths Discrètes•THÉORÈME

La condition nécessaire et suffisante pour coupler entièrement deux ensembles d'éléments compatibles.

1935 (Philip Hall)
#086
★Commune
∀

Ensemble

Logique•CONCEPT

Le réceptacle élémentaire réunissant des objets de pensée distincts en un tout unifié.

Fin XIXe - début XXe siècle (Cantor, Zermelo, Fraenkel)
#087
★Commune
⊕

Vecteur

Algèbre•CONCEPT

L'entité algébrique modélisant les directions, les forces et les grandeurs multidimensionnelles.

XIXe siècle (Hamilton, Grassmann, Peano)
#088
★Commune
ℙ

Variable aléatoire

Probabilités•CONCEPT

La fonction mesurable transformant les issues du hasard en valeurs numériques analysables.

XXe siècle (Kolmogorov, 1933)
#089
★Commune
△

Dimension

Géométrie•CONCEPT

Le nombre minimal de degrés de liberté ou de coordonnées indépendantes nécessaires pour localiser un point.

XIXe - XXe siècle (Cayley, Poincaré, Hausdorff)
#090
★Commune
⊦

Triangle de Pascal

Maths Discrètes•CONCEPT

La pyramide arithmétique infinie recélant les coefficients binomiaux et les puissances de 2.

Xe - XIIIe s. (al-Karaji, Yang Hui), 1654 (Pascal)
#091
★Commune
△

Topologie

Géométrie•CONCEPT

La géométrie du caoutchouc étudiant les propriétés préservées par déformation continue sans déchirure.

1895 (Poincaré, Analysis Situs) - Hausdorff (1914)
#092
★Commune
△

Ruban de Möbius

Géométrie•CONCEPT

La surface non orientable fascinante qui ne possède qu'une seule face et un seul bord.

1858 (August Ferdinand Möbius, J. B. Listing)
#093
★Commune
∇

Chaos

Maths Appliquées•CONCEPT

L'imprévisibilité totale naissant de la sensibilité extrême aux conditions initiales au sein d'un système déterministe.

1890 (Poincaré) - 1963 (Lorenz)
#094
★Commune
∀

Démonstration directe

Logique•MÉTHODE

L'enchaînement logique d'implications évidentes reliant directement l'hypothèse à la conclusion.

Antiquité grecque (Méthode déductive euclidienne)
#095
★Commune
∀

Contraposée

Logique•MÉTHODE

Prouver que si la conclusion est fausse, alors l'hypothèse est nécessairement fausse.

Logique stoïcienne et classique
#096
★Commune
∀

Disjonction de cas

Logique•MÉTHODE

Partitionner l'univers des possibles en plusieurs cas exhaustifs pour les résoudre séparément.

Logique classique
AccueilClasseurCodexBoostersÉchangesProfil