Professional Documents
Culture Documents
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
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
=(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
Ejemplos
=a
=
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
1.2.
Coordenadas baric
entricas absolutas
xA+y B +z C
.
x+y+z
5
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).
a 2 + c2 b 2
,
2ac
7
S = ac sen B
+
=
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
b 2 + c2 a 2
c2 + a 2 b 2
a 2 + b 2 c2
, SB =
, SC =
.
2
2
2
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.
=
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 )) .
2.2.
F
ormula de Conway
1
a2 sen sen
BC BP sen =
.
2
2 sen( + )
10
2.3.
2.3.1.
Ejemplos
Cuadrado construido sobre un lado
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
11
60
60
3.
Cevianas y trazas
3.1.
BP
AP
Teorema de Ceva
3.2.
3.2.1.
Ejemplos
El punto de Gergonne
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'
Y'
N
X'
Ejercicio
2I + 3G = (6s 6a : 6s 6b : 6s 6c) = (s a : s b : s c) = Na .
3.2.4.
1
SA +
1
:
SB +
1
:
SC +
=
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
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
Ejemplos
16
=0
5.2.
5.2.1.
Rectas paralelas
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.
5.2.2.
Ejercicios
18
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
Z
F
Y
P
W
V
B
19
5.3.
Intersecci
on de dos rectas
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
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
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
=(a2 : b2 : c2 ),
=
=
= 0,
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
5.4.
Rectas perpendiculares
o bien
SA px + (c2 r SB p)y + SA rz = 0,
SA px + SA qy + (b2q SC p)z = 0.
A
X'
Y
5.4.1.
Ejemplos
6.
6.1.
F
ormula de Leibniz
F
ormula de Leibniz
25
uP A2 =uP Q2 + uQA2 + 2uP Q QA,
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
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
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
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 <
7.2.
Simplificaci
on de coordenadas
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 <
7.3.
Otro ejemplo
29
7.4.
B
usqueda en la enciclopedia de Kimberling
30
E
u+v+w
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
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.
2.
El Teorema de Ptolomeo
A
a
d
D
n
c
b
F
(1)
(2)
3.
La f
ormula de Brahmagupta
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
c
C
(4)
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:
=
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
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.
La f
ormula de Bretschneider
c
C
m2
,
n2
n1
A
b
m1
7.
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 =
m2 =
n2 =
ab + cd
uwV W + vwU W
wW (uV + vU )
=
=
= wW.
m
uV + vU
uV + vU
9
56
60
63
39
25
52
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
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
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
3
1
cos sen ,
2
2
4 sen sen(60
+ a) sen(60
a) =
3
1
3
1
= 4 sen 2 cos 2 sen
cos
sen
=
2
2
2.2.
Demostraci
on trigonom
etrica
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 )
3.
La demostraci
on de John Conway
GH
GH
4.
Otra demostraci
on indirecta
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 + .
1
= 60 B,
3
1
= 60 C.
3
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
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
10
E
F
6.
12
Q
H
G
D
E
F
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.
y
b
=
b
c
cy
=
a
b
x
y
A
c-y
D
yc = b2
a
c(c y) = a2
)
c2 = a2 + b2 .
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 .
(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.
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.
D
A
Para terminar esta seccion, veamos dos demostraciones mas que usan la
Proposicion III.37:
A
D
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
D
J
E
H
A
K
D
J
E
L
H
B
M
4.
Comencemos esta seccion con la demostracion debida al matematico arabe Thabit Ibn Qurra (826-901):
B
A
A
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.
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
F
C
Figura 1: El teorema de Ptolomeo
(1)
(2)
3.
La desigualdad de Ptolomeo
C
C
A
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
AB CD BC AD
+
AC,
BD
BD
D
Figura 3: Cuadrilatero no convexo
4.
El teorema de Casey
5.
El teorema de Purser
El porismo de Steiner
Francisco Javier Garca Capitan
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.
3.
Una herramienta u
til: la inversi
on
X"
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
r2 s
.
|OC 2 s2 |
(1)
4.
Algunos c
alculos
T
O
TA
ab
sen =
=
=
n
OA
a+b
a
b
a
b
1
.
+1
1 + sen n
cos n
2
.
(2)
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
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 =
1 + 1 + 4a02 t2 2
r ,
a=
2a0
b=
(5)
1+
1 + 4b02 t2 2
r .
2b0
(6)
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)
b0
.
m
(8)
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.
y por tanto
CM = x0 x =
6.
r2
b0 + d,
bd
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
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.
En efecto, tenemos:
AE = AB
AD = BC
AC = CA (los dos segmentos coinciden)
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.
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.
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.
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.
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
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.
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:
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.
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:
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 web del autor de este trabajo, con ms material sobre la obra de Petersen.
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
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
AB k 2
.
OA OB
B
B
O
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
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
P Q
A
2.4.
La inversi
on y los
angulos
O
A
A
3.
Problemas
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
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
O5
A
O3
O4 B
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
4r2 = 8rr1 r1 =
2
2
2
2
2
x + r1 = (2r r1 )
x = 4r 4rr1
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
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
= 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
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
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
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
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
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
B
C
Z
C
H
A
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.
Q
recta de Euler
A
Y
Z
N O
P
eje rtico
R
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
2.3.
Simetra de la definici
on
Y
Z
= 1.
sen SXZ sen SY X sen SZY
Entonces
A1
C1
B1 T
B
=
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
l
Z
R
A
T O
S
X
8
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.
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
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.
Y
Z
S
T
sen Y SZ = sen A,
sen SY Z = sen T AC,
sen SZY = sen T AB.
C
X
10
a
SX
b
SY
. Entonces las
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