stringtranslate.com

Sistema de coordenadas baricéntrico

Coordenadas baricéntricas en un triángulo equilátero y en un triángulo rectángulo.
Un 3-símplex, con subdivisiones baricéntricas de 1 cara (aristas), 2 caras (triángulos) y 3 caras (cuerpo).

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 mediante referencia a un simplex (un triángulo para puntos en un plano , un tetraedro para puntos en un espacio tridimensional , etc.). Las coordenadas baricéntricas de un punto pueden interpretarse como masas colocadas en los vértices del simplex, de modo que el punto es el centro de masas (o baricentro ) de dichas masas. Estas masas pueden ser cero o negativas; todos son positivos si y sólo si el punto está dentro del simplex.

Cada punto tiene coordenadas baricéntricas y su suma nunca es cero. Dos tuplas de coordenadas baricéntricas especifican el mismo punto si y sólo 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, se considera que las coordenadas baricéntricas están definidas hasta la multiplicación por una constante distinta de cero o normalizadas para sumar a la unidad.

Las coordenadas baricéntricas fueron introducidas por August Möbius en 1827. [1] [2] [3] Son coordenadas homogéneas especiales . Las coordenadas baricéntricas están fuertemente relacionadas con las coordenadas cartesianas y, de manera más general, con las coordenadas afines (ver Espacio afín § Relación entre coordenadas baricéntricas y afines ).

Las coordenadas baricéntricas son particularmente útiles en geometría de triángulos para estudiar propiedades que no dependen de los ángulos del triángulo, como el teorema de Ceva , el teorema de Routh y el teorema de Menelao . En diseño asistido por ordenador , son útiles para definir algunos tipos de superficies Bézier . [4] [5]

Definición

Sean n + 1 puntos en un espacio euclidiano , un espacio plano o afín de dimensión n que sean afínmente independientes ; esto significa que no existe un subespacio afín de dimensión n − 1 que contenga todos los puntos, [6] o, de manera equivalente, que los puntos definan un simplex . Dado cualquier punto hay escalares que no son todos cero, tales que

Ovector de traslaciónvector libreAB

Los elementos de una tupla ( n + 1) que satisface esta ecuación se llaman coordenadas baricéntricas de P con respecto al 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 es 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 sólo 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 generalmente se logra imponiendo la condición

coordenadas baricéntricas normalizadas[7]coordenadas afines

En ocasiones, son las coordenadas baricéntricas normalizadas las que 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 Ai son todas cero, excepto la de índice i . Cuando se trabaja con números reales (la definición anterior también se usa para espacios afines sobre un campo arbitrario ), los puntos cuyas coordenadas baricéntricas normalizadas son no negativas forman cuyo casco convexo es el simplex que tiene estos puntos como vértices.

Con la notación anterior, una tupla tal que

Opunto en el infinito

Relación con coordenadas cartesianas o afines

Las coordenadas baricéntricas están fuertemente relacionadas con las coordenadas cartesianas y, más generalmente, con las coordenadas afines . Para un espacio de dimensión n , estos sistemas de coordenadas se definen con respecto a 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.

La principal ventaja de los sistemas de coordenadas baricéntricos es que son simétricos con respecto a los n + 1 puntos que los definen. Por lo tanto, suelen ser útiles para estudiar propiedades que son simétricas con respecto a n + 1 puntos. Por otro lado, 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 cartesiano.

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 coordenadas afines y, para entenderse claramente, requiere una definición sin coordenadas de la finalización proyectiva de un espacio afín y una definición de marco proyectivo .

La terminación proyectiva de un espacio afín de dimensión n es un espacio proyectivo de la misma dimensión que contiene el espacio afín como complemento de un hiperplano . La terminación proyectiva es única hasta un isomorfismo . El hiperplano se llama hiperplano en el infinito y sus puntos son los puntos en el infinito del espacio afín. [8]

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 proyectivo tal que las coordenadas del ( n + 2 ) ésimo punto del marco son todas iguales y, de lo contrario, todas las coordenadas del i ésimo punto son cero, excepto el i ésimo. [8]

Cuando se construye la terminación proyectiva a partir de un sistema de coordenadas afín, comúnmente se define con respecto a un marco proyectivo que consta de las intersecciones con el hiperplano en la infinidad de los ejes de coordenadas , el origen del espacio afín y el punto que tiene todos sus ejes de coordenadas afines. coordenadas 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 uno tiene n + 1 puntos en un espacio afín que definen un sistema de coordenadas baricéntrico, este es otro marco proyectivo de terminación proyectiva que conviene elegir. Este marco consta de estos puntos y su centroide , 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 de el triángulo de referencia ABC . Las coordenadas areales y trilineales se utilizan para propósitos 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 a menudo más fáciles de evaluar, y las tablas de cuadratura gaussianas a menudo se presentan en términos de coordenadas de área.

Considere un triángulo T definido por sus tres vértices , y . Cada punto ubicado dentro de este triángulo se puede escribir como una combinación convexa única de los tres vértices. En otras palabras, para cada uno hay una secuencia única de tres números, tal que y

Los tres números indican las coordenadas "baricéntricas" o de "área" del punto con respecto al triángulo. A menudo se indican como en lugar de . Tenga en cuenta que aunque hay tres coordenadas, sólo hay dos grados de libertad , ya que . Por tanto, cada punto está definido de forma única por dos de las coordenadas baricéntricas.

Para explicar por qué estas coordenadas son razones de áreas con signo , supongamos que trabajamos en el espacio euclidiano . Aquí, considere el sistema de coordenadas cartesiano y su base asociada , a saber . Considere también el triángulo orientado positivamente que se encuentra en el plano . Se sabe que para cualquier base y cualquier vector libre se tiene [9]

donde representa el producto mixto de estos tres vectores.

Tome donde P es un punto arbitrario en el plano y observe que

Un punto sutil con respecto a nuestra elección de vectores libres: es, de hecho, la clase de equipolencia del vector ligado .

Hemos obtenido que

dónde

Dada la orientación positiva ( en sentido antihorario ) del triángulo , el denominador de ambos y es precisamente el doble del área del triángulo . También,

y entonces los numeradores de y son los dobles de las áreas con signo de los triángulos y respectivamente .

Además, deducimos que

lo que significa que los números , y son las coordenadas baricéntricas de P . De manera similar, la tercera coordenada baricéntrica se lee como

Esta notación de letras m de las coordenadas baricéntricas proviene del hecho de que el punto P puede interpretarse como el centro de masas de las masas , que se encuentran en A , B y C.

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 de las cartesianas o viceversa.

Podemos escribir las coordenadas cartesianas del punto en términos de las componentes cartesianas de los vértices del triángulo , donde y en términos de las coordenadas baricéntricas de as

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 que suman la unidad.

Para encontrar la transformación inversa, de coordenadas cartesianas a coordenadas baricéntricas, primero sustituimos lo anterior para obtener

Reorganizando, esto es

Esta transformación lineal se puede escribir de manera más sucinta como

donde es el vector de las dos primeras coordenadas baricéntricas, es el vector de coordenadas cartesianas y es una matriz dada por

Ahora la matriz es invertible , ya que y son linealmente independientes (si no fuera así, entonces , y serían colineales y no formarían un triángulo). Por lo tanto, podemos reordenar la ecuación anterior para obtener

Por lo tanto, encontrar las coordenadas baricéntricas se ha reducido a encontrar la matriz inversa de 2 × 2 de , un problema sencillo.

Explícitamente, las fórmulas para las coordenadas baricéntricas de un 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:

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 .

sistema lineal.
la regla de Cramer

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 baricéntricos tiene trilineales.

Ecuaciones en coordenadas baricéntricas

Los tres lados a, b, c respectivamente tienen ecuaciones [10]

La ecuación de la recta de Euler de un triángulo es [10]

Utilizando la conversión dada anteriormente entre coordenadas baricéntricas y trilineales, las otras ecuaciones dadas en Coordenadas trilineales#Fórmulas se pueden reescribir en términos de coordenadas baricéntricas.

Distancia entre puntos

El vector de desplazamiento de dos puntos normalizados y es [11]

La distancia d entre P y Q , o la longitud del vector de desplazamiento es [10] [11]

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 es válido porque

Las coordenadas baricéntricas de un punto se pueden calcular en función de las distancias di a los tres vértices del triángulo resolviendo la ecuación

Aplicaciones

Dos soluciones al rompecabezas del vertido de agua de 8, 5 y 3 L utilizando un diagrama baricéntrico. La zona amarilla indica las combinaciones que se pueden realizar con las jarras. Los caminos de color rojo sólido y azul discontinuo muestran transiciones vertibles. Cuando un vértice aterriza en el triángulo punteado, se han medido 4 L.

Determinar la ubicación con respecto a un triángulo.

Aunque las coordenadas baricéntricas se usan 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, 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á ese 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 un borde 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 los otros dos se encuentran en el intervalo abierto. Si el punto se encuentra en un vértice, la coordenada asociada a ese vértice es igual a 1 y las demás son iguales a cero. Finalmente, si el punto se encuentra fuera del triángulo, al menos una coordenada es negativa.

Resumiendo,

El punto está dentro del triángulo si y sólo si .

De lo contrario, se encuentra fuera del triángulo.

En particular, si un punto se encuentra en el lado opuesto de una línea, la coordenada baricéntrica del punto en el triángulo que no está en la línea tendrá un valor negativo.

Interpolación en una cuadrícula triangular no estructurada

Superficie (parte superior) obtenida a partir de interpolación lineal sobre una cuadrícula triangular determinada (parte inferior) en el plano x , y . La superficie se aproxima a una función z = f ( x , y ), dados solo los valores de f en los vértices de la cuadrícula.

Si se conocen cantidades, pero se desconocen los valores de f dentro del triángulo definido por , se pueden aproximar mediante interpolación lineal . Las coordenadas baricéntricas proporcionan una manera conveniente de calcular esta interpolación. Si es un punto dentro del triángulo con coordenadas baricéntricas ,,, entonces

En general, dada cualquier cuadrícula o malla poligonal 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 . Para ello, se transforma a las coordenadas baricéntricas de cada triángulo. Si se encuentra algún triángulo cuyas coordenadas satisfacen , entonces el punto se encuentra en ese triángulo o en su arista (explicado en la sección anterior). Entonces el valor de se puede interpolar como se describe anteriormente.

Estos métodos tienen muchas aplicaciones, como el método de elementos finitos (FEM).

Integración sobre un triángulo o tetraedro

La integral de una función sobre el dominio del triángulo puede resultar complicada de calcular en un sistema de coordenadas cartesianas. Generalmente hay que dividir el triángulo en dos mitades, lo que produce un gran desorden. En cambio, a menudo es más fácil realizar un cambio de variables a dos coordenadas baricéntricas cualesquiera, por ejemplo . Bajo este cambio de variables,

donde A es el área del triángulo. Este resultado se deriva 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.

V

Ejemplos de puntos especiales

En el sistema de coordenadas baricéntrico homogéneo definido con respecto a un triángulo , se mantienen las siguientes afirmaciones sobre puntos especiales .

Los tres vértices A , B y C tienen coordenadas [10]

El centroide tiene coordenadas [10]

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 se mantienen además las siguientes afirmaciones sobre puntos especiales de sujeción.

El circuncentro tiene coordenadas [10] [11] [12] [13]

El ortocentro tiene coordenadas [10] [11]

El incentro tiene coordenadas [11] [14]

Los excentros tienen coordenadas [14]

El centro de nueve puntos tiene coordenadas [10] [14]

El punto Gergonne tiene coordenadas .

El punto Nagel tiene coordenadas .

El punto simediano tiene coordenadas . [13]

Coordenadas baricéntricas en tetraedros

Las coordenadas baricéntricas se pueden extender fácilmente a tres dimensiones . El simplex 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 se asigne a 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 hay una matriz de 3×3:

y con las correspondientes coordenadas cartesianas:

invertir una matriz de 3×3

Se pueden utilizar coordenadas baricéntricas 3D 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 enormemente la interpolación 3D.

Coordenadas baricéntricas generalizadas

Las coordenadas baricéntricas de un punto que se definen respecto de un conjunto finito de k puntos en lugar de un símplex se denominan coordenadas baricéntricas generalizadas . Para estos, la ecuación

todavía es necesario mantener. [15] Normalmente se utilizan coordenadas normalizadas, . En cuanto al caso de un simplex, los puntos con coordenadas generalizadas normalizadas no negativas ( ) forman el casco convexo de x 1 , ..., x n . Si hay más puntos que en un simplex completo ( ), las coordenadas baricéntricas generalizadas de un punto no son únicas, como el sistema lineal definitorio (aquí para n=2)

subdeterminadocuadrilátero[dieciséis]

Abstracción

De manera más abstracta, las coordenadas baricéntricas generalizadas expresan un politopo convexo con n vértices, independientemente de la dimensión, como la imagen del estándar -simplex, que tiene n vértices- en la que el mapa es: El mapa es uno a uno si y sólo si el politopo es un simplex, en cuyo caso el mapa es un isomorfismo; esto corresponde a un punto que no tiene coordenadas baricéntricas generalizadas únicas, excepto cuando P es un simplex.

Las coordenadas duales a baricéntricas generalizadas son variables flojas , que miden en qué medida un punto satisface las restricciones lineales y dan una incrustación en el f - orthant , donde f es el número de caras (duales a los vértices). Este mapa es uno a uno (las variables de holgura se determinan de forma única) pero no (no se pueden realizar todas las combinaciones).

Este uso del estándar -simplex y f -orthant como objetos estándar que se asignan a un politopo o al que un politopo se asigna debe contrastarse con el uso del espacio vectorial estándar como objeto estándar para espacios vectoriales, y el hiperplano afín estándar como el objeto estándar para espacios afines, donde en cada caso elegir 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 uno a uno o uno a uno. mapa (no todos los politopos son simples). Además, el n -orthant es el objeto estándar que se asigna a los conos.

Aplicaciones

Las coordenadas baricéntricas se utilizan para combinar tres colores en una región triangular de manera uniforme en gráficos por computadora.
Las coordenadas baricéntricas se utilizan para combinar tres colores en una región triangular de manera uniforme en gráficos por computadora.

Las coordenadas baricéntricas generalizadas tienen aplicaciones en gráficos por computadora y más específicamente en modelado geométrico . [17] A menudo, un modelo tridimensional puede aproximarse mediante un poliedro de modo que las coordenadas baricéntricas generalizadas con respecto a ese poliedro tengan un significado geométrico. De esta manera, el procesamiento del modelo se puede simplificar utilizando estas coordenadas significativas. Las coordenadas baricéntricas también se utilizan en geofísica . [18]

Ver también

Referencias

  1. ^ 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.
  2. ^ Max Koecher, Aloys Krieg: Ebene Geometrie. Springer-Verlag, Berlín 2007, ISBN 978-3-540-49328-0 , pág.76. 
  3. ^ Hille, Einar. "Teoría de funciones analíticas, volumen 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 
  4. ^ Josef Hoschek, Dieter Lasser: Grundlagen der geometrischen Datenverarbeitung. Teubner-Verlag, 1989, ISBN 3-519-02962-6 , pág.243. 
  5. ^ Gerald Farin: Curvas y superficies para diseño geométrico asistido por computadora. Prensa académica, 1990, ISBN 9780122490514 , pág.20. 
  6. ^ Reventós Tarrida, Agustí. "Mapas afines, movimientos euclidianos y cuádricas". Springer, 2011, ISBN 978-0-85729-709-9 , página 11 
  7. ^ 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 
  8. ^ ab Berger, Marcel (1987), Geometría I , Berlín: Springer, ISBN 3-540-11658-3
  9. ^ Danby, JMA "Fundamentos de la mecánica celeste", segunda edición, revisada y ampliada, quinta impresión. Willmann-Bell, Inc., Richmond, 2003, ISBN 0-943396-20-4 , página 26, problema 11 
  10. ^ 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.
  11. ^ abcde Schindler, Max; Chen, Evan (13 de julio de 2012). "Coordenadas baricéntricas en geometría olímpica" (PDF) . Consultado el 14 de enero de 2016 .
  12. ^ 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 .
  13. ^ ab Página de Wolfram sobre coordenadas baricéntricas
  14. ^ abc Dasari Naga, Vijay Krishna, "Sobre el triángulo de Feuerbach", Forum Geométricorum 17 (2017), 289–300: p. 289. http://forumgeom.fau.edu/FG2017volume17/FG201731.pdf
  15. ^ Meyer, marca; Barr, Alan; Lee, Haeyoung; Desbrun, Mathieu (6 de abril de 2012). "Coordenadas baricéntricas generalizadas en polígonos irregulares" (PDF) . Revista de herramientas gráficas . 7 : 13–22. doi :10.1080/10867651.2002.10487551. S2CID  13370238.
  16. ^ Flotador, Michael S. (2015). «Coordenadas baricéntricas generalizadas y aplicaciones*» (PDF) . Acta Numérica . 24 : 161–214. doi :10.1017/S0962492914000129. ISSN  0962-4929. S2CID  62811364.
  17. ^ Flotador, Michael S. (2003). "Coordenadas del valor medio". Diseño Geométrico Asistido por Computadora . 20 (1): 19–27. doi :10.1016/S0167-8396(03)00002-5.
  18. ^ ONUFRIEV, VG; DENISIK, SA; FERRONSKY, VI, MODELOS BARICÉNTRICOS EN ESTUDIOS ISOTOPÓPICOS DE AGUAS NATURALES. GEOFÍSICA NUCLEAR, 4, 111-117 (1990)

enlaces externos