Considere cualquier triángulo ABC. Conecta los puntos medios de cada uno de los tres lados. El triángulo inscrito es igual a los otros tres triángulos y todos son congruentes. Resulta que las medianas del triángulo más grande son también las medianas del triángulo más pequeño, inscrito en el centro.
(Aquí es donde se pone arriesgado)
Me gustaría decir que en este punto, podrías repetir este proceso en el triángulo inscrito centralmente más pequeño y luego continuar haciéndolo infinitamente. Entonces diría que en el infinito, los puntos del triángulo más pequeño serían el mismo punto. Tada, las medianas son concurrentes. ¿Es esto válido?
Esto fue hecho por diversión, agradecería no estar enterrado en una ventisca de Álgebra o Cálculo. Intuitivamente, ¿funciona esto?
Su solución es inteligente, sin embargo...
En el caso de la geometría plana "clásica" (geometría de regla y compás), por lo general no se permiten construcciones que impliquen iteraciones infinitas. Si lo fueran, podría describir una construcción, involucrando un número infinito de pasos/iteraciones, para trisecar un ángulo.
¿Te estás restringiendo a este sentido limitado de la geometría?
La intuición es buena, es un buen argumento y se puede ajustar.
El único problema es que para llevar a cabo los detalles necesitamos ir mucho más allá de la geometría elemental.
Uno necesita pasar por alto el definitivamente incierto "en el infinito" y reemplazarlo con la noción de límite. Dejar Sea el triángulo original, el "triángulo central" de , el triangulo central de , etcétera. Tenemos lo que técnicamente se llama una secuencia anidada de triángulos. Si es el diámetro de , sin embargo uno se preocupa por definir el diámetro, entonces .
Las tres medianas de pasar por , como usted observó. Es un resultado estándar que la intersección de la secuencia anidada consiste en un solo punto, y las medianas deben pasar todas por este punto.
Podría modificar la prueba para obtener el resultado de que el punto de encuentro de las medianas divide cada mediana en a relación.
André Nicolás
usuario17137