Théorèmes

Formule d’Euler pour les polyèdres Contexte : Les Éléments d’un Polyèdre Un polyèdre est un solide géométrique à trois dimensions avec des faces planes, des arêtes droites et des sommets. Pour que la formule d’Euler s’applique, le polyèdre doit être convexe (il ne doit pas avoir de « creux ») et « simple » (sans trou qui le traverserait,…

Théorème des cinq couleurs Contexte : Le Coloriage de Cartes Le problème du coloriage de cartes consiste à déterminer le nombre minimum de couleurs nécessaires pour colorier n’importe quelle carte géographique de telle sorte que deux régions (pays, départements…) partageant une frontière commune aient des couleurs différentes. Ce problème se traduit en théorie des graphes…

Théorème des quatre couleurs Contexte : Le Coloriage de Cartes Le problème est très simple à énoncer : combien de couleurs sont nécessaires au minimum pour colorier n’importe quelle carte géographique (sur un plan ou une sphère) de telle sorte que deux pays partageant une frontière commune aient des couleurs différentes ? Les pays doivent…

Formule d’inversion de Möbius Contexte : La Fonction de Möbius La formule d’inversion est un résultat de la théorie des nombres qui concerne les fonctions arithmétiques (fonctions définies sur les entiers positifs). Elle repose sur une fonction clé : la fonction de Möbius, notée $\mu(n)$. La fonction $\mu(n)$ est définie pour tout entier $n \ge…

Théorème de Turán Contexte : Théorie Extrémale des Graphes La théorie extrémale des graphes cherche à déterminer le nombre maximum ou minimum d’arêtes que peut avoir un graphe de $n$ sommets tout en satisfaisant une certaine propriété. Le théorème de Turán est le point de départ de ce domaine. Il s’intéresse à la propriété d’être…

Théorème de Hall sur les mariages Contexte : Le Problème des Mariages Imaginez un groupe d’hommes et un groupe de femmes. Chaque homme a une liste de femmes qu’il serait heureux d’épouser. Le but est de former autant de couples mariés (un homme, une femme) que possible, en respectant les préférences de chacun. En théorie…

Théorème de Dilworth Contexte : Chaînes et Antichaînes Ce théorème s’applique aux ensembles partiellement ordonnés (posets). C’est un ensemble où certains éléments peuvent être comparés (l’un est « plus petit » que l’autre), mais pas nécessairement tous. Une chaîne est un sous-ensemble où tous les éléments sont mutuellement comparables (comme une lignée d’ancêtres). Une antichaîne est un…

Théorème de Ramsey Contexte : Ordre et Désordre La théorie de Ramsey est une branche des mathématiques qui cherche à répondre à la question : « Quelle est la taille minimale d’un système pour qu’une structure ordonnée particulière soit garantie d’apparaître ? ». L’idée fondamentale est que dans un univers suffisamment grand et coloré de manière arbitraire,…

Principe des tiroirs Contexte : Ranger des objets Le principe des tiroirs est un principe fondamental en combinatoire. Il traite du problème de la distribution d’objets (les « pigeons ») dans des boîtes (les « tiroirs »). Son idée de base est si évidente qu’elle peut sembler triviale, mais elle permet de prouver des résultats très puissants et parfois…

Théorème du binôme de Newton Contexte : Développer $(a+b)^n$ Le théorème du binôme de Newton fournit une formule générale pour développer l’expression $(a+b)^n$ pour n’importe quel entier $n \ge 0$. Pour $n=2$, on connaît l’identité remarquable : $(a+b)^2 = a^2 + 2ab + b^2$. Pour $n=3$, on peut calculer : $(a+b)^3 = a^3 + 3a^2b…