Como se sabe, la perspectiva transformacional en geometría permite el movimiento de las figuras y la transferencia de propiedades desde la figura a la figura transformada. De esta manera, la utilidad principal de esta perspectiva es la simplificación del problema, a la manera de un cambio de variable en álgebra. Voy a discutir en este post el caso de la homotecia (una transformación geométrica de muy bajo perfil en las matemáticas escolares) y su uso en el problem solving elemental a través de varios teoremas básicos de la geometría.
Algunas propiedades básicas de la homotecia
1) Es fácil ver, a partir de la definición de homotecia, que
En una homotecia H(O,k) el único punto en el plano que permanece fijo (es invariante bajo la homotecia) es el centro O de la homotecia.
Demostración
Porque X se transforma en sí mismo si y sólo si OX=kOX (k no nulo y distinto de 1). Y esto sucede si y sólo si OX=0. En resumen, X permanece invariante si y sólo si X es el centro O de homotecia.
2) De la definición de homotecia (asociada a un centro O y a una razón k no nula), se sigue inmediatamente que
Una recta se transforma, bajo la homotecia, en una recta paralela
Demostración
Dados dos puntos A,B, sus imágenes A′,B′ (bajo la homotecia) cumplen --por definición-- que OA′=kOA,OB′=kOB, con A′ en la recta OA y B′ en la recta OB. Pero entonces tenemos la configuración de Tales: el triángulo OAB con una transversal A′B′ que corta OA y OB.
De aquí que --por el tercer criterio de semejanza o criterio LAL-- los segmentos AB y A′B′ son paralelos.
Perspectiva homotética de la configuración de Tales
La perspectiva homotética no ve, en la configuración de Tales, un triángulo con una paralela a la base (as usual), sino que ve dos triángulos y la transformación de uno en el otro (se ve el desplazamiento de la paralela a la base hacia la base). De ahí que la perspectiva homotética formule las proporciones que relacionan dos triángulos semejantes: AB/AD=AC/AE=BC/DE.
Nótese que, bajo esta perspectiva --íntimamente asociada al tercer criterio de semejanza--, primero se llega a la semejanza (por el tercer criterio) y de ahí se concluye el paralelismo (gracias a los ángulos correspondientes iguales).
Destaquemos la diferencia: Usualmente, en la configuración de Tales se dice "DE es paralela a la base BC... por tanto, los triángulos ABC y ADE son semejantes"; en homotecia, en cambio, primero se establece la semejanza con el tercer criterio, y de ahí se concluye el paralelismo. En ambos casos se aplica el criterio de ángulos correspondientes iguales, sólo que en el primer caso se usa para establecer semejanza, y en el segundo para establecer paralelismo.
Esta desviación de lo usual (una "anomalía") es quizá lo que hace de la homotecia un tema difícil en las matemáticas escolares. Pues la forma usual de ver la configuración de Tales se convierte para el aprendiz en un obstáculo epistemológico muy difícil de salvar.
Otra característica de la homotecia que la hace difícil de digerir es el uso de la orientación de las rectas o segmentos: si la razón de homotecia es negativa, el significado postulado (por definición) es que la dilatación o contracción es en el sentido contrario al que va del centro al punto a transformar.
Por ejemplo, como en el caso del centro de gravedad G de un triángulo ABC tomado como centro de homotecia, para transformar los vértices en los puntos medios de los lados opuestos, la razón de homotecia es -2. Esta razón negativa significa que el centro G deja en lados opuestos a los puntos homotéticos: si L,M,N son los puntos medios de los lados BC,CA,AB y el centro es G, entonces A se transforma en L, B en M, etc. de tal manera que GA=−2GL,GB=−2GM,GC=−2GN.
Teoremas elementales demostrados con homotecia
Teorema de la línea media: el segmento que une los puntos medios de dos lados de un triángulo es paralelo al tercer lado y mide la mitad de éste.
Demostración
Sean D,E los puntos medios de los lados AB,AC, respectivamente. Entonces, tomando como centro el vértice A, D se transforma en B y E en C, con razón de homotecia k=2. Se concluye que DE//BC y BC=2DE.
(Nota: un argumento intermedio es el tercer criterio de semejanza, pero una vez manejando la homotecia, ese criterio queda incorporado implícitamente y a lo que se recurre es a las propiedades de la homotecia.)
Concurrencia de medianas: Las medianas de un triángulo concurren en un punto G --denominado el centro de gravedad o baricentro.
Demostración
En esta demostración mediante homotecia vamos a usar un teorema sobre homotecias que dice:
En dos triángulos de lados correspondientes paralelos, las rectas que unen los vértices correspondientes son concurrentes, es decir, los triángulos son homotéticos.
(Se demostrará en otro post. No es especialmente difícil pero, al igual que la del tercer criterio de semejanza, la prueba es por contradicción y...)
Sean L,M,N los puntos medios de los lados BC,CA,AB del triángulo ABC. Por el teorema de la línea media, los triángulos ABC y LMN tienen sus lados correspondientes paralelos. Por tanto, son homotéticos. Es decir, los segmentos que unen pares de vértices correspondientes (AL,BM,CN) son concurrentes, digamos en el punto G.
Tenemos entonces la homotecia con centro en G que manda A en L, B en M y C en N. Para ver que la razón es K=−2, basta observar que el centro de homotecia G es intermedio a los puntos homotéticos y recordar que, por el teorema de la línea media, AB=2LM, etc.
Nota: Otra dificultad de la homotecia es que se tiene que decodificar la razón de homotecia al lenguaje usual de las razones en geometría. GA=−2GL se debe decodificar a "de A a G recorro el doble de distancia que G a L" o mejor "G está a 2/3 de la distancia entre A y L".
Teorema del ortocentro y el circuncentro: En un triángulo ABC, la distancia del ortocentro a un vértice es el doble que la del circuncentro al lado opuesto.
Demostración
Sean BR un diámetro del circuncírculo de ABC, AD una altura, H el ortocentro y M,N los puntos medios de los lados BC,AB, respectivamente.
Podemos ver que, con centro en B y razón k=2, O se transforma en R, M en C, y N en A. Por tanto, RC//OM y AR//NO. De aquí que ARCH es un paralelogramo y se logran las igualdades 2OM=RC=AH (por el teorema de la línea media y el paralelogramo). Como se quería.
La recta de Euler: En todo triángulo ABC, el circuncentro O, el gravicentro G, y el ortocentro H se encuentran sobre una misma recta y OG=2GH.
Demostración
El circuncentro O, siendo la intersección de las mediatrices, es el ortocentro del triángulo medial (unión de puntos medios). Y, como sabemos, el triángulo y su medial son homotéticos con centro G y razón k=−2. De aquí que sus ortocentros se corresponden en la homotecia. Por tanto G, siendo el centro de la homotecia, está alineado con O y H, y HG=2OG.
Los saluda
jmd