Anda di halaman 1dari 117

Coordenadas Baricentricas*

Francisco J. Garca Capitan

Contenido
1. Coordenadas baric
entricas respecto de un un tri
angulo
1.1. Coordenadas baricentricas homogeneas . . . . . . . . . . . . .
1.2. Coordenadas baricentricas absolutas . . . . . . . . . . . . . .
2. F
ormula de Conway
2.1. Notacion . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Formula de Conway . . . . . . . . . . . . . . . . . . .
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1. Cuadrado construido sobre un lado . . . . . .
2.3.2. Triangulo equilatero construido sobre un lado
3. Cevianas y trazas
3.1. Teorema de Ceva . . . . . . .
3.2. Ejemplos . . . . . . . . . . . .
3.2.1. El punto de Gergonne
3.2.2. El punto de Nagel . . .
3.2.3. Ejercicio . . . . . . . .
3.2.4. Los puntos de Fermat
4. Area de un tri
angulo

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

3
3
5

.
.
.
.
.

8
8
10
11
11
11

.
.
.
.
.
.

12
12
12
12
13
13
13
15

Este documento nace de una lectura atenta de s


olo 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.

5. Rectas
5.1. Ecuacion de la recta . . . . . . . . . . . . . . . . . .
5.1.1. Ecuacion de la recta que pasa por dos puntos
5.1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . .
5.2. Rectas paralelas . . . . . . . . . . . . . . . . . . . . .
5.2.1. Puntos del infinito y paralela por un punto . .
5.2.2. Ejercicios . . . . . . . . . . . . . . . . . . . .
5.3. Interseccion de dos rectas . . . . . . . . . . . . . . .
5.3.1. Ejemplos . . . . . . . . . . . . . . . . . . . . .
5.4. Rectas perpendiculares . . . . . . . . . . . . . . . . .
5.4.1. Ejemplos . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

16
16
16
16
17
17
18
20
20
23
25

6. F
ormula de Leibniz
25
6.1. Formula de Leibniz . . . . . . . . . . . . . . . . . . . . . . . . 25
6.2. Aplicacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
7. C
alculos con Mathematica
7.1. Puntos y rectas . . . . . . . . . . . . . . .
7.2. Simplificacion de coordenadas . . . . . . .
7.3. Otro ejemplo . . . . . . . . . . . . . . . .
7.4. B
usqueda en la enciclopedia de Kimberling

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

26
26
28
29
30

1.
1.1.

Coordenadas baric
entricas respecto de un
un tri
angulo
Coordenadas baric
entricas homog
eneas

Sean u, v, w R tales que u + v + w 6= 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 = uOA+v OB+wOC. Podemos ver que el punto P no depende

de O. En efecto, si (u + v + w)O0 P 0 = uO0 A + v O0 B + wO0 C, entonces






(u + v + w)(O0 P 0 OP ) =u(O0 A OA) + v(O0 A OA) + w(O0 A OA) =

=(u + v + w)O0 O,


de donde O0 P 0 = O0 O + OP = O0 P y P 0 = P .
Esto permite definir 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 = 4P BC : 4P CA : 4P AB.
El sistema formado por los puntos A, B, C con las masas x, y, z tiene a P
como centro de masas.
En efecto, considerando la figura,
A

c
AD =AB + BD = AB + c+d
BC,
a

a
a
ac
AP = a+b
AD = a+b
AB + (a+b)(c+d)
BC,
P
 



b
a
ac
OP OA = a+b
OB OA + (a+b)(c+d)
OC OB ,
c
d
B
D
C

b
ad
ac
OA + (a+b)(c+d)
OB + (a+b)(c+d)
OC.
OP = a+b
Entonces, P es el centro de masas de los puntos A, B, C
con las masas b(c + d), ad y ac. Pero,
ad
DC
4ADC
4P DC
4ADC 4P DC
4P CA
=
=
=
=
=
.
ac
BD
4ABD
4P BD
4ABD 4P BD
4P AB

Esto comprueba que y : z = 4P CA : 4P AB. Para comprobar las otras


relaciones bastara considerar una figura en la que D estuviera en otro de los
lados de ABC.
3

Ejemplos

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 12 ar, 12 br y 12 cr.
3. El circuncentro O. Si R es el radio de la circunferencia circunscrita, las
coordenadas de O son
4OBC : 4OCA : 4OAB =
= 12 R2 sen 2A : 21 R2 sen 2B : 21 R2 sen 2C =
= sen A cos A : sen B cos B : sen C cos C =
b 2 + c2 a 2
c2 + a 2 b 2
a 2 + b 2 c2
=b
=c
=
2bc
2ac
2ab
=a2 (b2 + c2 a2) : b2 (c2 + a2 b2) : c2 (a2 + b2 c2).

=a

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 doble area del triangulo ABC.
Teniendo en cuenta la formula de Heron para el area del triangulo y
haciendo un poco de manipulacion algebraica,

a2(b2 + c2 a2) + b2(c2 + a2 b2 ) + c2 (a2 + b2 c2 ) =


=2a2 b2 + 2a2 c2 + 2b2 c2 a4 b4 c4 =
=(a + b + c)(a + b + c)(a b + c)(a + b c) =
a + b + c a + b + c a b + c a + b c
=4 4

=
2
2
2
2
=4S 2 .
2. Hallar las coordenadas de los excentros.
Consideramos la figura siguiente en la que se muestran el triangulo
ABC, el excentro Ib, centro de la circunferencia exinscrita que toca al
lado AC y a las prolongaciones de BC y BA.

rb
I
b

Las coordenadas baricentricas de Ib son


4Ib BC : 4Ib CA : 4Ib AB = arb : brb : crb = a : b : c.
Observemos que la orientacion del triangulo Ib CA es distinta de la de los
otros dos, y por ello resulta signo negativo en la segunda coordenadas. De
igual forma obtenemos que Ia = (a : b : c) y que Ic = a : b : c.

1.2.

Coordenadas baric
entricas absolutas

Sea P un punto con coordenadas (baricentricas homogeneas) (x : y : z).


Si x + y + z =6= 0, obtenemos unas coordenadas absolutas normalizando los
coeficientes para que sumen la unidad:
P =

xA+y B +z C
.
x+y+z
5

Dadas las coordenadas baricentricas absolutas de P y Q, el punto que


divide a P Q en razon P X : XQ = p : q tendra coordenadas baricentricas
+pQ
absolutas qPp+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 = (u0 : v 0 : w0) son coordenadas baricentricas
homogeneas cumpliendo u + v + w = u0 + v 0 + w0 , entonces el punto X que
divide a P Q en la razon P X : XQ = p : q tiene coordenadas homogeneas
(qu + pu0 : qv + pv 0 : qw + pw0 ).
Ejercicios
1. El ortocentro esta en la recta de Euler y divide al segmento OG externamente en la razon 3 : 2. Demostrar que sus coordenadas baricentricas
pueden escribirse
H = (tan A : tan B : tan C),
o equivalentemente,


1
1
1
:
:
.
H=
b 2 + c2 a 2 c2 + a 2 b 2 a 2 + b 2 c2
Hemos visto que

O = a2(b2 + c2 a2) : b2 (c2 + a2 b2 ) : c2 (a2 + b2 c2) ,
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 coordenadas de cada punto para que ambas sumen lo mismo, en este caso,
12S 2 :

O = 3a2(b2 + c2 a2 ) : 3b2 (c2 + a2 b2) : 3c2 (a2 + b2 c2 ) ,
G = (4S 2 : 4S 2 : 4S 2 ).
La primera coordenada de H sera
(2)3a2 (b2 + c2 a2) + 3 4S 2 =
= 6(a2 b2 + a2c2 a4) + 3(2a2 b2 + 2a2 c2 + 2b2 c2 a4 b4 c4 ) =
=3a4 3b4 + 6b2c2 3c4 =
=3(a2 b2 + c2 )(a2 + b2 c2 ).
6

De la misma forma obtenemos 3(a2 +b2 +c2)(a2 +b2 c2) como segunda
coordenada y 3(a2 + b2 + c2 )(a2 b2 + c2 ) como tercera. Dividiendo
por
(a2 + b2 + c2 )(a2 b2 + c2 )(a2 + b2 c2)
obtenemos que
H=

1
1
1
: 2
: 2
2
2
2
2
2
b + c a c + a b a + b 2 c2

Ahora,

1
sen A
1
S = tan A ,
= 2 2bc
2
2 =
2
2
2
b +c a
b +c a
cos A
S
2bc
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 = 3a2(b2 + c2 a2 ) : 3b2 (c2 + a2 b2) : 3c2 (a2 + b2 c2 ) ,
G = (4S 2 : 4S 2 : 4S 2 ),
la primera coordenada de N sera
(1)3a2(b2 + c2 a2) + 3 4S 2 =
= 3a2 b2 3a2 c2 + 3a4 + 3(2a2 b2 + 2a2 c2 + 2b2c2 a4 b4 c4)
= 3(a2 b2 + a2c2 + 2b2 c2 b4 c4).
Para obtener el resultado buscado usamos las formulas
cos B =

a 2 + c2 b 2
,
2ac
7

S = ac sen B

y las correspondientes para el angulo C. Entonces,


cos(B C) = cos B cos C + sen B sen C =
S S
a 2 + c2 b 2 a 2 + b 2 c2
=

+
=
2ac
2ab
ac ab
(a2 + c2 b2)(a2 + b2 c2) + 4S 2
=
=
4a2 bc
2a2b2 + 2a2 c2 + 4b2 c2 2b4 2c4
=
=
4a2 bc
1 a2 b2 + a2c2 + 2b2 c2 b4 c4
=
.
a
2abc
De aqu es facil concluir que
N = (a cos(B C) : b cos(C A) : c cos(A B)).

2.

F
ormula de Conway

2.1.

Notaci
on

Si es un angulo cualquiera y S es el doble del area del triangulo ABC,


definimos S = S cot . Como caso particular,
SA =

b 2 + c2 a 2
c2 + a 2 b 2
a 2 + b 2 c2
, SB =
, SC =
.
2
2
2

Para dos angulos y , definimos S = S S .

Con esta notacion, se cumplen las siguientes relaciones:

1. SB + SC = a2 , SC + SA = b2 , SA + SB = c2 .
2. SAB + SBC + SCA = S 2 .
La primera relacion es evidente. Para demostrar la segunda, debemos
demostrar la identidad
cot A cot B + cot B cot C + cot C cot A = 1.

Para ello, hacemos


cot A cot B + cot B cot C + cot C cot A =
= cot A (cot B + cot C) + cot B cot C =


cos C
cos B cos C
cos A cos B
=
+
+

=
sen A sen B sen C
sen B sen C
cos A sen C cos B + sen B cos C cos B cos C
=

=
sen A
sen B sen C
sen B sen C
cos A sen(B + C) cos B cos C
=

=
sen A sen B sen C
sen B sen C
cos A
cos B cos C
=
+
=
sen B sen C sen B sen C
cos B cos C cos(B + C)
=
=
sen B sen C
sen B sen C
=
= 1.
sen B sen C
Ejemplos
1. El ortocentro tiene coordenadas


1
1
1
:
:
= (SBC : SCA : SAB ) .
SA SB SC
2. El circuncentro tiene coordenadas

a2SA : b2 SB : c2 SC = (SA (SB + SC ) : SB (SC + SA ) : SC (SA + SB )) .

En esta forma, la suma de las coordenadas es 2(SAB +SBC +SCA ) = 2S 2 .

2.2.

F
ormula de Conway

Un punto P puede quedar definido por los angulos


que debemos girar el compas desde dos vertices del
triangulo de referencia. Dado el triangulo ABC y un
punto P , el angulo de balanceo de P respecto de AB
es el angulo orientado CBP de magnitud tomado
como positivo si y solo si el punto P esta en el lado
opuesto a A. De forma parecida, el angulo de balanceo
de P respecto de AC es el angulo orientado BCP , de
magnitud contada positiva si y solo si P esta en el B
lado opuesto de A. Los angulos de balanceo varan en
, 2 .
el intervalo
2

La formula de Conway da las coordenadas baricentricas de un punto P


a partir de sus angulos de balanceo y :
P = (a2 : SC + S : SB + S ).
En efecto, aplicando el teorema de los senos al triangulo P CB,
BP
CP
a
a sen
a sen
=
=
BP =
, CP =
.
sen
sen
sen( + )
sen( + )
sen( + )
El area del triangulo P BC es
(P BC) =

1
a2 sen sen
BC BP sen =
.
2
2 sen( + )

Las areas de los triangulos P CA y P AB se hallan, de forma parecida, resultando:


(P BC) : (P CA) : (P AB) =
a2 sen sen ba sen sen( + C) ca sen sen( + B)
:
:
=
2 sen( + )
2 sen( + )
2 sen( + )
ab sen( + C) ac sen( + B)
= a2 :
:
=
sen
sen
= a2 : ab cos C + ab sen C cot : ca cos B + ac sen B cot =
= a 2 : SC + S : SB + S .
=

10

2.3.
2.3.1.

Ejemplos
Cuadrado construido sobre un lado

Consideremos el cuadrado BCCA BA construido exteriormente sobre el lado BC del triangulo


BC. Para el punto BA tenemos = 90 y = 45 ,
por lo que sera, teniendo en cuenta que cot 90 = 0
y cot 45 = 1,
BA =(a2 : SC + S : SB + S ) =
(a2 : SC + S : SB ).

45

Analogamente,
CA = (a2 : SC : SB + S).
Podemos calcular el punto medio del cuadrado,
por ejemplo, como el punto medio de BA y C =
(0, 0, S), resultando

MA

BA

CA

MA = (a2 : SC + S : SB + S).
2.3.2.

Tri
angulo equil
atero construido sobre un lado

Si BCX es un triangulo equilatero construido

sobre BC, teniendo en cuenta que cot 60 = 1/ 3,


tendremos


S
S
2
X = a : SC + : SB + .
3
3
De forma parecida, si construimos triangulos equilateros CY A y AZB sobre CA y AB,
B


S
S
Y = SC + : b2 : SA + ,
3
3


S
S
2
Z = SB + : SA + : c .
3
3

11

60

60

Si hubieramos construido los triangulos equilateros BX 0C, CY 0 A, AZ 0B


hacia el interior del triangulo. En ese caso habramos obtenido los puntos


S
S
0
2
X = a : SC : SB ,
3
3


S
S
2
0
Y = SC : b : SA ,
3
3


S
S
0
2
Z = SB : SA : c .
3
3

3.

Cevianas y trazas

Llamamos cevianas de un punto P = (x : y : z)


a las rectas que lo unen con los vertices del triangulo
de referencia ABC.

Las intersecciones AP , BP , CP de esta cevianas


CP
con los lados del triangulo se llaman trazas de P .
Las coordenadas de las trazas se deducen facilmente del significado geometrico de dichas coordenadas:
B
AP = (0 : y : z), BP = (x : 0 : z), CP = (x : y : 0).

3.1.

BP

AP

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.

3.2.
3.2.1.

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)
1
1
1
1
que pueden reorganizarse como X = (0 : sb
: sc
), Y = ( sa
: 0 : sc
)
1
1
y Z = ( sa : sb : 0). Por tanto, AX, BY y CZ se cortan en un punto
1
1
1
con coordenadas ( sa
: sb
: sc
). Este punto se conoce como el punto de
Gergonne Ge del triangulo ABC.
12

3.2.2.

El punto de Nagel

Los puntos de tangencia de las circunferencias exinscritas con los lados del
triangulo tienen coordenadas
X 0 = (0 : s b : s c),
Y 0 = (s a : 0 : s c),
Z 0 = (s a : s b : 0).

Z'

Estas son las trazas del punto de


coordenadas (s a : s b : s c), que
se conoce como punto de Nagel Na del
triangulo ABC.
3.2.3.

Y'
N

X'

Ejercicio

1. El punto de Nagel Na esta en la recta que une el baricentro y el incentro


y divide a IG en la razon INa : Na 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) = Na .
3.2.4.

Los puntos de Fermat

Hemos calculado en la seccion 2.3.2 las coordenadas de los puntos X, Y, Z


tales que BXC, CY A y AZB son triangulos equilateros construidos hacia
afuera sobre los lados BC, CA, AB del triangulo ABC.
Estas coordenadas podemos escribirlas en la forma
!
1
1
:
,
X = :
SB + S3 SC + S3
!
1
1
Y =
::
,
SA + S3
SC + S3
!
1
1
Z=
:
: ,
SA + S3 SB + S3
13

donde los asteriscos sustituyen a expresiones que no necesitamos conocer.


Las rectas AX, BY , CZ se cortaran en el punto
F+ =

1
SA +

1
:
SB +

1
:
SC +

que se conoce como primer punto de Fermat.


Considerando los triangulos equilateros hacia adentro obtendramos el
segundo punto de Fermat:
!
1
1
1
F =
:
:
.
SA S3 SB S3 SC S3
Teniendo en cuenta que




S
cos A
1
S
SA =S

=
3 cos A sen A =
sen A
3
3
3 sen A
!

2S
3
1
cos A sen A =
=
2
2
3 sen A
2S
=
(sen 60 cos A cos 60 sen A) =
3 sen A
2S sen(60 A)
=
=
sen A
3
4RS sen(60 A)
=
,
a
3
podemos expresar las coordenadas de los puntos de Fermat as:


a
b
c
F+ =
:
:
,
sen(60 + A) sen(60 + B) sen(60 + C)


a
b
c
F =
:
:
.
sen(60 A) sen(60 B) sen(60 C)

14

4.

Area de un tri
angulo

Si P = (x1 , y1), Q = (x2 , y2) y R = (x3, y3) son tres puntos del plano,
entonces el area (P QR) del triangulo P QR viene dada por


1 1 1

1
(P QR) = x1 x2 x3 .
2
y1 y2 y3

Si las coordenadas baricentricas homogeneas P , Q y R respecto del triangulo ABC son P = (u1 : v1 : w1 ), Q = (u2 : v2 : w2 ) y R = (u3 : v3 : w3),
entonces,
(u1 + v1 + w1 )P = u1 A + v1B + w1C,
(u2 + v2 + w2 )Q = u2A + v2B + w2 C,
(u3 + v3 + w3 )R = u3A + v3B + w3C,
Siendo A = (r1 , s1), B = (r2 , s2) y C = (r3 , s3), estas igualdades pueden
escribirse en la forma
(u1 + v1 + w1 )x1 = u1r1 + v1r2 + w1 r3,
(u1 + v1 + w1 )y1 = u1s1 + v1s2 + w1 s3,
(u2 + v2 + w2 )x2 = u2r1 + v2r2 + w2 r3,
(u2 + v2 + w2 )y2 = u2s1 + v2s2 + w2 s3,
(u3 + v3 + w3 )x3 = u3r1 + v3r2 + w3 r3,
(u3 + v3 + w3 )y3 = u3s1 + v3s2 + w3 s3.
y entonces
(u1 + v1 + w1 )(u2 + v2 + w2 )(u3 + v3 + w3 )(P QR) =


u 1 + v 1 + w1
u 2 + v 2 + w2
u3 + v3 + w3

1
= (u1 + v1 + w1)x1 (u2 + v2 + w2 )x2 (u3 + v3 + w3)x3 =
2
(u1 + v1 + w1)x1 (u2 + v2 + w2 )y2 (u3 + v3 + w3)y3


u 1 + v 1 + w1
u 2 + v 2 + w2
u 3 + v 3 + w3
1
= u 1 r1 + v 1 r2 + w 1 r3 u 2 r1 + v 2 r2 + w 2 r3 u 3 r1 + v 3 r2 + w 3 r3
2
u 1 s1 + v 1 s2 + w 1 s3 u 2 s1 + v 2 s2 + w 2 s3 u 3 s1 + v 3 s2 + w 3 s3




u 1 v 1 w 1 1 r1 s1 u 1 v 1 w 1



1
= u2 v2 w2 1 r2 s2 = u2 v2 w2 (ABC).
2
u 3 v 3 w 3 1 r3 s3 u 3 v 3 w 3
15

Cuando las coordenadas homogeneas


tendremos

u1 v 1

(P QR) = u2 v2
u3 v 3

5.

5.1.
5.1.1.

Rectas

de P , Q y R esten normalizadas,

w1
w2 (ABC).
w3

Ecuaci
on de la recta
Ecuaci
on 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 baricentricas homogeneas (u1 : v1 : w1 ) y (u2 : v2 : w2 ) vendra dada por


u 1 v 1 w1


u2 v2 w2 = 0.


x y z
5.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 = 0 x = 0.


x y z
2. La ecuacion de la mediatriz de BC es (b2 c2 )x + a2(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
a2(b2 + c2 a2 ) : b2(c2 + a2 b2 ) : c2 (a2 + b2 c2 ).

16

Entonces, la ecuacion de la mediatriz de BC es




1
1
2 2 02
a (b + c a2 ) b2(a2 + c2 b2 ) c2 (a2 + b2 c2 )


x
y
z




=0

(a2c2 c4 a2b2 + b4 )x a2 (b2 + c2 a2)(y z) = 0


(a2c2 c4 a2b2 + b4 )x + a2(b2 + c2 a2)(y z) = 0
(b2 + c2 a2 )((b2 c2)x + a2 (y z)) = 0
(b2 c2 )x + a2(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 = 0 cy bz = 0.


x y z

5.2.

5.2.1.

Rectas paralelas

Puntos del infinito y paralela por un punto

Para obtener la ecuacion de una recta paralela a una recta dada consideramos los puntos del infinito. Cada recta tiene un punto del infinito y todos
los puntos del infinito estan en una recta del infinito. La ecuacion de esta
recta es x + y + z = 0, ya que si x + y + z 6= 0 resulta un punto real.
El punto del infinito de la recta px+qy +rz = 0 es (q r : r p : pq), ya
que este punto esta en dicha recta y es un punto infinito, pues sus coordenadas
suman 0.

Por otro lado, si P = (u1 : v1 : w1 ) y Q = (u2 : v2 : w2 ), siendo


u1 + v1 + w1 = u2 + v2 + w2 , resulta que el punto del infinito de la recta P Q
es (u1 v1 , u2 v2, u3 v3 ).

La recta que pasa por P = (u : v : w) paralela a px + qy + rz = 0 tiene


por ecuacion


qr rp pq


u
= 0.
v
w


x
y
z
17

5.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 infinito 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 = 0 (v + w)x u(y + z) = 0.


x y z

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
F W 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 infinito. Como 2u2 + uv + uw + vw es la
suma de las coordenadas de U, consideramos
D = (0 : u2 + uv + uw + vw : u2 + uv + uw + vw),

18

y restando las coordenadas de D y las de U obtenemos que el punto


del infinito de la recta DU es
(2u2 + uv + uw, u2 uw : u2 uv) = (2u + v + w, u w : u v).
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 infinito es (b + c, b, c).

Para que se trate del mismo punto del infinito debe ser u + w = kb,
u + v = kc para alg
un cierto k. Haciendo lo mismo para EV y F W ,
obtendramos las condiciones similares
(
(
v + u = hc
w + u = tb
,
v + w = ha
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.

Z
F

Y
P
W

V
B

19

5.3.

Intersecci
on de dos rectas

La interseccion de dos rectas


(
p1 x + q1y + r1z = 0,
p2 x + q2y + r2z = 0
es el punto






q 1 r1
p1 r1 p1 q1





q2 r2 : p2 r2 : p2 q2 .
El punto del infinito de una recta l puede considerarse la interseccion de l
con la recta del infinito l : x + y + z = 0.
Tres rectas pi x + qi y + ri z = 0, i = 1, 2, 3 son concurrentes si solo si


p1 q1 r1


p2 q2 r2 = 0.


p3 q3 r3

5.3.1.

Ejemplos

1. Sea DEF el triangulo medial de ABC. Hallar la ecuacion de la recta


uniendo D con el excentro Ia = (a : b : c). Analogamente, hallar las
ecuaciones de las rectas que unen E con Ib y F con Ic . Demostrar que
estas tres rectas son concurrentes, hallando las coordenadas del punto
com
un.
La ecuacion de la recta DIa es


x y z


0 1 1 = 0 (b c)x + ay az = 0.


a b c

Analogamente tendremos

EIb : bx + (c a)y + bz = 0.
F Ic : cx cy + (a b)z = 0.
Para demostrar que las tres rectas son concurrentes comprobamos que
el determinante formado por sus coeficientes se anula:




bc
c
c
b

a
a
a



b c a
b = 0.
b = b c a

c
c a b
c a b c
20

(El segundo determinante es nulo, por tener dos filas proporcionales, y


se obtiene del primero sustituyendo la primera fila 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:





a
b c a b c
a
a




(x : y : z) =
:
:
=
ca b
b
b 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 triangulo 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 F Z, y
demostrar que son concurrentes. Cuales son las coordenadas del punto
de interseccion?
Sabemos que el ortocentro es H = (SBC : SCA : SAB ), as que el pie
de la altura desde A es AH = (0 : SCA : SAB ) = (0 : SC : SB ), con
SC + SB = a2. Entonces, el punto medio de AH y A = (a2 : 0 : 0) es
X = (a2 : SC : SB ). La ecuacion de la recta DX es




x y
x y
z

y
z



= (SB SC )x + a2y a2z = 0.
= 0 1
0 1
0
1



a 2 SC SB a 2 SC SB SC
Como SB SC = c2 b2, resulta que DX : (c2 b2)x + a2y a2z = 0.
Analogamente obtenemos que
EY : b2x + (a2 c2 )y + b2 z = 0,
F Z : c2 x c2 y + (b2 a2)z = 0.
Como

2
c b2
a2
a2

2
2
2
b
a c
b2

c2
c2
b2 a 2




=0

ya que, por ejemplo, la primera fila es la suma de las otras dos, las tres
rectas son concurrentes.
21

Para hallar el punto de interseccion, resolvemos el sistema formado por


las dos primeras:
(x : y : z) =

2


2
2

c b2 a2 c2 b2
a
a
a2



= 2
2
2 :
2
2 :
2
2
a c
b
b
b
b
a c2

= a2 (a2 + b2 c2 ) : b2 (a2 + b2 c2 ) : c2 (a2 + b2 c2 ) =

=(a2 : b2 : c2 ),



=

y las tres rectas se cortan en el punto simediano de ABC.


3. (Puntos de Vecten) En la pagina 11 vimos que el punto medio del
cuadrado BCCA BA construido exteriormente sobre BC es
MA = (a2 : SC + S, SB + S).
Si unimos A y MA obtenemos la recta


x

y
z


= 0 (SB + S)y (SC + S)z = 0.
1
0
0


2
a SC + S SB + S

Analogamente, podemos obtener las rectas

BMB : (SA + S)x (SC + S)z = 0


CMC : (SA + S)x (SB + S)y = 0
Las tres rectas son concurrentes, ya que


0
SB + S
(SC + S)

SA + S
0
(S
C + S)

SA + S (SB + S)
0


0
SB + S
(SC + S)

0
SB + S
(SC + S)
=
SA + S (SB + S)
0




=





= 0,

donde hemos restado la tercera fila a la segunda, y el determinante se


anula por tener dos filas iguales.

22

El punto com
un a las tres rectas tiene coordenadas
VE = ((SB + S)(SC + S) : (SC + S)(SA + S) : (SA + S)(SB + S))
y se llama punto de Vecten asociado exteriormente al triangulo ABC.
La figura siguiente muestra el punto VE del triangulo ABC:

AB

AC
A

CB
MB

MC

VE

BC
B

MA

BA

CA

Si hubieramos hecho desde el principio la construccion del punto de


Vecten partiendo de cuadrados construidos interiormente sobre los lados del triangulo ABC habramos obtenido el punto de coordenadas
VI = ((SB S)(SC S) : (SC S)(SA S) : (SA S)(SB S)) ,
que se llama punto de Vecten asociado interiormente al triangulo ABC.

5.4.

Rectas perpendiculares

Dada una recta L : px + qy + rz = 0, hallemos el punto del infinito de


las rectas perpendiculares a ella. La recta L corta a las rectas CA y AB en
23

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




SB SA c2
SC b2 SA




r 0
= 0,
q p 0 = 0,
p




x
x
y
z
y
z

o bien

SA px + (c2 r SB p)y + SA rz = 0,
SA px + SA qy + (b2q SC p)z = 0.

A
X'
Y

El punto de interseccion de ambas rectas, ortocentro del triangulo AY Z,


es

X 0 =( : SA p(SA r b2 q + SC p) : SA p(SA q + SB p c2 r)) =


( : SC (p q) SA (q r) : SA (q r) SB (r p)),

teniendo en cuenta que SA + SC = b2 y SA + SB = c2 .

La perpendicular a L desde A es la recta AX 0, cuya ecuacion es




1

0
0


SC (p q) SA (q r) SA (q r) SB (r p) = 0,



x
y
z

o (SA (q r) SB (r p))y + (SC (p q) SA (q r))z = 0.

Entonces, llamando (f : g : h) = (q r : r p : p q) al punto del infinito


de la recta L, la perpendicular a L desde A tiene ecuacion
(SA f SB g)y + (SC h SA f)z = 0,
con (f 0 : g 0 : h0 ) = (SB g SC h : SC h SA f : SA f SB g) como punto del
infinito, punto que pertenecera a cualquier recta perpendicular a L.
24

5.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 infinito del lado BC es (0 : 1 : 0) (0 : 0 : 1) = (0 : 1 : 1).
El punto del infinito de cualquier perpendicular a BC es
(SB 1 SC (1) : SC (1) SA 0 : SA 0 SB 1) =
=(SB + SC : SC : SB ) = (a2, SC , SB ).
y la perpendicular a BC por X tiene la ecuacion


0 sb sc


a2 SC
= 0,
S
B


x
y
z

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:
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.

6.
6.1.

F
ormula de Leibniz
F
ormula de Leibniz

Sean (u : v : w) las coordenadas baricentricas de un punto Q respecto del

triangulo ABC. Entonces, se cumplira que uQA + v QB + wQC = 0 .

25

Para cualquier punto P se cumplen


uP A2 =uP Q2 + uQA2 + 2uP Q QA,

v P B 2 =vP Q2 + vQB 2 + 2v P Q QB,


wP C 2 =wP Q2 + wQC 2 + 2wP Q QC.
y, sumando, obtenemos la formula de Leibniz:
uP A2 + vP B 2 + wP C 2 = (u + v + w)P Q2 + uQA2 + vQB 2 + wQC 2.

6.2.

Aplicaci
on

Si Q = I = (a : b : c), entonces
aP A2 + bP B 2 + cP C 2 = (a + b + c)P I 2 + aIA2 + bIB 2 + cIC 2,
de donde deducimos que aP A2 + bP B 2 + cP C 2 es mnimo cuando P es el
incentro de ABC.

7.

C
alculos con Mathematica

Dedicamos esta seccion a mostrar como podemos usar el programa de


calculo simbolico Mathematica para efectuar operaciones con coordenadas
baricentricas.

7.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 = 81, 0, 0<;
ptM = 80, 1, 1<;

El punto y coma, aparte de separar las instrucciones, evita que Mathematica 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 5.1.1 y escribimos
26

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 coeficientes,
y podemos definir una funcion que calcule dichos coeficientes a partir de
la ternas que identifican a dos puntos de la recta. Llamaremos Unir a esta
funcion:
Unir@8x1_, y1_, z1_<, 8x2_, y2_, z2_<D :=
x1 y1
x1 z1
y1 z1
NE=;
NE, DetAJ
NE, -DetAJ
9DetAJ
x2 y2
x2 z2
y2 z2

Usando esta funcion con los puntos A y M, obtenemos:


Unir@ptA, ptMD
80, -1, 1<

Teniendo en cuenta el apartado 5.3, la funcion Unir que acabamos de


definir 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
interseccion de las medianas AM y BN se podemos escribir:
ptA = 81, 0, 0<;
ptB = 80, 1, 0<;
ptM = 80, 1, 1<;
ptN = 81, 0, 1<;
Unir@Unir@ptA, ptMD, Unir@ptB, ptNDD
81, 1, 1<

Como sabemos, estas son las coordenadas del baricentro.


Teniendo en cuenta la seccion 4 y el apartado 5.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 21 escribiriamos

27

b2 + c2 - a2
c2 + a2 - b2
a2 + b2 - c2
SA =
; SB =
; SC =
;
2
2
2
ptD = 80, 1, 1<; ptX = 8a2 , SC, SB<;
ptE = 81, 0, 1<; ptY = 8SC, b2 , SA<;
ptF = 81, 1, 0<; ptZ = 8SB, SA, c2 <;
Det@8Unir@ptD, ptXD, Unir@ptE, ptYD, Unir@ptF, ptZD<D
Unir@Unir@ptE, ptYD, Unir@ptF, ptZDD
0
8-a4 + a2 b2 + a2 c2 , -a2 b2 + b4 + b2 c2 , -a2 c2 + b2 c2 + c4 <

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


punto de interseccion es
(a2(a2 b2 c2), b2(a2 b2 c2 ) : c2(a2 b2 c2 )) = (a2 : b2 : c2 ),
es decir el punto simediano.

7.2.

Simplificaci
on de coordenadas

Sabemos que las coordenadas baricentricas son u


nicas salvo un factor de
proporcionalidad, por lo que es conveniente simplificar los resultados para
identificar mas facilmente a un determinado punto o recta.
As en el ejercicio que acabamos de hacer, sera conveniente que Mathematica hubiera ofrecido el resultado simplificado (a2 : b2 : c2) en lugar de
tener que hacerlo despues manualmente.
Para conseguir esto, definimos una funcion Simplificar que divide una
terna por su maximo com
un divisor y la usamos en la funcion Unir:

28

p
Simplificar@ p_D := FactorA

E;
PolynomialGCD@pP1T, pP2T, pP3TD
Unir@8x1_, y1_, z1_<, 8x2_, y2_, z2_<D :=
y1 z1
x1 z1
x1 y1
SimplificarA9DetAJ
NE, -DetAJ
NE, DetAJ
NE=E;
y2 z2
x2 z2
x2 y2
b2 + c2 - a2
c2 + a2 - b2
a2 + b2 - c2
SA =
; SB =
; SC =
;
2
2
2
ptD = 80, 1, 1<; ptX = 8a2 , SC, SB<;
ptE = 81, 0, 1<; ptY = 8SC, b2 , SA<;
ptF = 81, 1, 0<; ptZ = 8SB, SA, c2 <;
Det@8Unir@ptD, ptXD, Unir@ptE, ptYD, Unir@ptF, ptZD<D
Unir@Unir@ptE, ptYD, Unir@ptF, ptZDD
0
8-a2 , -b2 , -c2 <

Ahora el resultado es mas aceptable.

7.3.

Otro ejemplo

En el ejemplo 1 de la pagina 25 demostrabamos que eran concurrentes las


perpendiculares trazadas por los puntos de tangencia de las circunferencias
exinscritas.
Habamos obtenido que (a2, SC , SB ) es el punto del infinito de cualquier
recta perpendicular a BC, y analogamente, (SC , b2, SA ) y (SB , SA , c2)
seran los puntos del infinito de rectas perpendiculares a CA y AB, respectivamente.
Para hallar el punto de concurrencia hacemos:

29

Simplificar@ p_D := Factor@p PolynomialGCD@pP1T, pP2T, pP3TDD;


Unir@8x1_, y1_, z1_<, 8x2_, y2_, z2_<D :=
x1 y1
x1 z1
y1 z1
NE=E;
NE, DetAJ
NE, -DetAJ
SimplificarA9DetAJ
x2 y2
x2 z2
y2 z2
a+b+c
b2 + c2 - a2
c2 + a2 - b2
a2 + b2 - c2
s = ; SA =
; SB =
; SC =
;
2
2
2
2
ptX = 80, s - b, s - c<;
ptY = 8s - a, 0, s - c<;
ptZ = 8s - a, s - b, 0<;
piPerpendicularBC = 8-a2 , SC, SB<;
piPerpendicularCA = 8SC, -b2 , SA<;
piPerpendicularAB = 8SB, SA, -c2 <;
ptP = Unir@Unir@ptX, piPerpendicularBCD, Unir@ptY, piPerpendicularCADD
8-a Ha3 + a2 b - a b2 - b3 + a2 c - 2 a b c + b2 c - a c2 + b c2 - c3 L,
b Ha3 + a2 b - a b2 - b3 - a2 c + 2 a b c - b2 c - a c2 + b c2 + c3 L,
c Ha3 - a2 b - a b2 + b3 + a2 c + 2 a b c + b2 c - a c2 - b c2 - c3 L<

7.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 vertices
!
13 4 35
A= ,
, B = (6, 0), C = (0, 0).
3
3
En este caso la distancia especificada por Kimberling vendra dada por la
segunda coordenada del punto.
Como ejemplo, vamos a identificar el punto obtenido en el apartado anterior. 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. Definimos
una funcion Kimberling que halla las coordenadas cartesianas el punto asociado a la funcion f:

30

Kimberling@f_D := ModuleA8ptA, ptB, ptC, u, v, w<,


!!!!!!!
13
4 35
ptA = 9- , =; ptB = 86, 0<; ptC = 80, 0<;
3
3
a = 6; b = 9; c = 13;
u = f@a, b, cD;
v = f@b, c, aD;
w = f@c, a, bD ;
u ptA + v ptB + w ptC

E
u+v+w

El uso de Module hace que las variables que intervienen se consideren


locales.
Ahora, definimos la funcion f y usamos Kimberling con ella:
f@a_, b_, c_D := -a Ha3 + a2 b - a b2 - b3 + a2 c - 2 a b c + b2 c - a c2 + b c2 - c3 L;
N@Kimberling@fD, 12D
85.00000000000, 11.87441727894<

La funcion N de Mathematica permite especificar 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.

31

Formulas de cuadrilateros
Francisco Javier Garca Capitan
pacoga@ctv.es

Indice
1. Cuadril
ateros cclicos

2. El Teorema de Ptolomeo

3. La f
ormula de Brahmagupta

4. Demostraci
on de la f
ormula de Brahmagupta

5. Demostraci
on directa de la f
ormula de Her
on

6. La f
ormula de Bretschneider

7. Brahmagupta y los cuadril


ateros cclicos

1.

Cuadril
ateros cclicos

Se llama cuadrilatero cclico al que tiene todos sus vertices sobre una
misma circunferencia. La figura siguiente muestra un cuadrilatero cclico, en
el que seg
un la notacion usual, A, B, C, D son los vertices y angulos del
cuadrilatero, a, b, c y d la medida de los lados y m y n la medida de las
diagonales.

A
a
d

D
c

n
b

C
Figura 1: Un cuadrilatero cclico.

Una primera propiedad de los cuadrilateros cclicos es que los angulos


opuestos suman 180 . Por ejemplo, en el cuadrilatero ABCD de la figura
anterior, los angulos A y C abarcan juntos toda la circunferencia y por ello
suman media circunferencia.
A continuacion veremos otras dos propiedades importantes de los cuadrilateros cclicos: el teorema de Ptolomeo y la formula de Brahmagupta.

2.

El Teorema de Ptolomeo

El teorema de Ptolomeo afirma que, con la notacion anterior, mn = ac +


bd, es decir el producto de las diagonales es igual a la suma de los productos
de lados opuestos.
Sea el cuadrilatero ABCD (Fig. 2). Tracemos el segmento AF de manera
que BAF = CAD.

A
a
d

D
n
c

b
F

Figura 2: El teorema de Ptolomeo.

Entonces, los triangulos ABE y ACD son semejantes y


BE
AB
=
AB DC = AC BE ac = n BE
AC
DC
Tambien son semejantes los triangulos ADE y ACB:
AD
ED
=
DA CB = AC ED db = n ED
AC
CB

(1)

(2)

Sumando miembro a miembro (1) y (2) obtenemos


ac + bd = (BE + ED) n = mn.

3.

La f
ormula de Brahmagupta

Brahmagupta encontro la siguiente formula para hallar el area K de un


cuadrilatero cclico con lados a, b, c, d y semipermetro s
p
K = (s a)(s b)(s c)(s d).
Esta formula, conocida como formula de Brahmagupta, es un caso particular de esta otra, en la que el cuadrilatero no tiene por que ser cclico:
r
A+C
.
(3)
K = (s a)(s b)(s c)(s d) abcd cos2
2
Cuando el cuadrilatero es cclico, al ser suplementarios los angulos opuestos, el coseno que aparece se anulara, obteniendose la formula de Brahmagupta.
2

Mas a
un, si hacemos coincidir dos vertices, por ejemplo C = D, la formula
de Brahmagupta se reduce a
p
K = s(s a)(s b)(s c),
que es la formula de Heron para el area de un triangulo de lados a, b y c.

4.

Demostraci
on de la f
ormula de Brahmagupta

Vamos a demostrar la formula (3), que como hemos dicho, generaliza a


la formula de Brahmagupta.
Consideramos un cuadrilatero cualquiera ABCD en el que hemos nombrado los vertices, lados y angulos como en la siguiente figura:

c
C

Figura 3: Formula de Brahmagupta.

El area K del cuadrilatero ABCD es la suma de las areas de los triangulos


ABD y CBD. Por tanto
K 2 = ((ABD) + (CBD))2 = 14 (ab sen + cd sen )2 =
= 41 (a2 b2 sen2 + c2 d2 sen2 + 2abcd sen sen ).
Aplicando el teorema del coseno a los triangulos ABD y CBD,
m2 = a2 + b2 2ab cos
m2 = c2 + d2 2cd cos ,
y restando ambas ecuaciones,
2ab cos 2cd cos = a2 + b2 c2 d2
3

(4)

Ahora, elevamos al cuadrado, dividimos por 16:


2 2

1
a b cos2 + c2 d2 cos2 2abcd cos cos =
4

1
16

a2 + b2 c2 d2

De esta u
ltima igualdad, el primer miembro se lo sumamos y el segundo se
lo restamos al segundo miembro de la igualdad (4). Teniendo en cuenta la
identidad sen2 x + cos2 x = 1, obtenemos:

K 2 = 14 a2 b2 + c2 d2 + 2abcd (sen sen cos cos )


1
(a2 + b2 c2 d2 ) =
16
4a2 b2 + 4c2 d2 (a2 + b2 c2 d2 )2 abcd cos ( + )
=

=
16
2
2a2 b2 + 2a2 c2 + 2a2 d2 + 2b2 c2 + 2b2 d2 + 2c2 d2 a4 b4 c4 d4
=

16
abcd cos ( + )
.

2
El numerador de la primera fraccion puede factorizarse si sumamos y
restamos 8abcd, quedando
(a + b + c + d)(a b + c + d)(a + b c + d)(a + b + c d)

16
abcd abcd cos( + )

=
2
2
1 + cos( + )
=
=(s a)(s b)(s c)(s c) abcd
2

+
=(s a)(s b)(s c)(s c) abcd cos2
.
2

K2 =

5.

Demostraci
on directa de la f
ormula de Her
on

Aunque, como hemos dicho, la formula de Heron puede obtenerse facilmente a partir de la formula de Brahmagupta, es razonable e interesante
disponer de una demostracion mas directa y, por tanto, mas sencilla.
Para ello, tracemos una altura del triangulo, por ejemplo, la que pasa por
C.
4

C
a

b
h
y
A

c-y
D

Figura 4: Formula de Heron.

Podemos expresar h en terminos de a, b y c:

c = y + c y = a2 h2 + b2 h2 ,
de donde
2a2 b2 + 2a2 c2 + 2b2 c2 a4 b4 c4
=
4c2
(a + b + c)(a + b + c)(a b + c)(a + b c)
=
4c2
y, entonces, siendo s = 12 (a + b + c),
h2 =

K2 =

6.

c2 h2 (a + b + c)(a + b + c)(a b + c)(a + b c)


=
=
4
16
=s(s a)(s b)(s c).

La f
ormula de Bretschneider

La formula de Bretschneider es otra forma de calcular el area de un cuadrilatero:


16K 2 = 4m2 n2 (a2 b2 + c2 d2 )2 ,
siendo como antes, a, b, c, d los lados del cuadrilatero y m, n sus diagonales.

c
C

m2
,

n2

n1
A

b
m1

Figura 5: Formula de Bretschneider.

Sean m1 , m2 , n1 , n2 los segmentos de las diagonales con m1 , n1 adyacentes


a a. Sea el angulo entre m1 , n1 y sea 0 su suplementario. Entonces,
16K 2 = 4m2 n2 sen2 = 4m2 n2 (2mn cos )2 .
Pero,
2mn cos =2(m1 + m2 )(n1 + n2 ) cos =
=2m1 n1 cos 2m1 n2 cos 0 2m2 n1 cos 0 + 2m2 n2 cos =
= a2 + b2 c2 + d2 .
(5)
aplicando el teorema del coseno a cada uno de los cuatro sumandos.

7.

Brahmagupta y los cuadril


ateros cclicos

Lo mas notable de la geometra hind


u es el estudio hecho por Brahmagupta sobre cuadrilateros cclicos. Algunos de los resultados conocidos por
Brahmagupta son los siguientes:
1. El producto de dos lados de un triangulo es igual al producto de la altitud sobre el tercer lado y el diametro de la circunferencia circunscrita.
En efecto, sea h la altura trazada sobre el lado AB. Usando dos formas
de expresar el area K del triangulo, 12 ch = K = 12 ab sen C. Por el
teorema de de los senos generalizado, es c = 2R sen C, siendo R el
radio de la circunferencia circunscrita. Por tanto, (2R)h = ab.
2. Sea ABCD un cuadrilatero cclico de diametro . Sean a, b, c, d las
medidas de los lados AB, BC, CD y DA, y m y n las medidas de
las diagonales BD y AC, y sea el angulo entre una diagonal y la
perpendicular a la otra. Entonces m cos = ab+cd y n cos = ad+bc.

A
a

D
c

n
b

a
B

m
l

E
C

C
Figura 6: Cuadrilateros cclicos.

Para demostrar la primera de las dos igualdades, partimos de un cuadrilatero ABCD cualquiera, como se muestra en la figura a la izquierda.
Dejando en el mismo sitio los vertices A, B y D, movemos el vertice C a
un punto E de manera que CE sea paralelo a DB. Los dos cuadrilateros
resultantes tienen por lados a, b, c y d. Asimismo, los dos cuadrilateros
comparten una diagonal con medida m. Aplicamos el teorema de Ptolomeo al nuevo cuadrilatero, y obtenemos ab + cd = ml = m cos AEF .
El resto se deduce de que
90 AEF = AF E = ACE = AM B = 90 .
La segunda igualdad puede obtenerse a partir de la primera reordenando los vertices y lados del cuadrilatero.
3. Con la notacion del apartado anterior,
(ac + bd)(ab + cd)
(ac + bd)(ad + bc)
, n2 =
.
ad + bc
ab + cd
En efecto, teniendo en cuenta las igualdades obtenidas en el apartado
anterior y el teorema de Ptolomeo,

m2
(ab + cd)2
=
,
(ac + bd)2 (ad + bc)2
n2
(ad + bc)2
n4 =

(ab + cd)2
2 2
2
m n = (ac + bd)
(ac + bd)(ad + bc)
n2 =

ab + cd
(ac + bd)(ad + bc) (ab + cd)2
(ac + bd)(ab + cd)
m2 =

=
.
2
ab + cd
(ad + bc)
ad + bc
m2 =

4. Si, con la misma notacion, las diagonales son perpendiculares, entonces


2 =

(ad + bc)(ab + cd)


.
ac + bd

Ya que al ser perpendiculares las diagonales, cos = 1, y multiplicando


las dos igualdades del apartado 2, resulta que mn 2 = (ab+cd)(ad+bc),
de donde
2 =

(ad + bc)(ab + cd)


(ad + bc)(ab + cd)
=
.
mn
ac + bd

5. Si admite una circunferencia inscrita y una circunferencia circunscrita,


su area es igual a la raz del producto de los cuatro lados.
En efecto, usando que las dos tangentes desde un punto a una circunferencia miden lo mismo los lados a, b, c, d de un cuadrilatero con una
circunferencia inscrita deben cumplir a+c = b+d = s. Al estar tambien
el cuadrilatero inscrito en una circunferencia podemos usar la formula
de Brahmagupta:
p

K = (s a)(s b)(s c)(s d) = cdab = abcd.


6. Un cuadrilatero tiene diagonales perpendiculares si y solo si la suma
de los cuadrados de un par de lados opuestos es igual a la suma de los
cuadrados del otro par de lados opuestos.
Para ello tenemos en cuenta la formula (5), usada en la demostracion
de la formula de Bretschneider:
2mn cos = a2 + b2 c2 + d2 = (b2 + d2 ) (a2 + c2 ).
Queda entonces claro que las sumas de cuadrados seran iguales si y solo
si el angulo formado por las dos diagonales es recto.
7. Brahmagupta demostro que si u2 + v 2 = w2 y U 2 + V 2 = W 2 , entonces
cualquier cuadrilatero con lados consecutivos uW , wV , vW y wU tiene
diagonales perpendiculares.
Basta tener en cuenta el apartado anterior:
(uW )2 + (vW )2 = (u2 + v 2 )W 2 = w2 W 2 = w2 (V 2 + U 2 ) = (wV )2 + (wU )2 .

8. Si (u, v, w) y (U, V, W ) son dos ternas pitagoricas, es decir, si u, v, w,


U , V , W son enteros positivos tales que u2 + v 2 = w2 y U 2 + V 2 =
W 2 , el cuadrilatero cclico con lados consecutivos uW , wV , vW y wU
se llama trapecio de Brahmagupta. Hallar los lados, diagonales, radio
de la circunferencia circunscrita, y area del trapecio de Brahmagupta
determinado por las ternas pitagoricas (3, 4, 5) y (5, 12, 13).
En primer lugar podemos hallar a = 39, b = 60, c = 52 y d = 25. Ahora,
si sustituimos en las formulas de m, n y halladas anteriormente,
obtendremos la grata sorpresa de que los tres n
umeros resultan ser
enteros. Veamos que esto ocurre en general.
(ac + bd)(ab + cd)
=
ad + bc)
(uvW 2 + w2 U V )(uwV W + vwU W )
=
uwU W + vwV W
(uvW 2 + w2 U V )(uV + vU )
=
=
uU + vV
(uvU 2 + uvV 2 + u2 U V + v 2 U V )(uV + vU )
=
=
uU + vV
(uU + vV )(uV + vU )(uV + vU )
=
=
uU + vV
=(uV + vU )2 m = uV + vU.

m2 =

(ac + bd)(ad + bc)


=
ab + cd
(uvW 2 + w2 U V )(uwU W + vwV W )
=
=
uwV W + vwU W
(uvW 2 + w2 U V )(uU + vV )
=
=
uV + vU
(uvU 2 + uvV 2 + +u2 U V + v 2 U V )(uU + vV )
=
=
uV + vU
(uV + vU )(uU + vV )(uU + vV )
=
=
uV + vU
=(uU + vV )2 n = uU + vW.

n2 =

ab + cd
uwV W + vwU W
wW (uV + vU )
=
=
= wW.
m
uV + vU
uV + vU
9

Una vez hallados m, n y , podemos hallar K mediante la formula


K = 12 mn.
Entonces tenemos
m = uV + vU = 3 12 + 4 5 = 56.
n = uU + vV = 3 5 + 4 12 = 63.
= wW = 5 13 = 65.
K = 12 56 63 = 1764.

56

60
63

39

25

52

Figura 7: Trapecio de Brahmagupta.

Referencias
[1] Eves, Howard: A Survey of Geometry, Volumen 1. pags 48-50.
[2] The American Mathematical Monthly: Problema E 1376, vol. 67,
N
umero 3 (Marzo 1960), p. 291.
[3] H. S. M. Coxeter y S. L. Greitzer: Retorno a la Geometra. Coleccion La tortuga de Aquiles, no 1. Es una traduccion de Geometry
Revisited, publicado por la Mathematical Association of America.
[4] Ramon Gonzalez Calvet: Treatise of plane geometry through geometric algebra. Libro completo disponible en la web:
http://campus.uab.es/~PC00018.

10

Una propiedad curiosa del heptagono regular

Si ABCDEF G es un heptagono regular, entonces


1
1
1
=
+
AB
AC AD

B
A
C
G
D
F
E
El teorema de Ptolomeo afirma que en un cuadrilatero inscrito en una circunferencia, el producto de las diagonales es igual a la suma de los productos
de los lados opuestos. Aplicandolo al cuadrilatero ABCE:
AC BE = AB CE + AE BC
Llamando x = AB = BC, y = AC = CE, z = AE = BE, obtenemos
yz = xy + xz, que dividido por xyz da
1
1 1
1
1
1
= +
=
+
x
y z
AB
AC AD
1

El teorema de Morley
Francisco Javier Garca Capitan
10 de julio de 2002

Contenido
1. Introducci
on

2. Demostraci
on trigonom
etrica del teorema de Morley
2.1. Algunas formulas trigonometricas . . . . . . . . . . . . . . . .
2.2. Demostracion trigonometrica . . . . . . . . . . . . . . . . . . .

3
3
5

3. La demostraci
on de John Conway

4. Otra demostraci
on indirecta
4.1. Caracterizacion del incentro . . . . . . . . . . . . . . . . . . .
4.2. La demostracion indirecta . . . . . . . . . . . . . . . . . . . .

8
8
8

5. La demostraci
on de Naraniengar
9
5.1. Un lema previo . . . . . . . . . . . . . . . . . . . . . . . . . . 10
5.2. La demostracion de Naraniengar . . . . . . . . . . . . . . . . . 10
6. Generalizaciones del teorema de Morley

12

1.

Introducci
on

Dado cualquier triangulo, sabemos que si trazamos las bisectrices interiores de sus angulos, estas se cortan en un punto, llamado incentro, que es el
centro de la circunferencia inscrita al triangulo.
Que ocurre si en lugar de dividir los angulos en dos partes iguales los
dividimos en tres partes iguales?
Alla por 1796, Gauss, que contaba 19 a
nos demostro que ciertos polgonos
regulares podan ser construidos con regla y compas. En 1836, Wantzel demostro que solo esos polgonos eran los que podan construirse con regla
y compas. Como consecuencia de ello, se obtena que no todos los angulos
podan trisecarse con regla y compas, cerrando uno de los problemas clasicos
de la geometra.
Coxeter ha sugerido que este hecho hizo que nadie se interesara mas por
temas relacionados con la triseccion y que tuviera que llegar el principio del
siglo XX para que fuera descubierto el teorema de Morley: Los puntos de
intersecci
on de las rectas que dividen en tres partes iguales los angulos de
cualquier triangulo son los vertices de un triangulo equil
atero.

D
F
B

C
Figura 1: El teorema de Morley

Frank Morley (1860-1937) se educo en Inglaterra, y ense


no all alg
un
tiempo antes de establecerse en Estados Unidos sobre 1887. Fue profesor
en el Quaker College de Haverford, Pennsylvania. Descubrio el teorema en
1899 pero no pudo encontrar una demostracion. Lo propago entre sus amigos, convirtiendose en un reto matematico. En 1909 fue encontrada una
2

demostracion trgonometrica por M. Satyanarayana. Despues llego la demostracion geometrica elemental de Naraniengar. La demostracion preferida
hoy es la que comienza con el resultado (el triangulo equilatero) y es indirecta.
En los apartados siguientes veremos todas estas demostraciones.

2.

Demostraci
on trigonom
etrica del teorema
de Morley

2.1.

Algunas f
ormulas trigonom
etricas

Recordemos que el teorema de los senos generalizado afirma que si


A, B, C son los vertices de un triangulo, a, b, c son los respectivos lados
opuestos y R es el radio de la circunferencia circunscrita, se cumple que
a
b
c
=
=
= 2R.
sen A
sen B
sen C
El teorema del coseno, aplicado a cada uno de los vertices del triangulo
nos dice que
a2 = b2 + c2 2bc cos A
b2 = a2 + c2 2ac cos B
c2 = a2 + b2 2ab cos C
Las f
ormulas de adici
on
sen( ) = sen cos sen cos
cos( ) = cos cos sen sen
conducen a las f
ormulas del
angulo doble
sen(2) = 2 sen cos
cos(2) = cos2 sen2
y estas a las f
ormulas del
angulo triple
sen(3) = 3 sen cos2 sen3
cos(3) = cos3 3 sen2 cos
A partir de estas formulas, de caracter general, podemos obtener otras
dos formulas adicionales nos seran de utilidad:
3

1. sen(3) = 4 sen sen(60 + ) sen(60 )


2. sen2 + sen2 + 2 sen sen cos( + ) = sen2 ( + )
En efecto, teniendo en cuenta que

sen(60 ) = sen 60 cos sen cos 60 =

3
1
cos sen ,
2
2

entonces se cumple que

4 sen sen(60
+ a) sen(60

a) =

3
1
3
1
= 4 sen 2 cos 2 sen
cos

sen

=
2
2

= 4 sen 34 cos2 14 sen2 =


= 3 sen cos2 sen3 =
= sen(3).
Para demostrar la segunda formula, si y son angulos cualesquiera,
sen2 + sen2 + 2 sen sen cos( + ) =
= sen2 + sen2 + 2 sen sen (cos cos sen sen ) =
= sen2 + sen2 + 2 sen sen cos cos 2 sen2 sen2 =
= sen2 (1 sen2 ) + sen2 (1 sen2 ) + 2 sen sen cos cos =
= sen2 cos2 + sen2 cos2 + 2 sen sen cos cos =
= (sen cos + sen cos )2 =
= sen2 ( + ).
En particular, si + + = 60 , entonces
cos = cos(60 ) = cos(120 + + )
y por tanto,
sen2 (60 + ) + sen2 (60 + ) 2 sen(60 + ) sen(60 + ) cos =
= sen2 (60 + ) + sen2 (60 + )+
+2 sen(60 + ) sen(60 + ) cos(120 + + ) =
= sen2 (120 + + ) = sen2 (60 ) = sen2

2.2.

Demostraci
on trigonom
etrica

La demostracion trigonometrica usa las formulas anteriores para calcular


los lados del triangulo DEF . En primer lugar, usamos el teorema de los senos
sobre el triangulo ABD:

Figura 2: Demostracion trigonometrica

AD
c
c
=
=
sen
sen(180 )
sen( + )
Teniendo en cuenta el teorema de los senos generalizado y la primera de
las formulas adicionales anteriores,
AD =

c sen
2R sen sen(3)
=
= 8R sen sen sen(60 + )
sen( + )
sen(60 )

De forma parecida podemos deducir que AE = 8R sen sen sen(60 + ).


Ahora usamos el teorema del coseno con el triangulo ADE, y despues la
segunda de las formulas adicionales anteriores,
DE 2 = AD2 + AE 2 2 AD AE cos =
= 64R2 sen2 sen2 sen2 ( + 60 )
+64R2 sen2 sen2 sen2 ( + 60 )
2 64R2 sen2 sen2 sen( + 60 ) sen( + 60 ) cos =
= 64R2 sen2 sen2 sen2 .
5

La formula obtenida, DE = 8R sen sen sen , al ser simetrica respecto de


los angulos , y es la misma para los lados EF y F D, por lo que el
triangulo DEF es equilatero.

3.

La demostraci
on de John Conway

John Conway es un matematico britanico, profesor e investigador en


la Universidad norteamericana de Princeton. Es autor del famoso juego de
la vida. La demostracion de John Conway, que su autor considera la mas
corta de todas, es una demostraci
on indirecta, que empieza con un triangulo
equilatero y termina con la configuracion del teorema de Morley.
Seguimos considerando un triangulo ABC con A = 3, B = 3, C = 3.
Llamamos al angulo +60 . Entonces, los triangulos (0 , 0 , 0 ), (, , ),
( , , ), ( , , ), ( , , ), (, , ), (, , ) existen en forma abstracta, ya que en todos los casos los angulos suman 180o .
Construyamos estos triangulos de acuerdo con una determinada escala.
Partamos del triangulo (0 , 0 , 0 ), que es equilatero y al que asignamos lado
1. Construyamos el triangulo (, , ) de manera que el lado que une los
angulos y tenga lado 1 y de forma parecida los triangulos ( , , ) y
( , , ).
La construccion del triangulo ( , , ) se ilustra en la siguiente figura.
La construccion de los triangulos (, , ) y (, , ) se hara de forma
similar.

GH

Suponiendo que los angulos en B, F y C son , y , dibujamos desde


F dos segmentos hasta los puntos G, H del segmento BC de manera que
6 HGF = 6 F HG = , y por tanto formando el tri
angulo isosceles F GH.
Asignemos a este triangulo la escala adecuada para que los segmentos F G y
F H midan ambos 1.
Ahora, encajemos estos siete triangulos en una figura como la siguiente.

GH

Para aclarar algo, los angulos del triangulo BF D son en B, en F y


en D.
Por que encajan todos estos triangulos? En primer lugar, en cada vertice
interior, los angulos suman 360o , como es facil de comprobar.
Ademas, dos lados coincidentes, o se han establecido de longitud 1 o son
como el lado com
un BF de los triangulos BF D y BF H, que son congruentes,
d = BDF
d = .
ya que F D = F H = 1, Fd
BD = Fd
BZ = y BDF
Por tanto, la figura formada por estos siete triangulos es semejante a
la que obtenemos trisecando los angulos del triangulo dado, y por tanto, el
triangulo central es equilatero.

4.

Otra demostraci
on indirecta

Otra demostracion indirecta del teorema de Morley se debe a Raoul


Bricard e, independientemente, a Bottema.

4.1.

Caracterizaci
on del incentro

En esta demostracion usaremos que, en un triangulo ABC, como consecuencia de que A + B + C = 180 , el incentro I queda caracterizado como un
punto que esta en la bisectriz del angulo A y cumple que 6 BIC = 90 + 12 A.

4.2.

La demostraci
on indirecta

Sobre los lados DE, EF y F D de un triangulo equilatero DEF levantamos triangulos isosceles F 0 DE, D0 EF y E 0 F D de manera que los angulos en
la base , , sean menores de 60o y sumen 120o .
Prolongamos los lados de los triangulos isosceles bajo sus bases hasta que
se corten en los puntos A, B y C. Como + + + 60 = 180 , podemos
deducir la medida de otros angulos, como se muestra en la figura de la pagina
siguiente . Por ejemplo, el triangulo ADE debe tener un angulo 60 en
el vertice A, pues los angulos en D y E son + y + .

Aplicamos la caracterizacion del incentro al triangulo F 0 BC. Observamos


que la recta F F 0 , que es la mediana tanto del triangulo equilatero DEF
como del triangulo isosceles F 0 DE biseca al angulo en F 0 . Ademas 6 BF C =
180 = 90 + (90 ) = 90 + 12 F 0 .
Por tanto, F es el incentro del triangulo F 0 BC. De forma parecida, E
es el incentro del triangulo E 0 CF y D es el incentro de D0 AB. En otras,
palabras los angulos A, B y C estan trisecados. Los tres angulos peque
nos
1

en A cumplen 3 A = 60 y analogamente para B y C. Entonces,


1
= 60 A,
3

1
= 60 B,
3

1
= 60 C.
3

Dados A, B y C, angulos de un triangulo cualquiera, si elegimos , y de


esta forma, conseguiremos un triangulo ABC que es semejante al dado.
Esto completa la demostracion.

5.

La demostraci
on de Naraniengar

Frank Morley no publico su teorema rapidamente, sino que lo dio a conocer a sus amigos de Cambridge y lo publico veinte a
nos mas tarde en Japon.
Entre tanto fue redescubierto y presentado en forma de problema a resolver
en Educational Times. De las soluciones que fueron remitidas destaca por su
claridad la de M.T. Naraniengar.

5.1.

Un lema previo

Para facilitar la demostracion de Naraniengar, establezcamos el siguiente


lema:
Si los cuatro puntos D0 , D, E, E 0 satisfacen las condiciones D0 D = DE =
EE 0 y 6 D0 DE = 6 DEE 0 = 180 2 > 60 , entonces estan situados en una
circunferencia. Mas a
un, si el punto A esta situado en el semiplano determinado por la recta D0 E 0 en el que no esta D, de modo que 6 D0 AE 0 = 3,
entonces, este punto A est
a situado tambien sobre la misma circunferencia.

A
3

2
2
2

E
D

Para demostrar este lema, consideremos las bisectrices de los angulos EDD0
y E 0 ED, que cortan en O. Entonces, los triangulos OD0 D, ODE y OEE 0
son isosceles e iguales y sus angulos en la base miden 90 . Los lados
iguales OD0 , OD, OE y OE 0 son radios de una circunferencia de centro
O, y sus angulos en este vertice com
un miden 2. El arco D0 E 0 que no
contiene a D es el lugar geometrico de los puntos que (a) estan en el semiplano
determinado por la recta D0 E 0 que no contiene a D y (b) necesitan un angulo
3 para abarcar la cuerda D0 E 0 . Como uno de esos puntos es A, A esta en
la circunferencia.

5.2.

La demostraci
on de Naraniengar

Para ver la demostracion de Naraniengar observamos la siguiente figura:

10

E
F

Las rectas que dividen en tres partes iguales los angulos B = 3 y C = 3


se cortan en los puntos U y F . Como los angulos B y C del triangulo BCU
tienen por bisectrices las rectas BF y CF , F es el incentro del triangulo
BCU , por lo que F U es la bisectriz del angulo U . Elijamos los puntos D y E
sobre las rectas BU y CU de manera que F D y F E formen angulos de 30o
con F U . De esta manera los triangulos U F D y U F E son iguales, por tener
los tres angulos iguales y un lado com
un. Por tanto los lados F D y F E del
triangulo DEF deben ser iguales, y como el angulo en F es de 60o , dicho
triangulo es equilatero.
El triangulo U DE es isosceles. Su angulo U es el mismo que el de U BC
y los otros angulos suman 2 + 2 por lo que cada uno de los angulos D y
E del triangulo U DE es + .
Llamando = A/3, deducimos de A + B + C = 1800 que + + = 600 ,
o sea, + = 600 . Como consecuencia, 6 EDU = 600 y 6 F DU =
1200 .
Sean D0 y E 0 son puntos sobre BA y CA tales que BD0 = BF y CE 0 =
CF . Como, 4BDF = 4BDD0 y 4CEF = 4CEE 0 , por lo que D0 D =
DE = DF = F E = EE 0 .
Veamos ahora que 6 EDD0 = 6 E 0 ED = 1800 2. Los angulos BDD0 y
BDF tienen angulos suplementarios iguales, 6 U DD0 = 6 F DU = 1200
y 6 EDD0 = 6 EDU + 6 U DD0 = (600 ) + (1200 ) = 1800 2. De la
misma forma se obtendra 6 E 0 ED = 1800 2.
Teniendo en cuenta por u
ltimo que = A/3 < 600 , si aplicamos el lema
previo, deducimos que los cinco puntos D, D0 , E, E 0 y A estan situados
sobre una misma circunferencia. Como las cuerdas iguales D0 D, DE y EE 0
11

subtienden angulos iguales en A, las rectas AD y AE dividen en tres partes


iguales el angulo A del triangulos ABC. En otras palabras, los puntos D, E
y F que habamos construido de forma que formasen un triangulo equilatero
son de hecho los puntos descritos en el teorema de Morley. Esto completa la
demostracion.

6.

Generalizaciones del teorema de Morley

Si ademas de considerar la triseccion de los angulos interiores al triangulo,


consideramos los angulos exteriores, obtenemos la siguiente figura. Vemos
que, ademas del triangulo DEF se producen los triangulos equilateros GHJ,
HP Q, JKL y GM N . Todos ellos tienen lados paralelos. Tambien podemos
generalizar el problema considerando, por ejemplo, en lugar del angulo A el
angulo A + 2 o el angulo A + 4. Entonces se produce una configuracion en
la que hay 27 triangulos de los que 18 son equilateros.

12

Q
H

G
D

E
F

Figura 9: Generalizacion del teorema de Morley

13

Algunas demostraciones
del Teorema de Pitgoras
Francisco Javier Garca Capitn

Introducci
on
Este artculo presenta algunas de las muchas demostraciones del teorema
de Pitagoras:
El cuadrado construido sobre la hipotenusa de un triangulo rectangulo es equivalente a la suma de los cuadrados descritos sobre
los otros lados.
El teorema, atribuido a Pitagoras (569-475 a.C.), o mas bien a su escuela, (los pitagoricos), aparece como la Proposicion I.471 . Por supuesto, la
demostracion de Euclides, con su figura del molino de vientono poda faltar
aqu.
Muchas otras demostraciones, de varias clases, pueden encontrarse en
los artculos de Yanney y Calderhead en la revista American Mathematical
Monthly ([1], [2], [3], [4]) y tambien en la paginas web de Alexander Bogomolny ([5]) y Eric Weisstein ([6]).
En todas las demostraciones, a menos que se especifique lo contrario, nos
referiremos a un triangulo ABC, rectangulo en C con lados AB = c, BC = a
y CA = b.
1

Con esta notacion queremos indicar la Proposicion 47 del Libro I de los Elementos de
Euclides.

1.

Demostraciones resultantes de relaciones


de semejanza entre tri
angulos rect
angulos

De este tipo de demostraciones, la mas simple es la atribuda a Lagrange:


trazamos la perpendicular CD a AB. Obtenemos as tres triangulos semejantes.

y
b
=
b
c
cy
=
a

b
x
y
A

c-y
D

yc = b2

a
c(c y) = a2

)
c2 = a2 + b2 .

Una demostracion parecida consiste en trazar una perpendicular a AB


desde A que corta a la prolongacion de BC en D.

A
x

c
b
y

a
C

c
=
y+a
a
b
=
y
b

a
)

c
c2 = a2 + ay
2
c2 = a 2 + b2 .

b = ay

Hay muchsimas formas mas de usar la semejanza de triangulos para obtener el teorema de Pitagoras, aunque no son tan simples como las anteriores.
Como tercer ejemplo, consideremos un punto E sobre el cateto AC de manera que si trazamos por E una paralela a BC, resulta EC = ED. Se forman
los triangulos semejantes ABC, ADE, AEF y EDF .
Sean x = ED = EC, y = DF , v = AF .
Entonces:
BC
ab
AC
=
bx = (b x)a x =
,
AE
DE
a+b
BC
AB
ac
a2 b
=
ax = yc y =
=
.
DF
ED
c
(a + b)c
2

C
E

AB
AC
b3
=
cv = (b x)b v =
AE
AF
(a + b)c

b3
AB
AC
b2
a2 b
=
c(b x) = (v + y)b c
=
+
b
AD
AE
a+b
c(a + b) c(a + b)
c2 = a 2 + b2 .
Veamos una demostracion mas que usa triangulos semejantes, que Yanney
y Calderhead asignan a Hoffman.
Consiste en suponer cierto el teorema que queremos demostrar.
Entonces AB 2 = AC 2 + BC 2 , AC 2 = AD2 + CD2 y BC 2 = BD2 + CD2 .
Por tanto,

AB 2 =AC 2 + BC 2 =
=AD2 + CD2 + BD2 + CD2
=AD2 + BD2 + 2CD2 =
=AD2 + BD2 + 2AD BD =
=(AD + BD)2 .

Y como la igualdad AB = AD + BD que se deduce es cierta, tambien lo


es lo supuesto, y el teorema queda demostrado.
Evidentemente esta forma de razonar es incorrecta, pues podemos partir
de la igualdad falsa 1 = 1, elevar al cuadrado y obtener una igualdad
cierta 1 = 1. Para demostrar el teorema de Pitagoras usando la idea de la
demostracion de Hoffman, hagamos
AB 2 =(AD + BD)2 = AD2 + BD2 + 2AD BD =
BC 2
AC 2
2
2
CD
+
2CD
+
CD2 =
=AD2 + BD2 + 2CD2 =
2
2
BC
AC
2
2

(AC
+ BC 2 )
CD2
4
4
=
=
AC
+
2AC

BC
+
BC
,
AC 2 BC 2
AB 2
de donde, obtenemos AB 2 = AC 2 + BC 2 .

2.

Demostraciones basadas en propiedades


m
etricas de la circunferencia

Tomando como centro uno de los extremos de


la hipotenusa, por ejemplo B, y radio dicha hipotenusa, trazamos una circunferencia.

Prolongamos el cateto AC a la cuerda AL y el


cateto BC al diametro CD. Entonces

AC CL = DC CE
b b = (c a) (c + a)
b2 = c2 a2
c2 = a 2 + b2 .

E
La igualdad AC CL = DC CE es valida para
cualquier punto C dentro de la circunferencia en virtud de la Proposicion
III.35. Aunque la demostracion en los Elementos de esta proposicion usa
el teorema de Pitagoras (Proposicion I.47), puede demostrarse facilmente
usando la semejanza de los triangulos ACD y ECL.
En efecto, los angulos inscritos CAD y CEL son iguales, por abarcar
el mismo arco. Igual les ocurre a los angulos ADC y ELC. Por tanto, los
AC
triangulos ACD y ECL son semejantes y DC
= EC
, que es lo que hemos
LC
usado.
Si ahora trazamos una circunferencia con centro B y
radio
el lado menor BC, resulta que el lado AC es tangente
E
a dicha circunferencia.

La Proposicion III.37 nos dice que AD AE = AC 2 .


Entonces, b2 = (c a)(c + a), es decir c2 = a2 + b2 .

D
A

Podemos usar la semejanza de triangulos, en este caso


de ADC y ACE, para demostrar la igualdad ADAE = AC 2 . La clave esta en
que el angulo inscrito AEC y el angulo semiinscrito ACD son iguales, por
abarcar el mismo arco.

Para terminar esta seccion, veamos dos demostraciones mas que usan la
Proposicion III.37:

A
D

En primer lugar, describamos circunferencias


con diametros AC y BC. Estas circunferencias se
cortaran sobre un punto D del segmento AB.
AC 2 =AB AB
BC 2 =BD AB
AC 2 + BC 2 =AB (AD + BD) = AB 2 .

Para la otra demostracion dibujamos dos circunferencias, una centrada en A con radio AC
y otra centrada en B con radio BC. Tendremos
AC 2 = AH AD y BC 2 = BL BE. Por tanto,
AC 2 + BC 2 = (AB BC)(AB + BC)+
+ (AB AC)(AB + AC) =
=2AB 2 AC 2 BC 2 ,
de donde es evidente el resultado buscado.

E
H
L
B
D

A
C

3.

Demostraciones basadas en la
comparaci
on de
areas

La primera demostracion que incluimos de este tipo es la de Euclides, con


la conocida figura del molinillo:

D
J
E
H

A
K

Expresando las areas con parentesis, y teniendo en cuenta que si en un


triangulo dejamos fija la base y movemos el otro vertice por una paralela a
la base, el area no vara, es cierto que
(BKJE) = 2(BJE) = 2(BEC) = 2(BAF ) = 2(BCF ) = (BCGF ).
De forma parecida obtenemos que (AKJD) = (ACIH). Por tanto,
(ABED) = (BKJE) + (AKJD) = (BCGF ) + (ACIH),
como se pretenda demostrar.
Seg
un Proclo, esta demostracion es del mismo Euclides, que la concibio para que este teorema pudiera estar en el Libro I y no tuviera que esperar
hasta que se desarrollaran las teoras de proporcion y semejanza de los Libros
V y VI.
6

Veamos alguna de las muchsimas variaciones de esta demostracion.

D
J
E

L
H

B
M

Una de ellas, en la que intervienen paralelogramos, hace ver que


(BKJE) = (BCLE) = (BF M A) = (BF GC).
Del mismo modo se prueba que (AKJD) = (AHIC) y sumando obtenemos
el resultado buscado.
Otra forma parecida de obtener el mismo resultado es razonar que
(BKJE) = (BON C) = (BF GC)
y obtener (AKJD) = (AHIC) de forma similar.

4.

Demostraciones por disecci


on

Comencemos esta seccion con la demostracion debida al matematico arabe Thabit Ibn Qurra (826-901):

B
A
A

Esta es otra, debida a H. Perigal (1873):

Referencias
[1] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 3, 65-67, 110113, 169-171 y 299-300, 1896.
[2] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 4, 11-12, 79-81,
168-170, 250-251 y 267-269, 1897.
[3] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 5, 73-74, 1898.
[4] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 6, 33-34 y 69-71,
1899.
[5] http://www.cut-the-knot.com/pythagoras/
Pagina de Alexander Bogomolny dedicada al teorema de Pitagoras y sus
muchas demostraciones.
[6] http://www.mathworld.wolfram.com/PythagoreanTheorem.html
Pagina de Eric Weisstein, en la que ademas de algunas demostraciones,
puede encontrarse una extensa bibliografa.
[7] http://aleph0.clarku.edu/djoyce/java/elements/elements.html
Pagina con los Elementos de Euclides. Ademas de contener las demostraciones de todas las proposiciones, hay applets de Java que permiten
manipular las figuras.
[8] www.sunsite.ubc.ca/DigitalMathArchive/Euclid/java/html/pythagoras.html

El Teorema de Ptolomeo
1.

Enunciado del teorema de Ptolomeo

En un cuadrilatero inscrito en una circunferencia, el producto de las diagonales es igual a la suma de los productos de los lados opuestos.
AB DC + DA CB = AC BD.

2.

Demostraci
on del teorema de Ptolomeo

Sea el cuadrilatero ABCD (Fig. 1). Tracemos el segmento AF de manera


que 6 BAF = 6 CAD.
A

F
C
Figura 1: El teorema de Ptolomeo

Entonces, los triangulos ABE y ACD son semejantes y


AB
BE
=
AB DC = AC BE
AC
DC
Tambien son semejantes los triangulos ADE y ACB:
ED
AD
=
DA CB = AC ED
AC
CB
Sumando miembro a miembro (1) y (2) obtenemos
AB DC + DA CB = AC(BE + ED) = AC BD.
1

(1)

(2)

3.

La desigualdad de Ptolomeo

La desigualdad de Ptolomeo generaliza al teorema de Ptolomeo y es de


mucha utilidad en la demostracion de desigualdades geometricas:
Si ABCD es un cuadrilatero cualquiera del plano, entonces
AB CD + BC DA AC BD,
cumpliendose la igualdad si y solo si el cuadrilatero es cclico.
Demostraci
on. Supongamos primero que el cuadrilatero ABCD es convexo. En ese caso, giramos con centro en B y seguidamente hacemos una
homotecia de razon k de manera que la imagen de D sea A. Llamemos C 0 a
la imagen de C.

C
C
A

Figura 2: Cuadrilatero convexo

BD
AB
=
, es
Los triangulos ABC 0 y DBC son semejantes, por lo que
AC 0
CD
decir,
AB CD
AC 0 =
.
BD
Los triangulos C 0 BC y ABD tambien son semejantes, ya que 6 C 0 BC =
6 ABD y
C 0B
AB
=
= k.
BC
BD
BC
BD
Esta semejanza significa que 0 =
, de donde
CC
AD
CC 0 =

BC AD
.
BD
2

Teniendo en cuenta la desigualdd triangular,


AC 0 + C 0 C =

AB CD BC AD
+
AC,
BD
BD

y por tanto, AB CD + BC AD AC BD. La desigualdad se cumple


si y solo si C 0 esta en el segmento AC, que cuyo caso tendremos 6 BAC =
6 BAC 0 = 6 BDC y los puntos A, B, C, D estar
an en una circunferencia.
Supongamos ahora que el cuadrilatero ABCD no es convexo. Entonces,
una de sus diagonales, por ejemplo BD, no tiene puntos en el interior del
cuadrilatero.

D
Figura 3: Cuadrilatero no convexo

Si C 0 es el simetrico de C respecto de la recta BD, el cuadrilatero ABC 0 D


tiene lados con las mismas longitudes que ABCD. Sin embargo, el producto
de las diagonales es menor en el cuadrilatero ABCD ya que AC < AC 0 y
la otra diagonal es la misma en los dos. Por tanto, si el cuadrilatero no es
convexo, la desigualdad de Ptolomeo es tambien cierta, no cumpliendose la
igualdad en ning
un caso.

4.

El teorema de Casey

Cuatro circunferencias son tangentes a una quinta circunferencia o a una


recta si y solo si t12 t34 t13 t42 t14 t23 = 0, siendo tij la tangente com
un a
las circunferencias i y j.

5.

El teorema de Purser

Sean t, u y v las longitudes de las tangentes a una circunferencia C desde


los vertices de un triangulo de lados a, b y c. Entonces, la condicion para que
C sea tangente a la circunferencia circunscrita al triangulo es que
at bu cv = 0.
Este teorema fue descubierto independientemente, primero por Casey y despues por Purser.

El porismo de Steiner
Francisco Javier Garca Capitan

1.

Cadenas de Steiner

Dadas dos circunferencias interiores, no concentricas, comencemos por


inscribir entre ambas una nueva circunferencia. A continuacion, inscribamos
otra circunferencia tangente a la u
ltima y a las dos dadas. Si continuamos
inscribiendo circunferencias de este modo y llega un momento en el que la
u
ltima circunferencia inscrita es tangente a la primera, decimos que las circunferencias inscritas forman una cadena de Steiner.
Esta figura muestra cadenas de Steiner de diferente longitud:

Figura 1: Cadenas de Steiner.

2.

Porismo de Steiner
La palabra porismo, que no se usa mucho, tiene varias acepciones.
Una de ellas, es corolario, algo que deducimos de un teorema anterior.

La que usamos aqu es se refiere a algo intermedio entre un problema y un


teorema, una proposicion afirmando la posibilidad de encontrar condiciones
para que un problema sea insoluble o tenga infinitas soluciones.
El porismo de Steiner afirma que dadas dos circunferencias interiores
no concentricas, independientemente de por donde empecemos, o siempre
conseguimos una cadena de Steiner o nunca lo hacemos.
En el caso de las circunferencias de la figura siguiente se ve como, independientemente del punto de partida, siempre completamos una cadena de
Steiner.

Figura 2: El porismo de Steiner.


Es momento de plantearse algunas cuestiones:

i. Como se justifica el porismo de Steiner?


ii. Como podemos obtener facilmente una cadena de Steiner?
iii. Es siempre posible, dadas dos circunferencias no concentricas, inscribir
entre ellas una cadena de Steiner?
Vamos a intentar en lo que sigue arrojar alguna luz sobre estos interrogantes.
2

3.

Una herramienta u
til: la inversi
on

Jakob Steiner (1796-1863) fue un matematico suizo, que no aprendio a


leer y escribir hasta los 14 a
nos y que no fue a la escuela hasta los 18 a
nos,
en contra de los deseos de sus padres. Despues estudio en las universidades
de Heidelberg y Berlin.
No le gustaban el algebra y el analisis. Crea que los calculos sustituyen
al pensamiento, mientras que la geometra lo estimula.
Steiner desarrollo una transformacion del plano llamada la inversion.
Consideremos en el plano una circunferencia de centro O y radio r. La
inversion de centro O y radio r es una transformacion del plano que a cada
punto X distinto de O, le asocia otro punto X 0 de la semirrecta OX cumpliendo la relacion OX OX 0 = r2 .

X"

Figura 3: Definicion de inversion

Si el punto X esta dentro de la circunferencia, la perpendicular a la semirrecta OX determina el punto X 00 en la circunferencia. Por este punto
trazamos una tangente que corta a la semirrecta OX en el punto X 0 , inverso
de X.
As como, por ejemplo, un giro transforma rectas y circunferencias en
figuras del mismo tipo, la inversion puede transformar una recta en una

recta o en una circunferencia y, de igual modo, una circunferencia en una


recta o una circunferencia.
A diferencia de otras transformaciones, la inversion no conserva las distancias, aunque, y esto tiene gran utilidad, s conserva los angulos.
La importancia de la inversion a la hora de justificar el porismo de Steiner
radica en que, con las consideraciones apropiadas, dos circunferencias no
concentricas se pueden invertir en dos circunferencias que s son concentricas,
caso en el que el problema es mucho mas sencillo.
Consideremos la inversion con centro O y radio r. Aqu usaremos que se
cumple la siguiente propiedad: Una circunferencia que no pase por O, con
centro C y radio s, se transforma en una circunferencia de radio
s0 =

r2 s
.
|OC 2 s2 |

(1)

En esta figura vemos que una cadena de Steiner se transforma, mediante


una inversion en una cadena de circunferencias inscritas entre dos circunferencias concentricas:

Figura 4: Inversion de una cadena de Steiner

En el caso de circunferencias concentricas, esta claro que no importa cual


sea la posicion de la primera circunferencia de la cadena para que podamos
completar una cadena de circunferencias tangentes.
Aplicando una inversion, tampoco importara donde empecemos en el caso
de circunferencias no concentricas, y esto contesta, grosso modo, la primera
cuestion que nos planteabamos en la pagina anterior.
4

4.

Algunos c
alculos

Sean a y b los radios de dos circunferencias concentricas que admiten una


cadena de n circunferencias inscritas. Que relacion debe haber entre a y b?

T
O

Figura 5: Circunferencias concentricas.


El triangulo rectangulo OT A, nos dice que

TA
ab
sen =
=
=
n
OA
a+b

a
b
a
b

1
.
+1

Esto nos permite afirmar que


1 + sen n
a
=
=
b
1 sen n

1 + sen n
cos n

2
.

(2)

La figura 5 y la formula (2) nos dicen que, en el caso de circunferencias


concentricas, para cada a hay un u
nico b que permita construir una cadena
de circunferencias inscritas que no se solapen.
Si queremos construir una cadena de Steiner entre dos circunferencias
interiores no concentricas, tendremos que averiguar en que condiciones dichas
circunferencias podran invertirse en dos circunferencias concentricas cuyos
radios esten en la proporcion expresada por la formula (2).
Esa es la tarea del siguiente apartado.
5

5.

M
as c
alculos

Sean ahora a0 y b0 los radios menor y mayor de dos circunferencias interiores no concentricas. Nuestro proposito es inscribir entre ellas una cadena
de Steiner de longitud cualquiera n.
Que condicion deberan cumplir a0 , b0 y n?
Necesitamos averiguar el centro de inversion O y el radio de inversion r,
as como el centro C y los radios a y b de dos circunferencias concentricas
que se inviertan en las dadas. Asimismo, los radios a y b deberan cumplir la
relacion (2) para que podamos construir la cadena.

CO

Figura 6: Circunferencias no concentricas.

Consideramos los n
umeros
1 + sen n
m=
=
1 sen n

1 + sen n
cos n

2
,

(3)

y d la distancia OC. Teniendo en cuenta las relaciones (1) y (2) deben cumplirse las siguientes igualdades:
r2 a
r2 b
a
0
(4)
,
b
=
,
= m.
a2 d2
b2 d2 b
Resolviendo las ecuaciones a0 a2 r2 a a0 d2 = 0, b0 b2 r2 b b0 d2 = 0,
obtenemos

r2 + r4 + 4b02 d2
r2 + r4 + 4a02 d2
a=
, b=
.
2a0
2b0
a0 =

Para simplificar un poco, vamos a expresar


d = tr2 ,
con lo que a y b, se escriben

1 + 1 + 4a02 t2 2
r ,
a=
2a0

b=

(5)

1+

1 + 4b02 t2 2
r .
2b0

(6)

La ultima condicion de (4) se escribe

1 + 1 + 4a02 t2
a0

= 0 m.
b
1 + 1 + 4b02 t2
Resolviendo, obtenemos
a02 m2 + b0 2 m2 a0 b0 m(1 + m2 )
m(b0 a0 m)(b0 m a0 )
t =
=
,
a0 2 b0 2 (m2 1)2
a0 2 b0 2 (m2 1)2
2

(7)

que nos permite calcular a, b y d en terminos de un r arbitrario.


Como m > 1 y estamos suponiendo b0 > a0 , la u
nica condicion adicional
para que el segundo termino de (7) sea positivo, y podamos calcular t, es
a0 <
7

b0
.
m

(8)

Llegados a este punto, podemos decir que dados a0 , b0 y n y calculado


b0
podemos usar las formulas (7), (5) y (6)
el correspondiente m, si a0 < m
con cualquier valor de r para hallar a, b y d. Con ello, las circunferencias
concentricas de radios a y b se invertiran en circunferencias con radios a0 y
b0 .
0

b
Como ejemplo, sean b0 = 60 y n = 8. Entonces m = 2,2398 y m
= 26,7878,
0
0
valor maximo de a . En la figura 7 se muestran los casos a = 12 (izquierda) y
a0 = 26 (derecha). Observese que cuanto mas proximo esta a0 al valor maximo
mas proximas estan las circunferencias mayor y menor a ser concentricas.

Figura 7: Dos valores de a0 para un mismo b0 .


Con los calculos que hemos realizado hasta aqu hemos conseguido producir cadenas de Steiner entre circunferencias de radios a0 y b0 prefijados,
aunque no hemos llegado a determinar donde debe estar ubicado el centro de
las circunferencias concentricas para que las circunferencias invertidas esten
en una posicion determinada, lo cual puede ser conveniente, a la hora de
obtener figuras de cadenas de Steiner.
Sin embargo, todava tenemos un grado de libertad. Podemos poner el
centro C de las circunferencias concentricas en cualquier punto del plano. El
centro de inversion O estara situado a una distancia d de C.
Vamos a usar este grado de libertad para conseguir que la circunferencia
mayor quede centrada en un punto M (Figura 6). Sea x0 la abscisa del punto
M , y llamemos x a la del punto C, con lo que la del centro de inversion O
sera x+d. Como el punto B, con abscisa x+b se transforma en el punto B 0 , con
abscisa x0 +b, la condicion OBOB 0 = r2 conduce a (bd)(x0 +b0 dx) = r2 ,
8

y por tanto
CM = x0 x =

6.

r2
b0 + d,
bd

Una propiedad interesante

Para terminar, una propiedad interesante de las cadenas de Steiner: los


centros de las circunferencias de una cadena de Steiner estan todos en una
misma elipse.

Figura 8: Una elipse dentro de la cadena de Steiner.


Esta propiedad aparece como ejercicio en [3] (pag. 88), y esta es la indicacion que all se da para su resolucion:
Invirtamos la figura 8 respecto de una circunferencia centrada en uno de
los puntos de contacto de dos circunferencias de la cadena de Steiner (ver
figura 9).
Dos circunferencias de la cadena se convertiran en dos rectas paralelas,
digamos y . El resto tendran los centros y los puntos de contacto en una
recta , perpendicular a y . Las circunferencias originales se convierten
en circunferencias iguales tangentes a y , tranformandose una en otra
9

mediante la simetra de eje . La inversion transforma esta simetra en una


inversion.
Los centros de las circunferencias estan en una elipse.

Figura 9: Una elipse dentro de la cadena de Steiner.

10

Referencias
[1] H. S. M. Coxeter y S. L. Greitzer. Retorno a la Geometra. Coleccion
La tortuga de Aquiles, no 1. Es una traduccion de Geometry Revisited,
publicado por la Mathematical Association of America.
[2] http://mathworld.wolfram.com/SteinerChain.html
http://mathworld.wolfram.com/SteinerPorism.html
Paginas de Eric Weisstein dedicada a este tema.
[3] H. S. M. Coxeter. Introduction to Geometry. 2nd edition. John Wiley &
Sons. New York.
Francisco Javier Garc
a Capit
an, 2002
pacoga@ctv.es

11

Traslacin paralela en el tringulo


Francisco Javier Garca Capitn

1. Introduccin
La magnfica obra Mtodos y Teoras para la Resolucin de Problemas de
Construcciones Geomtricas, con ms de 400 problemas, por Julius Petersen, como su
nombre indica, nos ensea mtodos para atacar problemas sobre construcciones
geomtricas con regla y comps.
Como podemos leer en el prlogo, es conveniente disponer, a la hora de abordar
problemas geomtricos, mtodos tambin puramente geomtricos. En efecto, el uso de
coordenadas a veces introduce en el problema magnitudes que nada tienen que ver con
l (como lo pueden ser las distancias de los puntos a unos ejes de coordenadas). El
resultado puede ser entonces una ecuacin descomunal que sea difcil de resolver.
En este trabajo seguimos a Julius Petersen para estudiar uno de estos mtodos
geomtricos: la traslacin paralela, aplicada al tringulo. Analizaremos con detalle el
mtodo y resolveremos algunos de los problemas propuestos por Petersen.

2. Transformacin paralela aplicada al tringulo


Dado un tringulo ABC, hallamos el punto D de interseccin de la paralela a AC por B y
la paralela a BC por A, y el punto E, simtrico de B respecto de A. As, formamos el
tringulo CDE.

En el tringulo CDE observaremos muchos elementos del tringulo original ABC, lo


quie nos permitir en muchos casos construir primero el tringulo CDE y a partir de l
el tringulo ABC.

3. Relaciones entre los dos tringulos


Los segmentos que parten de A son los lados del tringulo original.

En efecto, tenemos:

AE = AB
AD = BC
AC = CA (los dos segmentos coinciden)

Los ngulos formados alrededor de A son los ngulos exteriores.

Es evidente que EAC = 180-A.


Tambin tenemos que
EAD = 180 - DAB = 180 - B.

Como DC=2CO, los lados del nuevo tringulo son el doble de las medias del primitivo
y recprocamente, A es el punto de interseccin de las medianas del nuevo tringulo.
Llamemos M, N, K, L a los puntos medios de BC, CA, DE y CE, respectivamente.

AL es la paralela media a BC en el tringulo


BCE, por lo que AL es paralela a DA y D, A
y L estn alineados.
Anlogamente, AK es la paralela media a
BD en el tringulo BDE, por lo que AK es
paralela a AC y K, A y C estn alineados.
Entonces tenemos que CK y DL son
medianas del tringulo CDE, por lo que A es
el baricentro de CDE.

Adems:
Por ser ACBD un paralelogramo, sus diagonales se cortan en su punto medio,
por lo que CO = OD y DC = 2CO = 2 mc.
Por ser AM la paralela media del tringulo BCE, CE = 2 AM = 2 ma.
Por ser A el baricentro de CDE y N el punto medio de AC, tenemos KA = AN =
NC, por lo que al ser DB paralela a KN, es KNBD un paralelogramo y DE =
2DK = 2 BN = 2 mb.

Como B y D estn a la misma distancia de AC, las alturas del tringulo ABC son
tambin las de otros tringulos que se unen en A.

Aqu vemos que la longitud hc de una altura del tringulo ABC es tambin la
longitud de una altura de los tringulos ACE, AED y ADB.

La longitud hb de la altura de ABC correspondiente al vrtice B es tambin una


longitud de una altura de los tringulos ABD y ACE.

Finalmente, vemos que la longitud ha de la altura del tringulo ABC


correspondiente al ngulo A es tambin la longitud de una altura de los
tringulos ABD y ADE.

Como la traslacin paralela conserva los ngulos, los ngulos formados por los lados,
las alturas y las medianas reaparecen en la nueva figura.
Por ejemplo, observemos en la figura que el ngulo
formado por el lado BC y la mediana BN del tringulo
ABC es el mismo que el ngulo formado por la
mediana DL y el lado DE del tringulo CDE.
Tambin, el ngulo formado por la mediana CO y el
lado AB del tringulo ABC es el mismo que el
formado por la mediana EO y el lado CD del
tringulo CDE.
Otro ejemplo: el ngulo formado por la mediana AM
y el lado BC del tringulo ABC es el mismo que el
ngulo formado por la mediana DL y el lado CE del tringulo CDE.

Por ser (DAC)=(ABC), tendremos (DEC) = 3(ABC).

En efecto, sabemos que el baricentro divide a una


mediana en dos segmentos uno el doble que el otro.
Entonces, en la figura, el segmento EB queda dividido
de esta manera en cuatro partes iguales, y los
tringulos con vrtice C o D y base uno de estos
segmentos iguales tendrn todos la misma rea.

Siempre que podamos trazar el tringulo DEC o alguno de los pequeos tringulos, se
podr obtener fcilmente el tringulo ABC.
Esto lo aplicaremos para resolver los problemas que planteamos en el siguiente
apartado.

3. Problemas de aplicacin
A continuacin, algunos de los problemas propuestos por Julius Petersen para resolver
con el mtodo de la traslacin paralela. Se aconseja al lector que antes de leer la
solucin de los mismos en la seccin siguiente los intente resolver aplicando lo
aprendido en la seccin precedente.
1.
2.
3.
4.
5.

Construir un tringulo conociendo sus tres medianas.


Construir un tringulo conociendo mc, ha y hb.
Construir un tringulo conociendo ha, ma y mb.
Construir un tringulo conociendo ha, mb y hc.
Construir un tringulo conociendo ha, mb y mc.

Como es habitual, ha, hb y hc son las alturas del tringulo ABC, correspondientes a los
vrtices A, B y C, y ma, mb y mc las medianas.
Por supuesto, la construccin debe hacerse mediante el uso slo de la regla y el comps.
La resolucin de un problema comenzar con el anlisis de los datos suministrados y
estudiar la manera de que stos conduzcan al tringulo buscado, es decir, la
construccin de dicho tringulo mediante la regla y el comps.

4. Soluciones

Problema 1. Construir un tringulo conociendo sus tres medianas.


Anlisis:
Es immediato a partir de las consideraciones hechas sobre la traslacin paralela para el
tringulo. Como nos dan las tres medianas, podremos hallar el tringulo CDE y a partir
de l ser fcil obtener el tringulo ABC, ya que A es el baricentro de CDE, etc.
Construccin:
Una vez construido el tringulo DEC con CD= 2 mc, DE=2 mb y EC=2 ma, hallamos el
baricentro A de dicho tringulo que ser vrtice del tringulo ABC buscado. El vrtice B
se obtiene como el simtrico de E respecto de A.

Observacin:
La construccin ser posible siempre que podamos formar el tringulo CDE, es decir,
siempre que cada una de las medianas dadas sea menor que la suma de las otras dos.

Problema 2. Construir un tringulo conociendo mc, ha y hb.


Anlisis:
Consideramos el tringulo CDE asociado al tringulo ABC por trasformacin paralela
de manera que DA y DB son paralelas a BC y AC, respectivamente y donde E es el
simtrico de B respecto de A.
Observemos la figura de la pgina siguiente: la altura ha del tringulo ABC tambin lo es
del tringulo rectngulo DPC, donde hemos trasladado dicho altura entre las dos
paralelas DA y BC hasta que dicha altura se convierte en segmento DP. El punto P
estar en la circunferencia de dimetro DC.

De forma anloga, trasladamos la altura hb=BK entre las paralelas AC y DB hasta que el
pie K coincide con C. Entonces B se transforma en el punto Q y QC es la altura del
tringulo QCD. El punto Q tambin est en la circunferencia de dimetro DC.
Construccin:
Una vez determinados P y Q, la interseccin de PC y QD dar el punto B. Entonces,
encontramos la siguiente construccin:

Fijamos un segmento DC de longitud 2mc.


Trazamos la circunferencia con dimetro DC.
Con centro en D trazamos un arco con radio ha que corta a la circunferencia DC
en P. Con centro en C trazamos un arco con radio hb que corta a la
circunferencia DC en Q.
Hallamos la interseccin B de las rectas PC y QD.
Hallamos el punto A, simtrico de B respecto de O, punto medio de DC.

ABC es el tringulo buscado.

Problema 3. Construir un tringulo conociendo ha, ma y mb.


Anlisis:
Consideramos el tringulo CDE asociado al tringulo ABC por trasformacin paralela
de manera que DA y DB son paralelas a BC y AC, respectivamente y donde E es el
simtrico de B respecto de A.
Si L es el punto medio de CE, el tringulo DLE puede determinarse de forma inmediata.

Construccin:
En efecto, sobre un punto T de una recta levantamos una perpendicular TE=ha. Con
centro en E y radios 2mb y ma trazamos arcos que cortan a la recta en D y L,
respectivamente. A continuacin obtenemos el punto simtrico C de E respecto de L y
el punto medio O de CD. La recta EO cortar a DL en A y, finalmente, hallaremos B
como el simtrico de E respecto de A, o como el simtrico de A respecto de O.

Problema 4. Construir un tringulo conociendo ha, mb y hc.


Anlisis:
Consideramos el tringulo CDE asociado al tringulo ABC por trasformacin paralela
de manera que DA y DB son paralelas a BC y AC, respectivamente y donde E es el
simtrico de B respecto de A.

La altura AH del tringulo ABC es igual a la altura EH' del tringulo EDA. Asimismo, la
altura CS del tringulo ABC es igual a la altura DS' del tringulo ABD. Como DE=2mb,
EH' = ha y DS' = hc son conocidos, podemos construir el tringulo ADE.
Construccin:

Fijamos un segmento DE=2mb.


Con centros en D y E trazamos arcos de longitudes hc y ha que cortarn a la
circunferencia con dimetro DE en los puntos S' y H', respectivamente.
La interseccin de ES' y DH' nos da el punto A.
Hallamos el punto B como el simtrico de A respecto de E y el punto C como el
simtrico de D respecto de O, siendo O el punto medio de AB.

Problema 5. Construir un tringulo conociendo ha, mb y mc.


Anlisis:
Consideramos el tringulo CDE asociado al tringulo ABC por trasformacin paralela
de manera que DA y DB son paralelas a BC y AC, respectivamente y donde E es el
simtrico de B respecto de A.

Los puntos C y E deben estar a una distancia ha de la recta DA, por lo que estarn cada
uno en una de las paralelas a DA a distancia ha.
El punto E entonces queda determinado al estar adems a una distancia 2 mb del punto
D. De la misma manera el punto C est a distancia 2 mc del punto D.
Construccin:
Las consideraciones anteriores llevan a la siguiente construccin:

Fijamos un punto D en una recta y trazamos las dos paralelas a ella a distancia
ha.

Trazamos un arco con radio DE= 2mb que corta a una de las rectas en el punto
E, y trazamos otro arco con radio DC=2mc que corta a la otra recta en el punto
C.
Trazamos la mediana EO del tringulo CDE, que corta a la recta inicial en el
vrtice A del ngulo buscado.
El vrtice B lo obtenemos como el simtrico de E respecto de A.

5. Agradecimientos
El autor agradece enormemente a Julius Petersen haber escrito la obra mencionada en la
introduccin, a Jos Mara Pedret que le inculc el inters por los mtodos geomtricos
y le fue y le sigue abriendo camino en su aprendizaje, y a Ricardo Barroso Campos por
mantener su pgina sobre resolucin de problemas de tringulos con Cabri y por
fomentar la relacin entre amigos de la Geometra. Tambin a William Rodrguez
Chamache, editor de la Revista Latinoamericana de Geometra, por ofrecerle la
inclusin de este trabajo en la misma.

6. Bibliografa
http://gallica.bnf.fr/document?O=N099640

En esta direccin podemos descargar la obra de Julius Petersen a la que nos hemos
referido en este trabajo.
http://www.personal.us.es/rbarroso/trianguloscabri/

Pgina de Ricardo Barroso Campos.


http://garciacapitan.auna.com/

Pgina web del autor de este trabajo, con ms material sobre la obra de Petersen.

La inversion: Una herramienta


para resolver problemas
Francisco Javier Garca Capitan

1.

Definici
on de inversi
on

Seg
un afirma Robert C. Yates en Curves and their properties, la inversion se debe a Steiner, que mostro un gran conocimiento del tema en 1824.
Quetelet dio ejemplos en 1825. De forma aparentemente independiente fue
descubierta tambien por Bellavitis (1836), Stubbs e Ingram (1842-3), y por
Lord Kelvin (1845). Este u
ltimo aplico la idea con exito en sus investigaciones
sobre electricidad.
Dada una circunferencia de centro O y radio k, la inversion de centro
O y radio k es una transformacion del plano que a cada punto A distinto
de O, le asocia otro punto A0 de la semirrecta OA cumpliendo la relacion
OA OA0 = k 2 .
La figura siguiente muestra la manera de construir el punto inverso A0 del
punto A cuando este es interior a la circunferencia.

La perpendicular a la semirrecta OA determina el punto T en la circunferencia. Por este punto trazamos una tangente que corta a la semirrecta
1

OA en el punto A0 , inverso de A. En efecto, los triangulos OT A y OA0 T son


semejantes. Entonces,
OA
OT
=
OA OA0 = OT 2 = k 2 .
0
OT
OA
Usando el mismo dibujo, si el punto A0 esta fuera de la circunferencia,
trazamos una tangente a la circunferencia desde A0 y, siendo T el punto de
tangencia, por T trazamos una perpendicular a la recta OA0 que cortara a
esta en el punto A, simetrico del punto A0 .
Vemos entonces que un punto exterior a la circunferencia se transforma
en un punto interior y un punto exterior a la circunferencia se transforma en
un punto interior. Los puntos de la circunferencia de inversion se invierten
en s mismos, es decir, son puntos fijos de la transformacion.

2.

Propiedades de la inversi
on

Las propiedades de la inversion nos permiten hacer demostraciones geometricas que no son sencillas cuando se intentan con otros metodos.

2.1.

La inversi
on y las distancias

Como se transforman las distancias con una inversion? Sean A y B


puntos distintos y sean A0 y B 0 los inversos respecto de una circunferencia
de centro O y radio k. Entonces
A0 B 0 =

AB k 2
.
OA OB

B
B
O

En el caso, mostrado en la figura, de que la recta AB no pase por O, si


tenemos en cuenta que OA OA0 = k 2 = OB OB 0 , obtenemos
OB 0
OA
=
,
OB
OA0
2

por lo que los triangulos OAB y OB 0 A0 son semejantes. Entonces,


OB 0
k2
AB k 2
A0 B 0
=
=
A0 B 0 =
.
AB
OA
OA OB
OA OB
En el caso de que los puntos O, A y B esten alineados, A0 y B 0 estaran
en la misma recta:

A B

Entonces tendremos:
A0 B 0 = OB 0 OA0 =

2.2.

k2
k2
k2
AB k 2

=
(OB OA) =
.
OA OB
OA OB
OA OB

La inversi
on y las rectas

Es evidente que cualquier recta que pase por el centro de inversion se va


a transformar en s misma.
Por otro lado, si la recta l no pasa por el centro de inversion O, dicha
recta se transforma en una circunferencia con diametro OM 0 , siendo M la
proyeccion ortogonal de O sobre l y M 0 el inverso de M .

M
M
A
A

En efecto, si consideremos un punto cualquiera A de la recta l y su recproco A0 , los triangulos OA0 M 0 y OM A son semejantes, y como el angulo AM M 0
es recto, tambien lo es el angulo OA0 M 0 , resultando entonces que A0 esta en
la circunferencia con diametro OM 0 .
3

2.3.

La inversi
on y las circunferencias

La figura anterior nos sirve para averiguar cual es el resultado de invertir


una circunferencia que pasa por el centro de inversion: si OM 0 es un diametro,
entonces esa circunferencia se transforma en la recta perpendicular a OM 0
por el punto M , inverso de M 0 .
Vamos a hallar ahora el resultado de invertir una circunferencia que no
pasa por el centro de inversion.

P Q
A

Supongamos que una circunferencia dada tiene radio r y sean P y Q los


puntos de interseccion de una recta que pasa por O y dicha circunferencia.
Llamemos P 0 y Q0 a los puntos inversos de P y Q.
Por la definicion de inversion, OP OP 0 = OQ OQ0 = k 2 y por un
teorema elemental de la circunferencia,OP OQ = |OM 2 r2 |. Dividiendo
estas igualdades obtenemos
OP 0
OQ0
k2
=
=
= cte.
OQ
OP
|OM 2 r2 |
Trazamos una paralela a P M por Q0 y llamamos N a su interseccion
con OM . Los triangulos OQ0 N y OP M son semejantes, por tener dos lados
paralelos. Por tanto,
OQ0
Q0 N
NO
=
=
.
OP
PM
MO
Despejando,
M O k2
OQ0
=
= cte.
NO = MO
OP
|OM 2 r2 |
OQ0
r k2
Q0 N = P M
=
= cte.
OP
|OM 2 r2 |
En este razonamiento pueden intercambiarse los puntos P y Q, para concluir
que los puntos P 0 y Q0 estaran en una circunferencia de radio N y radio
constante siempre que P y Q esten en la circunferencia de centro M y radio
r.
4

Los calculos anteriores, ademas nos dan el radio r0 de una circunferencia


inversa de una circunferencia con centro M y radio r que no pasa por el
centro de inversion:
r k2
r0 =
.
(1)
|OM 2 r2 |
Para construir la circunferencia inversa de una circunferencia que no pasa
por el centro de inversion, unimos el centro de inversion con el centro de la
circunferencia dada mediante una recta que determina en esta un diametro
AB. Hallamos los inversos A0 y B 0 de A y B. La circunferencia construida
con diametro A0 B 0 es el resultado de aplicar la inversion a la circunferencia
dada.

2.4.

La inversi
on y los
angulos

Una de las propiedades mas u


tiles de la inversion es que la inversion
conserva los angulos.
El angulo de interseccion de dos curvas en un punto de interseccion se define como el angulo formado por las rectas tangentes (cuando estas tangentes
existen). Esto se aplica a rectas, circunferencias o a cualquier otra curva.
En primer lugar, veamos que la inversion conserva el angulo entre una
curva y una recta que pase por el centro de inversion y el punto de tangencia.

O
A
A

En la figura, es una curva, A y B son puntos sobre , y 0 , A0 y B 0


son los correspondientes inversos. Como los triangulos AOB y B 0 OA0 son
semejantes, los angulos marcados en la figura son iguales.
Ahora, suponiendo que B es un punto movil sobre la curva y que B se
va aproximando a A, las rectas AB y A0 B tienden a las tangentes en A y A0
a las curvas y 0 . Uno de los angulos marcados tiende al angulo entre y
OA, mientras que el otro tiende al angulo inverso.
Que ocurre con el angulo formado por dos curvas? Basta considerar otra
curva cortando a en A y aplicarle lo mismo. El angulo formado por las dos
curvas se obtendra sumando los angulos de cada una de ellas con la recta
OA.

3.

Problemas

La inversion puede aplicarse para resolver problemas geometricos que de


otra forma dan lugar a ecuaciones complicadas y que con la inversion se
resuelven de forma muy sencilla.
Para resolver un problema usando la inversion hemos de decidir cual va
a ser el centro y cual va a ser el radio de inversion. En muchos casos el radio
de inversion puede ser arbitrario. En algunos casos, sin embargo, la eleccion
del radio de inversion es crucial.
Una vez elegidos el centro y el radio de inversion, tendremos en cuenta
las propiedades vistas hasta aqu.
A continuacion, algunos problemas que resolveremos mediante la inversion en la siguiente seccion.

Problema 1. La circunferencia O(2r) tiene diametro AB. La circunferencia C(r) es tangente a O(2r) en D y a AB en O. La circunferencia O1 (r1 )
esta inscrita en el triangulo curvilneo ABD y hay una cadena de circunferencias tangentes Oi (ri ) (i = 2, 3, . . . ) donde Oi (ri ) es tangente a O(2r), a
C(r) y a Oi1 (ri1 ) para cada i. Hallar rn en funcion de r.

O4

O3
O2

C
O1
A

Problema 2. Las circunferencias C1 (r) y C2 (r) son tangentes en O y son


tangentes a la circunferencia O(2r), en A y B, respectivamente. La circunferencia O1 (r1 ) es tangente interior a O(2r) y es tangente exterior a C1 (r)
y C2 (r). La circunferencia O2 (r2 ) es tangente exterior a O1 (r1 ) y a C2 (r), y
tangente interior a O(2r), y as sucesivamente. Hallar rn .

O2

O1

U0
A

C1

U1 U2 U
3
C2

Problema 3. Partiendo del enunciado del problema anterior, hallar los los
radios de las circunferencias Un (sn ) inscritas entre las On (rn ) y C2 (r).
Problema 4. Las circunferencias O(r1 ) y O(r2 ) son circunferencias concentricas y AOB es un diametro de la primera. Las circunferencias O3 (r3 ),
O4 (r4 ) y O5 (r5 ) son tangentes exteriores dos a dos de manera que las dos
7

primeras son tangentes a AB, la primera y la tercera son tangentes exteriores


a O(r2 ) y la segunda y la tercera son tangentes exteriores a O(r1 ). Hallar r3 ,
r4 y r5 en terminos de r1 y r2 .

O5
A

O3

O4 B

Problema 5. Las circunferencias O1 (r1 ) y O2 (r2 ) son tangentes exteriores


en un punto T y son tangentes a una recta l. Las circunferencias O3 (r3 ),
O4 (r4 ) y O5 (r5 ) son tangentes dos a dos, siendo tangentes tambien las dos
u
ltimas a la recta l y a las dos circunferencias dadas, y O3 (r3 ) es tangente
exterior a las dos circunferencias dadas. Hallar r3 en terminos de r1 y r2 . Si
d es la distancia de O3 a l, demostrar que d = 3r3 .

O1

T
O3

O4 O5

4.

O2
l

Soluciones

Problema 1
Podemos hallar el centro y el radio de la primera circunferencia por metodos elementales:
8

C
O1

E
A

Llamando x a la distancia EO1 y teniendo en cuenta la tangencia de


circunferencias O1 (r1 ) y C(r), y de las circunferencias O1 (r1 ) y O(2r):
(
(
x2 + (r r1 )2 = (r + r1 )2
x2 = 4rr1

4r2 = 8rr1 r1 =
2
2
2
2
2
x + r1 = (2r r1 )
x = 4r 4rr1

Sustituyendo obtenemos tambien que EO1 = x = 2x.

las
r
.
2

Los centros y radios de las siguientes circunferencias tambien pueden hallarse de la misma manera, pero es mas elegante usar la inversion. Observamos
que la cadena de circunferencias esta inscrita entre dos circunferencias que
son tangentes en el punto D. Por ello, consideramos una inversion con centro
D.
Esta inversion, con independencia del radio de inversion, transformara las
circunferencias O(2r) y C(r) en dos rectas perpendiculares a la recta OD,
por ser ambas circunferencias cortan perpendicularmente a la recta OD y
por ser OD una recta fija de la inversion (pasa por el centro de inversion).
En la figura siguiente hemos considerado el caso en el que el radio de
inversion es DO = 2r (la circunferencia de inversion aparece punteada).

O4

O3
O2

C
O1
O

Q2
B
9

Q3

Q4

La circunferencia C(r) se transforma en la recta OB y la circunferencia


O(2r) lo hace en la paralela a AB por C.
Como O1 (r1 ) es tangente a O(2r), C(r) y OB, la circunferencia inversa
es una circunferencia tangente a la circunferencia C(r), a la recta OB y a
la paralela a OB por C, es decir la circunferencia inversa de O1 (r1 ) es ella
misma.
Si, comenzando con O1 (r1 ) vamos encajando una cadena de circunferencias tangentes Q1 (r1 ) O1 (r1 ), Q2 (r1 ), Q3 (r1 ), . . . entre la recta OB y su
paralela por C, las correspondientes inversas seran las circunferencias O1 (r1 ),
O2 (r2 ), O3 (r3 ), . . .
El radio rn se calculara, seg
un la formula (1),
r
(4r2 )
r1 (2r)2
2r
2
rn =
.
=
2
3r 2 r 2 =
2
2
2
DQn r1
2 + n 1 r2 + 2 2
2+n1 +2

A partir de aqu es facil obtener los centros On . Considerando O el origen


de coordenadas, las coordenadas (xn , yn ) de On se obtienen como solucion
del sistema:
(

x2n + yn2 = (2r rn )2


.
x2n + (yn r)2 = (r + rn )2

Resolviendo, resultan
(

p
xn = 8rrn 8rn2 ,
yn = 2r 3rn .

Problema 2
En este caso, la solucion con inversion tiene el aspecto que muestra la
siguiente figura:
10

Q3

Q2
O2

O1
Q1

C1

Q0

C2

La inversion se considera con centro B y radio BO = 2r. La circunferencia


C2 (r) se transforma en la perpendicular a AB por O y la O(2r) se transforma
en la perpendicular a AB por C2 , punto medio de OB.
La circunferencia C1 (r) se invierte por tanto en la circunferencia Q0 ( 2r ),
por lo que basta construir, comenzando a partir de Q0 ( 2r ), una cadena de
circunferencias Qn ( 2r ) tangentes a las dos perpendiculares mencionadas para
conseguir, invirtiendo, la cadena de circunferencias On (rn ) deseadas.
Seg
un la formula (1), los radios rn buscados son
4r2 2r
2
2r3

= 2
rn =
=
.

2
2
2
2
2
r
Qn B 4r
n +2
(nr) + 3r

2
2
Considerando a O el origen de coordenadas, las coordenadas xn , yn de los
centros On son
(
xn = 2r 3rn ,
p
yn = 8rrn 8rn2 .
Problema 3
Consideramos la misma inversion que en problema anterior.
Podemos ver que las circunferencias Un (sn ) son las inversas de las circunferencias Vn (s) mostradas en la figura:
11

V3

V2

V1

V0
A

C1

C2

El radio s lo obtenemos a partir de la siguiente figura:

R
r
Aplicando el teorema de Pitagoras, (R r)2 + R2 = (R + r)2 . Reduciendo
obtenemos que R = 4r.
r
En nuestro caso, obtenemos que s =
. Si llamamos yn es la distancia de
8

1
Vn a la recta AB tenemos yn = n + 2 r. Por ello, los radios sn valen

4r2 8r
4r2 s
= 2
sn =
2
2 =
15r
Vn B 2 s2
+ n + 1 r2 r
8

224
64

r
2
(2n+1)2
4

14
4

2r
4
(2n+1)2
4

Problema 4
12

2r
.
=
(2n + 1)2 + 14

El valor r5 = 12 (r1 r2 ) es facil de calcular pues la circunferencia O5 (r5 )


esta encajada entre O(r1 ) y O(r2 ).
Para hallar r3 y r4 usamos una inversion de centro O y un radio adecuado
para que la circunferencia O(r1 ) se invierta en la circunferencia O(r2 ). Mediante esta circunferencia, es evidente que las circunferencias O3 (r3 ) y O4 (r4 )
se invierten una en la otra.

El radio de inversion k debe ser tal que r1 r2 = k 2 , as que k = r1 r2 .

O5
A

C O D O4 B
3

Entonces,

r3 = 12 CD = 21 ( r1 r2 r2 ) ,

r4 = 12 DB = 12 (r1 r1 r2 ) .

Problema 5
En este caso consideramos como centro de inversion el punto de tangencia
T de las dos circunferencias O1 (r1 ) y O2 (r2 ). De esta forma, estas circunferencias se transformaran en dos rectas paralelas, ambas perpendiculares a la
recta O1 O2 .

O1

O2

W
U

V
P

13

Si hacemos que el radio de inversion sea la distancia de T a la recta


l y llamamos W al punto de tangencia, la recta l se transformara en la
circunferencia con diametro CW , siendo C el punto medio de W y T . Esta
circunferencia queda encajada entre las dos rectas paralelas mencionadas.
Hagamos que la recta l sea el eje x y que el origen este en el punto medio
del segmento U V , siendo U y V los puntos de tangencia de O1 (r1 ) y O2 (r2 )
con l.

Llamando t a la medida del segmento U V , es decir t = r1 r2 , las coordenadas (x0 , y0 ) de T se obtienen como la u
nica solucion del sistema
(
(x + t)2 + (y r1 )2 = r12
.
(x t)2 + (y r2 )2 = r22
Resolviendo, obtenemos

(r1 r2 ) r1 r2
x0 =
,
r1 + r2

y0 =

2r1 r2
.
r1 + r2

La circunferencia inversa de O3 (r3 ) es la circunferencia P ( y20 ) mostrada en la figura. Entre esta circunferencia y la circunferencia P ( y20 ) hay dos
circunferencias iguales de radio y40 .
Podemos obtener el punto P como interseccion de la circunferencia de
centro C y radio CP , y la recta perpendicular por C a O1 O2 .
La pendiente de la recta O1 O2 es
m=

r2 r1
.
2t

La distancia CP es el doble del segmento de tangente com


un a las circunferencias de radios y20 y y40 , es decir
r
y0 y0
CP = 4
= 2y0 .
2 4
Las coordenadas (p1 , p2 ) del punto P forman una de las soluciones del
sistema

y 0 x x0

y =

2
m
2

(x x0 )2 + y y0 = 2y 2
0
2
14

Resolviendo,

y0
y0
x x0 = m y
1 + m2 y
= 2y02
2
2
s

y0
y0 2 2y0 t
y0
2y02
2y0

=
r1 +r2 =

y =
2
1 + m2
2
2
r1 + r2
2t

4 2r1 r2 r1 r2
r1 r2
y =

.
r1 + r2
(r1 + r2 )2
Teniendo en cuenta esto, podemos calcular las coordenadas del punto P :

(r1 r2 ) r1 r2 r1 + r2 2 2r1 r2
p1 =
,
(r1 + r2 )2

r1 r2 r1 + r2 4 2r1 r2
p2 =
.
(r1 + r2 )2
r3 =

5.

y02 y20
(p1 x0 )2 + (p2 y0 )2

y02
4

r1 r2
.

2 r1 + r2 + 2r1 r2

Bibliografa

Todos los problemas aqu resueltos se han tomado del libro de Hidetosi
Fukagawa Japanese Temple Geometry, donde aparecen propuestos y con su
solucion, pero no resueltos.
Como de casi todos los temas, en Internet hay informacion disponible
sobre la inversion. Algunos sitios interesantes son las siguientes:
http://xahlee.org
Special Plane Curves. Pagina de Xah Lee donde podemos ver multitud de
curvas y sus propiedades.
http://www.nas.com/~kunkel
Kunkel Mathematical Lessons. Pagina con varios temas de Matematicas.

15

Triangulos ortologicos
Francisco J. Garca Capitan
Septiembre de 2005
Resumen
Presentamos una introducci
on a la teora de los tri
angulos ortol
ogicos, incluyendo diversos ejemplos y algunos conceptos relacionados.

1.
1.1.

Introducci
on
El teorema de Desargues

Diremos que los triangulos ABC y


XY Z son perspectivos desde una recta si
los puntos de interseccion P = BC Y Z,
Q = CA ZX y R = AB XY estan en
una misma recta, llamada eje de perspectiva.
Asimismo, diremos que los triangulos
ABC y XY Z son perspectivos desde un
punto si las rectas AX, BY y CZ se cor- O
tan en un punto, llamado centro de perspectiva.

R
Y

B
A

Q
Teorema de Desargues. Si los triangulos ABC y XY Z son perspectivos desde
un punto entonces tambien son perspectivos respecto de una recta.

El recproco tambien es cierto, por lo que los dos conceptos son equivalentes.
1

1.2.

El tri
angulo
ortico

Llamaremos triangulo ortico de un triangulo ABC al triangulo XY Z


formado por los pies de las alturas del triangulo ABC sobre los lados del
mismo.
A

B
C

Z
C

H
A

Sea H el ortocentro del triangulo ABC. Observemos que, al ser inscrito el


cuadrilatero BXHC, XZB = XHB = 90 HBX = 90 HBX =
90 Y BC = C. De forma analoga, resulta que ZXB = A, y lo mismo
para los demas angulos que aparecen en la figura.
Esto nos sirve para justificar varias propiedades del triangulo ortico. Por
ejemplo, que las bisectrices del triangulo ortico XY Z se corresponden con
las alturas del triangulo ABC.
Nos interesa mas la propiedad que puede verse en la siguiente figura:

O
Z

C
2

Hemos trazado las perpendiculares por A y C a Y Z y XY , respectivamente que se cortan en el punto O. Pues bien, el triangulo OAC es isosceles,
ya que OAC = 90 B = OCA. Por tanto es OA = OC, y de forma
parecida, OA = OB, as que O es el circuncentro del triangulo ABC.
Resumiendo,
Propiedad 1. Las perpendiculares por A, B, C a los lados Y Z, ZX, XY
del triangulo ortico XY Z de ABC se cortan en el circuncentro O de ABC.
Ahora, como las tres alturas AX, BY , CZ se cortan en el ortocentro
H, los triangulos ABC y XY Z son perspectivos desde un punto y, por el
teorema de Desargues, tambien seran perspectivos de una recta. En este caso
el eje de perspectiva se llama eje ortico del triangulo ABC.

A
Y
Z

eje rtico
R
Para terminar esta seccion, establezcamos una interesante propiedad del
eje ortico:
Propiedad 2. El eje ortico de un triangulo es perpendicular a la recta de
Euler de dicho triangulo.

Recordemos que la circunferencia de los nueve puntos del triangulo ABC


pasa por los pies X, Y, Z de las alturas, y su centro N en el punto medio del
ortocentro H y el circuncentro O del triangulo ABC.

Q
recta de Euler
A
Y
Z
N O
P

eje rtico
R

Ahora QX QZ = QA QC, por estar X y Z en la circunferencia con


diametro AC, . Pero A y C estan tambien en la circunferencia circunscrita a
ABC, con centro O, y X y Z estan en la circunferencia de los nueve puntos
del triangulo ABC, por lo que QAQC y QX QZ son las potencias del punto
Q respecto de estas dos circunferencias. Como son iguales, resulta que Q es
un punto que tiene la misma potencia respecto de las dos circunferencias,
por lo que Q debe estar en el eje radical de las dos circunferencias.
Lo mismo le ocurrira a los otros puntos P y R, as que deducimos aqu, no
solo que los puntos P, Q, R estan alineados, sino que el eje ortico, la recta que
los contiene, por ser el eje radical de dos circunferencias, es perpendicular a
la recta que une los centros, es decir a la recta de Euler del triangulo ABC.
En la seccion siguiente generalizaremos las propiedades del triangulo ortico que hemos visto hasta aqu.

2.
2.1.

Tri
angulos ortol
ogicos
Definici
on

Diremos que el triangulo XY Z es ortologico respecto de ABC si las perpendiculares por X, Y , Z a BC, CA, AB son concurrentes. Al punto de
interseccion se le llama centro de ortologa de XY Z respecto de ABC.

Y
Z
S

X
La figura muestra una forma de conseguir un triangulo XY Z ortologico
respecto de ABC. Consideramos un punto cualquiera S del plano y elegimos
XY Z cualesquiera en las perpendiculares por S a BC, CA, AB.
Por ejemplo, seg
un hemos visto en la seccion
anterior, el triangulo ortico XY Z de un triangulo ABC es ortologico respecto de ABC, ya que
las perpendiculares por X, Y , Z a BC, CA, AB
son las alturas del triangulo ABC, que son concurrentes en el ortocentro H, centro de ortologa
de XY Z respecto de ABC. Tambien hemos visto
en la seccion anterior que, en el caso del triangulo
ortico, las perpendiculares por A, B, C a Y Z, ZX,
XY tambien son concurrentes, en este caso en el
circuncentro O del triangulo ABC.
5

Y
Z
H
B

2.2.

Caracterizaci
on

El siguiente lema nos da una condicion necesaria y suficiente para que el


triangulo XY Z sea ortologico respecto de ABC.
Lema 1. El triangulo XY Z es ortologico respecto de ABC si y solo si se
cumple


MX BC + MY CA + MZ AB = 0
(1)
para cualquier punto M del plano.
En primer lugar, la expresion en el primer miembro de (1) es independiente del valor de M, ya que si lo llamamos f(M) resultara que para cualesquiera


M y N es f(M) f(N) = MN (BC + CA + AB) = MN 0 = 0. Por


tanto, sera suficiente comprobarla para un punto concreto.
Ahora, para demostrar el lema, si XY Z es ortologico respecto de ABC,
y si tomamos como M el centro de ortologa de XY Z respecto de ABC
es claro que (1) se cumple, pues cada uno de los tres sumandos se anula.
Recprocamente, si (1) se cumple para cualquier M, tomamos como M el
punto de interseccion de de las perpendiculares a BC y CA por X e Y

respectivamente, y (1) se reducira a MZ AB = 0, es decir, MZ tambien
sera perpendicular a AB y XY Z sera ortologico respecto de ABC.

2.3.

Simetra de la definici
on

Es natural preguntarse si el hecho de que un triangulo sea ortologico


respecto de otro implica que el u
ltimo sera tambien ortologico respecto del
primero. En este apartado veremos que la respuesta es afirmativa, lo que permitira expresar la relacion de ortologa diciendo simplemente que los triangulos ABC y XY Z son ortologicos. Los centros de ortologa podran coincidir,
pero seran, en general, distintos.
Teorema 1. Si el triangulo XY Z es ortologico respecto de ABC entonces
el triangulo ABC tambien es ortologico respecto de XY Z.
Vamos a dar tres demostraciones de este teorema. La primera usa el lema
1 del apartado anterior. En efecto, si XY Z es ortologico respecto de ABC,

haciendo M = X en (1) tendremos XY CA + XZ AB = 0, equivalente a

AA Y Z + AB ZX + AC XY = 0,
6

que coincide con la expresion



MA Y Z + MB ZX + MC XY = 0
para M = A, es decir, ABC es ortologico respecto de XY Z.
Demostremos ahora el teorema usando el
teorema de Ceva.

Supongamos que XY Z es ortologico respecto de ABC y que las perpendiculares por


X, Y , Z a BC, CA, AB concurren en S.
Llamemos A1 , B1, C1 a las proyecciones ortogonales de A, B, C sobre Y Z, ZX, XY ,
respectivamente.

Y
Z

Usando la forma trigonometrica del teorema de Ceva se cumplira que


sen Y XS sen ZY S sen XZS

= 1.
sen SXZ sen SY X sen SZY
Entonces

A1

C1

B1 T
B

sen BAA1 sen CBB1 sen ACC1

=
sen A1AC sen B1 BA sen C1 CB
sen SZY sen SXZ sen SY X
=

= 1,
sen ZY S sen XZS sen Y XS
por lo que, usando de nuevo la version generalizada del teorema de Ceva, las
perpendiculares por A, B, C a Y Z, ZX, XY respectivamente seran concurrentes en un punto T .
Una tercera forma de razonar la simetra de la definicion es usando el
teorema de Carnot, seg
un el cual el hecho de que las perpendiculares por X,
Y , Z a BC, CA, AB sean concurrentes se expresa con la relacion
(AY 2 AZ 2 ) + (BZ 2 BX 2) + (CX 2 CY 2 ) = 0,
que tambien puede escribirse en la forma
(XB 2 XC 2) + (Y C 2 Y A2) + (ZA2 ZB 2) = 0.
Por tanto, las perpendiculares por A, B, C a las rectas Y Z, ZX y XY
respectivamente tambien seran concurrentes.
7

3.

Tri
angulos perspectivos y ortol
ogicos

En el ejemplo del triangulo ortico el punto T correspondera al circuncentro O del triangulo ABC, de manera que en este caso tenemos dos triangulos
XY Z y ABC perspectivos con dos centros de ortologa H y O, siendo el
centro de perspectiva uno de ellos, y el eje de perspectiva perpendicular a la
recta que contiene a los puntos de ortologa y al centro de perspectiva.

3.1.

Teorema de Sondat

En el caso general de dos triangulos ortologicos y perspectivos veremos


que es cierto el siguiente teorema, que Victor Thebault atribuye en [3] a P.
Sondat (1894), y que Darij Grinberg llama teorema de Sondat para triangulos
ortologicos, para no confundirlo con otro teorema de Sondat.
Teorema 2. Los dos centros de ortologa estan alineados con el centro de
perspectiva en una recta que es perpendicular al eje de perspectiva.

l
Z
R
A

T O
S

X
8

Demostracion. La demostracion que sigue se debe a Alexey Zavlasky.




Llamemos ~a, ~b, ~c a los vectores OA, OB, OC, de manera que OX = ~a,

OY = ~b y OZ = ~c, siendo , y escalares. Tambien llamamos OS = ~x.



Entonces, como SX BC = (~a ~x) (~b ~c) = 0, podemos despejar

= (~x ~b ~x ~c)/(~a ~b ~a ~c). Analogamente OY = b y OZ = c, siendo


= (~x ~c ~x ~a)/(~b ~c ~b ~a) y = (~x ~a ~x ~b)/(~c ~a ~c ~b).

Por estar R en AB, OR = a + (1 )b. Por estar R tambien en XY ,

OR = a + (1 )b. Comparando los coeficientes de a y b obtenemos que

= (1 )/( ), que nos permite expresar (OR, x) en funcion de ~a, ~b,


~c. Concretamente resulta la expresion
(a1 b1)(b1 c1 )(c1 a1) + a1b1 (b2 a2) + b1c1 (c2 b2 ) + c1a1 (a2 c2 )
,
a1(b2 c2 ) + b1(c2 a2) + c1 (a2 b2 )
con a1 = ~a ~x, b1 = ~b ~x, c1 = ~c ~x, a2 = ~b ~c, b2 = ~c ~a y c2 = ~a ~b. Por ser

una expresion simetrica respecto ~a, ~b y ~c tendremos que (OP , x) = (OR, x)

y P R ~x.
El razonamiento no sirve si O coincide con uno de los vertices de ABC,
pero en tal caso la demostracion es mas simple.

4.

Otros resultados notables


A continuacion siguen algunos resultados sobre triangulos ortologicos:

Teorema 3. Si los dos centros ortologicos de dos triangulos ortologicos coinciden, entonces los triangulos son perspectivos.
Sea S el centro ortologico com
un de los triangulos ABC y XY Z. Sea O
0
el punto com
un de BY y CZ, X el punto com
un de AO y XS. Entonces, O
es el centro de perspectiva de los triangulos ABC y X 0 Y Z y S ortologa de
X 0 Y Z respecto de ABC. Por tanto, el segundo centro de ortologa esta sobre
OS. Seg
un el teorema de Sondat, el centro de ortologa S 0 de ABC respecto de X 0 Y Z debe estar en la recta OS, pero por ser tanto AS como AS 0
perpendiculares a Y Z, S 0 tambien debe estar en la recta AS.
Por tanto debe ser S 0 = S y X 0 = X .
9

Teorema 4. El triangulo pedal de un punto P es ortologico al triangulo de


referencia y los centros de ortologa son P y P , donde P es el conjugado
isogonal de P .
Por ser P A Y Z y P Y CA, tenemos
P AY = 90 AY Z = P Y Z. Tambien,
como P ZA = P Y A = 90 , AY P Z es un
cuadrilatero inscrito en una circunferencia, y
entonces P Y Z = P AZ. Como conclusion
P AY = P AZ, por lo que las rectas AP y
AP son isogonales, y como lo mismo sera para
los otros vertices, por lo que P y P son conjugados isogonales.

Z
P
P*

B
C
Teorema 5. Si los triangulos ABC y XY Z son ortol
ogicos yXS y T son los
centros de ortologa de XY Z con respecto de ABC y de ABC con respecto a
XY Z, respectivamente, entonces las coordenadas baricentricas de S respecto
de ABC son las mismas que las de T respecto de XY Z.

En general, las coordenadas baricentricas de


un punto P respecto del triangulo ABC son tres
n
umeros x, y, z proporcionales a las areas de los
triangulos P BC, P CA y P AB. Por eso se las
representa con el smbolo x : y : z.

Y
Z

Por ser XS, Y S, ZS perpendiculares a BC,


CA, AB respectivamente,

S
T

sen Y SZ = sen A,
sen SY Z = sen T AC,
sen SZY = sen T AB.

C
X

Teniendo en cuenta el teorema de los senos


en varios triangulos,
T CA
AT b sen T AC
b sen SY Z
b SZ
b
c
=
=
=
=
:
.
T AB
AT c sen T AB
c sen SZY
c SY
SY SZ
De forma analoga tendremos T BC : T CA =

10

a
SX

b
SY

. Entonces las

coordenadas de S respecto de XY Z son


SY Z : SZX : SXY =
=SY SZ sen A : SZ SX sen B : SX SY sen C =
a
b
c
=
:
:
=
SX SY SZ
=T BC : T CA : T AB,
las mismas que las de T respecto de ABC.

Referencias
[1] http://de.geocities.com/darij grinberg/Schroeder/Schroeder.html.
Schr
oder Points Database. Pagina de Darij Grinberg.
[2] Mitrea, D. y Mitrea, R. A generalization of A theorem of Euler. The
American Mathematical Monthly, 101 vol. 1 (Enero 1994), 55-58.
[3] Thebault, V. Perspective and orthologic triangles and tetrahedrons.
The American Mathematical Monthly, 59 vol. 1 (Enero 1952), 24-28.
[4] Danneels, E. y Dergiades, N. A theorem on orthology centers. Forum
Geometricorum Volume 4 (2004), 135-141.
[5] www.cut-the-knot.org/pythagoras/Carnot.shtml. Pagina web de Alexander Bogomolny dedicada al teorema de Carnot.
[6] www.mccme.ru/olympiads/lktg/2004. Perspective and orthologic triangles and tetrahedrons, 16th Summer Conference, International Mathematical Tournament of Towns, Problem 5.
[7] http://www.xtec.es/qcastell/ttw. The triangles web. Pagina web
de Quim Castellsaguer sobre triangulos.

11