Professional Documents
Culture Documents
Javier Bracho
August 9, 2005
ii
Abstract
A mis maestros:
Victor Neumann Lara,
Sevn Recillas Pishmish.
iii
Prefacio
Este libro es un texto para el primer nivel universitario. No presupone cierta
madurez matemtica sino que se empea en crearla, y slo requiere del estu-
diante conocimientos mnimos del lenguaje de teora de conjuntos, adems de
su esfuerzo. Fue concebido y experimentado en cursos de geometra analtica
de primer ao de las licenciaturas en matemticas, fsica, actuara y ciencias
de la computacin; pero puede extenderse a otras reas y emplearse en otros
niveles.
A principios del siglo XXI, la geometra como rea de las matemticas
evade las definiciones pues sus lmites son difusos y sus ramificaciones nu-
merosas. Es, quiz, ms que un cuerpo bien definido de conocimiento: una
sensibilidad al practicar el pensamiento abstracto. El ttulo de gemetra hoy
se lo disputan matemticos de muy diversas reas; por dar ejemplos, los que
hacen investigacin en geometra algebraica, geometra diferencial o geometra
discreta se llaman a s mismos gemetras, con orgullo, a secas y con razn,
pero a veces tambin con soberbio aire excluyente. Adems, a cada rato apare-
cen nuevas sectas de gemetras que abren y bautizan reas como geometra
computacional, geometra simplctica o geometra no conmutativa, por
no hablar del uso del trmino como calificativo: topologa geomtrica, con-
vexidad geomtrica, teora geomtrica de grupos, fsica geomtrica, etc.
Quiero dar a entender con esta breve enumeracin que slo a unos pocos
lectores dice algo ms que la rimbombancia misma de las palabras que la
Geometra, ahora s, con maysculas, est vivita y coleando: en plena ex-
pansin como el resto de la ciencia. Sea lo que fuere, rea o sensibilidad, es
un motor pujante, activo y prolfico en el imponente desarrollo actual de las
matemticas. Es, en fin, una parte medular de la matemtica contempornea,
pero a su vez la rebasa como sensibilidad o por sus aplicaciones, la desborda
en sus manifestaciones naturales o artsticas; es una gema de nuestra cultura.
Sin embargo, y en contraste preocupante con este panorama, la educacin
de la geometra en el nivel universitario bsico ha quedado estancada y ha sido
relegada casi hasta la vacuidad. En muchas universidades, el curso clsico de
geometra analtica ha desaparecido o se ha integrado a los cursos de clculo
como servicio, pues las cnicas argumentan son de nivel bachillerato; y
en aquellas donde an se da es con programas obsoletos que parecen ignorar
que el siglo XIX aconteci. Los cursos de geometra sinttica o a la gr-
iega, a veces llamados con irona involuntaria geometra moderna pues
tratan de geometra griega hecha despues de ellos , tambin se sienten
anquilosados y, en el mejor de los casos, se usan como materias optativas de
divertimento histrico, didctico o formativo, desligados por completo del resto
del currculo cientfico. No obstante, se siguen formando gemetras pues la
sensibilidad geomtrica es irrefrenable. Los estudiantes que la tienen don,
vocacin, inquietud o visin del mundo aprenden por smosis y desarrollan
su intuicin en otros cursos bsicos o intermedios, como el de lgebra lineal o
iv
grandes rasgos, que la geometra es el estudio de espacios junto con sus grupos
de transformaciones. Casi un siglo despus, empez a plasmarse esta filosofa
en textos de nivel medio universitario.
De estos nuevos libros de texto, tuvieron gran influencia sobre m, y por
lo tanto en el presente libro, el de E. Rees [12] y el de P. J. Ryan [14]. Sin
embargo, presuponen ya una cierta madurez matemtica de parte del estudi-
ante; la filosofa de este libro (enfatizar los grupos de transformaciones) es muy
parecida pero llevada a un nivel ms elemental, introductorio. Se desarroll en
los cursos de Geometra Analtica que peridicamente he dado en la Facultad
de Ciencias de la UNAM durante 18 aos. Con un programa oficial que bien
podra datar del siglo XVIII (la geometra analtica como se entenda entonces),
este curso ha ido evolucionando hasta su presente forma. La condicin inicial de
tener que cubrir un programa basado en el estudio de las cnicas, ms que es-
torbar, acab dndole una gran consistencia. Pues los problemas que plantean
motivan el desarrollo terico que a su vez, con ms herramientas geomtricas en
mano, permiten entenderlas ms profundamente y plantear nuevos problemas
que a su vez... as que quedaron tratadas en cuatro captulos (2, 4, 7 y 9).
Es frecuente pensar (yo lo hice por demasiado tiempo) que la geometra
analtica representa un rompimiento con la geometra griega clsica, presen-
tarla como algo que la supera; o bien, creer que las geometras proyectiva e
hiperblica rompen con la euclidiana y que hay que tomar partido por alguna.
No. Son todas ellas parte de lo mismo: La Geometra. Y para hacer nfasis en
ello, una preocupacin que entreteje al captulo 1 es reconstruir la axiomtica
euclidiana a partir de la de los nmeros reales que es la de la geometra analtica,
y aclarar formalmente su relacin. Parece superfluo, pero permite ejercitar las
operaciones vectoriales y la idea de demostracin en casos sencillos e intu-
itivamente claros, va construyendo la llamada madurez matemtica y en los
ejercicios, tanto tericos como nmericos, debe dar al estudiante seguridad y
fe en su intuicin geomtrica; el riesgo de parecer trivial quiz se conjure con
la idea profunda de que el lenguaje y las tcnicas vectoriales que se van es-
tableciendo en el plano funcionarn tambin para las siguientes dimensiones.
Ms adelante (captulos 6 y 8, respectivamente), como se construyen los planos
proyectivo e hiperblico, ya no hay necesidad de axiomatizar; vamos sobre
terreno firme y los axiomas quedan como observaciones o teoremas con notas
histricas.
Si insisto en que La Geometra es una y nica, por qu pluralizarla en
el ttulo del libro? Por dos razones. As como en espaol tenemos la afortu-
nada dualidad la matemtica y las matemticas con significados sutilmente
diferentes, siento que lo mismo se aplica a la geometra. Las geometras
tendra entonces una acepcin ms modesta, con una implcita diversidad de
enfoques y motivaciones posibles; pretendo, quiz pecando de ambicioso e iluso,
que aqu se den los fundamentos modernos para adentrarse en ellas y en espe-
cial en las que estn vivas en este cambio de siglo. Pero adems, el plural tiene
la ventaja de que remite inevitablemente a las geometras no euclidianas, cuyos
rudimentos bsicos, creo yo, deberan ser parte de la formacin temprana en
vi
Agradecimientos
Quiero agradecer en primer lugar a los estudiantes que llevaron conmigo
el curso Geometra Analtica en alguna de sus tantas versiones preliminares.
No era fcil, pues no saba bien cmo llegar a donde iba: estaba aprendiendo
junto con ellos y ensayando; a veces nos confundamos todos pero siempre nos
divertimos. Sus preguntas, comentarios o bien las simples caras de extravio
fueron centrando el rumbo. Siento que les deba este libro.
ix
1 El plano euclidiano 1
1.1 La geometra griega . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Puntos y parejas de nmeros . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Geometra analtica . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 El espacio de dimensin n . . . . . . . . . . . . . . . . . . . . 6
1.3 El espacio vectorial R2 . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1 Teorema o axiomas? . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Lneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.1 Coordenadas baricntricas . . . . . . . . . . . . . . . . . . . . 16
1.4.2 Planos en el espacio I . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Medio Quinto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.6 Interseccin de rectas I . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.6.1 Sistemas de ecuaciones lineales I . . . . . . . . . . . . . . . . . 28
1.7 Producto interior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.7.1 El compadre ortogonal . . . . . . . . . . . . . . . . . . . . . . 32
1.8 La ecuacin normal de la recta . . . . . . . . . . . . . . . . . . . . . . 36
1.8.1 Interseccin de rectas II . . . . . . . . . . . . . . . . . . . . . 39
1.8.2 Teoremas de concurrencia . . . . . . . . . . . . . . . . . . . . 41
1.8.3 Planos en el espacio II . . . . . . . . . . . . . . . . . . . . . . 42
1.9 Norma y ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.9.1 El crculo unitario . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.9.2 Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . . 51
1.9.3 ngulo entre vectores . . . . . . . . . . . . . . . . . . . . . . . 52
1.10 Bases ortonormales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.10.1 Frmula geomtrica del producto interior . . . . . . . . . . . . 55
1.10.2 El caso general . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.11 Distancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
1.11.1 El espacio euclidiano (primera misin cumplida) . . . . . . . . 58
1.11.2 Distancia de un punto a una recta . . . . . . . . . . . . . . . . 60
1.11.3 El determinante como rea dirigida . . . . . . . . . . . . . . . 61
1.11.4 La mediatriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.11.5 Bisectrices y ecuaciones unitarias . . . . . . . . . . . . . . . . 63
xi
xii CONTENIDO
2 Cnicas I (presentacin) 71
2.1 Crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.1.1 Tangentes y polares . . . . . . . . . . . . . . . . . . . . . . . . 75
2.2 Elipses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.3 Hiprbolas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
2.4 Parbolas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.5 Propiedades focales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.5.1 De la parbola . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.5.2 De la hiprbola . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2.5.3 De la elipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.5.4 Telescopios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
2.6 *Armona y excentricidad . . . . . . . . . . . . . . . . . . . . . . . . 88
2.6.1 *Puntos armnicos y crculos de Apolonio . . . . . . . . . . . 88
2.6.2 *Excentricidad . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.7 *Esferas de Dandelin . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3 Transformaciones 99
3.1 Funciones y transformaciones . . . . . . . . . . . . . . . . . . . . . . 100
3.1.1 Grupos de transformaciones . . . . . . . . . . . . . . . . . . . 102
3.2 Las transformaciones afines de R . . . . . . . . . . . . . . . . . . . . 106
3.2.1 Isometras de R . . . . . . . . . . . . . . . . . . . . . . . . . . 108
3.3 Isometras y transformaciones ortogonales . . . . . . . . . . . . . . . 109
3.3.1 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
3.3.2 Grupos de simetras . . . . . . . . . . . . . . . . . . . . . . . 114
3.3.3 Transformaciones ortogonales . . . . . . . . . . . . . . . . . . 120
3.4 Las funciones lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
3.4.1 Extensin lineal . . . . . . . . . . . . . . . . . . . . . . . . . . 129
3.4.2 La estructura de las funciones lineales . . . . . . . . . . . . . . 131
3.5 Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
3.5.1 Vectores columna . . . . . . . . . . . . . . . . . . . . . . . . . 133
3.5.2 La matriz de una funcin lineal . . . . . . . . . . . . . . . . . 134
3.5.3 Multiplicacin de matrices . . . . . . . . . . . . . . . . . . . . 136
3.5.4 Algunas familias distinguidas de matrices . . . . . . . . . . . . 138
3.6 El Grupo General Lineal (GL(2)) . . . . . . . . . . . . . . . . . . . . 144
3.6.1 El determinante . . . . . . . . . . . . . . . . . . . . . . . . . . 145
3.6.2 Sistemas de ecuaciones lineales II . . . . . . . . . . . . . . . . 148
3.7 Transformaciones afines . . . . . . . . . . . . . . . . . . . . . . . . . 148
3.7.1 Combinaciones afines (el Teorema de 3 en 3) . . . . . . . . . . 150
CONTENIDO xiii
10 Apndice 395
10.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
10.2 Nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397