Articulo de referencia

Sistema de coordenadas baricéntricas

Coordenadas baricéntricas 1 , ''λ'' 2 , ''λ'' 3 )"}},"i":0}}]}">( λ₁ , λ₂ , λ₃ ) en un triángulo equilátero y en un 1 , ''λ'' 2 , ''λ'' 3 )"}},"i":0}...

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éntricas es aquel en el que la ubicación de un punto se especifica con respecto 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 pueden interpretarse como masas situadas en los vértices del símplex, de modo que el punto es el centro de masa (o baricentro ) de dichas masas. Estas masas pueden ser cero o negativas; son positivas solo si el punto se encuentra estrictamente dentro del símplex.

Cada punto posee coordenadas baricéntricas, y su suma nunca es cero. Dos pares de coordenadas baricéntricas definen el mismo punto si y solo si son proporcionales; es decir, si un par se obtiene multiplicando los elementos del otro por el mismo número distinto de cero. Por lo tanto, las coordenadas baricéntricas se consideran definidas salvo multiplicación por una constante distinta de cero, o bien normalizadas para que su suma sea igual 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, más generalmente, con las coordenadas afines ( ).

Las coordenadas baricéntricas son particularmente útiles en geometría triangular 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 computadora , son útiles para definir algunos tipos de superficies de Bézier . [ 4 ] [ 5 ]

Definición

DejarA0,,Anorte{\displaystyle A_{0},\ldots ,A_{n}}sean n + 1 puntos en un espacio euclidiano , un espacio plano o un espacio afín.A{\displaystyle \mathbf {A} }de dimensión n que son afínmente independientes ; esto significa que no hay ningún subespacio afín de dimensión n − 1 que contenga todos los puntos, [ 6 ] o, equivalentemente, que los puntos definen un simplex . Dado cualquier puntoPAGA,{\displaystyle P\in \mathbf {A} ,}hay escalaresa0,,anorte{\displaystyle a_{0},\ldots ,a_{n}}que no son todos cero, de tal manera que (a0++anorte)OPAG=a0OA0++anorteOAnorte,{\displaystyle (a_{0}+\cdots +a_{n}){\overset {}{\overrightarrow {OP}}}=a_{0}{\overset {}{\overrightarrow {OA_{0}}}}+\cdots +a_{n}{\overset {}{\overrightarrow {OA_{n}}}},} para cualquier punto O . (Como es habitual, la notaciónAB{\displaystyle {\overset {}{\overrightarrow {AB}}}}representa el vector de traslación o vector libre que mapea el punto A al punto B.

Los elementos de una tupla ( n + 1)(a0::anorte){\displaystyle (a_{0}:\dotsc :a_{n})}que satisfacen esta ecuación se denominan coordenadas baricéntricas de P con respecto aA0,,Anorte.{\displaystyle A_{0},\ldots ,A_{n}.}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 modifica el punto auxiliar O , el origen .

Las coordenadas baricéntricas de un punto son únicas salvo un factor de escala . Es decir, dos tuplas(a0::anorte){\displaystyle (a_{0}:\dotsc :a_{n})}y(b0::bnorte){\displaystyle (b_{0}:\dotsc :b_{n})}son coordenadas baricéntricas del mismo punto si y solo si hay un escalar distinto de ceroλ{\displaystyle \lambda }de tal manera quebi=λai{\displaystyle b_{i}=\lambda a_{i}}por cada i .

En algunos contextos, es útil restringir las coordenadas baricéntricas de un punto para que sean únicas. Esto generalmente se logra imponiendo la condición ai=1,{\displaystyle \sum a_{i}=1,} o equivalentemente dividiendo cadaai{\displaystyle a_{i}}por la suma de todosai.{\displaystyle a_{i}.}Estas coordenadas baricéntricas específicas se denominan coordenadas baricéntricas normalizadas o absolutas . [ 7 ] A veces, también se las denomina coordenadas afines , aunque este término se refiere comúnmente a un concepto ligeramente diferente.

A veces, 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 . Al trabajar sobre los números reales (la definición anterior también se utiliza para espacios afines sobre un campo arbitrario ), los puntos cuyas coordenadas baricéntricas normalizadas son todas no negativas forman la envoltura convexa de{A0,,Anorte},{\displaystyle \{A_{0},\ldots ,A_{n}\},}que es el simplex que tiene estos puntos como vértices.

Con la notación anterior, una tupla(a1,,anorte){\displaystyle (a_{1},\ldots ,a_{n})}de tal manera que i=0norteai=0{\displaystyle \sum _{i=0}^{n}a_{i}=0} no define ningún punto, sino el vector a0OA0++anorteOAnorte{\displaystyle a_{0}{\overset {}{\overrightarrow {OA_{0}}}}+\cdots +a_{n}{\overset {}{\overrightarrow {OA_{n}}}}} es independiente del origen O. Como la dirección de este vector no cambia si todosai{\displaystyle a_{i}}se multiplican por el mismo escalar, la tupla homogénea(a0::anorte){\displaystyle (a_{0}:\dotsc :a_{n})}Define una dirección de líneas, es decir, un punto en el infinito . Consulte a continuación para obtener más detalles.

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 en relación con un punto O , el origen , cuyas coordenadas son cero, y n puntosA1,,Anorte,{\displaystyle A_{1},\ldots ,A_{n},}cuyas coordenadas son cero excepto la de índice i que es igual a uno.

Un punto tiene coordenadas (incógnita1,,incógnitanorte){\displaystyle (x_{1},\ldots ,x_{n})} para tal sistema de coordenadas si y solo si sus coordenadas baricéntricas normalizadas son (1incógnita1incógnitanorte,incógnita1,,incógnitanorte){\displaystyle (1-x_{1}-\cdots -x_{n},x_{1},\ldots ,x_{n})} en relación con los puntosO,A1,,Anorte.{\displaystyle O,A_{1},\ldots ,A_{n}.}

La principal ventaja de los sistemas de coordenadas baricéntricas es su simetría respecto a los n + 1 puntos que los definen. Por lo tanto, suelen ser útiles para estudiar propiedades simétricas respecto a dichos puntos. Por otro lado, las distancias y los ángulos son difíciles de expresar en sistemas de coordenadas baricéntricas en general, y cuando intervienen, suele ser 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 comprendida claramente, requiere una definición independiente de coordenadas de la completación proyectiva de un espacio afín y una definición de un marco proyectivo .

La completación proyectiva de un espacio afín de dimensión n es un espacio proyectivo de la misma dimensión que contiene al espacio afín como complemento de un hiperplano . La completación proyectiva es única salvo isomorfismo . El hiperplano se denomina 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 proyectivas tal que las coordenadas del ( n + 2) -ésimo punto del marco son todas iguales y, en caso contrario, todas las coordenadas del i- ésimo punto son cero, excepto la i- ésima. [ 8 ]

Al construir la completación proyectiva a partir de un sistema de coordenadas afines, se suele definir con respecto a un marco proyectivo formado por las intersecciones con el hiperplano en el infinito de los ejes de coordenadas , el origen del espacio afín y el punto cuyas coordenadas afines son todas 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 con uno como coordenada ( n + 1) .

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 completación proyectiva que resulta conveniente elegir. Este marco consta de estos puntos y su centroide , es decir, el punto cuyas coordenadas baricéntricas son todas iguales. En este caso, las coordenadas baricéntricas homogéneas de un punto en el espacio afín coinciden con las coordenadas proyectivas de dicho punto. Un punto se encuentra en el infinito si y solo si la suma de sus coordenadas es cero. Este punto se encuentra en la dirección del vector definido al final de la sección  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 areales , porque las coordenadas dePAG{\displaystyle P}con respecto al triánguloABdo{\displaystyle ABC}son equivalentes a las razones (con signo) de las áreas dePAGBdo{\displaystyle PBC},PAGdoA{\displaystyle PCA}yPAGAB{\displaystyle PAB}al área del triángulo de referenciaABdo{\displaystyle ABC}Las coordenadas areales y trilineales se utilizan con fines similares en geometría.

Las coordenadas baricéntricas o de área son extremadamente útiles en aplicaciones de ingeniería que involucran subdominios triangulares . Estas facilitan la evaluación de integrales analíticas, y las tablas de cuadratura gaussiana suelen presentarse en términos de coordenadas de área.

Consideremos un triángulo.ABdo{\displaystyle ABC}con vérticesA=(a1,a2){\displaystyle A=(a_{1},a_{2})},B=(b1,b2){\displaystyle B=(b_{1},b_{2})},do=(do1,do2){\displaystyle C=(c_{1},c_{2})}en el incógnita,y{\displaystyle x,y}-avión ,R2{\displaystyle \mathbb {R} ^{2}}. Uno puede considerar puntos enR2{\displaystyle \mathbb {R} ^{2}}como vectores, tiene sentido sumarlos o restarlos y multiplicarlos por escalares.

Cada triánguloABdo{\displaystyle ABC}tiene un área con signo o área s , que es más o menos su área: área(ABdo)=±área(ABdo).{\displaystyle \operatorname {sarea} (ABC)=\pm \operatorname {area} (ABC).} La señal es más si el camino desdeA{\displaystyle A}aB{\displaystyle B}ado{\displaystyle C}luego volver aA{\displaystyle A}El camino recorre el triángulo en sentido contrario a las agujas del reloj. El signo es negativo si el camino recorre el triángulo en el sentido de las agujas del reloj.

DejarPAG{\displaystyle P}Sea un punto en el plano y deje que(λ1,λ2,λ3){\displaystyle (\lambda _{1},\lambda _{2},\lambda _{3})}sean sus coordenadas baricéntricas normalizadas con respecto al triánguloABdo{\displaystyle ABC}, entonces PAG=λ1A+λ2B+λ3do{\displaystyle P=\lambda _{1}A+\lambda _{2}B+\lambda _{3}C} y 1=λ1+λ2+λ3.{\displaystyle 1=\lambda _{1}+\lambda _{2}+\lambda _{3}.}

Coordenadas baricéntricas normalizadas(λ1,λ2,λ3){\displaystyle (\lambda _{1},\lambda _{2},\lambda _{3})}También se denominan coordenadas de área porque representan razones de áreas con signo de triángulos: λ1=área(PAGBdo)/área(ABdo)λ2=área(APAGdo)/área(ABdo)λ3=área(ABPAG)/área(ABdo).{\displaystyle {\begin{aligned}\lambda _{1}&=\operatorname {sarea} (PBC)/\operatorname {sarea} (ABC)\\\lambda _{2}&=\operatorname {sarea} (APC)/\operatorname {sarea} (ABC)\\\lambda _{3}&=\operatorname {sarea} (ABP)/\operatorname {sarea} (ABC).\end{aligned}}}

Estas fórmulas de proporción se pueden demostrar 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 usando un determinante .

Específicamente, dejemos D=A+B+do.{\displaystyle D=-A+B+C.}ABdoD{\displaystyle ABCD}es un paralelogramo porque sus pares de lados opuestos, representados por los pares de vectores de desplazamientoDdo=BA{\displaystyle D-C=B-A}, yDB=doA{\displaystyle D-B=C-A}son paralelas y congruentes.

TriánguloABdo{\displaystyle ABC}es la mitad del paralelogramoABDdo{\displaystyle ABDC}, por lo que el doble de su área con signo es igual al área con signo del paralelogramo, que viene dada por la2×2{\displaystyle 2\times 2}determinantedet(BA,doA){\displaystyle \det(B-A,C-A)}cuyas columnas son los vectores de desplazamientoBA{\displaystyle B-A}ydoA{\displaystyle C-A}: área(ABdoD)=det(b1a1do1a1b2a2do2a2){\displaystyle \operatorname {sarea} (ABCD)=\det {\begin{pmatrix}b_{1}-a_{1}&c_{1}-a_{1}\\b_{2}-a_{2}&c_{2}-a_{2}\end{pmatrix}}}

Al expandir el determinante, utilizando sus propiedades alternantes y multilineales , se obtiene det(BA,doA)=det(B,do)det(A,do)det(B,A)+det(A,A)=det(A,B)+det(B,do)+det(do,A){\displaystyle {\begin{aligned}\det(B-A,C-A)&=\det(B,C)-\det(A,C)-\det(B,A)+\det(A,A)\\&=\det(A,B)+\det(B,C)+\det(C,A)\end{aligned}}} entonces 2área(ABdo)=det(A,B)+det(B,do)+det(do,A).{\displaystyle 2\operatorname {sarea} (ABC)=\det(A,B)+\det(B,C)+\det(C,A).} Similarmente, 2área(PAGBdo)=det(PAG,B)+det(B,do)+det(do,PAG).{\displaystyle 2\operatorname {sarea} (PBC)=\det(P,B)+\det(B,C)+\det(C,P).} Para obtener la razón de estas áreas con signo, expresePAG{\displaystyle P}en la segunda fórmula en términos de sus coordenadas baricéntricas: 2área(PAGBdo)=det(λ1A+λ2B+λ3do,B)+det(B,do)+det(do,λ1A+λ2B+λ3do)=λ1det(A,B)+λ3det(do,B)+det(B,do)+λ1det(do,A)+λ2det(do,B)=λ1det(A,B)+λ1det(do,A)+(1λ2λ3)det(B,do).{\displaystyle {\begin{aligned}2\operatorname {sarea} (PBC)&=\det(\lambda _{1}A+\lambda _{2}B+\lambda _{3}C,B)+\det(B,C)+\det(C,\lambda _{1}A+\lambda _{2}B+\lambda _{3}C)\\&=\lambda _{1}\det(A,B)+\lambda _{3}\det(C,B)+\det(B,C)+\lambda _{1}\det(C,A)+\lambda _{2}\det(C,B)\\&=\lambda _{1}\det(A,B)+\lambda _{1}\det(C,A)+(1-\lambda _{2}-\lambda _{3})\det(B,C)\end{aligned}}.} Las coordenadas baricéntricas están normalizadas de manera que1=λ1+λ2+λ3{\displaystyle 1=\lambda _{1}+\lambda _{2}+\lambda _{3}}, por eso λ1=(1λ2λ3){\displaystyle \lambda _{1}=(1-\lambda _{2}-\lambda _{3})}. Inserta eso en la línea anterior para obtener 2área(PAGBdo)=λ1(det(A,B)+det(B,do)+det(do,A))=(λ1)(2área(ABdo)).{\displaystyle {\begin{aligned}2\operatorname {sarea} (PBC)&=\lambda _{1}(\det(A,B)+\det(B,C)+\det(C,A))\\&=(\lambda _{1})(2\operatorname {sarea} (ABC)).\end{aligned}}} Por lo tanto λ1=área(PAGBdo)/área(ABdo).{\displaystyle \lambda _{1}=\operatorname {sarea} (PBC)/\operatorname {sarea} (ABC).}

Cálculos similares demuestran las otras dos fórmulas. λ2=área(APAGdo)/área(ABdo){\displaystyle \lambda _{2}=\operatorname {sarea} (APC)/\operatorname {sarea} (ABC)}λ3=área(ABPAG)/área(ABdo).{\displaystyle \lambda _{3}=\operatorname {sarea} (ABP)/\operatorname {sarea} (ABC).}

Coordenadas trilineales(γ1,γ2,γ3){\displaystyle (\gamma _{1},\gamma _{2},\gamma _{3})}dePAG{\displaystyle P}son distancias señalizadas desdePAG{\displaystyle P}a las líneasBdo{\displaystyle BC},Ado{\displaystyle AC}yAB{\displaystyle AB} , respectivamente. El signo deγ1{\displaystyle \gamma _{1}}es positivo siPAG{\displaystyle P}yA{\displaystyle A}yacen del mismo lado deBdo{\displaystyle BC} , negativo en caso contrario. Los signos deγ2{\displaystyle \gamma _{2}}yγ3{\displaystyle \gamma _{3}}se asignan de manera similar. a=longitud(Bdo){\displaystyle a=\operatorname {length} (BC)},b=longitud(doA){\displaystyle b=\operatorname {length} (CA)},do=longitud(AB){\displaystyle c=\operatorname {length} (AB)}. Entonces γ1a=±2área(PAGBdo)γ2b=±2área(APAGdo)γ3do=±2área(ABPAG){\displaystyle {\begin{aligned}\gamma _{1}a&=\pm 2\operatorname {sarea} (PBC)\\\gamma _{2}b&=\pm 2\operatorname {sarea} (APC)\\\gamma _{3}c&=\pm 2\operatorname {sarea} (ABP)\end{aligned}}} donde, como se indicó anteriormente, sarea significa área señalizada. Los tres signos son más si se trata de un triángulo .ABdo{\displaystyle ABC}La orientación es positiva, y negativa en caso contrario. Las relaciones entre 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 facilita mucho la resolución de algunos problemas.

Conversión entre coordenadas baricéntricas y cartesianas

Enfoque de borde

Dado un puntor{\displaystyle \mathbf {r} }En el plano de un triángulo se pueden obtener las coordenadas baricéntricas.λ1{\displaystyle \lambda _{1}},λ2{\displaystyle \lambda _{2}}yλ3{\displaystyle \lambda _{3}}a partir de las coordenadas cartesianas(incógnita,y){\displaystyle (x,y)}o viceversa.

Podemos escribir las coordenadas cartesianas del puntor{\displaystyle \mathbf {r} }en términos de las componentes cartesianas de los vértices del triángulor1{\displaystyle \mathbf {r} _{1}},r2{\displaystyle \mathbf {r} _{2}},r3{\displaystyle \mathbf {r} _{3}}dónderi=(incógnitai,yi){\displaystyle \mathbf {r} _{i}=(x_{i},y_{i})}y en términos de las coordenadas baricéntricas der{\displaystyle \mathbf {r} }como incógnita=λ1incógnita1+λ2incógnita2+λ3incógnita3y=λ1y1+λ2y2+λ3y3{\displaystyle {\begin{aligned}x&=\lambda _{1}x_{1}+\lambda _{2}x_{2}+\lambda _{3}x_{3}\\[2pt]y&=\lambda _{1}y_{1}+\lambda _{2}y_{2}+\lambda _{3}y_{3}\end{aligned}}}

Es decir, las coordenadas cartesianas de cualquier punto son un promedio ponderado de las coordenadas cartesianas de los vértices del triángulo, donde los pesos son las coordenadas baricéntricas del punto, cuya suma es igual a la unidad.

Para hallar la transformación inversa, de coordenadas cartesianas a coordenadas baricéntricas, primero sustituimosλ3=1λ1λ2{\displaystyle \lambda _{3}=1-\lambda _{1}-\lambda _{2}}en lo anterior para obtener incógnita=λ1incógnita1+λ2incógnita2+(1λ1λ2)incógnita3y=λ1y1+λ2y2+(1λ1λ2)y3{\displaystyle {\begin{aligned}x&=\lambda _{1}x_{1}+\lambda _{2}x_{2}+(1-\lambda _{1}-\lambda _{2})x_{3}\\[2pt]y&=\lambda _{1}y_{1}+\lambda _{2}y_{2}+(1-\lambda _{1}-\lambda _{2})y_{3}\end{aligned}}}

Reorganizando, esto es λ1(incógnita1incógnita3)+λ2(incógnita2incógnita3)+incógnita3incógnita=0λ1(y1y3)+λ2(y2y3)+y3y=0{\displaystyle {\begin{aligned}\lambda _{1}(x_{1}-x_{3})+\lambda _{2}(x_{2}-x_{3})+x_{3}-x&=0\\[2pt]\lambda _{1}(y_{1}-y_{3})+\lambda _{2}(y_{2}-\,y_{3})+y_{3}-\,y&=0\end{aligned}}}

Esta transformación lineal puede escribirse de forma más concisa como Tλ=rr3{\displaystyle \mathbf {T} \cdot \lambda =\mathbf {r} -\mathbf {r} _{3}} dóndeλ{\displaystyle \lambda }es el vector de las dos primeras coordenadas baricéntricas,r{\displaystyle \mathbf {r} }es el vector de coordenadas cartesianas yT{\displaystyle \mathbf {T} }es una matriz dada por T=(incógnita1incógnita3incógnita2incógnita3y1y3y2y3){\displaystyle \mathbf {T} =\left({\begin{matrix}x_{1}-x_{3}&x_{2}-x_{3}\\y_{1}-y_{3}&y_{2}-y_{3}\end{matrix}}\right)}

Ahora la matrizT{\displaystyle \mathbf {T} }es invertible , ya quer1r3{\displaystyle \mathbf {r} _{1}-\mathbf {r} _{3}}yr2r3{\displaystyle \mathbf {r} _{2}-\mathbf {r} _{3}}son linealmente independientes (si no fuera así, entoncesr1{\displaystyle \mathbf {r} _{1}},r2{\displaystyle \mathbf {r} _{2}}, yr3{\displaystyle \mathbf {r} _{3}}serían colineales y no formarían un triángulo). Por lo tanto, podemos reorganizar la ecuación anterior para obtener (λ1λ2)=T1(rr3){\displaystyle \left({\begin{matrix}\lambda _{1}\\\lambda _{2}\end{matrix}}\right)=\mathbf {T} ^{-1}(\mathbf {r} -\mathbf {r} _{3})}

Encontrar las coordenadas baricéntricas se ha reducido, por lo tanto, a encontrar la matriz inversa de 2×2 deT{\displaystyle \mathbf {T} }, un problema fácil.

Explícitamente, las fórmulas para las coordenadas baricéntricas del puntor{\displaystyle \mathbf {r} }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: λ1= (y2y3)(incógnitaincógnita3)+(incógnita3incógnita2)(yy3)det(T)=(y2y3)(incógnitaincógnita3)+(incógnita3incógnita2)(yy3)(y2y3)(incógnita1incógnita3)+(incógnita3incógnita2)(y1y3)=(rr3)×(r2r3)(r1r3)×(r2r3)λ2= (y3y1)(incógnitaincógnita3)+(incógnita1incógnita3)(yy3)det(T)=(y3y1)(incógnitaincógnita3)+(incógnita1incógnita3)(yy3)(y2y3)(incógnita1incógnita3)+(incógnita3incógnita2)(y1y3)=(rr3)×(r3r1)(r1r3)×(r2r3)λ3= 1λ1λ2=1(rr3)×(r2r1)(r1r3)×(r2r3)=(rr1)×(r1r2)(r1r3)×(r2r3){\displaystyle {\begin{aligned}\lambda _{1}=&\ {\frac {(y_{2}-y_{3})(x-x_{3})+(x_{3}-x_{2})(y-y_{3})}{\det(\mathbf {T} )}}\\[4pt]&={\frac {(y_{2}-y_{3})(x-x_{3})+(x_{3}-x_{2})(y-y_{3})}{(y_{2}-y_{3})(x_{1}-x_{3})+(x_{3}-x_{2})(y_{1}-y_{3})}}\\[4pt]&={\frac {(\mathbf {r} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{3}} )}{(\mathbf {r_{1}} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{3}} )}}\\[12pt]\lambda _{2}=&\ {\frac {(y_{3}-y_{1})(x-x_{3})+(x_{1}-x_{3})(y-y_{3})}{\det(\mathbf {T} )}}\\[4pt]&={\frac {(y_{3}-y_{1})(x-x_{3})+(x_{1}-x_{3})(y-y_{3})}{(y_{2}-y_{3})(x_{1}-x_{3})+(x_{3}-x_{2})(y_{1}-y_{3})}}\\[4pt]&={\frac {(\mathbf {r} -\mathbf {r_{3}} )\times (\mathbf {r_{3}} -\mathbf {r_{1}} )}{(\mathbf {r_{1}} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{3}} )}}\\[12pt]\lambda _{3}=&\ 1-\lambda _{1}-\lambda _{2}\\[4pt]&=1-{\frac {(\mathbf {r} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{1}} )}{(\mathbf {r_{1}} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{3}} )}}\\[4pt]&={\frac {(\mathbf {r} -\mathbf {r_{1}} )\times (\mathbf {r_{1}} -\mathbf {r_{2}} )}{(\mathbf {r_{1}} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{3}} )}}\end{aligned}}}Al comprender la última línea de la ecuación, observe la identidad.(r1r3)×(r2r3)=(r3r1)×(r1r2).{\displaystyle (\mathbf {r_{1}} -\mathbf {r_{3}} )\times (\mathbf {r_{2}} -\mathbf {r_{3}} )=(\mathbf {r_{3}} -\mathbf {r_{1}} )\times (\mathbf {r_{1}} -\mathbf {r_{2}} ).}

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.Rλ=r{\displaystyle \mathbf {R} {\boldsymbol {\lambda }}=\mathbf {r} }conR=(r1|r2|r3){\displaystyle \mathbf {R} =\left(\,\mathbf {r} _{1}\,|\,\mathbf {r} _{2}\,|\,\mathbf {r} _{3}\right)}yλ=(λ1,λ2,λ3),{\displaystyle {\boldsymbol {\lambda }}=\left(\lambda _{1},\lambda _{2},\lambda _{3}\right)^{\top },}es decir(incógnita1incógnita2incógnita3y1y2y3)(λ1λ2λ3)=(incógnitay){\displaystyle {\begin{pmatrix}x_{1}&x_{2}&x_{3}\\y_{1}&y_{2}&y_{3}\end{pmatrix}}{\begin{pmatrix}\lambda _{1}\\\lambda _{2}\\\lambda _{3}\end{pmatrix}}={\begin{pmatrix}x\\y\end{pmatrix}}}Para obtener la solución normalizada única, necesitamos agregar la condición.λ1+λ2+λ3=1{\displaystyle \lambda _{1}+\lambda _{2}+\lambda _{3}=1}Las coordenadas baricéntricas son, por lo tanto, la solución del sistema lineal .(111incógnita1incógnita2incógnita3y1y2y3)(λ1λ2λ3)=(1incógnitay){\displaystyle \left({\begin{matrix}1&1&1\\x_{1}&x_{2}&x_{3}\\y_{1}&y_{2}&y_{3}\end{matrix}}\right){\begin{pmatrix}\lambda _{1}\\\lambda _{2}\\\lambda _{3}\end{pmatrix}}=\left({\begin{matrix}1\\x\\y\end{matrix}}\right)}que es(λ1λ2λ3)=12A(incógnita2y3incógnita3y2y2y3incógnita3incógnita2incógnita3y1incógnita1y3y3y1incógnita1incógnita3incógnita1y2incógnita2y1y1y2incógnita2incógnita1)(1incógnitay){\displaystyle {\begin{pmatrix}\lambda _{1}\\\lambda _{2}\\\lambda _{3}\end{pmatrix}}={\frac {1}{2A}}{\begin{pmatrix}x_{2}y_{3}-x_{3}y_{2}&y_{2}-y_{3}&x_{3}-x_{2}\\x_{3}y_{1}-x_{1}y_{3}&y_{3}-y_{1}&x_{1}-x_{3}\\x_{1}y_{2}-x_{2}y_{1}&y_{1}-y_{2}&x_{2}-x_{1}\end{pmatrix}}{\begin{pmatrix}1\\x\\y\end{pmatrix}}}dónde2A=det(1|R)=incógnita1(y2y3)+incógnita2(y3y1)+incógnita3(y1y2){\displaystyle 2A=\det(1|R)=x_{1}(y_{2}-y_{3})+x_{2}(y_{3}-y_{1})+x_{3}(y_{1}-y_{2})}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 trilinealesincógnita:y:z{\displaystyle x:y:z}tiene coordenadas baricéntricasaincógnita:by:doz{\displaystyle ax:by:cz}dondea{\displaystyle a},b{\displaystyle b},do{\displaystyle c}son las longitudes de los lados del triángulo. Por el contrario, un punto con baricéntricosλ1:λ2:λ3{\displaystyle \lambda _{1}:\lambda _{2}:\lambda _{3}}tiene trilinealesλ1/a:λ2/b:λ3/do.{\displaystyle \lambda _{1}/a:\lambda _{2}/b:\lambda _{3}/c.}

Ecuaciones en coordenadas baricéntricas

Los tres ladosa{\displaystyle a},b{\displaystyle b},do{\displaystyle c} respectivamente tienen ecuaciones [ 9 ]λ1=0,λ2=0,λ3=0.{\displaystyle \lambda _{1}=0,\quad \lambda _{2}=0,\quad \lambda _{3}=0.}

La ecuación de la línea de Euler de un triángulo es [ 9 ]|λ1λ2λ3111broncearseAbroncearseBbroncearsedo|=0.{\displaystyle {\begin{vmatrix}\lambda _{1}&\lambda _{2}&\lambda _{3}\\1&1&1\\\tan A&\tan B&\tan C\end{vmatrix}}=0.}

Utilizando la conversión previamente dada entre coordenadas baricéntricas y trilineales, las diversas 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 normalizadosPAG=(pag1,pag2,pag3){\displaystyle P=(p_{1},p_{2},p_{3})}yQ=(q1,q2,q3){\displaystyle Q=(q_{1},q_{2},q_{3})}es [ 10 ]PAGQ=(q1pag1,q2pag2,q3pag3).{\displaystyle {\overset {}{\overrightarrow {PQ}}}=(q_{1}-p_{1},q_{2}-p_{2},q_{3}-p_{3}).}

La distancia d entre P y Q , o la longitud del vector de desplazamiento.PAGQ=(incógnita,y,z),{\displaystyle {\overset {}{\overrightarrow {PQ}}}=(x,y,z),}es d2=|PAGQ|2=a2yzb2zincógnitado2incógnitay=12[incógnita2(b2+do2a2)+y2(do2+a2b2)+z2(a2+b2do2)].{\displaystyle {\begin{aligned}d^{2}&=|PQ|^{2}\\[2pt]&=-a^{2}yz-b^{2}zx-c^{2}xy\\[4pt]&={\frac {1}{2}}\left[x^{2}(b^{2}+c^{2}-a^{2})+y^{2}(c^{2}+a^{2}-b^{2})+z^{2}(a^{2}+b^{2}-c^{2})\right].\end{aligned}}} dondea{\displaystyle a},b{\displaystyle b},do{\displaystyle c}son las longitudes de los lados del triángulo. La equivalencia de las dos últimas expresiones se deduce deincógnita+y+z=0,{\displaystyle x+y+z=0,}lo cual se sostiene porque incógnita+y+z=(pag1q1)+(pag2q2)+(pag3q3)=(pag1+pag2+pag3)(q1+q2+q3)=11=0.{\displaystyle {\begin{aligned}x+y+z&=(p_{1}-q_{1})+(p_{2}-q_{2})+(p_{3}-q_{3})\\[2pt]&=(p_{1}+p_{2}+p_{3})-(q_{1}+q_{2}+q_{3})\\[2pt]&=1-1=0.\end{aligned}}}

Las coordenadas baricéntricas de un punto se pueden calcular en función de las distancias .di{\displaystyle d_{i}}a los tres vértices del triángulo resolviendo la ecuación (do2do2b2a2b2do2a2b2111)λ=(dA2dB2dA2ddo21).{\displaystyle \left({\begin{matrix}-c^{2}&c^{2}&b^{2}-a^{2}\\-b^{2}&c^{2}-a^{2}&b^{2}\\1&1&1\end{matrix}}\right){\boldsymbol {\lambda }}=\left({\begin{matrix}d_{A}^{2}-d_{B}^{2}\\d_{A}^{2}-d_{C}^{2}\\1\end{matrix}}\right).}

Aplicaciones

Dos soluciones al rompecabezas de vertido de agua  de 8, 5 y 3 litros mediante un diagrama baricéntrico. El área amarilla indica las combinaciones posibles con las jarras. Las trayectorias rojas continuas y azules discontinuas muestran las transiciones de vertido. Cuando un vértice cae sobre el triángulo punteado, se han medido 4 litros. 

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, 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λ1...30{\displaystyle \lambda _{1...3}\geq 0}De hecho, dado cualquier punto en coordenadas cartesianas, podemos usar este hecho para determinar dónde se encuentra 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.(0,1).{\displaystyle (0,1).} Si un punto se encuentra en un borde del triángulo pero no en un vértice, una de las coordenadas del áreaλ1...3{\displaystyle \lambda _{1...3}}(la asociada con el vértice opuesto) es cero, mientras que las otras dos se encuentran en el intervalo abierto.(0,1).{\displaystyle (0,1).}Si el punto se encuentra sobre 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.

En resumen,

  • Puntor{\displaystyle \mathbf {r} }se encuentra dentro del triángulo si y solo si0<λi<1{\displaystyle 0<\lambda _{i}<1}i en {1,2,3}{\displaystyle \forall \;i{\text{ in }}\{1,2,3\}}.
  • r{\displaystyle \mathbf {r} }se encuentra en el borde o esquina del triángulo si0λi1{\displaystyle 0\leq \lambda _{i}\leq 1}i en {1,2,3}{\displaystyle \forall \;i{\text{ in }}\{1,2,3\}}yλi=0{\displaystyle \lambda _{i}=0}para algunosi en {1,2,3}{\displaystyle i{\text{ in }}\{1,2,3\}}.
  • De lo contrario,r{\displaystyle \mathbf {r} }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 del triángulo que no está sobre la línea tendrá un valor negativo.

Interpolación en una cuadrícula triangular no estructurada

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

SiF(r1),F(r2),F(r3){\displaystyle f(\mathbf {r} _{1}),f(\mathbf {r} _{2}),f(\mathbf {r} _{3})}son cantidades conocidas, pero los valores de f dentro del triángulo definido porr1,r2,r3{\displaystyle \mathbf {r} _{1},\mathbf {r} _{2},\mathbf {r} _{3}}Se desconocen, se pueden aproximar mediante interpolación lineal . Las coordenadas baricéntricas proporcionan una forma conveniente de calcular esta interpolación. Sir{\displaystyle \mathbf {r} }es un punto dentro del triángulo con coordenadas baricéntricasλ1{\displaystyle \lambda _{1}},λ2{\displaystyle \lambda _{2}},λ3{\displaystyle \lambda _{3}}, entonces F(r)λ1F(r1)+λ2F(r2)+λ3F(r3){\displaystyle f(\mathbf {r} )\approx \lambda _{1}f(\mathbf {r} _{1})+\lambda _{2}f(\mathbf {r} _{2})+\lambda _{3}f(\mathbf {r} _{3})}

En general, dada cualquier cuadrícula no estructurada o malla poligonal , 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 puntor{\displaystyle \mathbf {r} }, primero se debe encontrar un triángulo que contengar{\displaystyle \mathbf {r} }Para ello,r{\displaystyle \mathbf {r} }se transforma en las coordenadas baricéntricas de cada triángulo. Si se encuentra algún triángulo tal que las coordenadas satisfacen0λi1{\displaystyle 0\leq \lambda _{i}\leq 1}i en 1,2,3{\displaystyle \forall \;i{\text{ in }}1,2,3}, entonces el punto se encuentra en ese triángulo o en su borde (explicado en la sección anterior). Entonces el valor deF(r){\displaystyle f(\mathbf {r} )}puede interpolarse como se describió anteriormente.

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

Integración sobre un triángulo o tetraedro

La integral de una función sobre el dominio del triángulo puede ser difícil de calcular en un sistema de coordenadas cartesianas. Generalmente hay que dividir el triángulo en dos mitades, lo que genera mucha confusión. En cambio, suele ser más fácil cambiar las variables a dos coordenadas baricéntricas cualesquiera, por ejemploλ1,λ2{\displaystyle \lambda _{1},\lambda _{2}}. Bajo este cambio de variables, TF(r) dr=2A0101λ2F(λ1r1+λ2r2+(1λ1λ2)r3) dλ1 dλ2{\displaystyle \int _{T}f(\mathbf {r} )\ d\mathbf {r} =2A\int _{0}^{1}\int _{0}^{1-\lambda _{2}}f(\lambda _{1}\mathbf {r} _{1}+\lambda _{2}\mathbf {r} _{2}+(1-\lambda _{1}-\lambda _{2})\mathbf {r} _{3})\ d\lambda _{1}\ d\lambda _{2}} 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 razón de las áreas de las figuras correspondientes en los sistemas de coordenadas correspondientes viene dada por2A{\displaystyle 2A}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 mediante el cambio de variables. TF(r) dr=6V0101λ301λ2λ3F(λ1r1+λ2r2+λ3r3+(1λ1λ2λ3)r4) dλ1 dλ2 dλ3{\displaystyle \int _{T}f(\mathbf {r} )\ d\mathbf {r} =6V\int _{0}^{1}\int _{0}^{1-\lambda _{3}}\int _{0}^{1-\lambda _{2}-\lambda _{3}}f(\lambda _{1}\mathbf {r} _{1}+\lambda _{2}\mathbf {r} _{2}+\lambda _{3}\mathbf {r} _{3}+(1-\lambda _{1}-\lambda _{2}-\lambda _{3})\mathbf {r} _{4})\ d\lambda _{1}\ d\lambda _{2}\ d\lambda _{3}}donde V es el volumen del tetraedro.

Este enfoque puede generalizarse a dimensiones superiores, para integrar sobre cualquier simplex n -dimensional.

Ejemplos de puntos especiales

En el sistema de coordenadas baricéntricas homogéneas definido con respecto a un triánguloABdo{\displaystyle ABC}, las siguientes afirmaciones sobre puntos especiales deABdo{\displaystyle ABC}sostener.

Normalizando las coordenadas en los vértices, los tres vértices A , B y C tienen las siguientes coordenadas: [ 9 ]A=1:0:0B=0:1:0do=0:0:1{\displaystyle {\begin{array}{rccccc}A=&1&:&0&:&0\\B=&0&:&1&:&0\\C=&0&:&0&:&1\end{array}}}

El centroide estaría en13:13:13{\displaystyle {\tfrac {1}{3}}:{\tfrac {1}{3}}:{\tfrac {1}{3}}}[ 9 ] .

Si a , b , c son las longitudes de los bordesBdo{\displaystyle BC},doA{\displaystyle CA},AB{\displaystyle AB}respectivamente,α{\displaystyle \alpha },β{\displaystyle \beta },γ{\displaystyle \gamma }son las medidas de los ángulosdoAB{\displaystyle \angle CAB},ABdo{\displaystyle \angle ABC}, yBdoA{\displaystyle \angle BCA}respectivamente, y s es el semiperímetro deABdo{\displaystyle ABC}, entonces las siguientes afirmaciones sobre puntos especiales deABdo{\displaystyle ABC}sostener además.

El circuncentro tiene coordenadas [ 9 ] [ 10 ] [ 11 ] [ 12 ]pecado2α:pecado2β:pecado2γ=1cunaβcunaγ:1cunaγcunaα:1cunaαcunaβ=a2(a2+b2+do2):b2(a2b2+do2):do2(a2+b2do2){\displaystyle {\begin{array}{rccccc}&\sin 2\alpha &:&\sin 2\beta &:&\sin 2\gamma \\[2pt]=&1-\cot \beta \cot \gamma &:&1-\cot \gamma \cot \alpha &:&1-\cot \alpha \cot \beta \\[2pt]=&a^{2}(-a^{2}+b^{2}+c^{2})&:&b^{2}(a^{2}-b^{2}+c^{2})&:&c^{2}(a^{2}+b^{2}-c^{2})\end{array}}}

El ortocentro tiene coordenadas [ 9 ] [ 10 ]broncearseα:broncearseβ:broncearseγ=aporqueβporqueγ:bporqueγporqueα:doporqueαporqueβ=(a2+b2do2)(a2b2+do2):(a2+b2+do2)(a2+b2do2):(a2b2+do2)(a2+b2+do2){\displaystyle {\begin{array}{rccccc}&\tan \alpha &:&\tan \beta &:&\tan \gamma \\[2pt]=&a\cos \beta \cos \gamma &:&b\cos \gamma \cos \alpha &:&c\cos \alpha \cos \beta \\[2pt]=&(a^{2}+b^{2}-c^{2})(a^{2}-b^{2}+c^{2})&:&(-a^{2}+b^{2}+c^{2})(a^{2}+b^{2}-c^{2})&:&(a^{2}-b^{2}+c^{2})(-a^{2}+b^{2}+c^{2})\end{array}}}

El centro tiene coordenadasa:b:do=pecadoα:pecadoβ:pecadoγ.{\displaystyle a:b:c=\sin \alpha :\sin \beta  :\sin \gamma .} [ 10 ] [ 13 ]

Los excentros tienen coordenadas [ 13 ]JA=a:b:doJB=a:b:doJdo=a:b:do{\displaystyle {\begin{array}{rrcrcr}J_{A}=&-a&:&b&:&c\\J_{B}=&a&:&-b&:&c\\J_{C}=&a&:&b&:&-c\end{array}}}

El centro de nueve puntos tiene coordenadas [ 9 ] [ 13 ]aporque(βγ):bporque(γα):doporque(αβ)=1+cunaβcunaγ:1+cunaγcunaα:1+cunaαcunaβ=a2(b2+do2)(b2do2)2:b2(do2+a2)(do2a2)2:do2(a2+b2)(a2b2)2{\displaystyle {\begin{array}{rccccc}&a\cos(\beta -\gamma )&:&b\cos(\gamma -\alpha )&:&c\cos(\alpha -\beta )\\[4pt]=&1+\cot \beta \cot \gamma &:&1+\cot \gamma \cot \alpha &:&1+\cot \alpha \cot \beta \\[4pt]=&a^{2}(b^{2}+c^{2})-(b^{2}-c^{2})^{2}&:&b^{2}(c^{2}+a^{2})-(c^{2}-a^{2})^{2}&:&c^{2}(a^{2}+b^{2})-(a^{2}-b^{2})^{2}\end{array}}}

El punto Gergonne tiene coordenadas(sb)(sdo):(sdo)(sa):(sa)(sb){\displaystyle (s-b)(s-c):(s-c)(s-a):(s-a)(s-b)}.

El punto de Nagel tiene coordenadassa:sb:sdo{\displaystyle s-a:s-b:s-c}.

El punto simediano tiene coordenadasa2:b2:do2{\displaystyle a^{2}:b^{2}:c^{2}}. [ 12 ]

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 manera que el primer vérticer1{\displaystyle \mathbf {r} _{1}}mapas a coordenadas baricéntricasλ=(1,0,0,0){\displaystyle \lambda =(1,0,0,0)},r2(0,1,0,0){\displaystyle \mathbf {r} _{2}\to (0,1,0,0)}, 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.r{\displaystyle \mathbf {r} }con respecto a un tetraedro: (λ1λ2λ3)=T1(rr4){\displaystyle \left({\begin{matrix}\lambda _{1}\\\lambda _{2}\\\lambda _{3}\end{matrix}}\right)=\mathbf {T} ^{-1}(\mathbf {r} -\mathbf {r} _{4})} dóndeT{\displaystyle \mathbf {T} }Ahora es una matriz de 3×3: T=(incógnita1incógnita4incógnita2incógnita4incógnita3incógnita4y1y4y2y4y3y4z1z4z2z4z3z4){\displaystyle \mathbf {T} =\left({\begin{matrix}x_{1}-x_{4}&x_{2}-x_{4}&x_{3}-x_{4}\\y_{1}-y_{4}&y_{2}-y_{4}&y_{3}-y_{4}\\z_{1}-z_{4}&z_{2}-z_{4}&z_{3}-z_{4}\end{matrix}}\right)} yλ4=1λ1λ2λ3{\displaystyle \lambda _{4}=1-\lambda _{1}-\lambda _{2}-\lambda _{3}}con las coordenadas cartesianas correspondientes:incógnita=λ1incógnita1+λ2incógnita2+λ3incógnita3+(1λ1λ2λ3)incógnita4y=λ1y1+λ2y2+λ3y3+(1λ1λ2λ3)y4z=λ1z1+λ2z2+λ3z3+(1λ1λ2λ3)z4{\displaystyle {\begin{aligned}x&=\lambda _{1}x_{1}+\lambda _{2}x_{2}+\lambda _{3}x_{3}+(1-\lambda _{1}-\lambda _{2}-\lambda _{3})x_{4}\\y&=\lambda _{1}y_{1}+\,\lambda _{2}y_{2}+\lambda _{3}y_{3}+(1-\lambda _{1}-\lambda _{2}-\lambda _{3})y_{4}\\z&=\lambda _{1}z_{1}+\,\lambda _{2}z_{2}+\lambda _{3}z_{3}+(1-\lambda _{1}-\lambda _{2}-\lambda _{3})z_{4}\end{aligned}}}Una vez más, el problema de encontrar las coordenadas baricéntricas se ha reducido a invertir una matriz de 3×3 .

Las coordenadas baricéntricas tridimensionales pueden utilizarse para determinar si un punto se encuentra dentro de un volumen tetraédrico y para interpolar una función dentro de una malla tetraédrica, de forma análoga al procedimiento bidimensional. Las mallas tetraédricas se utilizan con frecuencia en el análisis de elementos finitos, ya que el uso de coordenadas baricéntricas simplifica enormemente la interpolación tridimensional.

Coordenadas baricéntricas generalizadas

Coordenadas baricéntricas(λ1,λ2,...,λk){\displaystyle (\lambda _{1},\lambda _{2},...,\lambda _{k})}de un puntopagRnorte{\displaystyle p\in \mathbb {R} ^{n}}que se definen con respecto a un conjunto finito de k{\displaystyle k}puntosincógnita1,incógnita2,...,incógnitakRnorte{\displaystyle x_{1},x_{2},...,x_{k}\in \mathbb {R} ^{n}}En lugar de un simplex, se denominan coordenadas baricéntricas generalizadas . Para estas, la ecuación (λ1+λ2++λk)pag=λ1incógnita1+λ2incógnita2++λkincógnitak{\displaystyle (\lambda _{1}+\lambda _{2}+\cdots +\lambda _{k})p=\lambda _{1}x_{1}+\lambda _{2}x_{2}+\cdots +\lambda _{k}x_{k}} aún se requiere mantener. [ 14 ] Por lo general se utilizan coordenadas normalizadas,λ1+λ2++λk=1{\displaystyle \lambda _{1}+\lambda _{2}+\cdots +\lambda _{k}=1}. En cuanto al caso de un simplex, los puntos con coordenadas generalizadas normalizadas no negativas (0λi1{\displaystyle 0\leq \lambda _{i}\leq 1}) forman la envoltura convexa de x 1 , ..., x n . Si hay más puntos que en un simplex completo (k>norte+1{\displaystyle k>n+1}) las coordenadas baricéntricas generalizadas de un punto no son únicas, ya que el sistema lineal definitorio (aquí para norte=2{\displaystyle n=2})(111...incógnita1incógnita2incógnita3...y1y2y3...)(λ1λ2λ3)=(1incógnitay){\displaystyle \left({\begin{matrix}1&1&1&...\\x_{1}&x_{2}&x_{3}&...\\y_{1}&y_{2}&y_{3}&...\end{matrix}}\right){\begin{pmatrix}\lambda _{1}\\\lambda _{2}\\\lambda _{3}\\\vdots \end{pmatrix}}=\left({\begin{matrix}1\\x\\y\end{matrix}}\right)}está subdeterminado . El ejemplo más simple es un cuadrilátero en el plano. Se pueden usar varios tipos de restricciones adicionales para definir coordenadas baricéntricas únicas. [ 15 ]

Abstracción

De forma más abstracta, las coordenadas baricéntricas generalizadas expresan un politopo convexo con norte{\displaystyle n}vértices , independientemente de la dimensión, como la imagen del estándar(norte1){\displaystyle (n-1)}-simplex, que tiene norte{\displaystyle n}vértices : el mapa se aplica a:Δnorte1PAG.{\displaystyle \Delta ^{n-1}\twoheadrightarrow P.}La aplicación es biyectiva si y solo si el politopo es un simplex, en cuyo caso la aplicación es un isomorfismo; esto corresponde a un punto que no tiene coordenadas baricéntricas generalizadas únicas excepto cuandoPAG{\displaystyle P}es un simplex.

Las variables de holgura , duales a las coordenadas baricéntricas generalizadas , miden por cuánto margen un punto satisface las restricciones lineales y dan una incrustación.PAG(R0)F{\displaystyle P\hookrightarrow (\mathbf {R} _{\geq 0})^{f}}en el F{\displaystyle f}- ortante , dondeF{\displaystyle f}es el número de caras (dual a los vértices). Esta función es biyectiva (las variables de holgura se determinan de forma única) pero no sobreyectiva (no todas las combinaciones se pueden realizar).

Este uso del estándar(norte1){\displaystyle (n-1)}-simplex y F{\displaystyle f}-ortante como objetos estándar que se mapean a un politopo o en los que se mapea un politopo debe contrastarse con el uso del espacio vectorial estándar.Knorte{\displaystyle K^{n}}como objeto estándar para espacios vectoriales y el hiperplano afín estándar{(incógnita0,,incógnitanorte)incógnitai=1}Knorte+1{\displaystyle \{(x_{0},\ldots ,x_{n})\mid \sum x_{i}=1\}\subset K^{n+1}}como 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 afines en términos de estos espacios estándar, en lugar de una aplicación sobreyectiva o biyectiva (no todo politopo es un simplex). Además, elnorte{\displaystyle n}-orthant es el objeto estándar que se asigna a los conos.

Aplicaciones

En gráficos por computadora, las coordenadas baricéntricas se utilizan para mezclar uniformemente tres colores sobre una región triangular.
En gráficos por computadora, las coordenadas baricéntricas se utilizan para mezclar uniformemente tres colores sobre una región triangular.

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 aproximarse mediante un poliedro, de modo que las coordenadas baricéntricas generalizadas con respecto a dicho 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 ]

Véase 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 analítica de funciones, 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 el diseño geométrico asistido por ordenador. Academic Press, 1990, ISBN 9780122490514, S.  20.
  6. Reventós Tarrida, Agustí. "Mapas afines, movimientos euclidianos y cuádricas". Saltador, 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. 1 2 Berger, Marcel (1987), Geometría I , Berlín: Springer, ISBN 3-540-11658-3
  9. 1 2 3 4 5 6 7 Scott, JA "Algunos ejemplos del uso de coordenadas de área en geometría triangular", Mathematical Gazette 83, noviembre de 1999, 472–477
  10. 1 2 3 4 Schindler, Max; Chen, Evan (13 de julio de 2012). "Coordenadas baricéntricas en la geometría de las olimpiadas" (PDF) . Recuperado el 14 de enero de 2016 .
  11. Enciclopedia de triángulos de Clark Kimberling "Enciclopedia de centros de triángulos" . Archivado del original el 19 de abril de 2012. Consultado el 2 de junio de 2012 .
  12. 1 2 Página de Wolfram sobre coordenadas baricéntricas
  13. ^ Dasari Naga, Vijay Krishna, "Sobre el triángulo de Feuerbach", Forum Geométricorum 17 (2017), 289–300: pág . 289. http://forumgeom.fau.edu/FG2017volume17/FG201731.pdf
  14. 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 . 
  15. 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 .  
  16. Floater, Michael S. (2003). "Coordenadas de valor medio" . Diseño geométrico asistido por computadora . 20 (1): 19– 27. doi : 10.1016/S0167-8396(03)00002-5 .
  17. ONUFRIEV, VG; DENISIK, SA; FERRONSKY, VI, MODELOS BARICÉNTRICOS EN ESTUDIOS DE 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 triangular , Mathematical Gazette 83, noviembre de 1999, 472–477.
  • 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.
  • Enciclopedia de triángulos de Clark Kimberling . Enciclopedia de centros de triángulos . Archivado del 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.
  • Coxeter, HSM (1969). Introducción a la geometría (2.ª  ed.). John Wiley and Sons. págs. 216-221 . ISBN  978-0-471-50458-0. Zbl 0181.48101 . 
  • 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.
  • Weisstein, Eric W. "Coordenadas areales" . MathWorld .
  • Weisstein, Eric W. "Coordenadas baricéntricas" . MathWorld .
  • Cálculo de coordenadas baricéntricas en coordenadas homogéneas , Vaclav Skala, Computers and Graphics, Vol. 32, No. 1, pp.  120–127, 2008
  • Ley de la palanca
  • Coordenadas baricéntricas : una colección de artículos científicos sobre coordenadas baricéntricas (generalizadas).
  • Coordenadas baricéntricas: Una curiosa aplicación (resolviendo el problema de los "tres vasos") en cut-the-knot
  • Punto preciso en la prueba del triángulo
  • Coordenadas baricéntricas en geometría olímpica. Archivado el 18 de agosto de 2014 en Wayback Machine por Evan Chen y Max Schindler.
  • Comando Barycenter y comando TriangleCurve en Geogebra .