L’article en bref
Le triple bar (≡) est un symbole mathématique et informatique désignant une équivalence profonde.
- Définition : Symbole Unicode U+2261 indiquant une identité structurelle, plus forte qu’une simple égalité
- Mathématiques : Exprime la congruence modulaire (a ≡ b mod N) depuis Carl Friedrich Gauss en 1801
- Chimie : Représente une triple liaison covalente entre atomes (exemple : HC≡CH pour l’acétylène)
- Informatique : Inspire l’icône hamburger des menus mobiles ; sert à comparer des tableaux en programmation APL
- Rédaction scientifique : Signale une définition plutôt qu’une équation, remplaçant parfois le signe égal classique
Trois petites lignes horizontales, empilées les unes sur les autres. Ce symbole discret se cache dans vos équations, vos applications mobiles, vos formules chimiques… et pourtant, peu de gens savent vraiment ce qu’il signifie. Je me souviens d’un de mes stagiaires au centre, passionné d’informatique, qui m’a demandé un jour ce que voulait dire ce « signe bizarre » sur son téléphone. Bonne question ! Le triple bar, noté ≡, mérite qu’on s’y attarde.
Qu’est-ce qu’un triple bar : le symbole ≡ et sa définition
Le triple bar, aussi appelé tribar, est un symbole graphique qui ressemble à un signe égal auquel on aurait ajouté une troisième ligne horizontale. Simple visuellement, mais riche de sens selon le domaine où on l’utilise. Sa fonction principale est d’indiquer une équivalence forte, plus profonde qu’une simple égalité.
C’est un peu comme en équitation : deux chevaux peuvent avoir la même robe, mais ce n’est pas pour autant qu’ils sont identiques. Le triple bar, lui, désigne une identité de fond, pas juste une ressemblance de surface.
Son encodage informatique
Sur le plan technique, le triple bar correspond au point de code U+2261 IDENTICAL TO dans le standard Unicode. Pour l’intégrer dans une page web, on peut utiliser les entités HTML ≡ ou ≡. Son opposé, le « non identique à », est codé U+2262 avec une barre oblique en travers.
Dans LaTeX, le système de composition de documents scientifiques, le code \equiv produit immédiatement le symbole. Son contraire s’obtient avec \not\equiv. Ces deux outils sont des références absolues pour quiconque rédige des documents mathématiques ou logiques.
La différence avec le signe égal classique
Le signe égal (=) établit une relation ponctuelle entre deux valeurs. Le triple bar va plus loin : il affirme une identité structurelle ou une équivalence valable dans tous les contextes. C’est exactement la distinction que Gottlob Frege, philosophe allemand du XIXe siècle, cherchait à exprimer. Pour lui, deux énoncés reliés par ≡ sont interchangeables sans perte de sens, quelle que soit la situation.
Autrement dit, là où le signe égal dit « ça donne le même résultat », le triple bar dit « c’est fondamentalement la même chose ». Une nuance qui change tout dans un raisonnement rigoureux.
Les usages du triple bar selon les disciplines
Ce symbole touche à des domaines très variés. Voici les principaux contextes où tu le rencontres :
- Mathématiques et géométrie : pour indiquer la congruence entre deux figures ou une relation d’équivalence.
- Logique formelle : pour exprimer le « si et seulement si » ou l’équivalence logique entre formules.
- Théorie des nombres : pour la congruence modulaire, introduite par Carl Friedrich Gauss dès 1801.
- Chimie : pour représenter une triple liaison entre deux atomes.
- Botanique : pour distinguer les synonymes homotypiques des synonymes hétérotypiques.
En mathématiques et en logique
C’est Carl Friedrich Gauss qui, en 1801, a popularisé l’usage du triple bar pour noter la congruence modulaire. L’écriture a ≡ b (mod N) signifie que N divise la différence a − b. Une notation devenue essentielle dans toute la théorie des nombres moderne.
Pour les niveaux de galop en équitation, on parle aussi d’équivalences entre compétences : c’est le même principe de classification par degré d’identité. En logique, le triple bar peut désigner soit le connecteur « si et seulement si » (équivalence matérielle), soit l’équivalence logique entre formules, selon qu’on parle du niveau syntaxique ou sémantique.
En chimie et en botanique
Le triple bar représente une triple liaison covalente entre atomes. La formule HC≡CH désigne l’acétylène (nom systématique : éthyne), un gaz bien connu dans les ateliers de soudure. Trois paires d’électrons partagées, une liaison très énergétique.
En nomenclature botanique, ce symbole sert à identifier les synonymes homotypiques, c’est-à-dire les noms différents attribués à une même plante à partir du même spécimen type. À ne pas confondre avec les synonymes hétérotypiques, marqués d’un simple signe égal.
| Discipline | Signification du triple bar | Exemple |
|---|---|---|
| Mathématiques | Congruence modulaire | a ≡ b (mod N) |
| Logique | Équivalence logique | P ≡ Q |
| Chimie | Triple liaison | HC≡CH |
| Botanique | Synonyme homotypique | Nomenclature des espèces |
Le triple bar dans les interfaces numériques et ses prolongements pratiques
Tu as forcément déjà vu ces trois petites lignes dans le coin d’une application mobile. Ce symbole, appelé icône hamburger, est directement inspiré du triple bar. Il signale un menu de navigation accessible au clic ou au toucher. Ses origines remontent aux années 1980, chez Xerox PARC, pionniers des interfaces graphiques modernes.
Aujourd’hui, les directives Material Design de Google intègrent largement cette icône dans les applications Android et les interfaces web. Chaque barre représente visuellement un facteur de menu. Certaines versions ajoutent des points ou des tirets pour renforcer cette métaphore visuelle.
Au-delà de l’interface, le triple bar apparaît aussi dans la programmation APL, où les symboles ≡ et ≢ servent à comparer deux tableaux entiers, contrairement aux opérateurs classiques qui comparent élément par facteur. Les règles du hunter en équitation suivent elles aussi une logique de comparaison stricte entre performances, un peu comme ces opérateurs logiques.
Enfin, dans la rédaction scientifique, le triple bar remplace parfois le signe égal pour signaler qu’une équation sert à définir un terme, et non à établir une simple égalité entre deux quantités déjà connues. Une alternative courante est la notation a := b, qui rend explicite l’asymétrie de la définition.
Sources : wiki centre equestre, l’équitation simplifiée