Vérificateur de coplanarité

Quatre points de l'espace tridimensionnel sont coplanaires lorsqu'un même plan plat les contient tous. Les validateurs CAO, les constructeurs de faces de moteurs de jeu, les pipelines topographiques et les cours d'algèbre linéaire ont constamment besoin d'une réponse fiable oui ou non pour cette propriété, sans faire appel à un système complet d'algèbre informatique. Ce vérificateur de coplanarité accepte les douze coordonnées cartésiennes des points A, B, C et D, construit les trois vecteurs d'arête depuis A, évalue le produit mixte AB · (AC × AD) et indique si ce produit est numériquement nul. Lorsque le produit s'annule, le tétraèdre qu'ils engendrent a un volume nul et les points partagent un plan ; sinon, ils forment un tétraèdre solide de volume positif.

Ce que signifie la coplanarité et comment le produit mixte la décide

Deux points distincts définissent toujours une droite, et trois points non colinéaires définissent toujours un plan unique dans l'espace euclidien tridimensionnel. Un quatrième point se trouve ou non sur ce plan. Algébriquement, prenez les vecteurs AB, AC et AD du premier point vers les trois autres.

Le produit vectoriel AC × AD est une normale au plan de A, C et D (ou zéro si ces trois sont colinéaires). Le produit scalaire de AB avec cette normale est le produit mixte AB · (AC × AD). Géométriquement, il vaut six fois le volume signé du tétraèdre de sommets A, B, C et D.

Si la valeur absolue du produit mixte est nulle, le volume est nul et les quatre points sont coplanaires ; s'il est non nul, ils forment un tétraèdre de volume positif et ne peuvent pas appartenir à un seul plan. Les triples colinéaires et les points répétés donnent encore un produit mixte nul, ce qui les classe correctement comme coplanaires au sens faible qu'un certain plan (en fait une infinité) les contient.

Ce point d'accès utilise un epsilon absolu petit d'un fois dix puissance moins neuf pour que le bruit en virgule flottante sur des échelles de coordonnées ordinaires ne bascule pas le booléen, tandis qu'un soulèvement géométrique clair d'un point hors du plan signale toujours non coplanaire. Les unités s'annulent dans la comparaison : mètres, millimètres ou nombres abstraits conviennent tant que toutes les coordonnées partagent la même échelle.

La réponse renvoie les quatre points, le produit mixte arrondi, le volume absolu du tétraèdre, un booléen coplanar et une courte chaîne de formule que vous pouvez afficher à côté de la réponse dans des interfaces d'enseignement.

Où vérifier que quatre points sont coplanaires

Les pipelines de maillage et de CAO utilisent un vérificateur de coplanarité avant de fusionner quatre sommets en une seule face polygonale, capturant les quads non planaires qui déformeraient les normales ou briseraient les contraintes de face plane. Les scripts de topographie et de photogrammétrie vérifient que les points de contrôle censés partager un plan de sol ou de mur le font réellement avant de calculer aires ou altitudes.

Les cours d'algèbre linéaire et de géométrie dans l'espace ont besoin d'un oracle déterministe qui marque configurations coplanaires versus tétraédriques sans que l'élève calcule à la main neuf multiplications sous la pression d'un examen. Les moteurs de jeu et les éditeurs de niveaux stockent souvent quatre poignées de coin pour un panneau ou un portail et doivent rejeter les soulèvements qui rompent la planarité lorsqu'un concepteur déplace un sommet. Une validation échouée ne consomme pas le solde.

Gardez les requêtes petites, figez le produit mixte et le volume arrondis dans les tests, et vous obtenez des décisions de coplanarité reproductibles pour la notation, les portes géométriques CI et les workers en périphérie sans déployer votre propre pile complète de géométrie computationnelle.