Bisecto: geometría computacional que desafía la percepción

Cómo un juego demuestra que la matemática y la percepción humana chocan

Todo polígono irregular, sin importar qué tan retorcido sea, siempre puede dividirse en dos mitades de igual área con una sola línea recta. Esta certeza matemática existe desde hace décadas, pero convertirla en un juego interactivo reveló algo fascinante: la teoría garantiza la solución, pero no dice dónde está. El creador del proyecto Bisecto descubrió que lo que las matemáticas resuelven con elegancia se vuelve sorprendentemente difícil cuando un humano debe encontrar la respuesta visualmente.

El artículo original publicado en bisecto.com describe cómo el teorema del valor intermedio asegura que, para cualquier orientación de línea, siempre existe al menos un offset donde el área queda perfectamente equilibrada. Pero esa garantía no ayuda a nadie a trazar la línea correcta en un polígono asimétrico con huecos internos.

¿Por qué el centroide falla como guía visual?

Cuando intentas dividir una forma desconocida por la mitad, el instinto natural es buscar su centroide — el punto de equilibrio. La intuición sugiere que si cortás pasando por ese punto, ambos lados tendrán la misma superficie. Las matemáticas demuestran que eso es incorrecto.

El contraejemplo más claro es un triángulo rectángulo simple con base b y altura h. Su centroide se ubica a una altura y = h/3. Si trazás una línea horizontal que pase por ese punto:

• La pieza superior es un triángulo similar con altura ⅔ h
• Como el área escala cuadráticamente con la altura: Areatop = (⅔)² × Área total = 4/9 ≈ 44,44%
• El trapecio inferior recibe los restantes 5/9 ≈ 55,56%

Un error de 11,11 puntos porcentuales entre los dos lados. Para lograr un corte 50/50 real, la línea horizontal debe ubicarse en y = (1 − 1/√2) h ≈ 0,2929 h, notablemente más abajo que el centroide.

¿Por qué ocurre esto? El centroide se define por momentos primeros del área: los puntos más lejanos de un eje de referencia contribuyen más fuertemente al momento. Un corte de área igual tiene un objetivo diferente: simplemente pide la misma cantidad de área en cada lado, sin importar la distancia.

Para formas asimétricas generales, los cortes 50/50 en diferentes ángulos no pasan todos por un mismo punto común.

De la teoría a la implementación: algoritmos en acción

Lo que hizo el desarrollador de Bisecto fue implementar estos conceptos teóricos en un motor de juego funcional usando TypeScript. Los desafíos técnicos fueron sustanciales:

Fórmula del Shoelace para área exacta. Para medir el área de un polígono en tiempo O(N), se usa la fórmula del shoelace. Los límites exteriores se orientan en sentido antihorario (área signada positiva), mientras que los límites de los huecos se orientan en sentido horario (área negativa). La fórmula resta automáticamente el espacio vacío sin necesidad de triangulación adicional.

Clipping de anillos poligonales. Cuando el jugador confirma una línea de corte, el sistema utiliza un estilo de clipping Sutherland-Hodgman para dividir cada anillo del polígono contra la línea de corte. Luego reconstruye los polígonos hijos preservando su orientación de borde, asegurando que los huecos internos continúen restando área negativa correctamente en cada lado.

Fórmula de puntuación simétrica. Una vez medidas ambas piezas, la precisión se calcula como: 100 − |A − B| × 2. Esto tiene una propiedad limpia: no importa qué lado se etiquete como A o B. Un split de 50%/50% puntúa 100%. Uno de 49,5%/50,5% puntúa 99%. Uno de 48%/52% puntúa 96%.

El teorema del sándwich y sus implicaciones

La historia no termina aquí. Existe un resultado aún más contraintuitivo llamado Teorema del Sándwich (Ham Sandwich Theorem). Si tenés dos formas independientes en el plano — digamos, una mancha de tinta y una rebanada de pan — ¿puede una sola línea recta dividir ambas simultáneamente por la mitad?

La respuesta es sí. El caso bidimensional se conoce como el teorema del pancakes. La intuición geométrica detrás del caso 2D es elegante: para formas bien comportadas donde la línea bisectora se mueve continuamente con el ángulo θ, podemos rastrear cómo esa línea interactúa con la segunda forma:

• Para cada ángulo θ, considerá una línea L1(θ) que divide la Forma 1
• Medí cómo esa línea divide la Forma 2. Definí la diferencia: g(θ) = Área2(lado izquierdo) − Área2(lado derecho)
• Rotá tu ángulo 180 grados (π radianes). Los lados izquierdo y derecho intercambian posiciones, lo que significa: g(θ + π) = −g(θ)
• Porque g(θ) varía continuamente e invierte signos durante una media rotación, el Teorema del Valor Intermedio asegura que existe un ángulo θ* donde g(θ*) = 0

En ese ángulo, un solo corte recto divide ambas formas por la mitad al mismo tiempo. En 3D, esto se generaliza a dividir tres volúmenes (pan, jamón y queso) con una única sección plana 2D.

Geometría computacional en el ecosistema actual

El campo de la geometría computacional cuenta con bibliotecas open-source maduras que demuestran su relevancia práctica. Según LibHunt, los proyectos más destacados incluyen turf con más de 10.431 estrellas en GitHub, especializado en análisis espacial para aplicaciones web; CGAL con 6.011 estrellas, una biblioteca C++ robusta usada en ingeniería y diseño; delaunator con 2.615 estrellas para diagramas de Delaunay; y earcut con 2.574 estrellas para triangulación de polígonos.

Estas herramientas son fundamentales en sectores como GIS, cartografía interactiva, CAD, simulaciones físicas y procesamiento de imágenes — campos donde la precisión geométrica no es opcional sino requisito mínimo.

Según Wikipedia sobre ciencia computacional, esta disciplina se considera actualmente la "tercera modalidad de descubrimiento" junto con la teoría y la experimentación. Incluye algoritmos numéricos, métodos de integración, optimización y técnicas de interpolación que son directamente aplicables al desarrollo de productos con componentes espaciales.

Qué significa esto para tu startup

Si estás construyendo un producto con componentes espaciales, geoespaciales o de visualización de datos, este caso ilustra dos principios críticos:

Primero, la brecha entre teoría y práctica es un problema de producto, no solo de ingeniería. Que un algoritmo exista no significa que sea usable. El creador de Bisecto demostró que incluso cuando la matemática garantiza una solución perfecta, la interfaz humana necesita puentes cognitivos. Si tu producto depende de que usuarios tomen decisiones basadas en datos visuales — dashboards, herramientas de diseño, plataformas de mapeo — invertí en UX que compense los sesgos perceptuales humanos. No asumas que tus usuarios verán lo que tú ves.

Segundo, TypeScript es una opción sólida para lógica de precisión geométrica. El uso de TypeScript en el motor de Bisecto no es casual: el sistema de tipos aporta seguridad cuando trabajás con coordenadas, vectores y operaciones que requieren exactitud numérica. Si tu startup manipula geometría en el navegador — ya sea para visualización de datos espaciales, herramientas de diseño colaborativo o simulaciones — evaluá TypeScript como stack principal para la capa de cálculo.

Acciones concretas que podés implementar:

• Audita tus supuestos sobre simetría visual. Si tu producto presenta formas, mapas o layouts a usuarios, testea si las divisiones intuitivas coinciden con las divisiones reales. Un error de 11% como el del ejemplo del triángulo puede ser suficiente para generar desconfianza en herramientas profesionales.
• Evaluá bibliotecas establecidas antes de construir desde cero. Antes de escribir tu propio algoritmo de clipping o medición de áreas, revisá turf.js para análisis espacial en JavaScript, CGAL si necesitás precisión extrema en backend, o earcut para triangulación. Estas bibliotecas están probadas en producción y manejan casos edge que podrías pasar por alto.

Fuentes

• Every shape can be cut exactly in half with one straight line
• Computational science - Wikipedia
• Top 23 computational-geometry Open-Source Projects - LibHunt