Transformaciones afines y prismas triangulares

Quera revisar un poco el tema de transformaciones afines para llegar a una aplicacin
bonita para resolver uno de los problemas de una tarea de olimpiada que haba subido
anteriormente.
De momento vamos a quedarnos trabajando en el plano, aunque la teora que quiero
resumir se puede hacer en cualquier dimensin. Un transformacin afn del plano es una
funcin que manda rectas en rectas. En otras palabras, es una funcin
del plano que conserva colinealidad. Hay varios ejemplos de estas transformaciones.
Traslaciones
Rotaciones
Homotecias (hacer un zoom)
Si pensamos al plano como un objeto encajado en un espacio de 3 dimensiones, podemos
inclinarlo sobre una de sus rectas y proyectarlo sobre su posicin original
Resulta que cualquier transformacin afn se puede formar a partir de composiciones de
esos 4 tipos de funciones, la prueba de este hecho no es muy complicada.
Tambin algo interesante de estas funciones es que podemos mandar cualesquiera 3
puntos en cualesquiera otros 3. Para eso, si queremos mandar a los puntos
como se muestran en la figura en los puntos , para ver a donde tenemos que
mandar cualquier punto slo hay que imaginarse un eje de coordenadas respecto a
los puntos y respetar eso para ver donde debera estar su imagen .

Juntando esto con la caracterizacin que tenamos tenemos que un tringulo equilatero
se puede enviar en cualquier tringulo. Si nos olvidamos por un momento de las
homotecias y vemos que cualquier transformacin afin realmente corresponde a mover
un plano por el espacio y luego proyectarlo sobre su posicin original obtenemos lo
siguiente:
Corolario 1: Dado un prima triangular cualquiera, siempre es posible hacerle un corte
de tal manera que el tringulo que se forma en la rebanada es equiltero.
Esto ya es es suficientemente interesante por s solo, pero podemos echarle un poco
ms de coco al asunto y preguntarnos, Si conocemos los lados del tringulo original,
cunto debe medir el lado del tringulo equiltero?
Como el corte lo podemos hacer a cualquier altura del prisma tringular, podemos
suponer que pasa por uno de los vrtices del tringulo original, con lo que queda un
dibujo como el siguiente:

Con esto nos quedan las siguientes ecuaciones:



(Noten que las ecuaciones tienen sentdio an cuando alguno de es negativo).
Si despejamos a de las primeras dos ecuaciones, sutituimos en la tercera y
elevamos apropiadamente al cuadrado, obtenemos que

Esto es una ecuacin cuadrtica en trminos de , y debe tener solucin porque
sabemos que el corte que buscamos existe. Adems, el trmino independiente puede
verse como diferencia de cuadrados y luego cada uno de sus factores se factoriza de
nuevo de esa manera, con esto obtenemos que el trmino independiente es realmente

Donde es el rea del tringulo ABC (por la frmula de Hern). Con esto tenemos que

Como esta cuadrtica debe tener al menos una solucin, entonces su discriminante no
debe ser negativo, por lo que al desepejar esa desigualdad obtenemos lo siguiente.
Corolario 2: Para todo tringulo con lados y rea se cumple

Esta ltima desigualdad resutla ser igualdad cuando el tringulo es equiltero, y es un
problema de una IMO de los 60s.