Encontrar un lugar geométrico de puntos

dado un triangulo A B C , A y B mitades B C y A C . Tenemos un punto variable en una línea. A B . Paralelo a A A y B B a través de PAG cortes A C en mi y B C en F . Ahora línea mi F cortes A A en METRO y B B en norte . Líneas A norte y B METRO encontrarse en q . ¿Qué es un lugar de q ?

ingrese la descripción de la imagen aquí

Al jugar en Geogebra descubrí que podría ser una elipse que pasa por los puntos medios de un segmento A GRAMO , B GRAMO y C GRAMO dónde GRAMO es un centro de gravedad. Además, esta elipse parece tocar los lados del triángulo en sus puntos medios. Pero cuando estaba tratando de escribir las ecuaciones de los puntos de intersección, me dio un golpe de cabeza debido a las enormes fórmulas que obtuve. ¿Alguien tiene una buena idea de cómo evitar estas ecuaciones?

Yo usaría números complejos para esto...
Como se trata de proporciones simples (puntos medios), colinealidades y paralelismo, puede aplicar una transformación que convierta el triángulo en una forma especialmente conveniente. Por ejemplo, si puede mostrar para el triángulo equilátero que el lugar geométrico es la circunferencia inscrita, tiene la garantía de que el lugar geométrico general es, de hecho, lo que sospecha: una elipse tangente a los lados del triángulo en los puntos medios de sus lados. (también conocido como Steiner Inellipse ).
¿Qué pasa si lo mapeo con transformación afín a un triángulo rectangular?
@greedoid: un triángulo rectangular también funciona y puede ser mejor en algunos aspectos, pero la ecuación de la elipse es más fea. Es una compensación.

Respuestas (2)

Dado que la construcción usa solo propiedades independientes afines (incidencia, colinealidad, paralelismo, puntos medios), podemos elegir una forma conveniente de A B C . Si podemos mostrar que el lugar geométrico es la Inelipse de Steiner para esa forma, entonces el lugar geométrico es la Inelipse de cada triángulo.


Posicionaremos el vértice C Al origen. Tratando A y B como vectores de posición, encontramos los puntos medios A y B como ...

(1) A = 1 2 ( B + C ) = 1 2 B B = 1 2 ( A + C ) = 1 2 A
Definir
(2) PAG := 1 2 ( A + B ) + pag 2 ( B A )
(dónde pag afecta el desplazamiento desde el punto medio de A B ¯ ), de donde derivamos
(3) mi = 1 4 ( 3 pag ) A F = 1 4 ( 3 + pag ) B
y
(4) METRO = 1 3 ( 2 mi + 2 F ) = 1 6 ( 3 pag ) A + 1 12 ( 3 + pag ) B norte = 1 3 ( 2 mi + 2 F ) = 1 12 ( 3 pag ) A + 1 6 ( 3 + pag ) B
(Nota la mi F -la representación muestra que METRO y norte trisecar mi F ¯ .) Y, finalmente, que
(5) q = 1 6 ( pag 2 + 3 ) ( ( pag 3 ) 2 A + ( pag + 3 ) 2 B )

Ahora, ubiquemos A y B de modo que A B C es un triangulo equilatero de inradius r (y circunradio 2 r ), con el X -eje como eje de simetría:

(6) A , B = 2 r 3 ( porque π 6 , ± pecado π 6 )
Entonces
(7) q = r pag 2 + 3 ( pag 2 + 9 , 2 pag 3 ) = 2 r ( 1 , 0 ) + r pag 2 + 3 ( 3 pag 2 , 2 pag 3 )
y vemos que
(8) ( q X 2 r ) 2 + q y 2 = r 2 ( pag 2 + 3 ) 2 ( ( 3 pag 2 ) 2 + 12 pag 2 ) = r 2
Es decir, el lugar de q para este particular A B C es el incírculo, que es, de hecho, el Steiner Inelipse para esa forma.

Lema : mi METRO = METRO norte = norte F

Prueba: Deja PAG mi A A = { D } . Entonces desde A mi PAG A B B tenemos

PAG D D mi = B GRAMO GRAMO B = 2 1
Pero D mi METRO PAG mi F entonces
mi METRO mi F = PAG D D mi = 2 1

Por simetría tenemos

F METRO F mi = 2 1


Ahora mapa mi F es la transformación proyectiva de la línea A C a la linea B C que induce mapa proyectivo METRO norte la línea A A a la linea B B . Ahora bien, este induce la transformación proyectiva. A norte B METRO de un lápiz de líneas a través A a un lápiz de líneas a través B y por lo tanto q A norte B METRO describir alguna línea o una cónica.

Ahora echemos un vistazo a algunas posiciones especiales de PAG y tratar de determinar dónde q es.

Si PAG = A entonces mi = A y F = A entonces norte = GRAMO (lema) y METRO mitades A GRAMO (lema), entonces q también mitades A GRAMO .

Si PAG = B entonces por simetría q también mitades B GRAMO .

Si PAG = C entonces q = C .

Si PAG es tal que F = C entonces q = B .

Si PAG es tal que mi = C entonces q = A .

Así que esta cónica pasa por A , B , C y mitades A GRAMO y B GRAMO así que esta es la elipse de Steiner (recuerde que la cónica está determinada únicamente por 5 puntos no colineales).

Gracias chicos con instrucciones útiles.