Línea de Simson y línea de Steiner
Para todo punto del circuncírculo de un triángulo, las tres proyecciones de sobre los lados son colineales. La recta resultante (Simson) y su reflexión (Steiner) producen configuraciones bellas y útiles.
Sea un triángulo con circuncírculo , y un punto cualquiera del plano. Sean las proyecciones ortogonales de sobre las rectas , , respectivamente.
Entonces son colineales si y solo si .
La recta que contiene a se llama línea de Simson de respecto al triángulo (también llamada recta de Wallace–Simson, atribución históricamente más correcta).
Sean las proyecciones. Consideramos el cuadrilátero . Como , es cíclico (los cuatro están en el círculo de diámetro ). Análogamente, es cíclico (en el círculo de diámetro ), y es cíclico.
Cálculo de ángulos.
En el cuadrilátero cíclico : .
En el cuadrilátero cíclico : . Como , .
Para que sean colineales, necesitamos , equivalentemente:
Tras manipulaciones angulares (intercalando los hechos cíclicos):
(La equivalencia es exactamente la caracterización de que está sobre el arco que no contiene a .)
1. Longitud de la línea de Simson. Si está sobre el circuncírculo, la longitud (o cualquier segmento de la línea de Simson) satisface
(y análogos por simetría cíclica).
2. Ángulo entre dos líneas de Simson. Para dos puntos , las líneas de Simson de y forman un ángulo igual a la mitad del arco .
3. Punto antipodal. Si son antípodas en , sus líneas de Simson son perpendiculares.
4. Vértices. Si , su línea de Simson es la altura desde .
Teorema (línea de Steiner). Sea un punto del circuncírculo de . Sean las reflexiones de sobre los lados (no las proyecciones, sino las reflexiones, es decir y está al lado opuesto de ).
Entonces:
- son colineales.
- La recta que los contiene pasa por el ortocentro del triángulo.
- Esta recta es paralela a la línea de Simson de , y está al doble de distancia de .
La reflexión de sobre satisface: punto medio de . Así que la línea de Simson (que pasa por ) y la línea de Steiner (que pasa por ) son homotéticas desde con razón . Por tanto la línea de Steiner es paralela a la de Simson y a doble distancia.
Para verificar que pasa por : por las propiedades clásicas del ortocentro, se sitúa en la línea de Steiner. La demostración detallada usa que las reflexiones del ortocentro sobre los lados están en el circuncírculo (resultado independiente), y la simetría de la configuración.
Aplicación 1: configuraciones de cuatro puntos del circuncírculo
Dados cuatro puntos en una circunferencia, las cuatro líneas de Simson correspondientes (cada una respecto al triángulo formado por los otros tres) tienen propiedades sorprendentes. En particular, en el cuadrilátero completo , las líneas de Simson concurren en cierto punto.
Aplicación 2: olímpicos clásicos
OME 2008. Sea un punto del circuncírculo del triángulo . Probar que la suma de los cuadrados de las distancias de a los tres lados es independiente de .
Solución. Si son las proyecciones, . Usando que distancia a , y manipulando con los ángulos inscritos... la respuesta es , que se simplifica a una constante por la propiedad del circuncírculo.
Aplicación 3: una caracterización del ortocentro
La línea de Steiner pasa por el ortocentro por cada elección de en el circuncírculo. Esto da una caracterización: es el único punto en el plano por el cual pasa la línea de Steiner de todo .
Aplicación 4: configuración pedal y antípoda
Si son antípodas en , sus líneas de Simson son perpendiculares y se cortan en el punto medio del segmento (donde es la proyección de sobre uno de los lados).
Por qué Simson aparece tanto. La construcción de proyecciones sobre los lados es un operador natural en problemas de circunferencias y triángulos. Cuando un problema involucra:
- Un punto sobre el circuncírculo y sus proyecciones,
- O un punto y las perpendiculares desde él a los lados,
la línea de Simson aparece — a veces explícitamente, a veces como consecuencia colateral. Reconocerla simplifica la configuración.
Una generalización. Para un cuadrilátero, el análogo es el teorema de la mariposa o configuraciones de cuadriláteros cíclicos con propiedades de colinealidad. La cuestión "cuándo cuatro puntos derivados son colineales/concurrentes" es un tema recurrente en geometría sintética olímpica.