En geometría , el centro de un triángulo es un punto en el plano del triángulo que, en cierto sentido, está en el centro del mismo. Por ejemplo, el baricentro , el circuncentro , el incentro y el ortocentro eran conocidos por los antiguos griegos y se pueden obtener mediante construcciones sencillas .
Cada uno de estos centros clásicos tiene la propiedad de ser invariante (más precisamente, equivariante ) bajo transformaciones de semejanza . En otras palabras, para cualquier triángulo y cualquier transformación de semejanza (como una rotación , una reflexión , una dilatación o una traslación ), el centro del triángulo transformado es el mismo punto que el centro transformado del triángulo original. Esta invariancia es la propiedad definitoria de un centro de triángulo. Descarta otros puntos bien conocidos, como los puntos de Brocard, que no son invariantes bajo la reflexión y, por lo tanto, no pueden calificar como centros de triángulos.
En un triángulo equilátero , todos los centros de los triángulos coinciden en su baricentro. Sin embargo, los centros de los triángulos generalmente ocupan posiciones diferentes entre sí en todos los demás triángulos. Las definiciones y propiedades de miles de centros de triángulos se han recopilado en la Enciclopedia de centros de triángulos .
Aunque los antiguos griegos descubrieron los centros clásicos de un triángulo, no habían formulado ninguna definición de centro de triángulo. Después de los antiguos griegos, se descubrieron varios puntos especiales asociados con un triángulo como el punto de Fermat , el centro de nueve puntos , el punto de Lemoine , el punto de Gergonne y el punto de Feuerbach .
Durante el resurgimiento del interés por la geometría de triángulos en la década de 1980, se observó que estos puntos especiales comparten algunas propiedades generales que ahora forman la base para una definición formal del centro del triángulo. [1] [2] La Enciclopedia de centros de triángulos de Clark Kimberling contiene una lista anotada de más de 50 000 centros de triángulos. [3] Cada entrada de la Enciclopedia de centros de triángulos se denota por o donde es el índice posicional de la entrada. Por ejemplo, el centroide de un triángulo es la segunda entrada y se denota por o .
Una función de valor real f de tres variables reales a, b, c puede tener las siguientes propiedades:
Si una f distinta de cero tiene ambas propiedades, se denomina función de centro de triángulo. Si f es una función de centro de triángulo y a, b, c son las longitudes de los lados de un triángulo de referencia, entonces el punto cuyas coordenadas trilineales son se denomina centro de triángulo.
Esta definición garantiza que los centros de triángulos semejantes cumplan con los criterios de invariancia especificados anteriormente. Por convención, solo se cita la primera de las tres coordenadas trilineales de un centro de triángulo, ya que las otras dos se obtienen por permutación cíclica de a, b, c . Este proceso se conoce como ciclicidad . [4] [5]
Cada función de centro de triángulo corresponde a un único centro de triángulo. Esta correspondencia no es biyectiva . Diferentes funciones pueden definir el mismo centro de triángulo. Por ejemplo, las funciones y ambas corresponden al baricentro. Dos funciones de centro de triángulo definen el mismo centro de triángulo si y solo si su razón es una función simétrica en a, b, c .
Incluso si una función de centro de triángulo está bien definida en todas partes, no siempre se puede decir lo mismo de su centro de triángulo asociado. Por ejemplo, sea 0 si y son racionales y 1 en caso contrario. Entonces, para cualquier triángulo con lados enteros, el centro de triángulo asociado se evalúa como 0:0:0, que no está definido.
En algunos casos, estas funciones no están definidas en la totalidad de Por ejemplo, las trilineales de X 365 , que es la entrada número 365 en la Enciclopedia de centros de triángulos , son , por lo que a, b, c no pueden ser negativos. Además, para representar los lados de un triángulo, deben satisfacer la desigualdad triangular . Entonces, en la práctica, el dominio de cada función está restringido a la región de donde Esta región T es el dominio de todos los triángulos y es el dominio predeterminado para todas las funciones basadas en triángulos.
Existen varios casos en los que puede ser conveniente restringir el análisis a un dominio más pequeño que T. Por ejemplo:
No todo subconjunto D ⊆ T es un dominio viable. Para que se cumpla la prueba de bisimetría, D debe ser simétrico respecto de los planos b = c , c = a , a = b . Para que se cumpla la ciclicidad, también debe ser invariante bajo rotaciones de 2π/3 respecto de la línea a = b = c . El dominio más simple de todos es la línea ( t , t , t ) que corresponde al conjunto de todos los triángulos equiláteros .
El punto de confluencia de las mediatrices de los lados del triángulo △ ABC es el circuncentro. Las coordenadas trilineales del circuncentro son
Sea Se puede demostrar que f es homogénea: así como bisimétrica: por lo que f es una función de centro triangular. Como el centro triangular correspondiente tiene las mismas trilineales que el circuncentro, se deduce que el circuncentro es un centro triangular.
Sea △ A'BC el triángulo equilátero de base BC y vértice A' en el lado negativo de BC y sean △ AB'C y △ ABC' triángulos equiláteros construidos de manera similar basados en los otros dos lados del triángulo △ ABC . Entonces las líneas AA', BB', CC' son concurrentes y el punto de concurrencia es el primer centro isogonal. Sus coordenadas trilineales son
Expresando estas coordenadas en términos de a, b, c , se puede verificar que efectivamente satisfacen las propiedades definitorias de las coordenadas del centro de un triángulo. Por lo tanto, el primer centro isogónico es también un centro de un triángulo.
Dejar
Entonces f es bisimétrica y homogénea, por lo que es una función de centro de triángulo. Además, el centro de triángulo correspondiente coincide con el vértice obtuso siempre que cualquier ángulo de vértice supere 2π/3, y con el primer centro isogónico en caso contrario. Por lo tanto, este centro de triángulo no es otro que el punto de Fermat .
Las coordenadas trilineales del primer punto de Brocard son: Estas coordenadas satisfacen las propiedades de homogeneidad y ciclicidad pero no la bisimetría. Por lo tanto, el primer punto de Brocard no es (en general) un centro de triángulo. El segundo punto de Brocard tiene coordenadas trilineales: y se aplican observaciones similares.
El primer y segundo punto de Brocard son uno de los muchos pares de puntos bicéntricos, [6] pares de puntos definidos a partir de un triángulo con la propiedad de que el par (pero no cada punto individual) se conserva bajo semejanzas del triángulo. Varias operaciones binarias, como el punto medio y el producto trilineal, cuando se aplican a los dos puntos de Brocard, así como a otros pares bicéntricos, producen centros de triángulos.
En la siguiente tabla de centros de triángulos más recientes, no se mencionan notaciones específicas para los distintos puntos. Además, para cada centro solo se especifica la primera coordenada trilineal f(a,b,c). Las demás coordenadas se pueden derivar fácilmente utilizando la propiedad de ciclicidad de las coordenadas trilineales.
En honor a Clark Kimberling, quien creó la enciclopedia en línea de más de 32.000 centros de triángulos, los centros de triángulos enumerados en la enciclopedia se denominan colectivamente centros Kimberling . [8]
Un centro triangular P se denomina centro triangular polinomial si las coordenadas trilineales de P pueden expresarse como polinomios en a, b, c .
Un centro de un triángulo P se denomina punto regular del triángulo si las coordenadas trilineales de P se pueden expresar como polinomios en △, a , b , c , donde △ es el área del triángulo.
Se dice que un centro de un triángulo P es un centro de un triángulo mayor si las coordenadas trilineales de P se pueden expresar en la forma donde es una función del ángulo X únicamente y no depende de los otros ángulos ni de las longitudes de los lados. [9]
Un centro triangular P se denomina centro triangular trascendental si P no tiene representación trilineal utilizando únicamente funciones algebraicas de a, b, c .
Sea f una función de centro de un triángulo. Si dos lados de un triángulo son iguales (por ejemplo, a = b ), entonces dos componentes del centro del triángulo asociado son siempre iguales. Por lo tanto, todos los centros de un triángulo isósceles deben estar sobre su línea de simetría . En un triángulo equilátero, los tres componentes son iguales, por lo que todos los centros coinciden con el baricentro. Por lo tanto, al igual que un círculo, un triángulo equilátero tiene un único centro.
Dejar
Se ve fácilmente que se trata de una función de centro de triángulo y (siempre que el triángulo sea escaleno) el centro del triángulo correspondiente es el excentro opuesto al ángulo del vértice más grande. Los otros dos excentros se pueden identificar mediante funciones similares. Sin embargo, como se indicó anteriormente, solo uno de los excentros de un triángulo isósceles y ninguno de los excentros de un triángulo equilátero puede ser un centro de triángulo.
Una función f es biantisimétrica si Si dicha función también es distinta de cero y homogénea, se ve fácilmente que la aplicación es una función de centro triangular. El centro triangular correspondiente es Por ello, a veces se considera que la definición de función de centro triangular incluye funciones biantisimétricas homogéneas distintas de cero.
Cualquier función de centro de triángulo f se puede normalizar multiplicándola por una función simétrica de a, b, c de modo que n = 0. Una función de centro de triángulo normalizada tiene el mismo centro de triángulo que la original, y también la propiedad más fuerte de que Junto con la función cero, las funciones de centro de triángulo normalizadas forman un álgebra bajo la suma, la resta y la multiplicación. Esto proporciona una manera fácil de crear nuevos centros de triángulos. Sin embargo, distintas funciones de centro de triángulo normalizadas a menudo definirán el mismo centro de triángulo, por ejemplo f y
Supongamos que a, b, c son variables reales y sean α, β, γ tres constantes reales cualesquiera.
Entonces f es una función de centro de triángulo y α : β : γ es el centro de triángulo correspondiente siempre que los lados del triángulo de referencia estén etiquetados de modo que a < b < c . Por lo tanto, cada punto es potencialmente un centro de triángulo. Sin embargo, la gran mayoría de los centros de triángulos son de poco interés, al igual que la mayoría de las funciones continuas son de poco interés.
Si f es una función de centro de triángulo, entonces también lo es af y el centro de triángulo correspondiente es Como estas son precisamente las coordenadas baricéntricas del centro de triángulo correspondiente a f , se deduce que los centros de triángulos podrían haber sido definidos igualmente en términos de baricéntricas en lugar de trilineales. En la práctica, no es difícil cambiar de un sistema de coordenadas a otro.
Existen otros pares de centros además del punto de Fermat y el primer centro isogónico. Otro sistema está formado por X 3 y el incentro del triángulo tangencial. Consideremos la función del centro del triángulo dada por:
Para el centro del triángulo correspondiente hay cuatro posibilidades distintas: Nótese que la primera es también el circuncentro.
Los cálculos rutinarios muestran que en todos los casos estas trilineales representan el incentro del triángulo tangencial. Por lo tanto, este punto es un centro de triángulo que es un compañero cercano del circuncentro.
La reflexión de un triángulo invierte el orden de sus lados. En la imagen, las coordenadas se refieren al triángulo ( c , b , a ) y (usando "|" como separador) la reflexión de un punto arbitrario es Si f es una función de centro de triángulo, la reflexión de su centro de triángulo es que, por bisimetría, es la misma que Como este es también el centro del triángulo correspondiente a f en relación con el triángulo ( c , b , a ) , la bisimetría asegura que todos los centros de los triángulos sean invariantes bajo reflexión. Dado que las rotaciones y las traslaciones pueden considerarse como reflexiones dobles, también deben preservar los centros de los triángulos. Estas propiedades de invariancia proporcionan justificación para la definición.
Otros nombres para la dilatación son escala uniforme , escala isotrópica , homotecia y homotecia .
El estudio de los centros de los triángulos se ocupa tradicionalmente de la geometría euclidiana , pero los centros de los triángulos también se pueden estudiar en geometría no euclidiana . [10] Los centros de los triángulos que tienen la misma forma tanto para la geometría euclidiana como para la hiperbólica se pueden expresar utilizando girotrigonometría . [11] [12] [13] En la geometría no euclidiana, se debe descartar la suposición de que los ángulos interiores del triángulo suman 180 grados.
También se pueden definir centros de tetraedros o símplices de dimensiones superiores , por analogía con triángulos bidimensionales. [13]
Algunos centros se pueden extender a polígonos con más de tres lados. El centroide , por ejemplo, se puede encontrar para cualquier polígono. Se han realizado algunas investigaciones sobre los centros de polígonos con más de tres lados. [14] [15]
A diferencia de los cuadrados y los círculos, los triángulos tienen muchos centros. Los antiguos griegos encontraron cuatro: incentro, baricentro, circuncentro y ortocentro. Un quinto centro, descubierto mucho más tarde, es el punto de Fermat. A partir de entonces, se añadieron a la literatura los puntos que ahora se denominan centro de nueve puntos, punto simediano, punto de Gergonne y punto de Feuerbach, por nombrar algunos. En la década de 1980, se observó que estos puntos especiales comparten algunas propiedades generales que ahora forman la base de una definición formal del centro de un triángulo.