L'illusion du signe égal dans les mathématiques pures
On nous a tous appris que 1 + 1 = 2. C'est la base, le socle, le truc immuable. Sauf que, même dans le monde merveilleux des chiffres, certaines égalités provoquent des débats sans fin dans les commentaires de vidéos de vulgarisation. Prenez par exemple l'affirmation 0,999... est égal à 1. Pour beaucoup, c'est une hérésie. On a l'impression qu'il manquera toujours un petit quelque chose, un milliardième de poussière, pour atteindre l'unité. Mais les mathématiques sont formelles : cette égalité est strictement vraie. Si vous multipliez 0,333... (qui est un tiers) par trois, vous obtenez 0,999... et pourtant, trois tiers font bien un. C'est mathématique, c'est prouvé, circulez, il n'y a rien à voir.
Quand l'infini vient brouiller les pistes
Là où ça coince vraiment, c'est quand on commence à manipuler des ensembles infinis. Est-ce que le nombre de nombres entiers (1, 2, 3...) est égal au nombre de nombres pairs (2, 4, 6...) ? Intuitivement, on se dit que c'est faux, qu'il y a forcément deux fois plus d'entiers que de pairs. Erreur. Dans la théorie des ensembles de Cantor, ces deux infinis sont considérés comme égaux car on peut établir une correspondance biunivoque entre eux. On n'y pense pas assez, mais l'égalité à l'échelle de l'infini ne suit pas du tout les règles de notre bon vieux porte-monnaie où 10 euros seront toujours plus que 5 euros.
Les limites de l'arithmétique élémentaire
Il arrive aussi que des égalités paraissent vraies alors qu'elles cachent un piège monumental. On voit souvent passer ces énigmes sur les réseaux sociaux où l'on finit par "prouver" que 1 = 2. Le mécanisme est toujours le même : une division par zéro masquée par une variable. Si a = b, alors a² = ab, donc a² - b² = ab - b². On factorise : (a-b)(a+b) = b(a-b). On simplifie par (a-b) et paf : a + b = b, donc 2 = 1. C'est évidemment faux car diviser par (a-b) revient à diviser par zéro. C'est précisément là que la rigueur nous sauve du grand n'importe quoi.
Pourquoi votre calculatrice vous ment parfois
Passons à l'informatique, car c'est là que le bât blesse sérieusement. Si vous tapez 0,1 + 0,2 dans la console de votre navigateur ou dans un programme Python, il y a de fortes chances qu'il vous réponde 0,30000000000000004. Autant le dire clairement : pour un ordinateur, l'égalité 0,1 + 0,2 = 0,3 est techniquement fausse. Ce n'est pas une blague de développeur, c'est une réalité physique liée à la manière dont les machines stockent les nombres. Les ordinateurs travaillent en binaire (base 2), et certains nombres décimaux (base 10) comme 0,1 n'ont pas de représentation exacte en binaire, tout comme 1/3 n'en a pas en décimal.
Le cauchemar des nombres à virgule flottante
Le standard IEEE 754, qui régit le calcul des nombres à virgule flottante dans presque tous les processeurs modernes depuis 1985, impose des limites de précision. Pour une machine, un nombre est une suite finie de 32 ou 64 bits. Quand on essaie de faire entrer un nombre infini ou trop complexe dans cette petite boîte, on tronque. Résultat : on accumule des micro-erreurs. Dans un logiciel de comptabilité ou pour envoyer une sonde sur Mars, ces égalités approximatives peuvent devenir catastrophiques. On est loin du compte si on pense que la machine a toujours raison.
L'impact sur les algorithmes financiers
Imaginez un système boursier qui traite des millions de transactions par seconde. Si chaque opération traîne une erreur de 0,00000000000000004 euro, au bout de la journée, les comptes ne tombent plus juste. C'est pour cette raison que les banquiers n'utilisent jamais de "floats" pour l'argent, mais des types de données spécifiques qui gèrent les décimales de manière exacte. Je reste convaincu que la plupart des bugs financiers "inexpliqués" viennent de développeurs qui ont oublié que, dans une puce Intel, l'égalité est une notion parfois très relative.
La distinction entre valeur et référence
En programmation, il existe une autre subtilité : l'égalité de valeur versus l'égalité d'identité. Si vous avez deux voitures identiques, de la même couleur, du même modèle, avec les mêmes options, elles sont "égales" en termes de propriétés. Mais ce ne sont pas les mêmes voitures. Si vous en rayez une, l'autre reste intacte. En JavaScript ou en Java, on utilise souvent "==" pour comparer les valeurs et "===" pour vérifier s'il s'agit du même objet en mémoire. Confondre les deux, c'est s'assurer des heures de débuggage nocturne.
Égalité vs Identité : la nuance qui change tout
Le philosophe Leibniz avait une idée assez radicale sur la question : le principe de l'identité des indiscernables. Pour lui, si deux choses sont absolument identiques en tout point, alors elles ne sont pas deux, mais une seule et même chose. Dans le langage courant, on utilise le mot "égal" pour dire "équivalent". Dire que deux salaires sont égaux ne signifie pas que c'est le même billet de 50 euros qui circule dans deux poches différentes. C'est une égalité de mesure, pas une identité d'être. Cette distinction est fondamentale pour comprendre pourquoi certaines affirmations nous semblent vraies alors qu'elles sont logiquement bancales.
Leibniz et le principe des indiscernables
D'après Leibniz, l'égalité parfaite n'existe que dans l'abstraction. Dans le monde physique, il n'existe pas deux feuilles d'arbre identiques, pas deux atomes strictement dans le même état au même moment. Du coup, toute égalité physique est une simplification de l'esprit. On accepte que A = B parce que les différences entre les deux ne nous importent pas dans le contexte actuel. C'est un peu comme si on disait que deux vols Paris-New York sont égaux sous prétexte qu'ils arrivent à la même destination, en oubliant que l'un a eu des turbulences et l'autre un plateau-repas infect.
Quand l'égalité devient une convention sociale
Sortons un instant des chiffres pour regarder la société. L'égalité devant la loi est une égalité de droit, pas de fait. Elle est "vraie" juridiquement, mais "fausse" sociologiquement. C'est une construction nécessaire au fonctionnement de la démocratie. Ici, le signe égal ne décrit pas une réalité observée, mais un objectif à atteindre. Dire que "tous les hommes naissent égaux" est une égalité de principe. Si on la prenait au sens mathématique, elle serait immédiatement invalidée par les différences de patrimoine génétique, d'environnement ou de chance. Mais c'est précisément parce qu'elle est "fausse" dans les faits qu'elle est essentielle (oups, je voulais dire déterminante) en tant que valeur.
Ces égalités physiques qui ne sont que des approximations
En physique, le signe égal est souvent un imposteur. Quand Newton écrit F = ma, il propose une égalité qui semble universelle. Mais Einstein est arrivé et a montré que, dès qu'on s'approche de la vitesse de la lumière, cette égalité devient fausse. Elle n'est qu'une approximation très précise pour notre quotidien lent d'êtres humains. La physique moderne regorge de ces égalités "presque vraies" qui ne fonctionnent que dans certaines conditions de température ou de pression. Même la célèbre équation E = mc² cache des complexités dès qu'on s'attaque à la physique quantique.
La relativité de la simultanéité
Le truc le plus fou, c'est l'égalité du temps. On pense que si deux événements se produisent en même temps pour moi, ils se produisent en même temps pour tout le monde. C'est faux. Selon la position et la vitesse de l'observateur, l'égalité "Temps A = Temps B" peut voler en éclats. C'est ce qu'on appelle la relativité de la simultanéité. Là, on ne parle pas de micro-erreurs de calcul, mais d'une propriété fondamentale de notre univers. L'égalité dépend littéralement de l'endroit où vous vous tenez.
L'entropie et l'irréversibilité
Il existe aussi des égalités qui ne fonctionnent que dans un sens. En thermodynamique, on peut transformer du travail en chaleur avec une égalité parfaite d'énergie. Mais l'inverse n'est pas vrai sans perdre quelque chose en route. L'égalité de l'énergie totale est préservée (Premier principe), mais la qualité de cette énergie change (Deuxième principe). C'est là que ça coince : on a la même quantité, mais plus la même utilité. C'est une égalité de comptable qui ignore que le magasin est fermé.
Les paradoxes logiques où le vrai devient faux
La logique pure, c'est le domaine où l'on s'attendrait à ce que l'égalité soit reine. Mais même là, des génies comme Bertrand Russell ont trouvé des failles. Son célèbre paradoxe sur l'ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes montre que certaines définitions d'égalité mènent à des contradictions insolubles. Si l'ensemble se contient, il ne doit pas se contenir. S'il ne se contient pas, il doit se contenir. Résultat : l'égalité devient une boucle infinie qui fait sauter le système. Honnêtement, c'est flou même pour les spécialistes, mais cela prouve que notre langage a des limites intrinsèques.
Le paradoxe de Russell et les ensembles
Ce paradoxe a forcé les mathématiciens à reconstruire toutes les bases de leur discipline au début du 20ème siècle. On a dû admettre que l'on ne pouvait pas tout égaler à n'importe quoi. Il a fallu créer des hiérarchies, des types, pour éviter que la logique ne s'effondre sur elle-même. C'est un peu comme si on réalisait que le signe égal était un outil trop puissant pour être mis entre toutes les mains sans un mode d'emploi de 800 pages.
Quand l'égalité devient une contradiction
Il y a aussi ces phrases du type "Cette phrase est fausse". Si elle est égale à la vérité, alors elle est fausse. Si elle est égale au faux, alors elle est vraie. On est dans une zone grise où le concept d'égalité de valeur de vérité ne s'applique plus. La logique binaire explose. Pour un ordinateur, c'est le "segmentation fault" assuré. Pour un humain, c'est un sujet de réflexion fascinant sur la nature de la vérité elle-même.
3 erreurs classiques que l'on commet avec les équations
Dans la vie de tous les jours ou lors d'examens, on tombe souvent dans les mêmes panneaux. Voici les erreurs les plus fréquentes qui transforment une égalité vraie en un résultat grotesque :
D'abord, il y a l'oubli des priorités opératoires. On voit souvent passer ce test : 6 ÷ 2(1+2). Certains disent 1, d'autres disent 9. Le problème, c'est que l'écriture elle-même est ambiguë. Selon la convention que vous suivez, l'égalité change de camp. C'est la preuve que les mathématiques sont aussi un langage avec ses règles de ponctuation. Ensuite, l'erreur de la racine carrée est un grand classique. On écrit souvent que la racine de x² est égale à x. C'est faux ! C'est égal à la valeur absolue de x. Si x est négatif, votre égalité vient de s'effondrer. Enfin, il y a la confusion entre corrélation et égalité de cause. Ce n'est pas parce que deux courbes se ressemblent qu'elles décrivent le même phénomène. C'est une égalité de forme, pas de fond.
Oublier les domaines de définition
C'est l'erreur qui pardonne le moins. On manipule des fonctions comme si elles existaient partout. On simplifie des fractions sans vérifier si le dénominateur peut s'annuler. On finit par écrire des égalités qui ne sont vraies que sur un petit segment de la réalité, en prétendant qu'elles sont universelles. C'est un peu comme dire que l'eau bout à 100 degrés : c'est vrai au niveau de la mer, mais c'est faux au sommet de l'Everest. L'égalité est souvent une vérité sous condition.
La confusion entre approximation et égalité
Dans le monde de l'ingénierie, on utilise souvent pi = 3,14 ou g = 9,81. Pour un calcul de structure de bâtiment, c'est une égalité "vraie" car l'erreur induite est bien inférieure aux marges de sécurité. Mais pour un physicien des particules, c'est une égalité grossièrement fausse. Tout est une question d'échelle. Si vous confondez l'approximation pratique avec la vérité absolue, vous risquez de ne plus comprendre pourquoi les choses finissent par ne plus coller.
Questions fréquentes sur la validité des égalités
Est-ce que 1+1 est toujours égal à 2 ?
Pas forcément. En binaire, 1 + 1 = 10. Dans certains systèmes algébriques comme les corps de caractéristique 2, 1 + 1 = 0. Tout dépend des règles du jeu que l'on a fixées au départ. L'égalité n'est vraie que dans le cadre d'un système d'axiomes précis. Si on change de système sans le dire, on crée de la confusion gratuite.
Pourquoi dit-on que l'égalité est relative en physique ?
Parce que des mesures comme la longueur, la durée ou même la masse peuvent changer selon la vitesse de l'observateur. Une règle d'un mètre dans un vaisseau spatial ultra-rapide n'est plus égale à une règle d'un mètre restée sur Terre si on tente de les comparer depuis un seul point de vue. L'égalité dépend du référentiel.
L'égalité homme-femme est-elle une égalité mathématique ?
Absolument pas. C'est une égalité de droits et de dignité. Vouloir la traiter avec des outils mathématiques est un non-sens car cela reviendrait à nier les différences biologiques ou individuelles. C'est une égalité politique, ce qui est une catégorie de vérité bien différente de 2+2=4.
Peut-on prouver qu'une égalité est fausse ?
Oui, il suffit d'un contre-exemple. C'est la force de la logique. Une seule exception suffit à invalider une règle universelle. Si je prétends que tous les cygnes sont blancs (Cygne = Blanc), il me suffit d'en trouver un noir pour que mon égalité s'écroule définitivement. C'est brutal, mais c'est efficace.
Le verdict : une question de contexte
Au final, dire qu'une égalité est vraie ou fausse exige d'abord de définir le terrain sur lequel on joue. En mathématiques pures, c'est une question de définition et de logique implacable. En informatique, c'est une lutte contre les limites du binaire et de la mémoire. En physique, c'est une affaire de précision et de référentiel. Et dans la vie courante, c'est souvent une question de point de vue ou de convention sociale. Je trouve que l'on accorde trop de pouvoir au signe égal alors qu'il n'est souvent qu'un pont fragile entre deux idées qui tentent de se ressembler. Le problème, c'est qu'on oublie souvent de vérifier la solidité des piliers du pont avant de traverser. Mais bon, tant que les ponts tiennent et que nos calculatrices ne nous font pas perdre trop d'argent, on continue de faire comme si tout était simple.