Sistema de coordenadas que se define por puntos en lugar de vectores.
En geometría , un sistema de coordenadas baricéntrico es un sistema de coordenadas en el que la ubicación de un punto se especifica por referencia a un símplex (un triángulo para puntos en un plano , un tetraedro para puntos en el espacio tridimensional , etc.). Las coordenadas baricéntricas de un punto se pueden interpretar como masas colocadas en los vértices del símplex, de modo que el punto es el centro de masas (o baricentro ) de estas masas. Estas masas pueden ser cero o negativas; todas son positivas si y solo si el punto está dentro del símplex.
Cada punto tiene coordenadas baricéntricas y su suma nunca es cero. Dos tuplas de coordenadas baricéntricas especifican el mismo punto si y solo si son proporcionales; es decir, si una tupla se puede obtener multiplicando los elementos de la otra tupla por el mismo número distinto de cero. Por lo tanto, las coordenadas baricéntricas se consideran definidas hasta la multiplicación por una constante distinta de cero o se normalizan para sumar la unidad.
Sean n + 1 puntos en un espacio euclidiano , plano o afín de dimensión n, que sean afínmente independientes ; esto significa que no existe ningún subespacio afín de dimensión n − 1 que contenga todos los puntos, [6] o, equivalentemente, que los puntos definen un símplex . Dado cualquier punto, existen escalares que no son todos cero, tales que
para cualquier punto O . (Como es habitual, la notación representa el vector de traslación o vector libre que mapea el punto A al punto B .)
Los elementos de una tupla ( n +1) que satisface esta ecuación se denominan coordenadas baricéntricas de P con respecto a El uso de dos puntos en la notación de la tupla significa que las coordenadas baricéntricas son una especie de coordenadas homogéneas , es decir, el punto no cambia si todas las coordenadas se multiplican por la misma constante distinta de cero. Además, las coordenadas baricéntricas tampoco cambian si se cambia el punto auxiliar O , el origen .
Las coordenadas baricéntricas de un punto son únicas hasta una escala . Es decir, dos tuplas y son coordenadas baricéntricas del mismo punto si y solo si existe un escalar distinto de cero tal que para cada i .
En algunos contextos, resulta útil restringir las coordenadas baricéntricas de un punto para que sean únicas. Esto se logra generalmente imponiendo la condición
o, equivalentemente, dividiendo cada por la suma de todas . Estas coordenadas baricéntricas específicas se denominan coordenadas baricéntricas normalizadas o absolutas . [7] A veces, también se denominan coordenadas afines , aunque este término se refiere comúnmente a un concepto ligeramente diferente.
En ocasiones, las coordenadas baricéntricas normalizadas se denominan coordenadas baricéntricas . En este caso, las coordenadas definidas anteriormente se denominan coordenadas baricéntricas homogéneas .
Con la notación anterior, las coordenadas baricéntricas homogéneas de A i son todas cero, excepto la de índice i . Cuando se trabaja sobre los números reales (la definición anterior también se utiliza para espacios afines sobre un cuerpo arbitrario ), los puntos cuyas coordenadas baricéntricas normalizadas son todas no negativas forman la envoltura convexa que es el símplex que tiene estos puntos como sus vértices.
Con la notación anterior, una tupla tal que
no define ningún punto, pero el vector
es independiente del origen O . Como la dirección de este vector no cambia si todos se multiplican por el mismo escalar, la tupla homogénea define una dirección de líneas, es decir, un punto en el infinito . Ver más detalles a continuación.
Relación con coordenadas cartesianas o afines
Las coordenadas baricéntricas están estrechamente relacionadas con las coordenadas cartesianas y, de manera más general, con las coordenadas afines . Para un espacio de dimensión n , estos sistemas de coordenadas se definen en relación con un punto O , el origen , cuyas coordenadas son cero, y n puntos cuyas coordenadas son cero excepto el de índice i que es igual a uno.
Un punto tiene coordenadas
para dicho sistema de coordenadas si y sólo si sus coordenadas baricéntricas normalizadas son
relativas a los puntos
La principal ventaja de los sistemas de coordenadas baricéntricos es que son simétricos respecto de los n +1 puntos que los definen. Por ello, suelen ser útiles para estudiar propiedades que son simétricas respecto de n +1 puntos. Por otra parte, las distancias y los ángulos son difíciles de expresar en sistemas de coordenadas baricéntricos generales y, cuando están involucrados, generalmente es más sencillo utilizar un sistema de coordenadas cartesianas.
Relación con coordenadas proyectivas
Las coordenadas baricéntricas homogéneas también están fuertemente relacionadas con algunas coordenadas proyectivas . Sin embargo, esta relación es más sutil que en el caso de las coordenadas afines y, para ser claramente entendida, requiere una definición sin coordenadas de la completitud proyectiva de un espacio afín y una definición de un marco proyectivo .
Dado un espacio proyectivo de dimensión n , un marco proyectivo es un conjunto ordenado de n + 2 puntos que no están contenidos en el mismo hiperplano. Un marco proyectivo define un sistema de coordenadas proyectivas tal que las coordenadas del punto ( n + 2) del marco son todas iguales y, en caso contrario, todas las coordenadas del punto i son cero, excepto la i . [8]
Al construir la completitud proyectiva a partir de un sistema de coordenadas afines, comúnmente se la define con respecto a un marco proyectivo que consiste en las intersecciones con el hiperplano en el infinito de los ejes de coordenadas , el origen del espacio afín y el punto que tiene todas sus coordenadas afines iguales a uno. Esto implica que los puntos en el infinito tienen su última coordenada igual a cero, y que las coordenadas proyectivas de un punto del espacio afín se obtienen completando sus coordenadas afines en uno como ( n + 1) ésima coordenada.
Cuando se tienen n + 1 puntos en un espacio afín que definen un sistema de coordenadas baricéntricas, este es otro marco proyectivo de la completitud proyectiva que conviene elegir. Este marco está formado por estos puntos y su baricentro , es decir, el punto que tiene todas sus coordenadas baricéntricas iguales. En este caso, las coordenadas baricéntricas homogéneas de un punto en el espacio afín son las mismas que las coordenadas proyectivas de este punto. Un punto está en el infinito si y sólo si la suma de sus coordenadas es cero. Este punto está en la dirección del vector definido al final del § Definición.
Coordenadas baricéntricas en triángulos
En el contexto de un triángulo , las coordenadas baricéntricas también se conocen como coordenadas de área o coordenadas de área , porque las coordenadas de P con respecto al triángulo ABC son equivalentes a las razones (con signo) de las áreas de PBC , PCA y PAB con respecto al área del triángulo de referencia ABC . Las coordenadas de área y trilineales se utilizan para fines similares en geometría.
Las coordenadas baricéntricas o de área son extremadamente útiles en aplicaciones de ingeniería que involucran subdominios triangulares . Esto hace que las integrales analíticas sean más fáciles de evaluar y las tablas de cuadratura gaussiana suelen presentarse en términos de coordenadas de área.
Consideremos un triángulo con vértices , , en el plano x,y, . Se pueden considerar los puntos en como vectores, por lo que tiene sentido sumarlos o restarlos y multiplicarlos por escalares.
Cada triángulo tiene un área firmada o sarea , que es más o menos su área:
El signo es más si el camino de a a y luego de regreso rodea el triángulo en sentido antihorario. El signo es menos si el camino rodea el triángulo en sentido horario.
Sea un punto en el plano, y sean sus coordenadas baricéntricas normalizadas con respecto al triángulo , por lo que
y
Las coordenadas baricéntricas normalizadas también se denominan coordenadas de área porque representan proporciones de áreas con signo de triángulos:
Se pueden probar estas fórmulas de proporción basándose en el hecho de que un triángulo es la mitad de un paralelogramo, y el área de un paralelogramo es fácil de calcular utilizando un determinante .
En concreto, dejar que
es un paralelogramo porque sus pares de lados opuestos, representados por los pares de vectores de desplazamiento , y , son paralelos y congruentes.
El triángulo es la mitad del paralelogramo , por lo que el doble de su área con signo es igual al área con signo del paralelogramo, que viene dada por el determinante cuyas columnas son los vectores de desplazamiento y :
Para obtener la relación de estas áreas firmadas, exprese en la segunda fórmula en términos de sus coordenadas baricéntricas:
Las coordenadas baricéntricas están normalizadas , por lo tanto , . Sustituya esto en la línea anterior para obtener
Por lo tanto
.
Cálculos similares prueban las otras dos fórmulas.
.
Las coordenadas trilineales de son distancias con signo desde hasta las líneas BC, AC y AB, respectivamente. El signo de es positivo si y se encuentran en el mismo lado de BC, negativo en caso contrario. Los signos de y se asignan de manera similar. Sea
, , .
Entonces
donde, como se indicó anteriormente, sarea representa el área con signo. Los tres signos son positivos si el triángulo ABC está orientado positivamente, negativos en caso contrario. Las relaciones entre las coordenadas trilineales y baricéntricas se obtienen sustituyendo estas fórmulas en las fórmulas anteriores que expresan las coordenadas baricéntricas como cocientes de áreas.
Alternar entre las coordenadas baricéntricas y otros sistemas de coordenadas hace que algunos problemas sean mucho más fáciles de resolver.
Conversión entre coordenadas baricéntricas y cartesianas
Enfoque de borde
Dado un punto en el plano de un triángulo se pueden obtener las coordenadas baricéntricas , y a partir de las coordenadas cartesianas o viceversa.
Podemos escribir las coordenadas cartesianas del punto en términos de los componentes cartesianos de los vértices del triángulo , , donde y en términos de las coordenadas baricéntricas de como
Es decir, las coordenadas cartesianas de cualquier punto son un promedio ponderado de las coordenadas cartesianas de los vértices del triángulo, siendo los pesos las coordenadas baricéntricas del punto sumadas a la unidad.
Para encontrar la transformación inversa, de coordenadas cartesianas a coordenadas baricéntricas, primero sustituimos en lo anterior para obtener
Ahora la matriz es invertible , ya que y son linealmente independientes (si este no fuera el caso, entonces , , y serían colineales y no formarían un triángulo). Por lo tanto, podemos reorganizar la ecuación anterior para obtener
Por lo tanto, encontrar las coordenadas baricéntricas se ha reducido a encontrar la matriz inversa 2×2 de , un problema fácil.
Explícitamente, las fórmulas para las coordenadas baricéntricas del punto en términos de sus coordenadas cartesianas ( x, y ) y en términos de las coordenadas cartesianas de los vértices del triángulo son:
Al comprender la última línea de la ecuación, tenga en cuenta la identidad .
Enfoque de vértice
Otra forma de resolver la conversión de coordenadas cartesianas a baricéntricas es escribir la relación en forma matricial con y es decir Para obtener la única solución normalizada necesitamos agregar la condición . Las coordenadas baricéntricas son, por lo tanto, la solución del sistema lineal que es donde es el doble del área con signo del triángulo. La interpretación del área de las coordenadas baricéntricas se puede recuperar aplicando la regla de Cramer a este sistema lineal.
Conversión entre coordenadas baricéntricas y trilineales
Un punto con coordenadas trilineales x : y : z tiene coordenadas baricéntricas ax : by : cz donde a , b , c son las longitudes de los lados del triángulo. Por el contrario, un punto con coordenadas baricéntricas tiene coordenadas trilineales .
Ecuaciones en coordenadas baricéntricas
Los tres lados a, b, c respectivamente tienen ecuaciones [9]
Utilizando la conversión dada previamente entre coordenadas baricéntricas y trilineales, las otras ecuaciones dadas en Coordenadas trilineales#Fórmulas pueden reescribirse en términos de coordenadas baricéntricas.
Distancia entre puntos
El vector de desplazamiento de dos puntos normalizados y es [10]
La distancia d entre P y Q , o la longitud del vector de desplazamiento es [9] [10]
donde a, b, c son las longitudes de los lados del triángulo. La equivalencia de las dos últimas expresiones se deduce de lo cual se cumple porque
Las coordenadas baricéntricas de un punto se pueden calcular en función de las distancias d i a los tres vértices del triángulo resolviendo la ecuación
Aplicaciones
Determinación de la ubicación con respecto a un triángulo
Aunque las coordenadas baricéntricas se utilizan más comúnmente para manejar puntos dentro de un triángulo, también se pueden usar para describir un punto fuera del triángulo. Si el punto no está dentro del triángulo, entonces aún podemos usar las fórmulas anteriores para calcular las coordenadas baricéntricas. Sin embargo, dado que el punto está fuera del triángulo, al menos una de las coordenadas violará nuestra suposición original de que . De hecho, dado cualquier punto en coordenadas cartesianas, podemos usar este hecho para determinar dónde está este punto con respecto a un triángulo.
Si un punto se encuentra en el interior del triángulo, todas las coordenadas baricéntricas se encuentran en el intervalo abierto. Si un punto se encuentra en una arista del triángulo pero no en un vértice, una de las coordenadas del área (la asociada con el vértice opuesto) es cero, mientras que las otras dos se encuentran en el intervalo abierto. Si el punto se encuentra en un vértice, la coordenada asociada con ese vértice es igual a 1 y las otras son iguales a cero. Finalmente, si el punto se encuentra fuera del triángulo, al menos una coordenada es negativa.
Resumiendo,
El punto se encuentra dentro del triángulo si y sólo si .
se encuentra en el borde o esquina del triángulo si y .
De lo contrario, se encuentra fuera del triángulo.
En particular, si un punto se encuentra en el lado más alejado de una línea, la coordenada baricéntrica del punto del triángulo que no está en la línea tendrá un valor negativo.
Interpolación en una cuadrícula triangular no estructurada
Si son cantidades conocidas, pero los valores de f dentro del triángulo definido por son desconocidos, se pueden aproximar utilizando interpolación lineal . Las coordenadas baricéntricas proporcionan una forma conveniente de calcular esta interpolación. Si es un punto dentro del triángulo con coordenadas baricéntricas , , , entonces
En general, dada cualquier malla poligonal o cuadrícula no estructurada , este tipo de técnica se puede utilizar para aproximar el valor de f en todos los puntos, siempre que se conozca el valor de la función en todos los vértices de la malla. En este caso, tenemos muchos triángulos, cada uno correspondiente a una parte diferente del espacio. Para interpolar una función f en un punto , primero se debe encontrar un triángulo que contenga a . Para ello, se transforma en las coordenadas baricéntricas de cada triángulo. Si se encuentra algún triángulo tal que las coordenadas satisfagan , entonces el punto se encuentra en ese triángulo o en su borde (explicado en la sección anterior). Luego, el valor de se puede interpolar como se describió anteriormente.
La integral de una función sobre el dominio del triángulo puede ser complicada de calcular en un sistema de coordenadas cartesianas. Generalmente, hay que dividir el triángulo en dos mitades, lo que genera un gran desorden. En cambio, suele ser más fácil hacer un cambio de variables a dos coordenadas baricéntricas cualesquiera, por ejemplo . Con este cambio de variables,
donde A es el área del triángulo. Este resultado se deduce del hecho de que un rectángulo en coordenadas baricéntricas corresponde a un cuadrilátero en coordenadas cartesianas, y la relación de las áreas de las formas correspondientes en los sistemas de coordenadas correspondientes está dada por . De manera similar, para la integración sobre un tetraedro, en lugar de dividir la integral en dos o tres partes separadas, se podría cambiar a coordenadas tetraédricas 3D bajo el cambio de variables.
donde V es el volumen del tetraedro.
Ejemplos de puntos especiales
En el sistema de coordenadas baricéntrico homogéneo definido con respecto a un triángulo , se cumplen las siguientes afirmaciones sobre puntos especiales .
Los tres vértices A , B y C tienen coordenadas [9]
Si a , b , c son las longitudes de los bordes , , respectivamente, , , son las medidas de los ángulos , , y respectivamente, y s es el semiperímetro de , entonces las siguientes afirmaciones sobre puntos especiales de se cumplen además.
El circuncentro tiene coordenadas [9] [10] [11] [12]
Las coordenadas baricéntricas se pueden extender fácilmente a tres dimensiones . El símplex 3D es un tetraedro , un poliedro que tiene cuatro caras triangulares y cuatro vértices. Una vez más, las cuatro coordenadas baricéntricas se definen de modo que el primer vértice corresponda a las coordenadas baricéntricas , , etc.
Esta es nuevamente una transformación lineal, y podemos extender el procedimiento anterior para triángulos para encontrar las coordenadas baricéntricas de un punto con respecto a un tetraedro:
donde ahora es una matriz 3×3:
y con las coordenadas cartesianas correspondientes: Una vez más, el problema de encontrar las coordenadas baricéntricas se ha reducido a invertir una matriz 3×3 .
Las coordenadas baricéntricas 3D se pueden utilizar para decidir si un punto se encuentra dentro de un volumen tetraédrico y para interpolar una función dentro de una malla tetraédrica, de manera análoga al procedimiento 2D. Las mallas tetraédricas se utilizan a menudo en el análisis de elementos finitos porque el uso de coordenadas baricéntricas puede simplificar en gran medida la interpolación 3D.
Coordenadas baricéntricas generalizadas
Las coordenadas baricéntricas de un punto que se definen con respecto a un conjunto finito de k puntos en lugar de un símplex se denominan coordenadas baricéntricas generalizadas . Para ellas, la ecuación
todavía se requiere que se cumpla. [14] Generalmente se utilizan coordenadas normalizadas, . En cuanto al caso de un símplex, los puntos con coordenadas generalizadas normalizadas no negativas ( ) forman la envoltura convexa de x 1 , ..., x n . Si hay más puntos que en un símplex completo ( ) las coordenadas baricéntricas generalizadas de un punto no son únicas, ya que el sistema lineal definitorio (aquí para n=2) está subdeterminado . El ejemplo más simple es un cuadrilátero en el plano. Se pueden utilizar varios tipos de restricciones adicionales para definir coordenadas baricéntricas únicas. [15]
Abstracción
De manera más abstracta, las coordenadas baricéntricas generalizadas expresan un politopo convexo con n vértices, independientemente de su dimensión, como la imagen del -símplex estándar, que tiene n vértices – la función es sobreyectiva: la función es biunívoca si y solo si el politopo es un símplex, en cuyo caso la función es un isomorfismo; esto corresponde a un punto que no tiene coordenadas baricéntricas generalizadas únicas excepto cuando P es un símplex.
Las coordenadas baricéntricas generalizadas duales son variables de holgura que miden el margen por el cual un punto satisface las restricciones lineales y dan una incrustación en la f - ortante , donde f es el número de caras (duales a los vértices). Esta función es biunívoca (las variables de holgura se determinan de manera única) pero no sobreyectiva (no se pueden realizar todas las combinaciones).
Este uso del -símplex estándar y del f -ortante como objetos estándar que se asignan a un politopo o en los que se asigna un politopo debe contrastarse con el uso del espacio vectorial estándar como objeto estándar para espacios vectoriales y del hiperplano afín estándar como objeto estándar para espacios afines, donde en cada caso la elección de una base lineal o una base afín proporciona un isomorfismo, lo que permite pensar en todos los espacios vectoriales y espacios afines en términos de estos espacios estándar, en lugar de una función ontológica o biunívoca (no todos los politopos son símplex). Además, el n -ortante es el objeto estándar que se asigna a conos.
Aplicaciones
Las coordenadas baricéntricas generalizadas tienen aplicaciones en gráficos por computadora y más específicamente en modelado geométrico . [16] A menudo, un modelo tridimensional puede ser aproximado por un poliedro de tal manera que las coordenadas baricéntricas generalizadas con respecto a ese poliedro tengan un significado geométrico. De esta manera, el procesamiento del modelo puede simplificarse utilizando estas coordenadas significativas. Las coordenadas baricéntricas también se utilizan en geofísica . [17]
^ Möbius, Agosto Fernando (1827). El cálculo baricéntrico . Leipzig: JA Barth. Reimpreso en Baltzer, Richard, ed. (1885). "Der barycentrische Calcul". August Ferdinand Möbius Gesammelte Werke . vol. 1. Leipzig: S. Hirzel. págs. 1–388.
^ Max Koecher, Aloys Krieg: Ebene Geometrie. Springer-Verlag, Berlín 2007, ISBN 978-3-540-49328-0 , pág.76.
^ Hille, Einar. "Analytic Function Theory, Volume I", Segunda edición, quinta impresión. Chelsea Publishing Company, Nueva York, 1982, ISBN 0-8284-0269-8 , página 33, nota al pie 1
^ Josef Hoschek, Dieter Lasser: Grundlagen der geometrischen Datenverarbeitung. Teubner-Verlag, 1989, ISBN 3-519-02962-6 , pág.243.
^ Gerald Farin: Curvas y superficies para diseño geométrico asistido por computadora. Academic Press, 1990, ISBN 9780122490514 , pág. 20.
^ Reventós Tarrida, Agustí. "Mapas afines, movimientos euclidianos y cuádricas". Springer, 2011, ISBN 978-0-85729-709-9 , página 11
^ Deaux, Roland. "Introducción a la geometría de los números complejos". Dover Publications, Inc., Mineola, 2008, ISBN 978-0-486-46629-3 , página 61
^ abcdefgh Scott, JA "Algunos ejemplos del uso de coordenadas de área en geometría de triángulos", Mathematical Gazette 83, noviembre de 1999, 472–477.
^ abcde Schindler, Max; Chen, Evan (13 de julio de 2012). «Coordenadas baricéntricas en la geometría olímpica» (PDF) . Consultado el 14 de enero de 2016 .
^ Enciclopedia de triángulos de Clark Kimberling "Enciclopedia de centros de triángulos". Archivado desde el original el 19 de abril de 2012. Consultado el 2 de junio de 2012 .
^ ab Página de Wolfram sobre coordenadas baricéntricas
^ abc Dasari Naga, Vijay Krishna, "Sobre el triángulo de Feuerbach", Forum Geometriorum 17 (2017), 289–300: p. 289. http://forumgeom.fau.edu/FG2017volume17/FG201731.pdf
^ Meyer, Mark; Barr, Alan; Lee, Haeyoung; Desbrun, Mathieu (6 de abril de 2012). "Coordenadas baricéntricas generalizadas en polígonos irregulares" (PDF) . Journal of Graphics Tools . 7 : 13–22. doi :10.1080/10867651.2002.10487551. S2CID 13370238.
^ Floater, Michael S. (2015). "Coordenadas baricéntricas generalizadas y aplicaciones*" (PDF) . Acta Numerica . 24 : 161–214. doi :10.1017/S0962492914000129. ISSN 0962-4929. S2CID 62811364.
^ Floater, Michael S. (2003). "Coordenadas de valor medio". Diseño geométrico asistido por ordenador . 20 (1): 19–27. doi :10.1016/S0167-8396(03)00002-5.
^ ONUFRIEV, VG; DENISIK, SA; FERRONSKY, VI, MODELOS BARICÉNTRICOS EN ESTUDIOS ISÓTOPOS DE AGUAS NATURALES. GEOFÍSICA NUCLEAR, 4, 111-117 (1990)
Scott, JA Algunos ejemplos del uso de coordenadas de área en geometría de triángulos , Mathematical Gazette 83, noviembre de 1999, 472–477.
Schindler, Max; Chen, Evan (13 de julio de 2012). Coordenadas baricéntricas en la geometría olímpica (PDF). Consultado el 14 de enero de 2016.
Enciclopedia de triángulos de Clark Kimberling Enciclopedia de centros de triángulos . Archivado desde el original el 19 de abril de 2012. Consultado el 2 de junio de 2012.
Bradley, Christopher J. (2007). El álgebra de la geometría: coordenadas cartesianas, areales y proyectivas . Bath: Highperception. ISBN 978-1-906338-00-8.
Cálculo baricéntrico en geometría euclidiana e hiperbólica: una introducción comparativa, Abraham Ungar, World Scientific, 2010
Coordenadas baricéntricas hiperbólicas, Abraham A. Ungar, The Australian Journal of Mathematical Analysis and Applications, vol. 6, n.º 1, artículo 18, págs. 1–35, 2009