Coordenadas Baricentricas

*
Francisco J. Garca Capitan
Contenido
1. Coordenadas baricentricas respecto de un un triangulo 3
1.1. Coordenadas baricentricas homogeneas . . . . . . . . . . . . . 3
1.2. Coordenadas baricentricas absolutas . . . . . . . . . . . . . . 5
1.3. Notacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Cevianas y trazas 9
2.1. Teorema de Ceva . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. Area de un triangulo 11
4. Rectas 12
4.1. Ecuacion de la recta . . . . . . . . . . . . . . . . . . . . . . . 12
4.1.1. Ecuacion de la recta que pasa por dos puntos . . . . . 12
4.1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 12
4.2. Rectas paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4.2.1. Puntos del innito y paralela por un punto . . . . . . . 13
4.2.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.3. Intersecci on de dos rectas . . . . . . . . . . . . . . . . . . . . 16
4.3.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.4. Rectas perpendiculares . . . . . . . . . . . . . . . . . . . . . . 18
4.4.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 19
*
Este documento nace de una lectura atenta de solo algunos apartados del trabajo
de Paul Yiu: Introduction to the Geometry of the Triangle. Resolvemos algunos de los
ejercicios all propuestos, e incluimos algunos ejemplos procedentes de otras fuentes.
1
5. Formula de Leibniz 20
5.1. Formula de Leibniz . . . . . . . . . . . . . . . . . . . . . . . . 20
5.2. Aplicacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
6. Calculos con Mathematica 21
6.1. Puntos y rectas . . . . . . . . . . . . . . . . . . . . . . . . . . 21
6.2. Simplicacion de coordenadas . . . . . . . . . . . . . . . . . . 22
6.3. Otro ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.4. B usqueda en la enciclopedia de Kimberling . . . . . . . . . . . 24
2
1. Coordenadas baricentricas respecto de un
un triangulo
1.1. Coordenadas baricentricas homogeneas
Sean u, v, w R tales que u + v + w = 0, y sean A, B, C los vertices
de un triangulo. Para cualquier punto O, sea P el punto del plano tal que
(u+v+w)

OP = u

OA+v

OB+w

OC. Podemos ver que el punto P no depende

de O. En efecto, si (u +v +w)

= u

A +v

B +w

C, entonces
(u + v + w)(

OP) =u(

OA) + v(

OA) + w(

OA) =
=(u + v + w)

O,
de donde

O +

OP =

P y P

= P.
Esto permite denir a P como centro del masas del sistema formado por
los puntos A, B, C con las masas u, v, w.
Las coordenadas baricentricas homogeneas de un punto P respecto al
triangulo ABC es una terna de n umeros (x : y : z) tales que
x : y : z = PBC : PCA : PAB.
El sistema formado por los puntos A, B, C con las masas x, y, z tiene a P
como centro de masas.
P
D
A
C B
c d
a
b
En efecto, considerando la gura,

AD =

AB +

BD =

AB +
c
c+d

BC,

AP =
a
a+b

AD =
a
a+b

AB +
ac
(a+b)(c+d)

BC,

OP

OA =
a
a+b
_

OB

OA
_
+
ac
(a+b)(c+d)
_

OC

OB
_
,

OP =
b
a+b

OA +
ad
(a+b)(c+d)

OB +
ac
(a+b)(c+d)

OC.
Entonces, P es el centro de masas de los puntos A, B, C
con las masas b(c +d), ad y ac. Pero,
ad
ac
=
DC
BD
=
ADC
ABD
=
PDC
PBD
=
ADC PDC
ABD PBD
=
PCA
PAB
.
Esto comprueba que y : z = PCA : PAB. Para comprobar las otras
relaciones bastara considerar una gura en la que D estuviera en otro de los
lados de ABC.
3
Ejemplos
A
C B
G
A
C B
I
A
C B
O
1. El baricentro G tiene coordenadas baricentricas homogeneas (1 : 1 : 1),
ya que las areas GBC, GCA y GAB son iguales.
2. El incentro I tiene coordenadas baricentricas homogeneas a : b : c,
ya que si r es el radio de la circunferencia inscrita, las areas de los
triangulos IBC, ICA e IAB son, respectivamente
1
2
ar,
1
2
br y
1
2
cr.
3. El circuncentro O. Si R es el radio de la circunferencia circunscrita, las
coordenadas de O son
OBC : OCA : OAB =
=
1
2
R
2
sen 2A :
1
2
R
2
sen 2B :
1
2
R
2
sen 2C =
=sen Acos A : sen Bcos B : sen C cos C =
=a
b
2
+c
2
a
2
2bc
= b
c
2
+a
2
b
2
2ac
= c
a
2
+b
2
c
2
2ab
=
=a
2
(b
2
+c
2
a
2
) : b
2
(c
2
+a
2
b
2
) : c
2
(a
2
+b
2
c
2
).
4. Los puntos de la recta BC tienen coordenadas de la forma (0 : y : z).
De la misma forma, los puntos de CA y AB tienen coordenadas de las
formas (x : 0 : z) y (x : y : 0), respectivamente.
Ejercicios
1. Comprobar que la suma de las coordenadas del circuncentro dadas
anteriormente es 4S
2
, siendo S el area del triangulo ABC.
Teniendo en cuenta la formula de Heron para el area del triangulo y
haciendo un poco de manipulacion algebraica,
4
a
2
(b
2
+c
2
a
2
) +b
2
(c
2
+a
2
b
2
) +c
2
(a
2
+b
2
c
2
) =
=2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
a
4
b
4
c
4
=
=(a +b +c)(a +b +c)(a b +c)(a +b c) =
=4 4
a +b +c
2

a +b +c
2

a b +c
2

a +b c
2
=
=4S
2
.
2. Hallar las coordenadas de los excentros.
Consideramos la gura siguiente en la que se muestran el triangulo
ABC, el excentro I
b
, centro de la circunferencia exinscrita que toca al
lado AC y a las prolongaciones de BC y BA.
B C
A
I
r
b
b
Las coordenadas baricentricas de I
b
son
I
b
BC : I
b
CA : I
b
AB = ar
b
: br
b
: cr
b
= a : b : c.
Observemos que la orientaci on del triangulo I
b
CA es distinta de la de los
otros dos, y por ello resulta signo negativo en la segunda coordenadas. De
igual forma obtenemos que I
a
= (a : b : c) y que I
c
= a : b : c.
1.2. Coordenadas baricentricas absolutas
Sea P un punto con coordenadas (baricentricas homogeneas) (x : y : z).
Si x +y +z == 0, obtenemos unas coordenadas absolutas normalizando los
coecientes para que sumen la unidad:
P =
x A +y B +z C
x +y +z
.
5
Dadas las coordenadas baricentricas absolutas de P y Q, el punto que
divide a PQ en razon PX : XQ = p : q tendra coordenadas baricentricas
absolutas
qP+pQ
p+q
. Sin embargo, es conveniente evitar los denominadores de las
fracciones en los calculos. Por ello, adaptamos esta formula de la siguiente
manera: Si P = (u : v : w) y Q = (u

: v

: w

) son coordenadas baricentricas

homogeneas cumpliendo u + v + w = u

+ v

+ w

, entonces el punto X que

divide a PQ en la razon PX : XQ = p : q tiene coordenadas homogeneas
(qu +pu

: qv +pv

: qw +pw

).
Ejercicios
1. El ortocentro esta en la recta de Euler y divide al segmento OG externa-
mente en la razon 3 : 2. Demostrar que sus coordenadas baricentricas
pueden escribirse
H = (tan A : tan B : tan C),
o equivalentemente,
H =
_
1
b
2
+c
2
a
2
:
1
c
2
+a
2
b
2
:
1
a
2
+b
2
c
2
_
.
Hemos visto que
O =
_
a
2
(b
2
+c
2
a
2
) : b
2
(c
2
+a
2
b
2
) : c
2
(a
2
+b
2
c
2
)
_
,
G = (1, 1, 1),
siendo 3 la suma de coordenadas de G y 4S
2
la suma de las de O.
Lo primero que hacemos es multiplicar un factor adecuado las coorde-
nadas de cada punto para que ambas sumen lo mismo, en este caso,
12S
2
:
O =
_
3a
2
(b
2
+c
2
a
2
) : 3b
2
(c
2
+a
2
b
2
) : 3c
2
(a
2
+b
2
c
2
)
_
,
G = (4S
2
, 4S
2
, 4S
2
).
La primera coordenada de H sera
(2)3a
2
(b
2
+c
2
a
2
) + 3 4S
2
=
=6(a
2
b
2
+a
2
c
2
a
4
) + 3(2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
a
4
b
4
c
4
) =
=3a
4
3b
4
+ 6b
2
c
2
3c
4
=
=3(a
2
b
2
+c
2
)(a
2
+b
2
c
2
).
6
De la misma forma obtenemos 3(a
2
+b
2
+c
2
)(a
2
+b
2
c
2
) como segunda
coordenada y 3(a
2
+ b
2
+ c
2
)(a
2
b
2
+ c
2
) como tercera. Dividiendo
por
(a
2
+b
2
+c
2
)(a
2
b
2
+c
2
)(a
2
+b
2
c
2
)
obtenemos que
H =
_
1
b
2
+c
2
a
2
:
1
c
2
+a
2
b
2
:
1
a
2
+b
2
c
2
_
.
Ahora,
1
b
2
+c
2
a
2
=
1
2bc
b
2
+c
2
a
2
2bc
=
sen A
S
cos A
=
tan A
S
,
y analogamente para las otras dos coordenadas, resultando
H = (tan A : tan B : tan C).
2. Usar que el centro N de la circunferencia de los nueve puntos divide
al segmento OG en la razon ON : NG = 3 : 1 para obtener que sus
coordenadas baricentricas pueden escribirse
N = (a cos(B C) : b cos(C A) : c cos(A B)).
Partiendo de
O =
_
3a
2
(b
2
+c
2
a
2
) : 3b
2
(c
2
+a
2
b
2
) : 3c
2
(a
2
+b
2
c
2
)
_
,
G = (4S
2
, 4S
2
, 4S
2
),
la primera coordenada de N sera
(1)3a
2
(b
2
+c
2
a
2
) + 3 4S
2
=
= 3a
2
b
2
3a
2
c
2
+ 3a
4
+ 3(2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
a
4
b
4
c
4
)
= 3(a
2
b
2
+a
2
c
2
+ 2b
2
c
2
b
4
c
4
).
Para obtener el resultado buscado usamos las formulas
cos B =
a
2
+c
2
b
2
2ac
, S = ac sen B
7
y las correspondientes para el angulo C. Entonces,
cos(B C) =cos Bcos C + sen Bsen C =
=
a
2
+c
2
b
2
2ac

a
2
+b
2
c
2
2ab
+
S
ac
S
ab
=
=
(a
2
+c
2
b
2
)(a
2
+b
2
c
2
) + 4S
2
4a
2
bc
=
=
2a
2
b
2
+ 2a
2
c
2
+ 4b
2
c
2
2b
4
2c
4
4a
2
bc
=
=
1
a

a
2
b
2
+a
2
c
2
+ 2b
2
c
2
b
4
c
4
2abc
.
De aqu es facil concluir que
N = (a cos(B C) : b cos(C A) : c cos(A B)).
1.3. Notacion
Si es un angulo cualquiera y S es el doble del area del triangulo ABC,
denimos S

= S cot . Como caso particular,

S
A
=
b
2
+c
2
a
2
2
, S
B
=
c
2
+a
2
b
2
2
, S
C
=
a
2
+b
2
c
2
2
.
Para dos angulos y , denimos S

= S

.
Con esta notacion, se cumplen las siguientes relaciones:
1. S
B
+S
C
= a
2
, S
C
+S
A
= b
2
, S
A
+S
B
= c
2
.
2. S
AB
+S
BC
+S
CA
= S
2
.
La primera relacion es evidente. Para demostrar la segunda, debemos
demostrar la identidad
cot Acot B + cot Bcot C + cot C cot A = 1.
8
Para ello, hacemos
cot Acot B + cot Bcot C + cot C cot A =
=cot A(cot B + cot C) + cot Bcot C =
=
cos A
sen A
_
cos B
sen B
+
cos C
sen C
_
+
cos B
sen B

cos C
sen C
=
=
cos A
sen A

sen C cos B + sen Bcos C
sen Bsen C
+
cos B
sen B

cos C
sen C
=
=
cos A
sen A

sen(B +C)
sen Bsen C
+
cos B
sen B

cos C
sen C
=
=
cos A
sen Bsen C
+
cos Bsen C
sen Bsen C
=
=
cos Bcos C cos(B +C)
sen Bsen C
=
=
sen Bsen C
sen Bsen C
= 1.
Ejemplos
1. El ortocentro tiene coordenadas
_
1
S
A
:
1
S
B
:
1
S
C
_
= (S
BC
: S
CA
: S
AB
) .
2. El circuncentro tiene coordenadas
_
a
2
S
A
: b
2
S
B
: c
2
S
C
_
= (S
A
(S
B
+S
C
) : S
B
(S
C
+S
A
) : S
C
(S
A
+S
B
)) .
En esta forma, la suma de las coordenadas es 2(S
AB
+S
BC
+S
CA
) = 2S
2
.
2. Cevianas y trazas
B C
A
A
B
C
P
P
P
P
Llamamos cevianas de un punto P a las rectas
que lo unen con los vertices del triangulo de refe-
rencia ABC. Las intersecciones A
P
, B
P
, C
P
de esta
cevianas con los lados del triangulo se llaman trazas
de P. Las coordenadas de las trazas pueden obtenerse
facilmente:
A
P
= (0 : y : z), B
P
= (x : 0 : z), C
P
= (x : y : 0).
9
2.1. Teorema de Ceva
Tres puntos X, Y, Z sobre BC, CA y AB respectivamente son las trazas
de un punto si y solo si tienen coordenadas de la forma X = (0 : y : z),
Y = (x : 0 : z) y Z = (x : y : 0) para ciertos x, y, z.
2.2. Ejemplos
El punto de Gergonne
Los puntos de tangencia de la circunferencia inscrita con los lados son
X = (0 : s c : s b), Y = (s c : 0 : s a) y Z = (s b : s a : 0)
que pueden reorganizarse como X = (0 :
1
sb
:
1
sc
), Y = (
1
sa
: 0 :
1
sc
) y
Z = (
1
sa
:
1
sb
: 0). Por tanto, AX, BY y CZ se cortan en un punto con
coordenadas (
1
sa
:
1
sb
:
1
sc
), que se conoce como el punto de Gergonne G
e
del triangulo ABC.
A
B C X'
Y'
Z'
N
El punto de Nagel
Los puntos de tangencia de las cir-
cunferencias exinscritas con los lados del
triangulo tienen coordenadas
X

= (0 : s b : s c),
Y

= (s a : 0 : s c),
Z

= (s a : s b : 0).
Estas son las trazas del punto de coorde-
nadas (sa : sb : sc), que se conoce
como punto de Nagel N
a
del triangulo
ABC.
Ejercicio
1. El punto de Nagel N
a
esta en la recta que une el baricentro y el incentro
y divide a IG en la razon IN
a
: N
a
G = 3 : 2.
En efecto, como las coordenadas de I = (a : b : c) y G = (1 : 1 : 1)
suman respectivamente 2s y 3, las expresamos de manera que I = (3a :
3b : 3c) y G = (2s : 2s : 2s) en las que ambas suman 6s. Entonces,
2I + 3G = (6s 6a : 6s 6b : 6s 6c) = (s a : s b : s c) = N
a
.
10
3. Area de un triangulo
Si P = (x
1
, y
1
), Q = (x
2
, y
2
) y R = (x
3
, y
3
) son tres puntos del plano,
entonces el area (PQR) del triangulo PQR viene dada por
(PQR) =
1
2

1 1 1
x
1
x
2
x
3
y
1
y
2
y
3

.
Si las coordenadas baricentricas homogeneas P, Q y R respecto del trian-
gulo ABC son P = (u
1
: v
1
: w
1
), Q = (u
2
: v
2
: w
2
) y R = (u
3
: v
3
: w
3
),
entonces,
(u
1
+v
1
+w
1
)P = u
1
A +v
1
B +w
1
C,
(u
2
+v
2
+w
2
)Q = u
2
A +v
2
B +w
2
C,
(u
3
+v
3
+w
3
)R = u
3
A +v
3
B +w
3
C,
Siendo A = (r
1
, s
1
), B = (r
2
, s
2
) y C = (r
3
, s
3
), estas igualdades pueden
escribirse en la forma
(u
1
+v
1
+w
1
)x
1
= u
1
r
1
+v
1
r
2
+w
1
r
3
,
(u
1
+v
1
+w
1
)y
1
= u
1
s
1
+v
1
s
2
+w
1
s
3
,
(u
2
+v
2
+w
2
)x
2
= u
2
r
1
+v
2
r
2
+w
2
r
3
,
(u
2
+v
2
+w
2
)y
2
= u
2
s
1
+v
2
s
2
+w
2
s
3
,
(u
3
+v
3
+w
3
)x
3
= u
3
r
1
+v
3
r
2
+w
3
r
3
,
(u
3
+v
3
+w
3
)y
3
= u
3
s
1
+v
3
s
2
+w
3
s
3
.
y entonces
(u
1
+v
1
+w
1
)(u
2
+v
2
+w
2
)(u
3
+v
3
+w
3
)(PQR) =
=
1
2

u
1
+v
1
+w
1
u
2
+v
2
+w
2
u
3
+v
3
+w
3
(u
1
+v
1
+w
1
)x
1
(u
2
+v
2
+w
2
)x
2
(u
3
+v
3
+w
3
)x
3
(u
1
+v
1
+w
1
)x
1
(u
2
+v
2
+w
2
)y
2
(u
3
+v
3
+w
3
)y
3

=
=
1
2

u
1
+v
1
+w
1
u
2
+v
2
+w
2
u
3
+v
3
+w
3
u
1
r
1
+v
1
r
2
+w
1
r
3
u
2
r
1
+v
2
r
2
+w
2
r
3
u
3
r
1
+v
3
r
2
+w
3
r
3
u
1
s
1
+v
1
s
2
+w
1
s
3
u
2
s
1
+v
2
s
2
+w
2
s
3
u
3
s
1
+v
3
s
2
+w
3
s
3

=
=
1
2

u
1
v
1
w
1
u
2
v
2
w
2
u
3
v
3
w
3

1 r
1
s
1
1 r
2
s
2
1 r
3
s
3

u
1
v
1
w
1
u
2
v
2
w
2
u
3
v
3
w
3

(ABC).
11
Cuando las coordenadas homogeneas de P, Q y R esten normalizadas,
tendremos
(PQR) =

u
1
v
1
w
1
u
2
v
2
w
2
u
3
v
3
w
3

(ABC).
4. Rectas
4.1. Ecuacion de la recta
4.1.1. Ecuacion de la recta que pasa por dos puntos
Teniendo en cuenta la formula del area del triangulo vista en la seccion
anterior, La ecuacion de la recta que une dos puntos con coordenadas ba-
ricentricas homogeneas (u
1
: v
1
: w
1
) y (u
2
: v
2
: w
2
) vendr a dada por

u
1
v
1
w
1
u
2
v
2
w
2
x y z

= 0.
4.1.2. Ejemplos
1. Las ecuaciones de los lados BC, CA y AB son, respectivamente, x = 0,
y = 0 y z = 0. Por ejemplo, como B = (0 : 1 : 0) y C = (0 : 0 : 1), la
recta BC tendra por ecuacion

0 1 0
0 0 1
x y z

= 0 x = 0.
2. La ecuacion de la mediatriz de BC es (b
2
c
2
)x + a
2
(y z) = 0. En
efecto, esta recta pasa por el punto medio de BC, con coordenadas
(0 : 1 : 1) y por el circuncentro O de ABC, con coordenadas
a
2
(b
2
+c
2
a
2
) : b
2
(c
2
+a
2
b
2
) : c
2
(a
2
+b
2
c
2
).
12
Entonces, la ecuacion de la mediatriz de BC es

0 1 1
a
2
(b
2
+c
2
a
2
) b
2
(a
2
+c
2
b
2
) c
2
(a
2
+b
2
c
2
)
x y z

= 0
(a
2
c
2
c
4
a
2
b
2
+b
4
)x a
2
(b
2
+c
2
a
2
)(y z) = 0
(a
2
c
2
c
4
a
2
b
2
+b
4
)x +a
2
(b
2
+c
2
a
2
)(y z) = 0
(b
2
+c
2
a
2
)((b
2
c
2
)x +a
2
(y z)) = 0
(b
2
c
2
)x +a
2
(y z) = 0.
3. La bisectriz del angulo A es la recta que une el vertice A = (1 : 0 : 0)
y el incentro (a : b : c). Su ecuacion sera:

1 0 0
a b c
x y z

= 0 cy bz = 0.
4.2. Rectas paralelas
4.2.1. Puntos del innito y paralela por un punto
Para obtener la ecuacion de una recta paralela a una recta dada conside-
ramos los puntos del innito. Cada recta tiene un punto del innito y todos
los puntos del innito estan en una recta del innito. La ecuacion de esta
recta es x +y +z = 0, ya que si x +y +z = 0 resulta un punto real.
El punto del innito de la recta px+qy+rz = 0 es (qr : rp : pq), ya
que este punto esta en dicha recta y es un punto innito, pues sus coordenadas
suman 0.
Por otro lado, si P = (u
1
: v
1
: w
1
) y Q = (u
2
: v
2
: w
2
), siendo
u
1
+v
1
+w
1
= u
2
+v
2
+w
2
, resulta que el punto del innito de la recta PQ
es (u
1
v
1
, u
2
v
2
, u
3
v
3
).
La recta que pasa por P = (u : v : w) paralela a px + qy + rz = 0 tiene
por ecuacion

q r r p p q
u v w
x y z

= 0.
13
4.2.2. Ejercicios
1. Hallar las ecuaciones de las rectas paralelas por P = (u : v : w) a los
lados del triangulo.
La recta BC tiene por ecuacion x = 0, y su punto del innito es
(0, 1, 1) (basta restar las coordenadas de B y C). La paralela a BC
que pasa por P = (u : v : w) es

0 1 1
u v w
x y z

= 0 (v +w)x u(y +z) = 0.

Las paralelas a CA y AB seran, respectivamente, (w+u)yv(x+z) = 0
y (u +v)z w(x +y) = 0.
2. Sea DEF el triangulo medial de ABC. Dado un punto P, llamemos
XY Z al triangulo ceviano respecto de ABC y UV W al triangulo medial
de XY Z. Determinar el punto P de manera que las rectas DU, EV y
FW sean paralelas a las bisectrices interiores de los angulos A, B y C
respectivamente.
Tenemos:
A = (1 : 0 : 0), B = (0 : 1 : 0), C = (0 : 0 : 1),
D = (0 : 1 : 1), E = (1 : 0 : 1), F = (1 : 1 : 0),
X = (0 : v : w), Y = (u : 0 : w), Z = (u : v : 0).
Como
Y = (u : 0 : w) = ((u +v)u : 0 : (u +v)w),
Z = (u : v : 0) = ((u +w)u : (u +w)v : 0),
resulta, sumando, que
U = ((2u +v +w)u : (u +w)v : (u +v)w).
Si la recta DU es paralela a la bisectriz del angulo A, ambas rectas
tendran el mismo punto del innito. Como 2u
2
+ uv + uw + vw es la
suma de las coordenadas de U, consideramos
D = (0 : u
2
+uv +uw +vw : u
2
+uv +uw +vw),
14
y restando las coordenadas de D y las de U obtenemos que el punto
del innito de la recta DU es
(2u
2
+uv +uw, u
2
uw : u
2
uv) = (2u+v +w, uw : uv).
La bisectriz del angulo A pasa por los puntos A = (a + b + c : 0 : 0) e
I = (a, b, c), por lo que su punto del innito es (b +c, b, c).
Para que se trate del mismo punto del innito debe ser u + w = kb,
u + v = kc para alg un cierto k. Haciendo lo mismo para EV y FW,
obtendramos las condiciones similares
_
v +u = hc
v +w = ha
,
_
w +u = tb
w +v = ta
para ciertos h y t. De aqu deducimos que k = h = t y que u, v, w deben
ser las soluciones del sistema
_

_
u +v = kc
u +w = kb
v +w = ka
,
es decir, u = k(b + c a), v = k(a + c b), w = k(a + b c) o bien,
P = (b +c a : a +c b : a +b c) es el punto de Nagel del triangulo
ABC.
A
B C X D
Y
Z
E
F
U
V
W
P
15
4.3. Interseccion de dos rectas
La interseccion de dos rectas
_
p
1
x +q
1
y +r
1
z = 0,
p
2
x +q
2
y +r
2
z = 0
es el punto
_

q
1
r
1
q
2
r
2

p
1
r
1
p
2
r
2

p
1
q
1
p
2
q
2

_
.
El punto del innito de una recta l puede considerarse la intersecci on de l
con la recta del innito l

: x +y +z = 0.
Tres rectas p
i
x +q
i
y +r
i
z = 0, i = 1, 2, 3 son concurrentes si solo si

p
1
q
1
r
1
p
2
q
2
r
2
p
3
q
3
r
3

= 0.
4.3.1. Ejemplos
1. Sea DEF el triangulo medial de ABC. Hallar la ecuacion de la recta
uniendo D con el excentro I
a
= (a : b : c). Analogamente, hallar las
ecuaciones de las rectas que unen E con I
b
y F con I
c
. Demostrar que
estas tres rectas son concurrentes, hallando las coordenadas del punto
com un.
La ecuacion de la recta DI
a
es

x y z
0 1 1
a b c

= 0 (b c)x +ay az = 0.
Analogamente tendremos
EI
b
: bx + (c a)y +bz = 0.
FI
c
: cx cy + (a b)z = 0.
Para demostrar que las tres rectas son concurrentes comprobamos que
el determinante formado por sus coecientes se anula:

b c a a
b c a b
c c a b

c c b a
b c a b
c c a b

= 0.
16
(El segundo determinante es nulo, por tener dos las proporcionales, y
se obtiene del primero sustituyendo la primera la por la suma de las
dos primeras).
Para hallar el punto com un a las tres rectas, resolvemos el sistema
formado por las dos primeras:
(x : y : z) =
_

a a
c a b

b c a
b b

b c a
b c a

_
=
=(a(b +c a) : b(a +c b) : c(a +b c)) =
=(a(s a) : b(s b) : c(s c)) ,
que es el llamado Mittenpunkt.
2. Sean D, E, F los puntos medios de los lados BC, CA, AB del triangu-
lo ABC, y X, Y, Z los puntos medios de las alturas desde A, B, C,
respectivamente. Hallar las ecuaciones de las rectas DX, EY y FZ, y
demostrar que son concurrentes. Cuales son las coordenadas del punto
de intersecci on?
Sabemos que el ortocentro es H = (S
BC
: S
CA
: S
AB
), as que el pie
de la altura desde A es A
H
= (0 : S
CA
: S
AB
) = (0 : S
C
: S
B
), con
S
C
+ S
B
= a
2
. Entonces, el punto medio de A
H
y A = (a
2
: 0 : 0) es
X = (a
2
: S
C
: S
B
). La ecuacion de la recta DX es

x y z
0 1 1
a
2
S
C
S
B

x y z y
0 1 0
a
2
S
C
S
B
S
C

= (S
B
S
C
)x +a
2
y a
2
z = 0.
Como S
B
S
C
= c
2
b
2
, resulta que DX : (c
2
b
2
)x +a
2
y a
2
z = 0.
Analogamente obtenemos que
EY : b
2
x + (a
2
c
2
)y +b
2
z = 0,
FZ : c
2
x c
2
y + (b
2
a
2
)z = 0.
Como

c
2
b
2
a
2
a
2
b
2
a
2
c
2
b
2
c
2
c
2
b
2
a
2

= 0
ya que, por ejemplo, la primera la es la suma de las otras dos, las tres
rectas son concurrentes.
17
Para hallar el punto de intersecci on, resolvemos el sistema formado por
las dos primeras:
(x : y : z) =
=
_

a
2
a
2
a
2
c
2
b
2

c
2
b
2
a
2
b
2
b
2

c
2
b
2
a
2
b
2
a
2
c
2

_
=
=
_
a
2
(a
2
+ b
2
c
2
) : b
2
(a
2
+ b
2
c
2
) : c
2
(a
2
+ b
2
c
2
)
_
=
=(a
2
: b
2
: c
2
),
y las tres rectas se cortan en el punto simediano de ABC.
4.4. Rectas perpendiculares
Dada una recta L : px + qy + rz = 0, hallemos el punto del innito de
las rectas perpendiculares a ella. La recta L corta a las rectas CA y AB en
los puntos Y = (r : 0 : p) y Z = (q : p : 0). Para hallar la perpendicular
desde A a L, primero hallaremos las ecuaciones de las perpendiculares desde
Y a AB y desde Z a CA. Estas son

S
B
S
A
c
2
r 0 p
x y z

= 0,

S
C
b
2
S
A
q p 0
x y z

= 0,
o bien
S
A
px + (c
2
r S
B
p)y +S
A
rz = 0,
S
A
px +S
A
qy + (b
2
q S
C
p)z = 0.
A
B C
Z
Y
X'
El punto de intersecci on de ambas rectas, ortocentro del triangulo AY Z,
es
X

=( : S
A
p(S
A
r b
2
q +S
C
p) : S
A
p(S
A
q +S
B
p c
2
r)) =
( : S
C
(p q) S
A
(q r) : S
A
(q r) S
B
(r p)),
18
teniendo en cuenta que S
A
+S
C
= b
2
y S
A
+S
B
= c
2
.
La perpendicular a L desde A es la recta AX

, cuya ecuacion es

1 0 0
S
C
(p q) S
A
(q r) S
A
(q r) S
B
(r p)
x y z

= 0,
o (S
A
(q r) S
B
(r p))y + (S
C
(p q) S
A
(q r))z = 0.
Entonces, llamando (f : g : h) = (q r : r p : pq) al punto del innito
de la recta L, la perpendicular a L desde A tiene ecuacion
(S
A
f S
B
g)y + (S
C
h S
A
f)z = 0,
con (f

: g

: h

) = (S
B
g S
C
h : S
C
h S
A
f : S
A
f S
B
g) como punto del
innito, punto que pertenecera a cualquier recta perpendicular a L.
4.4.1. Ejemplos
1. Demostrar que son concurrentes las perpendiculares a los lados de un
triangulo por los puntos de contacto con las circunferencias exinscritas.
Sean X = (0 : s b : s c), Y = (s a : 0 : s c) y Z = (s a : s b : 0) los
puntos de contacto de las circunferencias exinscritas con los lados BC, CA
y AB, respectivamente.
El punto del innito del lado BC es (0 : 1 : 0) (0 : 0 : 1) = (0 : 1 : 1).
El punto del innito de cualquier perpendicular a BC es
(S
B
1 S
C
(1) : S
C
(1) S
A
0 : S
A
0 S
B
1) =
=(S
B
+S
C
: S
C
: S
B
) = (a
2
, S
C
, S
B
).
y la perpendicular a BC por X tiene la ecuacion

0 s b s c
a
2
S
C
S
B
x y z

= 0,
que es equivalente a la ecuacion s(b c)x +a(s c)y a(s b)z = 0.
Procediendo de forma analoga obtenemos la perpendicular a CA por Y
y la perpendicular a AB por Z:
19
b(s c)x +s(c a)y +b(s a)z = 0,
c(s b)x c(s a)y +s(a b)z = 0.
Como al sumar las tres ecuaciones obtenemos la identidad 0 = 0, las tres
ecuaciones no son independientes y las tres rectas se cortan en un punto.
5. Formula de Leibniz
5.1. Formula de Leibniz
Sean (u : v : w) las coordenadas baricentricas de un punto Q respecto del
triangulo ABC. Entonces, se cumplira que u

QA +v

QB +w

QC =

0 .
Para cualquier punto P se cumplen
u

PA
2
=uPQ
2
+uQA
2
+ 2u

PQ

QA,
v

PB
2
=vPQ
2
+vQB
2
+ 2v

PQ

QB,
w

PC
2
=wPQ
2
+wQC
2
+ 2w

PQ

QC.
y, sumando, obtenemos la formula de Leibniz:
uPA
2
+vPB
2
+wPC
2
= (u +v +w)PQ
2
+uQA
2
+vQB
2
+wQC
2
.
5.2. Aplicacion
Si Q = I = (a : b : c), entonces
aPA
2
+bPB
2
+cPC
2
= (a +b +c)PI
2
+aIA
2
+bIB
2
+cIC
2
,
de donde deducimos que aPA
2
+ bPB
2
+ cPC
2
es mnimo cuando P es el
incentro de ABC.
20
6. Calculos con Mathematica
Dedicamos esta seccion a mostrar como podemos usar el programa de
calculo simb olico Mathematica para efectuar operaciones con coordenadas
baricentricas.
6.1. Puntos y rectas
Usaremos una terna {u,v,w} (formalmente una lista con tres elementos)
para representar tanto al punto de coordenadas (u : v : w) como a la recta
ux + vy + wz = 0. As, para representar al punto A y al punto medio M de
BC escribiremos
ptA 1, 0, 0;
ptM 0, 1, 1;
El punto y coma, aparte de separar las instrucciones, evita que Mathe-
matica muestre el resultado de cada operacion, que en este caso se reduce a
asignar un valor a una variable.
Ahora, para hallar la ecuacion de la mediana AM tenemos en cuenta el
apartado 4.1.1 y escribimos
Det[{ptA, ptM, {x, y, z}}]
y z
y obtenemos que la mediana AM tiene ecuacion y +z = 0.
Podemos representar una recta por la terna formada por sus coecientes,
y podemos denir una funcion que calcule dichos coecientes a partir de
la ternas que identican a dos puntos de la recta. Llamaremos Unir a esta
funcion:
Unir[{x1_, y1_, z1_}, {x2_, y2_, z2_}] :
]Det]]
y1 z1
y2 z2
, Det]]
x1 z1
x2 z2
, Det]]
x1 y1
x2 y2
);
Usando esta funcion con los puntos A y M, obtenemos:
UnirptA, ptM
0, 1, 1
Teniendo en cuenta el apartado 4.3, la funcion Unir que acabamos de
denir y usar nos puede servir tambien para hallar el punto de interseccion
de dos rectas, ya que la formula es la misma. para As, hallar el punto de
intersecci on de las medianas AM y BN se podemos escribir:
21
ptA 1, 0, 0;
ptB 0, 1, 0;
ptM 0, 1, 1;
ptN 1, 0, 1;
UnirUnirptA, ptM, UnirptB, ptN
1, 1, 1
Como sabemos, estas son las coordenadas del baricentro.
Teniendo en cuenta la seccion 3 y el apartado 4.3, para determinar tanto
si tres puntos estan alineados como si tres rectas son concurrentes, basta
comprobar que el determinante de las tres ternas se anule.
As, para resolver con Mathematica el ejercicio 2 de la pagina 17 escribi-
riamos
SA
b
2
c
2
a
2

2
; SB
c
2
a
2
b
2

2
; SC
a
2
b
2
c
2

2
;
ptD 0, 1, 1; ptX a
2
, SC, SB;
ptE 1, 0, 1; ptY SC, b
2
, SA;
ptF 1, 1, 0; ptZ SB, SA, c
2
;
DetUnirptD, ptX, UnirptE, ptY, UnirptF, ptZ
UnirUnirptE, ptY, UnirptF, ptZ
0
a
4
a
2
b
2
a
2
c
2
, a
2
b
2
b
4
b
2
c
2
, a
2
c
2
b
2
c
2
c
4

Obtenemos que las tres rectas DX, EY y FZ son concurrentes, y que el

punto de interseccion es
(a
2
(a
2
b
2
c
2
), b
2
(a
2
b
2
c
2
) : c
2
(a
2
b
2
c
2
)) = (a
2
: b
2
: c
2
),
es decir el punto simediano.
6.2. Simplicacion de coordenadas
Sabemos que las coordenadas baricentricas son unicas salvo un factor de
proporcionalidad, por lo que es conveniente simplicar los resultados para
identicar mas facilmente a un determinado punto o recta.
As en el ejercicio que acabamos de hacer, sera conveniente que Mathe-
matica hubiera ofrecido el resultado simplicado (a
2
: b
2
: c
2
) en lugar de
tener que hacerlo despues manualmente.
22
Para conseguir esto, denimos una funcion Simplificar que divide una
terna por su maximo com un divisor y la usamos en la funcion Unir:
Simplificar[ p_] : Factor]
p

PolynomialGCD[p1], p2], p3]]
;
Unir[{x1_, y1_, z1_}, {x2_, y2_, z2_}] :
Simplificar]]Det]]
y1 z1
y2 z2
, Det]]
x1 z1
x2 z2
, Det]]
x1 y1
x2 y2
);
SA
b
2
c
2
a
2

2
; SB
c
2
a
2
b
2

2
; SC
a
2
b
2
c
2

2
;
ptD {0, 1, 1}; ptX {a
2
, SC, SB};
ptE {1, 0, 1}; ptY {SC, b
2
, SA};
ptF {1, 1, 0}; ptZ {SB, SA, c
2
};
Det[{Unir[ptD, ptX], Unir[ptE, ptY], Unir[ptF, ptZ]}]
Unir[Unir[ptE, ptY], Unir[ptF, ptZ]]
0
a
2
, b
2
, c
2

Ahora el resultado es mas aceptable.

6.3. Otro ejemplo
En el ejemplo 1 de la pagina 19 demostrabamos que eran concurrentes las
perpendiculares trazadas por los puntos de tangencia de las circunferencias
exinscritas.
Habamos obtenido que (a
2
, S
C
, S
B
) es el punto del innito de cualquier
recta perpendicular a BC, y analogamente, (S
C
, b
2
, S
A
) y (S
B
, S
A
, c
2
)
seran los puntos del innito de rectas perpendiculares a CA y AB, respecti-
vamente.
Para hallar el punto de concurrencia hacemos:
23
Simplificar[ p_] : Factor[p/PolynomialGCD[p1], p2], p3]]];
Unir[{x1_, y1_, z1_}, {x2_, y2_, z2_}] :
Simplificar]]Det]]
y1 z1
y2 z2
, Det]]
x1 z1
x2 z2
, Det]]
x1 y1
x2 y2
);
s
a b c

2
; SA
b
2
c
2
a
2

2
; SB
c
2
a
2
b
2

2
; SC
a
2
b
2
c
2

2
;
ptX {0, s b, s c};
ptY {s a, 0, s c};
ptZ {s a, s b, 0};
piPerpendicularBC {a
2
, SC, SB};
piPerpendicularCA {SC, b
2
, SA};
piPerpendicularAB {SB, SA, c
2
};
ptP Unir[Unir[ptX, piPerpendicularBC], Unir[ptY, piPerpendicularCA]]
a a
3
a
2
b a b
2
b
3
a
2
c 2 a b c b
2
c a c
2
b c
2
c
3
,
b a
3
a
2
b a b
2
b
3
a
2
c 2 a b c b
2
c a c
2
b c
2
c
3
,
c a
3
a
2
b a b
2
b
3
a
2
c 2 a b c b
2
c a c
2
b c
2
c
3

6.4. B usqueda en la enciclopedia de Kimberling

Una vez hallado un punto relacionado con el triangulo podemos querer
saber de que punto se trata o, incluso, si este punto es conocido.
Clark Kimberling ha recopilado en su Encyclopedia of Triangle Centers
miles de puntos relacionados con el triangulo. Ademas, ha establecido un
sistema de b usqueda, consistente en una tabla con la distancia del punto al
lado menor del triangulo con lados a = 6, b = 9 y c = 13.
Tendremos un triangulo de estas caractersticas si consideramos los verti-
ces
A =
_

13
3
,
4

35
3
_
, B = (6, 0), C = (0, 0).
En este caso la distancia especicada por Kimberling vendr a dada por la
segunda coordenada del punto.
Como ejemplo, vamos a identicar el punto obtenido en el apartado an-
terior. Vemos que sus coordenadas baricentricas son de la forma f(a, b, c) :
f(b, c, a) : f(c, a, b), siendo f una funcion de las variables a, b, c. Denimos
una funcion Kimberling que halla las coordenadas cartesianas el punto aso-
ciado a la funcion f:
24
Kimberling[f_] : Module]{ptA, ptB, ptC, u, v, w},
ptA ]
13

3
,
4
_-------
35

3
); ptB {6, 0}; ptC {0, 0};
a 6; b 9; c 13;
u f[a, b, c];
v f[b, c, a];
w f[c, a, b] ;
u ptA v ptB w ptC

u v w

El uso de Module hace que las variables que intervienen se consideren
locales.
Ahora, denimos la funcion f y usamos Kimberling con ella:
fa_, b_, c_ : a a
3
a
2
b a b
2
b
3
a
2
c 2 a b c b
2
c a c
2
b c
2
c
3
;
NKimberlingf, 12
5.00000000000, 11.87441727894
La funcion N de Mathematica permite especicar el n umero deseado de
decimales.
Si buscamos en la enciclopedia de Kimberling la segunda coordenada del
punto obtenido, hallaremos que dicho punto esta catalogado como X(40) o
punto de Bevan.
25