Geoba
Geoba
Geoba
1 Introducción
Las coordenadas baricéntricas fueron introducidas por A.F. Möbius [14] en 1827, como una
respuesta a la cuestión sobre qué masas se deben colocar en los vértices de un triángulo para que
un punto dado sea el centro de gravedad de estas masas y han sido una herramienta muy utilizada
en el siglo XIX y comienzos del XX para obtener resultados sobre geometrı́a del triángulo, y en
la actualidad los lectores de la revista Forum Geometricorum(1) y de Crux Mathematicorum o los
miembros del grupo Hyacinthos(2) conocen y emplean con asiduidad en sus investigaciones sobre
puntos notables del triángulo.
2.1 Dado en el plano un triángulo ABC, se designa, como es habitual, por a, b y c las longitudes
de los lados opuestos a los vértices A, B y C, respectivamente; por las mismas letras A, B y C, se
denotan los ángulos en los vértices correspondientes; por s = (a + b + c)/2 el semiperı́metro; por
S el doble del área ∆; y, usando la notación (Conway),
Sθ = S cotag θ, (2.1)
se tiene, en particular, que
b2 + c2 − a2 c2 + a2 − b2 a2 + b2 − c2
SA = , SB = , SC = , (2.2)
2 2 2
pues, por el teorema del coseno, y usando S = bc sen A = ca sen B = ab sen C,
a2 = b2 + c2 − 2bc cos A = b2 + c2 − 2bc sen A cotag A = b2 + c2 − 2S cotag A.
Algunas relaciones, como las siguientes, son útiles para simplificar fórmulas:
a 2 = SB + SC , b 2 = SC + SA , c2 = SA + SB , S 2 = SA SB + SB SC + SC SA . (2.3)
Las tres primeras son inmediatas y para la última, se usa que sen(A + B + C) = sen 180o = 0.
Desarrollando sen(A + B + C) y dividiendo por sen A sen B sen C, se obtiene que
2.2 Ahora, combinando las fórmulas (2.3), se llega, sin dificultad, a estas otras relaciones:
SA = bc cos A, SB = ca cos B, SC = ab cos C.
a 2 b 2 = S 2 + SC
2
, b2 c2 = S 2 + SA
2
, c2 a2 = S 2 + SB
2
.
SA − SB = (b + a)(b − a), SB − SC = (c + b)(c − b), SC − SA = (a + c)(a − c).
SA/2 = SA + bc = 2s(s − a), SB/2 = SB + ca = 2s(s − b), SC/2 = SC + ab = 2s(s − c).
√ √
SA/4 = SA/2 + 2bcSA/2 = SA + bc + 2bcs(SA + bc), SB/4 = · · · , SC/4 = · · · (2.4)
ab − SC = 2(s − a)(s − b), bc − SA = 2(s − b)(s − c), ca − SB = 2(s − c)(s − a).
cSC −aSA = 2s(b − s)(c − a), aSA −bSB = 2s(c − s)(a − b), bSB −cSC = 2s(a − s)(b − c).
2 2 2 2
S = a SA + SB SC = b SB + SC SA = c SC + SA SB .
S sen(θ + φ) = (Sθ + Sφ ) sen θ sen φ, S cos(θ + φ) = (Sθ Sφ − S ) sen θ sen φ.
2 2
(1) http://forumgeom.fau.edu/index.html
(2) http://tech.groups.yahoo.com/group/Hyacinthos/
Otras identidades de interés, que nos permiten expresar los resultados obtenidos en función de
otras magnitudes relacionadas con ABC, son:
√
a b c abc (s − a)(s − b)(s − c) S
2R = = = , R= , r= , ra = , (2.5)
sen A sen B sen C 2S s b+c−a
S √ 1√
= rs = s(s − a)(s − b)(s − c) = (a + b + c)(−a + b + c)(a − b + c)(a + b − c), (2.6)
2 4
1 1 1 1
ra + rb + rc = 4R + r, = + + , (2.7)
r ra rb rc
(a + b)(b + c)(c + a)
ab + bc + ca = r2 + s2 + 4Rr, = r2 + s2 − 2Rr, (2.8)
a+b+c
a2 + b2 + c2
= s2 − r2 − 4Rr = Sω = S cotag ω, a + b + c = 2s(s − 6rR − 3r ),
3 3 3 2 3
2 (2.9)
a4 + b4 + c4 = 2S 2 (−2 + cosec2 ω), 2 2 2 2 2 2 2 2
a b + b c + c a = S cosec ω.
ab + bc + ca = r2 + s2 + 4Rr.
3.1 Tomando un punto como origen, para todo punto P del plano del triángulo ABC, se denota
−
→ −−→ → − − →
por p el vector con extremo en este punto y, para dos puntos P y Q, se tiene que P Q= q − p .
−−→ −→
Como {A; AB, AC} forman una referencia afı́n, existen unos únicos escalares y, z ∈ IR, tal que
−→ −−→ −→ −
→ →− −
→ − → →
− − →
AP = y AB +z AC ó p− a = y( b− a) + z( c − a).
Poniendo x = 1 − y − z, se tiene
−
→ →
− −
→ →
−
p = x a + y b + z c, x + y + z = 1. (3.10)
Los escalares x, y, z, ası́ obtenidos, están unı́vocamanete determinados por el punto P y el
triángulo ABC. Se dice que x, y, z son las coordenadas baricéntricas (absolutas) de P , respecto a
ABC y se pone P (x, y, z). Obviamente, las coordenadas de los vértices son A(1, 0, 0), B(0, 1, 0) y
C(0, 0, 1). Y se suele poner:
P = x A + y B + z C.
v
u
w w
v
u
las coordenadas de un punto del plano del triángulo ABC. En la pág. 20 se proporciona otro applet que determina
las coordenadas de un punto y ubica un punto con coordenadas dadas.
−→ −
→ −→
AC. Si se pone x = 1−y −z, (x, y, z) son las coordenadas baricéntricas de P . Poniendo u = x AP ,
−
→ −−→ → − −−→ −
→ − → − →
v = y BP y w = z CP , se tiene que u+ v+ w = ⃗0.
Las rectas que contienen los lados del triángulo ABC, delimitan siete regiones el plano y los
signos de las componentes de las coordenadas de un punto, en cada una de ellas, vienen indicados
en el diagrama de la figura.
3.2 Como ejemplo de la relación entre coordenadas afines y baricéntricas, vamos a determinar
el punto de paralelas iguales; es decir, el punto P para el cual las tres paralelas, trazadas por él a
los lados del triángulo de referencia, determinan sobre los lados, segmentos de igual longitud.
Sean (x, y, z) las coordenadas baricéntricas absolutas de un punto P ; esto quiere decir que
−→ −−→ −→ −−→ −−→ −−→ −−→ −→ −−→
AP = y AB + z AC, BP = z BC + x BA, CP = x CA + y CB .
Con lo que
(Applet CabriJava)
Resolviendo este sistema se llega a que las coordenadas baricéntricas absolutas y homogéneas del
punto de paralelas iguales Pi son, respectivamente (1)
( ) ( )
−bc + ca + ab bc − ca + ab bc + ca − ab 1 1 1 1 1 1 1 1 1
Pi , , , Pi − + + : − + : + − .
bc + ca + ab bc + ca + ab bc + ca + ab a b c a b c a b c
(1) El punto de paralelas iguales figura en ETC (ver §10) como el X192 . En la página 61 se relaciona este punto
con los brocardianos del incentro.
Una curiosa aplicación (1) de las coordenadas baricéntricas es la resolución del problema de los
tres vasos que en una de sus formas más sencillas se puede enunciar ası́:
Dados tres vasos A, B, C de capacidades 8, 5 y 3 litros, respectivamente, de los cuales el
primero está lleno de agua y los otros dos vacı́os. Se trata de dividir el agua en dos partes
iguales vertiendo desde un vaso a los demás, sin utilizar ningún dispositivo de medición y sin,
claro está, desperdiciar ni una gota.
Las ternas (x : y : z) formadas por números enteros no negativos cuya suma es constante d,
pueden ser representadas por los nodos (en el interior de un triángulo ABC) de la malla formada
dividiendo cada lado en d partes iguales y trazando paralelas a los lados por cada uno de los puntos
de división. Poniéndonos en el caso particular del problema propuesto, es decir, x + y + z = 8, se
tiene el mallado de la figura siguiente:
Las coordenadas de los vértices son A(8 : 0 : 0), B(0 : 8 : 0), C(0 : 0 : 8) y, por ejemplo, el
punto marcado por un pequeño cuadrado tiene de coordenadas (1 : 2 : 5); dada la capacidad de los
vasos, la situación expresada por las coordenadas de este punto no puede presentarse; de hecho,
los únicos puntos que podrı́an representar una distribución de agua en los vasos son los que están
en el borde o interior del paralelogramo marcado; el vértice A(8 : 0 : 0) corresponde a la situación
inicial.
Verter agua de un vaso a otro significa moverse de un nodo a otro a lo largo de una de las
lı́neas de la malla (la cantidad de agua en el vaso restante no cambia). La única forma de medir
una cantidad exacta es o bien llenando o vaciando completamente uno de los vasos; es decir, cada
terna ha de tener un 0, ó un 8 en la primera, ó un 5 en la segunda, ó un 3 en la tercera. Por tanto,
sólo nos podemos mover sobre el borde del paralelogramo marcado.
(1) Alex Bogolmony, http://www.cut-the-knot.org/triangle/glasses.shtml
Inicialmente, el primer vaso está lleno, con lo que partimos del vértice A(8 : 0 : 0); desde
éste sólo son posibles dos movimientos: a lo largo de la lı́nea para la que z = 0, hasta el nodo
(3 : 5 : 0), o a lo largo del lado con y = 0, hasta el nodo (5 : 0 : 3). Resolver el problema es similar
a jugar al billar sobre un tablero triangular. Existen exactamente tres nodos (marcados con un
cı́rculo, sobre los lados del paralelogramo) cuyas coordenadas contienen al menos un 4, que son:
(4 : 4 : 0), (4 : 1 : 3), (1 : 4 : 3). El problema será resuelto cuando la bola llegue a uno de estos tres
puntos. En la figura se muestra un posible recorrido:
(8 : 0 : 0) → (3 : 5 : 0) → (3 : 2 : 3) → (6 : 2 : 0) → (6 : 0 : 2) → (1 : 5 : 2) → (1 : 4 : 3).
Es decir: primeramente, se llena el segundo vaso desde el primero; se llena el tercero desde el
segundo; se vacı́a el tercero en el primero; se vacı́a el segundo en el tercero; se llena el segundo
desde el primero; y, finalmente, se llena el tercero desde el segundo.
5.1 Si un punto P divide al segmento, determinado por dos puntos distintos Pi (xi , yi , zi ),
→
− −
→ −
→ −
→
i = 1, 2, en la razón ρ (es decir, si P1 P/P P2 = ρ), entonces p − p 1 = ρ( p 2 − p ), y de
−
→ →
− −
→ −
→
p i = xi a + yi b + zi c (i = 1, 2), se obtiene
−
→ →
− −
→ −
→
(1 + ρ) p = (x1 + ρx2 ) a + (y1 + ρy2 ) b + (z1 + ρz2 ) c .
Con lo que las coordenadas baricéntricas absolutas y homogéneas del punto P , que divide al
segmento P1 P2 en la razón ρ, son
( )
x1 + ρx2 y1 + ρy2 z1 + ρz2
, , , (x1 + ρx2 : y1 + ρy2 : z1 + ρz2 ) .
1+ρ 1+ρ 1+ρ
En particular, los puntos medios de los lados BC, CA y AB, se obtienen para ρ = 1,
Ma (0 : 1 : 1), Mb (1 : 0 : 1), Mc (1 : 1 : 0), (5.11)
Si los puntos Pi (xi : yi : zi ), i = 1, 2, vienen dados en coordenadas baricéntricas homogéneas,
tales que x1 + y1 + z1 = x2 + y2 + z2 , el punto P que separa P1 y P2 en la razón m/n (P1 P/P P2 =
m/n = ρ) es
P (nx1 + mx2 : ny1 + my2 : nz1 + mz2 ). (5.12)
—·—
−−→ −−→
Ecuaciones de una homotecia de centro en P (u : v : w) y razón k (P X ′ = k P X):
Las coordenadas del homólogo X ′ (x′ : y ′ : z ′ ) de un punto X(x : y : z), mediante la homotecia
de centro en P (u : v : w) y razón k, X ′ P/P X = −k/1, se obtienen resolviendo, en las variables
x′ , y ′ , z ′ , las ecuaciones
5.2 Si en la expresión (5.12) de las coordenadas del punto P , que divide al segmento P1 P2 en
la razón m/n, se varı́an los valores de m y n, P recorre los puntos de la recta P1 P2 , cuya ecuación
se obtiene eliminando m y n entre las ecuaciones
son los coeficientes o coordenadas baricéntricas (p : q : r) de la recta. Con lo que se puede escribir
la ecuación de la recta que pasa por los puntos (1) P1(x1 : y1 : z1 ) y P2 (x2 : y2 : z2 ) como
x y z
x1 y1 z1 = 0. (5.19)
x2 y2 z2
6.1 Como ejemplo de ecuaciones de rectas, se tiene que las de las medianas, que unen los vértices
con los puntos medios (5.11) de los lados opuestos, son
AMa : y − z = 0, BMb : z − x = 0, CMc : x − y = 0, (6.23)
las cuales se cortan en el baricentro X2 G(1 : 1 : 1) del triángulo ABC.
El incentro de ABC es el punto de intersección de las bisectrices interiores. Para determinar sus
coordenadas, se puede usar el hecho de que cada bisectriz divide al lado opuesto en la razón de las
longitudes de los lados adyacentes (2) . Si Va es el punto de corte de la bisectriz en A con el lado BC,
se tiene que BVa /Va C = c/b. Luego, las coordenadas de Va son b(0 : 1 : 0) + c(0 : 0 : 1) = (0 : b : c).
Ası́ mismo, las bisectrices en B y C cortan a los lados opuestos en Vb (a : 0 : c) y Vc (a : b : 0),
respectivamente. Se concluye que las ecuaciones de las bisectrices interiores son
(1) Obsérvese que si bien hemos obtenido la ecuación de la recta que pasa por dos puntos P1 y P2 , exigiendo que
sus coordenadas verifiquen x1 + y1 + z1 = x2 + y2 + z2 , ella es válida aunque la suma de las coordenadas de los
puntos dados no sea la misma. Pues, basta con tomar como coordenadas (x′i : yi′ : zi′ ) = (xj + yj + zj )(xi : yi : zi ),
i ̸= j y la ecuación que se obtiene es p′ x + q ′ y + r′ z = (x1 + y1 + z1 )(x2 + y2 + y2 )(px + qy + rz) = 0.
(2) Posteriormente, pág. 50, utilizando la noción de giro en coordenadas baricéntricas, se obtienen las coordenadas
6.2 Dado un punto P , a la rectas que lo unen a los vértices de un triángulo, AP, BP y CP , se
les denomina tradicionalmente cevianas de P . Si P (x : y : z), los puntos de corte de sus cevianas
con los lados (pies de las cevianas) forman un triángulo Pa Pb Pc , denominado triángulo ceviano de
P , cuyos vértices (1) son:
Pa (0 : y : z), Pb (x : 0 : z), Pc (x : y : 0). (6.25)
Recı́procamente, si éstas son, respectivamente, las coordenadas de tres puntos D, E, F , entonces
las rectas AD, BE y CF se cortan en el punto de coordenadas (x : y : z).
Al triángulo ceviano del baricentro Ma Mb Mc se le denomina triángulo medial.
Una situación más general consiste en tomar tres puntos X, Y y Z cuyas coordenadas se escriben
en la forma
X(ξ : y : z), Y (x : η : z), Z(x : y : ζ),
entonces las rectas AX, BY y CZ concurren en el punto P (x : y : z) y se dice que los triángulos
ABC y XY Z son perspectivos y al punto P se le llama centro de perspectividad.
Por el teorema de Desargues, los puntos BC ∩ Y Z, CA ∩ ZX y AB ∩ XY están en una recta,
denominada eje de perspectividad. Las coordenadas baricéntricas (o coeficientes) (u : v : w) del eje,
en función de las coordenadas de X, Y y Z, son:
( )
( ) 1 1 1
(y − η)(z − ζ) : (z − ζ)(x − ξ) : (x − ξ)(y − η) = : : .
x−ξ y−η z−ζ
Además, si (α : v : w), (u : β : w) y (u : v : γ) son las coordenadas de tres rectas, el triángulo
determinado por ellas es perspectivo con ABC; el eje de perspectividad es la recta (u : v : w) y el
centro de perspectividad es
( )
( ) 1 1 1
(v − β)(w − γ) : (w − γ)(u − α) : (u − α)(v − β) = : : .
u−α v−β w−γ
6.3 Como un primer uso de este hecho vamos a determinar las coordenadas del punto de
intersección de las alturas (en los párrafos § 8 y § 12 tratamos de nuevo este punto). Sea Hc el pie
de la altura desde el vértice C, entonces las proyecciones de los lados AC y BC sobre la recta AB
son, respectivamente, AHc = b cos A y Hc B = a cos B; por lo que, las coordenadas de Hc son de
la forma (a cos B : b cos A : 0), que podemos poner de cualquiera de las formas siguientes:
( ) ( )
a b 1 1
: : 0 = (tag A : tag B : 0) = : :0 .
cos A cos B SA SB
Procediendo de forma similar con las alturas desde los otros vértices, los pies de las tres alturas
son: ( ) ( ) ( )
1 1 1 1 1 1
0: : , :0: , : :0 .
SB SC SA SC SA SB
Con lo que las tres alturas concurren el punto denominado ortocentro de coordenadas
( ) ( )
1 1 1 1 1 1
H : : = : : = (tag A : tag B : tag C) .
SA SB SC b2 + c2 − a2 c2 + a2 − b2 a2 + b2 − c2
(1) Para la notación P , P , P de los pies de las cevianas del punto P , haremos una excepción en los casos del
a b c
baricentro G y del incentro I, que denotamos por Ma , Mb , Mc y Va , Vb , Vc , respectivamente; reservando la notación
Ia , Ib , Ic para los centros (12.51) de las circunferencias exinscritas.
7.1 Si se toma un punto P (x : y : z) sobre la recta determinada por los puntos Pi (xi : yi : zi ),
i = 1, 2, para encontrar la razón en que P divide al segmento P1 P2 , se ha de resolver, en las
variables k, m y n, las ecuaciones siguientes:
kx = n(x2 + y2 + z2 )x1 + m(x1 + y1 + z1 )x2 ,
ky = n(x2 + y2 + z2 )y1 + m(x1 + y1 + z1 )y2 ,
kz = n(x2 + y2 + z2 )z1 + m(x1 + y1 + z1 )z2 ,
las cuales tienen solución, pues al estar P, P1 y P2 alineados, se anula el determinante (5.19)
formado por sus coeficientes.
m P1 P
El valor = , que se obtiene, es la razón en que P divide a P1 P2 :
n P P2
m (x1 y − xy1 )(x2 + y2 + z2 ) (y1 z − yz1 )(x2 + y2 + z2 ) (x1 z − xz1 )(x2 + y2 + z2 )
− = = = .
n (x2 y − xy2 )(x1 + y1 + z1 ) (y2 z − yz2 )(x1 + y1 + z1 ) (x2 z − xz2 )(x1 + y1 + z1 )
(7.26)
Como aplicación de estos cálculos, se obtiene que
Las coordenadas baricéntricas de un punto P (x : y : z) son proporcionales a las áreas
orientadas de los triángulos que él forma con cada par de vértices del triángulo de referencia.
Vamos a determinar la expresión del área de una triángulo de vértices D,E y F de coordenadas
cartesianas (d1 , d2 ), (e1 , e2 ), (f1 , f2 ), respectivamente, y con coordenadas baricéntricas absolutas
Tomando determinante, resulta la fórmula del área de DEF en términos de las coordenadas
baricéntricas absolutas de sus vértices y del área de ABC:
x1 x2 x3
áreaDEF = áreaABC y1 y2 y3 .
z1 z2 z3
Ejemplos:
En un triángulo ABC se traza el segmento que va desde A al punto A′ que divide a BC en
tres partes iguales (más cerca de B); análogamente, se trazan cı́clicamente los segmentos BB ′
y CC ′ . Estos tres segmentos se cortan en tres puntos X, Y, Z, entonces se verifica la siguiente
relación entre áreas:
7 áreaXY Z = áreaABC.
S 3 (a2 vw + b2 wu + c2 uv)
áreaAP BP CP =
2a2 b2 c2 (u + v + w)2
El producto de las sumas de las coordenadas de los vértices del triángulo pedal de P es
a2 b2 c2 (u + v + w)3 y el determinante formado por ellas vale S 2 (a2 vw + b2 wu + c2 uv)(u + v + w); por
lo que el área es la anunciada. Obsérvese que si P está en la circunferencia circunscrita (19.69),
a2 yz + b2 zx + c2 xy = 0, el área es cero: los vértices del triángulo pedal de P están alineados, en
la recta de Simson–Wallace de P .
Usando la expresión de la potencia (19.70) de un punto respecto a una circunferencia y las
S = bc sen A = ca sen B = ab sen C, esta fórmula (1) del área de triángulo pedal de P , también se
puede poner de la forma:
(R2 − P O2 )
áreaAP BP CP = sen A sen B sen C,
2
donde R es el radio de la circunferencia circunscrita a ABC y O es si centro (R2 − P O2 es la
potencia de P respecto a la circunferencia circunscrita).
En particular, el área del triángulo de contacto interior (triángulo pedal del incentro I(a : b : c))
es, utilizando las fórmulas (2.5) y (2.6) para los radios R y r de las circunferencias circunscritas e
inscritas,
r
áreaAI BI CI = áreaABC.
2R
—·—
De la expresión del área del triángulo pedal de un punto P , se deduce que ésta es constante
igual k, si el punto P está en la circunferencia (§19.1) de centro en O (el de la circunferencia
circunscrita), de ecuación:
Este resultado se puede considerar como una generalización del Teorema de Simson-Wallace
(una generalización proyectiva en http://webpages.ull.es/users/amontes/pdf/ejtr2315.pdf):
”La condición necesaria y suficiente para que los pies de las perpendiculares trazadas desde
un punto a los lados de un triángulo estén alineados es que dicho punto esté en la circunferencia
circunscrita al triángulo”.
7.3 Podemos dar la siguiente interpretación de las coordenadas baricéntricas de una recta
(pág.8); se tiene que ”las coordenadas baricéntricas de una recta d(u : v : w) son proporciona-
les a las distancias orientadas de los vértices del triángulo de referencia a la recta”.
En efecto, los puntos de corte de la recta d ≡ ux + vy + wz = 0 con los lados del triángulo son
AC ′ AC ′ u BA′ BA′ v CB ′ CB ′ w
′
= − ′
= , ′
= − ′
= , ′
= − ′
= .
BC CB v CA AC w AB BA u
Y por la semejanza de los triángulos C ′ ADa ∼ C ′ BDb , A′ BDb ∼ A′ CDc , B ′ CDc ∼ B ′ ADa ,
resulta que
u u′ v v′ w w′ u′ v′ w′
= ′, = ′, = ′, o bien = = .
v v w w u u u v w
En definitiva, las distancias u′ , v ′ , w′ de los vértices A, B, C a una recta, dan las coordenadas
baricéntricas de ésta; entendiendo que el signo de cada una de estas distancias hay que tomarlo
positivo o negativo, según que los puntos de corte A′ , B ′ , C ′ con los lados estén dentro o fuera
(respectivamente) de los segmentos BC, CA, AB. Por ejemplo, para la recta de la figura los signos
de sus coordenadas son ( + + − ).
8.1 En este párrafo, veremos como las coordenadas baricéntricas son las coordenadas ho-
mogéneas, relativas a la referencia proyectiva {A, B, C; G}. Como ejemplos de esta visión, obten-
dremos algunos resultados que posteriormente serán deducido de nuevo, desde otro punto de vista.
Por ejemplo, deduciremos las ecuaciones de las alturas, de las bisectrices, de las mediatrices y de
la ecuación de la circunferencia circunscrita a un triángulo ABC. De hecho, toda la geometrı́a
euclidiana se puede construir con esta referencia proyectiva. En el párrafo § 9.2 se da un mismo
enfoque para las coordenadas trilineales.
→
− − →
Dado un triángulo ABC, consideremos la referencia afı́n euclı́dea {A; e 1 , e 2 }, formada por el
−
→ →
− −−→ −→
vértice A y los vectores unitarios e 1 y e 2 con origen en A y sentido el de AB y AC, respectiva-
mente. En esta referencia, las coordenadas de los vértices y del baricentro (o centro de gravedad)
de ABC son A(0, 0), B(c, 0), C(0, b) y G(c/3, b/3).
(1) De estas relaciones, surge el Teorema de Menelao:
AC ′ BA′ CB ′
A′ , B ′ , C ′ están alineados ⇔ · · = −1.
C ′ B A′ C B ′ A
En el plano proyectivo obtenido ampliando el plano afı́n con la recta del infinito y respecto
a la referencia proyectiva R̄a = {A, B∞ , C∞ ; Ua } (el vértice A, los puntos del infinito de los ejes
coordenados AB y AC y el punto unidad Ua (1, 1)), se tiene que
Tomando estos puntos como una nueva referencia proyectiva R = {A, B, C; G}, con punto
unidad en G, se tienen las expresiones de cambio de coordenadas (x̄, ȳ, z̄) y (x, y, z) de un punto
respecto a las referencias R̄a y R:
x̄ 1 1 1 x
λ ȳ = 0 c 0 y .
z̄ 0 0 b z
O bien,
λx̄ = x+y+z µx = bcx̄ − bȳ − cz̄
λȳ = cy µy = bȳ (8.28)
λz̄ = bz µz = cz̄
Las coordenadas de los vértices y del baricentro de ABC en la referencia R se pueden deducir
de sus coordenadas respecto a R̄a , usando las segundas relaciones de (8.28); y son las que realmente
deben ser, por determinar tal referencia, es decir
8.2 Haciendo uso de los cambios de coordenadas (8.28), podemos obtener las expresiones en
coordenadas baricéntricas, si se conocen sus expresiones respecto a la referencia R̄a . Aunque no
va a ser el camino que seguiremos en este estudio, a modo de ejemplos vamos a ver unos casos
concretos:
Las coordenadas del punto medio Mc (c/2, 0) de AB en R̄a son Mc (2, c, 0) y respecto a R son,
entonces, (2bc − bc : bc : 0) = (1 : 1 : 0). La recta del infinito del plano en R̄a es x̄ = 0 y, por tanto,
x + y + z = 0, en coordenadas baricéntricas.
Como otro ejemplo podemos poner el de las ecuaciones de las mediatrices y alturas (que volvere-
mos a tratar en § 12.2) ası́ como las de las bisectrices, dadas ya en (6.24). Una recta perpendicular
−
→ →
− −
→ →
− → −
al lado AB tendrá la dirección del vector v = v1 e 1 + v2 e 2 , tal que 0 = e 1 · v = v1 + v2 cos A;
por lo que la mediatriz de AB (perpendicular en el punto medio Mc (c/2, 0)) tiene por ecuación
paramétrica, en la referencia afı́n euclı́dea inicial, Y = c/2 + t cos A, Z = −t, y en la referencia R̄a ,
cx̄ − 2ȳ − 2z̄ cos A = 0. De aquı́, usando las primeras transformaciones de (8.28), se obtiene que,
en coordenadas baricéntricas, la ecuación de la mediatriz es
Usando el teorema del coseno, se llega a la última de las ecuaciones siguientes (las dos primeras (1)
son las de las mediatrices a los lados BC y CA):
Obtenidas estas ecuaciones de mediatrices y alturas, podemos hallar las ecuaciones de las
primeras conociendo las de las segundas y, viceversa, se pueden obtener las ecuaciones de las
alturas, conocidas las de las mediatrices. Por ejemplo, la ecuación de la mediatriz del lado BC es
la de la recta que pasa por Ma (0 : 1 : 1) y por el punto del infinito de la altura AHa , SB y−SC z = 0;
siendo las coordenadas de éste
( )
1 1 1 1 1 1
2
SB −SC : −SC 0 : 0 SB = (−(SC + SB ) : SC : SB ) = (−a : SC : SB ).
−
→ − →
(1) Para obtener la ecuación de la mediatriz al lado BC, podemos partir de la referencia afı́n euclı́dea {B; e 1 , e 2 },
−
→ − → −
−→ −→
formada por el vértice B y los vectores unitarios e 1 y e 2 con origen en B y sentido el de BC y BA, respectivamente.
En esta situación el cambio de coordenadas entre la referencia proyectiva R̄b = {B, C∞ , A∞ ; Ub }, deducida de ésta,
y las coordenadas baricéntricas, relativas a la referencia proyectiva R = {A, B, C; G}, son
λx̄ = cx µx = ax̄
λȳ = x+y+z µy = −ax̄ + acȳ − cz̄
λz̄ = az µz = cz̄
−
→ −
→ −
→ −
→ − →
Una recta perpendicular al lado BC tendrá la dirección del vector v = v1 e 1 + v2 e 2 , tal que 0 = e 1 · v
= v1 + v2 cos B; por lo que la mediatriz de BC (perpendicular en el punto medio Ma (a/2, 0)) tiene por ecuación
paramétrica, en la referencia afı́n euclı́dea que hemos tomado aquı́, Z = a/2 + t cos B, X = −t, y, en la referencia
R̄b , −2x̄ cos B − aȳ + 2z̄ = 0 = 0. Por lo que la ecuación de la mediatriz a BC, en coordenadas baricéntricas, es
−2cx cos B − a(x + y + z) + 2az = 0, ó (−a2 − 2ac cos B)x − a2 y + a2 z = 0.
8.3 Por lo expuesto, podemos utilizar cualquier herramienta de geometrı́a proyectiva para
obtener expresiones en coordenadas baricéntricas de objetos en el plano . Ası́, por ejemplo, vamos
a determinar la ecuación de la recta que une el vértice A con el punto de intersección de las
tangentes en B y C a su circunferencia circunscrita.
Ya que toda circunferencia pasa por los puntos cı́clicos del plano, es decir, por aquellos pun-
tos impropios determinados por direcciones perpendiculares a sı́ mismas, debemos expresar sus
coordenadas respecto a la referencia R̄a .
−
→ →
− −
→ −
→
La recta de vector director e 1 + m e 2 es perpendicular a la de dirección de e 1 + m′ e 2 si y
sólo si
1 + 2m cos A
m′ = − .
2 cos A + m
−
→ →
−
Por lo que, una recta de dirección e 1 + m e 2 es perpendicular a sı́ misma cuando se verifique
que
m2 + 2m cos A + 1 = 0.
(1)
Y, por tanto, los puntos cı́clicos son
Los coeficientes de la circunferencia f x̄2 + g ȳ 2 + hz̄ 2 + 2pȳz̄ + 2qz̄ x̄ + 2rx̄ȳ = 0 que pasa por
estos puntos y por A(1, 0, 0), B(1, c, 0) y C(1, 0, b), han de satisfacer a las ecuaciones siguientes,
que resultan de la sustitución de estos puntos:
1 0 0 0 c b 1 1 1 0 c2 b2
1 c 0 c −2 −2 cos A 0 c 0 = c2 0 a2 .
1 0 b b −2 cos A −2 0 0 b b2 a2 0
(1)
Con lo que la ecuación de la circunferencia circunscrita queda de la forma:
a2 yz + b2 zx + c2 xy = 0.
8.4 Ahora vamos a determinar las coordenadas baricéntricas del punto del infinito de una recta
perpendicular a otra dada px + qy + rz = 0.
El punto del infinito de la recta px + qy + rz = 0 es (q − r : r − p : p − q); las expresión de
este punto en la referencia R̄a es (0, c(r − p), b(p − q)). Cualquier recta que tenga este punto del
−
→ −→ −
→ −
→
infinito tiene como vector director, en la referencia {A; e 1 , e 2 }, c(r − p) e 1 + b(p − q) e 2 . Un
−
→ −
→ −
→
vector v = v1 e 1 + v2 e 2 perpendicular al anterior, debe verificar:
( )
v1 c(r − p) + v1 b(p − q) + v2 c(r − p) cos A + v2 b(p − q) = 0.
El punto del infinito de una recta que tenga esta dirección es, entonces,
( ( ))
0, c(r − p) cos A + b(p − q), − b(p − q) cos A + c(r − p) .
( ) ( ))
b c(r − p) cos A + b(p − q) : −c b(p − q) cos A + c(r − p) ,
( )
(r − p)(c2 + bc cos A)− (p − q)(b2 + bc cos A) : (r − p)bc cos A +b2 (p − q) : (q − p)bc cos A − c2 (r − p) ,
( )
(r − p)SB − (p − q)SC : (r − p)SA + (SA + SC )(p − q) : (q − p)SA − (SA + SB )(r − p) ,
( )
(r − p)SB − (p − q)SC : (p − q)SC − (q − r)SA : (q − r)SA − (r − p)SC . (8.29)
8.5 Utilizando las fórmulas de cambio de referencias proyectivas podemos poner unos ejemplos
que relacionan las coordenadas baricéntricas de un punto respecto a triángulos distintos.
Si las coordenadas baricéntricas de un punto P , respecto a ABC son (x : y : z) y queremos
obtener su relación con las coordenadas baricéntricas (x′ : y ′ : z ′ ), respecto a otro triángulo A′ B ′ C ′ ,
del que se conocen las coordenadas baricéntricas de sus vértices respecto a ABC, debemos dar una
determinación fija a éstos para que la suma de los tres sea el baricentro G′ de A′ B ′ C ′ . Esto puede
lograrse haciendo que las sumas de las coordenadas de cada uno de ellos sean las mismas.
Ası́, por ejemplo, si A′ B ′ C ′ es el triángulo ceviano de P (p : q : r), ponemos
( ) ( ) ( )
′ q r ′ p r ′ p q
A 0: : , B :0: , C : :0 .
q+r q+r r+p r+p p+q p+q
x′ = −x + y + z, y ′ = x − y + z, z ′ = x + y − z.
En particular, para el triángulo órtico (12.49), formado por los pies de las alturas:
Para el triángulo de contacto interior (12.50), pedal del incentro, con vértices en los puntos de
contacto de la circunferencia inscrita con los lados de ABC:
( )
x′ = a(b + c − a) − (b + c − a)x + (c + a − b)y + (a + b − c)z ,
( )
y ′ = b(c + a − b) (b + c − a)x − (c + a − b)y + (a + b − c)z ,
( )
z ′ = c(a + b − c) (b + c − a)x + (c + a − b)y − (a + b − c)z .
Con estos cambios de coordenadas, que hemos expuesto, podemos poner unos ejemplos:
— Las coordenadas baricéntricas del incentro I(a : b : c) de ABC, respecto al triángulo de
contacto interior son (a : b : c), que no es el incentro de éste.
— Las coordenadas baricéntricas del incentro I(a : b : c) de ABC, respecto al triángulo medial
son (b + c − a : c + a − b : a + b − c), que es el punto de Nagel (pág. 34) del triángulo medial, ya que
las longitudes de los lados de ABC son el doble de las de su triángulo medial y podemos considerar
a, b y c, como las longitudes del triángulo medial, dado que las coordenadas son homogéneas.
— Si un punto P tiene coordenadas baricéntricas (u : v : w) respecto a ABC, sus coordenadas
baricéntricas respecto a su triángulo pedal son (a2 /u : b2 /v : c2 /w); es decir, tiene las mismas
coordenadas que las del conjugado isogonal (14.60) de P respecto a ABC.
8.6 Utilizamos ahora una interpretación de las coordenadas homogéneas de un punto res-
pecto a una referencia proyectiva, en términos de razón doble, para determinar las coordenadas
baricéntricas homogéneas de un punto del plano (no situado en los lados del triángulo de referencia)
y, recı́procamente, ubicar un punto del que se conocen sus coordenadas homogéneas.
Dada una referencia proyectiva {A, B, C; U }, con U punto unidad, y un punto P , sean Ub =
AC ∩ BU , Uc = AB ∩ CU , Pb = AC ∩ CP y Pc = AB ∩ BP , entonces se verifica que los valores
de las razones dobles (A B Pc Uc ) = y, (A C Pb Ub ) = z, dan las coordenadas homogéneas (1, y, z)
de P respecto a {A, B, C; U }.
En particular, si la referencia proyectiva es {A, B, C; G}, con G el baricentro de ABC, por este
procedimiento podemos obtener las coordenadas baricéntricas homogéneas de un punto P .
(Applet CabriJava)
Coordenadas homogéneas de P ( x , y , z ), no situado en
el lado BC del triángulo ABC, en la referencia proyectiva
{A, B, C; U}
La obtención gráfica de los valores de la razón doble de los cuatro puntos A, B, Pc , Uc , se puede
hacer de la siguiente manera:
Se toma un punto D sobre una recta d que pase por A (se puede tomar d como el lado AC y
D como C) y se determinan los puntos de intersección E y F de la recta CPc y CUc con la recta
paralela a d por B. Entonces la razón doble (A B Pc Uc ) es la abscisa del punto F en la referencia
−−→
afı́n {B; BE}. Ya que:
APc AUc AC AC BF
(A B Pc Uc ) = : = : = .
BPc BUc BE BF BE
(1) El punto con estas coordenadas baricéntricas, respecto a ABC es el X3158 en ETC, cociente ceviano X1 /X9 .
Inversamente, si lo que queremos es ubicar un punto en plano del que se conocen sus coordenadas
homogéneas, P (x, y, z), respecto a una referencia proyectiva {A, B, C; U }, debemos obtener los pies
Pb y Pc de sus cevianas desde B y C, respectivamente. Ası́, por ejemplo, como se ha de verificar
(A B Pc Uc ) = y/x, para determinar Pc , procedemos de la forma siguiente:
Tomamos sobre una recta d por A un punto D (sea d ≡ AC y D = C); sean el punto de
intersección F de la recta CUc con la recta que pasa por B y paralela a d, y el punto E (en la
−−→
paralela a d por B) tal que y/x es la abscisa de F en la referencia afı́n {B; BE}. Entonces Pc es
el punto de intersección de AB con DF .
9 Coordenadas trilineales
9.1 Dado un triángulo de referencia ABC, las coordenadas trilineales homogéneas en un punto
P , con respecto a ABC, es la terna (α : β : γ) de componentes proporcionales a las distancias a′ , b′
y c′ de P a los lados.
Para establecer la relación que existe en-
tre las coordenadas baricéntricas (x : y : z) y
trilineales (α : β : γ) de un punto P , basta
observar que, por (7.27),
Ejemplos: El incentro (pág. 10) equidista de los lados, luego sus coordenadas trilineales son
(1 : 1 : 1) y por consiguiente sus baricéntricas son (a : b : c).
El baricentro (pág. 9), centro de gravedad del triángulo, tiene de coordenadas baricéntricas
1 1 1
(1 : 1 : 1) y por tanto sus coordenadas trilineales son ( : : ) = (bc : ca : ab).
a b c
Las coordenadas trilineales exactas (a′ , b′ , c′ ) de P pueden ser calculadas (1) mediante las
fórmulas (∆ = áreaABC):
2α∆ 2β∆ 2γ∆
a′ = , b′ = , c′ = . (9.30)
aα + bβ + cγ aα + bβ + cγ aα + bβ + cγ
Ya que, 2∆ = aa′ + bb′ + cc′ y si a′ = kα, b′ = kβ, c′ = kγ, se tiene 2∆ = k(aα + bβ + cγ).
9.2 Si queremos darle un enfoque proyectivo a las coordenadas trilineales, de la misma forma
que se hizo en el §8 con las coordenadas baricéntricas, sólo tenemos que considerar la referencia
−
→ → −
proyectiva {A, B, C; I}, cuyos puntos tienen coordenadas, en la referencia afı́n euclı́dea {A; e 1 , e 2 }
considerara allı́, A(0, 0), B(c, 0), C(0, b) y I(r/ sen A, r/ sen A).
En el plano proyectivo obtenido ampliando el plano afı́n con la recta del infinito y respecto
a la referencia proyectiva R̄a = {A, B∞ , C∞ ; Ua } (el vértice A, los puntos del infinito de los ejes
coordenados AB y AC y el punto unidad Ua (1, 1)), se tiene que:
c∥gamma ̸= 0). Si P está en la recta del infinito y αβγ ̸= 0, k := 1/α + 1/β + 1/γ; si P está en la recta del infinito
y αβγ = 0, entonces k := 1
Tomando estos puntos como una nueva referencia proyectiva R = {A, B, C; I}, con punto
unidad en el incentro I, para lo cual debemos tomar las coordenadas de la forma:
A(a, 0, 0), B(b, bc, 0), C(c, 0, bc), I(a + b + c, bc, bc),
se tienen las expresiones de cambio de coordenadas (x̄, ȳ, z̄) y (α, β, γ) de un punto respecto a las
referencias R̄a y R:
x̄ a b c α
λ ȳ = 0 bc 0 β .
z̄ 0 0 bc γ
10.1 A diferencia de los cuadrados y los cı́rculos, los triángulos tienen muchos centros. Los
antiguos griegos encontraron cuatro: incentro (pág.10), baricentro (pág.9), circuncentro (pág.31) y
ortocentro (pág.32). Los puntos que ahora se conoce como centro de la circunferencia de los nueve
puntos (pág.114), simediano (pág.51), punto de Gergonne (pág.34), puntos de Fermat (pág. 63) o
punto de Feuerbach (pág.126), por nombrar algunos, se han añadido a la literatura. En la década
de 1980, se observó que estos puntos especiales comparten algunas propiedades generales que ahora
forman la base de una definición formal de centros de un triángulo.
Un centro de un triángulo es un punto cuyas coordenadas baricéntricas están definidas mediante
una función de las variables a, b y c (que son las longitudes de los lados), de modo que se expresen
en la forma: ( )
f (a, b, c) : f (b, c, a) : f (c, a, b) ,
donde f es homogénea en a, b, c, es decir, existe un número ρ real, no negativo, tal que
f (ta, tb, tc) = tρ f (a, b, c), para todo (a, b, c) en el dominio de f ;
y simétrica en b y c, es decir,
Supóngase ahora que (f (a, b, c) : f (b, c, a) : f (c, a, b)) es un punto que satisface la condición
de ser f homogénea en a, b, c, pero que |f (a, b, c)| = ̸ |f (a, c, b)|, entonces (f (a, c, b) : f (b, a, c) :
f (c, b, a)) y (f (a, b, c) : f (b, c, a) : f (c, a, b)) se denominan puntos bicéntricos y juntos componen lo
que se llama un par bicéntrico. Es el caso de los puntos de Brocard (pág.57):
( ) ( )
1 1 1 1 1 1
: : , : : .
b2 c2 a2 c2 a2 b2
Estos puntos, ası́ como otros igualmente notables en la geometrı́a del triángulo, no serán con-
siderados como centros de un triángulo en este estudio.
10.2 A continuación se da una lista de puntos notables del triángulo contenidos en este
documento. Cuando es un centro y figura en ETC ponemos, en la primera columna, su número de
orden y si no es un centro, un guión; cuando es un centro pero no nos consta que figure actualmente
en ETC, lo indicamos con X? . En algunos casos los representamos por una letra o un par de ellas,
según la notación más frecuente usada en la literatura, ası́ como le damos el nombre por el que
se le suele conocer. De sus coordenadas sólo ponemos la primera, cuando es un centro, ya que las
restantes se obtienen permutando cı́clicamente la dada. En la última columna se indica una página
donde figura.
X1 I Incentro a 10
— Ia A–exincentro (−a : b : c) 34
— Ib B–exincentro (a : −b : c) 34
— Ic C–exincentro (a : b : −c) 34
X2 G Baricentro 1 9
X3 O Circuncentro a 2 SA 31
X4 H Ortocentro SB SC 32
X5 N Centro circunferen- S 2 + SB SC 114
cia de Euler
X6 K Simediano a2 51
1
X7 Ge Punto de Gergonne s−a 34
X8 Na Punto de Nagel s−a 34
X9 Mt Punto intermedio a(−a + b + c) 37
”Mittenpunkt”
1
X76 Tercer punto de 66
a2
Brocard K(−ω)
( ) ( )
1 1 1 1 1 1
— Puntos de Jerabek : : , : : 59
b c a c a b
X79 Punto de Gray 1/(b2 + c2 − a2 + bc) 80
X80 1/(bc − 2SA ) 35
X83 K(ω) 1/(b2 + c2 ) 67
a
X84 Conjugado isogonal 97
a + (b + c) (a(a − b − c) − (b − c)2 )
3
del punto de Bevan
1
X85 44
a(−a + b + c)
a
X90 Centro de perspecti- 97
a + (b + c)(a − (b − c)2 ) − a(b2 + c2 )
3 2
vidad de
Jacobi, J(4, 0)
1
X98 Punto de Tarry 68
SA Sω − S 2
K(ω ± π/2)
a
X104 Cuarto punto de in- 97
(a + b − c)(a − b + c)(b + c) − 2abc
tersección de la cir-
cunferencia circuns-
crita y la hipérbola
de Feuerbach
X115 Centro de la (b2 − c2 )2 62
hipérbola de
Kiepert
X141 Complemento b2 + c2 79
del simediano
√
a
X174 ”Yff center of con- 83
−a + b + c
gruence”
X182 Punto medio de OK a2 (a2 SA + b2 c2 ) 119
1
X188 Segundo punto √ 87
del arco mitad del bc(bc − SA )
triángulo anticom-
plemetario
1 1 1
X192 Pi Punto de paralelas − + + 5
a b c
iguales
X194 a2 b2 − b2 c2 + c2 a2 67
X230 2a4 − a2 (b2 + c2 ) + (b2 − c2 )2 121
X262 K(−ω ± π2 ) 1/(SA Sω + S 2 ) 69
X312 bc(−a + b + c) 45
a
X? Centro de perspecti- 2a3 +a2 (b+c)−(b−c)2 (b+c)−2a(b2 ±bc+c2 ) 98
vidad de Jacobi,
J(6, ±2)
−
→ −−→ −→ →
− →
− − → −
→ → −
v = µ AB + ν AC, ó v = µ( b− a) + ν( c − a).
−
→ −
→
Dados dos puntos Pi (xi , yi , zi ), i = 1, 2, con x1 + y1 + z1 = x2 + y2 + z2 = 1, como p i = xi a
−
→ →
−
+ yi b + zi c , se tiene
−−−→ − → → − →
− −
→ →
−
P1 P2 = p 2 − p 1 = (x2 − x1 ) a + (y2 − y1 ) b + (z2 − z1 ) c ,
−−−→
con lo que, las componentes de P1 P2 , respecto a ABC, son
−−−→
P1 P2 = (x2 − x1 , y2 − y1 , z2 − z1 ). (11.32)
Se concluye que: ”Las coordenadas baricéntricas homogéneas del punto del infinito de una recta
(5.13) son proporcionales a las componentes, respecto a ABC, de un vector paralelo a dicha recta”.
En particular,
−−→ −→ −−→
BC= (0, −1, 1), CA= (1, 0, −1), AB= (−1, 1, 0). (11.33)
—·—
−
→
Si v i = (λi , µi , νi ), i = 1, 2, son las componentes de dos vectores respecto al triángulo ABC,
se tiene que su producto escalar vale
−
→ − →
v 1 · v 2 = SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2 . (11.35)
−
→
En efecto, el que (λi , µi , νi ) sean las componentes de los vectores v i , i = 1, 2, respecto a ABC,
−
→ −−→ −→
significa que λi + µi + νi = 0, y que v i = µi AB + νi AC, luego:
( ) ( )
−
→ − → −−→ −→ −−→ −→
v1· v2 = µ1 AB + ν1 AC · µ2 AB + ν2 AC =
c2 µ1 µ2 + bc(µ1 ν2 + µ2 ν1 ) cos A + b2 ν1 ν2 =
(SA + SB )µ1 µ2 + SA (µ1 ν2 + µ2 ν1 ) + (SA + SC )ν1 ν2 =
SA (µ1 µ2 + µ1 ν2 + µ2 ν1 + ν1 ν2 ) + SB µ1 µ2 + SC ν1 ν2 =
SA (µ1 + ν1 )(µ2 + ν2 ) + SB µ1 µ2 + SC ν1 ν2 =
SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2 .
−
→
11.2 En particular, el módulo de un vector v = (λ, µ, ν) está dado por
−
→
∥ v∥2 = SA λ2 + SB µ2 + SC ν 2 . (11.36)
−
→
El ángulo entre los vectores v i = (λi , µi , νi ), λi + µi + νi = 0, (i = 1, 2), viene dado, como
−
→ − → −
→ −
→
v 1 · v 2 = ∥ v 1 ∥∥ v 2 ∥ cos θ, por
SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2
cos θ = √ √ . (11.37)
SA λ21 + SB µ21 + SC ν12 SA λ22 + SB µ22 + SC ν22
Por ejemplo, el ángulo entre los lados AB y AC del triángulo de referencia se calcula usando
−−→ −→
(11.33), AB= (−1, 1, 0) y AC= (−1, 0, 1), con lo que
SA S cotag A S cos A
cos θ = √ √ = = = cos A.
SA + SB SA + SC cb cb sen A
−−−→
11.3 Como, por (11.32), P1 P2 = (x2 − x1 , y2 − y1 , z2 − z1 ) es el vector determinado por los
puntos Pi (xi , yi , z1 ), xi + yi + zi = 1, i = 1, 2, la distancia entre ellos está dada, usando (11.36), por
P1 P22 = SA (x2 − x1 )2 + SB (y2 − y1 )2 + SB (z2 − z1 )2 . (11.38)
Pues, basta con dividir las coordenadas de P1 y P2 por la suma de sus componentes y utilizar
la fórmula (11.38), que da la distancia entre los puntos expresados en coordenadas baricéntricas
absolutas.
En particular, las distancias de un punto P (x : y : z) a los vértices del triángulo de referencia
vienen dadas por las expresiones:
SA (1 − x)2 + SB y 2 + SC z 2 c2 y 2 + 2SA yz + b2 z 2
AP 2 = = ,
(x + y + z)2 (x + y + z)2
SA x2 + SB (1 − y)2 + SC z 2 a2 z 2 + 2SB zx + c2 x2
BP 2 = = , (11.40)
(x + y + z)2 (x + y + z)2
SA x2 + SB y 2 + SC (1 − z)2 b2 x2 + 2SC xy + a2 y 2
AP 2 = = .
(x + y + z)2 (x + y + z)2
11.4 Por ejemplo, para encontrar (de nuevo) las coordenadas del circuncentro O de ABC, que
equidista de los vértices, se resuelve el sistema de ecuaciones:
Que evaluando, usando (2.2), nos da la expresión del radio de la circunferencia circunscrita, ya
expuesto en (2.5):
a2 b2 c2
R2 = .
(−a + b + c)(a + b − c)(a − b + c)(a + b + c)
12 Perpendicularidad
−
→
12.1 Según (11.37), dos vectores v i = (λi , µi , νi ) son perpendiculares (θ = π/2) si y sólo si
SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2 = 0. (12.41)
Utilizando este hecho, se puede caracterizar cuando dos rectas son perpendiculares. Los vectores
paralelos a las rectas pi x + qi y + ri z = 0 (i = 1, 2) tienen componentes (respecto al triángulo de
−
→
referencia) proporcionales a las de sus puntos del infinito (5.21); es decir, v i = (qi −ri , ri −pi , pi −qi ).
Luego, las rectas son perpendiculares si y sólo si
SA (q1 − r1 )(q2 − r2 ) + SB (r1 − p1 )(r2 − p2 ) + SC (p1 − q1 )(p2 − q2 ) = 0. (12.42)
Y el punto del infinito de una recta perpendicular a otra recta de ecuación px + qy + rz = 0, se
determina resolviendo el sistema de ecuaciones:
y resulta,
( )
SB (r − p) − SC (p − q) : SC (p − q) − SA (q − r) : SA (q − r) − SC (r − p) ,
o bien,
( 2 )
pa − qSC − rSB : qb2 − rSA − pSC : rc2 − pSB − qSA . (12.43)
Se puede expresar las coordenadas del punto del infinito de la recta perpendicular a la que
pasa por dos puntos Pi (xi : yi : zi ), i = 1, 2 (x1 + y1 + z1 = x2 + y2 + z2 ), sin necesidad de
hallar la ecuación de la recta que estos determinan, ya que el punto del infinito (5.13) de ésta es
(x2 − x1 : y2 − y1 : z2 − z1 ),
( )
SB (y2 − y1 ) − SC (z2 − z1 ) : SC (z2 − z1 ) − SA (x2 − x1 ) : SA (x2 − z1 ) − SB (y2 − y1 ) . (12.44)
12.2 Los puntos del infinito de las perpendiculares a cada uno de los lados BC (x = 0), CA (y =
0) y AB (z = 0) son, respectivamente,
(−a2 : SC : SB ), (SC : −b2 : SA ), (SB : SA : −c2 ). (12.45)
Utilizamos esto para determinar las coordenadas del circuncentro y ortocentro de ABC:
Resolviendo este sistema de ecuaciones, resulta que las coordenadas del circuncentro O (X3 de
ETC) son
(a2 SA : b2 SB : c2 SC ) = (sen 2A : sen 2B : sen 2C).
La expresión en términos de los ángulos surge de que (a2 SA : b2 SB : c2 SC ) = (sen2 A cotag A :
sen2 B cotag B : sen2 C cotag C).
El ortocentro es el punto de concurrencia de las alturas, desde A, B y C:
Se verifica además que HG/GO = 2/1, pues como las componentes de las coordenadas de
H(SB SC : SC SA : SA SB ) suman S 2 y las de O(a2 SA : b2 SB : c2 SC ) suman 2S 2 , se tiene que por
(5.12):
S 2 (SB SC : SA SC : SA SB ) + 2S 2 (a2 SA : b2 SB : c2 SC ) =
2S 2 (a2 SA + SB SC : b2 SB + SC SA : c2 SC + SA SB ) = 2S 4 (1 : 1 : 1).
Similarmente, se obtienen las rectas de Euler de los triángulos BCI y CAI, las cuales son
respectivamente,
(b2 − c2 )x + a(c + a)y − a(b + a)z = 0, −b(c + b)x + (c2 − a2 )y + b(a + b)z = 0.
Estas tres rectas se cortan en el punto, que también esta en la recta de Euler de ABC:
( )
a(b + c − a) b(c + a − b) c(a + b − c)
: : .
b+c c+a a+b
Se trata del punto de Schiffler, X21 en ETC.
12.4 Dado un punto P (u : v : w), vamos a determinar los pies de las perpendiculares por P a
los lados del triángulo de referencia. Las rectas que pasan por P y por los puntos del infinito de
las perpendiculares a los lados BC, CA y CA, dados por (12.45), cortan a éstos en puntos cuyas
coordenadas satisfacen, respectivamente, a
0 y z
u w = −(a w + uSB )y + (a v + uSC )z = 0,
2 2
v
−a2 SC SB
x 0 z
u w = −(b u + vSC )z + (b w + vSA )x = 0,
2 2
v
SC −b2 SA
x y 0
u w = −(c v + wSA )x + (c u + wSB )y = 0.
2 2
v
SA SB −c2
De donde, se obtiene que los pies de las perpendiculares por P a los lados BC, CA y AB
(pedales de P ) son
AP (0 : a2 v + uSC : a2 w + uSB ),
El triángulo pedal del circuncentro O(a2 SA : b2 SB : c2 SC ), tiene por vértices los puntos
que son los puntos medios de los lados, por lo que forman el triángulo medial.
Cuatro ejemplos más de triángulos pedales son los del incentro y de los exincentros, que podemos
determinar utilizando este método (en las páginas 93 y 90 se da otro tratamiento):
Los puntos de tangencia de la circunferencia inscrita con los lados son los pies de las perpen-
diculares desde el incentro I(a : b : c), los cuales forman el triángulo de contacto interior, cuyos
vértices son, usando (12.48) y (2.4):
está en la ceviana del punto de Nagel, por el vértice A. Lo mismo ocurre cuando se consideran las
otras dos circunferencia exinscritas.
Este punto es el J A−π (§16.4.15) y el simétrico del incentro I(a : b : c) respecto al punto de
2( )
Feuberbach (pág. 126) F (−a + b + c)(b − c)2 : (a − b + c)(c − a)2 : (a + b − c)(a − b)2 .
—·—
12.6 Como ejemplo de relación entre triángulos cevianos y pedales, se tiene el siguiente resultado:
En un triángulo escaleno, uno de los puntos cuyo triángulo pedal es el triángulo ceviano
de un punto (es decir, el triángulo y su triángulo pedal son perspectivos) es el simétrico del
ortocentro respecto al circuncentro.
En efecto, para que los pedales de P (u : v : w) sean los pies de las cevianas de algún punto, es
suficiente — por (6.25) y (12.48)— que
(SA SB − SB SC + SC SA : SB SC − SC SA + SA SB : SC SA − SA SB + SB SC ).
En términos de los ángulos, se obtiene inmediatamente que las coordenadas baricénticas del
punto de De Longschamps son
( )
tag B + tag C − tag A : tag C + tag A − tag B : tag A + tag B − tag C .
Los pedales del punto de De Longschamps son (0 : SB : SC ), (SA : 0 : SC ) y (SA : SB : 0), que
son los pies de las cevianas del punto de coordenadas (SA : SB : SC ) (X69 de ETC), conjugado
isotómico (pág. 102) del ortocentro.
Para que el triángulo pedal AP BP CP de un punto P (x : y : z) sea el triángulo ceviano Qa Qb Qc
de otro punto Q ha de ocurrir que las rectas AAP , BBP y CCP concurran en Q; es decir
0 −SB x − a2 z SC x + a2 y
SA y + b 2 z 0 −b x − SC y = 0.
2
−c y − SA z c x + SB z
2 2
0
O sea,
S (SA SB − SB SC + SA SC )x(c2 y 2 − b2 z 2 ) = 0,
SA SB SC
abc xyz
(1)
Por tanto, X ha de estar en la cúbica de Darboux.
(1) Construction of a pivotal isocubic pK
(Special Isocubics in the Triangle Plane Jean-Pierre Ehrmann and Bernard Gibert November 16, 2005. pag. 9)
Let X be the pivot and X ∗ its isogonal conjugate. Let M be a variable point on the line XX ∗ . Draw N = M/X
perspector of the cevian triangle of M and the anticevian triangle of X. The circum-conic through M and X ∗
intersects the line XN at two points U and U ∗ which are isogonal conjugate points on the cubic and harmonic
conjugates with respect to X and N .
The Darboux cubic is the isogonal pK with pivot X = L = X20 .
—·—
y se cortan en
( )
a(abc − aSA + bSB + cSC ) : b(a(bc + SA ) − bSB + cSC ) : c(a(bc + SA ) + bSB − cSC ) ,
—·—
12.8 Como aplicación del uso de las ecuaciones de rectas paralelas y perpendiculares, vamos
a obtener algunos puntos asociados a un triángulo relacionados con paralelas a sus lados por los
puntos de tangencia de las circunferencias tritangentes:
y su punto de intersección es
( )
Ca a2 (ac + SB ) : −SC (ac + SB ) : S 2 + ac(ab + SC )
El punto A′′ es la intersección de las rectas Cb∗ A∗b y A∗c Bc∗ de ecuaciones respectivas:
12.9 Vamos a hacer un estudio similar al recién hecho, tomando las circunferencias exinscritas.
( )
Ab −(a + b − c)(a2 − 2ab − (b + c)2 ) : −2b2 (−a + b + c) : (a − b − c)(a2 − b2 − c2 ) ,
( )
Ac −(a − b + c)(a2 − 2ac − (b + c)2 ) : (a − b − c)(a2 − b2 − c2 ) : 2(a − b − c)c2 ,
( )
Bc (a − b + c)(a2 − b2 + c2 ) : −(a − b − c)(a2 − b2 + 2ac + 2bc + c2 ) : −2c2 (a − b + c) .
El punto A′ es la intersección de las rectas Cb Ab y Ac Bc de ecuaciones respectivas:
2b2 c(−a + b + c)x − (a − b − c)(a + b − c)(a + c)(a + b + c)y + 2ab2 (a + b − c)z = 0,
2bc2 (−a + b + c)x + 2ac2 (a − b + c)y − (a + b)(a − b − c)(a − b + c)(a + b + c)z = 0,
(
′ b
A ∗∗∗: :
b3 (c + a) + b2 (c2
+ 4ca + − b(c3 + c2 a + ca2 + a3 ) − (c2 − a2 )2
a2 )
)
c
,
c3 (a + b) + c2 (a2 + 4ab + b2 ) − c(a3 + a2 b + ab2 + b3 ) − (a2 − b2 )2
)
c
,
c3 (a + b) + c2 (a2 + 4ab + b2 ) − c(a3 + a2 b + ab2 + b3 ) − (a2 − b2 )2
(
′ a
C :
a3 (b
+ c) + a2 (b2
+ 4bc + − a(b3 + b2 c + bc2 + c3 ) − (b2 − c2 )2
c2 )
)
b
:∗∗∗ .
b3 (c + a) + b2 (c2 + 4ca + a2 ) − b(c3 + c2 a + ca2 + a3 ) − (c2 − a2 )2
En el triángulo ABC, la perpendicular por el vértice B al lado BC corta a la paralela al
lado BC por CIa (−ac + SB : bc + SA : 0) en el punto Ba∗ y la perpendicular por el vértice C
al lado BC corta a la paralela al lado BC por BIa (−ab + SC : 0 : bc + SA ) en el punto Ca∗ . El
triángulo A′′ B ′′ C ′′ , limitado por las rectas Ba∗ Ca∗ , Cb∗ A∗b y A∗c Bc∗ , es perspectivo con ABC, con
centro de perspectividad en el punto (no figura en ETC) de coordenadas
( )
a2
: ··· : ··· .
2a5 + a4 (b + c) − 2a3 (b − c)2 − 4a2 bc(b + c) − (b − c)2 (b + c)3 )
(
A∗b a3 + b3 + a2 (b − c) + 3b2 c − bc2 + c3 + a(b2 − c2 ) :
)
−2b2 (a + b − c) : −(a + b − c)(a2 − b2 − c2 ) ,
(
A∗c a3 + b3 − b2 c + 3bc2 + c3 + a2 (−b + c) + a(−b2 + c2 ) :
)
−(a − b + c)(a2 − b2 − c2 ) : −2c2 (a − b + c) ,
(
Bc∗ −(a − b − c)(a2 − b2 + c2 ) : a3 + b3 + b2 c + bc2 + c3 − a2 (b + c) − a(b2 − 3c2 ) :
)
2(a − b − c)c2 .
El punto A′′ es la intersección de las rectas Cb∗ A∗b y A∗c Bc∗ de ecuaciones respectivas:
(
′′ b2
A ∗∗∗: :
−2b5 − b4 (c + a) + 2b3 (c − a)2 + 4b2 ca(c + a) + (c − a)2 (c + a)3 )
)
c2
.
−2c5 − c4 (a + b) + 2c3 (a − b)2 + 4c2 ab(a + b) + (a − b)2 (a + b)3 )
Los puntos B ′′ = A∗c Bc∗ ∩ Ba∗ Ca∗ y C ′′ = Ba∗ Ca∗ ∩ Cb∗ A∗b se obtienen de forma similar, siendo:
(
′′ a2
B :
−2a5 − a4 (b + c) + 2a3 (b − c)2 + 4a2 bc(b + c) + (b − c)2 (b + c)3 )
)
c2
∗∗∗: : ,
−2c5 − c4 (a + b) + 2c3 (a − b)2 + 4c2 ab(a + b) + (a − b)2 (a + b)3 )
(
′′ a2
C :
−2a5 − a4 (b + c) + 2a3 (b − c)2 + 4a2 bc(b + c) + (b − c)2 (b + c)3 )
)
b2
:∗∗∗ .
−2b5 − b4 (c + a) + 2b3 (c − a)2 + 4b2 ca(c + a) + (c − a)2 (c + a)3 )
Con las mismas notaciones anteriores para los puntos Ba , Ba∗ , Ca , Ca∗ , Cb , Cb∗ , Ab , A∗b , Ac , A∗c ,
Bc , Bc∗ (conservando las mismas para los casos de la circunferencia inscrita o las exinscritas), se
tienen los dos siguientes resultados, en los que aparecen los conceptos de tripolo y conjugado
isotómico que se tratan en los párrafos § 17 y § 18:
Caso de la circunferencia inscrita:
Los puntos A′ = BC ∩ Ba Ca , B ′ = CA ∩ Cb Ab y C ′ = AB ∩ Ac Bc están alineados. El tripolo
de la recta que los contiene es el punto intermedio (X9 de ETC)
( )
Mt a(−a + b + c) : b(a − b + c) : c(a + b − c) .
Los puntos A′′ = BC ∩ Ba∗ Ca∗ , B ′ = CA ∩ Cb∗ A∗b y C ′ = Ab ∩ A∗c Bc∗ están alineados. El
tripolo de la recta que los contiene es el isotómico conjugado del punto intermedio (X85 de
ETC) ( )
1 1 1
: : .
a(−a + b + c) b(a − b + c) c(a + b − c)
Se tiene que
( ) ( )
A′ 0 : b(a − b + c) : c(−a − b + c) , A′′ 0 : (a + b − c)c : b(−a + b − c) ,
( ) ( )
B ′ a(a − b − c) : 0 : c(a + b − c)) , B ′′ c(−a − b + c) : 0 : a(−a + b + c) ,
( ) ( )
C ′ a(−a + b + c) : b(−a + b − c) : 0 . C ′′ b(a − b + c) : a(a − b − c) : 0 .
Además, estas rectas se cortan en el punto
( ( ) )
a(b − c)(−a + b + c)2 (b − c)2 − a(b + c) : · · · : · · · .
Los puntos A′′ = BC ∩ Ba∗ Ca∗ , B ′ = CA ∩ Cb∗ A∗b y C ′ = Ab ∩ A∗c Bc∗ están alineados. El
tripolo de la recta que los contiene es el punto (X312 , isotómico conjugado del X57 de ETC)
( )
bc(−a + b + c) : ac(a − b + c) : ab(a + b − c) .
( ) ( )
A′ 0 : −b(a + b − c) : c(a − b + c) , A′′ 0 : −c(a − b + c) : b(a + b − c) ,
( ) ( )
B ′ a(a + b − c) : 0 : −c(−a + b + c) , B ′′ c(−a + b + c) : 0 : −a(a + b − c) ,
( ) ( )
C ′ − a(a − b + c) : b(−a + b + c) : 0 . C ′′ − b(−a + b + c) : a(a − b + c) : 0 .
—·—
Los puntos del infinito de las perpendiculares a los lados BC, CA y AB son (12.45), respecti-
vamente
Utilizando fórmulas de (2.4), esta ecuación y, similarmente, las de las otras dos perpendiculares
son:
(b − c)sx + a(s − c)y − a(s − b)z = 0,
−b(s − c)x + (c − a)sy + b(s − a)z = 0,
c(s − b)x − c(s − a)y + (a − b)sz = 0.
Como el determinate formado por los coeficientes de estas ecuaciones se anula, el sistema tiene
solución; tomando las dos primeras, la solución es:
a(s − c) −a(s − b) −a(s − b) (b − c)s (b − c)s a(s − c)
: : =
(c − a)s b(s − a) b(s − a) −b(s − a) −b(s − a) (c − a)s
( )
= ab(s−c)(s−a)+a(c−a)s(s−b) : bc(s−a)(s−b)+b(c−b)s(s−c) : ca(s−b)(s−c)+c(c−c)s(s−a) .
La primera coordenada se puede poner de la forma
( )
a b(s − c)(s − a) − as(s − b) + cs(s − b) ,
Las otras dos componentes se obtienen permutando ésta cı́clicamente. En definitiva el punto
encontrado tiene de coordenadas
( )
a b c a b c a b c
Bv − + + : − + : + − .
s−a s−b s−c s−a s−b s−c s−a s−b s−c
Conocido como punto de Bevan (X40 de ETC). Este punto es el circuncentro del triángulo excentral
(pág. 121).
13 Giro de rectas
−
→
13.1 Dada una recta d ≡ px + qy + rz = 0, el vector v = (q − r, r − p, p − q) es paralelo a d
−
→
(pág. 28) y se dice que la recta d está orientada por el v.
El ángulo θ entre dos rectas d1 y d2 , que se toma entre 0 y π/2, viene dado por la fórmula
−
→
(11.37); esto es, si di ≡ pi x+qi y +ri z = 0 y v i = (λi , µi , νi ) = (qi −ri , ri −pi , pi −qi ), para i = 1, 2,
son, respectivamente, las ecuaciones de las rectas y las componentes de los vectores paralelos a ellas:
d2
SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2
cos θ = √ √ .
θ SA λ21 + SB µ21 + SC ν12 SA λ22 + SB µ22 + SC ν22
d1
1 1 1
Como se verifica que λ1 µ2 −µ1 λ2 = µ1 ν2 −ν1 µ2 = ν1 λ2 −λ1 ν2 = p1 q1 r1 = δ, se obtiene
p2 q2 r2
que
sen2 θ = 1 − cos2 θ =
(SA λ21 + SB µ21 + SC ν12 )(SA λ22 + SB µ22 + SC ν22 ) − (SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2 )2
= =
(SA λ21 + SB µ21 + SC ν12 )(SA λ22 + SB µ22 + SC ν22 )
SB SC (µ1 ν2 − ν1 µ2 )2 + SC SA (ν1 λ2 − λ1 ν2 )2 + SA SB (λ1 µ2 − µ1 λ2 )2
= =
(SA λ21 + SB µ21 + SC ν12 )(SA λ22 + SB µ22 + SC ν22 )
(SA SB + SB SC + SC SA )δ 2
= .
(SA λ21 + SB µ21 + SC ν12 )(SA λ22 + SB µ22 + SC ν22 )
Se sigue que
1 1 1
S p q r1
sen θ = 1 1
.
p2 q2 r2
√ √
SA λ21 + SB µ21 + SC ν12 SA λ22 + SB µ22 + SC ν22
Con lo que el ángulo entre dos rectas, d1 y d2 , (0 ≤ θ ≤ π/2) viene dado por
SA λ1 λ2 + SB µ1 µ2 + SC ν1 ν2
1 1 1
cotag θ = .
S p1 q1 r1
p2 q2 r2
−
→
Cuando se cambia el sentido, por ejemplo, del vector v 1 , el numerador y denominador de
esta expresión cambian de signo. Y si se intercambian los ı́ndices, 1 ↔ 2, sólo cambia el signo
del denominador. Se concluye que el ángulo orientado θ (0 ≤ θ ≤ π) del par ordenado (d1 , d2 ) de
rectas orientadas di ≡ pi x + qi y + ri z = 0 (i = 1, 2), no depende del sentido que se tome en la
−
→
dirección de cada recta, determinada por los vectores v i = (qi − ri , ri − pi , pi − qi ), y viene dado
por
Para rectas perpendiculares, el numerador de esta fórmula se anula por (12.42), es decir, θ = π/2.
De esta fórmula también surge que el ángulo orientado θ entre la recta px + qy + rz = 0 y la
que tiene como punto del infinito (x0 : y0 : z0 ), está dado por
SA (q − r)x0 + SB (r − p)y0 + SC (p − q)z0
Sθ = S cotag θ = . (13.54)
px0 + qy0 + rz0
θ (p − r)SB − (q − p)SC
cotag θa = ,
(q − r)S
θ
θ (q − p)SC − (r − q)SA
π− cotag θb =
(r − p)S
, (13.55)
(r − q)SA − (p − r)SB
cotag θc = .
(p − q)S
Como otro ejemplo del uso de estas fórmulas podemos establecer que:
El ortocentro de un triángulo es el incentro de su triángulo órtico.
Ha Hb : SA x + SB y − SC z = 0, Ha Hc : SA x − SB y + SC z = 0.
1 − cotag B cotag C
= = − cotag(B + C) = cotag A,
cotag B + cotag C
(SA − SC )SB − (−SB − SA )SC S 2 − SB SC
cotag θ2 = − cotag(π − θ2 ) = − = .
(−SB − SC )S (SB + SC )S
El mismo procedimiento nos lleva a que el ángulo que forma AC con Hb Hc es B. Se concluye
que el lado AB es antiparalelo (pág. 51) al lado correspondiente Ha Hb del triángulo órtico.
13.3 El siguiente resultado permite interpretar los giros mediante coordenadas baricéntricas.
Si θ es el ángulo orientado que forma la recta px+qy+rz = 0 con una recta d, las coordenadas
del punto del infinito de ésta son
( )
pa2 + q(Sθ − SC ) − r(Sθ + SB ) : qb2 + r(Sθ − SA ) − p(Sθ + SC ) : rc2 + p(Sθ − SB ) − q(Sθ + SA ) .
(13.56)
x+y+z =0
( ) ( ) ( )
pSθ − (q − r)SA x + qSθ − (r − p)SB y + rSθ − (p − q)SC z = 0,
cuya solución, en las variables x, y, z, dan las coordenadas enunciadas del punto del infinito de d.
En particular, cuando θ = π/2, se tiene la fórmula (12.43).
Podemos utilizar esto para determinar la recta que pasa por un punto y que forma con otra
dada un ángulo determinado, siendo este ángulo, por ejemplo, el que forman otras dos rectas dadas.
Concretando:
Como ejemplo, puede utilizarse este resultado para encontrar la ecuación de la bisectriz interior
desde el vértice A, solamente conociendo su propiedad de que biseca este ángulo. Por (13.56) y
(2.4), el punto del infinito de la bisectriz en A, la cual forma un ángulo θ = A/2 con el lado AB,
es
( )
−(SA/2 + SB ) : SA/2 − SA : c2 = (−SA − bc − SB : SA + bc − SA : c2 ) = (−b − c : b : c).
Haciendo lo mismo para las otras bisectrices, se obtiene que sus ecuaciones (dadas en (6.24)) y las
coordenadas del punto común (incentro), son
13.4 Vamos, ahora, a determinar la ecuación de la simediana desde el vértice A, que es la recta
simétrica de la mediana, respecto a la bisectriz, en el vértice A. Por consiguiente, si θ es el ángulo
que forma el lado AB (z = 0) con la mediana por A (y − z = 0), debe ser el mismo que forma
dicha simediana con el lado AC (y = 0); es decir, el ángulo orientado que el lado AC forma con la
simediana por A debe ser π − θ.
De la fórmula (13.53) y como en este caso p1 = 0, q1 = 0, r1 = 1, p2 = 0, q2 = 1, r2 = −1, se
tiene que Sθ = 2SA + SB , y por (13.56), el punto del infinito de la simediana por A es:
( )
Sπ−θ − SC : b2 : −(Sπ−θ + SA ) = (−Sθ − SC : b2 : Sθ − SA ) = (−2SA − a2 : b2 : c2 ).
Cálculos análogos permiten determinar los puntos del infinito de las otras dos simedianas son
(a2 : −2SB − b2 : c2 ) y (a2 : b2 : −2SC − c2 ), por lo que sus ecuaciones son:
−c2 y + b2 z = 0, c2 x − a2 z = 0, −b2 x + a2 z = 0. (13.57)
De forma similar se obtienen las antiparalelas por P (u : v : w), a los otros dos lados CA y AB.
Las ecuaciones de las antiparalelas por P son:
Eliminando t, se obtiene que el lugar geométrico de tales puntos medios tiene por ecuación
c2 y − b2 z = 0, que es la simediana (13.57) por A.
(1) Emile Michel Hyacinthe Lemoine (1840-1912) [12] expuso propiedades del punto conocido hoy como simediano
o punto de Lemoine, por primera vez en 1873 (Nouvelles Annales de Mathématiques), luego en el Congreso de la
Association scientifique pour l’avancement des Sciences, al que dio el nombre de ”centro de medianas antiparalelas”.
Posteriormente, en 1884, M. Neuberg en Memoire sur le tétraèdre (donde hace una generalización al tetraedro) le
llamó ”punto de Lemoine”. No obstante, este punto fue tratado en 1809 por LHuilier y en 1847 por Grebe, es por
lo que se conoce como ”punto de Grebe”, en Alemania.
En 1883, M. d’Ocagne introduce el término ”simediana” para la recta obtenida como reflexión de una mediana
de un triángulo respecto a la correspondiente bisectriz (es decir, la mediana antiparalela de Lemoine). Es Robert
Tucker quién introduce el nombre de ”simediano”, para el punto de concurrencia de las medianas.
(2) Rectas antiparalelas son dos rectas que cortan a otras dos cualesquiera, de modo que los ángulos que forma
una de aquellas con otra de éstas sean iguales a los que forman las otras dos.
Por lo que, bastarı́a con girar el lado CA un ángulo θ = B, alrededor del vértice C; el punto
medio de C y el de intersección de la recta girada con el lado AB, está en la simediana por A, con
lo que queda determinada.
—·—
Otra manera de construir la simediana, utilizando esta última propiedad de las simedianas, es
mediante una inversión relativa a una circunferencia. Con tal fin necesitamos el siguiente hecho:
Las rectas P Q y P ′ Q′ , donde P ′ y Q′ son los inversos de P y Q respecto a una circunferencia,
son antiparalelas.
bx − cy + bz = 0, cx + cy − bz = 0.
cx − bz = 0, bx − cy = 0,
(1) Si el triángulo ABC es rectángulo en B, partimos de la circunferencia A(b) con centro en A y que pasa por C.
(2) Una demostración sintética puede hacerse utilizando el Teorema de Ceva y que las simedianas son las rectas
por los vértices que dividen al lado opuesto en la razón de los cuadrados de las longitudes de los lados adyacentes
(pág. 51).
APc BPa CPb
El Teorema de Ceva, aplicado a las cevianas de P , establece que · · = 1.
Pc B Pa C Pb A
Como se tiene que APb = APc = Pb Va = Pc Va = d y ABC es semejante a Pb Va C y a Pc BVa , se tiene, por una
parte, que
BPa Pc B Pb A c−d d c−d
= · = = .
Pa C APc CPb d b−d b−d
b d b c−d c−d b2
Y, por otra, que = y = ; y multiplicándolas miembro a miembro se obtiene que = 2.
c b−d c d b−d c
Como las sumas de las coordenadas de estos vértices son a2 (u+v+w), b2 (u+v+w), c2 (u+v+w),
1 1 1
su baricentro es 2 AP + 2 BP + 2 CP , con coordenadas:
a b c
( 2 2 2 )
a (2b c u + c2 SC v + b2 SB w) : b2 (c2 SC u + 2c2 a2 v + a2 SA w) : c2 (b2 SB u + a2 SA v + 2a2 b2 w) .
Para que este baricentro coincida con P , sus coordenadas han de ser iguales a (λu, λv, λw).
Para que tenga solución el sistema homogéneo de ecuaciones, que resulta, el determinante formado
por los coeficientes de sus ecuaciones, ha de ser nulo; esto ocurre cuando
√
λ = 3a2 b2 c2 , λ = 2abc(3abc ± S −(a2 + b2 + c2 )),
por lo que existe una sola solución, correspondiente al valor real de λ = 3a2 b2 c2 : (a2 : b2 : c2 ),
simediano de ABC.
14 Conjugado isogonal
14.1 Las rectas simétricas de las medianas, respecto a las bisectrices, se cortan en un punto,
el simediano. Esto ocurre en general, es decir, las rectas simétricas de las cevianas de un punto
P (u : v : w), respecto a las bisectrices, se cortan en un punto P ∗ , denominado conjugado isogonal
de P . Es claro que el conjugado isogonal de P ∗ es P . Se dice que las rectas AP y AP ∗ son
conjugadas isogonales respecto a AB y AC.
Para calcular las coordenadas del conjugado isogonal de P (u : v : w), obtenemos, primero, la
expresión para el ángulo orientado θ que el lado AB (z = 0) forma con la ceviana AP (wy−vz = 0),
que viene dada, usando (13.53), por (ver figura en la página 50):
v+w v
Sθ = SA + SB . (14.59)
w w
Usando esta fórmula y (13.56), teniendo en cuenta que el ángulo que forma el lado AC con la
conjugada isogonal de AP (respecto a AB y AC) es π − θ, se llega a que el punto del infinito de
ésta es:
( )
Sπ−θ − SC : b2 : −(Sπ−θ + SA ) = (−Sθ − SC : b2 : Sθ − SA ) = (−c2 v − b2 w : b2 w : c2 v).
−c2 vy + b2 wz = 0, c2 ux − a2 wz = 0, −b2 ux + a2 vy = 0,
( 2 )
que se cortan en: ∗ 2 2 2 a b2 c2
P (a vw : b wu : c uv) = : : . (14.60)
u v w
La correspondencia que a un punto P le asocia son conjugado isogonal P ∗ (definida en los
puntos del plano, salvo en los lados del triángulo de referencia) se le conoce como transformación
isogonal, que FGM [4, (p.553)] llama inversión del Capitán Mathieu (1865).
—·—
Como ejemplos de pares de puntos conjugados isogonales, a parte de los mencionados baricentro
G(1 : 1 : 1) y( simediano K(a)2 : b2 : c2 ), tenemos el circuncentro O(a2 SA : b2 SB : c2 SC ) y el
1 1 1
ortocentro H : : . El incentro I(a : b : c) es conjugado isogonal de sı́ mismo, ası́
SA SB SC
como cada exincentro, Ia (−a : b : c), Ib (a : −b : c) e Ic (a : b : −c) .
14.2 Una manera de construir el conjugado isogonal de un punto, sólo trazando perpendiculares,
se basa en el siguiente resultado:
Las perpendiculares desde los vértices de ABC a los correspondientes lados del triángulo
pedal de un punto P , concurren en el conjugado isogonal de P .
En efecto, (ver figura en la página 50) sea A′ el pie de la perpendicular por A a BP CP , como los
triángulos rectángulos ACP P y AA′ BP tienen los ángulos AP \ \
CP y AB ′
P A iguales (por abarcar
el mismo arco de circunferencia en la que están inscritos), aquellos son semejantes; por tanto,
P\ACP = B\ ′ ′
P AA y, en consecuencia, las rectas AP y AA son conjugadas isogonales (respecto a
AB y AC).
Para hacer la demostración usando coordenadas, con P (u : v : w), debemos determinar el punto
del infinito de la recta BP CP , que es
( 2 )
c SC v − b2 SB w : −b2 (c2 v + SA w) : c2 (b2 w + SA v) .
Por lo que, el punto del infinito de la recta perpendicular a BP CP (dado por (12.43) ó (12.44)) es
(c2 v +b2 w : −b2 w : −c2 v) y la recta que lo proyecta desde A es c2 vy −b2 wz = 0, que es la conjugada
isogonal de AP (respecto a AB y AC). Similarmente, se llega a que las rectas perpendiculares
por B y C a los correspondientes lados del triángulo pedal son las conjugadas isogonales de BP
(respecto a BA y BC) y de CP (respecto a CA y CB).
—·—
Otro método, similar al anterior, para construir el conjugado isogonal de un punto P , se basa
en el siguiente resultado:
En efecto,
BP P A′ CP BP A
′
= ′
= ⇒ AP BP ∼ AA′ Ca ,
Ca A Ca A Ca A
y por tanto, las rectas AP y AA′ son isogonales.
14.3 Podemos utilizar, una vez más, el método de determinación de una recta que forma un
ángulo dado con otra, para encontrar las coordenadas de los puntos de Brocard (1) , que son también
conjugados isogonales:
Los puntos de Brocard Ω1 y Ω2 son dos puntos, en el interior del triángulo ABC, tales que para
cada uno de ellos, se verifica que los segmentos que lo unen con los vértices forman el mismo ángulo
con los lados, es decir:
\1 = BAΩ
ACΩ \1 = CBΩ
\1 , \2 = BCΩ
ABΩ \2 = CAΩ
\2 .
(Applet CabriJava)
Sea una recta qy + rz = 0 que pasa por A; el ángulo orientado ω1 que el lado AB forma con
ella es el ángulo θc que está dado por las fórmulas (13.55):
(q − r)SA − rSB
cotag ω1 = .
qS
Vamos a determinar la recta que pasa por B y tal que el lado BC (x = 0) forme con ella un
ángulo igual a ω1 . El punto del infinito de tal recta, usando (13.56), es (a2 : −(Sω1 +SC ) : Sω1 −SB )
por lo tiene por ecuación:
( )
(Sω1 − SB )x + a2 z = 0 o bien q(SA − SB − rc2 )x − a2 z = 0.
Análogamente, la recta por el vértice C tal que CA (y = 0) forme con ella un ángulo igual a
ω1 es la que tiene por ecuación
( )
b2 qx + rc2 − q(SA − SC ) y = 0.
(1) Henri Brocard (1845 - 1922)
π−ω 2
ω2
ω1
Ω2
ω2
π−ω 2 π−ω 2
Ω1 ω2 ω1
ω1
Tomando los valores de q = c2 y r = −a2 , que anulan al primer factor, obtenemos que las tres
rectas
c2 y − a2 z = 0, b2 x − a2 z = 0, b2 x − c2 y = 0,
concurren en el primer punto de Brocard
( )
2 2 2 2 2 2 1 1 1
Ω1 (a c : b a : c b ) = 2
: 2 : 2 .
b c a
Si ahora π − ω2 es el ángulo orientado que el lado AC forma con la rectas qy + rz, que pasa
por A, se obtiene, utilizando de nuevo las fórmulas (13.55), que:
qSC − (r − q)SA
cotag(π − ω2 ) = .
rS
La recta por B, tal que el ángulo que AB forma con ella es π − ω2 , tiene punto del infinito
(Sω2 − SB : −Sω2 − SA : c2 ) y ecuación
c2 rx + (r(−SA + SB ) + b2 q)z = 0.
Y, finalmente, el lado BC forma un ángulo de π − ω2 con la recta que pasa por C, tiene punto
del infinito (a2 : Sω2 − SC : −Sω2 − SB ) y ecuación
( )
r(−SA + SC ) + b2 q x + a2 ry = 0.
La condición para que estas tres rectas sean concurrentes (el determinante formado por sus
coeficientes se anule) es
(b2 q + a2 r)(b2 q 2 + a2 qr − b2 qr − c2 qr + c2 r2 ) = 0.
Para los valores de q = a2 y r = −b2 , que anulan al primer factor, se obtienen que las tres
rectas
a2 y − b2 z = 0, c2 x − b2 z = 0, c2 x − a2 y = 0,
Claramente, los puntos de Brocard Ω1 y Ω2 (en la página 117, se da una construcción de ellos)
son conjugados isogonales.
Nótese que los valores de q y r que anulan el segundo factor del determinante, formado por
los coeficientes de las tres rectas que forman ángulos iguales con los lados del triángulo, en ambos
casos, dan lugar a soluciones imaginarias para la recta qy + rz = 0; de hecho se obtiene las rectas
c2 y + (SA ± iS)z = 0.
Los ángulos ω1 y ω2 que las rectas por A obtenidas, c2 y − a2 z = 0 y a2 y − b2 z = 0, forman
con los lados AB y AC, respectivamente, coinciden y lo denotamos por ω y se le conoce por
ángulo de Brocard:
(c2 + a2 )SA + a2 SB c2 SA + a2 c2 1
cotag ω1 = 2
= 2
= (SA + SB + SC ).
c S c S S
a2 SC − (−b2 − a2 )SA a2 b2 + b2 SA 1
cotag ω2 = − cotag(π − ω2 ) = − = = (SA + SB + SC ).
−b S
2 2
b S S
a2 + b2 + c2
cotag ω = = cotag A + cotag B + cotag C (14.61)
2S
14.4 Los puntos de Brocard no son centros de un triángulo del tipo de la ETC, Enciclopedia
de Kimberling, (ellos forman un par bicéntrico, ver página 23); sin embargo, puntos contenidos en
la recta que ellos determinan, tales como su punto medio y punto del infinito sı́ son centros. Estos
son los puntos X39 y X512 y sus respectivas coordenadas son:
( 2 2 ) ( )
a (b + c2 ) : b2 (c2 + a2 ) : c2 (a2 + b2 ) = sen A sen(A + ω) : sen B sen(B + ω) : sen C sen(C + ω) ,
( 2 2 )
a (b − c2 ) : b2 (c2 − a2 ) : c2 (a2 − b2 ) .
Para obtener las expresiones de las coordenadas en función de los ángulos, se ha utilizado (2.4) y
que
−a2 + b2 + c2 a2 + b2 + c2
SA + Sω = + = b2 + c2 .
2 2
P. Yiu [20]. §8.4, da una generalización de los puntos de Brocard, que llama brocardianos.
Dado un punto P (u : v : w), en coordenadas baricéntricas relativas al triángulo ABC, los
brocardianos de P son los puntos
( ) ( )
1 1 1 1 1 1
P1 : : , P2 : : .
v w u w u v
Para el primer caso, que se muestra en la primera figura anterior, tenemos que:
X(0 : a − t : t), Y (t : 0 : b − t), Z(c − t : t : 0).
Y las paralelas a AB por X, a BC por Y y a CA por Z son, respectivamente:
−tx − ty + (a − t)z = 0, (b − t)x − ty − tz = 0, −tx + (c − t)y − tz = 0.
Estas rectas se cortan, dos a dos, en los puntos:
A′ (ct + a(−c + t) : −at : −ct), B ′ (−at : bt + a(−b + t) : −bt), C ′ (−ct : −bt : ct + b(−c + t)).
Y los triángulos A′ B ′ C ′ y ABC son perspectivos, con centro de perspectividad en I1 (ac : ab : bc),
primer brocardiano del incentro I.
(Applet CabriJava)
ca ab bc
I1 A 1 = b , I1 B1 = c , I1 C1 = a .
bc + ca + ab bc + ca + ab bc + ca + ab
Análogamente, si las paralelas por I2 (ab : bc : ca) a los lados AB, BC y AC cortan a BC, CA
y AB en los puntos A2 , B2 y C2 , respectivamente, también se tiene la igualdad de las siguientes
magnitudes:
ab bc ca
I2 A 2 = c , I 2 B2 = a , I2 C2 = b .
bc + ca + ab bc + ca + ab bc + ca + ab
Estas seis magnitudes son iguales y coinciden con la mitad de la longitud de los segmentos que
las paralelas a los lados por el punto de paralelas iguales (pág. 5), comprendidos entre los lados
del triángulo de referencia.
15.1 Un punto P queda determinado por los ángulos que debemos girar un lado desde los dos
vértices del triángulo de referencia, que determinan dicho lado, para que las rectas resultantes se
corten en él.
Sean φ y ψ los ángulos orientados que forman el lado BC con las rectas BP y CP , respectiva-
mente. Para determinar los puntos del infinito de BP y CP , usamos (13.56) sustituyendo θ por φ
ó ψ y poniendo p = 1, q = 0 y r = 0 (coeficientes de la ecuación x = 0 de la recta BC) y nos da,
respectivamente,
(Sφ − SB )x − a2 z = 0, (Sψ + SC )x + a2 y = 0,
P (−a2 : SC + Sψ : SB − Sφ ). (15.62)
15.2 Como ejemplo del empleo de la fórmula de Conway, vamos a obtener algunos puntos
notables del triángulo, que son los centros de perspectividad del triángulo de referencia y de ciertos
triángulos con sus vértices en las mediatrices de aquél. Estos centros son casos particulares de los
centros de perspectividad de Jacobi que aparecen en § 16.
Tomemos tres puntos X, Y y Z en las mediatrices de BC, CA y AC, respectivamente, del
triángulo de referencia, de tal forma que los ángulos orientados que forman CB con CX, AC con
AY y BA con BZ coincidan; es decir, los triángulos levantados sobre los lados, BCX, CAY y ABZ
sean semejantes. Sus coordenadas serán, por tanto, si θ es el ángulo común:
(2)
15.3 Algunos centros de perspectividad de Kiepert para valores particulares del ángulo θ:
(1) La fórmula de Conway aparece normalmente en la literatura bajo la forma
(−a2 : SC + Sψ : SB + Sφ ).
Esto es debido a que se toman el signo de los ángulos P \ BC y P\ CB positivo o negativo, según que P esté en el
mismo o distinto semiplano que A, respecto a la recta BC. Aquı́ estamos tomando, por ejemplo, φ como el ángulo
orientado (en el sentido contrario a las agujas del reloj) formado por el par ordenado de rectas (BC, BP ).
(2) Todos ellos contenidos en la hipérbola de Kiepert, hipérbola equilátera (contiene al ortocentro) circunscrita a
ABC, que contienen al baricentro y que es el lugar geométrico de todos los centros de perspectividad de Kiepert.
Su ecuación se obtiene eliminando λ y Sθ entre las ecuaciones
1 1 1
λx = , λy = , λz = ,
SA + Sθ SB + Sθ SC + Sθ
resultando:
(b2 − c2 )yz + (c2 − a2 )zx + (a2 − b2 )xy = 0.
( )
El centro de esta hipérbola (b2 − c2 )2 : (c2 − a2 )2 : (a2 − b2 )2 está en la circunferencia de los nueve puntos y es
el X115 en ETC. Sus ası́ntotas son las rectas de Simson–Wallace de los puntos en que el eje de Brocard, OK, corta
a la circunferencia circunscrita.
Los centros de perspectividad de Kiepert K(θ) y K(π/2 − θ) están alineados con el circuncentro, y los puntos de
contacto de las tangentes desde el circuncentro a la hipérbola de Kiepert son los puntos de Vecten (pág. 64).
Los conjugados isogonales de ciertos centros de perspectividad de Kiepert serán tratados en § 16.
El eje de perspectividad de ABC y XY Z, cuando θ varı́a, envuelve la parábola inscrita de Kiepert ,
(http://webpages.ull.es/users/amontes/pdf/ejtr2361.pdf, pág 5).
π
θ=± Los puntos X, Y y Z son los puntos del infinito de las perpendiculares
2
(12.45) a los correspondientes lados opuestos a los vértices A, B y C y, por tanto, el centro de
perspectividad de Kiepert es el ortocentro.
—·—
π
θ=± En este caso, los triángulos levantados externamente (resp. interna-
3
mente) sobre los lados son equiláteros, teniéndose que las coordenadas de los vértices X, Y y Z
son:
( S S ) ( S S ) ( S S )
− a2 : SC ± √ : SB ± √ , SC ± √ : −b2 : SA ± √ , SB ± √ : SA ± √ : −c2 .
3 3 3 3 3 3
(1)
Y el centro de perpectividad de ABC y los triángulos XY Z son los puntos de Fermat (X13 y
X14 de ETC), también conocido como puntos isogónicos:
( )
π 1 1 1
K(± ) √ :√ :√ .
3 3SA ± S 3SB ± S 3SC ± S
π
θ=± En este caso, levantamos externamente (resp. internamente) sobre los
6
lados triángulos equiláteros y los puntos X, Y y Z son sus centros de simetrı́a:
( √ √ ) ( √ √ ) ( √ √ )
− a2 : SC ± 3S : SB ± 3S , SC ± 3S : −b2 : SA ± 3S , SB ± 3S : SA ± 3S : −c2 ,
(2)
que forman un triángulo equilátero (Teorema de Napoleón), y los correspondientes centros de
(1) El primer punto de Fermat (que corresponde al caso en que los triángulos equiláteros son levantados exterior-
son ( √ √ )
SB + SC SC + 3S SB + 3S
X − √ , √ , √ ,
2 3S 2 3S 2 3S
π
θ=± Si se construyen externamente (resp. internamente) cuadrados sobre los
4
lados del triángulo de referencia, los puntos X, Y y Z son sus centros de simetrı́a:
( ) ( ) ( )
− a2 : SC ± S : SB ± S , SC ± S : −b2 : SA ± S , SB ± S : SA ± S : −c2 .
Los correspondientes centros de perspectividad de Kiepert son los puntos de Vecten (X485 y X486
de ETC):
( )
π 1 1 1
K(± ) : : .
4 SA ± S SB ± S SC ± S
Punto de Vecten
2)
/4)
3)
A′ = Ab Cb ∩ Bc Ac , B ′ = Bc A c ∩ C a Ba , C ′ = Ca Ba ∩ Ab Cb ,
forman un triángulo perspectivo con ABC con centro de perspectividad los considerados en este
caso (según que los cuadrados estén levantado internamente o externamente sobre los lados de
ABC).
Esto surge de que las coordenadas de Ab son, usando la fórmula de Conway (15.62) para ψ = π/2
y φ = π − π/4, Ab (−a2 : SC : SB + S). Para las de Ac , ponemos ψ = π/4 y φ = π/2, con lo que
Ac (−a2 : SC + S : SB ). Análogamente, se obtienen el resto de coordenadas:
La ecuación de la recta Ab Cb es
(Applet CabriJava)
Los vértices de XY Z, si Ω1 y Ω2 son los puntos de Brocard, son X = BΩ1 ∩CΩ2 = (a2 : c2 : b2 ),
Y = CΩ1 ∩ AΩ2 = (c2 : b2 : a2 ) y Z = AΩ1 ∩ BΩ2 = (b2 : a2 : c2 ).
Este punto puede haber recibido su nombre debido a que sus coordenadas completan la per-
mutación cı́clica de las coordenadas Ω1 (1/b2 : 1/c2 : 1/a2 ) y Ω2 (1/c2 : 1/a2 : 1/b2 ) de los puntos
de Brocard.
El triángulo XY Z se denomina primer√ triángulo de Brocard que es inversamente semejante a
ABC con razón de semejanza 2 cos ω/ 1 − 4 sen2 ω, y la circunferencia circunscrita al triángulo
XY Z recibe el nombre de circunferencia de Brocard (pág. 119) y ella tiene al segmento OK como
diámetro y pasa por los puntos de Brocard Ω1 y Ω2 .
θ=ω
El centro de perspectividad es (X83 de ETC):
( ) ( )
1 1 1 1 1 1
K(ω) = : : = : : .
SA + Sω SB + Sω SC + Sω b2 + c2 c2 + a2 a2 + b2
π
θ=ω± Como
2
π S2
Sω±π/2 = S cotag(ω ± ) = −S tag ω = − ,
2 Sω
el centro de perspectividad de Kiepert es
( )
π 1 1 1
K(ω ± ) = : : .
2 SA Sω − S 2 SB Sω − S 2 SC Sω − S 2
Este es el punto de Tarry, X98 de ETC, que también se puede expresar de las dos formas siguientes:
( )
1 1 1
: : ,
b4 + c4 − a2 (b2 + c2 ) c4 + a4 − b2 (c2 + a2 ) a4 + b4 − c2 (a2 + b2 )
( )
1 1 1
SB SC − SA2 : S S − S2 : S S − S2 .
C A B A B C
El punto de Tarry es el de intersección de las perpendiculares por los vértices de ABC a los
correspondientes lados del primer triángulo de Brocard:
Las ecuaciones de las rectas por A, B y C, perpendiculares a los correspondientes lados de este
triángulo son, respectivamente:
π S2
θ = −ω ± Como S−ω±π/2 = −Sω∓π/2 = Sω , el centro de perspectividad de Kiepert
2
(X262 de ETC) es el conjugado isogonal del punto medio del diámetro de Brocard, OK (pág. 119):
( )
π 1 1 1
K(−ω ± ) = : : .
2 SA Sω + S 2 SB Sω + S 2 SC Sω + S 2
( )
π sen A sen B sen C
K(−ω ± ) = : : .
2 cos(A − ω) cos(B − ω) cos(C − ω)
( )
π 1 1 1
K(−ω ± ) = : : .
2 a2 SA + b2 c2 b2 SB + c2 a2 c2 SC + a2 b2
—·—
Los últimos casos tratados están relacionados entre sı́ y pueden obtenerse unos de otros mediante
la construcción que vamos a exponer a continuación.
Como la circunferencia X(XB) pasa por B(0 : 1 : 0) y C(0 : 0 : 1), de su ecuación general
(19.71) queda de la forma
a2 yz + b2 zx + c2 xy − px(x + y + z) = 0.
√
Sθ = −2Sω ± 4Sω2 − 3S 2 Caso en que el triángulo de Kierpert XY Z es dege-
nerado (sus vértices están alineados).
Los vértices X, Y y Z estén alineados cuando el determinante formado por sus coordenadas es
nulo:
−SB − SC SC + Sθ SB + Sθ
SC + Sθ −SC − SA SA + Sθ = 0.
SB + Sθ SA Sθ −SA − SB
2Sθ3 + 4(SA + SB + SC )Sθ2 + 6(SA SB + SB SC + SC SA )Sθ = 0
Esa ecuación, a parte de la solución Sθ = 0, para la cual los puntos X, Y y Z están en la recta
del infinito y el centro de perspectividad de Kiepert es el ortocentro, tiene otras dos soluciones:
√
Sθ2 + 4Sω Sθ + 3S 2 = 0, Sθ = −2Sω ± 4Sω2 − 3S 2 .
√
Sθ = (−Sω ± Sω2 − 3S 2 )/3 Caso en que las rectas AX, BY y CZ (siendo XY Z
el triángulo de Kierpert) son paralelas.
Esto ocurre cuando el centro de perspectividad de Kiepert está en el infinito, es decir, cuando
la suma de sus coordenadas en cero:
3Sθ2 + 2(SA + SB + SC )Sθ + SA SB + SB SC + SC SA = 3Sθ2 + 2Sω Sθ + S 2 = 0.
1 √
Que tiene como soluciones (1)
: Sθ = (−Sω ± Sω2 − 3S 2 ).
3
16 Teorema de Jacobi
16.1 Tomemos tres ángulos θa , θb y θc y construimos los triángulos BCX, CAY y ABZ de tal
forma que los ángulos orientados que forma AC con AY y AZ con AB sea θa ; BA con BZ y
BX con BC sea θb ; y, finalmente, CB con CX y CY con CA sea θc (se tiene que AY y AZ son
simétricas respecto a la bisectriz en A; BZ y BX son simétricas respecto a la bisectriz en B; y
CX y CY son simétricas respecto a la bisectriz en C).
De acuerdo con la fórmula de Conway (15.62), las coordenadas de X, Y y Z son:
X(−a2 : SC + Sθc : SB + Sθb ), Y (SC + Sθc : −b2 : SA + Sθa ), Z(SB + Sθb : SA + Sθa : −c2 ).
Por lo que los triángulos ABC y XY Z son perspectivos ( Teorema de Jacobi(2) ). El punto de
intersección de las rectas AX, BY y CZ es
( ) ( )
1 1 1 sen A sen θa sen B sen θb sen C sen θc
J : : = : : . (16.64)
SA + Sθa SB + Sθb SC + Sθc sen(A + θa ) sen(B + θb ) sen(C + θc )
(1) El radicando que aparece en estas soluciones es siempre positivo, pues por (2.9):
2
Sω − 3S 2 = (SA + SB + SC )2 − 3(SA SB + SA SC + SB SC ) = a4 + b4 + c4 − (a2 b2 + b2 c2 + c2 a2 ) =
S2
= 4S 2 (−2 + cosec2 ω) − S 2 cosec2 ω = (−8 sen2 ω + 3) > 0, 0 < ω < π/6.
sen2 ω
(2) En [9, §6.45, pág.176] al triángulo XY Z se le denomina ”Kiepert-Morley-Hofstadter triangle”.
En [20, §3.5.5, pág.40] este resultado aparece con el nombre de Teorema de Nagel. Un caso particular es el
Teorema de Kariya (ver pág. 95)
Michael de Villiers.- Mathematics and Informatics Quarterly, 6(3), 169-171, Sept 1996, le denomina ”Fermat-
Torricelli Generalization”.
Kostas Vittas, en http://www.mathlinks.ro/ le denomina ”Isogonic-Jacobi Theorem”
éste relativo a los ángulo θa′ = π − A − θa , θb′ = π − B − θb y θc′ = π − C − θc ; aunque podemos tomar
los ángulos −A − θa , −B − θb y −C − θc , respectivamente, para determinar las rectas AY ′ , BX ′
y CZ ′ . El centro de perspectividad de Jacobi (relativo a los ángulos θa′ , θb′ y θc′ ) es, ahora, el
conjugado isogonal del centro de perspectividad de Jacobi J, relativo al triángulo XY Z:
( )
J ∗ a2 (SA + Sθa ) : b2 (SB + Sθb ) : c2 (SC + Sθc ) .
Se tiene, además, que los triángulos XY Z y X ′ Y ′ Z ′ son perspectivos (diremos que son triángu-
los de Jacobi iso-relacionados), con centro de perspectividad en el punto (en la recta JJ ∗ ):
(
Jˆ a2 (SA + Sθa ) − (SB + Sθb )(SC + Sθc ) : b2 (SB + Sθb ) − (SC + Sθc )(SA + Sθa ) :
) (16.66)
c (SC + Sθc ) − (SA + Sθa )(SB + Sθb ) .
2
SC x + a2 y = 0, SB x + a2 z = 0,
y las recta por A tal que el lado AC forma con ella un ángulo orientado θa y su simétrica, respecto
a la bisectriz por A, son, respectivamente
a2 b2 SB SC (b2 c2 − S 2 − SA
2
)
a2 b2 SB SC (b2 c2 − Sθa SA − SA
2
+ Sθa SA+θa + SA SA+θa ) = = 0.
S
De forma análoga, se obtiene la concurrencia de las rectas CZ, BY1 y AO.
Como θb = π/2 − B y θc = π/2 − C, los centros de perspectividad de Jacobi, para los dos casos,
son:
( ) ( )
1 1 1 1 1 1
: : , : : ,
SA + Sθa SB + S π −B SC + S π −C SA + Sπ−θa −A SB + S π −B SC + S π −C
2 2 2 2
Para obtener las coordenadas del centro de perspectividad de ABC y Oa Ob Oc , vamos a deter-
minar las de los vértices de éste último:
La ecuación (19.71) de la circunferencia que pasa por los puntos B, C, O es
b2 c 2
a2 yz + b2 zx + c2 xy − x(x + y + z) = 0.
2SA
16.4 Consideremos diversos casos particulares para los valores de los ángulos
θa = θ(A, B, C), θb = θ(B, C, A), θa = θ(C, A, B).
16.4.1
π
θa = −A
2
Este es el conjugado isogonal del ortocentro, K(±π/2); es decir, el circuncentro, pues al ser
Sθa = S 2 /SA :
( )
SA SB SC ( )
J π −A 2 2 : 2 2 : 2 2 = a2 SA : b2 SB : c2 SC .
2 S + SA S + SB S + SC
el punto de De Longschamps.
16.4.2
2π
θa = −A
3
Es el conjugado isogonal√del primer punto de Fermat, K(π/3).√
( )
2π 3 − cotag A 3S − SA
De cotag −A = √ se deduce que Sθa = S √ ; por lo que
3 3 cotag A + 1 3SA + S
( √ √ √ )
J 2π −A a2 (S + 3SA ) : b2 (S + 3SB ) : c2 (S + 3SC ) ,
3
que es primer punto isodinámico (X15 en ETC). Para otra interpretación de los puntos isodinámicos,
ver § 20.11.
( √ √ √ )
S + 3SA S + 3SB S + 3SC
J p2π √ :√ :√ ,
3 −A 3S − SA 3S − SB 3S − SC
es el producto baricéntrico del segundo punto de Napoleón, X18 , por el conjugado isotómico del
primer punto de Fermat, X13 .
( √ √
Jˆ2π − S 2 + a2 ( 3S + 3SA ) − 3SB SC − 3S(SB + SC ) :
3
√ √ √ √ )
−S 2 +b2 ( 3S +3SB )−3SA SC − 3S(SA +SC ) : −S 2 +c2 ( 3S +3SC )−3SA SB − 3S(SA +SB ) =
( 2 )
a SA − 2SB SC : b2 SB − 2SA SC : c2 SC − 2SA SB =
(cos A − 2 cos B cos C : cos B − 2 cos C cos A : cos C − 2 cos A cos B).
La expresión en función de los ángulos surge de la anterior con sólo utilizar S = bc sen A =
ca sen B = ab sen C; se trata del punto del infinito de la recta de Euler (X30 en ETC).
16.4.3
π
θa = −A
3
π
Es el conjugado isogonal del segundo punto de Fermat, K(−π/3). De cotag( − A) =
√ √ 3
cotag A + 3 SA + 3S
√ se deduce que Sθa = S √ ; por lo que
3 cotag A − 1 3SA − S
( √ √ √ )
J π −A a2 ( 3SA − S) : b2 ( 3SB − S) : c2 ( 3SC − S) ,
3
(√ √ √ )
3S A − S 3S B − S 3S C − S
J pπ √ :√ :√ ,
3 −A 3S + SA 3S + SB 3S + SC
es el producto baricéntrico del primer punto de Napoleón, X17 , por el conjugado isotómico del
segundo punto de Fermat, X14 .
16.4.4
π
θa = ± −A
6
Son los conjugados de los puntos de Napoleón, K(±π/6) y figuran en ETC como los X61 y
X62 : ( )
√ √ √
J± π −A a2 (SA ± 3S) : b2 (SB ± 3S) : c2 (SC ± 3S) .
6
( √ √ √ )
± 3S + SA ± 3S + SB ± 3S + SC
p
J π √ : √ : √ ,
± 6 −A ∓ 3SA + S ∓ 3SB + S ∓ 3SC + S
que son los productos baricéntricos de los puntos de Fermat por el conjugados isotómicos de los
puntos de Napoleón.
16.4.5
π
θa = ± −A
4
π ± cotag A + 1
Son los conjugados de los puntos de Vecten, K(±π/4). De cotag(± − A) = se
4 cotag A ∓ 1
(±SA + S)S
deduce que Sθa = ; por lo que
SA ∓ S
( )
J± π −A a2 (SA ± S) : b2 (SB ± S) : c2 (SC ± S) .
4
Estos puntos son, con el signo +, el punto de Kenmotu (X371 en ETC), y, con el signo menos,
el centro de semejanza externo de la circunferencia circunscrita y la segunda circunferencia de
Lemoine o circunferencia coseno (§ 20.13), X372 en ETC.
( )
p ±S + SA ±S + SB ±S + SC
J π : : ,
± 4 −A ∓SA + S ∓SB + S ∓SC + S
que son los productos baricéntricos de un punto de Vecten por el conjugado isotómico del otro
punto de Vecten.
(
Jˆπ ± a2 S − S 2 + a2 SA ∓ SSB ∓ SSC − SB SC : ±b2 S − S 2 + b2 SB ∓ SSC ∓ SSA − SC SA :
4
)
±c2 S − S 2 + c2 SC ∓ SSA ∓ SSB − SA SB = (SB SC : SC SA : SA SB ).
Es el ortocentro, X4 en ETC.
16.4.6
θa = ± arctag 2 − A
Son los conjugados isogonales de los centros de perspectividad de Kiepert K(± arctag 2). Como
( )
p ±S + 2SA ±S + 2SB ±S + 2SC
J∓ : : .
arctag 2−A
∓SA + 2S ∓SB + 2S ∓SC + 2S
( ( 2 ) 2 ( 2 ) )
2 2
Jarctag 2 − 11a + 6 b + c a + 5 b − c
ˆ 4 2
: ··· : ··· .
16.4.7
θa = ± arctag 3 − A
Son los conjugados isogonales de los centros de perspectividad de Kiepert K(± arctag 3). De
( )
p ±S + 3SA ±S + 3SB ±S + 3SC
J∓ : : .
arctag 3−A
∓SA + 3S ∓SB + 3S ∓SC + 3S
( )
Jˆarctag 3 5SB SC − 4a2 SA : 5SC SA − 4b2 SB : 5SA SB − 4c2 SC .
16.4.8
θa = −ω − A
Es el conjugado isogonal del centro de perspectividad de Kiepert K(ω),
( )
p SA + S cotag ω SB + S cotag ω SC + S cotag ω
J−ω−A : : =
S(S − SA cotag ω) S(S − SB cotag ω) S(S − SC cotag ω)
( ( 2 ) ( 2 ) ( 2 ) )
b + c2 c + a2 a + b2
: : .
b4 + c4 − a2 (b2 + c2 ) c4 + a4 − b2 (c2 + a2 ) a4 + b4 − c2 (a2 + b2 )
Es el producto baricéntrico del complemento del simediano (X141 ) y el punto de Tarry (X98 ).
( )
Jˆω a4 + b2 c2 : b4 + a2 c2 : c4 + a2 b2 ,
16.4.9
θa = ω − A
Es el conjugado isogonal del centro de perspectividad de Kiepert K(−ω),
cotag A cotag ω + 1 (SA Sω + S 2 )S
cotag(ω − A) = , se deduce que Sθa = ;
− cotag ω + cotag A −Sω + SA
por lo que ( )
Jω−A a4 : b4 : c4 .
Este es el punto X32 en ETC.
( )
p a2 b2 c2
Jω−A : : .
a4 − a2 (b2 + c2 ) − 2b2 c2 b4 − b2 (c2 + a2 ) − 2c2 a2 c4 − c2 (a2 + b2 ) − 2a2 b2
Es el conjugado isogonal del X183 ).
16.4.10
θa = A
Los puntos X, Y y Z son, respectivamente, los simétricos de A, B y C respecto a los lados
opuestos; por lo que AX, BY y CZ son las alturas y el centro de perspectividad de Jacobi es el
p ∗
ortocentro JA = H(1/SA : 1/SB : 1/SC ) = JA . JA = O = J−2A . El centro de perspectividad de
los triángulos de Jacobi iso-relacionados es
( )
JˆA a2 SA − 2SB SC : b2 SB − 2SA SC : c2 SC − 2SA SB ,
16.4.11
θa = −A
Los triángulos XY Z y ABC coinciden.
16.4.12
θa = −2A
J−2A es el conjugado isogonal de JA (§16.4.10), es decir, el circuncentro O.
Los pies de las perpendiculares por X, Y y Z a los lados BC, CA y AB, forman un triángulo
perspectivo con ABC, con centro de perspectividad en el punto de Prasolov (1) (X68 en ETC):
( )
p SA SB SC
J−2A 2 : S2 − S2 : S2 − S2 =
S 2 − SA B C
( )
cotag A cotag B cotag C
: : = (tag 2A : tag 2B : tag 2C).
S − S cotag2 A S − S cotag2 B S − S cotag2 C
16.4.13
θa = A/2
Los puntos X, Y y Z son las reflexiones del incentro I sobre los lados BC, CA y AB, respec-
tivamente, y el centro de perspectividad de los triángulos ABC y XY Z es el punto punto de Gray
(X79 de ETC), que como SA/2 = SA + bc y S = bc sen A, tiene las siguientes expresiones para sus
coordenadas:
( ) ( )
1 1 1 1 1 1
JA/2 : : = : : =
SA + SA/2 SB + SB/2 SC + SC/2 2SA + bc 2SB + ca 2SC + ab
( )
1 1 1
: : =
b2 + c2 − a2 + bc c2 + a2 − b2 + ca a2 + b2 − c2 + ab
( )
sen A sen B sen C
: : .
1 + 2 cos A 1 + 2 cos B 1 + 2 cos C
El que los triángulos ABC y XY Z sean perspectivos, también surge del Teorema de Kosnita
(pág. 74), al ser A, B y C los centros de las circunferencias circunscritas a los triángulos Y ZI,
ZXI y XY I (I el incentro de ABC y circuncentro de XY Z).
∗
( )
JA/2 = J 3A a2 (−a2 + b2 + c2 + bc) : b2 (a2 − b2 + c2 + ca) : c2 (a2 + b2 − c2 + ab) =
− 2
N de la circunferencia de los nueve puntos (pág. 114), las rectas AA′ , BB ′ y CC ′ son concurrentes. En efecto, Sólo
basta con tener presente que el simétrico de Ha (0 : SC : SB ) respecto a N (S 2 + SB SC : S 2 + SC SA : S 2 + SA SB )
es ( )
′
( 2 2 ) SB SC
A a (S + SBSC) : SB (S − SC ) : SC(S − S B) = ∗ ∗ ∗ : 2
2 2 2 2
: 2 .
S − SB 2 S − SC
2
Este es el X35 de ETC, descrito en ella como el centro de perspectividad de ABC y del triángulo
cuyos vértices son los inversos de los exincentros respecto a la circunferencia circunscrita a ABC (1) .
El centro de perspectividad de los triángulos de Jacobi iso-relacionados, para este caso, es
( )
JˆA/2 a2 SA − 2SB SC − a(bSB + cSC ) : b2 SB − 2SC SA − b(cSC + aSA ) : · · · .
Los pies de las perpendiculares por X, Y y Z a los lados BC, CA y AB, respectivamente, son
los puntos de tangencia de la circunferencia inscrita con los lados, que son los pies de las cevianas
del punto de Gergonne (pág. 34):
( ) ( ) ( )
p 1 1 1 1 1 1 1 1 1
JA/2 : : = : : = : : .
SA/2 SB/2 SC/2 2s(s − a) 2s(s − b) 2s(s − c) s−a s−b s−c
16.4.14
θa = −A/2
∗
Los puntos X, Y y Z coinciden, claro está, con el incentro y, por tanto, J−A/2 = I. J−A/2 =
p
J−A/2 = I. J−A/2 es el punto de Gergonne.
16.4.15
A−π
θa = 2
El triángulo de Jacobi es el que tiene por vértices los simétricos de los excentros respecto a los
correspondientes (lados. )
A−π A
Ya que cotag = − tag , la primera componente de J A−π es
2 2 2
1 1 1
= = .
SA − SSA/2
2 −S +b c
2 2
SA − SAA +bc
2
2SA − bc
Ası́, ( )
1 1 1
J A−π : : .
2 2SA − bc 2SB − ca 2SC − ab
Se trata (pág. 35) del punto simétrico del incentro respecto al punto de Feuberbach (X80 en
ETC).
16.4.16
3A
θa = −
2
El centro de perspectividad de Jacobi es el conjugado de JA/2 (§16.4.13), esto es
( )
J−3A/2 a2 (bc + 2SA ) : b2 (ca + 2SB ) : c2 (ab + 2SC ) ,
es decir,
(bc − 2SA )(SA + bc)
S = .
− 3A
2 bc + 2SA
Por otra parte, haciendo uso también de esta última expresión, se obtiene que:
( )
p bc + 2SA ca + 2SB ab + 2SC
J−3A/2 2 : c2 a2 − caS − 2S 2 : a2 b2 − abS − 2S 2 ,
b2 c2 − bcSA − 2SA B B C C
Que no figura actualmente en ETC, pero es el producto baricéntrico del X35 por el conjugado
isotómico del X2323 (a2 (a − b − c)(a2 − b2 − c2 + bc) : · · · : · · ·).
En términos de los ángulos, usando SA = bc cos A = ca cos B = ab cos C, se tiene
( )
p a(1 + 2 cos A) b(1 + 2 cos B) c(1 + 2 cos C)
Jπ−3A/2 : : =
1 − cosA − 2 cos2 A 1 − cosB − 2 cos2 B 1 − cosC − 2 cos2 C
( )
sen A + sen 2A sen B + sen 2B sen C + sen 2C
: : .
cosA + cos 2A cosB + cos 2B cosC + cos 2C
16.4.17
θa = −A/4
Los puntos X, Y y Z son los incentros de los triángulos IBC, AIC y ABI, respectivamente.
Los cuadrados de las longitudes de los segmentos IA, IB e IC son, respectivamente:
(b + c)2 SA + b2 SB + c2 SC bc(−a + b + c)
2
= ,
(a + b + c) a+b+c
a2 SA + (c + a)2 SB + c2 SC ca(a − b + c)
2
= ,
(a + b + c) a+b+c
a2 SA + b2 SB + (a + b)2 SC ab(a + b − c)
2
= .
(a + b + c) a+b+c
Las coordenadas de los incentros (1) de los triángulos IBC, AIC y ABI son, respectivamente,
en coordenadas baricéntricas absolutas:
(1) Las coordenadas de los incentros de los triángulos IBC, AIC y ABI, respecto de ellos mismos son, respecti-
√ √
a ab(a + b − c) ac(a − b + c)
X= (a : b : c) + (0 : 1 : 0) + (0 : 0 : 1),
a
√ + b + c a + b + c √ a + b + c
ab(a + b − c) b bc(−a + b + c)
Y = (1 : 0 : 0) + (a : b : c) + (0 : 0 : 1),
√ a+b+c a+b+c
√ a+b+c
ac(a − b + c) bc(−a + b + c) c
Z= (1 : 0 : 0) + (0 : 1 : 0) + (a : b : c).
a+b+c a+b+c a+b+c
( √ √ )
a2 ab ab(a + b − c) ac ac(a − b + c)
X : + : + ,
a+b+c a+b+c a+b+c a+b+c a+b+c
( √ √ )
ab ab(a + b − c) b2 bc bc(−a + b + c)
Y + : : + ,
a+b+c a+b+c a+b+c a+b+c a+b+c
( √ √ )
ac ac(a − b + c) bc bc(−a + b + c) c2
Z + : + : .
a+b+c a+b+c a+b+c a+b+c a+b+c
Estos puntos también se pueden expresar mediante las coordenadas (multiplicando por a+b+c)
siguientes:
( √ √ )
X a2 : ab + ab(a + b − c)(a + b + c) : ac + ac(a − b + c)(a + b + c) ,
( √ √ )
Y ab + ab(a + b − c)(a + b + c) : b2 : bc + bc(−a + b + c)(a + b + c) ,
( √ √ )
Z ac + ac(a − b + c)(a + b + c) : bc + bc(−a + b + c)(a + b + c) : c2 .
O bien,
( )
1 1
X ∗∗∗: √ : √ ,
( ca +
ca(a − b + c)(a + b + c) ab + ab(a + b − c)(a + b + c) )
1 1
Y √ :∗∗∗: √ ,
( bc + bc(−a + b + c)(a + b + c) ab + ab(a + b − c)(a + b + c) )
1 1
Z √ : √ :∗∗∗ .
bc + bc(−a + b + c)(a + b + c) ca + ca(a − b + c)(a + b + c)
vamente: ( )
√ √
a(a + b + c) : ab(a + b − c)(a + b + c) :
ac(a − b + c)(a + b + c) ,
(√ √ )
ab(a + b − c)(a + b + c) : b(a + b + c) : bc(−a + b + c)(a + b + c) ,
(√ √ )
ac(a − b + c)(a + b + c) : bc(−a + b + c)(a + b + c) : c(a + b + c) .
Los puntos que tienen estas coordenadas respecto a ABC, forman un triángulo perspectivo con aquél, con centro
de perspectividad en el punto X174 de ETC (”Yff center of congruence”)
( ) ( ) ( )
1 1 A B C
√ : ··· : ··· = √ : · · · : · · · = sen : sen : sen ,
bc(−a + b + c)(a + b + c) 2bc(SA + bc) 2 2 2
O bien,
(√ √ √ )
a b c
: : .
−a + b + c a−b+c a+b−c
Estas coordenadas las podemos expresar en función de los ángulos del triángulo ABC, usando
que (−a + b + c)(a + b + c) = −a2 + b2 + c2 + 2bc = 2SA + 2bc = 2SA/2 , S = bc sen A y
sen A = 2 sen(A/2) cos(A/2). Ası́, la primera componente queda
A A
1 1 cos 2 sen
√ = = 2 2 ,
S 2S 2 A S S A
+ cotag + S(1 + 2 cos )
sen A sen A 2 sen A sen(A/2) 2
Los pies de las perpendiculares por X, Y y Z a los lados BC, CA y AB (es decir, los puntos
de contacto con estos lados de las circunferencias inscritas a los triángulos IBC, AIC y ABI) son,
respectivamente:
( )
1 1
AX 0: √ : √ ,
( ac +
ac(a − b + c)(a + b + c) + S B ab + ab(a + b − c)(a + b + c) + S C )
1 1
BY √ :0: √ ,
( bc + bc(−a + b + c)(a + b + c) + S A ba + ba(a + b − c)(a + b + c) + S C )
1 1
CZ √ : √ :0 .
cb + cb(−a + b + c)(a + b + c) + SA ca + ca(a − b + c)(a + b + c) + SB
Por lo que son los pies de las cevianas del segundo punto de Malfatti-Rabinowitz (X1143 de ETC):
( ) ( )
1 1
√ : ··· : ··· = √ : ··· : ··· .
bc + bc(−a + b + c)(a + b + c) + SA SA/2 + 2bcSA/2
16.4.18
θa = A/4
Los puntos X, Y y Z son los simétricos de los incentros de los triángulos IBC, AIC y ABI,
respecto a los correspondientes lados de ABC y sus coordenadas son, respectivamente:
( √ √ )
X −a2 : ab + 2ab(SC + ab) + 2SC : ac + 2ac(SB + ac) + 2SB ,
( √ √ )
Y ba + 2ba(SC + ba) + 2SC : −b2 : bc + 2bc(SA + bc) + 2SA ,
( √ √ )
Z ca + 2ca(SB + ca) + 2SB : cb + 2cb(SA + cb) + 2SA : −c2 .
16.4.19
π−A
θa =
4
Los puntos X, Y y Z son, respectivamente, los incentros de los triángulos Ia CB, CIb A y BAIc .
Los cuadrados de las longitudes de los segmentos Ia B e Ia C son, respectivamente:
a2 SA + (a − c)2 SB + c2 SC ac(a + b − c)
= ,
(a − b − c)2 −a + b + c
a2 SA + b2 SB + (a − b)2 SC ab(a − b + c)
= .
(a − b − c) 2 −a + b + c
a2 SA + b2 SB + (a − b)2 SC ab(−a + b + c)
= ,
(a − b + c) 2 a−b+c
(b − c)2 SA + b2 SB + c2 SC bc(a + b − c)
= .
(a − b + c)2 a−b+c
(b − c)2 SA + b2 SB + c2 SC bc(a − b + c)
= ,
(a + b − c) 2 a+b−c
a2 SA + (a − c)2 SB + c2 SC ac(−a + b + c)
= .
(a + b − c)2 a+b−c
( √ √ )
Z ac + ac(−a + b + c)(a + b − c) : bc + bc(a − b + c)(a + b − c) : −c2 .
Deducimos de todo esto que XY Z es perspectivo con ABC y el centro de perspectividad es el
segundo punto de De Villiers (X1128 de ETC), de coordenadas
( )
1
J(A−π)/4 √ : ··· : ··· ,
bc + bc(a + b − c)(a − b + c)
( )
1 1 1
√ : √ : √ ,
bc + 2bc(bc − SA ) ca + 2ca(ca − SB ) ba + 2ba(ba − SC )
( )
sen A sen B sen C
: : .
1 + 2 sen(A/2) 1 + 2 sen(B/2) 1 + 2 sen(C/2)
Esta última expresión (1) , en función de los ángulos, se deduce inmediatamente de la anterior sin
más que usar las relaciones (para el caso de la primera componente) S = bc sen A y SA = S cotag A.
Los pies de las perpendiculares por X, Y y Z a los lados BC, CA y AB son, respectivamente:
( √ √ )
0 : ab + ab(−a + b + c)(a − b + c) − SC : ac + ac(−a + b + c)(a + b − c) − SB ,
( √ √ )
ba + ba(a − b + c)(−a + b + c) − SC : 0 : bc + bc(a − b + c)(a + b − c) − SA ,
( √ √ )
ca + ca(a + b − c)(−a + b + c) − SB : cb + cb(a + b − c)(a − b + c) − SA : 0 .
Señalar, finalmente, en este caso, que los puntos A′ = BZ∩CY , B ′ = CX∩AZ y C ′ = AY ∩BX,
forman un triángulo perspectivo con ABC y el primer punto de Stevanovic (X1130 de ETC) es su
centro de perspectividad:
( ( √ ) )
a2 bc + bc(a − b + c)(a + b − c) : · · · : · · · .
Ya que ( √ √
A′ (ab + ab(−a + b + c)(a − b + c))(ac + ac(−a + b + c)(a + b − c)) :
√ √ )
−b (ac + ac(−a + b + c)(a + b − c)) : −c (ab + ab(−a + b + c)(a − b + c)) ,
2 2
( √
B ′ −a2 (bc + bc(a − b + c)(a + b − c)) :
√ √
(bc + bc(a − b + c)(a + b − c))(ab + ab(−a + b + c)(a − b + c)) :
√ )
−c (ab + ab(−a + b + c)(a − b + c)) ,
2
( √ √
C ′ −a2 (bc + bc(a − b + c)(a + b − c)) : −b2 (ac + ac(−a + b + c)(a + b − c)) :
√ √ )
(bc + bc(a − b + c)(a + b − c))(ac + ac(−a + b + c)(a + b − c)) .
16.4.20
A−π
θa =
4
Los puntos X, Y y Z son los simétricos de los incentros de los triángulos Ia CB, CIb A y BAIc
sus coordenadas son, respectivamente:
( √ √ )
X a2 : ab + ab(−a + b + c)(a − b + c) − 2SC : ac + ac(−a + b + c)(a + b − c) − 2SB ,
( √ √ )
Y ba + ba(a − b + c)(−a + b + c) − 2SC : b : bc + bc(a − b + c)(a + b − c) − 2SA ,
2
( √ √ )
Z ca + ca(a + b − c)(−a + b + c) − 2SB : cb + cb(a + b − c)(a − b + c) − 2SA : c2 .
—·—
16.4.21
rc
θa = arctag
s − b + rc
Sea el trapecio formado por el lado BC y cuyo lado opuesto es el diámetro de la circunferencia
exinscrita Ia (ra ), relativa al vértice A, paralelo a BC; sea X el punto de intersección de las
diagonales de este trapecio. Similarmente, se definen cı́clicamente los puntos Y y Z. Para calcular
los valores de los ángulos es este caso, observemos previamente lo siguiente:
Los puntos de contacto de la circunferencia exinscrita Ia (ra ) al triángulo ABC, relativa al
vértice A, con los lados BC, CA y AB los denotamos por AIa , BIa y CIa , respectivamente. En-
tonces, se tienen las siguientes relaciones entre magnitudes de los segmentos:
Sumando miembro a miembro, se tiene que ABIa + ACIa = 2s y, como ABIa = ACIa , resulta que
ABIa = ACIa = s, BAIa = BCIa = s − c y CAIa = CBIa = s − b. (1)
(1) Esto nos da otro método para determinar las coordenadas baricéntricas de los puntos de contacto (12.52) de
Entonces, la cotangente del ángulo orientado θb que forma BX con BC es (usando también
(2.5)):
s − c + ra (a + b − c)(b + c − a) + 2S
cotag θb = = ,
ra 2S
y la cotangente del ángulo orientado que forma CB con CX es
s − a + rb (b + c − a)(c + a − b) + 2S
cotag θc = = .
rb 2S
Similarmente, obtenemos que la cotangente del ángulo orientado que forma AC con AY es
s − b + rc (c + a − b)(a + b − c) + 2S
cotag θa = = .
rc 2S
Obsérvese que las cotangentes de los ángulos orientados que CY forma con CA, AZ con AB y
BA con BZ son, respectivamente,
s − a + rb s − b + rc s − c + ra
, , ,
rb rc ra
que corresponden, por tanto, a las cotangentes de los ángulos θc , θa y θb , respectivamente.
Sustituyendo estos valores particulares de Sθa , Sθb y Sθc en (16.64), se obtiene el punto X1123
de ETC, llamado punto de Paasche (S = bc sen A = ca sen B = ab sen C):
( ) ( )
1 1 1 sen A sen B sen C
: : = : : .
bc + S ca + S ab + S 1 + sen A 1 + sen B 1 + sen C
Los pies de las perpendiculares por X, Y y Z a los lados BC, CA y AB, respectivamente, son
AX (0 : S −SC +ab : S −SB +ac), BY (S −SC +ab : 0 : S −SA +bc), CZ (S −SB +ac : S −SA +bc : 0).
las circunferencias exinscritas con los lados, ya que tenemos las siguientes razones:
BAIa s−c CBIa s−b ACIa s
= , =− , =− .
AIa C s−b BIa A s CIa B s−c
Por tanto, se tiene, en coordenadas baricéntricas homogéneas:
AIa (0 : s − b : s − c), BIa (s − b : 0 : −s), CIa (s − c : −s : 0).
Estos puntos son los pies de las cevianas del punto (no figura actualmente en ETC):
( ) ( )
1 1 1 1
: : = : ··· : ··· .
S − SA + bc S − SB + ca S − SC + ab (a + b − c)(a − b + c) + 2S
Esta última expresión, surge directamente sustituyendo en Jp los valores obtenidos en este caso.
—·—
16.4.22
rb
θa = arctag
s − c + rb
Si se toman los otros puntos diagonales X ′ , Y ′ y Z ′ (distintos de X, Y y Z y de los del infinito)
de cada uno de los cuadrivértices determinados por los vértices de los trapecios antes considerados,
ocurre que las rectas AX ′ , BY ′ y CZ ′ concurren en el punto de coordenadas
( ) ( )
1 1 1 sen A sen B sen C
: : = : : .
bc − S ca − S ab − S 1 − sen A 1 − sen B 1 − sen C
Es el punto X1336 de ETC, definido en ella como el conjugado isogonal del conjugado armónico del
conjugado isogonal del X1123 respecto al incentro y simediano (para los conceptos de conjugado
isogonal y armónico, ver los párrafos § 14 y § 17, respectivamente).
Para determinar las coordenadas de estos X ′ , Y ′ y Z ′ , los correspondientes valores relativos a
los ángulos θa , θb y θc son
s − c − rb (a − b + c)(a + b − c) − 2S
Sθa = S cotag θa = S = ,
rb 2
s − c − ra (−a + b + c)(a + b − c) − 2S
Sθb = S cotag θb = S = ,
ra 2
s − b − ra (−a + b + c)(a − b + c) − 2S
Sθc = S cotag θc = S = .
ra 2
Con lo que
( ) ( ) ( )
X ′ −a2 : ab − S : ac − S , Y ′ ab − S : −b2 : bc − S , Z ′ ac − S : bc − S : −c2 .
Los pies de las perpendiculares por X ′ , Y ′ y Z ′ a los lados BC, CA y AB, respectivamente, son
AX (0 : S +SC −ab : S +SB −ac), BY (S +SC −ab : 0 : S +SA −bc), CY (S +SB −ac : S +SA −bc : 0).
Estos puntos son los pies de las cevianas del punto (no figura actualmente en ETC):
( ) ( )
1 1 1 1
: : = : ··· : ··· .
S + SA − bc S + SB − ca S + SC − ab (a + b − c)(a − b + c) − 2S
—·—
16.4.23
s−a+r
θa = arctag
r
Si en vez de considerar los diámetros paralelos a los lados de ABC de las circunferencias
exinscritas, se toman diámetros paralelos en la circunferencia inscrita y se consideran análogos
cuadrivértices, las correspondientes ternas de puntos diagonales, forman triángulos perspectivos
con ABC con los mismos centros de perspectividad de antes, es decir, X1123 y X1336 :
Para calcular los valores de los ángulos θa , θb y θc en este caso, observemos que si los puntos
de contacto de la circunferencia inscrita I(r) al triángulo ABC con los lados BC, CA y AB son
AI , BI y CI , respectivamente, entonces, se tienen las siguientes relaciones entre magnitudes de los
segmentos:
Entonces, para la cotangente del ángulo orientado θb que forma BC con BX se tiene (usando
también (2.6)):
s−b+r
Sθb = S cotag θb = S = 2s(s − b) + S,
r
y para la cotangente del ángulo orientado que forma CX con CB,
s−c+r
Sθc = S cotag θc = S = 2s(s − c) + S.
r
Similarmente, obtenemos que para la cotangente del ángulo orientado que forma AY con AC,
s−a+r
Sθa = S cotag θa = S = 2s(s − a) + S.
r
Obsérvese que las cotangentes de los ángulos orientados que CA forma con CY , AB con AZ y
BA con BZ son, respectivamente,
s−c+r s−a+r s−b+r
, , ,
r r r
que corresponden, por tanto, a las cotangentes de los ángulos θc , θa y θb , respectivamente.
Sustituyendo estos valores particulares de Sθa , Sθb y Sθc en (16.64) se obtiene el punto de
Paasche (atendiéndose a la orientación de los ángulos):
( ) ( )
1 1 1 1 1 1
: : = : : .
SA − Sθa SB − Sθb SC − Sθc bc + S ca + S ab + S
Los pies de las perpendiculares por X, Y y Z a los lados BC, CA y AB, respectivamente, son
Estos puntos son los pies de las cevianas del punto de Yiu-Paashe (X1659 de ETC)
( ) ( )
1 1 1 1
: : = : ··· : ··· .
S + SA + bc S + SB + ca S + SC + ab (a + b + c)(b + c − a) + 2S
( )
sen A sen B sen C
: : .
1 + sen A + cos A 1 + sen B + cos B 1 + sen C + cos C
(1) De estas relaciones deducimos las coordenadas baricéntricas de los puntos de contacto (12.50) de la circunfe-
rencia inscrita con los lados, ya que tenemos las siguientes razones,
BAI s−b CBI s−c ACI s−a
= , = , = ,
AI C s−c BI A s−a CI B s−b
son, en coordenadas baricéntricas homogéneas,
AI (0 : s − c : s − c), BI (s − c : 0 : s − a), CI (s − b : s − a : 0).
—·—
Si se toman los otros puntos diagonales X , Y ′ y Z ′ (distintos de X, Y y Z y de los del infinito)
′
de cada uno de los cuadrivértices determinados por los trapecios antes considerados, se tiene que
los correspondientes valores relativos a los ángulos θa , θb y θc son
s−a−r
Sθa = S cotag θa = S = 2s(s − a) − S,
r
s−b−r
Sθb = S cotag θb = S = 2s(s − b) − S,
r
s−c−r
Sθc = S cotag θc = S = 2s(s − c) − S.
r
( ) ( ) ( )
Con lo que X ′ a2 : ab − S : ac − S , Y ′ ab − S : b2 : bc − S , Z ′ ac − S : bc − S : c2 y el centro
de perspectividad de Jacobi es el X1336 .
Los pies de las perpendiculares por X ′ , Y ′ y Z ′ a los lados BC, CA y AB, respectivamente, son
AX (0 : ab−S +SC : ac−S +SB ), BY (ba−S +SC : 0 : bc−S +SA ), CZ (ab−S +SB : cb−S +SA : 0).
Estos puntos son los pies de las cevianas del punto (no figura actualmente en ETC):
( ) ( )
1 1 1 1
: : = : ··· : ··· .
bc − S + SA ca − S + SB ab − S + SC (a + b + c)(b + c − a) − 2S
—·—
16.4.24
r
θa = arctag
s−a
Sea X, Y y Z los simétricos del incentro I de ABC respecto a los correspondientes lados,
entonces las cotangentes de los ángulos orientados θa , θb y θc son
16.4.25
r(k − 1)
θa = arctag
s−a
En efecto, usando las expresiones (12.50) de los puntos de contacto de la circunferencia inscrita
con los lados y las fórmulas (5.16) para la homotecia de centro I(a : b : c) y razón k, obtenemos
que los transformados de los puntos AI (0 : ab + SC : ac + SB ), BI (ba + SC : 0 : bc + SA ) y
CI (ab + SB : cb + SA : 0), son, respectivamente,
Poniendo
a3 + b3 + c3 − (ab(a + b) + bc(b + c) + ca(c + a)) m
Λ= y k = k(m, n) = ,
abc Λ+n
(1) El lugar geométrico de estos puntos, cuando la razón k varı́a, se obtiene eliminando λ y k entre las ecuaciones
1 1 1
λx = , λy = , λz = ,
bc + kSA ac + kSB ab + kSC
resultando:
a(bSB − cSC )yz + b(cSC − aSA )zx + c(aSA − bSB )xy = 0.
Se trata de la hipérbola de Feuerbach, hipérbola equilátera (pasa por el ortocentro) circunscrita a ABC, contiene
al incentro y su centro es el punto de Feuerbach (X11 ). Utilizando fórmulas de (2.4), su ecuación se puede poner en
la forma:
a(b − c)(s − a)yz + b(c − a)(s − b)zx + c(a − b)(s − c)xy = 0.
Se tiene que J(m, n) = J(kΛ, 0) = Jk , y se denota por Jks y J s (m, n) los simétricos de Jk y J(m, n),
respecto al centro (punto de Feuerbach X11 ) de la hipérbola de Feuerbach.
Algunos casos particulares de estos centros de perspectividad de Jacobi, obtenidos a partir del
Teorema de Kariya, son:
m
k= Λ+n Jk = J(kΛ, 0) = J(m, n) Primera coordenada
0 X1 : Incentro a
J0s = J−2 = X80
1
∞ X4 : Ortocentro
s b2 + c2 − a2
J∞ = J(2, 2) = X104
1
1 X7 : Gergonne
b+c−a
J1s = J(6, 0) = X1156
-1 X8 : Punto de Nagel b+c−a
s
J−1 = J(−2, 4) = X1320
1
2 X79 : Punto de Gray
a2 − b2 − c2 − bc
J2s = J(4, 1)
1
-2 X80
s a2 − b2 − c2 + bc
J−2 = J0
a(b + c − a)
2/Λ X21 : Punto de Schiffler
b+c
J s (2, 0) = JΛ+1
a
−2/Λ X?
(a − b − c)(a(2a + b + c) − (b − c)2 )
J s (−2, 0) = J(1 − Λ, 1)
a
4/Λ X90
a3 + (b + c)(a2 − (b − c)2 ) − a(b2 + c2 )
J s (4, 0) = J(2(Λ + 2), 4)
a
6/Λ X1156 : Conjugado iso-
a(−2a + b + c) + (b − c)2
gonal del punto de
Schröder.
J s (6, 0) = J1 = X7
2 a
X104 : Cuarto punto de
Λ+2 (a + b − c)(a − b + c)(b + c) − 2abc
intersección de la circun-
ferencia circunscrita y la
hipérbola de Feuerbach.
J s (2, 2) = J∞ = X4
2 a
X943
Λ−2 2abc + (b + c)(a − b + c)(a + b − c)
J s (2, −2) = J(Λ−1, 2−Λ)
4 a
X84 : Conjugado isogonal
Λ+2 a3 + (b + c) (a(a − b − c) − (b − c)2 )
del punto de Bevan.
J s (4, 2) = J(2(Λ + 4), 2)
4
Λ−2 X9 : Punto intermedio a(b + c − a)
J s (4, −2) = J(2Λ, 6)
−2 a(b + c − a)
X1320
Λ+4 b + c − 2a
J s (−2, 4) = J−1 = X8
b+c−a
Λ+1 X?
s (b + c − a)(b2 + c2 − a2 ) − abc
JΛ+1 = J(2, 0) = X21
4 a
X?
Λ+1 a3 + a2 (b + c) − (b − c)2 (b + c) − a(b2 + bc + c2 )
J s (4, 1) = J2 = X79
(
a4 (a − b − c) − a3 (2b2 + bc + 2c2 )
Λ+1
2 X? +2a2 (b3 + c3 ) + a(b4 + b3 c − 2b2 c2 + bc3 + c4 )
J s (Λ − 1, 2 − Λ) = )−1
J(2, −2) = X943 −(b5 − b4 c − bc4 + c5 )
(
a5 − a4 (b + c) − a3 (2b2 − bc + 2c2 )
1−Λ
+2a2 (b − c)2 (b + c)
1+Λ X?
J s (1 − Λ, 1) = J(−2, 0) +a((b2 + c2 )2 − bc(b2 − 2bc + c2 ))
)−1
−(b − c)4 (b + c)
2Λ b+c−a
X?
Λ+6 a + b + c2 − 2ab − 2ac + bc
2 2
J s (2Λ, 6) = J(4, −2) =
X9
(
a5 − a4 (b + c) − a3 (2b2 − bc + 2c2 )
6 a
X?
Λ−2 2a + a (b + c) − (b − c) (b + c) − 2a(b2 − bc + c2 )
3 2 2
17 Polaridad trilineal
17.1 Recordemos que la razón doble de cuatro puntos alineados X, Y, Z y V , que se denota por
(X Y U V ), es el cociente de las razones simples
XU XV
(X Y U V ) = : .
YU YV
En particular, se dice que cuatro puntos alineados X, Y, U y V , forman una cuaterna armónica
si su razón doble (X Y U V ) = −1.
Como (X Y U V ) = (Y X V U ) = (U V X Y ) = (V U Y X) = −1, tiene sentido decir
que los puntos X e Y son conjugados armónicos respecto a U y V , y, recı́procamente, U y V son
conjugados armónicos de X e Y .
17.2 Un triángulo ABC induce una correspondencia entre puntos, no situados en los lados, y
rectas, que no pasen por los vértices. A esta correspondencia se le denomina polaridad trilineal y se
define de la forma siguiente:
Dado un punto P , al eje de perspectividad de ABC y su triángulo ceviano Pa Pb Pc , es decir,
a la recta determinada por los puntos X = BC ∩ Pb Pc , Y = CA ∩ Pc Pa y Z = AB ∩ Pa Pb , se le
denomina polar trilineal (o tripolar) de P , con respecto a ABC.
El polo trilineal (o tripolo) de una recta d es el punto tal que su tripolar es d. Para determinarlo,
sólo hay que tener presente que, con la notación anterior,
Para obtener la expresión analı́tica de la tripolar de P (u : v : w), sean los pies de sus cevianas
Pa (0 : v : w), Pb (u : 0 : w) y Pc (u : v : 0), y, por tanto
Y los puntos de intersección de éstas con los correspondientes lados de ABC son
A pesar de recibir esta correspondencia, entre puntos y rectas y entre rectas y puntos, el
nombre de polaridad trilineal, no es en realidad una polaridad, pues, a parte de no estar definida
sobre puntos de los lados ni sobre rectas que pasen por los vértices, a rectas concurrentes no le
corresponden puntos alineados. En efecto:
Para las rectas ux + vy + wz = 0 que pasan por el punto P (x0 : y0 : z0 ) se verifica que
ux0 + vy0 + wz0 = 0, por lo que el lugar geométrico, descrito por sus tripolos (1/u : 1/v : 1/w)
satisfacen a x0 yz + y0 zx + z0 xy = 0, que es la ecuación de una curva que pasa por los vértices A, B
y C (cónica circunscrita, denominada cónica polar de P con respecto al triángulo).
(1) Este punto es el centro de la circunferencia ortogonal a las cinco circunferencias: circunscrita, de los nueve
puntos y exincritas de ABC y la circunferencia ortogonal a las exinscritas (Milorad R. Stevanović.- The Apollonius
Circle and Related Triangle Centers. Forum Geometricorum 3 (2003) 187–195).
Otra vı́a para obtener las coordenadas de estos puntos, puede ser haciendo uso de que, por
ejemplo para P a , se tiene
P A P aA AP a AP v+w
(P P a A Pa ) = : = −1, o sea =− = ,
P Pa P a Pa a
P Pa P Pa −u
con lo que las coordenadas ce P a son −u(v +w : 0 : 0) +(v +w)(0 : v : w) = (−u : v : w). Siguiendo
este mismo método, se llega a las coordenadas P b (u : −v : w) y P c (u : v : −w).
triángulo triángulo
preceviano anticomplementario
y las coordenadas de Q(u∗ : v ∗ : w∗ ) respecto al triángulo medial son las mismas que las de P
respecto a ABC, es decir, (u : v : w).
El anticomplemento Q de P (u : v : w), que verifica P Q : QG = 3 : −2, es
Q(−u + v + w : u − v + w : u + v − w),
II. El conjugado isotómico del simediano K(a2 : b2 : c2 ) es el tercer punto de Brocard (pág. 66).
III. El conjugado isotómico del X312 (bc(−a + b + c) : ca(a − b + c) : ab(a + b − c)) (pág. 45) es
el X57 (pág. 37) y éste es el conjugado isogonal del punto intermedio (pág. 37).
IV. El(complemento del tercer )punto de Brocard (1/a2 : 1/b2 , 1/c2 ) es el punto medio de Ω1 Ω2
(pág 58), (c2 + b2 )/b2 c2 : · · · : · · · .
La suma de las dos primeras da la tercera; por lo que las tres rectas son concurrentes. Su punto
de intersección es:
( ( x y z) (x y z) (x y z ))
P/Q x − + + :y − + :z + − .
u v w u v w u v w
Hay una forma de obtener la polar de un punto respecto a una cónica usando el cociente ceviano:
VII. Dado un triángulo ABC y un punto punto P , sean A′ , B ′ y C ′ los centros de las seme-
−−→ −−→ −→ −−→ −−→ −→
janzas directas que llevan CP en AB, AP en BC y BP en CA, respectivamente. Entonces,
ABC y A′ B ′ C ′ son perspectivos y el centro de perspectividad es el conjugado isogonal del com-
plemento de P .
Sea un punto P (u : v : w) y Pa (0 : v : w), Pb (u : 0 : v) y Pc (u : v : 0) los pies de sus cevianas. El
−−→ −→
centro de semejanza directa [16, Tomo I, pág.121] que lleva BP en CA es el punto (distinto de Pb )
de intersección de las circunferencias CAPb y BP Pb , cuyas ecuaciones se obtienen sustituyendo en
la ecuación general de una circunferencia (19.71) las coordenadas de los puntos que las determinan,
y son, respectivamente:
c2 u
a2 yz + b2 zx + c2 xy − (x + y + z) y = 0,
u+v
( ( 2 2 ) )
vc2 x v a + b2 u2 + (a2 + b2 − c2 )uv z
a2 yz + b2 zx + c2 xy − (x + y + z) + = 0.
u+v (u + v)(u + v + w)
El centro de semejanza es
( ( ) )
′ u b2 (u + v) + c2 (u + w) − a2 (u + v)(u + w) b2 c2
A : : .
(u + v)(u + w)(u + v + w) u+w u+v
Cálculos similares nos llevan a que los centros de las otras dos semejanzas son:
( ( 2 ) )
a 2 v c (v + w) + a2
(v + u) − b 2
(v + w)(v + u) c2
B′ : : .
v+w (v + w)(v + u)(u + v + w) v+u
( ( ) )
a2 b2 w a2 (w + u) + b2 (w + v) − c2 (w + u)(w + v)
C′ : : : .
w+v w+u (w + u)(w + v)(u + v + w)
Entonces (ver pág. 10) los triángulos ABC y A′ B ′ C ′ son perspectivos y su centro de perspec-
tividad, que llamamos centro de P –semejanzas, es
( 2 )
a b2 c2
: : .
v+w w+u u+v
Si las semejanzas se definen cambiando el sentido de uno de los dos vectores que las determinan,
el triángulo con vértices en sus centros de semejanza es siempre el mismo, aunque con los vértices
intercambiados.
Cuando P es el incentro, el centro de I–semejanzas es X58 de ETC,
( 2 )
a b2 c2
: : ,
b+c c+a a+b
y el incentro de A′ B ′ C ′ es el primer punto de Stevanovic (1) (X1130 de ETC),
( ( √ √ ) )
a2 bc + b(a − b + c) c(a + b − c) : · · · : · · · .
(2)
Para el circuncentro, el centro de O–semejanzas es el punto de Kosnita (X54 de ETC),
( )
a2 b2 c2
: : .
S 2 + SB SC S 2 + SC SA S 2 + SA SB
El centro de H–semejanzas es el propio ortocentro.
19.1 El vector posición de un punto P (x, y, z), respecto a un origen P0 , se expresa, según
−
→ →
− −
→ →
−
(3.10), por p = x a + y b + z c (x + y + z = 1), con lo que
−
→2 −
→ −
→ −
→ −
→− → −
→− → −
→− →
p = x2 a 2+ y 2 b 2+ z 2 c 2+ 2yz b c + 2zx c a + 2xy a b =
−
→ →
− −
→ →
− −
→ →
− −
→ →
− −
→
= x2 a 2+ y 2 b 2+ z 2 c 2+ yz( b 2+ c 2− a2 ) + zx( c 2+ a 2− b2 ) + xy( a 2+ b 2− c2 ) =
( −
→2 −
→2 → 2)
−
= (x + y + z) x a + y b + z c − a2 yz − b2 zx − c2 xy.
Por tanto,
P0 P 2 = x P0 A2 + y P0 B 2 + z P0 C 2 − a2 yz − b2 zx − c2 xy. (19.68)
Si, en particular, tomamos P0 = O, el circuncentro de ABC, y P (x, y, z) en la circunferencia cir-
cunscrita O(R) de radio R, resulta que OP = OA = OB = OC = R; con lo que entonces, de (19.68)
y como hemos supuesto que x + y + z = 1, surge que la ecuación de la circunferencia circunscrita es
a2 yz + b2 zx + c2 xy = 0. (19.69)
(1) Let Ia el centro de la circunferencia exinscrita relativa al vértice A del triángulo ABC; sea A′ el incentro de
Ia BC, y se definen B ′ y C ′ cı́clicamente. Sea A” = BC ′ ∩ CB ′ , y se definen B” y C” cı́clicamente. Las rectas
AA”, BB” y CC” son concurrentes en el punto que en ETC se denomina de Stevanovic.
(2) Las rectas que unen los vértices A, B y C de un triángulo dado ABC con los circuncentros de los triángulos
BCO, CAO y ABO (donde O es el circuncentro de ABC), respectivamente, concurren en un punto (pág. 74),
conocido como el punto de Kosnita.
P0 P 2 − ρ2 = x′ P0 A2 + y ′ P0 B 2 + z ′ P0 C 2 − a2 y ′ z ′ − b2 z ′ x′ − c2 x′ y ′ − ρ2 =
P0 P 2 − ρ2 = px′ + qy ′ + rz ′ − a2 y ′ z ′ − b2 z ′ x′ − c2 x′ y ′
1 ( )
P0 P 2 − ρ2 = 2
(x + y + z)(px + qy + rz) − a2 yz − b2 zx − c2 xy . (19.70)
(x + y + z)
P0 P 2 − ρ2 = OP 2 − R2 .
Con lo que
Ası́, el eje radical de una circunferencia general y la circunferencia circunscrita tiene por ecuación:
px + qy + rz = 0.
x′ = kx(u + v + w) + (1 − k)u(x + y + z)
y ′ = ky(u + v + w) + (1 − k)v(x + y + z)
Dividiendo por k y poniendo t = (1 − k)/k, tenemos estas nuevas expresiones para las coorde-
nadas del punto X ′ :
x′ = x(u + v + w) + tu(x + y + z)
y ′ = y(u + v + w) + tv(x + y + z)
Dividiendo por u + v + w y observando que lo que está entre corchetes es lineal en x, y, z, podemos
poner como ecuación de la circunferencia general Γ,
a2 yz + b2 zx + c2 xy − (x + y + z)(px + qy + rz) = 0.
—·—
B) Circunferencia circunscrita como conjugada isogonal de la recta del infinito.
El lugar geométrico de los puntos conjugados isogonales de la recta
cuyo primer miembro es un polinomio homogéneo de segundo grado en las variables x, y, z, que
se anula para las coordenadas de los vértices A, B y C (es una cónica circunscrita a ABC). En
particular, el lugar geométrico de los puntos conjugados isogonales de la recta del infinito
x+y+z =0 es a2 yz + b2 zx + c2 xy = 0,
C) Circunferencia circunscrita como cónica circunscrita que pasa por los puntos cı́clicos.
En el plano euclı́deo, respecto a un sistema de coordenadas cartesianas rectangulares ho-
mogéneas, a los puntos de coordenadas (1, i, 0) y (1, −i, 0) (la tercera de las variables es la ho-
mogénea) se les denomina puntos cı́clicos (o puntos circulares). Llamados ası́ porque, de todas las
curvas de segundo grado (cónicas), sólo las circunferencias pasan por ellos (1) . Las rectas que pasan
(1) En efecto, sea una cónica cualquiera en coordenadas cartesianas homogéneas:
a11 x2 + 2a12 xy + c22 y 2 + 2a13 xz + 2a23 yz + a33 z = 0,
por uno de los puntos cı́clicos se llaman isótropas, y son de la forma x ± iy + c = 0. En ambos casos,
la pendiente es un número igual al opuesto de su inverso, luego son perpendiculares a sı́ mismas.
Vamos a utilizar este hecho, para obtener la ecuación de la circunferencia circunscrita al
triángulo de referencia, a partir de la ecuación de una cónica circunscrita
imponiéndole que pase por los puntos cı́clicos del plano. Para ello, primero, necesitamos obtener
las coordenadas baricéntricas de éstos, que resultan de resolver el sistema de ecuaciones
que permiten hallar el punto del infinito de una recta perpendicular a sı́ misma, usando (12.42).
Se obtienen los pares de puntos cı́clicos (expresados en tres formas distintas) siguientes:
Sustituyendo en la ecuación de la cónica circunscrita lyz + mzx + nxy = 0, resultan las ecua-
ciones:
c2 (SA − iS)l + c2 (iS + SB )m − (SA − iS)(iS + SB )n = 0
c2 (iS + SA )l + c2 (SB − iS)m − (iS + SA )(SB − iS)n = 0.
Resueltas en las variables l, m y n, y usando (2.3) y (2.4), dan:
l = S 2 + SB
2
= c2 a2 , m = S 2 + SA
2
= b2 c2 , n = c2 (SA + SB ) = c4 .
a2 yz + b2 zy + c2 xy = 0.
—·—
B′C ′ d C ′ A′ d A′ B ′ d B′C ′ a C ′ A′ b A′ B ′ c
= ′, = ′, = ′, o sea = ′, = ′, = ′.
BC x CA y AB z d x d y d z
19.4 De las fórmulas (11.40), que dan la distancia entre un punto y los vértices del triángulo de
referencia, y de que p = P0 A2 − ρ2 , q = P0 B 2 − ρ2 y r = P0 C 2 − ρ2 , se deduce que las ecuaciones
de la circunferencia de centro P0 (x0 , y0 , z0 ) y radio ρ es
(( )
c2 y02 + 2SA y0 z0 + b2 z02
a yz + b zx + c xy − (x + y + z)
2 2 2
− ρ x+
2
(x0 + y0 + z0 )2
( 2 2 ) ( 2 2 ) ) (19.73)
a z0 + 2SB z0 x0 + c2 x20 b x0 + 2SC x0 y0 + a2 y02
+ −ρ y+
2
− ρ z = 0.
2
(x0 + y0 + z0 )2 (x0 + y0 + z0 )2
Con esto, se puede expresar la ecuación de una circunferencia, de la que se conoce su centro y
radio, en la forma general dada por (19.71). Ahora, vamos a encontrar el centro y el radio de una
circunferencia general dada por su ecuación (19.71):
Como el centro de una cónica es su centro de simetrı́a, cualquier recta que pasa por él, corta a
la cónica en dos puntos que lo separan armónicamente del punto del infinito de dicha recta. Por
tanto, el centro de una cónica es el polo de la la recta del infinito. Aplicando esto a la circunferencia
de ecuación (19.71), su centro (x0 : y0 : z0 ), debe satisfacer al sistema de ecuaciones
2p p+q−c 2
r+p−b 2
x 1
0
p + q − c2 2q q + r − a2 y0 = t 1 , (19.74)
r + p − b2 q + r − a2 2r z0 1
donde, la primera matriz es la asociada a la ecuación de la circunferencia y las matrices columna
están formadas por las coordenadas (x0 : y0 : z0 ) del centro y por los coeficientes de la rectas del
infinito x + y + z = 0. Resolviendo, se obtiene como coordenadas del centro:
x0 = a2 SA + SB (r − p) − SC (p − q)
y0 = b2 SB + SC (p − q) − SA (q − r) (19.75)
z0 = c2 SC + SA (q − r) − SB (r − p)
O bien,
x0 = −a2 p + SC q + SB r + a2 SA
y0 = SC p − b2 q + SA r + b2 SB (19.76)
z0 = SB p + SA q − c2 r + c2 SC
El radio de la circunferencia se puede obtener comparando las ecuaciones dadas por (19.71)
y (19.73) y usando las coordenadas del centro dadas por (19.75) ó (19.76), obteniéndose las tres
expresiones siguientes:
1 ( 2 2 2 )
ρ2 = a b c − 2(a2
S A p + b2
S B q + c2
S C r) + S A (q − r)2
+ S B (r − p) 2
+ S C (p − q)2
.
4S 2
(
ρ2 = SA (q − r)2 + SB (r − p)2 + SC (p − q)2 − 2S 2 (p + q + r)+
1
4S 2
)
+2(SB SC p + SC SA q + SA SB r) + S (SA + SB + SC ) − SA SB SC .
2
O bien, evaluando SA , SB y SC :
(
ρ2 = a2 b2 c2 + a4 p + b4 q + c4 r + a2 p2 + b2 q 2 + c2 r2 − a2 (b2 + c2 )p − b2 (c2 + a2 )q − c2 (a2 + b2 )r
)
−(b2 + c2 − a2 )qr − (c2 + a2 − b2 )rp − (a2 + b2 − c2 )pq
/
(b + c − a)(c + a − b)(a + b − c)(a + b + c).
En particular, se obtiene, de nuevo, las coordenadas del circuncentro (pág. 31), como centro
(19.75) de la circunferencia circunscrita (19.69), a2 yz + b2 zx + c2 xy = 0: O(a2 SA : b2 SB : c2 SC ).
Y su radio, poniendo S 2 en función de a, b y c, es
abc abc
R= =√ . (19.77)
2S (a + b + c)(−a + b + c)(a − b + c)(a + b − c)
19.5 Como ejemplo de las ecuaciones dadas, relativas a circunferencias, vamos a dar una
justificación analı́tica del método de construcción de simedianas dado en la página 53). Ver figura
en la página 52.
Sea ABC un triángulo, no rectángulo en B, la circunferencia A(c) de centro en A y que pasa
por B (de radio c) tiene por ecuación, usando (19.73), la siguiente
(b2 − c2 : 0 : c2 ) + b2 (0 : 1 : 0) = (b2 − c2 : b2 : c2 ).
En esta sección vamos a obtener las ecuaciones de ciertas circunferencias notables asociadas a
un triángulo ABC.
conocida como circunferencia de Euler (1) o circunferencia de los nueve puntos, que además de pasar
por los puntos medios de los lados, pasa por los pies de las alturas (12.49)
Ha (0 : SC : SB ), Hb (SC : 0 : SA ), Hc (SB : SA : 0),
y por los puntos medios de cada vértice y el ortocentro, H(SB SC : SC SA : SA SB ), que se obtienen
mediante la fórmula (5.12), poniendo m = n = 1,
Ea = S 2 (1 : 0 : 0) + (SB SC : SC SA : SA SB ) = (S 2 + SB SC : SC SA : SA SB ),
Eb (SB SC : S 2 + SC SA : SA SB ), Ec (SB SC : SC SA : S 2 + SA SB ).
Para obtener el centro y radio de la circunferencia de Euler, como método general, se puede
acudir a las fórmulas (19.76) que dan el centro y luego, a partir de la ecuación de una circunferencia
(19.73), cuando se conoce el centro y el radio, determinar éste. No obstante, este camino suele
ser bastante arduo y geométricamente poco elegante, en el caso que nos ocupa es más sencillo
proceder de la forma siguiente: Como la circunferencia de Euler pasa por los punto medios de los
lados Ma , Mb y Mc y
AG BG CG 2
= = = ,
GMa GMb GMc 1
(1) Leonhard Paul Euler (1707–1783)
Siguiendo el método general para obtener el centro, se obtiene por las fórmulas (19.76)
SA SB SC 1
x0 = −a2 + SC + SB + a2 SA = (S 2 + SB SC )
2 2 2 2
SA SB S C 1
y0 = SC − b2 + SA + b2 SB = (S 2 + SC SA )
2 2 2 2
SA SB S C 1
z0 = SB + SA − c2 + c2 SC = (S 2 + SA SB ).
2 2 2 2
Su radio surge, de comparar su ecuación (20.78) con la ecuación (19.73) de una circunferencia
en función de su centro y su radio:
donde (x0 : y0 : z0 ) = (S 2 + SB SC : S 2 + SC SA : S 2 + SA SB ) y x0 + y0 + z0 = 4S 2 = SA SB +
SB SC + SC SA . Sustituyendo y simplificando da:
a2 b2 c2 R2
ρ2 = = .
4(−a + b + c)(a + b − c)(a − b + c)(a + b + c) 4
—·—
La circunferencia inscrita es tangente interiormente a los lados de ABC y sus puntos de contacto
son los pedales (12.50) de su centro, el incentro I(a : b : c):
Por tanto, para obtener su ecuación debemos resolver, en las variables p, q y r, las ecuaciones
siguientes, que resultan de sustituir estos puntos en la ecuación de la circunferencia general (19.71):
Comparando esta ecuación con la ecuación (19.73) de una circunferencia de la que se conoce
su centro y radio, podemos determinar el radio r de la circunferencia inscrita:
c2 b2 + 2SA bc + b2 c2
− r2 = (s − a)2 , 2bc(bc + SA ) − 4s2 (s − a)2 = 4s2 r2 ,
(a + b + c)2
Los centros de las circunferencias exinscritas Ia (ra ), Ib (rb ) y Ic (rc ), relativas a los vértices A, B
y C, respectivamente, están dados por (12.51):
cuya solución son las coordenadas del punto de Spieker Sp (b + c : c + a : a + b) (pág. 104).
La potencia del punto de Spieker, respecto a la circunferencia exinscrita Ia (ra ) es, por la fórmula
(19.70), (
1 ( 2 )
(a + b + c) s (b + c) + (s − c) 2
(c + a) + (s − b)2
(a + b) −
4(a + b + c)2
)
( 2 2 2
)
a (c + a)(a + b) + b (a + b)(b + c) + c (b + c)(c + a) =
abc + a2 (b + c) + b2 (c + a) + c2 (a + b)
= .
4(a + b + c)
Este es el mismo valor que toma
r2 + s2
.
4
La potencia de Sp respecto√a las otras dos circunferencias exinscritas da este mismo √ resultado.
Luego, la circunferencia Sp ( 12 r2 + s2 ), de centro en el punto de Spieker y radio 12 r2 + s2 , es
ortogonal a las tres circunferencias exinscritas (circunferencia radical). Por tanto, estas tres
√circunfe-
1
rencias se transforman en sı́ mismas (quedan invariantes) en la inversión respecto a Sp ( 2 r2 + s2 ).
Para obtener la ecuación de la circunferencia radical de las exinscritas, calculamos las potencias
de los vértices del triángulo de referencia respecto a ella (usando (11.40)),
( )
x y z
a yz + b zx + c xy + (s − a)(s − b)(s − c)(x + y + z)
2 2 2
+ + =0 (20.81)
s−a s−b s−c
Nótese que el eje radical de esta circunferencia y la circunscrita es la tripolar del punto de
Nagel, Na (s − a : s − b : s − c).
La circunferencia radical de las exinscritas pasa por los pies de las perpendiculares trazadas
desde cada vértice de ABC sobre sus bisectrices exteriores
(ver http://webpages.ull.es/users/amontes/pdf/ejtr2314.pdf)
—·—
Se conoce como circunferencias adjuntas las que pasan por dos de los vértices de un triángulo
ABC y son tangentes a uno de los lados adyacentes. Vamos a obtener los puntos de Brocard como
intersección de estas circunferencias.
Γab : a2 yz + b2 zx + c2 xy − a2 z(x + y + z) = 0.
Similarmente, obtenemos la ecuación de las circunferencias Γbc que pasa por B y C y es tangente
a CA en C, y la de la circunferencia Γca que pasa por C y A y es tangente a AB en A:
Γbc : a2 yz + b2 zx + c2 xy − b2 x(x + y + z) = 0.
Γca : a2 yz + b2 zx + c2 xy − c2 y(x + y + z) = 0.
Las tres circunferencias Γab , Γbc y Γca se cortan en el primer punto de Brocard (14.3), que
se obtiene el sistema que resulta, por ejemplo, de restar a la primera ecuación la segunda y a la
segunda la tercera:
( )
b x−a z =0
2 2
1 1 1
⇒ Ω1 : : .
−b2 x + c2 y = 0 b2 c2 a2
Si ahora tomamos las circunferencias adjuntas Γac , Γba y Γcb (la primera, pasa por A y C y es
tangente a CB en C; similarmente las otras dos), sus ecuaciones son:
Γac : a2 yz + b2 zx + c2 xy − a2 y(x + y + z) = 0
( )
1 1 1
Γba : a yz + b zx + c xy − b z(x + y + z) = 0
2 2 2 2 ⇒ Ω2 : : .
c2 a2 b2
Γcb : a2 yz + b2 zx + c2 xy − c2 x(x + y + z) = 0
—·—
a2 yz + b2 xz + c2 xy − 32 (x + y + z)(SA x + SB y + SB z) = 0
(Applet CabriJava)
b2 c2 a2 c2 a2 b2
p=− , q = − , r = − .
a2 + b2 + c 2 a2 + b2 + c2 a2 + b2 + c2
Con lo que la ecuación de la circunferencia de Brocard se puede poner de la forma:
a2 b2 c2 (x y z)
a2 yz + b2 zx + c2 xy − (x + y + z) + + =0 (20.82)
a2 + b2 + c2 a2 b2 c2
Esta circunferencia contiene a los puntos de Brocard Ω1 (1/b2 : 1/c2 : 1/a2 ) y Ω2 (1/c2 : 1/a2 :
1/b ) y pasa por el circuncentro O(a2 Sa : b2 SB : c2 SC ) y el simediano K(a2 : b2 : c2 ).
2
La circunferencia de Brocard es el lugar geométrico de los puntos comunes de las tres circun-
ferencias que describimos a continuación:
Para todo número real t se consideran los tres puntos, en los lados del triángulo de referencia,
(1)
Cuyo punto común es
( )
P a2 (a2 t(t−1)+b2 t2 +c2 (t−1)2 ) : b2 (b2 t(t−1)+c2 t2 +a2 (t−1)2 ) : c2 (c2 t(t−1)+a2 t2 +b2 (t−1)2 ) .
b2 c2 x2 + a2 c2 y 2 + a2 b2 z 2 − a4 yz − b4 xz − c4 xy = 0.
Comparando los coeficientes de esta ecuación con la ecuación de una circunferencia general a2 yz +
b2 xz + c2 xy − (x + y + z)(px + qy + rz) = 0, se obtiene salvo el coeficiente de proporcionalidad
−(a2 + b2 + c2 ),
b2 c2 c2 a2 a2 b2
p= , q= , r= .
a2 + b2 + c2 a2 + b2 + c 2 a2 + b2 + c2
Por lo que se trata de la circunferencia de Brocard.
El centro de la circunferencia Γa es
(
(b2 − c2 )(a2 − b2 − c2 )t − (a2 − c2 )2 + b2 (a2 + c2 ) :
)
b2 (−a2 + b2 + 3c2 )t − b2 (−a2 + b2 + c2 ) : −c2 (−a2 + 3b2 + c2 )t + 2b2 c2 .
(1) Para cualquiera que sean los tres puntos X, Y y Z sobre los lados (no necesariamente como se definen aquı́),
Los centros de Γb y Γc se obtienen rotando, hacia la derecha, las coordenadas del centro de Γa ,
a la vez que se permutan a → b, b → c, c → a.
El centro de la circunferencia que pasa por los centros de las anteriores es
( 2 2 )
a (a + 2c2 (t − 1) − 2b2 t) : b2 (b2 + 2a2 (t − 1) − 2c2 t) : c2 (c2 + 2b2 (t − 1) − 2a2 t .
—·—
(a − b − c)(ap − bq − cr + abc) = 0,
(−a + b + c)(−ap + bq − cr + abc) = 0,
(−a − b + c)(−ap − bq + cr + abc) = 0,
Como situación particular, podemos tomar, dado un triángulo ABC, la circunferencia de Apolo-
nio de los vértices B y C para la razón c/b; es decir, el lugar geométrico de los puntos P que
cumplen P B/P C = c/b. A esta circunferencia le denominamos A–circunferencia de Apolonio, re-
lativa a ABC. Como un diámetro tiene sus extremos en (0 : b : c) y (0 : −b : c), su ecuación y,
respectivamente, las circunferencias de Apolonio relativas a los vértices B y C, son:
a2 ( 2 )
Γa : a2 yz + b2 xz + c2 xy − (x + y + z) −c y + b2
z =0 (20.84)
b2 − c2
b2 ( )
Γb : a2 yz + b2 xz + c2 xy − (x + y + z) c2 x − a2 z = 0 (20.85)
c −a
2 2
c2 ( 2 )
Γc : a2 yz + b2 xz + c2 xy − (x + y + z) −b x + a 2
y =0 (20.86)
a2 − b2
Obsérvese que los ejes radicales (§19.2) de cada circunferencia de Apolonio y la circunferencia
circunscrita son las simedianas (13.57).
Los radios de estas tres circunferencias son, respectivamente,
abc abc abc
Ra = 2 ,
Rb = 2 ,
Rc = 2 .
b − c2 c − a2 a − b2
Los ejes radicales de las circunferencias de Apolonio de ABC, tomadas dos a dos, coinciden en
la recta de ecuación b2 c2 (b2 − c2 )x + c2 a2 (c2 − a2 )y + a2 b2 (a2 − b2 )z = 0, por lo que las tres se
cortan en dos puntos que son los puntos isodinámicos, X15 y X16 en ETC, de coordenadas:
( √ √ √ )
a2 (S ± 3SA ) : b2 (S ± 3SB ) : c2 (S ± 3SC ) .
(1) Conocida también como ”Triplicate-Ratio Circle”, ”Cerchio con rapporto triplicato”.
Las paralelas a los lados del triángulo por su simediano K(a2 : b2 : c2 ) son:
( 2 ) ( ) ( )
b + c2 x − a2 y − a2 z = 0, −b2 x + a2 + c2 y − b2 z = 0, −c2 x − c2 y + a2 + b2 z = 0.
a2 yz + b2 zx + c2 xy + (x + y + z)(px + qy + rz) = 0,
se obtiene que la circunferencia que pasa por los tres primeros puntos, tiene por ecuación:
x+y+z ( 2 2 2 )
a2 yz + b2 zx + c2 xy − b c (b + c2
)x + c2 2 2
a (c + a 2
)y + a 2 2 2
b (a + b2
)z = 0,
(a2 + b2 + c2 )2
2R0 = R sec ω.
(Applet CabriJava)
Otras propiedades:
• Los triángulos Ab Bc Ca y Ba Cb Ac son simétricos respecto a K.
• El punto medio de la altura y el pie de la mediana desde el mismo vértices están alineado
con K(a2 : b2 : c2 ):
2
a SC SB SC b2 SA SB SA c2
0 1 1 = 0, 1 0 1 = 0, 1 1 0 = 0.
2 2 2
a b2
c
2 a b2
c
2 a b2
c
2
• El hexágono Ab Ba Bc Cb Ca Ac tiene sus lados paralelos a los del triángulo ABC y sus diagonales
no maximales son perpendiculares a los lados del triángulo.
(1) Los segmentos A A , B B
b c c a y Ca Cb son proporcionales a los ángulo opuestos, a ahı́ el nombre de
circunferencia coseno.
21.1 Comenzamos con el punto de Feuerbach que es el único punto común de las circunferencias
inscrita y de los nueve puntos de un triángulo.
El eje radical de estas circunferencias se obtiene restando sus ecuaciones (20.79) y (20.78):
x y z
(2(s − a)2 − SA )x + (2(s − b)2 − SB )y + (2(s − c)2 − SC )z = 0 o bien + + = 0.
b−c c−a a−b
Probemos que esta recta satisface a la ecuación tangencial de la circunferencia de los nueve
puntos; es decir, que es tangente a ella. Por tanto, también es tangente a la circunferencia inscrita:
el punto de tangencia es el punto común a ambas circunferencias.
La matriz asociada a la circunferencia de los nueve puntos y su adjunta son, respectivamente:
−2SA c2
b2
4SB SC − a 4 2 2 2 2
a b + 2c SC 2SB b + a c 2 2
c 2
−2SB a 2 , a b + 2c SC 4SA SC − b
2 2 2 4
2SA a + b c ,
2 2 2
b2 a2 −2SC 2SB b2 + a2 c2 2SA a2 + b2 c2 4SA SB − c4
Para que el eje radical sea tangente se debe anular la expresión que resulta de sustituir en la
ecuación tangencial, los coeficientes de la ecuación del eje radical (1) , que puede simplificarse en
ésta:
( )( )
8abc 2s − (a + b + c) (a2 + b2 + c2 )2 − 6S 2 − 4s((s − a)SA + (s − b)SB + (s − c)SC ) ,
(SB − 2(s − b)2 )(a2 b2 + 2c2 SC ) + (a2 c2 + 2b2 SB )(SC − 2(s − c)2 ) + (SA − 2(s − a)2 )(−a4 + 4SB SC )
Al sustituir los valores SA , SB , SC y s, se obtiene que las coordenadas del punto de Feuerbach,
X11 en ETC, son
( )
F (−a + b + c)(b − c)2 : (a − b + c)(c − a)2 : (a + b − c)(a − b)2 .
Los cálculos resultan mucho más sencillos si, en vez de partir de la circunferencia de los nueve
puntos, tomamos la ecuación de la circunferencia inscrita, cuyas matrices asociada a la ecuación
puntual y tangencial son respectivamente:
−(s − a) 2
(s − a)(s − b) (s − a)(s − c) 0 s−c s−b
(s − a)(s − b) −(s − b) 2
(s − c)(s − b) , s−c 0 s − a .
(s − a)(s − c) (s − c)(s − b) −(s − c)2 s−b s−a 0
(1) Las ecuaciones matriciales puntual y tangencial de una cónica se expresan por tXM X = 0 y tU M # U = 0,
donde M y M # son las matrices asociadas a las cónicas (M # es la adjunta de M ) y X y U son matrices columnas
formadas por las coordenadas de punto y recta, respectivamente.
21.2 Posibles construcciones del punto de Feuerbach se basan en los dos resultados que se expo-
nen a continuación. Otra construcción en http://webpages.ull.es/users/amontes/pdf/ejtr2354.pdf
o en http://webpages.ull.es/users/amontes/pdf/ejtr2455.pdf.
El triángulo medial de ABC es perspectivo con el triángulo A′ B ′ C ′ , formados por los otros
puntos en que los lados del triángulo anticomplementario del triángulo de contacto interior,
vuelven a cortar a la circunferencia inscrita a ABC.
Los puntos de contacto de la circunferencia inscrita con los lados de ABC, en coordenadas
baricéntricas homogéneas respecto a ABC, son
Este resultado nos da un criterio para construir el punto de Feuerback: ”Es el simétrico de BI
respecto a IBa ”. o ”Es el simétrico de CI respecto a ICa ”.
Si en vez de partir del vértice A, hacemos el estudio desde los vértices B o C, procediendo
cı́clicamente, se obtiene el mismo punto de tangencia con la circunferencia inscrita de las rectas
Cb Ab y Ac Bc . realmente ocurre que Ab = Ac , Ba = Bc y Ca = Cb .
( )
′ 2 2
B a(b−c)(c+b−a)(b+a−2c) : (c−a)(2abc−b (c+a)+(c−a) (c+a)) : c(a−b)(b+a−c)(b+c−2a) ,
( )
′ 2 2
C a(b−c)(c+b−a)(c+a−2b) : b(c−a)(a+c−b)(c+b−2a) : (a−b)(2abc−c (a+b)+(a−b) (a+b)) .
Las rectas AA′ , BB ′ y CC ′ concurren en el punto del tipo de los de la Enciclopedia de Kim-
berling:
(
a(b − c)(b + c − a)(a − 2b + c)(a + b − 2c) : b(c − a)(c + a − b)(b − 2c + a)(b + c − 2a) :
)
c(a − b)(a + b − c)(c − 2a + b)(c + a − 2b) .
Este punto es el producto baricéntrico del X650 , conjugado isogonal del polo trilineal de la
recta IO (recta que pasa por el incentro y circuncentro de ABC) por el punto X903 ; éste último
punto es el de concurrencia de las rectas AD′ , BE ′ , CF ′ , siendo D′ , E ′ , F ′ los simétricos, respecto
al baricentro G, de los puntos de corte D, E, F de la recta GI con los lados BC, CA, AB. En
efecto:
La recta IO es:
D′ (2(2a − b − c) : a + b − 2c : a − 2b + c),
(http://webpages.ull.es/users/amontes/pdf/ejtr2317.pdf).
21.3 El eje radical de la circunferencia de los nueve puntos N (R/2) y la exinscrita Ia (ra ), se
obtiene restando las ecuaciones de ambas, por lo que tiene de ecuación:
o bien
x y z
(a + b)(a + c)x + (a + b)(b − c)y − (b − c)(a + c)z = 0, ó + − = 0.
b−c a+c a+b
Para comprobar que el eje radical es tangente a ambas circunferencias (y, por consiguiente, su
punto de tangencia es común a ambas) basta con comprobar que lo es a una de ellas. Para que sea
tangente a Ia (ra ), debe contener a su polo respecto a la ella; es decir, se debe anular la expresión
que resulta de sustituir en la ecuación tangencial de Ia (ra ) los coeficientes de la ecuación del eje
radical:
1
0 −s(s − b)2 (s − c) −s(s − b)(s − c)2 b−c
( )
1 1 −1 1
−s(s − b)2 (s − c) s2 (s − b)(s − c) = 0.
0
b−c a+c a+b
a+c
−1
−s(s − b)(s − c) s (s − b)(s − c)
2 2
0
a+b
Y el punto de tangencia es:
1
−s(s − b)2 (s − c) −s(s − b)(s − c)2 s(b − c)2
0 b−c
−s(s − b)2 (s − c) 1
= (c − s)(a + c)
− −
2 2
0 s (s b)(s c) .
a+c
−s(s − b)(s − c)2 s2 (s − b)(s − c) 0 −1
(b − s)(a + b)2
a+b
Análogamente, se obtienen los otros puntos de tangencia de las circunferencias de los nueve
puntos con Ib (rb ) y Ic (rc ):
( ) ( )
(c − s)(b + c)2 : s(c − a)2 : (a − s)(b + a)2 , (b − s)(c + b)2 : (a − s)(c + a)2 : s(a − b)2 .
Estos tres puntos de tangencia forman un triángulo ( triángulo de Feuerbach) perspectivo con
ABC y su centro de perspectividad es el punto de coordenadas
( )
(−a2 + (b − c)2 )(b + c)2 : (−b2 + (c − a)2 )(c + a)2 : (−c2 + (a − b)2 )(a + b)2 ,
—·—
El centro radical de las circunferencias exinscritas (punto de igual potencia respecto a las tres)
es el punto de Spieker (pág 104):
Si un punto (x : y : z) tiene la misma potencia respecto a las tres circunferencias exinscritas,
debe satisfacer al sistema de ecuaciones:
cuya solución son las coordenadas del punto de Spieker, Sp (b + c : c + a : a + b), X10 de ETC.
—·—
Sea α a circunferencia pasando por los puntos medios Mb y Mc de los lados AC y AB,
respectivamente, y tocando internamente a la circunferencia A–exinscrita, Γa , en el punto X.
Similarmente se consideran las circunferencia β y γ tangentes internamente en los puntos Y y
Z a las circunferencias Γb y Γc . Entonces, los triángulos ABC y XY Z son perspectivos, con
centro de perspectividad
( en el punto de coordenadas baricéntricas )
(b + c − a)(b + c)2 : (a − b + c)(a + c)2 : (a + b − c)(a + b)2 .
(Ver http://webpages.ull.es/users/amontes/pdf/ejtr2457.pdf)
Referencias
[1] Coxeter, H. S. M..- ”Barycentric Coordinates.” §13.7 in Introduction to Geometry, 3nd ed.
New York: Wiley, pp. 216-221, 1963.
[2] Eddy, R. H. and Fritsch, R..- ”The Conics of Ludwig Kiepert: A Comprehensive Lesson in
the Geometry of the Triangle.” Math. Mag. 67, 188-205, 1994.
[3] Eves, Howard.- A Survey of Geometry, Allyn and Baker, Inc., 1963.
[4] F(rere). G(abriel).-M(arie)., Exercises de Géométrie 6me Ed., Editions Jacques Gabay, 1991
(reprint OF 1920)
[5] Garcı́a Capitán, Fancisco Javier.- ”Coordenadas baricéntricas.”
Disponible en: ttp://garciacapitan.auna.com/baricentricas/
[8] Grinberg, D. and Yiu, P..- ”The Apollonius Circle as a Tucker Circle.” Forum Geom. 2(2002),
175-182.
[9] Kimberling C. .- ”Triangle Centers and Central Triangles.” Congressus Numerantium 129,
Winnipeg, Canada, 1998.
[12] Lemoine, L. .- ”Queques propiétés des parallèles et des antiparallèles aux còtés d’un triangle.
Bulletin de la S. M. F. 12(1884) 72–78.
Disponible en:
http://archive.numdam.org/ARCHIVE/BSMF/BSMF 1884 12 /BSMF 1884 12 72 0/
BSMF 1884 12 72 0.pdf
[13] Montesdeoca, A.- Geometrı́a proyectiva. Cónicas y Cuádricas. Colección Textos Universitarios.
Gobierno de Canarias. 2001.
Disponible en: http://webpages.ull.es/users/amontes/apuntes/gdh.pdf
[14] Möbius A. F.: Der barycentrische Calcul. Johann Ambrosius Barth, Leipzig, 1827.
[19] Yiu P. : The uses of homogeneous barycentric coordinates in euclidean lane geometry. Int. J.
Math. Educ. Sci. Technol. 31, pp.569-578, 2000. www.math.fau.edu/yiu/barycentricpaper.pdf
[20] Yiu, Paul.- Introduction to Geometry of the Triangle. está disponible en
http://www.math.fau.edu/yiu/GeometryNotes020402.ps
S Í M B O L O S
(X Y U V ) : razón doble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
(λ, µ, ν) : componentes de un vector, respecto al triángulo (λ + µ + ν = 0) . . . . . . . . . . 28
A, B, C : vértices (o ángulos en ellos) del triángulo de referencia ABC . . . . . . . . . . . . . . 2
ABC : triángulo de referencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4
AP , BP , CP : pies de las perpendiculares a los lados de ABC (pedales de P ) . . . . . . . . . . . 34
Bv : punto de Bevan, X40 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Ea , Eb , Ec : puntos medios de cada vértice de ABC y su ortocentro. . . . . . . . . . . . . . . . . . 113
F : punto de Feuerbach, X11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
G: baricentro, X2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Ge : punto de Gergonne, X7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
H : ortocentro, X4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
I : incentro, X1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Ia (ra ), ... : circunferencias exinscritas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Ia , I b , I c : centros de las circunferencias exinscritas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
J : centro de perspectividad de Jacobi, relativo a los ángulos θa , θb y θc . . . . . . 72
J(m, n) : centros de perspectividad de Jacobi (Teorema de Kariya) . . . . . . . . . . . . . . . . . 97
Jp : un centro de perspectividad, relativo al triángulo de Jacobi . . . . . . . . . . . . . . . 72
Jθp : un centro de perspectividad, relativo al triángulo de Jacobi . . . . . . . . . . . . . . . 72
J s (m, n) : simétrico de J(m, n), respecto al punto de Feuerbach. . . . . . . . . . . . . . . . . . . . . 97
Jθ : centro de perspectividad de Jacobi, cuando θa = θ(A, B, C) . . . . . . . . . . . . . . 72
Jk : centro de perspectividad de Jacobi (Teorema de Kariya) . . . . . . . . . . . . . . . . . . 96
Jks : simétrico de Jk , respecto al punto de Feuerbach. . . . . . . . . . . . . . . . . . . . . . . . . . 97
K(± π3 ) : puntos de Fermat, X13 y X14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
K(θ) : centro de perspectividad de Kiepert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
L: punto de De Longschamps, X20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Ma , Mb , Mc : pies de las medianas (puntos medios de los lados de ABC) . . . . . . . . . . . . . . . . 8
Mt : punto intermedio, Mittenpunkt, X9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
N : centro de la circunferencia de los nueve puntos, X5 . . . . . . . . . . . . . . . . . . . . . . 114
Na : punto de Nagel, X8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
O: circuncentro, X3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
SC : S cotag C, (2SC = a2 + b2 − c2 ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Sθ : S cotag θ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
CONTENIDO
1 Introducción 1
9 Coordenadas trilineales 21
9.1 Coordenadas trilineales en términos de coordenadas baricéntricas . . . . . . . . . . 21
9.2 Coordenadas trilineales en términos de coordenadas afines homogéneas . . . . . . . 21
12 Perpendicularidad 31
12.1 Rectas perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
12.2 Alturas y mediatrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
12.3 Recta de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
12.4 Triángulo pedal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
12.5 Puntos de Gergonne y Nagel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
12.6 Punto de De Longschamps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
12.7 Punto intermedio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
12.8 Centros similares al X951 relativos a la circunferencia inscrita . . . . . . . . . . . . 38
12.9 Centros similares a X951 asociados a las circunferencias exinscritas . . . . . . . . . 41
12.10Punto de Bevan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
13 Giro de rectas 47
13.1 Ángulo orientado entre un par ordenado de rectas . . . . . . . . . . . . . . . . . . 47
13.2 Ortocentro como incentro del triángulo órtico . . . . . . . . . . . . . . . . . . . . . 48
13.3 Giros en coordenadas baricéntricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
13.4 Ecuaciones de las simedianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
13.5 Simediano y baricentro de su propio triángulo pedal . . . . . . . . . . . . . . . . . 54
14 Conjugado isogonal 54
14.1 Simétricas de las cevianas respecto a las bisectrices . . . . . . . . . . . . . . . . . . 54
14.2 Construcciones del conjugado isogonal . . . . . . . . . . . . . . . . . . . . . . . . . 55
14.3 Puntos de Brocard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
14.4 Brocardianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
16 Teorema de Jacobi 71
16.1 Centro de perspectividad de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
16.2 Un ejemplo del Teorema de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
16.3 Teorema de Kosnita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
16.4 Diversos casos de triángulos de Kiepert-Morley-Hofstadter . . . . . . . . . . . . . . 75
17 Polaridad trilineal 99
17.1 Conjugado armónico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
17.2 Polar y polo trilineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Referencias 134
Sı́mbolos 136