Notas de Clase Geometría PDF

UNIVERSIDAD NACIONAL DE COLOMBIA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMTICAS
La geometra a travs de las transformaciones

en el contexto de los planos afines
Notas de clase
Lorenzo Acosta Gempeler

Profesor Titular
2
ndice general
Introduccin 1
1. Planos afines 5
2. Dilataciones 11
3. Planos con grupo de traslaciones conmutativo 19

3.1. Sobre la conmutatividad del grupo de traslaciones . . . . . . 19
3.2. Cuerpo asociado a un plano T sim etrico . . . . . . . . . . 21
3.3. El Teorema de Tales . . . . . . . . . . . . . . . . . . . . . . . 24
4. Planos simtricos 27
4.1. Planos como espacios vectoriales . . . . . . . . . . . . . . . . . 27
4.2. Teoremas de Desargues . . . . . . . . . . . . . . . . . . . . . . 30
4.3. Planos simtricos . . . . . . . . . . . . . . . . . . . . . . . . . 33
5. De los cuerpos a los planos afines 35
6. El teorema del hexgono de Pappus 41
7. Simetras 45
7.1. Simetras centrales . . . . . . . . . . . . . . . . . . . . . . . . 45
7.2. Simetras paralelas . . . . . . . . . . . . . . . . . . . . . . . . 49
i
ii NDICE GENERAL
7.3. Ortogonalidades . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7.4. Simetras ortogonales . . . . . . . . . . . . . . . . . . . . . . . 54
8. Rotaciones y ngulos 59
8.1. Rotaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
8.2. ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
9. Ejemplos de grupos de rotaciones 65

9.1. Un ejemplo finito no conmutativo . . . . . . . . . . . . . . . . 65
9.2. Rotaciones en (K 2 , $) con K conmutativo . . . . . . . . . . . 69
9.3. Rotaciones en (K 2 , ) con K conmutativo . . . . . . . . . . . 71
10.El axioma de las tres simetras 73
11.Medianas, mediatrices y alturas de un tringulo 79
Bibliografa 83
ii NDICE GENERAL
Introduccin
Este trabajo se desarrolla en el contexto de los planos afines, de acuerdo

con la definicin de plano afn dada en [A] . A partir de tres axiomas bsicos
sencillos se puede desarrollar toda una teora geomtrica en la que aparecen
naturalmente transformaciones que conducen a la utilizacin del lgebra para
obtener resultados geomtricos. Estas transformaciones, que envan lneas en
lneas paralelas, se llaman dilataciones y se dividen en traslaciones (aquellas
que no tienen un nico punto fijo) y homotecias (aquellas que tienen puntos
fijos).
Los planos afines, en toda su generalidad, no son lo suficientemente buenos
para obtener resultados atractivos con herramientas algebraicas bsicas. La
situacin se pone interesante si se exige que haya suficientes traslaciones, es
decir, que el grupo de traslaciones acte transitivamente sobre el conjunto
de puntos. En este contexto es posible enunciar y demostrar una versin del
Teorema de Tales (sin utilizar ni medidas de segmentos, ni clculo de reas,
ni ngulos), lo mismo que el teorema de la concurrencia de las medianas de
un tringulo (bajo ciertas restricciones de caracterstica).
A cada plano afn con la condicin de simetra mencionada se le puede
asociar un cuerpo (no necesariamente conmutativo) de tal manera que el
plano tiene estructura de espacio vectorial sobre l. Recprocamente, cada
espacio vectorial de dimensin dos sobre un cuerpo es un plano afn. Los
planos afines que se obtienen de los cuerpos mediante este mecanismo son los
planos donde se cumple el Teorema de Desargues (planos desarguesianos) y
aquellos que corresponden a los campos (cuerpos conmutativos) son los planos
1
2 INTRODUCCIN
donde se cumple el Teorema del hexgono de Pappus (planos pappusianos).

Utilizando una idea de [P] , en un plano afn se define la nocin de ortogo-
nalidad como una relacin biyectiva, antirreflexiva y simtrica en el conjunto
de las direcciones del plano. Un plano afn admite ortogonalidades siempre
que sea de caracterstica diferente de dos y, en este caso, hay en general
varias de ellas. Una vez escogida una ortogonalidad, se definen las sime-
tras ortogonales y a partir de ellas las rotaciones. Se tiene que, en un plano
desarguesiano con una ortogonalidad, el grupo de las traslaciones acta por
conjugacin sobre el conjunto de las rotaciones, lo que permite dar significa-
do a la definicin de ngulo dada en [P] : Un ngulo es una rotacin que ha
perdido su centro.
Si se impone el axioma de las tres simetras de ejes concurrentes (la
compuesta de tres simetras ortogonales de ejes concurrentes es una simetra),
las rotaciones de centro fijo constituyen un grupo abeliano. Adems, con
las simetras ortogonales se genera un grupo cuyos elementos son llamados
isometras, que a su vez se clasifican en desplazamientos (o isometras pares)
y simetras deslizadas (o isometras impares). Los desplazamientos son exac-
tamente las rotaciones y las traslaciones y constituyen un sub-grupo de ndice
2 del grupo de las isometras. Utilizando propiedades de las isometras se
puede probar que las mediatrices (y las alturas) de un tringulo cualquiera
son concurrentes.
***
Las ideas bsicas se tomaron del Captulo II de [A] y de [P] . Estos dos
textos son de naturaleza y objetivos completamente diferentes. El primero
est dirigido a personas con una formacin matemtica avanzada mientras
que el segundo es un texto para estudiantes de educacin media. El espritu,
sin embargo, es el mismo: desarrollar la geometra a travs de las transfor-
maciones, utilizando herramientas algebraicas. En este trabajo se combinan
las ideas y tcnicas de estos dos textos. En la primera parte, por ejemplo, se
utilizan la proyecciones paralelas de [P] para demostrar algunos resultados de
[A] . Ms adelante se abandona la lnea de [A] y se sigue la de [P] teniendo
cuidado de demostrar solamente resultados que estn basados en la teora
desarrollada, sin imponer los axiomas introducidos por Papy con un objetivo
netamente didctico. El Teorema de Tales es un ejemplo de un resultado que
se puede demostrar en el contexto general de los planos afines con suficientes
traslaciones, y su demostracin es extremadamente simple comparada con
2
INTRODUCCIN 3
la tradicional. Otro ejemplo es el Teorema de las tres simetras de [P] que

afirma que
i) la compuesta de tres simetras centrales del mismo centro es una sime-
tra central,
ii) la compuesta de tres simetras ortogonales de ejes paralelos es una
simetra ortogonal y
iii) la compuesta de tres simetras ortogonales de ejes concurrentes es una
simetra ortogonal.
En su demostracin, Papy hace uso de un axioma previamente introducido,
segn el cual todo par de semi-rectas de origen comn tienen una bisectriz.
Aqu se muestra que sin este axioma, o algo que lo remplace, la tercera
parte del teorema no se puede demostrar, pues hay planos afines con una
ortogonalidad en los cuales hay tres simetras ortogonales de ejes concurrentes
cuya compuesta no es una simetra ortogonal.
Un resultado deseable en esta teora sera que la compuesta de dos ro-
taciones del mismo centro fuera una rotacin, lo cual garantizara que el
conjunto de las rotaciones de centro fijo es un grupo. Sin embargo, esto no
es cierto en el caso general.
Aunque en este trabajo no se desarrolla este tema, con base en las iso-
metras, puede definirse la nocin de congruencia y utilizando adems las
homotecias tendremos tambin el concepto de semejanza.
***
En estas notas se recopila, afina y complementa el material desarrollado

en el Seminario de lgebra Geomtrica que se llev a cabo en la Universidad
Nacional de Colombia y la Escuela Colombiana de Ingeniera durante el ao
2012. Este texto podra utilizarse para un curso de un semestre de temas de
geometra para estudiantes que tengan un conocimiento bsico de teora de
grupos y lgebra lineal.
3
4 INTRODUCCIN
Emil Artin (1898 - 1962)
Georges Papy (1920 - 2011)
4
CAPTULO 1
Planos afines
Los objetos geomtricos que estudiaremos en este texto se llaman planos

afines. Un plano P es una pareja (P, L) donde P es un conjunto y L es un sub-
conjunto de (P )1 . Los elementos de P se llaman puntos y los notaremos con
letras latinas minsculas. Los elementos de L se llaman lneas y los notaremos
con letras latinas maysculas. Diremos que dos lneas L y M son paralelas
si son iguales o si L M = . En este caso escribiremos L k M. Si L y M no
son paralelas escribiremos L M.
Definicin 1.1. Diremos que un plano es un plano afn si se satisfacen los

siguientes tres axiomas:
A1 . Dados dos puntos distintos existe una nica lnea que los contiene.
A2 . Dados un punto x y una lnea L existe una nica lnea paralela a L
que contiene a x.
A3 . Existen tres puntos no colineales.
Ejemplo 1.1. El plano euclidiano con sus puntos y lneas usuales es un

ejemplo de plano afn.2
1
(P ) es el conjunto de todos los sub-conjuntos de P.
2
Los axiomas de la geometra euclidiana plana comprenden los tres axiomas A1 , A2 y
A3 .
5
6 CAPTULO 1. PLANOS AFINES
Figura 1.1: P4
Ejemplo 1.2. Si P es un conjunto de cuatro elementos y si L es el conjunto

de los sub-conjuntos de dos elementos de P, entonces (P, L) es un plano afn.
Este plano lo designaremos P4 y una representacin puede verse en la Figura
1.1.
Ejercicio 1.1. Muestre que no existen planos afines con tres puntos.
De ahora en adelante P = (P, L) es un plano afn.
A partir de los axiomas se deducen fcilmente las siguientes propiedades.
Proposicin 1.1. Si L y M son lneas no paralelas, entonces LM contiene

un nico punto.
Proposicin 1.2. La relacin k es una relacin de equivalencia sobre L.
Ejercicio 1.2. Pruebe las Proposiciones 1.1 y 1.2.
La clase de equivalencia de una lnea L con respecto a la relacin k se

llama direccin de L y se notar dir L. El conjunto de todas las direcciones
del plano se notar Dir P.
Dados un punto x y una lnea L, a la nica lnea paralela a L que pasa
por x la notaremos Lx .
Dados dos puntos distintos x y y, a la nica lnea que los contiene la
notaremos xy.
La demostacin de la siguiente proposicin requiere un poco ms de tra-
bajo.
Proposicin 1.3. Toda lnea contiene por lo menos dos puntos distintos.
6
7
Figura 1.2: Proyeccin paralela
Ejercicio 1.3. Pruebe la Proposicin 1.3.
Cada lnea L determina entonces una funcin L b : P dir L : x 7 Lx .

Esta funcin es claramente sobreyectiva en virtud de la proposicin anterior.
Definicin 1.2. Dadas dos lneas no paralelas L y M definimos la siguiente

funcin
pL,M : P M : x 7 pL,M (x)
donde pL,M (x) es el nico punto en Lx M. Esta funcin se llama proyeccin
paralela a L sobre M.
Las proyecciones paralelas son un instrumento til para el trabajo en los

planos afines. Veamos algunas de sus propiedades.
Proposicin 1.4. Dadas dos lneas no paralelas L y M , pL,M : P M es

sobreyectiva.
Proposicin 1.5. Si L, M y N son tres lneas tales que N L y L M,

entonces pL,M N : N M es una biyeccin3 .
Proposicin 1.6. Dada una lnea N siempre existen dos lneas L y M tales
que N L y L M.
Ejercicio 1.4. Pruebe las Proposiciones 1.4,1.5 y 1.6

3
pL,M N es la restriccin de pL,M a N.
7
Como consecuencia de las ltimas proposiciones tenemos que dos lneas

cualesquiera son equipotentes. Ms an, tenemos el siguiente teorema:
Teorema 1.1. a) L es equipotente a M para todo L, M L.

b) P es equipotente a L L para cada L L.
c) dir L es equipotente a L para cada L L.
Demostracin. La parte a) es consecuencia inmediata de las Proposiciones

1.5 y 1.6.
Para la parte b) basta considerar dos lneas L y M no paralelas y la
funcin
P L M : x 7 (pM,L (x), pL,M (x)).
Para la parte c) considere dos lneas no paralelas L y M. Se tiene la

biyeccin L dir M : x 7 Mx .
En el caso finito obtenemos el siguiente corolario:
Corolario 1.1. Si P es finito entonces existe n Z+ tal que:

a) P tiene n2 elementos.
b) Cada lnea tiene n elementos.
c) En cada direccin hay n lneas.
d) Por cada punto pasan n + 1 lneas.
e) Hay exactamente n + 1 direcciones.
Ejemplo 1.3. Sean P = {1, 2, 3, 4, 5, 6, 7, 8, 9} y

L = {L1 , L2 , L3 , M1 , M2 , M3 , N1 , N2 , N3 , K1 , K2 , K3 } ,
donde
L1 = {1, 2, 3} L2 = {4, 5, 6} L3 = {7, 8, 9}
M1 = {1, 4, 7} M2 = {2, 5, 8} M3 = {3, 6, 9}
N1 = {1, 5, 9} N2 = {4, 8, 3} N3 = {7, 2, 6}
K1 = {1, 8, 6} K2 = {4, 2, 9} K3 = {7, 5, 3}
Tenemos que (P, L) es un plano afn y sus direcciones son {L1 , L2 , L3 } ,
{M1 , M2 , M3 } , {N1 , N2 , N3 } , {K1 , K2 , K3 } . Este plano lo designaremos P9 .
En la Figura 1.3 vemos sus direcciones.
Ejercicio 1.5. Construya un plano afn de 16 puntos.
8
9
Figura 1.3: Direcciones en P9
Ejercicio 1.6. Considere el conjunto P = Z Z. Una lnea en este conjunto

es un conjunto de la forma
{(x, y) : ax + by + c = 0}
donde a, b, c Z.
1) Si llamamos L al conjunto de estas lneas, muestre que el Axioma 2 no
se satisface en (P, L) y por consiguiente ste no es un plano afn.
2) Defina la siguiente relacin de equivalencia sobre P :
(x, y) (z, w) si x z 3Z y y w 3Z.

Muestre que si Q = P/ y M = L/ : L L , donde L es el saturado
de L con respecto a la relacin , entonces (Q, M) es un plano afn4 .
3) Utilice la construccin anterior para hacer un modelo del plano (Q, M)
sobre un toro.
4) Compare este plano con el plano P9 .
5) En la parte 2) cambie 3Z por mZ. Qu condicin debe satisfacer m
para que el cociente obtenido sea un plano afn?
Ejemplo 1.4. El plano de Moulton
Sea P = R2 . Si L est constituido por todas las rectas de pendiente
negativa, todas las rectas verticales, todas las rectas horizontales y adems
los conjuntos de la forma Hm,a Gm,a , donde
Hm,a = {(x, y) : y = m(x a), y 0} y
Gm,a = {(x, y) : y = 2m(x a), y > 0} ,
entonces P = (P, L) es un plano afn llamado plano de Moulton.
En la Figura 1.4 se exhiben algunas lneas tpicas en este plano.
4
P/ es el conjunto de clases de equivalencia de la relacin en P y el saturado del
conjunto L es el conjunto de todos los elementos de P relacionados con algn elemento de
L.
9
Figura 1.4: Lneas en el plano de Moulton
10
CAPTULO 2
Dilataciones
A partir de este captulo todos los planos considerados sern planos afines.
Este captulo est dedicado al estudio de las funciones compatibles con

la estructura de plano afn, es decir, aquellas funciones de un plano afn en
s mismo que transforman lneas en lneas paralelas.
Definicin 2.1. Una dilatacin de P es una funcin : P P tal que para
toda lnea L existe una lnea M paralela a L tal que (L) M.
Obsrvese que toda funcin constante es una dilatacin. Tambin la fun-
cin idntica 1P es una dilatacin. Las proyecciones paralelas no son dilata-
ciones.
De la definicin de dilatacin se deduce que si x y y son puntos distintos
de P entonces (y) est en la lnea paralela a xy que pasa por (x).
La siguiente proposicin es evidente:
Proposicin 2.1. La compuesta de dos dilataciones es una dilatacin.
Teorema 2.1. Toda dilatacin est completamente determinada por su valor
en dos puntos distintos.
Demostracin. Sea una dilatacin. Sean x y y dos puntos distintos y su-
pongamos que conocemos (x) y (y). Consideremos un punto z que no est
11
12 CAPTULO 2. DILATACIONES
en xy. Sean L = xz y M = yz. Tenemos que L M. Adems, (z) est

en L(x) y tambin en M(y) . Como L(x) M(y) conclumos que (z) es el
nico punto en L(x) M(y) . De esta manera hemos construido (z) a partir
de (x) y (y).
Si z est en xy entonces buscamos un punto w que no est en xy, cons-
truimos (w) y luego, a partir de (x) y de (w) construimos (z).
Ejercicio 2.1. Haga un dibujo que ilustre la demostracin del teorema an-
terior y diga cules son los axiomas que se han usado.
Corolario 2.1. a) Una dilatacin es inyectiva si y solamente si no es cons-
tante.
b) Si una dilatacin tiene ms de un punto fijo entonces es la identidad
de P.
Proposicin 2.2. Sea una dilatacin. Si existen x, y P tales que x 6=
(x), y 6= (y) y x(x) y(y) entonces
a) tiene un punto fijo c (forzosamente nico) y
b) para todo z P {c} , (z) est en la lnea zc.
Demostracin. a) Sea c el nico punto en x(x) y(y). Sabemos que (c)
est en la lnea paralela a xc que pasa por (x). Esta lnea es precisamente
xc. De la misma manera (c) est en yc. Por consiguiente (c) = c.
b) Sea z 6= c. Sabemos que (z) est en la lnea paralela a zc que pasa
por (c). Por consiguiente (z) est en zc.
Definicin 2.2. Una dilatacin con puntos fijos se llama homotecia. Una
dilatacin que no tiene un nico punto fijo se llama traslacin.
Ntese que la identidad es a la vez una homotecia y una traslacin y que
toda funcin constante de P en P es una homotecia.
Ejercicio 2.2. Encuentre todas las homotecias en los planos afines P4 y P9 .
Proposicin 2.3. Toda dilatacin no constante es una funcin biyectiva de
P en P.
Demostracin. Sea una dilatacin no constante. Por el Corolario 2.1 es
inyectiva. Ahora, consideremos dos puntos distintos x y y y sus correspon-
dientes imgenes. Tenemos que (x) 6= (y). Sea ahora m P y supongamos
que m / (x)(y). Sean L la lnea paralela a (x)m que pasa por x y M la
lnea paralela a (y)m que pasa por y. Es claro que L M luego existe un
un nico punto z L M. Se verifica fcilmente que (z) = m.
12
13
Ejercicio 2.3. Complete la prueba de la proposicin estudiando el caso en

que m (x)(y).
Ejercicio 2.4. Pruebe que si es un dilatacin no constante y L es una

lnea, entonces (L) tambin es una lnea.
Teorema 2.2. Toda traslacin est completamente determinada por su valor

en un punto.
Demostracin. Sean una traslacin y x un punto. Supongamos que cono-

cemos (x). Si (x) = x entonces es una traslacin con puntos fijos y por
lo tanto es 1P . Supongamos entonces que (x) 6= x y sea z
/ x (x). Sabemos
que (z) est en la lnea L paralela a xz que pasa por (x) y tambin est
en la lnea M paralela a x (x) que pasa por z. Como L M, (z) es el nico
punto en L M.
Ejercicio 2.5. Complete la prueba del teorema estudiando el caso en que

z x (x).
Ejercicio 2.6. Muestre que en el plano de Moulton:

a) Las traslaciones son exactamente las funciones de la forma
(x, y) 7 (x + a, y).
b) Los puntos fijos de las homotecias distintas de 1P estn sobre el eje x.
Definicin 2.3. Llamaremos D al conjunto de todas las dilataciones no

constantes de P y T al conjunto de todas las traslaciones de P.
Teorema 2.3. a) (D, ) es un grupo

b) (T , ) es un sub-grupo de (D, ).
Demostracin. a) Las dilataciones no constantes son biyectivas, luego la com-

puesta de dos dilataciones no constantes no puede ser constante. Como sabe-
mos que compuesta de dilataciones es dilatacin, tenemos que D es estable
para composicin. Tenemos que 1P es una dilatacin no constante, luego en
D hay un elemento neutro para la composicin. Slo falta ver que la inversa
de cualquier dilatacin no constante es una dilatacin (obviamente no cons-
tante). Sea una dilatacin no constante y sea L una lnea. Consideremos
dos puntos z y w en L. Como es sobre, existen x y y tales que (x) = z y
(y) = w. Como x 6= y podemos pensar en la lnea M que pasa por x y y.
13
Tenemos que M k L y adems (M ) = L , luego 1 (L) M . As, 1 es

una dilatacin.
b) Sea una traslacin. Para ver que 1 es una traslacin basta pro-
bar que si tiene un punto fijo entonces es la identidad. Supongamos que
1 (x) = x para algn punto x. Entonces (x) = x y as, como es trasla-
cin, forzosamente = 1P . Conclumos que 1 = 1P .
Veamos ahora que T es estable para composicin. Sean y dos trasla-
ciones y supongamos que existe un punto x tal que (x) = x. Entonces
(x) = 1 (x) y como las traslaciones estn determinadas por la imagen de
un solo punto tendremos que = 1 . As, = 1P .
Ejercicio 2.7. Muestre que en el plano P9 , D es un grupo no abeliano de

orden 18 y T es un grupo abeliano de orden 9 isomorfo a Z3 Z3 . Verifique
adems que D tiene exactamente 9 sub-grupos de orden 2 y un sub-grupo de
orden 9. (Ayuda: use teora de Sylow).
Teorema 2.4. (T , ) es un sub-grupo normal de (D, ).
Demostracin. Sean D y T . Supongamos que x es un punto fijo

de 1 . Entonces 1 (x) = 1 (x) y as 1 (x) es un punto fijo
de la traslacin . Por consiguiente = 1P y 1 = 1P . Hemos
probado que si 1 tiene un punto fijo entonces es la identidad, luego
1 T .
Veamos ahora otros sub-grupos de (D, ).
Definicin 2.4. a) Si es una homotecia que tiene al punto c como punto

fijo, diremos que es una homotecia de centro c.
b) Llamaremos Hc al conjunto de todas las homotecias no constantes de
centro c.
c) Llamaremos H al conjunto de todas las homotecias no constantes.
S
Es claro entonces que H = Hc y que si c 6= e entonces Hc He = {1P } .
cP
Adems tenemos que D = H T y H T = {1P } .
Proposicin 2.4. Para cada c P, (Hc , ) es un sub-grupo de (D, ).
Demostracin. Tenemos que 1P Hc , luego Hc 6= . Sean ahora , Hc .

Sabemos que 1 es una dilatacin y es claro que c es un punto fijo de
1 . Por consiguiente 1 Hc .
14
15
Ejemplo 2.1. En el plano P9 , los sub-grupos de D de orden 2 son exacta-

mente los sub-grupos de la forma Hc con c P.
Para cada D tenemos que b : D D : 7 1 es un isomorfis-
mo de grupos. Adems si K es un sub-grupo de D entonces b(K) es tambin
un sub-grupo y b K : K b(K) es un isomorfismo. Como consecuencia de
esta observacin, tenemos la siguiente proposicin:
Proposicin 2.5. Para cada T y cada c P , b(Hc ) = H (c) y por lo
tanto Hc y H (c) son grupos isomorfos.
Demostracin. Sea Hc . Tenemos que b()( (c)) = 1 ( (c)) =
(c) = (c), luego b() H (c) . Hemos probado que b(Hc ) H (c) . Sea
ahora H (c) . Por lo que acabamos de ver 1 H 1 ( (c)) = Hc y
es claro que b( 1 ) = . Concluimos que b(Hc ) = H (c) .
Si llamamos G al conjunto de todos los sub-grupos de D de la forma Hc ,
lo que dice la proposicin anterior es que T acta sobre G por conjugacin.
Para algunos puntos c puede tenerse que Hc = {1P } . Por ejemplo en el
plano de Moulton, si c no est sobre el eje x, se tiene que Hc = {1P } . Esto
muestra adems que no todos los subgrupos de la forma Hc son isomorfos
estre s.
Por otro lado puede tenerse que Hc sea isomorfo a He sin que exista
una traslacin tal que b(Hc ) = He . Nuevamente el plano de Moulton nos
proporciona un ejemplo adecuado: basta tomar dos puntos que no estn sobre
una lnea horizontal.
Proposicin 2.6. Sean Hp y Hq y sea T tal que (p) = q.
T = 1 1
Demostracin. ) Por la proposicin anterior, existe Hp tal que =

1 . Entonces 1 1 = 1 = T
y como 1 T , por ser T sub-grupo normal de D, tenemos que
1 T y por consiguiente T . Concluimos que = 1P , pues
y son homotecias del mismo centro, luego = 1 y = 1 1 .
) Si = 1 1 entonces = 1 1 y como
1 T tenemos que T .
Proposicin 2.7. Sean p, q P. Si existe T tal que (p) = q entonces
para todo Hp existe Hq tal que T = T .
15
Demostracin. Sea = 1 . Sabemos que Hq . Como T es un

subgrupo normal de D existe T tal que = , luego = 1 .
As, 1 T y entonces T = T .
Definicin 2.5. Diremos que el plano P es T sim etrico si para todo par
de puntos x, y P existe una traslacin T tal que (x) = y. En otras
palabras, P es T sim
etrico si el grupo T acta transitivamente sobre P.
Obsrvese que el plano de Moulton no es T sim

etrico mientras que el
plano euclidiano s lo es.
Proposicin 2.8. Si P es T sim etrico entonces para todo par de puntos

c, e P se tiene que Hc y He son grupos isomorfos.
Teorema 2.5. Si P es T sim

etrico entonces D/T es isomorfo a Hp , para
cualquier p P.
Demostracin. Sea : Hp D/T : 7 T . es claramente un homo-

morfismo de grupos (restriccin del homomorfismo cannico de D en D/T ).
ker T = T T Hp = {1P } ,
luego es inyectiva.
Sea ahora D . Por la Proposicin 2.7 tenemos que existe Hp tal
que T = T , luego es sobre.
Ejercicio 2.8. Muestre con un ejemplo que la compuesta de dos homotecias

puede ser una traslacin. Pruebe que en el plano P9 , la compuesta de dos
homotecias de centros diferentes siempre es una traslacin.
Definicin 2.6. Para cada L L definimos TL como el conjunto de las

traslaciones tales que (L) = L.
La siguiente proposicin es evidente.
Proposicin 2.9. Para cada L L, TL es un sub-grupo de T .
Ejercicio 2.9. Pruebe que si L k M entonces TL = TM y si M L entonces

TL TM = {1P } . Muestre tambin que si Q es un conjunto
S de representantes
de la relacin de paralelismo en L, entonces T = TL .
LQ
16
17
Ejercicio 2.10. Exhiba un ejemplo en el que TL no sea isomorfo a TM para

algn par de lneas L y M.
Ejercicio 2.11. Sean L y M lneas no paralelas y sea x L M. Pruebe

que si para cada y M existe T tal que (x) = y entonces existe un
homomorfismo inyectivo de TL en TM . (Ayuda: use proyecciones paralelas).
Ejercicio 2.12. Pruebe que si P es T sim

etrico entonces TL es isomorfo
a TM para todo par de lneas L y M.
Proposicin 2.10. Para cada L L, TL es un sub-grupo normal de D y

por lo tanto un sub-grupo normal de T .
Demostracin. Sean L una lnea, una traslacin y una dilatacin no

constante. Supongamos que (L) = L. Sabemos que 1 (L) es una lnea
paralela a L, luego ( 1 (L)) = 1 (L). Por consiguiente, 1 (L) = L
y as, 1 TL .
Definicin 2.7. Si TL {1P } entonces la direccin de L se llama la

direccin de .
17
18
CAPTULO 3
Planos con grupo de traslaciones conmutativo
Uno de los problemas que no he podido resolver en esta teora es el de la

existencia de planos afines cuyo grupo de traslaciones no sea conmutativo. En
[A] se afirma que un plano as es concebible, pero no se da ningn ejemplo ni
una indicacin de cmo construirlo. Por mi parte no he encontrado referencia
alguna sobre este tema ni he logrado obtener resultados en este sentido. Como
veremos en la Seccin 3.1, si un plano afn tiene suficientes traslaciones,
entonces su grupo de traslaciones es conmutativo. En particular, este es el
caso de los planos T sim etricos. En la Seccin 3.2 mostraremos cmo a
cada plano T sim etrico se le puede asociar un cuerpo (no necesariamente
conmutativo). Finalmente la Seccin 3.3 la dedicamos al Teorema de Tales.
3.1. Sobre la conmutatividad del grupo de tras-

laciones
Veremos aqu una condicin suficiente para que el grupo de traslaciones
sea conmutativo.
Proposicin 3.1. Si y son traslaciones con direcciones diferentes en-

tonces = .
19
20 CAPTULO 3. PLANOS CON GRUPO DE TRASLACIONES CONMUTATIVO
Figura 3.1: Traslaciones en direcciones diferentes
Demostracin. Sea x P. Como las direcciones de y son diferentes,

tenemos que x(x) 6= x(x). (x) est en la lnea paralela a x(x) que
pasa por (x) y en la lnea paralela a x(x) que pasa por (x). (x) est
en la lnea paralela a x(x) que pasa por (x) y en la lnea paralela a x(x)
que pasa por (x). Por consiguiente (x) = (x).
Teorema 3.1. Si en el plano P existen traslaciones con direcciones diferentes
entonces (T , ) es un grupo conmutativo.
Demostracin. Basta ver que si y son traslaciones con la misma direccin
entonces = . Sea una traslacin en una direccin diferente a la
de . Como y tienen direcciones diferentes entonces =
= . Es claro que no tiene la misma direccin que ,
luego = . As, = y como es inversible
concluimos que = .
Ejercicio 3.1. Muestre que en la demostracin anterior y tienen
direcciones diferentes. Pruebe tambin que y tienen direcciones dife-
rentes.
Corolario 3.1. Si P es T sim
etrico entonces (T , ) es un grupo conmu-
tativo.
Demostracin. Basta observar que si P es T sim etrico entonces hay trasla-
ciones con direcciones diferentes. En efecto, sabemos que existen tres puntos
no colineales x, y, z. Si , T son tales que (x) = y y (x) = z es claro
que y tienen direcciones diferentes.
20
RICO
3.2. CUERPO ASOCIADO A UN PLANO T SIM ET 21
Ejercicio 3.2. Pruebe que el plano de Moulton no es T sim

etrico pero su
grupo de traslaciones es conmutativo.
Problema 3.1. Existe algn plano afn para el cual el grupo de las trasla-
ciones no sea conmutativo?
3.2. Cuerpo asociado a un plano T sim

etrico
En esta seccin supondremos que el grupo de traslaciones es conmutativo
y utilizaremos notacin aditiva para la composicin.
El siguiente es un resultado bien conocido de lgebra abstracta:
Proposicin 3.2. Si (G, +) es un grupo abeliano entonces (End(G), +, )
es un anillo con unidad.
En esta proposicin End(G) es el conjunto de todos los homomorfismos
de grupo de G en G, la suma es la que se define puntualmente y el producto
es la composicin. Como caso particular tenemos que (End(T ), +, ) es un
anillo con unidad.
Definicin 3.1. Diremos que End(T ) preserva direccin si para toda
L L se tiene que (TL ) TL .
Ejemplo 3.1. a) El homomorfismo constante de valor 1P es un endomorfismo
de T que preserva direccin. Como este es el elemento neutro de la suma en
End(T ) a este endomorfismo lo llamaremos 0.
b) El homomorfismo idntico es un endomorfismo de T que preserva di-
reccin. Como este es el elemento neutro de la multiplicacin en End(T ) a
este endomorfismo lo llamaremos 1.
Definicin 3.2. Llamaremos K al conjunto de todos los endomorfismos de
T que preservan direccin.
Ejemplo 3.2. En el plano de Moulton, si L es el eje x entonces T = TL y en-
tonces todo endomorfismo preserva direccin. Por consiguiente K = End(T ).
Ejercicio 3.3. Muestre que en el plano P4 , T es isomorfo al grupo de Klein
(Z2 Z2 ). Pruebe que K = {0, 1} .
Ejercicio 3.4. Muestre que en el plano P9 , T es isomorfo a Z3 Z3 . Pruebe
que K = {0, 1, 2} donde 2 : T T : 7 + .
21
Proposicin 3.3. K es un sub-anillo de End(T ).
Demostracin. Sean , K y sea TL . Tenemos que ( ), ( ) TL ,

luego ( )( ) = ( ) ( ) TL y ( ) = (( )) TL .
b : T T : 7 1 entonces
Proposicin 3.4. Sea D. Si
b K.
b es un endomorfismo de T y por la Proposicin

Demostracin. Es claro que
2.10 tenemos que
b preserva direccin.
Tenemos entonces que D
b = {b
: D} es un sub-conjunto de K.
Proposicin 3.5. D
b=H
b
Demostracin. Basta observar que si T entonces b = 1T .
Proposicin 3.6. Una dilatacin que conmuta con una traslacin no trivial
es una traslacin.
Demostracin. Sean una dilatacin y 6= 1P una traslacin tal que =

. Supongamos que c es un punto fijo de . Tenemos que (c) =
(c) = (c) luego (c) 6= c es un un punto fijo de y por consiguiente
= 1P . Concluimos que es una traslacin.
b = b si y solo 1 T .
Proposicin 3.7. Sean , D.
Demostracin.
b = b ( T ) 1 = 1

( T ) 1 = 1

As, 1 es una dilatacin que conmuta con todas las traslaciones y por
consiguiente es una traslacin.
La recproca es evidente pues T es conmutativo.

etrico entonces D
b=H
cp para cualquier p P.
Ejercicio 3.5. Pruebe que si K {0} entonces : T T es inyectiva.
Ejercicio 3.6. Pruebe que T es un K m odulo (a izquierda) donde la

multiplicacin por escalar est definida por = ( ).
22
RICO
3.2. CUERPO ASOCIADO A UN PLANO T SIM ET 23
Teorema 3.2. Si P es T sim

etrico entonces K = D
b {0} .
Demostracin. Dados dos puntos x, y P notaremos xy a la traslacin que

enva x en y. Sea ahora K {0} y fijemos un punto p P. Definimos
: P P : x 7 (px )(p).
Debemos ver que es una dilatacin y que = b. Notemos primero que p

es un punto fijo de pues (p) = (pp )(p) = (1P )(p) = 1P (p) = p.
es una dilatacin: Sea L una lnea y sean x, y L dos puntos distintos.
py = xy px luego (py ) = (xy ) (px ) . As, (py ) (p) = (xy ) ( (px ) (p)) ,
luego (y) = (xy ) ((x)) . Como preserva direccin y xy tiene la direc-
cin de L, concluimos que (xy ) tiene la direccin de L y por consiguiente
(x) = (y) o bien (x)(y) k L. Esto implica que es una dilatacin. Si
es constante entonces (px )(p) = (pp )(p) = (1P )(p) = 1P (p) = p para
todo x P. Por lo tanto = 0 lo cual es absurdo. Concluimos as que es
una homotecia no constante de centro p y por consiguiente es inversible.
= b : Sea ahora T y sea y = (p). Entonces = py y as,
(y) = (py )(p) = (py )((p)) = ( )((p)).
Por lo tanto
(p) = y = 1 ( ) (p)
y como las traslaciones quedan determinadas por su valor en un punto te-
nemos que = 1 ( ) , de donde ( ) = 1 .

etrico entonces K es un cuerpo (no necesaria-
mente conmutativo).
Demostracin. Basta observar que todo elemento no nulo de K es inversible.
Corolario 3.4. Si P es T sim etrico entonces T es un espacio vectorial

sobre K y TL es un sub-espacio de T .
Problema 3.2. Cul es la dimensin de T sobre K ?Cul es la dimensin

TL de sobre K ?
Ejercicio 3.7. Pruebe que si y son traslaciones en direcciones diferentes

entonces y son linealmente independientes.
23
3.3. El Teorema de Tales

Los enunciados y demostraciones tradicionales del Teorema de Tales uti-
lizan las medidas de los segmentos involucrados, el clculo de reas de trin-
gulos y la nocin de ngulos congruentes. En esta seccin se presenta una
versin de este teorema en el contexto de los planos T simtricos. En este
contexto general es claro que no puede acudirse a longitudes, reas o ngulos
pues estas nociones ni siquiera estn definidas. Con las herramientas desa-
rrolladas en este trabajo, la prueba del teorema es extremadamente corta y
simple. Como podr constatarse, esta versin del teorema es equivalente a la
versin tradicional en el contexto de la geometra euclidiana.
Teorema 3.3. (Teorema de Tales) Sea P un plano T sim etrico y sean

L, M, N, Q y T lneas tales que Q L k M k N T. Llamemos a, b y c los
puntos de corte de Q con L, M y N respectivamente y e, f y g los puntos de
corte de T con L, M y N respectivamente. Si existe K tal que bc = ab
entonces f g = ef .
Demostracin. Sabemos que existe H tal que = 1 , para

todo T . Podemos suponer que el centro de es un punto q Q. Sean
ahora e0 , f 0 y g 0 los puntos de corte de Tq con L, M y N respectivamente. Es
claro que f 0 g0 = e0 f 0 1 . Adems tenemos que f 0 g0 = f g y e0 f 0 = ef ,
luego f g = ef 1 = ef .
24
3.3. EL TEOREMA DE TALES 25
Figura 3.2: Ilustracin del Teorema de Tales
25
26
CAPTULO 4
Planos simtricos
Como vimos en el captulo anterior el conjunto de las traslaciones de un

plano T simtrico tiene estructura de espacio vectorial sobre el cuerpo K.
Si se fija un punto, se establece una biyeccin entre el conjunto de traslaciones
y el conjunto de puntos del plano, lo que permite transferir a P la estructura
de espacio vectorial. La dimensin de este espacio sobre K es, en general,
desconocida para m. Si el plano tiene suficientes homotecias entonces es
posible probar que esta dimensin es dos, el plano es isomorfo a K K y las
lneas son exactamente los trasladados de los sub-espacios de dimensin uno.
4.1. Planos como espacios vectoriales

En lo que sigue P ser siempre un plano T simetrico. Por consiguiente,
K es un cuerpo y T es un espacio vectorial sobre K.
De ahora en adelante fijaremos un punto o P . A la pareja (P, o) la
llamaremos plano punteado y lo notaremos Po . La siguiente proposicin es
evidente.
Proposicin 4.1. : T Po : 7 (o) es una biyeccin.
Utilizando esta biyeccin, podemos transferir la estructura algebraica de
27
28 CAPTULO 4. PLANOS SIMTRICOS
T a Po definiendo
x + y = 1 (x) + 1 (y)

y
x = 1 (x) = 1 (x) (o) .

Tenemos as el siguiente resultado:
Proposicin 4.2. a) Po es un espacio vectorial sobre K, isomorfo a T .

b) Cada lnea L que pasa por o es un sub-espacio de Po , isomorfo a TL .
Fijemos ahora y dos traslaciones con direcciones diferentes. Es claro

que la aplicacin
, : K K T : (, ) 7 +
es una transformacin lineal. Calculemos el ncleo de , :
(, ) ker , + = 0.
Como y son linealmente independientes, por ser de direcciones diferentes,
tanto como deben ser nulos. Por consiguiente ker , = {(0, 0)} y as
, es inyectiva. Concluimos el siguiente resultado:
Proposicin 4.3. dimK T = dimK Po 2.
Es claro que , es sobre si y solo si dimK T = 2.
Problema 4.1. Es , una biyeccin?Existen planos afines para los cuales

dimK T 6= 2?
Problema 4.2. Las proyecciones paralelas sobre lneas que pasan por o son
transformaciones lineales?
Supongamos ahora que , es una aplicacin sobre. Sea L la lnea que

pasa por o en la direccin de . Sean u, z L {o}. Existen traslaciones ,
tales que (o) = z y (o) = u. Existen , K tales que = + .
Como la direccin de es la misma direccin de tenemos que = 0 y as
= . De igual manera tenemos que = para algn K. Debido a
28
4.1. PLANOS COMO ESPACIOS VECTORIALES 29
que P es T sim etrico, K = H co {0} y por consiguiente existen , Ho

tales que = 1 y = 1 . Sea ahora = 1 . As,
(u) = 1 (u)
= 1 (o)
= 1 ( (o))
= 1 1 (o)
= 1 (o)
= 1 1 (o)
= ((o))
= (o)
= z.
Hemos probado la siguiente proposicin:
Proposicin 4.4. Si , es sobre y L es la lnea que pasa por o en la

direccin de , entonces Ho acta transitivamente sobre L {o} .
Proposicin 4.5. Si L es una lnea que pasa por o y Ho acta transitiva-

mente sobre L {o} entonces para toda lnea M que pase por o se tiene que
Ho acta transitivamente sobre M {o} .
Corolario 4.1. Si , es sobre entonces para toda lnea M que pase por o
se tiene que Ho acta transitivamente sobre M {o} .
Definicin 4.1. Diremos que P es H sim etrico si para todo punto p P

y toda lnea L que pase por p se tiene que dados dos puntos x, y L {p}
exise Hp tal que (x) = y. En otras palabras, P es H simetrico si para
todo punto p P y toda lnea L que pase por p se tiene que el grupo Hp
acta transitivamente sobre L {p} .
Teorema 4.1. Si existe una lnea L tal que Hp acta transitivamente sobre
L {p} para algn p L, entonces P es H sim
etrico.
Demostracin. Sean L una lnea y sea p L tal que Hp acta transitivamente

sobre L {p} . Consideremos un punto q P y la lnea M paralela a L que
pasa por q. Sea la traslacin que enva a p en q y sean z, u M {q} . Sea
29
N la lnea que pasa por p y q. Definimos x = 1 (z) y y = 1 (u). Tenemos

que x, y L {p} luego existe Hp tal que (x) = y. Si definimos
= 1 entonces Hq y
(z) = 1 ( (x))
= (x)
= (y)
= u.
Concluimos que Hq acta transitivamente sobre M {q}. Por la Proposicin

4.5 esto es suficiente para tener que P es H sim
etrico.
Corolario 4.2. Si , es sobre entonces P es H sim

etrico.
Veremos ms adelante que la recproca tambin es vlida.
4.2. Teoremas de Desargues

El Teorema de Desargues cuyo enunciado es dos tringulos estn en pers-
pectiva desde un punto si y slo si estn en perspectiva desde una recta es en
realidad un teorema de geometra proyectiva. En esta seccin se presentan
dos casos de este teorema en geometra afn. Para ponerlos en el contexto
proyectivo basta reemplazar lneas paralelas por lneas que se cortan en un
punto en el infinito. En esta seccin se dan condiciones necesarias y suficien-
tes para que estos teoremas se satisfagan en un plano afn. Los planos afines
en los que se satisfacen estos teoremas se llaman planos desarguesianos.
Teorema 4.2. (Teorema de Desargues para paralelas) En un plano T

simetrico se cumplen las siguientes afirmaciones:
a) Sean L, M, N tres lneas paralelas y sean x, x0 L, y, y 0 M, z, z 0 N.
Si xy k x0 y 0 y yz k y 0 z 0 entonces xz k x0 z 0 .
b) Sean L, M, N tres lneas y sean x, x0 L, y, y 0 M, z, z 0 N. Si
xy k x0 y 0 , yz k y 0 z 0 , xz k x0 z 0 y L k M entonces N k L.
Demostracin. a) Sea la traslacin que enva x en x0 . Las hiptesis nos

dicen que (y) = y 0 y (z) = z 0 . Por consiguiente, xz debe ser paralela a x0 z 0 .
b) Sea la traslacin que enva x en x0 . Calculemos (z) :
30
4.2. TEOREMAS DE DESARGUES 31
Figura 4.1: Ilustracin del Teorema de Desargues para paralelas
Figura 4.2: Ilustracin del Teorema de Desargues para concurrentes
(z) est en la paralela a L que pasa por z y en la paralela a xz que pasa

por x0 . Es decir, (z) Lz x0 z 0 . Por otro lado, (z) est en la paralela a M
que pasa por z y en la paralela a yz que pasa por y 0 . Es decir, (z) Lz y 0 z 0 .
As, (z) y 0 z 0 x0 z 0 , luego (z) = z 0 . Por consiguiente N k L.
Ejercicio 4.2. Pruebe que si se cumple la parte a) del Teorema de Desargues
para paralelas entonces el plano P es T simetrico.
Teorema 4.3. (Teorema de Desargues para concurrentes) En un plano H
sim etrico se cumplen las siguientes afirmaciones:
a) Sean L, M, N tres lneas concurrentes y sean x, x0 L, y, y 0 M,
z, z N. Si xy k x0 y 0 y yz k y 0 z 0 entonces xz k x0 z 0 .
0
b) Sean L, M, N tres lneas y sean x, x0 L, y, y 0 M, z, z 0 N. Si

xy k x0 y 0 , yz k y 0 z 0 , xz k x0 z 0 y L M entonces L, M y N son concurrentes.
Demostracin. a) Sea o el punto de corte de las tres lneas. Sea la homotecia

que enva x en x0 . Las hiptesis nos dicen que (y) = y 0 y (z) = z 0 . Por
consiguiente, xz debe ser paralela a x0 z 0 .
31
b) Sea o el punto de corte de L y M. Sea la homotecia que enva x en

0
x . Calculemos (z) :
(z) est en oz y en la paralela a xz que pasa por x0 . Es decir, (z)
oz x0 z 0 . Por otro lado, (z) est en oz y en la paralela a yz que pasa por
y 0 . Es decir, (z) oz y 0 z 0 . As, (z) y 0 z 0 x0 z 0 , luego (z) = z 0 . Por
consiguiente o zz 0 y L, M y N son concurrentes.
Ejercicio 4.3. Pruebe que si se cumple la parte a) del Teorema de Desargues

para concurrentes entonces el plano P es H sim etrico.
etrico si es T sim
Definicin 4.2. Diremos que el plano P es sim etrico y
H simetrico.
La siguiente proposicin es ahora evidente:
Proposicin 4.6. Un plano afn es simtrico si y solamente si es un plano

en el que se cumplen los Teoremas de Desargues.
Nota 4.1. Un plano afn en el que se cumplen los Teoremas de Desargues

tambin es llamado plano desarguesiano. En este texto los trminos plano
simtrico y plano desarguesiano son entonces sinnimos.
Supongamos que P es H sim etrico y sea una traslacin. Sean e =

(o), f = (o), w = (o), L = oe y M = of . Consideremos los puntos
u = pM,L (w) y v = pL,M (w). Por hiptesis, existen , Ho tales que
(e) = u y (f ) = v. Si definimos =
b y = b, tenemos que
( + ) (o) = 1 1 (o)
= 1 (o)
= 1 (f )
= 1 (v).
Como 1 (v) M tenemos que o 1 (v) = M , luego (o) ( 1 (v)) k M. Por

consiguiente e ( 1 (v)) k uw. De la misma manera vemos que 1 (v) ( 1 (v)) k
vw. Tomando x = e, x0 = u, y = f, y 0 = v, z = ( 1 (v)), z 0 = w vemos que
se cumplen las hiptesis de la parte b) del Teorema de Desargues para concu-
rrentes y por consiguiente ( 1 (v)) ow. Esto implica que ( ( 1 (v))) =
w. As, ( + ) (o) = w y concluimos que + = .
Hemos probado el siguiente teorema:
32
4.3. PLANOS SIMTRICOS 33
Teorema 4.4. Sea P un plano T sim

etrico y sean , traslaciones en
direcciones diferentes. Si
, : K K T : (, ) 7 +
entonces las siguientes afirmaciones son equivalentes:

(i) , es sobre.
(ii) P es H sim etrico.
(iii) dimK T = 2.
(iv) dimK Po = 2.
Corolario 4.3. Todo plano simtrico es un espacio vectorial de dimensin

dos sobre K.
4.3. Planos simtricos

En esta seccin supondremos siempre que P es un plano simtrico. Por
consiguiente Po es un espacio vectorial de dimensin 2 sobre K.
Proposicin 4.7. Sea Ho y sea =

b. Para cada v Po se tiene que
v = (v).
Demostracin. v = (1 (v)) (o) = (ov )(o) = ov 1 (o) =

ov (o) = (v).
Ejercicio 4.4. Sea L una lnea que pasa por o y sea u L {o} . Pruebe
que
: K L : 7 u
es una biyeccin. De esta manera tenemos que L tiene estructura de cuerpo
(isomorfo a K).
Proposicin 4.8. Las siguientes afirmaciones son equivalentes:

a) L es una lnea que pasa por o.
b) L es un sub-espacio de dimensin 1 de Po .
Demostracin. a) b) : Sea v L {o} y sea V el sub-espacio de Po

generado por v. Queremos ver que V = L.
Si x L {o} , existe Ho tal que (v) = x. Entonces
bv = x y
como b K, tenemos que x V.
33
Recprocamente, si x V {o} entonces existe K {o} tal que

v = x. Por lo tanto, existe Ho tal que =
b. As, x = v = (v) y
x ov = L.
b) a) : Ejercicio.
Proposicin 4.9. Si x, y P entonces xy = o(yx) .
Demostracin. Basta observar que, por definicin de la suma en Po , tenemos

que y x = (o) donde = oy ox = oy + xo = xy .
Teorema 4.5. L L si y solo si existen v, p Po tales que v 6= o y

L = p + K v.
Demostracin. Sean L L, p, q L con p 6= q y definamos v = q p.

Sea ahora x L. Como px = o(xp) y esta traslacin tiene la misma
direccin que pq = ov es claro que x p est en ov. Por consiguiente, existe
K tal que v = x p. As, x = p + v p + K v. Por lo tanto,
L p + K v. Por otro lado, si z = p + v, con K, entonces z p ov
y o(zp) = pz . As, z est en la lnea paralela a ov que pasa por p que es
igual a pq = L.
Recprocamente, sea L = p + K v donde v 6= o. Como L = op (ov),
tenemos que L es una lnea.
Ejercicio 4.5. En la demostracin del teorema anterior, pruebe que L =

op (ov).
Hemos probado que si P es un plano simtrico, entonces Po es un espacio

vectorial de dimensin 2 sobre K y las lneas son precisamente los trasladados
de los sub-espacios de dimensin 1.
34
CAPTULO 5
De los cuerpos a los planos afines
En este captulo mostraremos cmo a partir de un cuerpo cualquiera po-

demos construir un plano afn simtrico, de tal manera que el cuerpo de los
endomorfismos de T que preservan direccin sea isomorfo al cuerpo dado.
Sea F un cuerpo (no necesariamente conmutativo) y sea Q un espacio vec-
torial de dimensin 2 sobre F (por ejemplo F F ).
Teorema 5.1. Si definimos M = {q + F v : q Q y v 6= 0} entonces (Q, M)

es un plano afn.
Ejercicio 5.1. Suponga que v, w 6= 0. Pruebe que:

i) q + F v = r + F w si y solo si w y r q estn el sub-espacio de Q
generado por v.
ii) q + F v r + F w = si y solo si w est en el sub-espacio generado
por v y r q no es mltiplo de v.
iii) Si q +F v r+F w tiene ms de un punto entonces q +F v = r+F w
Demostracin. Axioma 1: Sean x, y Q con x 6= y. Si tomamos v = y x

tendremos que x, y x + F v. Ahora bien, si x, y r + F w entonces
x + F v = r + F w pues en la interseccin hay ms de un punto.
Axioma 2: Sean x Q y q + F v M. Tenemos que x x + F v y
adems q + F v = x + F v o q + F v x + F v = . Por consiguiente
35
36 CAPTULO 5. DE LOS CUERPOS A LOS PLANOS AFINES
q + F v k x + F v. La unicidad se concluye de la parte i) del ejercicio

anterior.
Axioma 3: Como Q es de dimensin 2, existen v y w linealmente inde-
pendientes. Por consiguiente o, v y w no pueden estar sobre la misma lnea.
As, (Q, M) es un plano afn.
Ejercicio 5.2. Pruebe que si F y q Q entonces la funcin
: Q Q : x 7 x + q
es una dilatacin. Muestre, adems, que es una traslacin si y slo si = 1.
Ejercicio 5.3. Pruebe que si es una dilatacin del plano afn (Q, M)
entonces existen F y q Q tales que (x) = x + q para todo x Q.
Proposicin 5.1. (Q, M) es un plano afn simtrico.
Demostracin. Sean u, v Q. Si definimos q = v u y (x) = x+q, entonces
v = u + q = (u). Por consiguiente (Q, M) es T sim etrico.
Por otro lado, sean p, u y v tres puntos alineados. Si tomamos u0 = u p
y v0 = v p, tenemos que u0 y v0 son linealmente dependientes, luego existe
F tal que u0 = v0 . As, si q = p p,
u+q = (u0 + p) + q
= u0 + p + p p
= v0 + p
= v,
luego la dilatacin definida por (x) = x+q es tal que (p) = p y (u) = v.
Por consiguiente (Q, M) es H sim etrico.
Proposicin 5.2. El cuerpo de los endomorfismos del grupo de traslaciones
de (Q, M) que preservan direccin es isomorfo a F.
Demostracin. Sea K el cuerpo de los endomorfismos del grupo de trasla-
ciones de (Q, M) que preservan direccin. Para cada F y cada T ,
definimos la siguiente traslacin: () ( ) : Q Q : x 7 x + (0).
Tenemos que
()( + )(x) = x + ( + )(0)
= x + ( (0) + (0))
= x + (0) + (0)
= (()( ) + ()()) (x).
36
37
As, () es un endomorfismo de T y : F K. Veamos que es un

homomorfismo de anillos:
( + )( )(x) = x + ( + ) (0)
= x + (0) + (0)
= (()( ) + ()( )) (x) ,
luego ( + ) = () + ().
()( )(x) = x + () (0)

= x + ( (0))
= ()()( )(x),
luego () = ()().
Como F es un cuerpo, es claro que es inyectiva. Sea ahora K {0} .
Sabemos que existe una homotecia de centro 0 tal que = b. Si escogemos
un u Q {0} tenemos que u y (u) son linealmente dependientes, luego
existe F tal que u = (u). Afirmamos que = (). En efecto,
()( )(x) = x + (0)

= x + ( (0))
= 1 (x)
=
b( )(x)
= ( )(x).
Ejemplo 5.1. Hagamos la construccin que acabamos de describir para el

caso del cuerpo Z5 . El conjunto de puntos lo podemos representar como en la
Figura 5.1. A continuacin, en la Figura 5.2, dibujamos las lneas que pasan
por c = (0, 0):
L = {t(1, 0) : t Z5 } ; M = {t(1, 1) : t Z5 } ; N = {t(1, 2) : t Z5 } ;
Q = {t(1, 3) : t Z5 } ; R = {t(1, 4) : t Z5 } ; T = {t(0, 1) : t Z5 } .
De ahora en adelante a este plano lo llamaremos P25 .
Problema 5.1. Sabemos que todo plano afn T sim etrico produce un
cuerpo K y que este cuerpo produce un plano afn simtrico. Es este nuevo
37
Figura 5.1: Plano afn de 25 puntos
Figura 5.2: Lneas que pasan por c
38
39
plano isomorfo al plano original? Si la respuesta es afirmativa, tendramos

que la T simetra implicara la H simetra. La pregunta entonces puede
reformularse de la siguiente manera: Existe un plano afn T sim etrico
que no sea H sim etrico? O bien existe un plano afn T sim etrico cuya
dimensin sobre K sea mayor que dos?
Problema 5.2. Para precisar un poco ms el problema anterior, habra que

definir lo que significa que dos planos afines sean isomorfos. Cmo podemos
definir la nocin de morfismo de planos afines, de tal manera que el meca-
nismo que transforma planos afines en cuerpos y el mecanismo que transforma
cuerpos en planos afines sean funtoriales? En este caso son estos dos funtores
adjunto el uno del otro?constituyen una equivalencia de categoras?
Definicin 5.1. Diremos que un plano afn simtrico es de caracterstica p

si su cuerpo asociado es de caracterstica p.
Ejercicio 5.4. Sea P un plano afn simtrico. Un paralelogramo es una cu-

drupla (a, b, c, d) de puntos no alineados de P tales que ab k cd y ad k bc. Las
diagonales del paralelogramo (a, b, c, d) son las lneas ac y bd.
a) Pruebe que las diagonales de un paralelogramo son paralelas si y solo
si la caracterstica de P es 2.
b) Suponga que la caracterstica de P es diferente de 2 y defina el punto
medio de dos puntos de P.
c) Pruebe que si la caracterstica de P es diferente de 2 entonces las
diagonales de un paralelogramo se cortan en su punto medio.
39
40
CAPTULO 6
El teorema del hexgono de Pappus
En este captulo se muestra una condicin necesaria y suficiente para que

el cuerpo de los endomorfismos de T sea conmutativo. Esta condicin se
cumple, en particular, en todos los planos afines finitos.
Definicin 6.1. Un hexgono es una sxtupla (a, b, c, d, e, f ) de puntos dis-

tintos en un plano afn. Dado un hexgono (a, b, c, d, e, f ) se dice que (ab, de),
(bc, ef ), (cd, f a) son pares de lados opuestos.
Definicin 6.2. Diremos que un hexgono (a, b, c, d, e, f ) es de Pappus si los
puntos a, c y e son colineales y los puntos b, d y f son colineales.
Figura 6.1: Hexgono
41
42 CAPTULO 6. EL TEOREMA DEL HEXGONO DE PAPPUS
Ejercicio 6.1. 1) Dibuje en el plano euclidiano un hexgono de Pappus sobre

lneas paralelas y un hexgono de Pappus sobre lneas no paralelas.
2) Dibuje en el plano afn P9 , si es posible, un hexgono de Pappus sobre
lneas paralelas y un hexgono de Pappus sobre lneas no paralelas.
3) Dibuje en el plano afn P25 un hexgono de Pappus sobre lneas para-
lelas y un hexxono de Pappus sobre lneas no paralelas.
Teorema 6.1. Las siguientes afirmaciones son equivalentes para un plano

afn simtrico:
(1) El cuerpo K es conmutativo.
(2) Para todo p P , el grupo (Hp , ) es conmutativo.
(3) Para cada hxagono de Pappus, si dos pares de lados opuestos son
paralelos entonces el tercer par de lados opuestos tambin es paralelo.
Demostracin. La equivalencia de (1) y (2) es evidente.

Veamos que (2) implica (3):
Sea (a, b, c, d, e, f ) un hexgono de Pappus y sean L la lnea que contiene a
los puntos a, c y e y M la lnea que contiene a los puntos b, d y f. Supongamos
que ab k de y bc k ef. Si L y M no son paralelas, consideremos el punto p
en L M. Sean ahora y las homotecias de centro p tales que (a) = c y
(c) = e. As, (a) = e. Como ab k de tenemos que (b) = d. Ahora bien,
como bc k ef es claro que (b) = f . Entonces d = (b) = (b) = (f )
y por consiguiente af k cd. En el caso en que L y M sean paralelas, se
procede de la misma manera pero utilizando traslaciones (ntese que en este
caso no se usa la conmutatividad de la composicin de homotecias, sino la
conmutatividad de la composicin de traslaciones que se tiene por la simetra
del plano).
Veamos ahora que (3) implica (2):
Sea p un punto de P y sean , homotecias de centro p. Sean a y b dos
puntos de P no colineales con p. Definimos c = (a), f = (b), d = (f )
y e = (c). Por consiguiente d = (f ) = ((b)) y e = (c) = ((a)).
Tenemos as que (a, b, c, d, e, f ) es un hexgomo de Pappus tal que af k cd y
bc k ef. Por (3) concluimos que ab k de y por lo tanto = .
Ejercicio 6.2. En la demostracin del teorema anterior, haga los detalles

del caso en que las lneas L y M son paralelas.
Nota 6.1. El enunciado 3 del teorema anterior se conoce como Teorema del
hexgono de Pappus y es vlido en el plano euclidiano.
42
43
Definicin 6.3. Diremos que un plano afn es pappusiano si se cumplen las

condiciones del teorema anterior.
Un conocido teorema de Wedderburn nos dice que todo cuerpo finito es

conmutativo. Por consiguiente, tenemos el siguiente teorema:
Teorema 6.2. Todo plano afn simtrico finito es pappusiano.
Ejercicio 6.3. Exhiba un plano afn simtrico que no sea pappusiano. (Ayu-
da: busque primero un cuerpo que no sea conmutativo). En su ejemplo, cons-
truya explcitamente un hexgono de Pappus con dos pares de lados opuestos
paralelos pero con el tercer par de lados opuestos no paralelo.
43
44 CAPTULO 6. EL TEOREMA DEL HEXGONO DE PAPPUS
44
CAPTULO 7
Simetras centrales, simetras paralelas y

simetras ortogonales
Este captulo se dedica al estudio de nuevas transformaciones de un plano

afn en s mismo: las simeras centrales, las simetras paralelas y las simetras
ortogonales. Las simetras centrales son exactamente las homotecias no tri-
viales que coinciden con su inversa. A partir de stas se definen las simetras
paralelas. Las simetras ortogonales son simetras paralelas particulares y se
definen en planos en los que se ha escogido una ortogonalidad.
7.1. Simetras centrales

Definicin 7.1. Sea c un punto del plano. Se llama simetra central de centro
c a la funcin sc : P P , donde sc (x) es el nico punto del plano tal que la
traslacin que enva x en c es igual a la traslacin que enva c en sc (x). En
2
otras palabras sc (x) = xc (x) .
Ejercicio 7.1. En el plano P25 describa la simetra central de centro (0, 0)

y la simetra central de centro (1, 3).
Proposicin 7.1. Para todo c P se tiene que sc es una biyeccin de P en

P y adems sc = s1
c .
45
46 CAPTULO 7. SIMETRAS
Figura 7.1: Simetra central
Proposicin 7.2. Para todo c P se tiene que sc es una homotecia de

centro c.
Demostracin. Basta ver que sc es una dilatacin pues es claro que sc (c) = c.
Sea L una lnea y sean a y b dos puntos distintos de L y sea M = sc (a) sc (b).
Veamos que sc (L) M y M k L :
En primer lugar, ntese que
ab = cb ac
= ac cb
= csc (a) sc (b)c
= sc (b)sc (a) ,
luego M k L.
Ahora bien, si x L, por el mismo razonamiento anterior tenemos que
ax = sc (x)sc (a) , de donde concluimos que sc (x) M. As, sc (L) M.
La Proposicin 7.1 es una consecuencia inmediata de la siguiente obser-
vacin: si fijamos un punto o P, entonces so : Po Po : x 7 x.
Proposicin 7.3. Si el plano es de caracterstica dos entonces la nica si-

metra central es 1P .
Si el plano es de caracterstica diferente de dos entonces las simetras
centrales tienen un nico punto fijo.
Supondremos de ahora en adelante que la caracterstica del plano es dife-

rente de dos.
46
7.1. SIMETRAS CENTRALES 47
Figura 7.2: Compuesta de dos simetras centrales
2
Proposicin 7.4. Si p y q son dos puntos en P entonces sq sp = pq .
Demostracin. Sea x P y sea y = sp (x). Tenemos que
2

sq (sp (x)) = sq xp (x)
2 2

= yq xp (x)
= yq xp yq xp (x)
= pq pq (x).
El diagrama de la Figura 7.1 ilustra el razonamiento anterior.
Teorema 7.1. (Teorema de las tres simetras centrales) Si a, b, c son puntos

1
de P entonces sc sb sa = sd , donde d = ab (c).
Demostracin. Sabemos que toda simetra central es una homotecia, luego
47
1
s = sc sb sa es una dilatacin. Sea d = ab (c). Tenemos que
1

s(d) = sc sb sa ab (c)
2 1

= sc ab ab (c)
= sc (ab (c))
= sc (dc (c))
1
= dc (c)
1
= ab (c)
= d.
As, d es un punto fijo de s y por lo tanto s es una homotecia de centro d.
Por otro lado
s(c) = sc sb sa (c)
2

= sc ab (c)
2

= sc dc (c)
2
= dc (c)
2
= cd (c)
= sd (c).
Por consiguiente s = sd .
Definicin 7.2. Llamaremos C al conjunto de todas las simetras centrales
del plano P.
Proposicin 7.5. Toda traslacin es la compuesta de dos simetras centra-
les.
Demostracin. Sea 6= 1P una traslacin y sean a y b dos puntos tales que
b = (a). Si c es el punto medio de a y b es claro que = se sd , donde d es
el punto medio de a y c y e es el punto medio de c y b.
Proposicin 7.6. E = C T es un sub-grupo de D. Adems T es un sub-
grupo normal de E y E/T es isomorfo a Z2 .
Demostracin. Sabemos que T T = T y C C = T . Como toda traslacin
es la compuesta de dos simetras centrales, por el Teorema 7.1 concluimos
que T C = C y C T = C. As, es claro que E es un sub-grupo de D. Adems
T es normal en E pues T es normal en D. Evidentemente el ndice de T en
E es dos, luego E/T es isomorfo a Z2 .
Ejemplo 7.1. En el plano P9 se tiene que D = C T y H = C.
48
7.2. SIMETRAS PARALELAS 49
Figura 7.3: Simetra paralela
7.2. Simetras paralelas

Definicin 7.3. Sean L y M dos lneas no paralelas del plano afn. Se llama
simetra paralela a M con respecto a L a la funcin SLM : P P , tal que
SLM (x) = sc (x) donde c es el punto de corte de L con Mx .
Ejercicio 7.2. 1) En el plano P9 fije dos lneas no paralelas y describa la

simetra paralela a una de ellas con respecto a la otra.
Q
2) En el plano P25 describa la simetra SN . (Ver Ejemplo 5.1)
Las siguientes proposiciones se deducen inmediatamente de la definicin

de simetra paralela:
Proposicin 7.7. Toda simetra paralela es una biyeccin de P en P y

adems es su propia inversa.
Proposicin 7.8. Si L y M son dos lneas no paralelas entonces L es el

conjunto de puntos fijos de SLM . Adems, toda lnea paralela a M es invariante
bajo SLM , pero no punto a punto.
Proposicin 7.9. Si L y M son dos lneas no paralelas y N es una lnea

paralela a L entonces SLM (N ) es una lnea paralela a L.
49
Demostracin. Sean a y b dos puntos distintos en la lnea N y sean a0 y b0

los puntos de interseccin de L con Ma y Mb respectivamente. Tenemos que
aa0 = bb0 luego SLM (a) = aa0 (a0 ) y SLM (b) = bb0 (b0 ) = aa0 (b0 ) estn sobre la
lnea aa0 (N ). Concluimos que SLM (N ) = aa0 (N ) que es paralela a L.
Proposicin 7.10. Sean L y M dos lneas no paralelas y p un punto en L.

Si es una homotecia de centro p entonces SLM = SLM .
Demostracin. Sea a un punto de P diferente de p y sea b = (a) . Sean a0

y b0 los puntos de interseccin de L con Ma y Mb respectivamente. Tenemos
que (a0 ) = b0 y bb0 = aa0 1 . Adems
SLM ( (a)) = SLM (b)

= bb0 (b0 )
= aa0 1 (b0 )
= (aa0 (a0 ))
SLM (a) .

=
Proposicin 7.11. Si L y M son dos lneas no paralelas entonces

(i) SLM enva lneas en lneas.
(ii) SLM enva lneas paralelas en lneas paralelas.
(iii) SLM transforma paralelogramos en paralelogramos.
Demostracin. (i) Basta verificar el caso en que la lnea no es paralela a L.

Sea N una lnea no paralela a L y sea p el punto de interseccin de L y
N. Sean a y b dos puntos de N diferentes de p. Llamemos a la homo-
tecia de centro p que enva a en b. Por la Proposicin 7.10 tenemos que
SLM (b) = SLM (a) . As, SLM (a) y SLM (b) estn alineados con p. Concluimos
que SLM (ab) = SLM (a)SLM (b).
(ii) Basta verificar el caso en que las lneas no son paralelas a L. Sean N
y T dos lneas paralelas que no son paralelas a L. Sean p y q los puntos de
corte de L con N y T respectivamente y sea a un punto de N diferente de
p. Tenemos que b = pq (a) T. Sean a0 y b0 los puntos de corte de L con
Ma y Mb respectivamente. Es claro que pq = ab = a0 b0 = SLM (a)SLM (b) , luego

SLM (T ) = pq SLM (N ) y por consiguiente SLM (T ) k SLM (N ).
(iii) Es consecuencia inmediata de (ii).
50
7.2. SIMETRAS PARALELAS 51
Teorema 7.2. Si L es una lnea que pasa por o y M es una lnea no paralela
a L entonces SLM : Po Po es una transformacin lineal.
Demostracin. SLM respeta sumas porque transforma paralelogramos en pa-
ralelogramos. Veamos ahora que SLM respeta multiplicacin por escalar:
Sea K y sea u L. Sabemos que existe una homotecia , de centro
o, tal que u = (u). Entonces
SLM ( u) = SLM ( (u))

= SLM (u)

= SLM (u) .
Proposicin 7.12. Bajo las condiciones del teorema anterior, los valores
propios de SLM son 1 y 1. Los espacios propios correspondientes son E1 = L
y E1 = Mo .
Demostracin. Es claro que SLM (x) = x si y solamente si x L. Por lo
tanto 1 es un valor propio de SLM y E1 = L. Por otro lado tenemos que para
cada x Mo , SLM (x) = x. As, 1 es un valor propio de SLM . Adems,
necesariamente dimK E1 = 1, luego E1 = Mo .
Proposicin 7.13. Si L, M y N son tres lneas tales que L k N M
M
entonces SN SLM es una traslacin paralela a M .
Demostracin. Sean p y q los puntos de interseccin de M con L y N res-
M
pectivamente. Veamos que SN SLM = pq
2
:
0
Consideremos un punto x P. Sea x el punto de corte de L con Mx y
sea x00 el punto de corte de N conH Mx . Tenemos que
M
SN SLM (x) = sx00 sx0 (x)
= x20 x00 (x)
2
= pq (x) .
Teorema 7.3. (Teorema de las tres simetras paralelas de ejes paralelos) Si

L, M, N y T son lneas tales que L k N k T M entonces existe una lnea
H tal que H k L y STM SN
M
SLM = SH
M
.
51
Demostracin. Sea S = STM SN M

SLM y sea x P. Sean a, b y c los puntos
de corte de Mx con L, N y T respectivamente. Por el Teorema 7.1 tenemos
1
que S (x) = sc sb sa (x) = sd (x) , donde d = ab (c) . Si llamamos H a la
1 M
lnea ab (T ), es claro que S (x) = SH (x) .
7.3. Ortogonalidades
Suponemos en esta seccin que el plano P es simtrico.
Definicin 7.4. (Papy) Una ortogonalidad del plano P es una permutacin
simtrica y antirreflexiva de Dir P.
Si es una ortogonalidad de P y L, M son lneas de P, diremos que L M
si dir L dir M.
En otras palabras, una ortogonalidad es una biyeccin, sin puntos fijos,
de Dir P en s mismo, que es su propia inversa.
En un plano afn con un nmero par de puntos no es posible construir
una ortogonalidad. Por consiguiente los planos afines de caracterstica 2 no
tienen ortogonalidades.
Ejercicio 7.3. Construya una ortogonalidad sobre el plano P9 y una orto-
gonalidad sobre el plano P25 .
De ahora en adelante ser una ortogonalidad de P. Usaremos la notacin
(P, ) para designar un plano P en el que se ha escogido una ortogonalidad
.
Teorema 7.4. Sean L, M, N tres lneas del plano (P, ). Si L M y M N
entonces L k N.
Demostracin. Tenemos que dir M dir L y dir M dir N. Como es
una permutacin, forzosamente dir N = dir L luego L k N.
Teorema 7.5. Sean L una lnea y p un punto del plano (P, ). Existe una
nica lnea M tal que p M y M L.
Demostracin. Sea T una lnea tal que T L. Basta definir M = Tp .
Proposicin 7.14. Cada permutacin antirreflexiva y simtrica de K {0}
determina una ortogonalidad del plano simtrico P.
52
7.3. ORTOGONALIDADES 53
Figura 7.4: Lneas ortogonales en (R2 , )
Demostracin. Sea : K {0} K {0} una permutacin antirreflexiva

y simtrica. Fijemos un punto o P . As, Po es un espacio vectorial de
dimensin 2 sobre K. Sean L y T dos lneas que pasan por o tales que L T.
Fijemos un punto p en L y un punto q en T. Sabemos que los vectores
u =
op

y v = oq son una base de Po . Cada punto de la lnea { u +

S t v : t K}
determina una lnea Lt que pasa por o y Dir P = dir T dir Lt . La
tK
funcin
dir L 7 dir T
: Dir P Dir P : dir T 7 dir L
dir Lt 7 dir L(t) si t 6= 0

es una ortogonalidad de P.
1
Ejemplo 7.2. Definimos : K {0} K {0} : x 7 . Esta es
x
una permutacin antirreflexiva y simtrica de K {0} si y solamente si la
ecuacin x2 + 1 = 0 no tiene solucin en K. La ortogonalidad de K 2 asociada
con de acuerdo con la prueba de la Proposicin 7.14, tomando la base
cannica, se nota . Esta ortogonalidad corresponde a la nocin usual de
perpendicularidad en el plano R2 . En efecto, dos lneas son ortogonales si
una es vertical y la otra horizontal o bien el producto de sus pendientes es
1.
Ejemplo 7.3. Definimos : K {0} K {0} : x 7 x. Esta es una
permutacin antirreflexiva y simtrica de K {0} para todo cuerpo K de
53
Figura 7.5: Lneas ortogonales en (R2 , $)
caracterstica distinta de 2. La ortogonalidad de K 2 asociada con de acuerdo

con la prueba de la Proposicin 7.14, tomando la base cannica, la notaremos
$. En (R2 , $) dos lneas son ortogonales si una es vertical y la otra horizontal
o bien la suma de sus pendientes es 0.
Ejercicio 7.4. Construya otras ortogonalidades sobre R2 .
Ejercicio 7.5. Muestre que la funcin
1
: x 7
x
es una permutacin antirreflexiva y simtrica de K {0} si y solamente si la
ecuacin x2 + 1 = 0 no tiene solucin en K.
Ejercicio 7.6. Muestre que si K = Z3 entonces las ortogonalidades y $
coinciden.
Ejemplo 7.4. En el plano P25 , si definimos dirL dirT, dirM dirR y
dirN dirQ tenemos una ortogonalidad.
7.4. Simetras ortogonales

En esta seccin ser una ortogonalidad en el plano simtrico P.
54
7.4. SIMETRAS ORTOGONALES 55
Definicin 7.5. Sea L una lnea en (P, ). Si M es una lnea tal que M L
entonces la simetra SLM se notar simplemente SL . SL se llama la simetra
(ortogonal) de eje L en (P, ).
Proposicin 7.15. Si L M y c es el punto en la interseccin de L y M

entonces SL SM = sc .
Demostracin. Sean e L {c} y f M {c} . Tenemos que {e, f } es una

base del espacio vectorial Pc . Adems
SL SM (e) = SL (e) = SL (e) = e

SL SM (f ) = SL (f ) = f
luego para todo x se tiene que SL SM (x) = x y as SL SM = sc .
Corolario 7.1. Si L es una lnea que pasa por c entonces SL sc = sc SL .
Demostracin. Sea M la lnea que pasa por c tal que M L.
SL sc = SL (SM SL ) = (SL SM ) SL = sc SL
El siguiente teorema es un caso particular del Teorema 7.3.
Teorema 7.6. (Teorema de las tres simetras de ejes paralelos) Si L, M y N

son tres lneas paralelas, entonces existe X k L tal que SN SM SL = SX .
Teorema 7.7. El grupo de las traslaciones acta por conjugacin sobre el

conjunto de las simetras ortogonales. Ms precisamente, si L es una lnea y
es una traslacin entonces SL 1 = S (L) . Adems, SL y ST estn en
la misma rbita si y solo si L es paralela a T.
Demostracin. Fijemos dos puntos p y q en el plano afn. As, Pp y Pq son

espacios vectoriales de dimensin dos sobre K cuyos orgenes son p y q res-
pectivamente.
Sea L una lnea que pasa por p y sea la traslacin que enva p en q.
Llamemos M a la lnea (L).
Sea T la lnea ortogonal a L que pasa por p y llamemos N a la lnea (T ).
Escogemos una base Bp = { u ,

v } del espacio Pp de tal manera que
u

sea paralelo a L y v sea paralelo a T.
55
Definimos Bq = { z ,

w } donde
z = ( u) y

w = (
v ) . As,

z es

paralelo a M y w es paralelo a N (en realidad z = u y w = v ).

Tenemos los siguientes hechos:
1) : Pp Pq es un isomorfismo de espacios vectoriales.
La matriz de
1 0
con respecto a las bases Bp y Bq es [ ]Bp ,Bq = .
0 1
2) SL : Pp Pp es un isomorfismo deespacios vectoriales.
La matriz de
1 0
SL con respecto a la base Bp es [SL ]Bp = .
0 1
3) SM : Pq Pq es un isomorfismo de espacios
vectoriales.
La matriz de
1 0
SM con respecto a la base Bq es [SM ]Bq = .
0 1
Por consiguiente la matriz de SM SL con respecto a las bases Bp y
Bq es
[SM SL ]Bp ,Bq = [SM ]Bq [ ]Bp ,Bq [SL ]Bp

1 0 1 0 1 0
=
0 1 0 1 0 1

1 0
=
0 1
= [ ]Bp ,Bq
Por lo tanto SM SL = . Concluimos entonces que
SM = SL 1 .
Definicin 7.6. Dadas dos lneas L y M no paralelas, diremos que una lnea
B es una bisectriz de {L, M } si SB (L) = M.
Ejemplo 7.5. Consideremos el plano afn P9 . Fijamos el punto c y llama-

mos L, M, N y T las lneas que pasan por c. Si definimos dir L dir T y
dir M dir N, es una ortogonalidad. En este caso tenemos que M es
bisectriz de {L, T } y que {L, N } no tiene ninguna bisectriz.
Proposicin 7.16. Si B es una bisectriz de {L, M } y A B entonces A es

bisectriz de {L, M } .
56
7.4. SIMETRAS ORTOGONALES 57
Figura 7.6: Lneas que pasan por c en P9
Demostracin. Sea c el punto de corte de L y M. Sabemos que sc (L) = L.

Entonces
SB (L) = M SA SB (L) = SA (M )
sc (L) = SA (M )
L = SA (M )
luego A es bisectriz de {L, M } .

Axioma de las tres simetras de ejes concurrentes: Dadas tres lneas
L, M y N, concurrentes en c, existe una lnea X que pasa por c tal que
SN SM SL = SX .
Proposicin 7.17. Si se satisface el axioma de las tres simetras de ejes

concurrentes entonces dadas tres lneas L, M y N, concurrentes en c,
SN SM SL = SL SM SN .
Demostracin. Basta observar que (SN SM SL )1 = SN SM SL .
Ejemplo 7.6. En (R2 , ) se satisface el axioma de las tres simetras de ejes

concurrentes.
Ms adelante veremos un ejemplo de un plano afn con una ortogonalidad

en el que no se satisface el axioma de las tres simetras de ejes concurrentes.
57
58
CAPTULO 8
Rotaciones y ngulos
Las transformaciones que estudiaremos en este captulo son las rotacio-

nes. Una rotacin se define como la compuesta de dos simetras ortogonales
cuyos ejes no son disyuntos y por consiguiente esta nocin tendr sentido
nicamente en aquellos planos en los que se ha escogido una ortogonalidad.
Hay que sealar tambin que las rotaciones de un plano afn dependen de la
ortogonalidad escogida. Mostraremos adems que el grupo de las traslaciones
acta por conjugacin sobre el conjunto de las rotaciones, lo que permite dar
sentido a la definicin de ngulo dada por Papy en [P].
8.1. Rotaciones
Definicin 8.1. Una rotacin en un plano (P, ) es la compuesta de dos
simetras de ejes no disyuntos. Si c es el punto en la interseccin de los ejes
de las dos simetras decimos que la rotacin es de centro c.
Llamaremos R al conjunto de todas las rotaciones de (P, ) y Rc al con-
junto de todas las rotaciones de centro c.
Las siguientes tres proposiciones son evidentes:
Proposicin 8.1. 1P es una rotacin de centro c, para todo c P.
59
60 CAPTULO 8. ROTACIONES Y NGULOS
Proposicin 8.2. Toda rotacin es una biyeccin de P en P y la inversa de

cualquier rotacin es una rotacin del mismo centro.
Proposicin 8.3. C R.
Proposicin 8.4. Para todo c P y para toda r Rc se tiene que sc r =

r sc .
Demostracin. Es consecuencia inmediata del Corolario 7.1.
Teorema 8.1. El grupo T acta por conjugacin sobre el conjunto R. Ms

precisamente, si es una traslacin entonces Rc 1 = R (c) .
Demostracin. Sean r = SM SL una rotacin de centro c y una traslacin.

Tenemos que:
r 1 = SM SL 1
= SM 1 SL 1
= S (M ) S (L)
que es una rotacin de centro (c).
Teorema 8.2. Si en (P, ) se satisface el axioma de las tres simetras de ejes

concurrentes entonces para todo c P se tiene que Rc es un grupo abeliano.
Demostracin. Como la inversa de una rotacin es una rotacin del mismo

centro, para ver que Rc es un grupo basta verificar que la compuesta de dos
rotaciones de centro c es una rotacin de centro c. Sean entonces r1 = SM SL
y r2 = ST SN dos rotaciones de centro c. Por el axioma de las tres simetras
de ejes concurrentes sabemos que existe una lnea X que pasa por c tal que
SN SM SL = SX . As,
r2 r1 = (ST SN ) (SM SL )
= ST (SN SM SL )
= ST SX Rc .
60
8.1. ROTACIONES 61
Adems,
r2 r1 r21 r11 = (ST SN ) (SM SL ) (ST SN )1 (SM SL )1
= (ST SN ) (SM SL ) (SN ST ) (SL SM )
= ST SN (SM SL SN ) ST SL SM
= ST SN (SN SL SM ) ST SL SM
= ST (SN SN ) SL SM ST SL SM
= ST (SL SM ST ) SL SM
= ST (ST SM SL ) SL SM
= (ST ST ) SM (SL SL ) SM
= SM SM
= 1P ,
luego el grupo es abeliano.
Ejemplo 8.1. Consideremos el plano afn P9 . Fijamos el punto c y llama-
mos L, M, N y T las lneas que pasan por c. Definimos dir L dir T y
dir M dir N. Sabemos que si los ejes son ortogonales entonces la ro-
tacin es la simetra central de centro el punto de corte de los ejes. As,
SL ST = ST SL = SM SN = SN SM = sc .
Sea ahora r = SM SL . Tenemos que hri = {1P , r, r2 = sc , r3 = r1 = SL SM } .
Adems:
61
SN SL = SN SM SM SL = sc r = r3 ,
SM ST = SM SL SL ST = r sc = r3 ,
SN ST = SN SL SL ST = r3 sc = r.
As, es claro que tenemos la siguiente tabla que nos muestra todas las
rotaciones de centro c.
SL SM SN ST
SL 1 r3 r r2
SM r 1 r2 r3
SN r3 r2 1 r
ST r2 r r3 1
Concluimos que Rc = hri Z4 .

Como toda rotacin es la conjugada de una rotacin de centro c por una
traslacin, concluimos que
[ [
R= Rp = R (c)
pP T
de donde R {1P } tiene 9 (4 1) = 27 elementos. En este plano hay

entonces 28 rotaciones.
Si definimos J + = T R, tenemos que (J + , ) es un grupo y T R = {1} .
Adems, |J + | = 9 + 27 = 36.
As, los grupos Rp con p P son los 2-sub-grupos de Sylow de J + y son
exactamente 9.
T es un sub-grupo normal de J + . T es el nico 3-sub-grupo de Sylow de
J +.
J + /T es isomorfo a Rc .
Nota 8.1. Existen planos dotados con una ortogonalidad para los cuales
el conjunto de todas las rotaciones de centro fijo no es un grupo. Esto se
debe a la libertad tan grande para escoger la ortogonalidad. Si sta se escoge
de manera que no haya una cierta uniformidad, el comportamiento de las
rotaciones puede ser bastante catico.
8.2. ngulos
Definicin 8.2. (Papy) Un ngulo es una rotacin que ha perdido su centro.
62
8.2. NGULOS 63
Esto significa que un ngulo es lo que tienen en comn dos rotaciones que
se obtienen por conjugacin una de la otra mediante una traslacin. En otras
palabras, los ngulos son las rbitas de la accin por conjugacin de T sobre
R. Ms precisamente, si definimos la relacin r t si existe T tal que
r = t 1 , sta es una relacin de equivalencia sobre R y el conjunto A
de ngulos de (P, ) es el conjunto cociente R/ .
Proposicin 8.5. Para cada c P , la funcin Rc A : r 7 [r] es una
biyeccin.
Si fijamos un punto c, podemos entonces identificar cada ngulo con una
rotacin de centro c.
Corolario 8.1. Si Rc es un grupo entonces A tiene estructura de grupo. En
particular, si se satisface el axioma de las tres simetras de ejes concurrentes
A es un grupo abeliano.
Definicin 8.3. Llamaremos ngulo llano al ngulo que corresponde a las
simetras centrales. Notaremos este ngulo con el smbolo . Llamaremos
ngulo nulo al ngulo que corresponde a 1P . Notaremos este ngulo con el
smbolo .
Definicin 8.4. Un ngulo [r] se llamar ngulo recto si rr es una simetra
central.
Proposicin 8.6. Sean r = SM SL Rc y T la lnea que pasa por c tal
que T L. r r = sc si y solo si M es bisectriz de {L, T } .
Corolario 8.2. En (P, ) hay ngulos rectos si y solo si todo par de lneas
ortogonales tiene una bisectriz.
Ejemplo 8.2. En el plano (Z25 , $) tenemos exactamente seis ngulos rectos
que corresponden a las rotaciones i, i, j, j, k, k.
Ejemplo 8.3. En el plano (K 2 , $) tenemos que todos los ngulos excepto
y son ngulos rectos.
Ejemplo 8.4. En el plano (K 2 , ) tenemos que hay exactamente dos ngu-
los
rectos que son los correspondientes
a las rotaciones cuyas matrices son
0 1 0 1
y .
1 0 1 0
63
64
CAPTULO 9
Ejemplos de grupos de rotaciones
En este captulo desarrollaremos en detalle algunos ejemplos de planos

con una ortogonalidad en los cuales el conjunto de las rotaciones de centro
fijo es un grupo.
9.1. Un ejemplo finito no conmutativo

Consideremos el plano P25 . En la Figura 9.1 estn sealadas las lneas
que pasan por c.
Definimos de la siguiente manera: L T, M R y N Q.
Para facilitar la descripcin de las simetras ortogonales y de las rotacio-
nes, introducimos una estructura de espacio vectorial sobre Z5 , identificando
al plano con Z25 como lo muestra la Figura 9.2, y escogemos los puntos (1, 0)
y (0, 1) como vectores bsicos. Las simetras ortogonales cuyos ejes pasan por
c = (0, 0) son transformaciones lineales y sus matrices con respecto a la base
escogida son:

1 0 0 1 0 3
[SL ] = , [SM ] = , [SN ] = ,
0 4 1 0 2 0

0 2 0 4 4 0
[SQ ] = , [SR ] = , [ST ] = .
3 0 4 0 0 1
65
66 CAPTULO 9. EJEMPLOS DE GRUPOS DE ROTACIONES
Figura 9.2: Coordenadas en P25
66
9.1. UN EJEMPLO FINITO NO CONMUTATIVO 67
Calculemos ahora las matrices de todas las rotaciones:

1 0 0 1 0 1 0 1 1 0 0 4
= =
0 4 1 0 4 0 1 0 0 4 1 0
1 0 0 3 0 3 0 3 1 0 0 2
= =
0 4 2 0 3 0 2 0 0 4 2 0
1 0 0 2 0 2 0 2 1 0 0 3
= =
0 4 3 0 2 0 3 0 0 4 3 0
1 0 0 4 0 4 0 4 1 0 0 1
= =
0 4 4 0 1 0 4 0 0 4 4 0
1 0 4 0 4 0 4 0 1 0 4 0
= =
0 4 0 1 0 4 0 1 0 4 0 4
0 1 0 3 2 0 0 3 0 1 3 0
= =
1 0 2 0 0 3 2 0 1 0 0 2
0 1 0 2 3 0 0 2 0 1 2 0
= =
1 0 3 0 0 2 3 0 1 0 0 3
0 1 0 4 4 0 0 4 0 1 4 0
= =
1 0 4 0 0 4 4 0 1 0 0 4
0 1 4 0 0 1 4 0 0 1 0 4
= =
1 0 0 1 4 0 0 1 1 0 1 0
0 3 0 2 4 0 0 2 0 3 4 0
= =
2 0 3 0 0 4 3 0 2 0 0 4
0 3 0 4 2 0 0 4 0 3 3 0
= =
2 0 4 0 0 3 4 0 2 0 0 2
0 3 4 0 0 3 4 0 0 3 0 2
= =
2 0 0 1 3 0 0 1 2 0 2 0
0 2 0 4 3 0 0 4 0 2 2 0
= =
3 0 4 0 0 2 4 0 3 0 0 3
0 2 4 0 0 2 4 0 0 2 0 3
= =
3 0 0 1 2 0 0 1 3 0 3 0
0 4 4 0 0 4 4 0 0 4 0 1
= =
4 0 0 1 1 0 0 1 4 0 4 0
Tenemos as que Rc = {1, 1, i, i, j, j, k, k} donde

1 0 4 0 0 4 0 1
[1] = , [1] = , [i] = , [i] = ,
0 1 0 4 1 0 4 0

0 2 0 3 3 0 2 0
[j] = , [j] = , [k] = , [k] = .
2 0 3 0 0 2 0 3
67
Los clculos anteriores pueden resumirse en la siguiente tabla:
SL SM SN SQ SR ST
SL 1 i j j i 1
SM i 1 k k 1 i
SN j k 1 1 k j
SQ j k 1 1 k j
SR i 1 k k 1 i
ST 1 i j j i 1
La tabla de multiplicacin de Rc es la siguiente:
1 1 i i j j k k
1 1 1 i i j j k k
1 1 1 i i j j k k
i i i 1 1 k k j j
i i i 1 1 k k j j
j j j k k 1 1 i i
j j j k k 1 1 i i
k k k j j i i 1 1
k k k j j i i 1 1
Concluimos que Rc es el grupo de los cuaterniones.

Como este grupo no es abeliano, en este plano afn no se satisface el
axioma de las tres simetras de ejes concurrentes. En efecto, la matriz de
SN SM ST es

0 3 0 1 1 0
[SN SM ST ] =
2 0 1 0 0 4

3 0
=
0 3
que no corresponde a ninguna de las simetras ortogonales cuyos ejes pasan

por c.
De acuerdo con el Teorema 8.1 toda rotacin en este plano se obtiene de
una rotacin de centro c mediante la traslacin del centro. Concluimos que
en este plano hay exactamente 25 9 = 225 rotaciones.
68
9.2. ROTACIONES EN K 2 , $ CON K CONMUTATIVO 69

2

9.2. Rotaciones en K , $ con K conmutativo
El ejemplo desarrollado en la seccin anterior es un caso particular de la
situacin que estudiaremos a continuacin. Consideremos un campo K de
caracterstica diferente de 2 y definamos en el plano afn K 2 la ortogonalidad
$.
Como toda rotacin se obtiene de una rotacin de centro (0, 0) mediante
una traslacin, estudiaremos nicamente las rotaciones de centro (0, 0). Fi-
jemos la base cannica {(1, 0), (0, 1)} y veamos cmo son las matrices de las
simetras ortogonales con respecto a esta base.
Caso 1. Sea Lm la lnea que pasa por (0, 0) y (1, m) donde m K {0} .
Tenemos que SLm (1, 0) = (0, m) y SLm (0, 1) = (m1 , 0). Por consiguiente
0 m1

[SLm ] = .
m 0
Caso 2. Sea L0 la lnea que pasa por (0, 0) y (1, 0). Tenemos que SL0 (1, 0) =
(1, 0) y SL0 (0, 1) = (0, 1). Por consiguiente

1 0
[SL0 ] = .
0 1
Caso 3. Sea L la lnea que pasa por (0, 0) y (0, 1). Tenemos que SL (1, 0) =
(1, 0) y SL (0, 1) = (0, 1). Por consiguiente

1 0
[SL ] = .
0 1
Podemos entonces construir rotaciones de diferentes tipos:
Tipo (m, n): r = SLm SLn donde n, m K {0} . En este caso
0 m1 0 n1
1
m n 0
[r] = = .
m 0 n 0 0 mn1
Tipo (m, 0): r = SLm SL0 donde m K {0} . En este caso
0 m1 0 m1

1 0
[r] = = .
m 0 0 1 m 0
Tipo (m, ): r = SLm SL donde m K {0} . En este caso
0 m1 0 m1

1 0
[r] = = .
m 0 0 1 m 0
69
Tipo (, n): r = SL SLn donde n K {0} . En este caso
0 n1 0 n1

1 0
[r] = = .
0 1 n 0 n 0
Tipo (0, ): r = SL0 SL = SL SL0 . En este caso

1 0 1 0 1 0
[r] = = .
0 1 0 1 0 1

a 0
Concluimos que las matrices de las rotaciones son de la forma o
0 a1
0 a1

de la forma .
a 0
Consideremos ahora las posiblidades de composicin de rotaciones de cen-
tro (0, 0) :

b 0 a 0 ab 0
=
0 b1 0 a1 0 b1 a1
a1 ba1

b 0 0 0
=
0 b1 a 0 1
b a 0
0 b1 0 b1 a1

a 0
=
b 0 0 a1 ab 0
1
a1 b1 a

0 b 0 0
=
b 0 a 0 0 ba1
Es claro entonces que la compuesta de dos rotaciones de centro (0, 0)

es una rotacin de centro (0, 0) y por consiguiente R(0,0) es un grupo. Sin
embargo
0 a1 ba1

b 0 0
=
0 b1 a 0 b1 a 0
1 1 1

0 a b 0 0 a b
=
a 0 0 b1 ab 0
luego el grupo no es abeliano, a menos que x1 = x para todo x K {0} .
70
9.3. ROTACIONES EN K 2 , CON K CONMUTATIVO 71

2
9.3. Rotaciones en K , con K conmutativo
Consideremos un campo K en el cual la ecuacin x2 + 1 no tiene solucin

y definamos en el plano afn K 2 la ortogonalidad . Como toda rotacin se
obtiene de una rotacin de centro (0, 0) mediante una traslacin, estudia-
remos nicamente las rotaciones de centro (0, 0). Fijemos la base cannica
{(1, 0), (0, 1)} y veamos cmo son las matrices de las simetras ortogonales
con respecto a esta base.
Caso 1. Sea Lm la lnea que pasa por (0, 0) y (1, m) donde m K {0} .
1m2 2m 2m 1m2
Tenemos que SLm (1, 0) = ( 1+m 2 , 1+m2 ) y SLm (0, 1) = ( 1+m2 , 1+m2 ). Por
2
!
1m 2m
consiguiente [SLm ] = 1+m2 1+m2 .
2m 1m2
1+m2
1+m 2
Caso 2. Sea L0 la lnea que pasa por (0, 0) y (1, 0). Tenemos
SL0 (1, 0) =
que
1 0
(1, 0) y SL0 (0, 1) = (0, 1). Por consiguiente [SL0 ] = .
0 1
Caso 3. Sea L la lnea que pasa por (0, 0) y (0, 1). Tenemos
SL (1, 0) =
que
1 0
(1, 0) y SL (0, 1) = (0, 1). Por consiguiente [SL ] = .
0 1
Podemos entonces construir rotaciones de diferentes tipos:
Tipo (m, n): r = SLm SLn donde n, m K {0} . En este caso
! !
1m2 2m 1n2 2n
[r] = 1+m2 1+m2 1+n2 1+n2
2m 1m2 2n 1n2
1+m2
1+m 2 1+n2
1+n 2
(mn+1)2 (mn)2 2(mn)(mn+1)

!
(m2 +1)(n2 +1) (m2 +1)(n2 +1)
= 2(mn)(mn+1) (mn+1)2 (mn)2
(m2 +1)(n2 +1) (m2 +1)(n2 +1)
Tipo (m, 0): r = SLm SL0 donde m K {0} . En este caso
!
1m2 2m

1+m2 1+m2 1 0
[r] = 2m 1m2
1+m2
1+m 2
0 1

1 1 m2 2m
= .
1 + m2 2m 1 m2
71
Tipo (m, ): r = SLm SL donde m K {0} . En este caso

!
1m2 2m

1+m 2 1+m 2 1 0
[r] = 2m 1m2
1+m2
1+m 2
0 1
2
1 m 1 2m
= .
1 + m2 2m m2 1
Tipo (, n): r = SL SLn donde n K {0} . En este caso

1n2 !
2n

1 0 1+n 2 1+n 2
[r] = 2n 1n2
0 1 1+n 2 1+n2
2
1 n 1 2n
= .
1 + n2 2n n2 1
Tipo (0, ): r = SL0 SL = SL SL0 . En este caso

1 0 1 0 1 0
[r] = = .
0 1 0 1 0 1

a b
Concluimos que las matrices de las rotaciones son todas de la forma
b a
con a2 + b2 = 1. Si observamos que

a b c d ac bd ad bc
=
b a d c ad + bc ac bd

c d a b ac bd ad bc
=
d c b a ad + bc ac bd
es claro que todas las rotaciones de centro (0, 0) conmutan entre s.

Por consiguiente, si la compuesta de dos rotaciones de centro (0, 0) es una
rotacin entonces R(0,0) es un grupo abeliano.
72
CAPTULO 10
El axioma de las tres simetras de ejes

concurrentes
Supondremos en este captulo que (P, ) es un plano afn simtrico con

una ortogonalidad en el cual se satisface el axioma de las tres simetras de
ejes concurrentes. Por consiguiente, para cada c P tenemos que Rc es un
grupo abeliano.
Definicin 10.1. Llamaremos J al sub-grupo de las permutaciones de P
generado por el conjunto S de las simetras ortogonales. Los elementos de J
se llaman isometras. Llamaremos J + al sub-conjunto de J cuyos elementos
son compuestas de un nmero par de simetras e J al sub-conjunto de J
cuyos elementos son compuestas de un nmero impar de simetras.
Es claro que J = J + J y que T R J + y S J .
La prueba de la siguiente proposicin es un sencillo ejercicio.
Proposicin 10.1. J + es un sub-grupo normal de J .
Proposicin 10.2. J + es equipotente a J .
Demostracin. Basta fijar una lnea L y considerar la funcin
J + J : 7 SL .
73
74 CAPTULO 10. EL AXIOMA DE LAS TRES SIMETRAS
Teorema 10.1. T R es un sub-grupo de J + .
Demostracin. Como la inversa de una traslacin es una traslacin y la in-

versa de una rotacin es una rotacin, basta probar que T R es cerrado
para composicin. Ya sabemos que la compuesta de dos traslaciones es una
traslacin y la compuesta de dos rotaciones del mismo centro es una rotacin.
Veamos qu pasa con la compuesta de una rotacin r y una traslacin .
Sabemos que existen A, B, C y D lneas tales que A k B, C D y = SB SA ,
r = SD SC . Si c es el punto de corte de C y D, existen lneas A0 y B 0 tales que
A0 k B 0 , c A0 y = SB 0 SA0 . Tenemos entonces que r = SB 0 SA0 SD SC
y por el axioma de las tres simetras de ejes concurrentes existe una lnea F
tal que SA0 SD SC = SF , de donde r = SB 0 SF . As, si F k B 0 entonces
r es una traslacin y si F B 0 entonces r es una rotacin. Razonando
anlogamente obtenemos que r T R.
Por ltimo veamos el caso de la compuesta de dos rotaciones de centros
distintos. Sean r = SL SM y t = SH SK donde L M , H K y los puntos
de corte de estos pares de lneas son p y q respectivamente, donde p 6= q. Sea
ahora N = pq. Tenemos que:
r t = (SL SM ) (SH SK )
= (SL SM ) (SN SN ) (SH SK )
= (SL SM SN ) (SN SH SK ) .
Por el axioma de las tres simetras de ejes concurrentes existen lneas X y Y

tales que SX = SL SM SN y SY = SN SH SK , luego r t = SX SY .
Si X k Y entonces r t es una traslacin y si X Y entonces r t es una
rotacin.
Corolario 10.1. J + = T R.
Demostracin. Basta observar que la compuesta de un nmero par de sime-

tras se puede reducir a la compuesta de dos simetras.
Corolario 10.2. J + J = .
Demostracin. Supongamos que J + J . Entonces existen L1 , ..., L2n

y M1 , ..., M2m+1 tales que
SL1 ... SL2n = = SM1 ... SM2m+1 .
74
75
Por consiguiente SL1 es la compuesta de un nmero par de simetras y en-

tonces es una rotacin o una traslacin. Esto es absurdo pues el conjunto
de puntos fijos de SL1 es una lnea pero el conjunto de puntos fijos de una
rotacin no es una lnea y el conjunto de puntos fijos de una traslacin no es
una lnea.
Corolario 10.3. J /J + es isomorfo a Z2 .
Proposicin 10.3. Sean A y B dos lneas que se cortan en p. Para toda lnea
C que pasa por p existe una lnea L que pasa por p tal que SB SA = SC SL .
Demostracin. Es consecuencia inmediata del axioma de las tres simetras
de ejes concurrentes.
Proposicin 10.4. Si A, B y C son lneas no concurrentes tales que A B
entonces existen un punto q y una lnea L tales que
SC SB SA = sq SL .
Demostracin. Sea p el punto de corte de A y B y sea N la lnea que pasa

por p y es tal que N C. Por la proposicin anterior, existe una lnea L tal
que SB SA = SN SL . As, SC SB SA = SC SN SL = sq SL , donde q
es el punto de corte de C y N.
Ejercicio 10.1. Pruebe que si M es una lnea y es una traslacin en la
direccin de M entonces SM = SM .
Proposicin 10.5. Si q es un punto y L es una lnea, existen una traslacin
y una lnea M tales que
sq SL = SM = SM .
Adems, la direccin de es la direccin de M.

Demostracin. Sean M y N las lneas que pasan por q y son tales que M L
y N k L. Tenemos que sq = SM SN , luego sq SL = SM SN SL .
Como N k L, = SN SL es una traslacin en la direccin de M. As,
sq SL = SM = SM .
Definicin 10.2. Se llama simetra deslizada a la compuesta de una si-
metra con una traslacin en la direccin de su eje.
75
Ntese que toda simetra es una simetra deslizada.

Hemos visto entonces que la compuesta de una simetra central con una
simetra siempre es una simetra deslizada. Veamos que la recproca tambin
cierta.
Proposicin 10.6. Si M es una lnea y es una traslacin en la direccin
de M entonces existen un punto q y una lnea L tales que
SM = sq SL .
Demostracin. Sea a un punto en M y sea b = (a). Llamemos q al punto

medio de {a, b} . Sean ahora L y N las lneas que pasan por a y q y son tales
que L M N. Tenemos que = SN SL , luego SM = SM SN SL .
Como SM SN = sq , concluimos que SM = sq SL .
Proposicin 10.7. El cuadrado de una simetra deslizada es una traslacin.
Demostracin. Sea = SM una simetra deslizada. Tenemos que
2 = = (SM ) (SM )
= ( SM ) (SM )
= (SM SM )
= 2 T .
Corolario 10.4. Si una simetra deslizada tiene un punto fijo entonces es

una simetra.
Demostracin. Sea = SM una simetra deslizada con un punto fijo a.
Entonces 2 (a) = a y como 2 = 2 es una traslacin tenemos que 2 = 1P y
por consiguiente = 1P . Concluimos que = SM .
Proposicin 10.8. La compuesta de tres simetras es una simetra desliza-
da.
Demostracin. Sean A, B y C tres lneas. Si A k B k C entonces el Teorema
7.6 nos dice que SC SB SA es una simetra. Si A, B y C son concurrentes
entonces, por el axioma de las tres simetras de ejes concurrentes, SC SB
SA es una simetra. Si A B y A, B y C no son concurrentes entonces la
Proposicin 10.4 nos dice que existen q y L tales que SC SB SA = sq SL y
76
77
por la Proposicin 10.5 sta es una simetra deslizada. Por ltimo, si C B

y A, B y C no son concurrentes conclumos que SA SB SC es una simetra
deslizada y por lo tanto existen M y tales que SA SB SC = SM . Por
consiguiente
SC SB SA = (SA SB SC )1
= (SM )1
= 1 SM
= SM 1
que es una simetra deslizada.
Corolario 10.5. Si la compuesta de tres simetras tiene al menos un punto

fijo entonces es una simetra.
Proposicin 10.9. Si la compuesta de tres simetras es una simetra enton-

ces los tres ejes son paralelos o concurrentes.
Ejercicio 10.3. Muestre que en el plano (P9 , ) del Ejemplo 7.5 hay exac-
tamente 72 isometras de las cuales 12 son simetras, 28 son rotaciones, 9 son
traslaciones y 24 son simetras deslizadas sin puntos fijos.
77
78
CAPTULO 11
Medianas, mediatrices y alturas de un

tringulo
Estableceremos aqu los teoremas concurrencia de las medianas, de las

mediatrices y de las alturas de un tringulo, que se estudian en cualquier
curso de geometra elemental euclidiana. La diferencia est en que las pruebas
se hacen en el contexto ms general posible.
Un tringulo es una tripla (a, b, c) de puntos no colineales.
Llamaremos a0 el punto medio de {b, c} , b0 el punto medio de {a, c} y c0 el
punto medio de {a, b} . Si el plano tiene una ortogonalidad , llamaremos Ma0
a la lnea que pasa por a0 y es tal que bc Ma0 . Anlogamente construimos
Mb0 y Mc0 . Adems llamaremos Aa a la lnea que pasa por a y es tal que
bc Aa . Anlogamente construimos Ab y Ac .
Definicin 11.1. Las lneas aa0 , bb0 y cc0 se llaman medianas del tringulo
(a, b, c) .
Las lneas Ma0 , Mb0 y Mc0 se llaman mediatrices del tringulo (a, b, c) .
Las lneas Aa , Ab y Ac se llaman alturas del tringulo (a, b, c) .
Ejercicio 11.1. Escoja un tringulo en el plano P9 y encuentre las medianas.

Son concurrentes? Son paralelas?
79
80 CAPTULO 11. MEDIANAS, MEDIATRICES Y ALTURAS DE UN TRINGULO
Teorema 11.1. Si P es un plano T sim etrico de caracterstica 3 entonces

las medianas de cualquier tringulo son paralelas.
Demostracin. Es claro que a0 c0 = b0 a = cb0 . Si aa0 y cc0 se cortan en el

punto m, al considerar : P aa0 la proyeccin paralela a cc0 sobre aa0 ,
tenemos que a0 m = m(b0 ) = (b0 )a . Como el plano es de caracterstica 3
concluimos que a = a0 , lo cual es absurdo pues los puntos a, b y c no son
colineales. En consecuencia aa0 k cc0 y de forma anloga aa0 k bb0 .
Teorema 11.2. Si P es un plano T sim etrico de caracterstica diferente

de 2 y de 3 entonces las medianas de cualquier tringulo son concurrentes.
Demostracin. Fijemos un punto o P y usemos la estructura de espacio

vectorial de Po . Tenemos que:
1

1 1 1
ac0 + c0 c = ab + ab + bc
3 2 3 2
2 1
= ab + bc.
3 3
Por otro lado:
2 0

2 1
aa = ab + bc
3 3 2
2 1
= ab + bc.
3 3

Concluimos que ac0 + 13 c0 c = 23 aa0 luego existe un punto m en aa0 cc0 tal

que aa0 = 3ma0 y cc0 = 3mc0 . Razonando anlogamente con b en lugar de

c obtenemos que exise n aa0 bb0 tal que aa0 = 3na0 y bb0 = 3nb0 . Por
consiguiente n = m aa0 bb0 cc0 .
Corolario 11.1. Si P es un plano T sim etrico de caracterstica diferente

de 2 y de 3 y m es el punto de corte de las medianas del tringulo (a, b, c)

entonces aa0 = 3ma0 , bb0 = 3mb0 y cc0 = 3mc0 .
Ejercicio 11.2. En el plano (R2 , $) construya un tringulo en el cual las

mediatrices no sean concurrentes ni paralelas.
80
81
Teorema 11.3. Sea (P, ) un plano simtrico con una ortogonalidad. Si se

satisface el axioma de las tres simetras de ejes concurrentes, entonces las
mediatrices de cualquier tringulo son concurrentes.
Demostracin. Sea (a, b, c) un tringulo y sean C la mediatriz de {a, b} , B la

mediatriz de {a, c} y A la mediatriz de {b, c} . Sea = SC SB SA . Tenemos
que (b) = b, luego es una simetra. Por la Proposicin 66, A, B y C deben
ser paralelas o concurrentes. Si A k B entonces bc k ac y los puntos a, b y
c seran alineados. Por consiguiente los ejes de las tres simetras deben ser
concurrentes.
Teorema 11.4. Sea (P, ) un plano simtrico con una ortogonalidad. Si se

satisface el axioma de las tres simetras de ejes concurrentes, entonces las
alturas de cualquier tringulo son concurrentes.
Demostracin. Sea (a, b, c) un tringulo y sean C la altura desde c, B la

altura desde b y A la altura desde a. Considere los puntos m, n y k tales que
(a, c, m, b), (b, a, n, c) y (c, b, k, a) son paralelogramos. Entonces A, B y C son
las mediatrices de (m, n, k) y por el teorema anterior son concurrentes.
81
82 CAPTULO 11. MEDIANAS, MEDIATRICES Y ALTURAS DE UN TRINGULO
82
Bibliografa
[A] Artin, E., Algbre Gomtrique, (traduccin de la edicin inglesa),

Gauthier-Villars, 1978.
[P] Papy, G., Mathmatique Moderne 3, Marcel Didier, 1967.
[1] Ball, S. and Weiner, Z., An Introduction to Finite Geometry,

http://www-ma4.upc.es/ simeon/IFG.pdf, 2005
[2] Bennett, A.A., Five axioms for point and translation in affine geometry,
Bull. Amer. Math. Soc. Volume 30, Number 9-10 (1924), 520-526
[3] Bennett, M. K., Affine and Projective Geometry, John Wiley & sons.
Inc., 1995
[4] Burton, D.M., Abstract and linear algebra, Addison-Wesley Publishing

Company, 1972
[5] Castaeda, D. C., Algebra Geomtrica: construccin de campos a partir

de geometras, Trabajo de Grado, Universidad Nacional de Colombia,
2011
[6] Cedeberg, J.N., A Course in Modern Geometries, Springer-Verlag, 1991
83
84 BIBLIOGRAFA
[7] Cerroni, C., Non-Desarguian geometries and the foundations of geometry

from David Hilbert to Ruth Moufang, Historia Mathematica 31 (2004),
320336
[8] Dembowski, P., Finite Geometries, Springer-Verlag, 1997
[9] Dodge, C.W., Euclidean geometry and transformations, Addison-Wesley
Publishing Company, 1972
[10] Fraleigh, J.B., A first course in abstract algebra, Addison-Wesley Pu-
blishing Company, 1976
[11] Hilbert, D., Fundamentos de la geometra, reimpresin de una traduc-
cin de la sptima edicin alemana (1930), Consejo Superior de Investi-
gaciones Cientficas, 1996
[12] Hirschfeld, J.W.P., Geometries over Finite Fields, Second Edition, Ox-
ford Science Publications, 1998
[13] Hughes, R., A class of non-desarguian projective planes, Transactions of
the American Mathematical Society, Vol. 104, No. 3, (1962), pp. 378-388
[14] Jungnickel, D. and de Resmini, M., Another case of the prime power
conjecture for finite projective planes, Adv. Geom. 2 (2002), 215218
[15] Moise, E. y Downs, F., Geometra Moderna, Addison-Wesley Iberoame-
ricana, 1966
[16] Moulton, F.R., A Simple Non-Desarguesian Plane Geometry, Transac-
tions of the American Mathematical Society, Vol. 3, No. 2 (1902), pp.192-
195
[17] Oostra, A., Los teoremas de Desargues y Pascal en Fundamentos de la
Geometra, de Hilbert, en Huellas en los Encuentros de Geometra y
Aritmtica, Universidad Pedaggica Nacional, 2005
[18] Papy, G., Mathmatique Moderne 1 (4me dition), Marcel Didier, 1968
[19] Papy, G., Mathmatique Moderne 2, Marcel Didier, 1968
[20] Veblen, O. and Thomas, J.M., Mathematics Projective Invariants of Af-
fine Geometry of Paths, The Annals of Mathematics, Second Series, Vol.
27, No. 3 (Mar., 1926), pp. 279-296
84
BIBLIOGRAFA 85
[21] Weibel, Ch., Survey of Non-Desarguesian Planes, Notices of the AMS

Vol. 54, No. 10, (2007), pp. 1294-1303
85

Notas de Clase Geometría PDF

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

Notas de Clase Geometría PDF

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD NACIONAL DE COLOMBIA

La geometra a travs de las transformaciones

Lorenzo Acosta Gempeler

3. Planos con grupo de traslaciones conmutativo 19

5. De los cuerpos a los planos afines 35

6. El teorema del hexgono de Pappus 41

9. Ejemplos de grupos de rotaciones 65

10.El axioma de las tres simetras 73

11.Medianas, mediatrices y alturas de un tringulo 79

Este trabajo se desarrolla en el contexto de los planos afines, de acuerdo

donde se cumple el Teorema del hexgono de Pappus (planos pappusianos).

la tradicional. Otro ejemplo es el Teorema de las tres simetras de [P] que

En estas notas se recopila, afina y complementa el material desarrollado

Emil Artin (1898 - 1962)

Georges Papy (1920 - 2011)

Los objetos geomtricos que estudiaremos en este texto se llaman planos

Definicin 1.1. Diremos que un plano es un plano afn si se satisfacen los

Ejemplo 1.1. El plano euclidiano con sus puntos y lneas usuales es un

Ejemplo 1.2. Si P es un conjunto de cuatro elementos y si L es el conjunto

De ahora en adelante P = (P, L) es un plano afn.

A partir de los axiomas se deducen fcilmente las siguientes propiedades.

Proposicin 1.1. Si L y M son lneas no paralelas, entonces LM contiene

Proposicin 1.2. La relacin k es una relacin de equivalencia sobre L.

Ejercicio 1.2. Pruebe las Proposiciones 1.1 y 1.2.

La clase de equivalencia de una lnea L con respecto a la relacin k se

Figura 1.2: Proyeccin paralela

Ejercicio 1.3. Pruebe la Proposicin 1.3.

Cada lnea L determina entonces una funcin L b : P dir L : x 7 Lx .

Definicin 1.2. Dadas dos lneas no paralelas L y M definimos la siguiente

Las proyecciones paralelas son un instrumento til para el trabajo en los

Proposicin 1.4. Dadas dos lneas no paralelas L y M , pL,M : P M es

Proposicin 1.5. Si L, M y N son tres lneas tales que N L y L M,

Ejercicio 1.4. Pruebe las Proposiciones 1.4,1.5 y 1.6

Como consecuencia de las ltimas proposiciones tenemos que dos lneas

Teorema 1.1. a) L es equipotente a M para todo L, M L.

Demostracin. La parte a) es consecuencia inmediata de las Proposiciones

Para la parte c) considere dos lneas no paralelas L y M. Se tiene la

En el caso finito obtenemos el siguiente corolario:

Corolario 1.1. Si P es finito entonces existe n Z+ tal que:

Ejemplo 1.3. Sean P = {1, 2, 3, 4, 5, 6, 7, 8, 9} y

Ejercicio 1.5. Construya un plano afn de 16 puntos.

Figura 1.3: Direcciones en P9

Ejercicio 1.6. Considere el conjunto P = Z Z. Una lnea en este conjunto

Figura 1.4: Lneas en el plano de Moulton

Este captulo est dedicado al estudio de las funciones compatibles con

en xy. Sean L = xz y M = yz. Tenemos que L M. Adems, (z) est

Ejercicio 2.3. Complete la prueba de la proposicin estudiando el caso en

Ejercicio 2.4. Pruebe que si es un dilatacin no constante y L es una

Teorema 2.2. Toda traslacin est completamente determinada por su valor

Demostracin. Sean una traslacin y x un punto. Supongamos que cono-

Ejercicio 2.5. Complete la prueba del teorema estudiando el caso en que

Ejercicio 2.6. Muestre que en el plano de Moulton:

b) Los puntos fijos de las homotecias distintas de 1P estn sobre el eje x.

Definicin 2.3. Llamaremos D al conjunto de todas las dilataciones no

Teorema 2.3. a) (D, ) es un grupo

Demostracin. a) Las dilataciones no constantes son biyectivas, luego la com-

Tenemos que M k L y adems (M ) = L , luego 1 (L) M . As, 1 es

Ejercicio 2.7. Muestre que en el plano P9 , D es un grupo no abeliano de

Teorema 2.4. (T , ) es un sub-grupo normal de (D, ).

Demostracin. Sean D y T . Supongamos que x es un punto fijo

Definicin 2.4. a) Si es una homotecia que tiene al punto c como punto

Proposicin 2.4. Para cada c P, (Hc , ) es un sub-grupo de (D, ).

Demostracin. Tenemos que 1P Hc , luego Hc 6= . Sean ahora , Hc .