Koplanaritätsprüfung

Vier Punkte im dreidimensionalen Raum sind koplanar, wenn eine einzige flache Ebene sie alle enthält. CAD-Validatoren, Face-Builder von Spiel-Engines, Vermessungs-Pipelines und Kurse der linearen Algebra brauchen ständig eine zuverlässige Ja-oder-Nein-Antwort zu dieser Eigenschaft, ohne ein vollständiges Computer-Algebra-System mitzuziehen. Dieser Koplanaritätsprüfer nimmt die zwölf kartesischen Koordinaten der Punkte A, B, C und D entgegen, bildet die drei Kantenvektoren von A aus, wertet das Spatprodukt AB · (AC × AD) aus und meldet, ob dieses Produkt numerisch null ist. Verschwindet das Produkt, hat das aufgespannte Tetraeder Volumen null und die Punkte teilen eine Ebene; andernfalls bilden sie ein festes Tetraeder positiven Volumens.

Was Koplanarität bedeutet und wie das Spatprodukt entscheidet

Zwei verschiedene Punkte definieren stets eine Gerade, und drei nicht kollineare Punkte definieren stets eine eindeutige Ebene im euklidischen dreidimensionalen Raum. Ein vierter Punkt liegt entweder auf dieser Ebene oder nicht. Algebraisch nehmen Sie die Vektoren AB, AC und AD vom ersten Punkt zu den anderen drei.

Das Kreuzprodukt AC × AD ist eine Normale zur Ebene von A, C und D (oder null, wenn diese drei kollinear sind). Das Skalarprodukt von AB mit dieser Normalen ist das Spatprodukt AB · (AC × AD). Geometrisch entspricht es dem sechsfachen signierten Volumen des Tetraeders mit den Ecken A, B, C und D.

Ist der Absolutbetrag des Spatprodukts null, ist das Volumen null und die vier Punkte sind koplanar; ist er ungleich null, bilden sie ein Tetraeder positiven Volumens und können nicht in einer Ebene liegen. Kollineare Tripel und wiederholte Punkte liefern weiterhin ein Spatprodukt null und werden korrekt als koplanar im schwachen Sinne klassifiziert, dass irgendeine Ebene (tatsächlich unendlich viele) sie enthält.

Dieser Endpunkt verwendet ein kleines absolutes Epsilon von eins mal zehn hoch minus neun, damit Gleitkommarauschen bei üblichen Koordinatenmaßstäben den Booleschen Wert nicht umkippt, während eine klare geometrische Anhebung eines Punktes aus der Ebene weiterhin nicht koplanar meldet. Einheiten kürzen sich im Vergleich heraus: Meter, Millimeter oder reine abstrakte Zahlen funktionieren, solange jede Koordinate denselben Maßstab nutzt. Die Antwort gibt die vier Punkte, das gerundete Spatprodukt, das absolute Tetraedervolumen, ein coplanar-Boolesches und eine kurze Formelzeichenkette zurück, die Sie neben der Antwort in Lehr-UIs zeigen können.

Wo sich die Ebenenprüfung für vier Punkte lohnt

Mesh- und CAD-Pipelines nutzen einen Koplanaritätsprüfer, bevor sie vier Vertices zu einer polygonalen Fläche zusammenführen, und fangen nichtplanare Quads ab, die Normalen verzerren oder flache Flächenbedingungen brechen würden. Vermessungs- und Photogrammetrie-Skripte prüfen, ob Kontrollpunkte, die eine Boden- oder Wandebene teilen sollen, das wirklich tun, bevor Flächen oder Höhen berechnet werden. Kurse der linearen Algebra und Raumgeometrie brauchen ein deterministisches Orakel, das koplanare gegen tetraedrische Konfigurationen markiert, ohne dass Studierende unter Prüfungsdruck neun Multiplikationen von Hand rechnen.

Spiel-Engines und Level-Editoren speichern oft vier Eck-Handles für ein Panel oder Portal und müssen Anhebungen ablehnen, die die Planarität brechen, wenn ein Designer einen Vertex verschiebt. Fehlgeschlagene Validierung wird nicht berechnet. Halten Sie Anfragen klein, pinnen Sie gerundetes Spatprodukt und Volumen in Tests, und Sie erhalten reproduzierbare Koplanaritätsentscheidungen für Bewertung, CI-Geometrie-Gates und Edge-Worker, ohne einen eigenen vollständigen Computational-Geometry-Stack aufzubauen.