Comprobador de coplanaridad

Cuatro puntos del espacio tridimensional son coplanares cuando un mismo plano contiene a todos ellos. Los validadores CAD, los constructores de caras de motores de juego, las tuberías de topografía y los cursos de álgebra lineal necesitan una respuesta sí o no fiable para esa propiedad sin arrastrar un sistema completo de álgebra computacional. Este comprobador de coplanaridad acepta las doce coordenadas cartesianas de los puntos A, B, C y D, construye los tres vectores de arista desde A, evalúa el producto mixto AB · (AC × AD) e indica si ese producto es numéricamente cero. Cuando el producto se anula, el tetraedro que generan tiene volumen nulo y los puntos comparten un plano; cuando no, forman un tetraedro sólido de volumen positivo.

Qué significa la coplanaridad y cómo la decide el producto mixto

Dos puntos distintos definen siempre una recta, y tres puntos no colineales definen siempre un plano único en el espacio euclídeo tridimensional. Un cuarto punto o bien está en ese plano o no lo está. Algebraicamente, tome los vectores AB, AC y AD desde el primer punto hacia los otros tres.

El producto vectorial AC × AD es una normal al plano de A, C y D (o cero si esos tres son colineales). El producto escalar de AB con esa normal es el producto mixto AB · (AC × AD). Geométricamente equivale a seis veces el volumen con signo del tetraedro de vértices A, B, C y D.

Si el valor absoluto del producto mixto es cero, el volumen es cero y los cuatro puntos son coplanares; si es distinto de cero, forman un tetraedro de volumen positivo y no pueden yacer en un solo plano. Los triples colineales y los puntos repetidos siguen dando producto mixto nulo, lo que los clasifica correctamente como coplanares en el sentido débil de que algún plano (de hecho infinitos) los contiene.

Este extremo usa un épsilon absoluto pequeño de uno por diez a la menos nueve para que el ruido de coma flotante en escalas de coordenadas ordinarias no invierta el booleano, mientras que un alzado geométrico claro de un punto fuera del plano sigue reportando no coplanar. Las unidades se cancelan en la comparación: metros, milímetros o números abstractos sirven siempre que todas las coordenadas usen la misma escala.

La respuesta repite los cuatro puntos, el producto mixto redondeado, el volumen absoluto del tetraedro, un booleano coplanar y una cadena de fórmula breve que puede mostrar junto a la respuesta en interfaces docentes.

Dónde sirve comprobar que cuatro puntos son coplanares

Las tuberías de mallas y CAD usan un comprobador de coplanaridad antes de fusionar cuatro vértices en una sola cara poligonal, detectando cuadriláteros no planos que distorsionarían normales o romperían restricciones de cara plana. Los scripts de topografía y fotogrametría verifican que los puntos de control pensados para compartir un plano de suelo o muro realmente lo hacen antes de calcular áreas o cotas.

Los cursos de álgebra lineal y geometría del espacio necesitan un oráculo determinista que marque configuraciones coplanares frente a tetraédricas sin que el alumno multiplique a mano nueve productos bajo presión de examen. Los motores de juego y los editores de niveles suelen guardar cuatro asas de esquina para un panel o portal y deben rechazar alzados que rompan la planaridad cuando el diseñador mueve un vértice. La validación fallida no consume saldo.

Mantenga las peticiones pequeñas, fije en las pruebas el producto mixto y el volumen redondeados, y obtendrá decisiones de coplanaridad reproducibles para corrección, puertas de geometría en CI y workers de borde sin montar su propia pila completa de geometría computacional.