Rodolfo San Agustin Chin. - Notas de Geometría Moderna

Geometra Moderna I
Notas de clase
Version preliminar
Rodolfo San Agustn Chi

Departamento de matematicas
Facultad de Ciencias
Universidad Nacional Autonoma de Mexico
rodolfomeister@ciencias.unam.mx
January 26, 2017

ii Rodolfo San Agustn Chi
Por qu
e Geometra Moderna?
Se puede interpretar el termino Moderno de maneras muy diversas. Esto, aun dentro de la
geometra, tampoco es la excepcion. Citemos brevemente algunas de estas intepretaciones:
1. En su libro Vorlesungen u ber neuere Geometrie Moritz Pasch 1 utilizo el termino

geometra moderna en el sentido siguiente:
Para que la geometra sea verdaderamente deductiva, el proceso de infe-

rencia debe de ser independiente en todas sus partes del significado de los
conceptos geometricos, tal y como debe serlo de los diagramas. Todo lo que
debe considerarse son las relaciones entre los conceptos geometricos. [...]
2. Vincenzo de Risi 2 considera una de las acepciones mas recientes del termino en su
proyecto Modern Geometry and the Concept of Space:
Although a divide between ancient and modern geometry can be framed

in different ways, the most useful one may well be the emergence of the
consideration of space itself as an object of geometrical investigation. Greek
mathematics understood geometry as a study of straight lines, angles, cir-
cles and planes, or in more general terms as a science of figures conceived
against an amorphous background space whose definition lies outside the
limits of the theory. This understanding was superseded by a conception
of space (and spaces, now plural for the first time) itself endowed with ge-
ometrical properties. The main concern of this new geometrical science is
to characterize the structures and features of geometrical space in axioms
and demonstration. Although it is quite clear that this revolution in geom-
etry helped shape the scientific world such that contemporary mathematics
remains incomprehensible without it, the questions of when, why and how
this revolution took place are still to some extent obscure.
http://www.mpiwg-berlin.mpg.de/en/staff/members/vderisi
3. Tambien se denomina de esa manera a la geometra cuyo desarrollo siguio al re-

nacimiento europeo (mediados del siglo XV), tuvo un gran desarrollo durante el siglo
XVIII y que lleg
o hasta principios del siglo XIX. Esto es, grosso modo, la llamada
1
Moritz Pasch (1843 Wroclaw (Breslau), Prusia oriental - 1930 Bad Homburg, Alemania). Vorlesungen
u
ber Neuere Geometrie, Leipzig, Springer, 1882.
2
Max Planck Institute for the History of Science. http://www.vderisi@mpiwg-berlin.mpg.de
i
ii Rodolfo San Agustn Chi
epoca moderna en la historiografa europea, pero, sobre todo, la francesa, incluyendo,

en particular, las epocas de la ilustracion y la napoleonica 3 .
Y as podriamos continuar con algunas interpretaciones mas. Sin embargo, en estas

notas basicamente nos enfocaremos al estudio de la geometra moderna en el sentido del
inciso 3 anterior.
Pero... por que se ha elegido precisamente esa y no alguna otra interpretacion? Per-
mitamos esta vez que la geometra moderna (ahora s, sin cursivas) se exprese por s misma:
Tolomeo. ABCD es un cuadril

atero cclico si y solamente si
AB CD + BC DA = AC BD.
Problema. Dadas dos rectas y un punto que no se encuentra sobre ninguna

de ellas, con regla solamente, trazar una recta a traves del punto dado y
del punto de intersecci
on de las dos rectas dadas, sin usar este punto de
interseccion.
El progreso y el perfeccionamiento de las matem

aticas est
an ntimamente ligados a la prosperidad
del Estado.
Napole
on Bonaparte
As, citando diversas fuentes:
...Cuando [Napole on] lleg
o a emperador, apoyo vigorosamente la ciencia francesa tratando
que compitiera exitosamente con la inglesa.
...Fue el quien impuls
o la educaci
on superior y sometio a las escuelas a un control central-
izado ampliando el sistema educativo libre, de manera que cualquier ciudadano pudiera acceder
a la ensenanza secundaria sin que se tuviera en cuenta su clase social o religion.
...Cualquiera que haya sido la capacidad geometrica de Napole on, es merito suyo haber
revolucionado de tal forma la ense nanza de las matem aticas en Francia, que segun varios histo-
riadores,
...sus reformas fueron las causantes de la floracion de matem aticos orgullo de la Francia
decimon onica.
Notas de Geometra Moderna I iii
Feuerbach. Los puntos medios de los lados, los pies de las alturas y los
puntos medios de los segmentos que unen los vertices al ortocentro de un tri
an-
gulo cualquiera est
an en una circunferencia.
Euler. El ortocentro H, el circuncentro O, el gravicentro G y el centro de la

circunferencia de los nueve puntos J de un tri
angulo est
an alineados.
N M
G O
H J
F
B D L C
Figure 1: La circunferencia de los nueve puntos y la recta de Euler.
Tambien habemos de considerar, de alguna manera, el enfoque de Pasch. Sin embargo,

un desarrollo con apego estricto a los fundamentos de la geometra resultara prohibitiva-
mente extenso, aunque tambien muy formativo e interesante (y mas adecuado para un curso
devoto de los fundamentos de la geometra), para un curso semestral. As mismo, ante la
brevedad que nos hemos impuesto para estas notas solamente trataremos de aclarar, hasta
un cierto punto, las bases que empleamos en nuestro estudio de la geometra. Por ejemplo,
con los grupos de axiomas de incidencia y de congruencia del sistema de Hilbert podremos
analizar, con alg
un detenimiento, la manera en que trabaja el ya mencionado principio de
superposicion.
No parece necesario remarcar, una vez mas, el como las aplicaciones, tanto dentro como
fuera de la matematica 4 , han puesto de relieve los aspectos combinatorio y computacional
tanto de la geometra cl
asica como de las geometras emergentes (v.g. las geometras finitas
4
Baste mencionar la teora de c odigos y la criptografa y la mec
anica cu
antica, as como los disenos
combinatorios, la rob
otica, la visi
on computarizada, la demostraci on automatica de teoremas, la teora de
grupos y el a
lgebra computacional.
iv Rodolfo San Agustn Chi
o combinatorias, geometra cuantica, estructuras de incidencia, etc). No queremos hacer, ni

siquiera, una introducci
on a estas otras disciplinas; solamente destacaremos, en su momento,
algunos de esos puntos de contacto cuya relevancia, belleza o, incluso, por mera casualidad,
han llamado nuestra atenci on.
Prefacio
Yo nunca permit que la escuela interfiriera con mi educaci

on.
Mark Twain 5
El hombre nace ignorante, no est

upido. Se hace est
upido por la educaci
on.
Bertrand Russell 6
Muchos cursos y textos tanto de geometra como de otras ramas de la matematica

acogen con particular interes la resolucion de problemas y este, de alguna forma, no es la
excepci on. Nuestra idea es la de enfatizar el caracter autoformativo que tiene este tipo de
estudios. Es decir, en primer lugar, seguimos un formato como el de los muchos problemarios
que ofrece la literatura (v.gr [AC07], [BG02a] y [BG02b] en la bibliografa al final de estas
notas).
Desde la epoca de Euclides, y quizas ya anteriormente, el llamado metodo o principio
de superposici on ha sido una herramienta didactica muy fructfera, directa e intuitiva para
iniciarse en el estudio de la geometra7 . Sin embargo, en tanto que el material (tambien)
esta dirigido a quien estudia una carrera cientfica, hemos considerado una presentacion un
tanto m as formal del asunto haciendo referencia explcita a los sistemas de Euclides, por una
parte, y al de Hilbert, por la otra. Ademas, as como el material expositorio, el que se deja
a las secciones de ejercicios tambien se presenta como problemas, teoremas, construcciones,
etc. requiriendo, por supuesto, de sus respectivas demostraciones o justificaciones.
Despues de varios milenios de desarrollo, es muy basto el conocimiento que se tiene de
la geometra sintetica 8 . Nuevamente, el reto de mantener en un rango manejable el volumen
de estas notas nos ha obligado a seleccionar muy rigurosamente el material que se pudiera
haber incluido. Es por esto que para cada captulo damos solamente las definiciones m as
pertinentes, los teoremas estructurales y algunas construcciones basicas, ejemplos o casos
ilustrativos. y algunas aplicaciones clasicas o de nuestro agrado particular. As mismo,
hemos preferido hacer menci on u
nicamente a algunas de nuestras fuentes mas directas.
Estas, a su vez, llevaran al lector a sus propias fuentes y as, sucesivamente. Adem as,
5
Samuel Langhorne Clemens, mejor conocido por su seud onimo literario: Mark Twain (1835 - 1910).
6
Bertrand Arthur William Russell (1872 - 1970).
7
Por otra parte, es muy interesante que recientemente se ha argumentado, por ejemplo, en el libro de
Cromwell ([Cro97]) la reserva que aparentemente tenia el mismo Euclides para emplear este metodo.
8
Como una referencia, ([Eve69], p. 63) En 1906 Max[imilian] Simon (en su libro Uber die Entwick-
elung der Elementar-geometrie im XIX Jahrhundert [Kessinger Legacy Reprints, Sept. 10, 2010]) intent o
la formaci on de un catalogo de aportaciones a la geometra elemental hechas durante el siglo XIX; se ha
estimado que este cat alogo contiene m
as de 10,000 referencias!...
v
vi Rodolfo San Agustn Chi
huelga escribir, tambien en este aspecto la web esta con nosotros. Particularmente, haremos
muchas referencias, sin referencia explcita, a la wikipedia.
El captulo primero inicia, luego de una presentacion del postulado V de Euclides, con
un estudio de la congruencia de tri angulos. En seguida consideramos angulos inscritos en
una circunferencia y damos una primera caracterizacion de los cuadrilateros cclicos. En
la cuarta parte de este captulo entramos a la geometra moderna mediante la aritmetica
de segmentos orientados en una recta. Finalmente, incluimos un apendice a este captulo,
como referencia, con una lista completa de los postulados de Euclides y los axiomas de
Hilbert.
Puede decirse que el captulo segundo es el corazon de estas notas: en este captulo se
estudia la semejanza de tri angulos la cual gua no solo a dicho captulo, sino a todos los
subsiguientes en estas notas.
El captulo tercero nos da algunos criterios de colinealidad (de puntos) y concurrencia
(de rectas). Este material se puede enmarcar en la teora de configuraciones [...]
[Captulo IV]
[Captulo V]
Notaci
on general
Un lenguaje no es un repertorio arbitrario de smbolos, sino una manera de

sentir la realidad.
Jorge Luis Borges 9
Hemos preferido conservar una simbologa no muy copiosa a fin de evitar, razonable-
mente, la irrupcion de demasiados smbolos en nuestro ambito discursivo. Sabemos que,
por diversas razones, esto no es la practica matematica mas favorecida. Sin embargo, la
geometra que abordaremos permite una comunicacion muy fluida, a un dentro de las de-
mostraciones y los algoritmos, desplegando expresamente terminos muy naturales y clasicos
(como lo son punto, recta, angulo, etc) en lugar de recurrir a terminologa categorica y de
otros tipos.
Denotaremos, tal como es muy frecuente en el caso de la geometra plana, a los puntos
con letras mayusculas: A, B, C, etc., a las rectas con letras minusculas: a, b, c, etc. y a los
angulos con letras griegas , , , etc.
El smbolo denota
Congruencia, tanto de segmentos y de angulos, como de triangulos.
(ABC)
Area del tri
angulo con vertices A, B y C.
Semejanza de triangulos.
...2 Fin de la demostracion.
AB k CD Las rectas AB y CD son paralelas.
angulo definido por las condiciones ( );
El tri
4( )
alogamente ( ), circ( ), etc.
an
El smbolo se utiliza consistentemente en fsica para referirse a la proporcionalidad

de dos cantidades; por ejemplo, presion y temperatura.
Para muchos matem aticos, el smbolo que emplearemos para indicar el final de cada
demostracion (2), es de la autora de Halmos 10 ; algunos otros se lo atribuyen a Conway
9
Jorge Francisco Isidoro Luis Borges (Buenos Aires, Argentina 1899 - Ginebra, Suiza 1986).
10
Paul R. Halmos (1916 - 2006) A este matematico tambien se le atribuye la abreviatura iff de la expreci
on
en ingles if and only if.
vii
viii Rodolfo San Agustn Chi
11 .
Invocaremos 12 las f ormulas siguientes: Con respecto a la nocion de area, solamente

emplearemos que el angulo de lados a y b se puede calcular como a b y, de
area de un rect
aqu, que el
area de un tri
angulo sera:
angulo) = 1/2 base altura

(tri (1)
Cateto opuesto
sen() = (2)
Hipotenusa
Recordemos que, siguiendo a Hilbert 13 , se puede manejar al segmento AB con la
relacion indefinida estar entre y los axiomas de orden (ver el apendice al final del captulo
I) o bien, conjuntistamente, como sigue:

AB := AB BA
sin embargo, a lo largo de estas notas practicamente no sera necesario recurrir a esta no-
tacion.
11
de la Wikipedia: John Horton Conway (nacido en Liverpool, Gran Breta na el 26 de diciembre de 1937).
Prolfico matem atico activo en la teora de conjuntos (teora de conjuntos finitos), teora de nudos, teora
de n umeros, teora de juegos y teora de c odigos. Se form o en la Universidad de Cambridge. Entre los
matem aticos aficionados, quiz as es m as conocido por su teora de juegos combinatorios, en particular por
ser el creador en 1970 del juego de la vida. Tambien es uno de los inventores del juego del drago, as como
del Phutball y ha realizado an alisis detallados de muchos otros juegos y problemas, como el cubo Soma.
Invent o un nuevo sistema numerico, los n umeros surreales, los cuales se encuentran estrechamente relaciona-
dos a ciertos juegos y han sido objeto de una novela matem atica por Donald Knuth. Tambien ide o una
nomenclatura para n umeros excesivamente largos, la nowiki o flecha encadenada de Conway. Actualmente
es profesor de matem aticas en la Universidad de Princeton. En 1981 fue elegido miembro de la Royal Society.
Ha escrito varios libros de divulgaci on incluyendo Sobre n umeros y juegos (ISBN 0-12-186350-6) y Maneras
de ganar sus juegos matem aticos. Visito Mexico en julio de 2010.
12
Nuevamente, dado que haremos un uso muy limitado de estas f ormulas y en aras de la brevedad, no nos
ha parecido excesivo eludir un tratamiento m as formal de ellas.
13
David Hilbert(1862, K onigsberg, Prusia Oriental - 1943, G ottingen, Alemania) fue un matem atico
alem an, reconocido como uno de los m as influyentes del siglo XIX y principios del XX. Estableci o su rep-
utacion como gran matem atico y cientfico inventando o desarrollando un gran abanico de ideas, como
la teora de invariantes, la axiomatizaci on de la geometra y la noci on de espacio de Hilbert, uno de los
fundamentos del an alisis funcional. Hilbert y sus estudiantes proporcionaron partes significativas de la
infraestructura matem atica necesaria para la mec anica cuantica y la relatividad general. Fue uno de los
fundadores de la teora de la demostraci on, la l
ogica matem atica y la distinci
on entre matem atica y meta-
matem atica. En el congreso internacional de matem aticas de 1900 present o un conjunto de problemas que
establecieron el curso de gran parte de la investigaci on matem atica del siglo XX.
Contents
1 Introduccion 1
1.1 Algunas equivalencias del postulado V de Euclides . . . . . . . . . . . . . . 2
1.2 Congruencia de tri angulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 El teorema de Pitagoras y su recproco. . . . . . . . . . . . . . . . . 10
1.3 Cuadrilateros cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.1 Para cuadril ateros en general . . . . . . . . . . . . . . . . . . . . . . 12

1.3.2 Angulos inscritos en una circunferencia . . . . . . . . . . . . . . . . 14
1.3.3 Cuadril ateros cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4 Segmentos dirigidos en una recta . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.1 Raz on de particion de un segmento de recta . . . . . . . . . . . . . . 21
2 Relaciones de semejanza 41
2.1 Semejanza de tri
angulos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.2 Teorema de Tolomeo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.3 Homotecia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.3.1 Algunas propiedades basicas de la homotecia: . . . . . . . . . . . . . 49
2.3.2 Circunferencias homoteticas . . . . . . . . . . . . . . . . . . . . . . . 51
2.3.3 Puntos hom ologos y antihomologos . . . . . . . . . . . . . . . . . . . 52
2.3.4 Circunferencia de similitud . . . . . . . . . . . . . . . . . . . . . . . 53
2.3.5 Crculo de Apolonio . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3 Relaciones de concurrencia y de colinealidad 59

3.1 Teoremas de Ceva y Menelao . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2 Tri
angulos en perspectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4 Relaciones arm onicas 79

4.1 Divisi
on armonica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.2 Transversal de un haz armonico . . . . . . . . . . . . . . . . . . . . . . . . . 83
4.3 Hileras arm
onicas en perspectiva . . . . . . . . . . . . . . . . . . . . . . . . 83
4.4 Rectas conjugadas perpendiculares . . . . . . . . . . . . . . . . . . . . . . . 84
4.5 Curvas ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.6 Cuadrangulos y cuadril
ateros completos . . . . . . . . . . . . . . . . . . . . 87
ix
x Rodolfo San Agustn Chi
5 La circunferencia de los nueve puntos y la recta de Simson 93

5.1 Grupos ortocentricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.2 La circunferencia de los nueve puntos . . . . . . . . . . . . . . . . . . . . . . 97
5.3 Recta de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.4 La recta de Simson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Chapter 1
Introducci
on
En este captulo reunimos algunos resultados de geometra elemental que nos seran de
utilidad. Iniciamos con un peque no estudio, suficiente para nuestras necesidades, de los
teoremas principales de congruencia de triangulos. Damos alguna demostracion, de entre
las muchas que hay, del llamado teorema de Pitagoras. En segundo lugar, revisamos algunas
propiedades de los
angulos inscritos en una circunferencia, definimos los cuadrilateros ccli-
cos y, tras algunas consideraciones de tipo combinatorio sobre dichos objetos, llegamos a
una primera caracterizaci on de ellos.
A partir de la penultima parte de este captulo hacemos contacto con la geometra mo-
derna mediante la noci on de segmento dirigido y daremos algunas identidades fundamentales
en la aritmetica de segmentos en una recta.
En geometra, como en tantas otras cosas de la vida, puede ser muy u til el suponer
o postular como verdadero algo que parece serlo. Si, ademas, esto que postulamos as es
o parece ser de lo m as simple, tenemos un ambiente de trabajo que nos permite referirnos
claramente a estos principios1 . Esta parece haber sido la idea de Euclides 2 al redactar sus
Elementos 3 4 Consider o un conjunto de 5 postulados y 5 axiomas para deducir, a partir
de ah, el corpus de su geometra.
Incluimos un apendice a este captulo con los postulados y axiomas de Euclides as
como los axiomas de Hilbert para la geometra euclideana.
1
y, en u
ltima instancia, remitir las indagaciones sobre estos principios a una parte que podramos llamar
de fundamentos de la teora.
2
Euclides de Alejandra, ca 300 A.C.
3
o
4
Sir Thomas L. Heath escribe en la introducci on de la reimpresion de 1932 de los elementos (No 891 in
the Everymans Library): The simple truth is that it was not written for schoolboys or schoolgirls, but for
the grown man who would have the necessary knowledge and judgment to appreciate the highly contentious
matters which have to be grappled with in any attempt to set out the essentials of Euclidean geometry as a
strictly logical system, and, in particular, the difficulty of making the best selection of unproved postulates or
axioms to form the foundation of the subject....
1
2 Rodolfo San Agustn Chi
1.1 Algunas equivalencias del postulado V de Euclides
Quinto postulado de Euclides. Si una recta incidente con dos rectas hace angulos
internos y de la misma parte menores que dos rectos, prolongadas esas dos rectas al infinito
coincidir
an por la parte en que esten los
angulos menores que dos rectos.
Figure 1.1: + <
Vemos directamente que este postulado no es ni tan simple ni tan evidente como
los demas. En efecto, por mucho tiempo se trabajo, en diferentes direcciones, sobre las
relaciones de este con los dem
as postulados de Euclides. Particularmente,
1. Surgieron varias formulaciones equivalentes a el.
2. Se trat
o (in
utilmente, por cierto) de obtener este postulado como una consecuencia
de los otros postulados.
3. Se trat
o (y se logr
o) probar su independencia respecto de los otros demas.
4. En algunas areas de la geometra, se le sustituyo por algunas de sus negaciones logicas5 .
Respecto del primer punto anterior tenemos el famoso teorema de los angulos internos
de un triangulo:
Postulado V (i). Los

angulos internos de un tri
angulo suman dos rectos.
Esto es, podemos decir que un atributo del plano euclideano es que los angulos inter-
nos de cualquier triangulo suman dos rectos. Desde un punto de vista mas practico, con
esta version del quinto postulado tenemos que en dos triangulos cualesquiera, basta saber
que dos pares de angulos correspondientes son congruentes, para que los terceros pares de
angulos tambien sean congruentes entre s. As aplicaremos este razonamiento, sin mayor
argumentaci on, por ejemplo, en la prueba del Teorema (1.2.5).
5
Lo cual di
o lugar a las geometrias no euclideanas.
Notas de Geometra Moderna I 3
Otras formulaciones de uso frecuente del quinto postulado son las siguientes:
Postulado V (ii). [Playfair 6 , 7 ] Por un punto dado no incidente con una recta,
tambien dada, solo se puede trazar una paralela a ella.
Postulado V (iii). Los
angulos alternos internos entre paralelas son iguales.
Figure 1.2:
Postulado V (iv). Un angulo exterior de un tri

angulo es igual a la suma de los dos
interiores no adyacentes a el.
Figure 1.3: = + .
En el libro ([Eve69], p. 320 y siguientes, incluyendo ejercicios) hay mas equivalencias

del quinto postulado junto con una excelente discusion al respecto 8 .
Por ejemplo, uno puede probar lo siguiente:
Q = (ii) = (iii) = (iv) = (i) = Q
1.2 Congruencia de tri

angulos
En esta secci
on se presentan los teoremas estructurales de la congruencia de triangulos.
Dado que no queremos extendernos en el estudio de los fundamentos de la geometra eu-
clideana en estas notas, hemos preferido eludir los tratamientos mas clasicos del tema y,
6
John Playfair, 1748-1819. Es curioso que el nombre de Playfair este asociado a este axioma, dado que,
como el mismo senala, lo obtuvo de Proclo.
7
Proclo, 410-485 D.C.
8
Tambien las p aginas electr
onicas http://www.cut-the-knot.org/triangle/pythpar/Attempts.shtml y
http://www.beva.org/math323/asgn6/nov19.htm, entre otras, dan muy buena cuenta de ello.
en su lugar, damos demostraciones breves de dichos teoremas aunque ello signifique saltar
un poco en el tiempo 9 . En particular, incluimos una demostracion de Hadamard 10 del
Teorema (LLL).
Siguiendo a Hilbert [Hil71], el smbolo denotara congruencia tanto de segmentos
como de angulos.
En principio, podriamos considerar que la nocion de congruencia se refiere a figuras
iguales; es decir, a figuras que tienen la misma forma y el mismo tama no. Uno podria,
incluso, iniciar una teora de figuras congruentes considerando las figuras mas simples en el
plano: los tri
angulos.
Para ello, recordemos que Hilbert (cf. [Hil71]) declara la congruencia entre segmentos
(y angulos) como una relaci on indefinida y la reglamenta mediante los axiomas correspon-
dientes. Nos resultar a particularmente u til el Axioma III.5, el cual establece una relacion
entre ciertos objetos unidimensionales, los segmentos de recta y los angulos, con objetos
bidimensionales, los triangulos:
angulos ABC y A0 B 0 C 0 , si AB
En dos tri A0 B 0 ,
AC A0 C 0 y
BAC B 0 A0 C 0
entonces ACB A0 C 0 B 0 .
Nota 1.2.1. Desde el punto de vista de los fundamentos de la geometra, la importancia

de este axioma empezara del modo siguiente:
El Axioma III.1 nos da la posibilidad de construir segmentos congruentes a segmentos
dados. Sin embargo la unicidad de estas construcciones solo se obtiene hasta que se considera
el Axioma III.5.
Esta situaci
on es notoriamente contrastante con la de la construccion de angulos pues,
en este otro caso, la construcci
on y unicidad se requieren conjuntamente en el axioma
correspondiente (III.4):
angulo en un plano y a0 una recta en un plano 0 ; se fija

Sean (h, k) un
un lado de a en 0 . Sea h0 un rayo de la recta a0 el cual parte del punto
0
9
En el texto [LdlEA77] hay una presentaci on de ellos basada en problemas topogr aficos la cual, tal
como muchos textos elementales de geometra, emplea el llamado metodo o principio de superposici on.
Este metodo consiste en la colocaci on ideal de un objeto en la posici on de otro para demostrar que los
dos coinciden. Euclides solamente emple o este procedimiento en I.4, I.8 y III.24, aunque pudo usarlo en
muchas otras proposiciones tambien.
10
Jacques Salomon Hadamard (1865-1963) matem atico frances que trabaj
o en las universidades de Burdeos
y en la Sorbona de Pars. Entre muchas otras cosas, su logro m as conocido es la demostraci on del llamado
(en su tiempo) teorema de los n umeros primos: El n umero de primos n tiende a con n/lnn.
Di
o su nombre a las matrices de Hadamard, al Teorema de Cauchy-Hadamard y se utiliza en criptografa
la pseudo-transformacion de Hadamard. En su libro Psicologa de la invenci on en el campo matem atico,
Hadamard usa la introspecci on para describir el proceso mental matem atico. Describe su propio pensamiento
matem atico como mayormente sin palabras, acompa nado a menudo de im agenes mentales que condensan la
idea global de una prueba, en franca oposicion a autores que identifican el lenguaje y la cognicion. Realizo una
encuesta entre 100 de los fsicos m
as relevantes del momento (ca. 1900), pregunt andoles como realizaban su
trabajo. Muchas de las respuestas fueron identicas a la suya; algunos informaron de que vean los conceptos
matem aticos como colores. Einstein coment o sensaciones en sus antebrazos.
A A
B C B C
Figure 1.4: Axioma III.5 de Hilbert
O0 . Entonces, en el plano 0 , hay uno y solo un rayo k 0 tal que el (h, k) es

congruente al (h0 , k 0 ) y a la vez que todos los puntos interiores del (h0 , k 0 )
estan en el lado dado de 0 .
k k
h
h
a O
Figure 1.5: Axioma III.4 de Hilbert: (h, k) (h0 , k 0 ).
Simb
olicamente:
(h, k) (h0 , k 0 ).
As, llegamos a la definici

on principal de este captulo:
Definicion 1.2.2. Dos tri

angulos son congruentes si sus lados correspondientes son con-
gruentes y sus
angulos correspondientes tambien son congruentes.
on, extendemos el significado del smbolo para parejas de

De acuerdo a esta definici
triangulos en esta relaci
on.
El lema siguiente se extrajo de alguna demostracion del teorema (1.2.4) (ALA). Este
tipo de procedimientos se emplea frecuentemente en matematicas pues permite ver con
mayor nitidez el resto de la demostracion mencionada.
Lema 1.2.3. Si
(1) CBA C 0 B 0 A0 ,
(2) BC B0C 0 y
(3) ACB A0 C 0 B 0
Entonces
AB A0 B 0 .
Proof. En la figura (1.6), con las hip

otesis (1), (2) y (3) :
A A
A
B C B C
Figure 1.6: B 0 C 0 A0 B 0 C 0 A00 = A0 = A00 .

(4) Sea A00 B 0 A0 tal que AB A00 B 0 Axioma III.1.
(As, basta ver que A0 = A00 )
(5) BCA B 0 C 0 A00 Axioma III.5 en (2), (1) y (4).
(6) B 0 C 0 A0 B 0 C 0 A00 de (3) y (5).

(7) C 0 A0 = C 0 A00 Axioma III.4 en (6).
(8) A0 = A00 (7) y los axiomas I.1 y I.2 de Hilbert
Teorema 1.2.4 (ALA). Si
(1) CBA C 0 B 0 A0 ,
(2) BC B0C 0 y
(3) ACB A0 C 0 B 0
Entonces
ABC A0 B 0 C 0 .
Proof. Nuevamente, en la figura (1.6),

(4) AB A0 B 0 lema 1.2.3.
(5) AC A0 C 0 lema 1.2.3.
(6) CAB C 0 A0 B 0 Axioma III.5 en (2), (1) y (4).
Teorema 1.2.5 (LAL). 11 Si
(1) AC A0 C 0 ,
(2) ACB A0 C 0 B 0 y
(3) CB C 0B0.
Entonces
ABC A0 B 0 C 0 .
Proof. De acuerdo al teorema anterior ((ALA) (1.2.4)), basta verificar que

ABC A0 B 0 C 0 . Esto es consecuencia inmediata del Axioma III.5.
Observaci on 1.2.6. La denominacion LAL del Teorema 1.2.5 se refiere a que, en las
hipotesis, el
angulo de referencia es precisamente el incluido entre los otros dos lados. En
estos terminos, un teorema ALL, por ejemplo, no es posible (cf. ejercicio 2): En la figura 1.7,
Z es el centro de una circunferencia que pasa por Y y Y 0 ; as, los triangulos XY Z y XY 0 Z
satisfacen las hipotesis ALL pero no son congruentes en general. As mismo, en el Teorema
ALA (1.2.4), por la versi on (i) del quinto postulado, esta distincion resulta inmaterial.
Y
Z
X
Figure 1.7: Contraejemplo a un supuesto teorema ALL.
La demostracion que daremos del Teorema (LLL) se basa en que la mediatriz de la base
de un tri
angulo is
osceles pasa por el tercero de sus vertices (Corolario 1.2.12). A su vez,
esta propiedad se relaciona directamente con el Teorema I.5 de Euclides. A este ultimo se le
conoce como Pons Asinorum (P A) pues, supuestamente, es difcil hacer que un burro pase
por un puente12 o, probablemente, por la figura que aparece en la complicada prueba de
Euclides mismo. Posteriormente (ca. 340 D.C.) Pappus 13 dio una prueba mas simple. En
11
De los tres teoremas de congruencia, este es el Euclides utiliz o con mayor frecuencia, incluso en la
proposicion XI.4 y muchas otras del libro XI, donde los tri angulos est
an en planos diferentes.
12
De la Wikipedia: It takes its name as the first real test in the Elements of the intelligence of the reader
and as a bridge to the harder propositions that followed. Its location in that text is much more advanced
than where the problem is posed in present-day geometry textbooks for high-school students.
13
... Se sabe que vivi

o en el siglo IV, pues describi
o un eclipse solar que haba observado el
18 de octubre del a
no 320 D.C. Prob o el primer teorema de lo que ahora llamamos geometra
poyectiva: ... H.S.M. Coxeter, The Pappus configuration and the self-inscribed Octagon. I
Ind. Math. (Proc.) Vol. 80 (4), 1977, p. 257.
1956, un programa de Marvin Minsky 14 encontro la demostracion que damos a continuacion.

Curiosamente, dicha demostraci on sigue la lineas de la demostracion de Pappus. En ambos
angulo dado, ABC, con AB AC, digamos, como si se
casos, la idea es considerar al tri
tratase de los dos tri
angulos distintos ABC y ACB. Posteriormente, Herbert Gelernter
(1960) publico una prueba similar realizada con un demostrador automatico de teoremas
de geometra basado en el programa de Minsky.
Teorema 1.2.7 (PA). En un tri

angulo cualquiera los
angulos opuestos a lados congruentes
son congruentes.
A A
B C C B
Figure 1.8: (ALA) (PA).
Proof. En la figura 1.8, sea ABC un triangulo tal que

(1) AB AC. Hipotesis
Entonces,
(2) ABC A0 B 0 C 0 Axioma III.5 en 4ABC y 4A0 B 0 C 0 ,
considerando como
4A0 B 0 C 0 al 4ACB.
Tambien se tiene el teorema recproco. Su demostracion, as como las de los dos

corolarios que le siguen, quedan como ejercicios:
Teorema 1.2.8. En un tri

angulo cualquiera los lados opuestos a a
ngulos congruentes son
congruentes.
Definici
on 1.2.9. La mediatriz de un segmento de recta BC es la recta
1. perpendicular a la recta BC
Su obra m as conocida es un libro llamado Synagoge, tambien conocido como Colecci on matem atica. Con-
servaremos la grafa Pappus en vez de la tambien usual Papus por no confundir con el seud onimo de
Gerard Anaclet Vincent Encausse (1865 - 1916), fundador de la orden Martinista.
14
Marvin Lee Minsky (9 de agosto de 1927 - 24 de enero de 2016) trabaj o en el area de inteligencia
artificial, fue co-fundador del laboratorio de inteligencia artificial del MIT en 1959. Escribi
o varios textos en
inteligencia artificial y filosofa.
2. que pasa por el punto medio del segmento BC

Observacion 1.2.10. La mediatriz de un segmento de recta separa a los extremos de dicho
segmento en dos semiplanos distintos 15 .
Mas adelante usaremos este concepto como un lugar geometrico: el lugar equidis-
tante de dos puntos.
Corolario 1.2.11. La mediatriz de un segmento de recta BC es el lugar equidistante de
los extremos de dicho segmento.
(ejercicio 1).
Esto es, se trata del lugar geometrico siguiente:
{X|BX XC}
En particular,
Corolario 1.2.12. En un tri
angulo is
osceles, la mediatriz de la base pasa por el tercer
vertice del tri
angulo.
Teorema 1.2.13 (LLL). Si
(1) AB A0 B 0 ,
(2) BC B 0 C 0 y
(3) CA C 0 A0
Entonces
4ABC 4A0 B 0 C 0 .
Proof. (Hadamard)
As, en la figura (1.9), con las hipotesis (1), (2) y (3), sea X un punto en el mismo
semiplano que A0 determinado por B 0 C 0 tal que
(4) B 0 X BA y Axioma III.4.
(5) C 0 X CA. Axioma III.1.
(6) Si X 6= A0 , la mediatriz del segmento XA0 Corolario 1.2.12
es la recta B 0 C 0 ; pero dicha recta no separa Observacion 1.2.10
en semiplanos distintos a los puntos X y A0 .
Observaci on 1.2.14. Los teoremas de congruencia de triangulos justifican el principio de

superposici
on.
15
Esta proposicion es equivalente al axioma II.4 de Hilbert, tambien llamado de Pasch. el cual establece
que si una recta intersecta interiormente a alg
un lado de un tri
angulo, tambien debe intersectar interiormente
a otro de los lados de dicho triangulo. En muchos estudios de los fundamentos de la geometra euclideana
se le denomina
El postulado de separaci on del plano: Dada una recta en el plano, los puntos del plano que no estan
en dicha recta forman dos conjuntos tales que: (i) cada uno de ellos es convexo y (ii) si P est a en uno de
ellos y Q en el otro, entonces el segmento P Q segment intersecta la recta.
X A
B C
Figure 1.9:
En efecto, el cuarto postulado de Euclides (cosas que coinciden entre s son iguales)
se puede ver como la intenci on de levantar y mover una figura para superimponerla a otra
para, as, verificar la igualdad o congruencia de ambas.
En particular, el Axioma III.1 se referira a la superposicion de segmentos:
Si A y B son dos puntos en alguna recta a y A0 es un punto en la misma o en

otra recta a0 entonces siempre es posible hallar un punto B 0 en un lado dado de
la recta a0 tal que el segmento AB sea congruente con el segmento A0 B 0 .
En smbolos
AB A0 B 0
Analogamente, el Axioma III.4 se referira a la superposicion de angulos:

Finalmente, el Axioma III.5, el cual ya ha sido citado, se referira, en u
ltima instancia,
a la superposici
on de triangulos.
Esto nos lleva directamente a pensar en las transformaciones rgidas; esto es, aquellas
que preservan las magnitudes de segmentos y los angulos. Felix Klein16 desarrollo estas
ideas en su programa de Erlangen, el cual consiste, basicamente, en el estudio de las diversas
geometras a traves de los invariantes de sus grupos de transformaciones.
1.2.1 El teorema de Pit

agoras y su recproco.
Este es un teorema muy importante en la geometra euclideana. Es la base para definir

la distancia entre dos puntos en esta geometra. Seguramente se trata del teorema que tiene
mas demostraciones (seguido del teorema de la reciprocidad cuadratica). Por otra parte,
tambien se tienen evidencias de que ya haba enunciados similares o de casos particulares
desde aproximadamente 1000 a nos antes de la existencia de la hermandad pitagorica.
16
Felix Klein(1849 - 1925). En 1872, tras ingresar como profesor en la Universidad de Erlangen, di o una
conferencia inaugural en la que propuso el estudio de la geometra desde el punto de vista de la teora de
grupos, lo cual se conoce como el programa de Erlangen. En 1895 impuls o el proyecto de la Encyklopadie
der Mathematischen Wissenschaften, la cual supervis o hasta su muerte. Tambien destac
o por sus iniciativas
en pro de la reforma educativa en Alemania.
Teorema 1.2.15. En un triangulo rect

angulo de lados a, b y c. Si el lado c est
a opuesto
al
angulo recto, entonces
a2 + b2 = c2
Proof. 17 En cada lado del cuadrado exterior en la figura 1.10 marcamos un punto que lo
divida en segmentos de longitudes a y b, respectivamente.
Por el Teorema (LAL), los cuatro triangulos a la vista son congruentes entre s. Con
esto, la figura central sera un rombo; ademas, sus angulos internos son todos iguales entre
s, ergo, se trata de un cuadrado.
b a
b
a c c
c a
b c
a b
Figure 1.10: (a + b)2 = 2ab + c2
Esta demostraci
on se basa en calcular el area de la figura de dos maneras diferentes:
(1)
Area de la figura completa = (a + b)2 = a2 + 2ab + b2
(2)
Area de los 4 tri
angulos = 2ab (2).
(3)
Area de la figura central = c2
(4)
Area de la figura completa = 2ab + c2 (2) y (3).
(5) a + b2 = c2
2 (1) y (4).
Una pareja de puntos, digamos B y C, determinan (postulado 1 de Euclides) una recta:

la recta BC.
Tambien determinan una segunda recta: la mediatriz m del segmento BC (corolario
1.2.11).
Los puntos B y C son simetricos respecto de la recta m pero tambien m esta simetri-
camente situada respecto de B y C.
De manera semejante: Una pareja de rectas, digamos b y c, determinan una recta: la
recta equidistante de b y c.
Si las rectas b y c se cortan la recta equidistante es la bisectriz del angulo que forman:
17
Esta prueba es similar a las que utilizan cuatro tri
angulos en la p
agina electr
onica http://www.cut-the-
knot.org/pythagoras/ donde se encuentran muchas referencias y, hasta ahora, 112 pruebas de este mismo
teorema.
Tal como en el corolario 1.2.11, es muy facil ver que los puntos de la bisectriz de un
angulo equidistan de las rectas que forman dicho angulo. Ahora bien, utilizando el teorema
de Pitagoras 1.2.15, tambien se puede verificar muy facilmente (ejercicio 6) la afirmacion
recproca; esto es,
Afirmacion 1.2.16. La bisectriz de un angulo es la recta equidistante de los lados que

forman dicho
angulo.
Consideremos dos rectas que se cortan y alguno de los angulos que as se forman,
digamos . Cualquiera de los otros dos angulos adyacentes al angulo es su suplemento
y se le llama angulo exterior de . La bisectriz de dicho angulo tambien se llama la
bisectriz exterior del angulo ; en este caso, para evitar mas confusiones, la bisectriz del
angulo se renombra como la bisectriz interior de .
De acuerdo a esto es propio decir que
El lugar equidistante de un cierto

angulo esta formado por sus dos bisectrices,
la interna y la externa.
Si las rectas b y c no se cortan a

un tiene sentido hablar del lugar geometrico anterior.
Se trata de la paralela com un equidistante a b y a c.
Figure 1.11: En cualquiera de los dos casos las rectas son simetricas respecto de su lugar
equidistante.
1.3 Cuadril
ateros cclicos
El teorema de Tolomeo es uno de los resultados mas interesantes acerca de los cuadrilate-
ros cclicos. La demostracion que haremos esta basada completamente en propiedades de
semejanza de tri angulos, por lo que pospondremos su exposicion hasta el proximo captulo
de estas notas. Sin embargo se puede realizar un cierto estudio previo de los cuadrilateros
cclicos con los elementos que ya tenemos a la mano.
1.3.1 Para cuadril

ateros en general
Consideremos un conjunto, digamos c, de cuatro puntos en el plano.

Estos puntos determinan un cuadrilatero
una vez que se les ha ordenado cclicamente.
As, los lados del cuadril

atero son los segmentos de recta determinados por vertices
consecutivos (o adyacentes) ante alguno (cualquiera) de estos ordenamientos. Analoga-
mente, dos lados que comparten un vertice son adyacentes.
Dos vertices que no comparten ninguno de los lados del cuadrilatero son opuestos;
en este caso, el segmento de recta que ellos determinanlas es una diagonal del cuadril a-
tero. Tambien, dos lados que no comparten ninguno de los vertices del cuadrilatero son
opuestos.
Un cuadril atero es cruzado si dos lados opuestos se cortan.
Un cuadril atero es convexo si dos vertices opuestos estan en semiplanos distintos
determinados por los otros dos vertices. Equivalentemente: uncuadrilatero es convexo si
dos vertices adyaccentes est
an en el mismo semiplano determinado por los otros dos vertices.
Nota 1.3.1. Un poco m as adelante, en la demostracion del corolario 1.3.9, utilizaremos que
un cuadrilatero es convexo si cada uno de sus vertices esta separado de su vertice opuesto
por la recta determinada por los otros dos vertices.
Figure 1.12: Un cuadrilatero que no es ni cruzado ni convexo.
Nota 1.3.2. Es com un el tratar de seguir la nomenclatura siguiente cuando tratamos de

un polgono 18 :
identificar a alg
1. Por sus lados: le denominamos tril

atero, cuadril
atero, . . . , n-l
atero.
2. Por sus vertices: tri

angulo, cuadr
angulo, pent
agono, . . . .
As, para cualquier conjunto c de cuatro puntos distintos en el plano,

Pregunta 1.3.3. Cuantos cuadrilateros distintos determinan dichos puntos?
18
Sin embargo, como tambien hemos de ver en estas notas, hist oricamente se ha arraigado una serie
variopinta de terminos. Por ejemplo: es muy com un decir tri
angulo a
un en aquellas ocasiones en las cuales
sera un poco mas correcto decir tril
atero o bien cuadril
atero cuando tratamos mas bien con un cuadr angulo.
Tal es el caso de los cuadril
ateros cclicos.
Algunas respuestas:
Hay seis formas de ordenar cclicamente a los elementos de c. Sin embargo, tambien
nos interesa identificar cada uno de estos ordenamientos con su correspondiente or-
denamiento retrogrado 19 (i.e., en realidad estamos considerando los ordenamientos
dih
edricos de dichos puntos). Consecuentemente,
cada conjunto c determina tres cuadrilateros distintos.
Los seis segmentos de recta que unen a dichos puntos se distribuyen en tres pares de
segmentos opuestos y, entonces, cada cuadrilatero tiene dos pares de lados opuestos y
un par de diagonales.
Los papeles de par de lados opuestos y par de diagonales se van intercambiando de

acuerdo al orden dihedrico que se vaya dando a los puntos del conjunto c.
De dichos cuadrilateros, si uno de ellos es convexo, los otros dos son cruzados. Si uno
de ellos es cruzado, otro de ellos tambien lo es y el tercero es convexo.
Si uno de ellos tiene la forma de la figura 1.12, los otros dos tambien.
1.3.2
Angulos inscritos en una circunferencia
El
angulo inscrito en una circunferencia es aquel que tiene su vertice en dicha cir-
cunferencia. El
angulo central es el que tiene su vertice en el centro de una circunferencia
dada. Los lados de cada uno de dichos angulos abarcan o subtienden cierto arco de la
circunferencia. Por ejemplo, en cualquiera de los dos casos de la figura (1.13), el angulo
AOC abarca el arco AC de la circunferencia que no pasa por B.
Teorema 1.3.4. El
angulo inscrito en una circunferencia es la mitad del
angulo central.
A
A
B B
O D O D
Figure 1.13: Los dos casos de la demostracion del Teorema 1.3.4.
19
Este procedimiento es esencialmente el mismo que se utiliza para contar (y generar) los ciclos hamilto-
nianos en una gr
afica completa.
Proof. En la figura (1.13), sea ABC un angulo inscrito y sea O el centro de la circunferencia.
Consideramos el di ametro BD.
(1) 2ABD + BOA = = AOD + BOA el triangulo ABO es isosceles.

(2) ABD = 1/2AOD (1).
(3) DBC = 1/2DOC analogamente.
(4) ABC = 1/2AOC (2) y (3).
El corolario que sigue nos sera de utilidad en lo subsecuente. La segunda parte del
corolario mencionado se puede ver como un caso lmite del teorema anterior (el caso generico,
diramos); sin embargo, requiere de una demostracion (ejercicio) diferente.
Corolario 1.3.5.

1. Angulos que subtienden el mismo arco son iguales y a
ngulos que subtienden arcos
suplementarios son suplementarios.
En particular, los
angulos que subtienden un di
ametro son rectos.
2. En la figura (1.14), OP es tangente a la circunferencia.
C
O
Figure 1.14: OP C P DC OP es tangente a la circunferencia.
Entonces (ejercicio),
OP C P DC.
1.3.3 Cuadril
ateros cclicos
Definicion 1.3.6. Un cuadril
atero es cclico si todos sus vertices estan en una misma
circunferencia.
Primeramente vemos que
Lema 1.3.7. Un cuadril

atero cclico solamente puede ser cruzado o convexo.
Proof. Sean A, B y C vertices consecutivos del cuadrilatero. Ellos parten a la circunferencia

en los tres arcos AB, BC y CA y, consecuentemente, D, el cuarto vertice del cuadrilatero
cclico, podra estar en cualquiera de dichos arcos.
?
C
Figure 1.15: El cuarto vertice del cuadrilatero cclico puede estar en cualquiera de los arcos
AB, BC o CA.
1. Si D esta en el arco AB, entonces los vertices C y D estan en arcos distintos AB de

la circunferencia y de aqu que los segmentos AB y CD se corten.
2. Analogamente, si D est
a en el arco BC los segmentos BC y AD se cortan.
3. Finalmente, si D est
a en el arco CA, ninguno de los segmentos CD y DA corta a
ninguno de los segmento AB y BC. Este es el caso del cuadrilatero convexo.
Del inciso 1 del Corolario (1.3.5) tenemos el resultado clasico que sigue:
Corolario 1.3.8. En un cuadril

atero cclico los pares de
angulos opuestos son iguales o
suplementarios.
As, por el Lema (1.3.7), el caso cruzado corresponde al de angulos opuestos iguales.
El resultado recproco tambien es verdadero:
Corolario 1.3.9. Un cuadril

atero convexo o cruzado es cclico si sus a
ngulos opuestos son
iguales o suplementarios.
Nuevamente, por el Lema (1.3.7), el caso cruzado corresponde al de angulos opuestos

iguales.
Proof.
1er. caso ABCD es un cuadril

atero convexo.
Esto es, ABC+CDA = . Es decir, el punto D esta en el semiplano determinado
por la recta AC y el cual, ademas, no contiene al punto B.
(1) Sea D0 el otro punto de interseccion de la recta AD con la circunferencia

que pasa por los puntos A, B y C.

(2.1) Si ABCD0 es convexo (i.e., si D0 AD), entonces,
por el corolario 1.3.8, CD0 A + ABC = .
y CDA CD0 A.

(2.2) Si se diera que ABCD0 es cruzado, (i.e., si A DD0 ),
nuevamente, por el corolario 1.3.8, ABC AD0 C
y CDA + CD0 A = .
(3) As, en cualquiera de los dos subcasos (2.1 y 2.2), en 4CDD0 , D = D0 .
A D A
D
B B
D
C C
Figure 1.16: Los dos subcasos cuando el cuadrilatero ABCD es convexo.
Observamos que, en este caso (D ), si D esta, ademas, en el semiplano determi-

nado por la recta tangente al circuncrculo ABC en el punto A y el cual, adem as,
no contiene al circuncrculo ABC, el cuadrilatero ABCD0 siempre es cruzado (y
recprocamente) por lo que el subcaso (2.2) realmente no puede ocurrir.
Sin embargo, si D est a fuera de dicho semiplano , estamos ante el u
nico caso factible
atero ABCD0 es convexo.
y, ahora, el cuadril
2o. caso Si ABCD es cruzado.
Ahora, D debe estar en el semiplano 0 determinado por la recta AC y el cual, esta
vez, contiene al punto B; pero tambien debe estar fuera del 4ABC.
La demostraci
on es muy similar a la del 1er. caso y se deja como ejercicio.
El teorema de la bisectriz (1.3.12) se puede probar directamente a partir de la ley de

los senos. Damos una demostracion de ella (1.3.11) a continuacion.
Nota 1.3.10. Este lema se puede deducir tambien del ejercicio 9 de este captulo.
Lema 1.3.11 (Ley de los senos). En un tri
angulo ABC,
AB BC CA
= = (1.1)
senACB senBAC senCBA
Proof. Por la simetra del argumento que usaremos, basta demostrar que
AB CA
= .
senACB senCBA
As, en la figura (1.17), sea D el pie de la altura por el vertice A.
B D C
AB CA
Figure 1.17: =
senACB senCBA
DA AD
(1) senCBA = y senACB = Definicion del seno de un angulo.
BA CA
(2) AB senCBA = CA senACB Por (1).
AB CA
(3) = . Por (2).
senACB senCBA
Teorema 1.3.12 (de la bisectriz). Si la bisectriz del

angulo BAC corta en un punto L al
segmento de recta BC, entonces
BL BA
= . (1.2)
LC AC
B L C
BL BA
Figure 1.18: Si AL es bisectriz del BAC, entonces = .
LC AC
En la seccion que sigue, con ayuda del concepto de segmentos dirigidos, daremos una
generalizaci
on (Teorema 1.4.9) de este u
ltimo teorema.
1.4 Segmentos dirigidos en una recta

El uso de los segmentos dirigidos precede, historicamente hablando, al de los vectores 20 .
En cursos como los de geometra analtica y mecanica vectorial se acostumbra hacer una
presentaci
on de los segmentos dirigidos como una introduccion al estudio de los vectores y
sus aplicaciones. De acuerdo a Eves [Eve69]:
Una de las inovaciones de la geometra moderna elemental es el empleo,

cuando es util, de magnitudes con sentido, [...]. La extenci on del sistema
numerico a la inclusi
on de n umeros tanto positivos como negativos fue lo que
condujo a este paso [...] en la geometra 21 .
As, quedaremos plenamente instalado en la geometra moderna una vez que consider-
emos como dirigidos a los segmentos sobre una recta.
Sin embargo, tal y como en el caso de los angulos, nuestras consideraciones al respecto
tendran que ver mayormente con la orientacion relativa de dos o mas segmentos ubicados
sobre una misma recta. Es decir, nos interesamos por saber si dos segmentos en la misma
recta tienen o no la misma orientacion.
El hecho de que los segmentos orientados AB y BA sean iguales en magnitud pero de

sentido contrario se indica con la ecuacion que sigue:
AB = BA
o, equivalentemente,
AB + BA = 0. (1.3)
Nota 1.4.1. Por supuesto, el caso A = B arroja que AA = 0:
AA = AA AA = 0.
Es decir, de acuerdo al Axioma III.1 de Hilbert (y a la unicidad de la construccion de

segmentos, cf Nota 1.2.1), dado el segmento AB, si tomamos a = a0 , A0 = B y el lado de A
desde el punto B, entonces B 0 = A.
La aditividad de segmentos contiguos se determina en el Axioma III.3 de Hilbert:
Sean AB, BC dos segmentos sin puntos comunes excepto por B sobre la
recta a. Adem as sean A0 B 0 , B 0 C 0 dos segmentos sobre la misma o sobre otra
[recta] distinta a0 igualmente sin puntos comunes excepto por B 0 . En ese caso,
si
AB A0 B 0 y BC B 0 C 0
20
Por ejemplo, la ley del paralelogramo para la suma de vectores, tan intuitiva que no se conoce su origen,
ya se encuentra en la Mec anica de Heron de Alejandra (10 - 70 D.C.).
21
... aunque A. Girard, R. Descartes y otros introdujeron en la geometra [el empleo de] segmentos
negativos durante el siglo XVII la idea de las magnitudes con sentido fue explotada sistem aticamente por
primera vez a principios del siglo XIX por Lazare Nicolas Marguerite Carnot (1753-1823, Geometrie de
position, 1803) y August Ferdinand M obius (1790-1868, Der barycentrische Calk ul, 1827).
entonces
AC A0 C 0 .
Tal como en la F ormula (1.3), la Formula de Chasles 22 (1.4) expresara de manera muy
simetrica la aditividad de segmentos:
Teorema 1.4.2 (F
ormula de Chasles). Si A, B y C son tres puntos alineados, entonces
AB + BC + CA = 0 (1.4)
En efecto, la simetra de la F ormula (1.4), en contraste con el Axioma III.3, sugiere
tambien la simetra de las funciones que desempe nan los puntos A, B y C en dicha ecuacion.
Entonces, si interpretamos al segmento dirigido AB como el recorrido desde el punto A hasta
el punto B (a lo largo de la recta AB, por supuesto), la Formula (1.3) nos indicara prime-
ramente que el recorrido total a partir del punto A hasta el punto B y luego de regrezo es
nulo. As mismo, la F ormula (1.4) nos dira que el recorrido que parte del punto A pasando
por B y C, dos puntos intermedios en el recorrido, antes de regrezar al punto de partida
tambien sera nulo. De hecho,
Proof. La Formula (1.3) nos indica directamente que, cuando B es un punto interior del
segmento AC, la F ormula (1.4) es el Axioma III.3 de Hilbert.
Tambien se puede hacer una demostracion de los otros casos (i.e. cuando B no sea un
punto interior del segmento AC) reduciendolos a la situacion del Axioma III.3
Otra forma de expresar dicha f

ormula:
AB + BC = AC (1.5)
Observaci
on 1.4.3. La desigualdad del tri
angulo:
Si A, B y C son (tres) puntos en el plano: |AB| + |BC| |AC| donde dichos

an alineados si y solamente si |AB| + |BC| = |AC|.
puntos est
Podriamos relacionar la f
ormula de Chasles (en su version (1.5)) con esta u
ltima
desigualdad ?
Una generalizaci on de la F
ormula (1.4):
Si A0 , A1 , ..., An son puntos en una recta, entonces
A0 A1 + A1 A2 + + An1 An + An A0 = 0 (1.6)
Emplearemos algunas veces la reformulacion siguiente del Teorema 1.4.2:
Corolario 1.4.4. Si O es cualquier punto sobre la recta AB, entonces
AB = OB OA. (1.7)
22
Michel Chasles, 1793-1880. Desarroll
o la geometra proyectiva independientemente de Jakob Steiner y
emple
o exitosamente la ahora llamada Teora enumerativa de las c onicas. Su nombre es uno de los 72 que
aparecen en la Torre Eiffel.
La formula que sigue tambien se puede ver como una extencion de la Formula de
Chasles:
Teorema 1.4.5 (F
ormula de Euler 23 ). Si A, B, C y D son cuatro puntos alineados,
entonces
AB CD + AC DB + AD BC = 0 (1.8)
Esta f
ormula se puede probar utilizando la Formula (1.7) para reescribir el termino de
la izquierda como sigue:
(DB DA) CD + (DC DA) DB + (DC DB) AD
posteriormente, desarrollando y simplificando, se concluye.
1.4.1 Raz
on de partici
on de un segmento de recta
En geometra es com
un el uso de nociones como las que siguen
El punto medio del segmento AB.
El punto que est

a a dos terceras partes del camino que va de A a B.
El punto que divide al segmento AB en la razon aurea.
Esto nos lleva a buscar alguna referencia de los puntos sobre la recta AB indepen-
dientemente de la orientaci on y la unidad de medida sobre dicha recta.
As, sobre una misma recta: dados un punto y un segmento de recta orientado, con-
sideraremos alg un n
umero que ubique la posicion de dicho punto con respecto a dicho
segmento:
Definici
on 1.4.6. Si A, B y P son tres puntos (no necesariamente distintos) alineados,
AP
PB
es la raz
on en que el punto P divide al segmento orientado AB.
AP
As, tenemos que para cualquier punto P sobre la recta AB (P 6= B), la razon r =
PB
esta definida. Recprocamente,
Teorema 1.4.7. Dada una raz on r (6= 1) hay exactamente un punto que divide a un
segmento dado en dicha raz
on.
Proof.
Unicidad: Sea AB el segmento orientado dado (A 6= B).

23
Leonhard Euler, 1707 - 1783. Hay, por lo menos, otras dos f ormulas de Euler muy conocidas: Para
umero real x, eix = cosx + isenx y, en el contexto de los poliedros convexos, v a + c = 2.
cualquier n
AP AQ
(1) = = AP QB = AQ P B
PB QB
(2) AP QB + AQ BP + AB P Q = 0 por la Formula de Euler (1.8).
(3) AB P Q = 0 de (1) y (2).
(4) PQ = 0 pues AB 6= 0 al ser A 6= B.
(5) P =Q
Existencia: Sea x := AP .
(1) P B = AB x por la formula (1.6).

AP x
(2) = (= r) r esta dado as.
PB AB x
r AB
(3) y de aqu que x =
1+r
Es decir, el punto P est

a determinado por las dos condiciones que siguen:
r AB
1. Se encuentra a una distancia x (= ) del punto A y
1+r
a entre A y B r > 0.
2. P est
Notese que hay dos puntos posibles que satisfecen la primera de las dos condiciones
anteriores, de aqu que no baste esa sola condicion para determinar al punto P . Sin embargo,
la segunda condici on resuelve tal ambig uedad.
Por otra parte, si extendemos la Definicion 1.4.6 de la forma que sigue:
(
AP si P = B
:=
PB 1 si P =
(donde el segundo smbolo se refiere al punto al infinito de la recta AB) tendremos

entonces una funci
on biyectiva (ver la Figura 1.19):

AB {} R {}
AP
P 7
PB
As, el teorema anterior nos da la certeza de que tal punto existe y es u

nico, pero no nos
indica de ninguna manera como construirlo. Como se podra construir dicho punto? En
tal caso, se podra hacer esto utilisando unicamente la geometra que hemos desarrollado
hasta ahora? Podriamos plantear las cosas de la manera siguiente:
Problema 1.4.8. Construir el u

nico punto que divide en una razon dada a un segmento
de recta dado.
A B
AP
afica de la funcion P 7
Figure 1.19: Gr , con | AB |= 1.
PB
Teorema 1.4.9 (de la bisectriz generalizado). Si el vertice A del tri

angulo ABC est
a
unido a cualquier punto L de la recta BC, entonces
BL BA senBAL
= .
LC AC senLAC
Proof. En el 4ABL de la Figura (1.20), por el lema (1.3.11) tenemos que
AB BL
= .
senALB senBAL
alogamente en el 4ALC:
Y an
LC CA
=
senLAC senCLA
Ya que los
angulos ALB y CLA son iguales o suplementarios (dependiendo esto
ltimo de que el punto L este fuera (L0 en la Figura (1.20)) o dentro del segmento BC),
u
tenemos que
senALB = senCLA
y, de aqu, la afirmaci
on
Es decir, ya que
senBAL
AL es la bisectriz de BAC si y solo si =1
senLAC
B L C L
Figure 1.20: Teorema de la bisectriz generalizado.
senBAL
podemos decir que dicho factor mide en cuanto se desvia la recta AL de ser la
senLAC
bisectriz del
angulo BAC.
Ejercicios
1. Probar que la mediatriz de un segmento BC (B 6= C) es el lugar equidistante de los
puntos B y C.
2. Demostrar que el teorema (ALL) es valido solamente si A = /2.
3. Probar el recproco de Pons asinorum (Teorema 1.2.8): En un triangulo cualquiera

los lados opuestos a
angulos congruentes son congruentes.
4. Probar que en un tri

angulo is
osceles, la mediatriz de la base pasa por el tercer vertice
del tri
angulo.
5. Probar que la figura que sigue representa un cuadrado:
l l
6. Probar el recproco del Teorema de Pitagoras (1.2.15): En un triangulo de lados a, b

y c, si
a2 + b2 = c2
entonces, el
angulo opuesto al lado c es un angulo recto.
7. Probar que el lugar equidistante de un cierto angulo esta formado por sus dos bisec-
trices, la interna y la externa.
8. Probar el Corolario (1.14): En la figura (1.14), si OP es tangente a la circunferencia,

entonces,
OP C P DC.
9. Demostrar que si R es el circunradio de un triangulo ABC, entonces
AB
= 2R.
senACB
10. (a) Identificar las zonas del plano, para el punto D, que corresponden a los dos
subcasos del del primer caso del Corolario 1.3.9
(b) Demostrar el segundo caso del Corolario 1.3.9:
i. Un cuadrilatero cruzado ABCD tal que ABC CDA, es cclico (ver la
figura (1.21)).
D D
A D A
B D B
C C
Figure 1.21: Los dos subcasos del Corolario (1.3.9) cuando el cuadrilatero ABCD es cruzado.
ii. Determinar cual de los dos subcasos, en este segundo caso, del Corolario
(1.3.9), realmente no es posible y cual si.
11. A partir de la ley de los senos, demostrar el Teorema de la Bisectriz (1.3.12):

Si la bisectriz del
angulo BAC corta en un punto L a la recta BC, entonces
BL BA
= .
LC AC
12. Las rectas de dos haces con vertices diferentes estan en correspondencia biunvoca
de tal manera que las intersecciones de rectas correspondientes son colineales. En-
contrar un par de rectas perpendiculares en uno de los haces para el cual las rectas
correspondientes en el otro sean tambien perpendiculares.
13. Demostrar que, si A, B, P y M son puntos colineales tales que AM = M B, entonces
PA + PB
PM = .
2
14. Probar el Teorema de Stewart 24 :
Si A, B y C son tres puntos colineales y D es cualquier cuarto punto, entonces
DA2 BC + DB 2 CA + DC 2 AB + AB BC CA = 0 (1.9)
Sugerencia. Considerar primero el caso en que D esta en la misma recta. Despues

dibuja una perpendicular desde D a la recta.
15. Si A, B y C son puntos colineales y si P , Q y R son los puntos medios de BC, CA y

AB respectivamente, demostrar que el punto medio de CR coincide con el de P Q.
24
Matthew Stewart (1717-1785) enuncio este teorema, sin demostraci
on, en 1746; Thomas Simson (1710-
1761) en 1751, Leonhard Euler en 1780 y L.N.M. Carnot en 1803 lo redescubrieron y volvieron a probar.
El caso en que D est a en la misma recta se trata en el libro Synagoge (colecci
on, tratado o antologia
matematica)(ca. 340) de Pappus.
Ap
endice
Principios de Euclides
Figure 1.22: Uno de los hallazgos mas antiguos de los Elementos de Euclides
Vease http://www.math.ubc.ca/ cass/Euclid/papyrus/ .
Euclides recopilo en los elementos, en el siglo III a. C., el conocimiento que hasta
entonces se tena sobre la geometra 25 . No se trata solamente de un recopilacion sino
de un desarrollo sistem atico de aquellos conocimientos a partir de un reducido conjunto
de principios, los cuales se expresan en las definiciones, nociones comunes (o axiomas) y
postulados. Los primeros definen los objetos de la geometra: punto, recta, angulo, etc., las
nociones comunes establecen algunas reglas muy generales de operacion y en los postulados
se establecen las relaciones fundamentales entre los objetos de la geometra.
Una traducci on casi literal de los postulados y axiomas de Euclides (ver [Euc92]):
Post
ulese:
1. Trazar una lnea recta desde un punto cualquiera a otro punto cualquiera.
2. Prolongar por continuidad en lnea recta una lnea recta delimitada.
3. Para cada centro y radio describir un crculo.
4. Que todos los
angulos rectos son iguales entre s.
25
Contrario a las impresiones m as generalizadas, muchas de las proposiciones (de un total de 465) de
Euclides tratan, no de geometra, sino de teora de los n
umeros y de a
lgebra (ver [Eve69], pp. 19 y sigs.).
5. Que, si una recta incidente con dos rectas hace angulos internos y de la misma parte
menores que dos rectos, prolongadas esas dos rectas al infinito coincidiran por la parte
en que esten los
angulos menores que dos rectos.
Axiomas o nociones comunes
1. Las cosas que son iguales a la misma cosa tambien son iguales entre s.
2. Si a cantidades iguales se suman otras tambien iguales, los totales seran iguales.
3. Si se restan cantidades iguales de otras tambien iguales, los residuos seran iguales.
4. Las cosas que coinciden entre s son iguales entre s.
5. El todo es mayor que una parte.

Axiomas de Hilbert
Se consideran tres conjuntos distintos de objetos: puntos, rectas y planos.
Se considera que dichos objetos guardan entre s las relaciones que llamaremos estar
en, estar entre, ser congruente. La descripcion precisa y matematicamente completa de
estas relaciones se sigue de los axiomas de la geometra.
Primer grupo: axiomas de incidencia.
Los axiomas de este grupo establecen una relacion incidencia entre los puntos-rectas-
planos como sigue:
I.1 Para cada dos puntos A y B hay alguna recta a que contiene a cada uno de los puntos
A y B.
I.2 Para cada dos puntos A y B no hay mas que una recta que contiene a cada uno de los
puntos A y B.
I.3 Hay al menos dos puntos en cada recta.

Hay al menos tres puntos que no estan en la misma recta.
I.4 Para cada tres puntos A, B y C que no esten en la misma recta hay un plano que
contiene a cada uno de los puntos A, B y C.
Cada plano contiene alg
un punto.
I.5 Para tres puntos A, B y C que no esten en una y la misma recta no hay mas que un
plano que contiene a cada uno de los puntos A, B y C.
I.6 Si dos puntos A y B de alguna recta a estan en alg

un plano entonces cada punto de
a est
a en el plano .
I.7 Si dos planos y tienen un punto com

un A entonces tienen al menos otro punto
comun B.
I.8 Hay al menos cuatro puntos que no estan en un [mismo] plano.
Segundo grupo: axiomas de orden.
Estos axiomas definen el concepto de estar entre, para los puntos de una recta.
II.1 Si B est
a entre A y C, entonces A, B y C son tres puntos distintos de una recta y
tambien estar
a B entre C y A.
II.2 Para dos puntos A y C siempre hay al menos un punto B en la recta AC tal que C
est
a entre A y B.
II.3 De entre tres puntos de una recta no hay mas que uno que esta entre los otros dos.
II.4 Sean A, B y C tres puntos no colocados en lnea recta y sea a una recta en el plano
ABC, que no pasa por ninguno de los puntos A, B, C. Si la recta a pasa por alg un
punto [interior] del segmento AB, pasara tambien por alg
un punto del segmento AC
o bien, por alg
un punto del segmento BC.
Tercer grupo: axiomas de congruencia.
III.1 Si A y B son dos puntos en alguna recta a y A0 es un punto en la misma o en otra

recta a0 entonces siempre es posible hallar un punto B 0 en un lado dado de la recta a0
tal que el segmento AB sea congruente con el segmento A0 B 0 .
En smbolos
AB A0 B 0
III.2 Si un segmento A0 B 0 y alg

un otro segmento A00 B 00 son congruentes a el mismo seg-
mento AB entonces el segmento A0 B 0 tambien es congruente al segmento A00 B 00 ,
O, brevemente, si dos segmentos son congruentes a un tercero son congruentes entre
s.
III.3 Sean AB, BC dos segmentos sin puntos comunes excepto por B sobre la recta a.
Adem as sean A0 B 0 , B 0 C 0 dos segmentos sobre la misma o sobre otra distinta a0 igual-
mente sin puntos comunes excepto por B 0 . En ese caso, si
AB A0 B 0 y BC B 0 C 0
entonces
AC A0 C 0 .
Este axioma expresa el requerimiento de aditividad de segmentos.
III.4 Sean (h, k) un angulo en un plano y a0 una recta en un plano 0 ; se fija un lado
de a en . Sea h0 un rayo de la recta a0 el cual parte del punto O0 . Entonces, en
0 0
el plano 0 , hay uno y solo un rayo k 0 tal que el (h, k) es congruente al (h0 , k 0 )
y a la vez que todos los puntos interiores del (h0 , k 0 ) estan en el lado dado de 0 .
Simb olicamente:
(h, k) (h0 , k 0 ).
Todo
angulo es congruente consigo mismo, esto es: vale siempre
(h, k) (h, k).
angulos ABC y A0 B 0 C 0 , si
III.5 En dos tri
AB A0 B 0 ,
AC A0 C 0 y
BAC B 0 A0 C 0
entonces ABC A0 B 0 C 0 .
Cuarto grupo: axioma de paralelismo
IV.1 (Axioma de Euclides) Sea a una recta y A un punto fuera ella. Entonces hay a lo
m
as una recta en el plano determinado por a y A que pasa por A y no intersecta a a.
Quinto grupo: axiomas de continuidad
V.1 (Axioma de Arqumedes) Si AB y CD son dos segmentos hay un n umero [natural]

n tal que n segmentos CD construidos consecutivamente desde A a lo largo del rayo
desde A por B pasaran m
as alla del punto B.
V.2 (Axioma de la completez de la recta) Una extencion de un conjunto de puntos en una

recta con sus relaciones de orden y congruencia que preserve las relaciones entre los
elementos originales as como las propiedades fundamentales de orden y congruencia
en una recta que se siguen de los grupos de axiomas I-III y V.1 es imposible.
Material adicional
El teorema que sigue se debe a Auguste Miquel 26 . Tiene algunas derivaciones muy
interesantes e, inclusive, una interpretacion tridimensional utilizada en mecanica cuantica
27 .
Teorema 1.4.10 (de los seis crculos).
Sea ABCD un cuadril

atero cclico.
Sea c(AB) alguna circunferencia que pase por los puntos A y B; an

alogamente, sean
c(BC), c(CD) y c(DA) circunferencias que pasen por los pares de puntos B y C, C
y D y D y A, respectivamente.
Sea E el otro punto de intersecci

on de las circunferencias c(AB) y c(BC); an aloga-
mente, sean F , G y H los otros puntos de intersecci
on de los pares de circunferencias
c(BC) y c(CD), c(CD) y c(DA) y c(DA) y c(AB), respectivamente.
Entonces, los puntos E, F , G y H tambien son concclicos.
G
H
D
F
B
Figure 1.23: A, B, C y D concclicos E, F , G y H concclicos.
26
Auguste Miquel Journal de mathematiques pures et appliquees: On recueil mensuel de memoires sur les
diverses parties 1838 (T3) pg 517 et pg 485.
27
V.V. Bazhanov, V.V. Mangazeev and S.M. Sergeev Quantum geometry of three-dimensional lattices J.
Stat. Mech., vol. 2008, no. 7.
Proof. Consideremos primeramente el caso en que el cuadrilatero ABCD es convexo. De-

mostraremos que EF GH tambien es un cuadrilatero cclico convexo; i.e.
HEF + F GH = .
As, en la Figura (1.24), tenemos que

C
B C0 H D
F
A0
A
Figure 1.24: A, B, C y D concclicos E, F , G y H concclicos.
(1) HEF = HEA0 + A0 EF

(2) F GH = F GC 0 + C 0 GH
(3) HEA0 = HDA pues 2(EADH) es cclico
(4) A0 EF = ABF pues 2(F BAE) es cclico
(5) F GC 0 = F BC pues 2(F GCB) es cclico
(6) C 0 GH = CDH pues 2(HDCG) es cclico
Resumiendo:
(7) HEF + F GH = HEA0 + A0 EF + F GC 0 + C 0 GH de (1) y (2).

(8) = HDA + ABF + F BC + CDH de (3), (4), (5)
y (6) en (7).
= CDH + HDA + ABF + F BC
= CDA + ABC
= de la hipotesis
principal.
La demostraci
on es an
aloga si el cuadrilatero ABCD es cruzado; en este otro caso, el
cuadril
atero EF GH tambien es cruzado.
Ejercicios adicionales
1. Haz una construccion geometrica para los puntos que dividen a un segmento de recta
a a
dado en las razones y (a y b positivos).
b b
2. En la figura (1.25) se tiene que:
(a) 2(ABCD) es un cuadrado,

(b) 4(ABE) es equil
atero y
(c) 4(BCF ) es equil
atero.
A H B
E
D C
Figure 1.25: 4DGH es equilatero y (ADH) + (DGC) = (BGH).
Demostrar que
(a) 4(DGH) es equil

atero y
(b) (ADH) + (DGC) = (BGH).
3. Acerca del teorema de los seis crculos (1.4.10):
(a) i. Demuestralo para el caso en que el cuadrilatero es cruzado.

ii. Demuestralo para el caso en que los puntos A, B, C y D estan alineados.
iii. Demuestra que si los centros de las circunferencias c(AB), c(BC), c(CD) y
c(DA) estan en alguna (otra) circunferencia, entonces el cuadrilatero EF GH
es un rect
angulo.
(b) Esta sera la demostraci
on original de Miquel 28 :
i. En la figura (1.26): Tres circunferencias con centros A, O y C, respectiva-

mente, tienen un punto en com un I. Sean N y R los puntos en que alg una
de ellas (A) vuelve a intersectar a las otras dos circunferencias. Sea F alg
un
28
A. Miquel op. cit. pp. 485-486.
(otro) punto de (A) y sean D y E los puntos donde las rectas F N y F R

vuelven a cortar a las circunferencias (O) y (C). Sea M la otra intersecci
on
de (O) y (C). Demostrar que, entonces, (Theorème I) D, E y M est an
alineados.
M
I
C
E
R
F A
O
N
Figure 1.26: I punto com

un de (A), (O) y (C) = D, E y M estan alineados.
ii. Recprocamente:
Recproco 1. Si tres circunferencias con centros A, O y C, respectivamente,
tienen un punto en com un I sea M la segunda interseccion de dos de ellas,
(O) y (C); sean N = (A) (O) y R = (A) (C). Sea M DE una recta con
D (O) y E (C). Entonces, las rectas N D y RE se contan en alg un
punto F (A).
Recproco 2. Sean M , N y R tres puntos sobre los lados ED, DF y F D,
respectivamente, de alg un triangulo DEF . Entonces, las circunferencias
F RN , ERM y DN M tienen un punto en com un.
iii. Concluir, de aqu, el teorema (Theorème II) de los seis crculos (1.4.10).
iv. El artculo ya mencionado de Miquel finaliza con una aplicacion de lo anterior
al resultado (Theorème III) que sigue:
En la figura(1.27):
A. Sea ABCDE un pentagono cualquiera.
B. Sean I, K, F , G y H las otras intersecciones enter sus lados donde,
digamos, I es incidente con los vertices A y B pero no con el lado AB,
etc.
C. Consideremos los cinco triangulos IAB, KBC, etc (formados por cada
lado del pentagono y las prolongaciones de los dos otros lados que le son
adyacentes) as como sus circuncrculos respectivos.
D. Sean P , Q, M , N y R las otras intersecciones entre los pares adyacentes
de dichos crculos.
Entonces, los puntos P , Q, M , N y R son concclicos.
H N G
R
E M
A
D
B C
I
P F
Q
K
Figure 1.27: En un pent
agono cualquiera ABCDE los puntos P , Q, M , N y R son conc-
clicos.
Hasta aqu el artculo de Miquel. Ahora bien,

v. Considere que ocurre, en relacion a lo anterior, si tomamos a F HKGI,
ACEBD y a F GHIK, respectivamente, como pentagonos de partida para
la construcci
on anterior (ver la figura (1.28).
(c) Se puede generalizar el ejercicio anterior considerando sus incisos como los casos
de tres, cuatro y cinco circunferencias?
(d) Se puede considerar cualquiera de las seis circunferencias del teorema como cir-
cunferencia de partida para completar la figura del teorema sin anadir ni un solo
elemento (punto o circunferencia) mas?
(e) Es equivalente el teorema de los seis crculos a lo que sigue?:
Si cinco circunferencias tienen cuatro puntos triples de interseccion, en-
tonces, los demas puntos de interseccion tambien estan en una circunfe-
rencia.
H G
N
R
E M
A
D
I B
C
F
P
Q
Figure 1.28: Theorème III iniciando con el pentagono F HKGI.

(f) Enuncia (y prueba) un teorema tridimensional analogo al teorema de los seis

crculos.
4. (Generalizacion del teorema de Stewart) Sean A, B y C tres puntos colineales y sean

a, b y c las longitudes de las tangentes desde A, B y C, respectivamente, a alguna
circunferencia dada. Entonces,
a2 BC + b2 CA + c2 AB + BC CA AB = 0.
5. Sean A, B, C y D cuatro puntos alineados. Demostrar 29 que
AB BC CA BC CD DB + CD DA AC DA AB BD = 0 (1.10)
Sugerencia. Usando el teorema de Stewart (1.9), demostrar primeramente que
AD2 BD2 CD2

+ + =1
AB AC BC BA CA CB
observando que esta ultima ecuacion es simetrica en A, B y C pero no en A, B, C y
D, construir las otras tres ecuaciones correspondientes.
6. Sea X el centro de un tetraedro regular ABCD. Calcula AXB.
7. Teoremas del crculo de Clifford 30 . En geometria, el termino teoremas de Clifford se

refiere a la sucesi
on de teoremas que sigue, los cuales se refieren a intersecciones de
crculos.
1ro. Sean cuatro crculos con un punto en com un, M y en posicion general. Es decir,
hay otros seis puntos de paso, digamos, por los que pasan exactamente dos de los
crculos y dichos puntos de paso no estan alineados por ternas. Cada subconjunto
de tres de los cuatro crculos reune tres puntos de paso y (por la suposicion de
no colinealidad) hay otro crculo que paso por estos ultimos. Tal como el primer
conjunto de cuatro crculos, el segundo conjunto de cuatro crculos tiene un punto
P en com un.
2do. Sean cinco crculos en posicion general y que pasen por un punto M . Cada
sunconjunto de cuatro crculos define un nuevo punto P de acuerdo al primer
teorema de Clifford. Estos cinco puntos estan en un crculo c.
29
Hermann Hankel (1839 - 1873) Die Elemente der projectivischen Geometrie in synthetischer Behandlung
(1875) pp. 50 y 51. Hankel estudi o y trabaj o con M obius, Riemann, Weierstrass y Kronecker, entre otros.
30
William Kingdon Clifford FRS(Fellow of the Royal Society) (1845 - 1879) matem atico ingles y fil
osofo.
Bas andose en la obra de Hermann Grassmann, introdujo la ahora llamada a lgebra geometrica, la cual es un
caso especial de la tambien ahora llamada, en su honor, a lgebra de Clifford. Se pueden ver las operaciones
del algebra geometrica como rotaciones, reflexiones y translaciones de objetos geometricos. Las a lgebras de
Clifford en general y el a
lgebra geometrica en particular, son cada vez mas importantes en fsica matem atica,
geometra y computaci on. Clifford fue el primero en sugerir que la gravitaci
on podra ser la manifestaci on
de una geometra subyacente (gravitation might be a manifestation of an underlying geometry). El acu no
la expreci on mind-stuff en sus escritos filos
oficos.
3ero. Sean seis crculos en posicion general y que pasen por un punto M . Cada suncon-
junto de cinco crculos define un nuevo crculo c de acuerdo al segundo teorema
de Clifford. Estos seis crculos tienen un punto en com un.
4to. La sucesi
on de teoremas continua indefinidamente.
Chapter 2
Relaciones de semejanza
Intuitivamente: dos figuras son semejantes si tienen la misma forma. En el caso particular
de triangulos, tener la misma forma solamente requiere que los angulos correspondientes
sean iguales. Es decir, la relaci
on de semejanza se refiere a figuras que teniendo la misma
forma pudieran tener tama nos diferentes.
Tal como en el caso de congruencia, podemos iniciar la teora estudiando las figuras
bidimensionales m as simples: los triangulos.
2.1 Semejanza de tri

angulos.
Podemos considerar al lema siguiente como la base de la teora de la proporcionalidad de fig-
uras. A partir de este lema, tendremos que los triangulos semejantes son aquellos que tienen
sus angulos correspondientes congruentes y sus lados correspondientes proporcionales.
Lema 2.1.1. Una recta paralela a uno de los lados de un tri

angulo divide proporcionalmente
a los otros dos y recprocamente.
Proof. En un tri
angulo ABC:
Y
X
B C
B C
Figure 2.1:
41
0 0
(1) (Sea B C k BC Hipotesis.
Sea X el pie de la perpendicular desde C 0
(2) Hipotesis.
(hacia la recta AB.
Sea Y el pie de la perpendicular desde B 0
(3) Hipotesis.
hacia la recta AC.
As, (
(AC 0 B 0 ) 1/2 AB 0 XC 0 AB 0 XC 0 BB 0 por (1) y (2) y
(4) = =
(B 0 C 0 B) 1/2 B 0 B XC 0 B0B la formula 1.
(
(AC 0 B 0 ) 1/2 AC 0 Y B 0 AC 0 Y B 0 CC 0 por (1) y (3) y
(5) = =
(B 0 C 0 C) 1/2 C 0 C Y B 0 C 0C
(la formula 1.
Ambos triangulos tienen la
(6) (B 0 C 0 C) = (B 0 C 0 B)
misma base y la misma altura.
AC 0 AB 0
(7) = (4), (5) y (6).
C 0C B0B
Recprocamente: Ahora supongamos que
AB 0 AC 0
(10) = Hip
otesis.
B0B C 0C
(11) 0
B D k BC Hip
otesis.
As,
AB 0 AD
(12) = (11) y () en 4BAC y 4B 0 AD.
B0B DC
AC 0 AD
(13) = (10) y (12).
C 0C DC
(14) D = C0 (13).
Definici
on 2.1.2. Dos tri
angulos son semejantes si
(i) Sus angulos correspondientes son congruentes y
(ii) Sus lados correspondientes son proporcionales.
Notacion 2.1.3. 4ABC 4A0 B 0 C 0 significa que los triangulos ABC y A0 B 0 C 0 son se-
mejantes.
En general,
Definici
on 2.1.4. Dos polgonos con el mismo n
umero de lados son semejantes si
(i) Sus angulos correspondientes son congruentes y
(ii) Sus lados correspondientes son proporcionales.

Es decir, para el caso de tri

angulos, para tener la semejanza de dichas figuras, tenemos
seis condiciones a verificar. Y, en general, para el caso de polgonos con n lados seran 2n
las condiciones a satisfacer.
Tal como en el caso de congruencia, nuevamente, tenemos tres resultados estructurales
(los teoremas 2.1.5, 2.1.6 y el inciso (e) del corolario 2.1.7) para esta teora.
Dichos teoremas nos dicen, brevemente, que las seis condiciones de semejanza de tri-
angulos son redundantes; que, en realidad, ciertas ternas de estas condiciones implican las
demas.
Teorema 2.1.5. Dos tri angulos que tienen sus

angulos correspondientes congruentes tienen
sus lados correspondientes proporcionales.
Proof. Sean 4ABC y 4A0 B 0 C 0 tales que
A
A A
B B C B C
Figure 2.2:
(1) = 0 Hipotesis.
(2) = 0 Hipotesis.
(3) = 0 Hipotesis.
(4) Sea B 00 CB tal que B 00 C B 0 C 0 Axioma III.1.
(5) Sea A00 CA tal que A00 C A0 C 0 Axioma III.1.
(6) A0 B 0 C 0 A00 B 00 C Axioma III.5 en (3), (4) y (5).
(7) A00 B 00 k AB (2) y (6)
CB CA
(8) 00
= Lema 2.1.1 en (7).
CB CA00
CB CA
(9) = 0 0 (4), (5) y (8).
C 0B0 CA
CA BA
(10) 0 0
= 0 0 Analogamente
CA BA
Tambien se tiene el teorema recproco del anterior. Por la simetra de la prueba que
daremos, basta enunciarlo (y probarlo) para uno solo de los pares de angulos correspon-
dientes:
AB BC CA
Teorema 2.1.6. Si 0 0
= 0 0 = 0 0 entonces 0 .
AB BC CA
Proof.
A A
B C
B C
B C
Figure 2.3:
AB BC CA
(1) 0 0
= 0 0 = 0 0 Hipotesis.
AB BC CA
(2) Sea B 00 A0 B 0 tal que AB A0 B 00 Axioma III.1.
(3) Sea C 00 A0 C 0tal que AC A0 C 00 Axioma III.1.
AB 0 0 AC 0 0
(4) 0 00
= 0 00 (1), (2), (3).
AB AC
(5) B 00 C 00 k B 0 C 0 Lema 2.1.1 en (4).
(6) C 00 B 00 A0 C 0 B 0 A0 y A0 C 00 B 00 A0 C 0 B 0 (5).
(
A0 B 0 A0 C 0 C 0B0 Teorema 2.1.5 en (6) para
(7) = =
A0 B 00 A0 C 00 C 00 B 00 4A0 B 0 C 0 y 4A00 B 00 C 00 .
BC B C00 00
(8) 0 0
= 0 0 (1) y (7).
BC BC
(9) BC B C 00
00 (8).
(10) 4(BAC) 4(B 0 A0 C 0 ) Teorema (LLL) en (2), (3) y (9).
Corolario 2.1.7. Las proposiciones que siguen son equivalentes:

Dos tri
angulos
(a) Son semejantes.
(b) Sus
angulos correspondientes son congruentes.
(c) Sus lados correspondientes son proporcionales.
(d) Dos pares de

angulos correspondientes son congruentes.
(e) Dos pares de lados correspondientes son proporcionales y los

angulos incluidos son
congruentes.
Proof.
Ya hemos visto que las condiciones (a), (b), (c) y (d) son equivalentes. Tambien se
tiene que (a) = (e). As, bastara probar que (e) = ( ). De hecho, el axioma III.5, el
lema 2.1.1 o bien, el teorema 2.1.6 prueban que (e) = (a).
on 2.1.8. En la figura (1.14), ya que OP C P DC, los triangulos OP C y
Observaci
ODP son semejantes.
El particular,
OP 2 = OC OD (2.1)
Corolario 2.1.9 (Teorema de Thales). Si tres (o m as) paralelas son cortadas por dos
transversales los segmentos de una recta son proporcionales a los segmentos correspondientes
de la otra.
Corolario 2.1.10. Si dos pares de lados correspondientes de tri
angulos rect
angulos son
proporcionales, entonces los tri
angulo son semejantes.
N
otese que siempre es posible orientar polgonos. Esto se puede hacer solamente de
dos maneras diferentes. Adem as, esto ocurre de forma tal que siempre que se nos den dos
polgonos orientados, podemos comparar sus orientaciones; es decir, podemos decidir si las
orientaciones respectivas son iguales (o la misma) o no lo son. As,
Definicion 2.1.11. Dos polgonos semejantes son directa( o inversa)mente semejantes
si son semejantes y sus orientaciones correspondientes son iguales( o no).
Ejercicios
1. Demuestra que si dos pares de lados correspondientes son proporcionales y los angulos
incluidos son congruentes entonces los triangulos son semejantes.
2. En la figura 2.4: Si XY es alguna recta que pasa por el punto A, demostrar que
LX BY
LM k BC = .
XM YC
L X M
B Y C
LX BY
Figure 2.4: LM k BC =
XM YC
3. Demuestra el Corolario 2.1.9 (de Thales), as como su recproco.

4. Demuestra el Corolario 2.1.10.
2.2 Teorema de Tolomeo

Anteriormente se vio un criterio de ciclicidad referente a los angulos opuestos de un cuadri-
latero. La noci
on de antiparalelismo de pares de rectas nos da un segundo criterio a este
respecto.
Definicion 2.2.1. Dos rectas son antiparalelas con respecto a otras dos si las primeras
forman angulos internos iguales con la bisectriz de las otras dos.
Lema 2.2.2. Si un par de rectas es antiparalelo respecto a otro par, entonces el segundo
par tambien es antiparalelo respecto al primero.
As, nos referiremos a dos pares de rectas antiparalelas cuando alguno de los dos pares
es antiparalelo respecto del otro.
Teorema 2.2.3. Los puntos en que dos pares de rectas antiparalelas se cortan mutuamente
son concclicos y, recprocamente, los pares de lados opuestos de un cuadril
atero cclico
forman pares de rectas antiparalelas.
El caso de los trapezoides, en particular los trapecios y rectangulos, al tener pares de
lados paralelos, no pareciera estar considerado en este teorema. Sin embargo, recordemos
que la bisectriz de un angulo es la recta equidistante de sus lados. En el caso de rectas
paralelas la recta equidistante juega el papel de la bisectriz para rectas concurrentes. Con
esto podemos redefinir antiparalelismo entre pares de rectas de tal forma que tambien se
incluya el caso de paralelas: Dos rectas son antiparalelas con respecto a otras dos si las
primeras forman angulos internos iguales con la recta equidistante de las otras dos.
Vemos que no es posible hallar un criterio de ciclicidad de puntos referente unicamente
a los lados de un cuadrilatero. Sin embargo, el teorema que sigue nos da un tercer criterio
de ciclicidad de puntos referente a los lados y las diagonales de un cuadrilatero convexo.
Teorema 2.2.4. (Ptolomeo) En un cuadril atero cclico la suma de los productos de pares
de lados opuestos es igual al producto de las diagonales.
En smbolos, si ABCD es un cuadrilatero cclico, entonces
AB CD + BC DA = AC BD. (2.2)
Nota. Para caso de los cuadril
ateros cclicos no convexos la formula sera:
AB CD + BC DA = AC BD
Por otra parte, el recproco del teorema tambien es valido.
As, probaremos que un cuadrilatero convexo ABCD es cclico si y solamente si se
verifica la f
ormula (2.2).
Proof.
(1) Sea ABCD un cuadril atero. Hipotesis
(2) Sea l la recta que pasa por el punto A y tal
que (l, AB) CAD Hipotesis
(3) Sea m la recta que pasa por el punto B y tal
que (AB, m) ADC Hipotesis
(4) Sea E =lm
As, en la figura (2.5), tenemos que
(5) 4EAB 4CAD Corolario 2.1.7,d (2, 3, 4)

EA AB BE
(6) = = (5)
CA AD DC
(7) 4EAC 4BAD Corolario 2.1.7,e (2, 6)
EA AC CE
(8) = = (7)
BA AD DB
(9) As, ABCD es cclico sii EB + BC = EC (3) y (4)
AB CD AC BD
(10) i.e. sii + BC = (6), (8) y (9)
AD AD
(11) i.e. sii AB CD + BC AD = AC BD. (10)
D
l
E
m
Figure 2.5: ABCD es cclico sii el punto E = l m pertenece a la recta BC.
Ejercicios
1. Demostrar el Lema 2.2.2
2. Si cuatro o m as tri
angulos directamente semejantes son tales que un conjunto de
vertices correspondientes coinciden y un segundo conjunto es concclico, el tercer con-
junto tambien es concclico.
3. Supon que A, B, C y D son los vertices de un cuadrilatero inscrito en una circunfe-

rencia. Demuestra que si DB es un diametro, ]BDA = x y ]CDB = y, entonces
sen(x + y) = sen x cos y + cos x sen y.
4. Construye un cuadril
atero cclico dados sus cuatro lados.
5. Haciendo uso del Teorema de Ptolomeo encuentra la razon de la diagonal de un

pentagono regular a su lado. Con ayuda de esta razon, demuestra que

5+1 51
cos 36 = y que cos 72 = .
4 4
6. Usando el primer resultado anterior, inscribe un pentagono regular en una circunfe-

rencia dada y prueba que la razon de su lado al radio es

q
1/2 10 2 5.
7. Construir un pent
agono regular dado(a)
(a) su lado.
(b) su diagonal.
1. Un cuadril
atero es cclico si y solo si las mediatrices de (tres de) sus lados son concu-
rrentes.
Por brevedad, denotemos con a, b, c y d las longitudes de los lados de un cuadrila-
tero cclico , as como con x y y las longitudes de sus diagonales de tal manera que
ac + bd = xy.
2. Demstrar que
x ad + bc
(a) = .
y ab + cd
r r
(ac + bd)(ad + bc) (ac + bd)(ab + cd)
(b) x = y y= .
ab + cd ad + bc
Los vertices de un cuadril
atero, cclico o no, forman cuatro triangulos al tomarlos por
ternas.
3. (a) Los incentros de los cuatro triangulos determinados por un cuadrilatero cclico
forman un rectangulo.
(b) Los incentros y los excentros de dichos triangulos forman una red ortogonal de
puntos.
2.3 Homotecia
Sean M una figura que consta de puntos A, B, y analogamente para M 0 junto con una
correspondencia biyectiva M M 0 .
on 2.3.1. Se dice que M y M 0 son (figuras) homoteticas si hay un punto O en el
Definici
umero real k tales que para cada par A y A0 de puntos correspondientes,
plano y un n
1. O, A y A0 est
an alineados
OA0
2. =k
OA
El punto O es el centro de la homotecia y la constante k es la razon de dicha homotecia.
Denotamos con el smbolo hom(O, k) a la homotecia con centro O y razon k vista como
una funci
on
plano \ O plano \ O
A 7 A0
lo cual es una funci
on biyectiva. As, mediante la extencion natural que sigue:
O 7 O
tenemos una funcion biyectiva definida en todo el plano.

Tambien podemos interpretar a dicha funcion como la dilatacion del plano con centro
O y raz
on de dilataci
on k.
Considerando cualitativamente el valor de k tenemos que:
1. Si 0 < k < 1 se trata de una contraccion.
2. Si k = 1, se trata de la funcion identidad.
3. Si 1 < k se trata de una expancion.
4. El caso k = 1 corresponde a la simetra del plano con respecto al punto O.
5. As, si k < 0, considerando la composicion de funciones, tenemos que
hom(O, k) = hom(O, |k|) hom(O, 1).
2.3.1 Algunas propiedades b

asicas de la homotecia:
Propiedad 2.3.2. Una homotecia con k 6= 1 mueve a todos los puntos del plano, salvo
al centro de dicha homotecia
Proof.
OP 0
Si P 6= O, = k 6= 1 = OP 0 6= OP
OP
P 0 6= P .
OO0
Por otra parte, si O 7 O0 la razon no esta definida.
OO
Observaci on 2.3.3.
Consideremos dos puntos distintos P y M , digamos.
OP 0 OM 0
As, = = k por definicion de homotecia. y los triangulos OP M y OP 0 M 0
OP OM
son semejantes con razon de semejanza k, si los puntos O, P y M no estan alineados.
A partir de esta observaci

on, las propiedades siguientes se prueban directamente:
Propiedad 2.3.4.
1. Una homotecia manda rectas en rectas paralelas.

De hecho, basta verificar que manda segmentos de recta en segmentos de recta
paralelos. As mismo,
2. Una homotecia dilata magnitudes de segmentos de acuerdo a la razon de dicha ho-

motecia.
3. Una homotecia manda circunferencias en circunferencias.

De hecho, vemos que la homotecia hom(O, k) manda a la circunferencia de centro A
y radio r en la circunferencia de centro A0 y radio r0 := r|k|.
4. Una homotecia preserva

angulos.
Observaci on 2.3.5. De lo anterior tenemos que la homotecia manda triangulos en triangu-

los semejantes, de donde triangulos homoteticos son semejantes. Sin embargo, la afirmacion
recproca no es cierta en general.
Ejemplo 2.3.6. Sean N , L y M los puntos medios de los lados del triangulo ABC, respec-
tivamente. Entonces, los tri
angulos LM N y ABC son homoteticos:
Proof.
BL CM AN
(1) = = =1 Hipotesis.
LC MA NB
(2) M N k BC por el lema 2.1.1 en (1)
(
4M GN 4BGC,
(3) por el teorema 2.1.5 (2)
donde G := BM CN
GM GN MN 4AN M 4ABC,
(4) = = = 1/2 pues
GB GC BC con BC = AB = 2
( NM AN
la homotecia hom(G, 1/2) manda
(5) (4)
B 7 M y C 7 N.
Pregunta: A 7 ? (ver la figura 2.6)
(
c k BA
Respuesta: BA ; c, donde
y M c.
es decir, c = LM .
Analogamente, CA ; LN
A (= BA CA) 7 LM LN = L
Definici
on 2.3.7. Las rectas AL, BM y CN son las medianas del triangulo ABC y el
punto G es el punto mediano o centro de gravedad de dicho triangulo.
M
N
G
B ? C
Figure 2.6: Para la homotecia hom(G, 1/2), A 7 ?
Observaci on 2.3.8. As, no solamente tenemos que las medianas de un triangulo son rectas
concurrentes, sino que G, el centro de gravedad del triangulo, es un punto de triseccion de
sus medianas.
2.3.2 Circunferencias homot

eticas
De acuerdo a la propiedad 2.3.4
Figure 2.7: en negro.
Afirmaci on 2.3.9. Dos circunferencias no concentricas son homoteticas de dos maneras

diferentes.
Proof.
Sean c := c(O, r) y c0 := c(O0 , r0 ) dos circunferencias con O 6= O0 ,
Sean K y H los puntos que dividen al segmento OO0 en las razones r/r0 y r/r0 , respec-
tivamente.
As, para las homotecias hom(K, r0/r) y hom(H, r0/r) tenemos que
KO0 r0
= /r (2.3)
KO
HO0
= r0/r (2.4)
HO
y, entonces, las homotecias mencionadas mandan c en c0
Definicion 2.3.10. Los centros de tales homotecias, K y H, son los centros de similitud,
externo e interno, respectivamente, de dichas circunferencias.
Es decir, los centros de similitud de las circunferencias con centros O y O0 dividen al

segmento OO0 en la raz on de los radios de dichas circunferencias.
Teorema 2.3.11. Si dos circunferencias tienen tangentes externas comunes, estas pasan
por el centro de similitud externo y si tienen tangentes internas comunes, estas pasan por
el otro centro de similitud.
K O H O
Figure 2.8: Las tangentes comunes pasan por los centros de similitud.
2.3.3 Puntos hom

ologos y antihom
ologos
Sea l una recta que pasa por uno de los centros de similitud de dos circunferencias y
que corta a estas en A, B y A0 , B 0 , respectivamente. Supongamos que A y A0 son puntos
homoteticos (ver la figura 2.9).
Definici
on 2.3.12.
Los pares de puntos A y A0 , as como B y B 0 son pares de puntos homologos.
Los pares de puntos A y B 0 , as como B y A0 son pares de puntos antihomologos.
A continuaci
on tenemos algunas propiedades de este tipo de pares de puntos.
Propiedades 2.3.13. En la figura 2.9:
1. B 0 D0 es paralela a BD y los tri

angulos KB 0 D0 y KBD son semejantes.
2. A0 C 0 es antiparalela a BD con respecto a A0 B y C 0 D y los tri

angulos KA0 C 0 y KDB
son inversamente semejantes. El cuadril atero A0 C 0 DB es cclico.
3. El producto de los segmentos KA0 y KB es constante.
4. Cada uno de los conjuntos de puntos A0 , C 0 , D, B y A, C, D0 , B 0 es concclico.
5. Las tangentes a las circunferencias en A0 y B forman a ngulos iguales con la recta

0 angulo EA0 B es is
A B. Si dichas tangentes se intersectan en E, el tri osceles.
B0
A0
B
A E
K
C
D C0
D0
Figure 2.9: Pares de puntos homologos y antihomologos.
Solamente verificaremos la u
ltima afirmacion:
Proof. En la figura 2.9:

(1) ABD KB 0 D0
(2) EA0 D0 A0 B 0 D0 KB 0 D0 por el corolario (1.3.5)
(3) ABD EA0 D0 (1) y (2)
(4) DBE DAB D0 A0 B 0 por el corolario (1.3.5)
Finalmente,
(5) ABE ABD + DBE
EA0 D0 + D0 A0 B 0 (3) y (4)
EA0 B 0 .
2.3.4 Circunferencia de similitud

Definici on 2.3.14. La circunferencia de similitud de dos circunferencias no concentricas
es la circunferencia que tiene como diametro el segmento que une sus centros de similitud.
Teorema 2.3.15. La circunferencia de similitud de dos circunferencias no concentricas es

el lugar geometrico de los puntos
1. tales que las razones de sus distancias a los centros de las circunferencias son iguales
a la raz
on entre los radios y
K O H O0
Figure 2.10: En rojo, la circunferencia de similitud de dos circunferencias dadas.
2. desde las cuales las dos circunferencias subtienden

angulos iguales.
Proof.
Sea C la circunferencia de similitud de las circunferencias c(O, r) y c(O0 , r0 ).
PO
Sea P un punto tal que = r/r0 . (ver fig. 2.11)
P O0
OH
Como tambien r/r0 = , entonces P H es la bisectrz interna del OP O0 .
HO0
Analogamente, P K es la bisectrz externa del mismo angulo.
P H P K y P C.
Recprocamente, sea P un punto de C.

Sea O00 OO0 tal que P H sea la bisectrz interna del angulo O0 P O00 .
Asi, P K es la bisectrz externa del mismo angulo.
O00 H O00 K
De donde = .
HO0 KO0
OH OK
Pero tambien tenemos que 0
=
HO KO0
HO00 HO
y, de ambas ecuaciones, se sigue que 00
= .
O K OK
PO
O00 = O y = r/r0 .
P O0
Para la segunda parte:
Sea P un punto de la circunferencia de similitud.
As, si P T y P T 0 son tangentes a c(O, r) y c(O0 , r0 ), respectivamente, por la primera
parte,
PO r 0 OT
= /r = 0 0
PO OT
y, por el corolario 2.1.10, los triangulos P T O y P T 0 O0 son semejantes.
En particular (ver la figura 2.12), T P O T 0 P 0 O0 y, de aqu, la afirmacion.
Si dos circunferencias tienen radios iguales, su circunferencia de similitud es la mediatriz

del segmento OO0 , conjuntamente con la recta al infinito.
K O H O

PO
Figure 2.11: C = P : = r/r0
P O0
P T
O O
Figure 2.12: T P O T 0 P 0 O0 .
Teorema 2.3.16. Si dos circunferencias tienen circunferencia de similitud C, cualquier

circunferencia que pase por los centros de las primeras es ortogonal a C.
En la figura (2.13): Sea M P la tangente a la circunferencia por P , O y O0 con el punto

M sobre la recta OO0 . Queremos demostrar que M es el centro de la circunferencia de
similitud.
K M O H O
Figure 2.13: El triangulo M P H es isosceles.
Proof.
(1) M P O M O0 P =: Inciso 2 del corolario (1.3.5).
(2) OP H HP O0 =:
(3) M P H P HO0
(4) = ( )
(5) = +
Finalmente,
(6) el tri
angulo M P H es isosceles
i.e. MP MH
2.3.5 Crculo de Apolonio

Teorema 2.3.17. El lugar geometrico de los puntos cuyas razones de distancias a dos
puntos fijos es una constante es una circunferencia.
r
Proof. Si los puntos fijos son O y O0 y la razon de distancias es , entonces se trata de la
r0
circunferencia de similitud de c(O, r) y c(O0 , r0 ).
Dicha circunferencia C se conoce como el crculo de Apolonio (asociado a los datos

r
O, O0 y 0 ).
r
Observaci on 2.3.18. En dicha situacion, hay una infinidad de parejas de circunferencias

ri r
{c(O, ri ), c(O0 , (ri )0 )} asociadas al crculo de Apolonio C, con 0
= 0.
(ri ) r
Ejercicios
1. Si dos circunferencias se intersectan, las rectas del punto de interseccion a los centros
de similitud bisectan los
angulos formados por los radios trazados a ese punto.
2. La bisectriz del
angulo en A del triangulo ABC corta a BC en L.
Si C describe una circunferencia cuyo centro es A y B permanece fijo, cual es el lugar
geometrico de los puntos L?
3. La distancia entre los centros de dos circunferencias, cuyos radios son a y b, es c.

Encuentra el centro de la circunferencia de similitud.
4. Dos circunferencias se intersectan en los puntos A y B. Una recta variable por A

intersecta a las circunferencias en P y Q. Si R divide al segmento P Q en una raz
on
dada, demuestra que el lugar geometrico de los puntos R es una circunferencia.
5. Encontrar un punto tal que sus distancias a tres puntos dados tengan razones dadas.
Discutir ampliamente el n
umero de soluciones.
6. Construir un rect
angulo semejante a un rectangulo dado teniendo la suma de un lado
y una diagonal.
7. Dos rectas dadas se intersectan en un punto inaccesible A.

Se requiere: por un punto P trazar la recta P A.
8. Construir un triangulo que es semejante a un triangulo dado y cuyos vertices esten

en tres rectas paralelas dadas.
9. Construir un triangulo teniendo un lado, el angulo opuesto a dicho lado y la razon de

los otros dos lados.
10. Construye un tri

angulo teniendo un angulo, la suma de los dos lados componentes de
dicho
angulo y la suma de otro par de lados.
1. (a) De acuerdo al u
ltimo inciso de la proposicion 2.3.13, Cual es el lugar geometrico
de los puntos E?
(b) Dar otra demostraci
on de la proposicion 2.3.13 sin utilizar una segunda secante
un (KCDC 0 D0 , en la figura 2.9) por el cecntro de similitud K.
com
Chapter 3
Relaciones de concurrencia y de
colinealidad
Hubo una epoca en que el estudio de las configuraciones estaba

considerado como la rama mas importante de toda la geometra
D. Hilbert 1 - S. Cohn-Vossen. 2
Anteriormente nos hemos referido a figuras donde es importante contar con la colinea-
lidad de ciertos puntos o bien con la concurrencia de ciertas rectas. El objetivo principal
de este captulo es, precisamente, presentar algunos criterios sobre tales condiciones como
lo son los teoremas de Ceva, Menelao, Pappus y Desargues.
Como ya hemos visto en el ejemplo (2.3.6), los vertices y el punto mediano de un tri-
angulo, junto con los lados y las medianas de dicho triangulo, contituyen un conjunto de
cuatro puntos y seis rectas tales que:
1. Cada recta contiene a dos de esos puntos y
2. Por cada uno de los puntos pasan tres de las rectas.
As, tenemos que el teorema que da la existencia del punto mediano de un triangulo
completa la existencia de esta configuracion 3 de puntos y rectas.
En general,
Definici
on 3.0.19. Una configuraci
on de puntos y rectas consta de
1
David Hilbert (1862 - 1943).
2
[HCV52], p. 95. Este libro y, en particular, la frase anterior han sido una inspiraci on de muchos
matem aticos para estudiar configuraciones. Sin embargo, la frase citada parece ser una gran exageraci on
pues, si bien durante el periodo 1840-1930 hubo una buena cantidad de matem aticos interesados en el tema,
este no parece haber sido un tema central de investigaci on, a juzgar tanto por la abundancia relativa de las
publicaciones de la epoca como por su influencia tanto dentro como fuera de la geometra.
3
Las configuraciones, en este sentido, son algunas de las estructuras combinatorias mas antiguas que se
conocen. Theodore Reye (1838-1919) acu n
o el termino configuraci on (Konfigurazion), en su libro Die
Geometrie der Lage, vols. I, II y III, Leipzig, 1909.
59
(i) Un n
umero finito v de puntos y
(ii) Un n
umero finito b de rectas tales que
(a) Cada una de las recta contiene a un n

umero fijo k de los puntos y
(b) Por cada uno de los puntos pasan exactamente r de las rectas mencionadas.
Algunas de las notaciones mas usuales para las posibles configuraciones con estos
afli 4 (vk br ) o vk br simplemente.
parametros son el smbolo de Schl
Notamos que los par

ametros mencionados no son independientes sino que satisfacen la
relacion siguiente:
vr = bk. (3.1)
As, dicha relaci

on es una condicion necesaria, aunque no suficiente, para la existencia
de alguna configuraci on de puntos y rectas con los parametros mencionados. De hecho,
puede no haber ninguna, solo alguna o varias configuraciones cuyo juego de parametros v,
b, k y r satisfagan la relaci
on (3.1). El dar respuesta a este tipo de preguntas ha sido, hasta
la fecha, una de las motivaciones principales de la teora de configuraciones.
Tambien de dicha relaci on nos percatamos que v = b si y solamente si k = r. En este
caso, es com un abreviar la notacion mencionada anteriormente a la forma que sigue: (vk ).
La frase que habre este captulo parecera increible hoy en dia, en que la geometra
parece estar en vias de extinci on. Sin embargo, desde un punto de vista algortmico o
computacional, las cosas se ven de forma diferente. Las aplicaciones
3.1 Teoremas de Ceva y Menelao
Teorema 3.1.1 (Ceva). 5 En un tri angulo ABC cualquiera, considerense los puntos L, M
y N en las rectas de los lados BC, AC y AB, respectivamente.
Entonces las rectas AL, BM y CN son concurrentes (o paralelas) si y solamente si
AN BL CM
= 1. (3.2)
N B LC M A
Proof.
4
Este smbolo se atribuye al matem
atico suizo Ludwig Schl
afli (1814 - 1895).
5
Giovanni Ceva (1648-1734).
R
A
S M
N
O
B L
C
Figure 3.1: Si O es un punto ordinario.
(1) Sea l la paralela a la recta BC por el punto A.

(2) Si las rectas mencionadas concurren en un punto ordinario O, digamos.

Sean R := BM l y S := CN l.
AN SA
(3) 4AN S 4BN C = = .
BN CB
CM BC
(4) 4AM R 4CM B = = .
AM RA
BL OL

4BOL 4ROA = =
OA = BL = CL

(5) RA
CL OL RA SA
4COL 4SOA = =
SA OA
AN BL CM SA AR BC
As, = = 1.
N B LC M A BC SA AR
Recprocamente,

Sea O := BM CN y sea L0 := AO BC

Ya que BM , CN y AL0 concurren en O, por la primera parte del teorema, tenemos
que
AN BL0 CM
= 1.
NB L0 C M A
AN BL CM
Por hip
otesis, =1
NB LC M A
BL BL0
y, de ambas ecuaciones, tenemos que = 0
LC LC
es decir, L=L 0
Teorema 3.1.2 (Forma trigonometrica del teorema de Ceva).

Con la nomenclatura del teorema anterior,
Las rectas AL, BM y CN son concurrentes (o paralelas) si y solamente si
senACN senBAL senCBM

=1 (3.3)
senN CB senLAC senM BA
Proof.
Las rectas AL, BM y CN son concurrentes (o paralelas)
AN BL CM
si y solamente si =1 Ecuacion (3.2)
N B LC M A
CAsenACN ABsenBAL BCsenCBM
=1 Teorema (1.4.9)
BCsenN CB CAsenLAC ABsenM BA
=1
Ejercicios
1. (a) Demuestra el teorema de Ceva para el caso en que el punto O no es un punto
ordinario.
(b) Demuestra la forma trigonometrica del teorema de Ceva para el caso en que el
punto O no es un punto ordinario.
(c) Que pasa si el punto O (ordinario o no) esta sobre alguna de las rectas de los
lados del tri
angulo ABC?
2. (a) Demuestra que las bisectrices internas de un triangulo son concurrentes. El punto
de concurrencia es el incentro del triangulo. Dicho punto es el centro del cir-
cuncrculo; crculo tangente interiormente a los lados del triangulo.
(b) Demuestra que una bisectriz interna y dos externas (por distintos vertices) de
un tri angulo son concurrentes. El punto de concurrencia es uno de los tres
excentros del tri angulo. Dichos puntos son los centros de los circuncrculos;
crculos tangentes exteriormente a los lados del triangulo.
3. (a) Sean X, Y y Z los puntos de contacto del incrculo del triangulo ABC con los
lados BC, CA y BA respectivamente.
Demostrar que las rectas AX, BY y CZ son concurrentes. Dicho punto de
concurrencia es el punto de Nagel del triangulo ABC.
(b) Se puede enunciar un resultado similar para el caso de los excrculos del triangulo
ABC?
Definici
on 3.1.3. Un cuadr
angulo completo consta de
1. Cuatro puntos no alineados por ternas.
2. Las seis rectas que ellos determinan por pares.

B
X C
Figure 3.2: El punto de Nagel del triangulo ABC.
Los puntos son los vertices y las rectas son los lados del cuadrangulo completo. Dos
lados son opuestos si no tienen un vertice en com un. Los tres puntos determinados por
las intersecciones de lados opuestos son los puntos diagonales. El triangulo determinado
por los puntos diagonales es el tri
angulo diagonal.
En la figura 3.3, P QR es el triangulo diagonal del cuadrangulo completo ABCD.
B C
R
Q
D
Figure 3.3: Un cuadrangulo completo con su triangulo diagonal.
Por ejemplo, al a
nadir el punto O en el teorema 3.1.1 a los vertices del triangulo ABC
as como las rectas AL, BM y CN a los lados de dicho triangulo, completamos los vertices
y los lados de un cuadril atero completo, lo cual es una configuracion (42 63 ). Esto es,
siempre se puede extender la configuracion (33 ) de un triangulo a una configuracion (42 63 )
utilizando un punto extra casi cualquiera. La u nica condicion sobre dicho punto es que no
se encuentre sobre ninguno de los lados de dicho triangulo.
Intercambiando los terminos recta y punto:

Definici
on 3.1.4. Un cuadril
atero completo consta de
1. Cuatro rectas no concurrentes por ternas.
2. Los seis puntos que ellas determinan por pares.
Las rectas son los lados y los puntos son los v

ertices del cuadrilatero completo. Dos
vertices son opuestos si no est an en un mismo lado. Las tres rectas determinadas por los
pares de vertices opuestos son los lados diagonales. El trilatero determinado por los lados
diagonales es el triangulo diagonal.
Tal como en el caso del cuadr angulo completo, los vertices y lados de un cuadrilatero
completo forman una configuraci on (63 42 ) y recprocamente (como en el caso anterior):
cada configuraci
on (63 42 ) es un cuadrilatero completo.
Con la nomenclatura del teorema de Ceva (3.1.1):
Teorema 3.1.5 (Menelao). 6 Los puntos L, M y N est

an alineados si y solamente si
AN BL CM
= 1 (3.4)
N B LC M A
Proof. Supongamos, primeramente, que los puntos L, M y N estan en una recta l.
1. Si l es la recta al infinito, entonces

AN BL CM
= = = 1
NB LC MA
y de aqu la afirmaci
on.
2. Si l es una recta ordinaria, considerense P , Q y R, los pies de las perpendiculares a l

por A, B y C, respectivamente.
(a) Supongamos que l no es paralela a ninguno de los lados del 4(ABC)
B l
C
L
M
R
P
Q
N
Figure 3.4: La recta l no es paralela a ninguno de los lados del 4(ABC).
6
Menelao de Alejandra, ca. 70-140.
As, tenemos que:
AN AP
4AN P 4BN Q = =
NB QB
CM RC
4CM R 4AM P = =
MA AP
BL QB
4BLQ 4CLR = =
LC CR

AN CM BL AP RC QB
= = 1
N B M A LC QB AP CR
(b) Si l es paralela al lado, digamos BC del triangulo,
AN AM BL
Entonces = y = 1.
NB M C LC

AN BL CM
= 1.
N B LC M A
Recprocamente,
AN CM
1. Si ninguno de los puntos L, M y N es un punto ideal; i.e. las razones , y
NB MA
BL
son todas distintas de 1. En este caso, sea L0 := N M BC.
LC
As, L0 , M y N estan alineados y, por la primera parte del teorema,
AN BL0 CM
= 1.
N B L0 C M A
BL BL0
Entonces = 0 y L = L0 .
LC LC
BL
2. Si = 1, digamos.
LC
AN CM AN AM
Entonces =1 y = ;
NB MA NB MB
i.e. N M k BC
L, M y N est
an alineados.
BL CM
3. Si = = 1, digamos.
LC MA
AN BL CM AN
Entonces = 1 = y terminamos
N B LC M A NB
Observaci
on 3.1.6.
Si revisamos la figura (3.4) en el caso en que la recta l es paralela al lado BC del
BL AN CM
triangulo (i-e. cuando = 1), tenemos que = 1. Por otra parte,
LC NB MA
AN CM CL
en general, se tiene que = . De todo esto podemos concluir que
NB MA LB
CL
es el factor que mide en cuanto se desvia la recta M N de ser paralela al lado
LB
BC del tri
angulo ABC.
Nuevamente, con la nomenclatura del teorema de Ceva:

Teorema 3.1.7 (Forma trigonometrica del teorema de Menelao).
Los puntos L, M y N est
an alineados si y solamente si

= 1. (3.5)
La demostraci
on es completamente analoga a la del teorema (3.1.2).
Con la nomenclatura del teorema de Ceva:

Corolario 3.1.8 (Teorema de divisi
on interna y externa).
0
Sea L := M N BC.
Entonces,
BL BL0
= 0 . (3.6)
LC LC
0
i.e. L y L dividen interna y externamente al segmento BC en la misma razon
Proof.
Siendo concurrentes las rectas AL, BM y CN , por el teorma de Ceva (3.1.1), se tiene
que
AN BL CM
= 1.
N B LC M A
Por otra parte, como L0 , M y N estan alineados, ahora, por el teorema de Menelao
(3.1.5), se tiene que
AN BL0 CM
= 1.
N B L0 C M A
y de ambas ecuaciones tenemos que
BL BL0
= 0 .
LC LC
N
M
B L C L
BL BL0
Figure 3.5: = 0
LC LC
Observaci on 3.1.9. En el captulo que sigue veremos que este teorema da una construcci
on
proyectiva del conjugado armonico de un punto con respecto a otros dos.
Una forma de enunciar el teorema de Pappus 7 (figura 3.6) es la que sigue:
Teorema 3.1.10 (Pappus). Si A, C y E son tres puntos alineados y B, D y F tambien,

entonces los puntos L := AB DE, M := CD F A y N := BC EF tambien est an
alineados
A
E C
L
F
D B M N
Figure 3.6: Los puntos L, M y N , ordinarios o no, deben estar alineados.
Proof. Consideremos el tri

angulo cuyos vertices son los puntos siguientes:
U := EF CD, V := AB EF y W := AB CD.
Aplicando el teorema de Menelao (3.1.5) a dicho triangulo y a las cinco ternas de puntos
alineados siguientes:
7
Este es un enunciado muy similar al original de este teorema (cf. Coxeter, The Pappus configuration
and the self-inscribed Octagon. I Ind. Math. (Proc.) Vol. 80 (4), 1977, p. 257 : ... If points E and Z are
taken on lines AB and Id, and if AA, AZ, BI, BZ, Ed, ET are drawn, then the points of intersection H, K,
M till lie on one line. ... ). Dado que este tiene repercusiones en diferentes areas de la geometra, es com
un
hallar otras formulaciones del mismo. e.g. en el libro Perspectives on Projective Geometry: A Guided Tour
Through Real and Complex Geometry, J urgen Richter-Gebert, Springer 2011, pp. 3-33.
U
A
E C
L
W F
D B M N
Figure 3.7:
LDE, AM F , BCN , ACE y BDF ,
tenemos que
V L WD UE V A WM UF V B WC UN
= 1, = 1, = 1,
LW DU EV AW M U F V BW CU N V
V A WC UE V B WD UF
= 1 y = 1.
AW CU EV BW DU F V
Dividiendo el producto de las primeras tres expreciones entre el producto de las dos
restantes tenemos que
V L WM UN
= 1;
LW M U N V
lo cual es, por el propio teorema (3.1.5), el resultado pedido
Observaci
on 3.1.11. Por que se escogio precisamente la demostracion anterior?
No es demasiado rebuscado aplicar 5 veces el teorema de Menelao?
En todo caso, por que se eligen precisamente esas rectas?
Si analizamos esta demostracion (tomada del libro de Coxeter y Greitzer [CG67] (pgs.
67, 68 y 69)) tenemos que:

6
1. Los seis lados del hex
agono ABCDEF determinan = 15 puntos de intersecciones
2
por parejas: A, B, C, D, E, F , L, M , N y otros seis puntos.
2. Estos u
ltimos seis puntos se separan en dos ternas que forman triangulos. Considere-
mos alguna de tales ternas de puntos; digamos
U := EF CD, V := AB EF y W := AB CD.
3. De las 8 rectas originales (los 6 lados del hexagono mas las rectas ACE y BDF ) tres
son lados del triangulo U V W . Ninguna de las otras cinco pasa por ninguno de los
vertices de dicho tri
angulo. Es decir, son transversales a (los lados de) dicho triangulo.
Es decir, al fijar el tri
angulo U V W (de dos formas posibles), la eleccion de dichas
rectas es la u
nica posible.
4. Es precisamente a dichas rectas (todas ellas) que se aplica el teorema de Menelao.
Al haber considerado el hexagono ABCDEF en la observacion anterior, tenemos que

otra forma de enunciar dicho teorema es relacionandolo con el teorema que sigue:
Teorema 3.1.12 (Pascal 8 ). Si un hex agono est

a inscrito en una c
onica, entonces las
intersecciones de pares de lados opuestos est
an en una recta.
Consideremos a los puntos A, B, C, D, E y F como les vertices consecutivos de un

hexagono. La hip otesis del teorema es que dichos vertices esten, alternadamente, sobre dos
rectas. La conclusion del teorema es que las intersecciones de los tres pares de lados opuestos
de dicho hex agono (i.e. los puntos L, M y N ) tambien estan alineados. La relacion con
el teorema de Pascal (3.1.12) se da al considerar al par de rectas ACE y BDF como una
conica singular, especializando as el teorema de Pascal para dicho tipo de conicas.
Podemos llamar a la recta LM N del teorema (3.1.10) la recta de Pappus del hexagono
ABCDEF 9 Dicha recta, conjuntamente con los elementos (rectas y puntos) que se mane-
jan en las hip
otesis de dicho teorema constituyen una configuracion llamada configuraci on
de Pappus. Dicha configuraci on es de tipo (93 ); es decir,
(a) Consta de 9 puntos y 9 rectas.
(b) Por cada uno de los puntos pasan 3 de las rectas y cada recta contiene a 3 de los puntos.
Ejercicios
1. Demuestra, utilizando el Teorema de Ceva o el de Menelao que, en cualquier triangulo,
las alturas son concurrentes.
2. Pueden ser colineales los puntos diagonales de un cuadrangulo completo?
3. Los seis centros de similitud de tres circunferencias, tomadas por parejas, estan por
ternas en cuatro lneas rectas.
4. Dadas dos rectas paralelas y el segmento AB en una de ellas, encuentra el punto

medio de AB, usando unicamente regla.
8
Blaise Pascal (1623-1662) Hay una buena discusi on sobre este teorema en la p agina
http://www.mathpages.com/home/kmath543/kmath543.htm
9
Tal y como ya habamos considerado con los cuadrilateros, podemos unir alternadamente los puntos
A, B, C, D, E y F de 6 maneras distintas por lo que tendramos 6 hex
agonos distintos y, consecuentemente,
6 rectas de Pappus distintas asociadas al mismo conjunto de puntos mencionado.
5. Supongamos que las transversales P QR y P 0 Q0 R0 cortan a los lados BC, CA y AB,

respectivamente. Sean X := BC QR0 , Y := CA RP 0 y Z := AB P Q0 . Entonces
los puntos X, Y y Z est
an alineados.
6. (L. Euler, 1812) Si las cevianas AL, BM y CN concurren en el punto O (ver la figura
3.8),
N M
O
B L
C
Figure 3.8:
demuestra que
OL OM ON
+ + = 1.
AL BM CN
7. Si P es el punto medio del lado BC del triangulo ABC y Q y R son puntos cualesquiera
en AC y AB de tal forma que BQ y CR se cortan en AP , entonces QR es paralelo a
BC.
8. Si una circunferencia corta a los lados BC, CA y AB del triangulo ABC en los puntos
P , P 0 ; Q, Q0 ; R, R0 , respectivamente, y si AP , BQ y CR son concurrentes, entonces
AP 0 , BQ0 y CR0 tambien son concurrentes.
9. Sea L, M y N los puntos medios de los lados BC, CA y AB del triangulo ABC, y
sean D, E y F tres puntos cualesquiera en estos lados para los cuales AD, BE y CF
son concurrentes. Si P , Q, R son los puntos medios de AD, BE, CF respectivamente,
demostrar que P L, QM , RN son concurrentes.
10. Si en el ejercicio anterior, X, Y , Z son los puntos medios de EF , F D, DE respec-

tivamente, demostrar que AX, BY , CZ son concurrentes; y tambien que LX, M Y ,
N Z son concurrentes.
3.2 Tri
angulos en perspectiva
Definici
on 3.2.1. Dos figuras est
an en (posici on) perspectiva si las rectas que unen
puntos correspondientes de ambas figuras son concurrentes.
Se llama centro de perspectiva al punto donde concurren dichas rectas.
Ejemplo 3.2.2. Figuras homoteticas estan en perspectiva.

La afirmaci
on recproca no es cierta en general.
Pregunta 3.2.3. Ser

an homoteticas las figuras semejantes y en perspectiva?
Teorema 3.2.4 (Desargues). Dos tri angulos est

an en perspectiva si y solamente si las
intersecciones de los pares de lados correspondientes est
an alineadas.
Se llama eje de perspectiva de esta figura a la recta de dichos puntos de intersecci

on.
O
A
B
C
P R Q
C0
B0
A0
Figure 3.9: Figura del teorema de Desargues
Es interesante mencionar, por razones que se veran mas adelante, que en la demostraci
on
que sigue (la cual tambien ha sido tomada del libro [CG67] (pg. 71)) que no se requiere de
la consideraci
on de ningun punto ni recta auxiliares (en dicha demostracion).
Proof. Sean ABC y A0 B 0 C 0 dos triangulos en perspectiva desde un punto O, digamos.

Sean P := AB A0 B 0 , Q := BC B 0 C 0 y R := CA C 0 A0 .
Ya que la recta B 0 A0 P es transversal al 4ABO tenemos que
AP BB 0 OA0
= 1.
P B B 0 O A0 A
alogamente, la recta B 0 C 0 Q es transversal al 4CBO
An
CQ BB 0 OC 0
= 1.
QB B 0 O C 0 C
Finalmente, la recta A0 C 0 R es transversal al 4ACO
AR CC 0 OA0
= 1.
RC C 0 O A0 A
As, de las tres ecuaciones anteriores tenemos que
AP BQ CR
= 1.
P B QC RA
Recprocamente:
Si los puntos P , Q y R estan alineados entonces los triangulos AA0 R y BB 0 Q estan en
perspectiva desde P .
Las intersecciones de lados correspondientes son O := AA0 BB 0 , C y C 0 .
Por la primera parte del teorema, dichos puntos estan alineados.
i.e., la recta CC 0 pasa por el punto O
As, el teorema de Desargues nos dice que dos triangulos:
tienen algun centro de perspectiva

si y solamente si
tienen algun eje de perspectiva.
Tal como en el caso del teorema (3.1.10), es costumbre llamar al eje de perspectiva
(i.e. la recta P QR) del teorema (3.2.4) la recta de Desargues de dicha figura. Dicha
recta, conjuntamente con los elementos (rectas y puntos) que se manejan en las hipotesis
de dicho teorema constituyen una configuracion llamada configuraci on de Desargues.
Dicha configuracion es de tipo (103 ).
Tal y como habiamos mencionado, la demostracion que hemos visto no emplea ning un
elemento (punto o recta) adicional (a diferencia del caso del teorema de Pappus). Es decir, la
configuracion de Desargues tambien incluye a los elementos necesarios para la demostracion
de que la construcci
on de dicha configuracion, a partir de los dos triangulo en perspectiva,
es correcta.
1. Considerese la argumentaci
on alternativa que sigue para el teorema de Menelao:
Si los puntos L, M y N est
an en una recta l (ver la figura (3.10),
sea l0 la recta paralela a l que pasa por el punto C.
CM WN BL BN
Entonces tenemos que = y que = .
MA NA LC NW
AN BL CM
As, = 1.
N B LC M A
Es correcto?
2. En la configuraci
on de Pappus (vease la figura (3.6)):
(a) Tri
angulos de Graves.
l0
B C l
W L
M
N
Figure 3.10: Demostracion alternativa del teorema de Menelao.
i. Hallar (de seis formas distintas) un ciclo de tres triangulos (e.g. ACB, DFM,
NLE), cada uno inscrito en el siguiente 10 .
Es por esto que se les llama los seis ciclos de triangulos o los 18 triangulos
de Graves.
ii. es verdad que dos triangulos de un mismo ciclo de Graves estan en (triple)
perspectiva desde los vertices del tercer triangulo del mismo ciclo? 11
(b) i. Los puntos A, B, C, D, E y F se pueden tomar alternadamente de 6
maneras distintas por lo que hay 6 hexagonos distintos y, consecuentemente,
6 rectas de Pappus distintas asociadas al mismo conjunto de puntos men-
cionado.
ii. (Steiner) Las 6 rectas de Pappus concurren por ternas en dos nuevos puntos
(llamados puntos de Steiner).
3. Hay otras configuraciones de tipo (93 ) ?
4. En la configuraci
on de Desargues:
(a) Para cada uno de sus puntos, digamos L, los 3 puntos no colineales con el est
an
en una recta, digamos l, de la configuracion.
(b) Se puede reconstruir dicha configuracion a partir del punto L como centro de
perspectiva y la recta l como eje de perspectiva?
(c) Dar una notacion para los elementos de esta configuracion que refleje la propiedad
del inciso anterior.
5. Sean A = 4(A1 A2 A3 ), B = 4(B1 B2 B3 ) y C = 4(C1 C2 C3 ) tres triangulos tales que

U V
A Z B y A Z C (hip
otesis originales).
10
J.T. Graves, On the functional symmetry exhibited in the notation of certain geometrical porisms, when
they are stated merely with reference to arrangements of points. Philos. Msg. (3) 15, 129-136 (1839).
11
Sahib Ram Mandan: If a cycle of three triangles has the property that each triangle is inscribed in the
next, and the further property that two of the triangles are perspeciive, then each of these two is perspective
with the third triangle, and the axis of perspective for each pair of triangles passes through the centre of
perspective for the next pair.
(a) B Z C?
W
(b) Si (hip
otesis adicional 1) B Z C, entonces
estan alineados los puntos U , V y W ?
Sean 1 = 4(A1 B1 C1 ), 2 = 4(A2 B2 C2 ) y 3 = 4(A3 B3 C3 ).
(c) (a) cuales de estos tri
angulos estan en perspectiva ante las hipotesis originales?
(b) cuales incluyendo la hipotesis adicional 1?
(c) cuales incluyendo la hipotesis adicional 2: U , V y W est an alineados?
P Q R
Sean 1 Z 2, 1 Z 3 y 2 Z 3.
(d) Demostrar que U , V y W estan alineados si y solo si P , Q y R lo estan.
En el caso afirmativo (ver la figura (3.11)), se trata de una configuracion (154 203 ).
P U
Q
R
B1
A1
C1
B2
A2 C2
B3
V
A3 C3 W
Figure 3.11: U , V y W estan alineados si y solo si P , Q y R lo estan.
(e) Identificar los ejes de perspectiva en cada uno de los incisos anteriores.
Ver cuantos y cuales de ellos son concurrentes.
Al irlos incorporando a la configuracion (154 203 ) anterior
que tipo de configuraciones se van obteniendo?
6. (Atribuible a Raoul Bricard 12 )
12
Raoul Bricard (1870 - 1944) Ingeniero y matematico frances. Recibi
o el premio Poncelet (Academia de
ciencias de Paris), en 1932, por su trabajo en geometra. Entre sus trabajos hay algo muy importante en
el area de los ahora llamados poliedros flexibles (Memoire sur la theorie de loctaèdre articule, J. Math.
Pures Appl., Vol. 3 (1897), 113 - 150). El teorema de este ejercicio se considera atribuible a Bricard por las
tecnicas y el estilo que el utilisaba.
(a) Sean ABC y A0 B 0 C 0 dos triangulos. Demostrar que, entonces,

Los puntos AA0 B 0 C 0 , A0 B 0 CC 0 y B estan alineados si y solamente si las rectas
A0 C 0 , (AB A0 B 0 )C y (BC B 0 C 0 )A son concurrentes (ver la figura (3.12)).
A B
C
C A
Figure 3.12: Teorema atribuible a R. Bricard.
(b) Eso es equivalente a lo que sigue?

Sean ABC y A0 B 0 C 0 dos triangulos; entonces,
Las rectas AA0 , BB 0 y CC 0 intersectan los lados B 0 C 0 , A0 C 0 y A0 B 0 , respec-
tivamente, en puntos colineales si y solo si las rectas que unen a los puntos
BC B 0 C 0 , AC A0 C 0 y AB A0 B 0 con los vertices A, B y C, respectivamente,
son concurrentes.
(c) Hallar en la figura (3.12) 10 de los puntos que ya se han mencionado y 10 rectas,
igualmente, ya mencionadas, que constituyan una configuracion (103 ). Se trata
de una configuracion de Desargues?
Se puede hacer esto de manera u nica?
7. (J. Bokowski, comunicaci

on personal 2011)
(a) Sean 1, 2, 3 y 4 los vertices de un cuadrangulo completo.

(b) Sean 5 := 13 24, 6 := 14 23 y 7 := 12 34 los vertices de su triangulo diagonal.
(c) Sean 8 := 34 56 y 9 := 28 67.
(d) Sea 10 := 12 39.
(e) Sean 11 := (10)5 14 y 12 := (10)5 23.
(f) Sea 13 := 13 7(11).
Entonces (ver la figura (3.13)), los puntos 9, 12 y 13 estan alineados.
8. La configuraci
on de Reye. De acuerdo a la construccion que sigue:
9
6 5
2
10 1 7
12 11
4
13
8
Figure 3.13: Los puntos 9, 12 y 13 estan alineados.
Construcci
on 3.2.5.
Sean A, B, C y Z cuatro puntos en posicion general.
Sean M AZ, N BZ y O CZ otros tres puntos en posicion general.

W := AN BM,

X := AO CM,
Sean

Y := BO CN y

L := BX CW.
Demostrar que
(a) Los puntos A, L y Y est

an alineados.
(b) Las rectas LZ, M Y , N X y OW concurren en un punto D, digamos.
(c) La colecci
on de todos estos elementos (ver la figura (3.15)) constituyen una con-
figuraci
on de tipo (123 164 ).
(d) Se puede dar alguna notacion muy simetrica para los elementos de esta confi-
guraci
on?
9. Sea ABC un tri

angulo y sean AD, BE y CF tres cevianas concurrentes en un punto
G, digamos.
Sea H un punto generico (el cual depende de un parametro ) sobre la recta AC
(vease la figura (3.16)).
Sean I := (BH ) (F E) y J := (H G) (F E).
Sean K := (AI) (JH ) y L := (AJ) (IG).
Entonces:
A A
C C
X X
Y Y
L L O
O
M M
W W
B B
Z N Z
N D
Figure 3.14: Los pasos (a) y (b) de la construccion (3.2.5).
Figure 3.15: La configuracion de Reye.
(a) Los puntos K, D y L estan alineados.

(b) Bajo que condici
on (sobre ) los puntos K y L estaran sobre la recta BC?
(c) Bajo tal condici on, dicha figura contiene 9 puntos los cuales forman una confi-
guraci
on (93 ) la cual no es isomorfa a la configuracion de Pappus.
H
F I
J
E
G
L
C
B D
K
Figure 3.16: Los puntos K, D y L estan alineados.

Chapter 4
Relaciones arm
onicas
4.1 Divisi
on arm
onica
Definici
on 4.1.1. Sean A, B, C y D puntos alineados. El segmento AB esta dividido (o
separado) arm
onicamente por los puntos C y D si
AC AD
= (4.1)
CB DB
i.e. si C y D dividen interna y externamente al segmento AB en la misma razon.
Ejemplo 4.1.2.
1. Los centros de similitud de dos circunferencias dividen armonicamente al segmento de

los centros de dichas circunferencias.
2. Sean l y l0 las bisectrices interna y externa del angulo en A de un 4ABC y sean

L y L0 los puntos en que estas rectas cortan, respectivamente, al lado BC de dicho
angulo. Entonces L y L0 dividen armonicamente al segmento BC.
tri
Proof.
BAL0 = BAL /2
L0 AC = BAL /2
BAL0 L0 AC = 0 mod
senBAL0 = senL0 AC
senBAL0
i.e. = 1
senL0 AC
Observaci
on 4.1.3.
79
AC AD CA CB
1. = = .
CB DB AD BD
es decir, la separaci
on arm
onica es una relacion simetrica (recproca) entre las parejas
de puntos A, B y C, D.
En tal caso se dice que A, B, C y D es una hilera armonica de puntos, que los dos
pares A, B y C, D son pares de puntos conjugados (armonicos) o bien que dichos
cuatro puntos son armonicos.
2. Si dos de cuatro puntos arm

onicos coinciden un tercero coincide con ellos.
Problema 4.1.4. Construir el conjugado armonico de un punto dado respecto de otros dos
puntos tambien dados.
Digamos que se quiere construir el conjugado armonico D de un punto dado C respecto

de otros dos puntos A y B tambien dados.
El algoritmo que sigue resuelve el problema:
Algoritmo 4.1.5.
1. Sean lA una recta por A y lB una recta paralela a la alterior por B.
2. Sea m una recta transversal a las anteriores por C.
3. Sean P := m lA y Q := m lB .
4. Sea R el punto simetrico de Q respecto de B.
5. Entonces D := P R AB.
lA lB
m R
A C B D
Q
Figure 4.1:
Proof.
1. 4AP C 4BQC pues tienen sus lados correspondientes paralelos.

AC AP
2. = .
CB QB
3. 4AP D 4BRD pues tienen sus lados AP y BR paralelos y el angulo en D en

com
un.
AD AP
4. = .
DB BR
5. QB BR por hip
otesis.
AC AD
6. =
CB DB
Observaci
on 4.1.6. Del an
alisis del algoritmo anterior se sigue que:
1. Si tres puntos est

an alineados el conjugado armonico de cualquiera de ellos con res-
pecto a los demas siempre existe y es u
nico.
2. Si AC = CB, entonces D = .
Propiedades 4.1.7.
1. Si una hilera (ordenada) de puntos es arm

onica, entonces las otras siete hileras (or-
denadas) que se obtienen al permutar los puntos, respetando los pares conjugados,
tambien son armonicas.
2. Si A, B, C y D son arm
onicos, los segmentos AC, AB y AD est
an en progresi
on
armonica; .e.
1 1 2
+ =
AC AD AB
y recprocamente.
3. Si O es el punto medio del segmento AB y los puntos A, B, C y D son arm

onicos,
entonces
OC OD = OB 2
y recprocamente.
Es decir, los segmento OC, OB y OD est
an en progresi
on geometrica.
Proof.
1. Esto se verifica, en cada caso, directamente de una manipulacion adecuada de la

ecuaci
on (4.1).
2.
AC AD CB BD
= =
CB DB (AB)AC AD(AB)
AB AC AD AB
=
AB AC AB AD
1 1 1 1
=
AC AB AB AD
1 1 2
+ =
AC AD AB
Es decir, en esta relaci

on de segmentos AB es la media armonica de AC y AB.
3.
AC AD AO + OC AO + OD
= =
CB DB CO + OB OD + BO
OB + OC OB + OD
=
CO + OB OD + BO
(OB + OC)(OD + BO) = (OB + OD)(CO + OB)
2 OC OD = 2 OB 2
OB 2 = OD OC
Observamos que, si A, B; C, D es una hilera armonica de puntos y O es cualquier punto

fuera de la recta por A, B, C y D, entonces, por el teorema generalizado de la bisectrz,
tenemos que
senAOC senAOD
= .
senCOB senDOB
Con esto, se ocurre definir
Definici
on 4.1.8. Un haz de rectas OA, OB, OC y OD es armonico si
senAOC senAOD
= .
senCOB senDOB
Observaci
on 4.1.9. Tal como en el caso de hileras de puntos, tenemos que
1. La separaci
on arm
onica de haces de rectas es una relacion simetrica (recproca).
Esto por la observaci
on 4.1.3.
2. Si tres rectas son concurrentes la conjugada armonica de cualquiera de ellas con res-
pecto a las dem as siempre existe y es u
nica.
Esto por el problema 4.1.4.
3. Si OC es bisectrz del AOB entonces OD es la otra bisectrz del mismo angulo.
Esto por la observaci
on 4.1.6.
4.2 Transversal de un haz arm

onico
Definicion 4.2.1. Una transversal de un haz es cualquier recta que no pase por el vertice
del haz.
Teorema 4.2.2. Las rectas de un haz arm
onico cortan a cualquier transversal en una hilera
arm
onica e inversamente.
Proof. En la figura (4.2),
senAOC senAOD OA senAOC OA senAOD

= =
senCOB senDOB BO senCOB BO DOB
AC AD
=
CB DB
A C B D
Figure 4.2:
Corolario 4.2.3. Si una transversal corta a las rectas de un haz en una hilera arm onica,
entonces cualquier otra transversal tambien corta a las rectas de dicho haz en una hilera
armonica.
4.3 Hileras arm

onicas en perspectiva
onicas A, B, C, D y A, B 0 , C 0 , D0 est
Teorema 4.3.1. Si las hileras arm an en rectas
distintas entonces:
1. las rectas BB 0 , CC 0 y DD0 son concurrentes y
2. las rectas BB 0 , C 0 D y CD0 tambien son concurrentes.
Proof.
1.- Sean O := BB 0 CC 0 y D00 := OD AB 0 .
Entonces, por el corolario 4.2.3, la hilera A, B 0 , C 0 , D00 es armonica y, por la unicidad
del cuarto armonico (Obs. 4.1.6), D00 = D0 .
2.- Ya que la hilera A, B 0 , C 0 , D0 es armonica, tambien A, B 0 , D0 , C 0 lo es, por la

propiedad 4.1.7.
De aqu, procedemos como en el caso anterior.
D
B
C
O
A C B D
Figure 4.3:
4.4 Rectas conjugadas perpendiculares
Teorema 4.4.1. Si en un haz arm onico de rectas diferentes un par de rectas es perpendi-
cular, entonces estas rectas bisecan los a
ngulos formados por las otras dos y recprocamente.
Proof. De acuerdo a la figura (4.4),
A00
O D
A0 C0 B0 l
A C B
Figure 4.4:
(1) Sea O(ABCD) un haz armonico con OC OD. Hipotesis.

(2) Sea l k OD tal que O / l. Hipotesis.

0
A = l OA,

(3) Sean B 0 = l OB y Hipotesis.

0
C = l OC.
(4) La hilera {A0 , B 0 ; C 0 , } es armonica Por (1).
(5) A0 C 0 C 0 B 0 Por (4).
(6) OC 0 l Por (1) y (2)
(7) AOC BOC Ax. III.5 en (5) y (6).
(8) BOD A00 OD De (7).
Recprocamente
(se trata, nuevamente, del ejemplo 4.1.2, inciso 2):
(1) Sean OC y OD las bisectrices del AOB.

(2) senAOC = senCOB AOC = COD
(3) senAOD = senDOA00 AOD + DOA00 =
(4) = senBOD DOA00 = BOD
(5) O(ABCD) es un haz armonico De (2), (3) y (4)
4.5 Curvas ortogonales

Definicion 4.5.1. El
angulo de interseccion de dos curvas en un punto es el angulo formado
por las tangentes respectivas en dicho punto
Recordemos:
1. Si dos circunferencias se intersecan los angulos de interseccion en sus puntos comunes

son iguales.
2. Si dos circunferencias son ortogonales, una tangente a una de ellas en un punto de

intersecci
on pasa por el centro de la otra.
Si el radio de una de las circunferencias trazado a un punto com
un es tangente a la
otra, las circunferencias son ortogonales.
3. El cuadrado de la distancia entre los centros de dos circunferencias ortogonales es

igual a la suma de los cuadrados de sus radios.
La primera de estas propiedades se puede ver considerando que la figura es simetrica

respecto a la linea de los centros.
Figure 4.5:
Las dos restantes se apoyan en el hecho de que la tangente a una circunferencia es

ortogonal al radio trazado al punto de tangencia.
Teorema 4.5.2. Una circunferencia con di ametro AB es ortogonal a cualquier circunfe-

rencia que pase por C y D, un par de conjugados arm
onicos de A y B y recprocamente.
P
D
C B
O
A
Figure 4.6:
Proof. En la figura 4.6, AB es un di ametro y OP es el radio de la circunferencia de diametro

AB trazado a P , uno de los puntos de interseccion de ambas circunferencias.
Ya que OB 2 = OC OD, por la propiedad (4.1.7, (3)), tenemos que OP 2 = OC OD y
de aqu que, con la observaci
on (2.1.8), el radio OP sea tangente a la segunda circunferencia.
Ejercicios
1. La bisectriz del angulo en A del triangulo ABC corta al lado opuesto en P . Q y R
son los pies de las perpendiculares desde B y C sobre AP . Demuestra que los cuatro
puntos A, P , Q, R son armonicos.
2. O es un punto cualquiera de la altura AD del triangulo ABC. BO y CO intersctan a

AC y AB en E y F respectivamente. Prueba que el angulo EDF esta bisectado por
DA.
3. A, B, C, D son cuatro puntos en una lnea recta. Encuentra dos puntos que sean
conjugados armonicos con respecto a A y B as como con respecto a C y D. Elabora
una discusi
on completa de los casos.
4. P y Q son los centros de dos circunferencias que tienen tangentes exteriores comunes
que se intersectan en R y tangentes interiores comunes que se intersctan en S. Demues-
tra que existen circunferencias con centros R y S cuyas tangentes comunes exteriores
se intersectan en P y cuyas tangentes comunes interiores se intersectan en Q.
5. Las tangentes a una circunferencia en P y Q se intersectan en A y la recta de diametro

BC pasa por A. Demuestra que A y Q estan separados armonicamente por los puntos
en los cuales su recta es intersectada por P B y P C.
4.6 Cuadr
angulos y cuadril
ateros completos
Recordemos que un cuadr angulo completo consta de
(
Cuatro puntos no alineados por ternas.
Las seis rectas que ellos determinan por pares.
Los puntos son los vertices y las rectas son los lados del cuadrangulo completo.
Dos lados son extbfopuestos si no tienen un vertice en comun.
Los tres puntos determinados por las intersecciones de lados opuestos son los puntos
diagonales.
El tri
angulo determinado por los puntos diagonales es el triangulo diagonal.
Analogamente, intercambiando los terminos recta y punto:
Un cuadril atero completo consta de
(
Cuatro rectas no concurrentes por ternas.
Los seis puntos que ellas determinan por pares.
Las rectas son los lados y los puntos son los vertices del cuadrilatero completo.
Dos vertices son opuestos si no estan en un mismo lado.
Las tres rectas determinadas por los pares de vertices opuestos son los lados diago-
nales.
El tril
atero determinado por los lados diagonales es el tri
angulo diagonal.
Teorema 4.6.1. En cada diagonal de un cuadril atero completo: La hilera determinada por
los dos vertices en ella y los puntos en los cuales la intersectan las otras dos es arm
onica.
Proof. En la figura 4.7 :
R
D
Q
B
E C
P
F
A
Figure 4.7:
Construyendo el conjugado arm onico del punto Q respecto de B y D: En el triangulo

ABD, ya que las rectas AQ, BE y DF concurren en el punto C y, tambien las rectas F E
y BD concurren en R, los puntos Q y R son conjugados armonicos respecto a B y D.
De manera dual:
Teorema 4.6.2. En cada punto diagonal de un cuadr angulo completo: El haz determinado
por los dos lados que determinan a dicho punto y las rectas con las cuales se une a los otros
dos puntos diagonales es arm onico.
Problema 4.6.3. Construir un cuadrangulo completo que tenga el mismo triangulo dia-
gonal que un cuadril
atero completo dado.
Proof.
En la figura 4.8:
Tenemos el cuadril atero completo cuyos lados son ABC, AEF , BDE y CDF .
Consideremos alguno de los vertices, digamos X, y su lado opuesto, Y Z en este caso,
del triangulo diagonal de dicho cuadrilatero.
De acuerdo al teorema 4.6.1, sobre dicho lado tenemos la hilera armonica
{C, E; Z, Y } (4.2)
1. La hilera {C 0 , E; A, F } est
a en perspectiva desde X con la anterior.
Dicha hilera est
a en uno de los lados del cuadrilatero dado.
De acuerdo al corolario 4.2.3, las rectas CC 0 , ZF y Y A concurren en un cierto punto
P.
Z
R
D F
E
C C X
Q C
P
B
E
A
S
Y
Figure 4.8:
2. Analogamente, las hileras (estando una de ellas en cada lado del cuadrilatero dado)
{C 00 , E; B, D}, {C, E 0 ; B, A} y {C 0 , E 00 ; F , D} estan en perspectiva con la hilera
(4.2) y, por lo tanto, las ternas de rectas CC 00 , ZB, Y D; EE 00 , ZF , Y D y EE 0 , ZB,
Y A concurren en puntos Q, R y S, respectivamente.
As, el cuadr
angulo completo con vertices P , Q, R y S resuelve el problema.
Ejercicios
1. Construye un cuadril
atero completo que tenga un triangulo diagonal dado. Se puede
dibujar m
as de uno de estos cuadrilateros?
2. Pueden ser colineales los puntos diagonales de un cuadrangulo completo?
3. Demuestra que los puntos medios de las diagonales de un cuadrilatero completo son
colineales.
Sugerencia. En la Figura (3): P , R y Q son los puntos medios de las diagonales
AB, CD y EF , respectivamente. Sean L, M y N los puntos medios de los lados del
triangulo CEB. Demuestra que M , N y P son colineales, as como M , L, Q y N , L,
R.
B
M
N
P E
L
C
R
Q
A
F
D
MP EA
Demuestra que = , etcetera, y usa que A, F y D son puntos colineales del
PN AC
triangulo ECB. Usa el Teorema de Menelao.
4. Si dos cuadrangulos completos estan en tal forma que los puntos de interseccion de
cinco pares de lados correspondientes estan en una recta, entonces el punto en el cual
el sexto par de lados se intersecta, tambien esta en esa recta y las cuatro rectas que
unen vertices correspondientes son concurrentes.
5. Cada uno de los tri

angulos cuyos lados son tres de las cuatro rectas de un cuadrilatero
completo est
a en perspectiva con el triangulo diagonal del cuadrilatero.
6. Los vertices de un cuadrangulo completo son los tres vertices de un triangulo y el

punto de intersecci
on de sus medianas. Construye su triangulo diagonal. Tambien
construye un cuadrilatero completo que tenga el mismo triangulo diagonal.
Chapter 5
La circunferencia de los nueve

puntos y la recta de Simson
5.1 Grupos ortoc

entricos
En esta secci
on agruparemos varios hechos relacionados con el incentro y los excentros de
un tri
angulo dado.
Notaci
on 5.1.1.
1. A, B, C son los vertices del triangulo.
2. a, b y c son las longitudes de los lados. BC, CA, y AB, respectivamente.
3. D, E, F son los pies de las alturas.
4. L, M, N son los puntos medios de los lados BC, CA, y AB, respectivamente.
Recordemos 1 que, en un triangulo cualquiera:
1. El circuncentro O es el punto de interseccion de las mediatrices de los lados del tri-

angulo. Es el centro de la circunferencia circunscrita o circuncrculo.

2. El incentro I es el punto de interseccion de las bisectrices de los angulo interiores del

tri
angulo. Es el centro de la circunferencia inscrita o incrculo. r denota al radio de
dicha circunferencia.
3. Los excentros I1 , I2 e I3 son los puntos de interseccion de la bisectriz de un angulo

interior y las bisectrices de los angulos exteriores de los otros dos vertices. Son los
centros de las circunferencias circunscritas o excrculos. r1 , r2 y r3 son los radios de
dichas circunferencias, respectivamente.
1
En el sitio web ETC (Encyclopedia of Triangle Centers)
faculty.evansville.edu/ck6/encyclopedia/ETC.html hay una recolecci on de 10014 entradas (Last update:
12/28/2016 08:29:32) respecto de los puntos notables asociados a un tri
angulo.
93
4. El ortocentro H es el punto de interseccion de las alturas.

El tri
angulo pedal. Sus vertices son los pies de las alturas.
5. El centro de gravedad, centroide o punto mediano G es el punto de interseccion de las

medianas.
El tri
angulo medial (o mediano). Sus vertices son los puntos medios de los lados.
Teorema 5.1.2.
1. Cada lado de un triangulo es, con respecto a los otros dos lados, antiparalela a aquel
lado del tri
angulo pedal cuyos extremos est
an en estos dos lados.
2. Las alturas de un tri

angulo son las bisectrices de los
angulos interiores del tri
angulo
pedal.
B D C
Figure 5.1:
Proof. En la figura 5.1,

La circunferencia de di
ametro AB pasa por D y E. As, AB y DE son antiparalelas
con respecto a AC y BC.
Tambien
1. Por lo tanto EDA EBA.
2. Analogamente, ADF ACF .
3. EBA ACF . pues 4AEB 4AF C.
4. Por lo tanto, DA es la bisectriz del EDF .
Es decir, el ortocentro del tri

angulo ABC es el incentro del triangulo DEF . As, los
excentros del tri
angulo DEF son los vertices del triangulo ABC.
Teorema 5.1.3. El area de un tri angulo es el producto del semipermetro y el radio del
crculo inscrito; tambien es el producto del semipermetro disminuido en un lado y el radio
del excrculo correspondiente.
Proof. Si r1 es el radio del excrculo correspondiente al lado BC, tenemos que
1

(IBC) = ar

2
1

(ICA) = br

2
1

(IAB) = cr

2
As,
1
(ABC) = r (a + b + c) = r s.
2
An
alogamente,
1
(ABC) = r1 (b + c a) = r1 (s a).
2
Corolario 5.1.4.
1 1 1 1
= + +
r r1 r2 r3
El cuadrangulo completo determinado por el incentro y los excentros de un triangulo
dado es tal que
Propiedad 5.1.5. Cada uno de sus vertices es el ortocentro del triangulo formado por los
otros tres.
Por esto se le llama (ver la figura 5.2) el cuadr

angulo ortocentrico del triangulo.
En general,
Definici on 5.1.6. Un conjunto de puntos con la propiedad 5.1.5 es un grupo ortocentrico

de puntos y los cuatro triangulos que determinan tomando tres puntos a la vez es un grupo
ortocentrico de tri
angulos.
Observaci on 5.1.7. El tri

angulo dado es el triangulo pedal de cada uno de los cuatro
triangulos de su grupo ortocentrico de triangulos; es decir,
Los tri
angulos de un grupo ortocentrico tienen el mismo tri
angulo pedal.
Teorema 5.1.8. El punto medio de un lado de un tri angulo es tambien el punto medio
del segmento determinado por los puntos de contacto de dicho lado con la circunferencia
inscrita y la correspondiente excrita.
I3
B I2
I
I1
Figure 5.2: Los puntos I, I1 , I2 e I3 forman el cuadrangulo ortocentrico del 4(ABC).
A
M
Y
N I C
L X1
Z Y1
B X
I1
Z1
Figure 5.3:
Proof. Sean X, Y y Z los pies de las perpendiculares desde I a los lados del triangulo ABC
y sean X1 , Y1 y Z1 los pies de las perpendiculares desde I1 a los lados de dicho triangulo.
Probaremos que BX1 XC (ver la Figura 5.3). De hecho, veremos que cada una de
ambas cantidades es igual a s c.
Primeramente, ya que AZ1 Y1 A, BZ1 BX1 y X1 C Y1 C,
tenemos que AB + BX1 = X1 C + CA = s
y de aqu que BX1 = s c.
Por otra parte; n
otese que, tambien, AB + XC = s. Entonces tambien tenemos que
XC = s c
Ejercicios
1. En un triangulo cualquiera, el producto de los dos segmentos en que el ortocentro
divide a la altura es el mismo para las tres alturas.
p
2. (a) Demostrar la F ormula de Her on 2 : (ABC) = s(s a)(s b)(s c).
r
s(s a)(s b)(s c)
Es decir, r = .
s
r
s(s b)(s c)
(b) Analogamente, demostrar que ra = .
sa
(c) Observar que, a partir de estas formulas, se tiene que
i. Los excrculos siempre son mayores que el incrculo.
ii. El excrculo mayor es tangente al lado mayor y el excrculo menor es tangente
al lado menor.
3. ra rb rc = r s2
4. ra + rb + rc = 4R + r
Sugerencia.
s3 + (ab + bc + ca) s
(a) ra + rb + rc = .
(ABC)
(b) (s a)(s b)(s c) = s3 + (ab + bc + ca) s.
5. En la figura (5.3), Y C ZZ1 BC.
5.2 La circunferencia de los nueve puntos

Teorema 5.2.1. Los puntos medios de los lados, los pies de las alturas y los puntos medios
de los segmentos que unen los vertices al ortocentro de un tri
angulo cualquiera est
an en una
circunferencia.

Esta es la circunferencia de los nueve puntos del triangulo3 .
Proof.
En la figura 5.4, P , Q y R son los puntos medios de los segmentos que unen los vertices
al ortocentro H del triangulo.
2
Heron de Alejandra, ca. 60 A.D.
3
Tambien se le conoce como crculo de Feuerbach, crculo de Euler, crculo de los seis puntos o crculo
medioinscrito.
P E
N M
F
H O
Q R
B D L C
Figure 5.4:

(1) N D es radio de la circunferencia de diametro AB ADB =
2
N D LM 1 AB y
(2) DLM N es un trapecio 2
N M k BC.
(3) La circunferencia por L, M y N pasa por D (2)

(4) P N DL tambien es inscriptible P N L P DL =
2
(5) La circunferencia por L, M y N pasa por P (4)
(6) Analogamente, dicha circunferencia pasa por
E, F , Q y R.
5.3 Recta de Euler

Consideremos primeramente las propiedades de la circunferencia de los nueve puntos que
siguen:
Sea J el centro de dicha circunferencia.
Propiedades 5.3.1.
1. El radio de la circunferencia de los nueve puntos es la mitad del radio del circuncrculo
del tri
angulo.
2. J es el punto medio entre el ortocentro y el circuncentro. Es decir, H es el otro centro

de homotecia de la circunferencia de los nueve puntos y el circuncrculo.
3. El centro de gravedad G es el otro centro de hometecia de dichas circunferencias.
Proof.
P E
N M
F
J G
H O
Q R
B D C
L
Figure 5.5: La recta por H, J, G y O es la recta de Euler del triangulo ABC.
1. De acuerdo a la observacion (2.3.8), el triangulo ABC es homotetico al triangulo

1
on de homotecia es . Sea g dicha homotecia.
LM N desde G y la raz
2
2. De acuerdo al punto anterior tenemos que g(H) = O y g(O) = J.
Como
1 3
(a) HJ = HG + GJ = 2GO = GO y
2 2
1 3
(b) JO = JG + GO = GO + GO = GO
2 2
HJ
entonces = 1.4
JO
4
El argumento alternativo que sigue es muy interesante:
(a) P H OL:
i. P es el ortocentro del 4AN M .
ii. O es el ortocentro del 4LM N .
iii. 4AN M 4LM N
iv. AP OL
v. P H OL, pues AP P H.
(b) P H k OL
(c) P HLO es un paralelogramo.
(d) Sea X la intersecci
on de sus diagonales;
i.e. X es el punto medio de HO y de P L.
(e) X es J, el centro de la circunferencia de los nueve puntos,
pues P DL es un tri
angulo rectangulo inscrito en ella.
3. Ya que AN LM es un paralelogramo, la recta AL pasa por el punto medio de M N ;

i.e., los tri
angulos ABC y LM N tienen el mismo centro de gravedad. Ya que las
homotecias preservan centros de gravedad, dicho punto es el centro de la misma y
de aqu el resultado.
As, la hilera H, G; J, O es arm

onica y
Definici
on 5.3.2. La recta donde estan dichos puntos es la recta de Euler del triangulo
dado.
Observaci on 5.3.3. Los cuatro tri angulos de un grupo ortocentrico tienen la misma cir-
cunferencia de los nueve puntos pues tienen el mismo triangulo pedal. Sin embargo, no
tienen la misma recta de Euler (por que?).
Por la propiedad (5.3.1 1.), los circunradios de estos cuatro triangulos son iguales.
Sea A, B, C, H un grupo ortocentrico de puntos y sean OA , OB y OC los circuncentros
de los triangulos HBC, AHC y ABH, respectivamente. Consideremos la rotacion de
radianes en torno al punto J. Dicha transformacion
(a) intercambia la altura por el vertice A con la mediatriz del lado BC del triangulo
(pues intercambia P con L).
Por lo tanto, tambien intercambia los puntos A con OA , B con OB , C con OC y H con
O.
As, en la figura (5.6), tenemos que los dos grupos ortocentricos siguientes: {A, B, C, H}
y {O, OA , OB , OC }, tienen el mismo triangulo pedal y, en consecuencia, la misma circunfer-
encias de los 9 puntos.
P E OB
OC
N M
F
H O
J
Q R
B D L C
OA
Figure 5.6: Los grupos ortocentricos {A, B, C, H} y {OA , OB , OC , O}.
De la observaci on anterior, para la rotacion considerada, tambien tenemos que

(b) intercambia los puntos R y N y, as, como en el inciso (a), intercambia la mediatriz
de HC con la perpendicular a HC por el punto N ; i.e. con el lado BC.
As, de los incisos (a) y (b), tenemos que
la im
agen de A es el circuncentro del triangulo HBC.
Karl Feuerbach no solamente descubrio (a los 22 anos) la circunferencia de los 9 puntos

de un tri
angulo, sino tambien que [dicha circunferencia]
es tangente internamente al crculo inscrito y tangente externamente a cada uno

de los circulos que tocan externamente los lados del triangulo5 .
Teorema 5.3.4 (Feuerbach). 6

La circunferencia de los nueve puntos es tangente al incrculo y a cada uno de los
excrculos.
En el curso de Geometra Moderna 2 se da una demostracion de este teorema la cual

usa el metodo de inversi
on.
El punto donde se tocan el incrculo y la circunferencia de los 9 puntos es el punto de

Feuerbach del tri
angulo.
5.4 La recta de Simson

Teorema 5.4.1. Los pies de las perpendiculares a los lados de un tri
angulo est
an alineados
si y solamente si el punto est
a en el circuncrculo del tri
angulo.
Sean X, Y y Z los pies de las perpendiculares desde P a los lados BC, AC y AB del
triangulo ABC, respectivamente.
Proof. En la figura (5.7), tenemos que

5
K. W. Feuerbach, Eigenschaften einiger merkw urdigen Punkte des geradlinigen Dreiecks und mehrerer
durch sie bestimmten Linien und Figuren: Eine analytisch-trigonometrische Abhandlung, Riegel & Wiesner
Nurnberg, 1822.
6
Karl Feuerbach, 1800-1834. Karl Feuerbach, hermano del famoso fil osofo Ludwig Feuerbach, naci o en
Jena, Alemania, el 30 de mayo de 1800, en una familia protestante. Hijo del jurista Paul Feuerbach y de Eva
Troster, el brillante estudiante de la Universidad de Erlangen, y despues de Friburgo, obtuvo su doctorado
a los 22 anos y comenz o a ensenar matem aticas en el Gymnasium de Erlangen, frecuentando un crculo de
estudiantes de esta ciudad, conocido por su derroche y sus deudas. Ese mismo a no public
o en Nuremberg un
librito de 62 pginas de ttulo largo y difuso en el que presenta, en la p agina 38 y demuestra analticamente
el m as bello teorema de geometra elemental descubierto desde la epoca de Euclides, seg un el historiador
J. L. Coolidge :
En un tri angulo,el crculo inscrito es tangente al [crculo] de Euler.
En 1824, Feuerbach fue detenido y encarcelado durante un a no, junto con 19 estudiantes, en M unchen,
por sus posiciones polticas. Consider andose responsable de todo, sufre una depresi on e intenta suicidarse
en dos ocasiones, para salvar a sus compa neros, primero cort andose las venas y despues tir
andose por una
ventana. Tras su liberaci on, vuelve a vivir con su familia y gracias a una intervenci on del rey consigue de
nuevo un puesto de profesor en Hof, el cual deber a abandonar como consecuencia de una nueva depresi on.
En 1828, mejorada su salud, ense na de nuevo en Erlangen, hasta el da en que, desenvainando una espada
en clase, amenaza con cortar la cabeza de los alumnos que no sepan resolver la ecuaci on que ha escrito en el
encerado. Abandonando la ense nanza, viv
o recluido los seis ultimos anos de su corta vida dej
andose crecer
el pelo, la barba y las u nas, contemplando las pinturas de su sobrino, el pintor Anselmo Feuerbach. Este
profesor impulsivo y perturbado muri o en Erlangen, el 12 de marzo de 1834.
Z P
A
C
X
B
Figure 5.7: X, Y y Z est

an alineados si y solamente si P esta en el circuncrculo del triangulo
ABC.
(1) CY X CP X CP Y X es cclico.

= CP A + AP X
y que (2) AY Z AP Z AY P Z es cclico.
= AP X + XP Z
Tambien (3) XP Z + ZBX = BXP Z es cclico.
Con todo esto, tenemos que
X, Y y Z est
an alineados CY X AY Z
CP A XP Z Por (1) y (2)
CP A + ZBX = Por (3)
P ABC es cclico
Definicion 5.4.2. La recta SimABC (P ) := XY Z es la recta de Simson 7 del punto P

respecto del tri
angulo ABC.
La recta de Simson tambien se conoce como la recta pedal del punto P respecto del
triangulo ABC. Cuando P no est a en el circuncrculo del triangulo ABC, los pies de dichas
perpendiculares forman un tri
angulo: el triangulo pedal de P respecto del triangulo ABC.
Por ejemplo, si B 0 es el punto diametralmente opuesto al vertice B, tenemos que

7
Robert Simson (1687 - 1768) matem atico escoces.
... This line was attributed to Simson by Poncelet, but is now frequently known as the Wallace-Simson
line since it does not actually appear in any work of Simson (Johnson 1929, p. 137; Coxeter and Greitzer
1967, p. 41; de Guzmn 1999). The inverse statement to that given above, namely that the locus of all points
P in the plane of a triangle ABC such that the feet of perpendiculars from the three sides of the triangle is
collinear is given by the circumcircle of ABC, is sometimes called the Wallace-Simson theorem (de Guzmn
1999). http://mathworld.wolfram.com/SimsonLine.html
de Guzmn, M. An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions. Amer.
Math. Monthly 106, 574-580, 1999.
P X Y Z SimABC (P )
A D A A AD
B0 C Y A AC
H D E F triangulo pedal de ABC
Es decir,
La recta de Simson de un vertice del tri

angulo es la altura del triangulo por dicho
vertice.
La recta de Simson del punto diametralmente opuesto a uno de los vertices del tri
an-
gulo es el lado del tri
angulo opuesto a dicho vertice.
As, dado que son muchas mas las rectas del plano que los puntos del circuncrculo del
triangulo ABC, es interesante estudiar la funcion que sigue:
circ(ABC) {rectas del plano}

(5.1)
P 7 SimABC (P )
Corolario 5.4.3.
1. Si se toman tres cuerdas dibujadas a traves de un punto de una circunferencia como

di
ametros de circunferencias, estas se intersectan por pares en tres puntos alineados.
2. Recprocamente, si las tres circunferencias que tienen como di

ametros a los segmentos
P A, P B y P C se intersectan por pares en tres puntos alineados, los puntos P , A, B
y C son concclicos.
Una aplicaci
on simple del concepto de la recta de Simson es el resultado que sigue:
Teorema 5.4.4. Los circuncrculos de los cuatro triangulos cuyos lados son los lados de
un cuadril
atero completo, tomados tres a un tiempo, tienen un punto en comun.
Proof. Sean a, b, c y d los lados de un cuadrilatero dado (ver la figura 5.8) y sea c(xyz)
angulo cuyos lados estan en las rectas x, y y z (donde {x.y.z}
el circuncrculo del tri
{a, b, c, d}), respectivamente.
(1) Sea a b + M = c(abc) c(abd)

Afirmaci on. El punto M resuelve el problema.
(2) Sean A, B, C y D los pies de las
perpendiculares por M a los lados
a, b, c y d, respectivamente.
(3) A, B y C est an alineados Teorema (5.4.1).
(4) Tambien A, B y D est an alineados Teorema (5.4.1).
(5) i.e. los puntos A, B, C y D estan alineados
(6) M c(cda) (5): C, D y A estan alineados.
(7) M c(cdb) (5): C, D y B estan alineados.
Figure 5.8: M es el punto de Miquel del cuadrilatero en negro.
on 5.4.5. M es el punto de Miquel del cuadrilatero abcd 8 .

Definici
Pregunta 5.4.6. De acuerdo al inciso (5) en la demostracion anterior: Que se puede decir
de la recta ABCD?
1
Lema 5.4.7. (SimABC (P ), SimABC (P 0 )) = arcP P 0
2
Proof. En la figura (5.9),
(1) SimABC (P ) k AQ Y XP = Y CP = AQP

(2) SimABC (P 0 ) k AQ0 Analogamente.
1
(3) (SimABC (P ), SimABC (P 0 )) = arcQQ0
2
1 0
(4) = arcP P arcP P 0 = arcQQ0
2
En la figura (5.9),
8
J. Steiner anunci
o este resultado, en dos lineas, en Questions proposes. Theorème sur le quadrilatère
complet, Annales de math. 18: 302304, 1827/1828, aunque la primera prueba detallada que se conoce es
de A. Miquel (Geometry by its History Ostermann, A.; Wanner, G. (2012), Springer, p. 96)
Z P
A
P
C
X
B
Q Q
Figure 5.9:
Corolario 5.4.8. Las perpendiculares por Q y Q0 a las rectas de Simson SimABC (P ) y

SimABC (P 0 ), respectivamente, se intersectan en el circuncrculo del tri
angulo ABC.
Proof.
En general, sean l SimABC (P ) y l0 SimABC (P 0 ).
angulo entre l y l0 es el suplemento del angulo entre SimABC (P ) y SimABC (P 0 ).
As, el
Es decir, (l, l0 ) = QAQ0 .
Sea T := l l0 . As, si Q l y Q0 l0 , el cuadrilatero AQT Q0 es cclico.
Ya que tanto Q como Q0 (y A) estan en el circuncrculo del 4ABC, T tambien lo est a
y terminamos.
Lema 5.4.9. La recta de Simson de un punto P biseca al segmento HP .
Proof.
La altura por A corta al circuncrculo en K.
Sean R y T las intersecciones de SimABC (P ) con P K y P H, respectivamente.
Finalmente, sea S := BC P K
Demostraremos que:
1. R es el punto medio del segmento P S y
2. SimABC (P ) k HS
y, de aqu, la afirmaci
on.
Para probar el inciso (1.), en la figura (5.10), queremos probar que RP XR SR.
Z P
H
C
X
D S
B
K
Figure 5.10:
(1) RXP = ZXP

(2) ZBP P XBZ es cclico.
(3) = ABP
(4) AKP ABKP es cclico.
(5) KP X AK k P X
(6) = RP X
y, por el teorema Pons Asinorum (1.2.7), RP XR.

Ahora bien, por (1) y (4) tenemos que AKP ZXP y, como DX P X, con el
mismo teorema (1.2.7), RS RX.
Para el inciso 2.,
(1) BHD BCA 4BHD 4BCE
(2) BKD BCA ABKC es cclico.
(3) BHD BKD (1) y (2)
(4) 4BHD 4BKD ALA (3,...)
(5) HD DK (4)
(6) 4HDS 4KDS LAL (5,...)
(7) HSD KSD (6)
(8) RSX
(9) RXS
Observaci on 5.4.10. El punto T , en la demostracion, esta en la circunferencia de los 9

puntos del tri
anguloABC.
Utilisando los lemas 5.4.7, 5.4.9 y la observacion 5.4.10 tenemos
Teorema 5.4.11.
1. La recta de Simson de un punto P y la circunferencia de los 9 puntos se cortan en el

punto medio del segmento HP .
2. Las rectas de Simson de dos puntos diametralmente opuestos se cortan ortogonalmente

sobre la circunferencia de los 9 puntos.
Ejercicios
1. Las seis circunferencias cuyos diametros son los segmentos que unen por pares los
puntos de un grupo ortocentrico de puntos pasan de cuatro en cuatro por tres puntos.
2. En la figura (5.11), demostrar que
(a) Los centros de los cuatro circuncrculos son concclicos.

(b) Est
a el punto de Miquel (M ) en el crculo de los centros?
Figure 5.11: Esta el punto M en el crculo de los centros?
3. Identifquese el tri
angulo diagonal de un cuadrangulo ortocentrico.
4. Las rectas que van de los vertices de un triangulo a los puntos de contacto de las
circunferencias excritas con los lados opuestos son concurrentes. El punto de concur-
rencia es el punto de Nagel del triangulo.
5. Con la nomenclatura del texto (e.g. en la figura (5.5)), demuestrese que los segmentos
P O y AL se bisecan.
6. En la figura (5.10), demostrar que la recta BC es la mediatriz del segmento HK,

donde K es el punto donde la altura por A corta al circuncrculo del triangulo ABC.
7. (a) Los cuatro tri

angulos de un grupo ortocentrico tienen rectas de Euler diferentes.
(b) Un grupo ortocentrico de triangulos junto al grupo ortocentrico de sus circun-
centros tienen cuatro rectas de Euler en total.
8. En la figura (5.6), demuestre que los puntos OB , P y OC estan alineados.
9. Demuestre que los centroides de un grupo ortocentrico de triangulos forman un grupo

ortocentrico.
10. El circuncrculo biseca a los seis segmentos de recta que unen por pares el incentro y
los tres excentros
11. Construir un tri

angulo dados los pies de sus alturas.
12. Si dos tri

angulos est
an inscritos en una misma circunferencia, las rectas de Simson de
cualquier punto de la circunferencia, con respecto de esos dos triangulos, se intersectan
a un
angulo constante.
13. De acuerdo al inciso 1 del teorema (5.4.11), En cual otro punto se cortan la recta de
Simson de P y la circunferencia de los 9 puntos?
14. (a) Construir un tri

angulo dados su circuncrculo y y su ortocentro. dicho triangulo
es u
nico?
(b) Demostrar que todas las soluciones al problema del inciso anterior tienen la
misma circunferencia de los 9 puntos.

angulo dados su circuncrculo, el ortocentro y uno de los vertices.

angulo dados su circuncentro y (el centro de) la circunferencia de los
9 puntos. dicho tri
angulo es u
nico?
17. Las rectas de Simson de tres puntos con respecto a un triangulo dado forman un
triangulo semejante al tri
angulo formado por los tres puntos.
18. El cuadril atero formado por las rectas de Simson de cada vertice de un cuadrilatero
cclico dado respecto del tri
angulo formado por los otros tres vertices es semejante al
cuadril atero dado.
Cierto o falso? Por que?
Bibliography
[AC07] N. Altshiller-Court, College geometry: An introduction to the modern geometry

of the triangle and the circle., Dover Books on Mathematics., Dover Publications,
New York., 2007.
[AS80] B.I. Argunov and L.A. Skorniakov, Teoremas de configuraci

on., Lecciones pop-
ulares de matem
aticas., Editorial MIR, Mosc
u., 1980.
[BG02a] R. Bulajich Manfrino and J.A. Gomez Ortega, Geometra, Cuadernos de

olimpiadas de matematicas, Instituto de matematicas, 2002.
[BG02b] , Geometra. ejercicios y problemas, Cuadernos de olimpiadas de

matem
aticas, Instituto de matematicas, 2002.
[CG67] H.S.M. Coxeter and S.L. Greitzer, Geometry revisited, Random House, 1967.
[Cro97] P. R. Cromwell, Polyhedra, Cambridge University Press, 1997.
[Euc92] Euclides, Elementos de geometra, Bibliotheca Scriptorum Graecorum et Ro-

manorum Mexicana, vol. I and II, U.N.A.M., 1992.
[Eve69] H. Eves, Estudio de las geometrias, vol. 1, UTEHA, 1969.
[HCV52] D. Hilbert and S. Cohn-Vossen, Geometry and the imagination, Chelsea Pub-
lishing Co., 1952.
[Hil71] D. Hilbert, Foundations of Geometry, Open Court Classics, vol. P-72, Open
Court, 1971.
[LdlEA77] G. Lucio, N. Martnez de la Escalera, and R. San Agustn, Algo de geometra,

Notas de Clase, vol. 155, Facultad de Ciencias, UNAM., 1977.
[Shi61] Levy S. Shively, Introducci

on a la geometra moderna, C.E.C.S.A., 1961.
109

Rodolfo San Agustin Chin. - Notas de Geometría Moderna

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Rodolfo San Agustin Chin. - Notas de Geometría Moderna

Uploaded by

Copyright:

Available Formats

Geometra Moderna I

Rodolfo San Agustn Chi

January 26, 2017

1. En su libro Vorlesungen u ber neuere Geometrie Moritz Pasch 1 utilizo el termino

Para que la geometra sea verdaderamente deductiva, el proceso de infe-

Although a divide between ancient and modern geometry can be framed

3. Tambien se denomina de esa manera a la geometra cuyo desarrollo siguio al re-

epoca moderna en la historiografa europea, pero, sobre todo, la francesa, incluyendo,

Y as podriamos continuar con algunas interpretaciones mas. Sin embargo, en estas

Tolomeo. ABCD es un cuadril

Problema. Dadas dos rectas y un punto que no se encuentra sobre ninguna

El progreso y el perfeccionamiento de las matem

Euler. El ortocentro H, el circuncentro O, el gravicentro G y el centro de la

Figure 1: La circunferencia de los nueve puntos y la recta de Euler.

Tambien habemos de considerar, de alguna manera, el enfoque de Pasch. Sin embargo,

o combinatorias, geometra cuantica, estructuras de incidencia, etc). No queremos hacer, ni

Yo nunca permit que la escuela interfiriera con mi educaci

El hombre nace ignorante, no est

Muchos cursos y textos tanto de geometra como de otras ramas de la matematica

Un lenguaje no es un repertorio arbitrario de smbolos, sino una manera de

El smbolo se utiliza consistentemente en fsica para referirse a la proporcionalidad

Invocaremos 12 las f ormulas siguientes: Con respecto a la nocion de area, solamente

angulo) = 1/2 base altura

3 Relaciones de concurrencia y de colinealidad 59

4 Relaciones arm onicas 79

5 La circunferencia de los nueve puntos y la recta de Simson 93

1.1 Algunas equivalencias del postulado V de Euclides

Figure 1.1: + <

1. Surgieron varias formulaciones equivalentes a el.

4. En algunas areas de la geometra, se le sustituyo por algunas de sus negaciones logicas5 .

Postulado V (i). Los

Postulado V (iv). Un angulo exterior de un tri

En el libro ([Eve69], p. 320 y siguientes, incluyendo ejercicios) hay mas equivalencias

Q = (ii) = (iii) = (iv) = (i) = Q

1.2 Congruencia de tri

Nota 1.2.1. Desde el punto de vista de los fundamentos de la geometra, la importancia

angulo en un plano y a0 una recta en un plano 0 ; se fija

Figure 1.4: Axioma III.5 de Hilbert

O0 . Entonces, en el plano 0 , hay uno y solo un rayo k 0 tal que el (h, k) es

Figure 1.5: Axioma III.4 de Hilbert: (h, k) (h0 , k 0 ).

As, llegamos a la definici

Definicion 1.2.2. Dos tri

on, extendemos el significado del smbolo para parejas de

Proof. En la figura (1.6), con las hip

Figure 1.6: B 0 C 0 A0 B 0 C 0 A00 = A0 = A00 .

Teorema 1.2.4 (ALA). Si

Proof. Nuevamente, en la figura (1.6),

Teorema 1.2.5 (LAL). 11 Si

Proof. De acuerdo al teorema anterior ((ALA) (1.2.4)), basta verificar que

Figure 1.7: Contraejemplo a un supuesto teorema ALL.

... Se sabe que vivi

1956, un programa de Marvin Minsky 14 encontro la demostracion que damos a continuacion.

Teorema 1.2.7 (PA). En un tri

Figure 1.8: (ALA) (PA).

Proof. En la figura 1.8, sea ABC un triangulo tal que

Tambien se tiene el teorema recproco. Su demostracion, as como las de los dos

Teorema 1.2.8. En un tri

2. que pasa por el punto medio del segmento BC

Observaci on 1.2.14. Los teoremas de congruencia de triangulos justifican el principio de

Si A y B son dos puntos en alguna recta a y A0 es un punto en la misma o en

Analogamente, el Axioma III.4 se referira a la superposicion de angulos:

1.2.1 El teorema de Pit

Este es un teorema muy importante en la geometra euclideana. Es la base para definir