Está en la página 1de 18

Geometra Eucldea Plana

Primer Cuatrimestre 2010

Movimientos rgidos

1. Isometras
1.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
4

2. Simetra o reflexin respecto de una recta


2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .

4
7

3. Simetra respecto de un punto o central


3.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .

8
9

4. Traslacin paralela
9
4.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
5. Rotacin
11
5.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
6. Paridad de isometras
15
6.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
7. Orientacin en el plano
16
7.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

Una forma de estudiar matemticamente un objeto es mediante las funciones


a o desde ese objeto que preservan determinadas propiedades.
En el caso de geometra euclidiana, una clase de estas funciones son las que
van del plano (o el espacio) en s mismo preservando distancias, funciones que
se llaman isometras o movimientos rgidos, y que estudiamos en este apunte.
Siguiendo el programa de Erlangen de Klein [3] (quien a su vez sigui
ideas de Sophus Lie) algunos autores basan la construccin de la geometra
en movimientos rgidos, de modo que varios de los teoremas de este apunte
se convierten en axiomas y recprocamente, varios de los axiomas (o partes de
ellos) que usamos pasan a ser teoremas.
Este apunte se basa en la presentacin de Pogorlov [6, 10], pero difiere en
varias partes, especialmente para evitar algunas imprecisiones en el tratamiento
de traslaciones y rotaciones, para lo cual tomamos material de los libros de
Martin [5] y Yaglom [8].
Estas imprecisiones vienen en su mayor parte de no considerar segmentos o
ngulos dirigidos explcitamente, y nuestra solucin intermedia es apelar a las
simetras (centrales o axiales) para representarlas. En una presentacin menos

Pg. 2

Movimientos rgidos
axiomtica que la de Pogorlov, los ngulos dirigidos se introducen apelando a
los sentidos horario y antihorario o a la medicin de ngulos mdulo 360 .
. Los axiomas de Birkhoff [2] s incluyen la medicin de ngulos mdulo 360 ,
variantes de los cuales se encuentran en artculos como el de MacLane [4] y
libros como el de Beatley y Birkhoff [1] o SMSG [7].
En los originales, tanto Birkhoff [2] como MacLane [4] deben apelar a
la continuidad (el concepto de anlisis matemtico o topologa) para poder
obtener el equivalente al axioma de Pasch y la separacin entre semirrectas
(ver el teorema 2.8 y los axiomas II, III y IV del apunte de axiomas).

Un poco para relacionar nuestra presentacin con, por ejemplo, ngulos


dirigidos, agregamos a la presentacin de Pogorlov una seccin sobre la paridad
de movimientos (seccin 6) y otra sobre orientacin en el plano (seccin 7).
Una de las ventajas de esta presentacin a medias entre la de Pogorlov y una
a la Klein, es que aparecen naturalmente nociones de grupos no conmutativos.
Finalmente, siguiendo a Pogorlov, no tratamos las simetras con deslizamiento, que son de importancia (entre otros) en el estudio de diseos geomtricos.
Estos movimientos se expresan como la composicin de una traslacin y una
simetra axial, es decir cuando la composicin de tres simetras axiales no es
una simetra axial (ver, e.g., el corolario 6.4).

1. Isometras
1.1. Definicin. Una funcin del plano en s mismo es un movimiento rgido
o simplemente movimiento si conserva las distancias, i.e., si y son dos
puntos del plano que se corresponden con e respectivamente, entonces
= .
. Recordar que = 0 si = .
. Pogorlov pide adems que la transformacin sea biunvoca, lo que es innecesario segn veremos en el teorema 1.9.

Movimientos rgidos tambin se denominan isometras.

1.2. Lema. La transformacin identidad del plano en s mismo, indicada por I, es


un movimiento.1
. Recordemos que la identidad sobre el conjunto es la aplicacin I :
tal que I () = para todo (ver el apunte Notaciones).
En este apunte la indicamos sencillamente por I, ya que slo consideramos funciones definidas en todo el plano, y no hay mucha posibilidad de
confusin.

1.3. Lema. La composicin de isometras es una isometra.


Si mediante una transformacin y , y mediante otra y
, debe ser = por la primer isometra, y = por la
segunda. Entonces = y la composicin es una isometra. Repitiendo
el argumento, se ve que la composicin de cualquier cantidad de isometras es
tambin una isometra.

1.4. Teorema. Si, por efecto de una isometra, tres puntos , y sobre una recta
se transforman en los puntos , y respectivamente, entonces stos estn sobre
una recta. Ms an, si * * entonces * * .
1 O sea que nos movemos si no nos movemos!

1. Isometras
Si los puntos estn en una recta, uno de ellos est entre los otros dos. Digamos
* * . Entonces = + (por el axioma III.2) y por la isometra
es = + . Por el teorema 4.18 del apunte de axiomas, debe ser
* * y por lo tanto , y estn alineados.

1.5. Corolario. Todo isometra transforma rectas en rectas, semirrectas en semirrectas y segmentos en segmentos.
. Recordar que para demostrar la igualdad de conjuntos hay que demostrar dos
inclusiones.
Consideremos por ejemplo el caso de un segmento , donde y
mediante la isometra. El teorema 1.4 dice que si * * y por la
isometra, entonces * * .
Falta ver que si * * entonces existe tal que * * tal que .
Por el axioma IV.1 existe en la semirrecta tal que = . Por 3.4 del
apunte de axiomas, resulta * * , y la imagen de por la transformacin
debe ser (nuevamente por IV.1 en la semirrecta ).

1.6. Corolario. Si por una isometra dos puntos y permanecen fijos, todos los
puntos de la recta permanecen fijos.
Usamos la desigualdad triangular como en la demostracin de 1.4.

1.7. Corolario. Si por una isometra tres puntos no alineados permanecen fijos, todos
los puntos del plano permanecen fijos por esa isometra (i.e., es la transformacin
identidad).
Sean , , los puntos no alineados que permanecen fijos, y sea un punto
arbitrario del plano. Por 1.6, todos los puntos de las rectas , , quedan
fijos. Si est en alguna de esas rectas, entonces permanece fijo.
En otro caso consideremos un punto del segmento (por ejemplo el
punto medio). La recta corta al tringulo en algn otro punto por
el axioma de Pasch (teorema 2.8 en el apunte de axiomas), llamemos a esa
interseccin. Entonces y permanecen fijos y por lo tanto todos los puntos
de la recta , entre ellos .

1.8. Proposicin. Toda isometra transforma tringulos en tringulos iguales a los


originales.
Considerar el tringulo formado por el vrtice y un punto en cada lado del
ngulo y sus imgenes y usar LLL.

1.9. Teorema. Una isometra es una transformacin biunvoca sobre el plano.


. El resultado nos asegura que para demostrar que una transformacin es una
isometra basta ver que conserva las distancias, a diferencia de la presentacin
en Pogorlov con la cual deberamos demostrar tambin que la transformacin
es biunvoca.
Si la isometra transforma en y en , con , , debe ser 0 < =
y por lo tanto , , i.e., la isometra es inyectiva.
Para ver que es suryectiva, consideramos un tringulo su imagen
, y un punto del plano.
Razonamos como en la demostracin de 1.7: si est en alguna de las
rectas , o entonces es imagen de algn punto en las rectas
, o respectivamente, en otro caso consideramos un punto en
el segmento , otro punto en el tringulo tal que est en
la recta , es imagen de algn en el tringulo , y toda la recta
= es imagen de la recta .

Pg. 3

Pg. 4

Movimientos rgidos
1.10. Corolario. Toda isometra tiene una transformacin inversa (i.e., componiendo las dos obtenemos la identidad), que es una isometra.
. Si la isometra es , su inversa se indica por 1 .
. En cursos de lgebra se estudia la teora de grupos. Los resultados anteriores
muestran que las isometras forman un grupo donde la operacin (equivalente
a la suma para nmeros) es la composicin de funciones y el elemento neutro
(equivalente al 0 para nmeros con la suma) es la transformacin identidad I.
A diferencia de los nmeros, el grupo no es conmutativo.
Como las isometras forman un grupo, se puede estudiar geometra desde
un punto de vista algebraico.
Por ser una transformacin biunvoca, la isometra tiene una transformacin
inversa, i.e., si por la transformacin original, entonces por la
transformacin inversa. Pero si mediante la inversa y , por la
original debe ser , , y = , i.e., la inversa es una isometra.

1.11. Proposicin. Si dos transformaciones son tales que las imgenes de los puntos
no alineados , y son respectivamente , y , entonces las transformaciones
coinciden.
O, de otra forma, las imgenes de un tringulo caracterizan a la transformacin.
. Este es un resultado de unicidad. El de existencia es 2.9.
Supongamos que haya dos isometras, digamos 1 y 2 que transforman el
tringulo en el . 21 1 es una isometra (por 1.10 y 1.3) que
deja fijos a los puntos no alineados , y . Por 1.7, 21 1 = I y debe ser
1 = 2 .

1.12. Definicin. Dos figuras y se dicen iguales si existe una isometra que
transforma una en otra.
. Como en otros casos, sera ms adecuado poner congruencia en vez de igualdad,
pero seguimos a Pogorlov.
. Recordemos que para nosotros figura es sencillamente un subconjunto del
plano.
$

1.1. Ejercicios
Ejercicio 1.1. Demostrar el corolario 1.5 para el caso de rectas y semirrectas.
Ejercicio 1.2. Una isometra transforma un ngulo en otro igual (con la misma
medida).

2. Simetra o reflexin respecto de una recta


2.1. Definicin. Dados un punto y una recta , llamamos simtrico de
respecto a al punto obtenido de la siguiente forma:
i) si , entonces = ,
ii) si < , consideramos la perpendicular a que pasa por y tomamos
como el punto sobre tal que est en el semiplano respecto de que
no contiene a y tal que dist(, ) = dist( , ).
. Cuando , , o equivalentemente si < , decir que es el simtrico de
respecto de la recta es lo mismo que decir que es la mediatriz del
segmento .
$

2. Simetra o reflexin respecto de una recta

Pg. 5

2.2. Definicin. La transformacin definida sobre todo el plano que a cada


punto le hace corresponder su simtrico respecto a la recta se llama simetra
axial con eje , y la indicamos por .
Tambin se llama reflexin especular respecto de la recta ,
o simplemente simetra respecto a o reflexin en .

2.3. Lema. Si es una recta y ( ) = entonces = si y slo si .


En particular, si para dos rectas y vale = , entonces = .
Si , por definicin = , y si < , y estn en distintos semiplanos
respecto de (y por lo tanto son distintos).
Para la segunda parte si debe ser = ( ) = ( ) , .

2.4. Teorema. La simetra respecto a cualquier recta es una isometra.


Sea el eje de simetra. Tenemos que ver que si ( ) = y () =
entonces = . Hay varios casos:
i) , . Usamos 2.3.
ii) , < (o viceversa). Si es el pie de la perpendicular a por , y
, , los tringulos rectngulos y son iguales y = . Si
= , entonces por la definicin de simetra axial, resulta = .
iii) < , < . Sean y los pies de la perpendiculares a por y
respectivamente. Si , , como en el inciso anterior vemos que los tringulos rectngulos y son iguales, = y = . El
mismo resultado vale cuando = entendiendo que = 0 .
= 90 ( ) dependiendo de si y estn en distintos
semiplanos respecto de o el mismo. Del mismo modo, = 90
( ). Entonces = . Los tringulos y tienen
= (por definicin de la simetra), = y los ngulos en
iguales, por lo tanto son iguales (LAL) y = .
. Pogorlov omite la discusin de los casos en que y estn en
distintos semiplanos respecto de .

2.5. Lema. Sea una recta. Entonces:


a) es involutiva, i.e., = I.
b) Si es un rayo de origen , y es la imagen de por , contiene a la
bisectriz de .2

a) Sale de la simetra de la definicin.


b) Sean , = () ( ), y el punto medio del segmento ( =
si = ). y () = . Adems, = pues es una isometra.
Si = , debe ser = = y () = .
Si , (y entonces , ), el tringulo es issceles en y si
es el punto medio del segmento , es bisectriz de . Como es
una involucin, la imagen por del segmento es el segmento y
siendo una isometra (por 2.4) el punto medio es tal que () = .
En cualquier caso, () = y (por 2.3). Entonces el rayo
(que es bisectriz de ) est contenido en .

2.6. Corolario. Dados los rayos y , existe una nica reflexin tal que la imagen
de por la reflexin es .
2 Convenimos en que la bisectriz de es .

Pg. 6

Movimientos rgidos
Si = tomamos como la recta que los contiene, en otro caso tomamos la
recta que contiene a la bisectriz de (ver ejercicio 2.3.b)). La unicidad se
deduce de 2.5.

2.7. Lema. Sean y dos tringulos iguales. Entonces pueden encontrarse


tres o menos simetras axiales tales que su composicin transforma en , en
y en .
Cuando = , = y = , podemos usar la composicin de cualquier
simetra axial y su inversa (que es una simetra axial por 2.5).
Supongamos que , , , , , (el caso en que alguno o varios
de ellos coinciden queda como ejercicio). Mediante la reflexin respecto de
la mediatriz de , , y digamos , . Si , , como
= = , el tringulo es issceles con base . La mediatriz
de contiene a y la reflexin en transforma en dejando a fijo.
Supongamos que por esta segunda simetra . Como los tringulos
y son iguales, si , la recta debe ser perpendicular
a la recta , y la reflexin en esta recta mantiene a y fijos mientras que
transforma en . Es decir, componiendo las simetras axiales respecto de
la mediatriz de , la mediatriz de , y la recta transforma ,
y .

2.8. Proposicin. Toda isometra puede ponerse como composicin de no ms de


tres simetras axiales.
. La descomposicin no es nica. Por ejemplo, la transformacin identidad I puede
escribirse de muchas formas distintas como la composicin de cualquier simetra
axial con s misma.
. Desde el punto de vista de grupos (mencionados en las notas del corolario 1.10), el
resultado dice que las simetras axiales son generadores del grupo de transformaciones.
En general, y como hacemos nosotros, se pueden estudiar primero las propiedades de los generadores, y luego ver cmo se mantienen o cambian va la operacin
del grupo (en nuestro caso la composicin).
Tomemos tres puntos no alineados , , y sus imgenes , , mediante
la transformacin. Por 2.7, podemos encontrar una composicin de simetras
axiales que transforman , y , pero esta composicin
debe coincidir con la isometra original por 1.11.

2.9. Proposicin. Dados los tringulos iguales y , existe una nica


isometra que transforma , y .
Para la existencia podemos considerar la composicin de simetras axiales
en 2.7. La unicidad es 1.11.

2.10. Proposicin. Si una isometra deja fijos (al menos) dos puntos, entonces o es
la identidad o es una reflexin.
Si y son puntos que quedan fijos por la isometra , todos los puntos de la
recta por y tambin quedan fijos (por 1.6). Si , I, consideremos <
tal que = ( ) es distinto de . Sea la interseccin de y la recta , y
, en . Los tringulos y son iguales y como , , y estn
en distintos semiplanos respecto de , = = 90 y = ( ). Las
imgenes de , y por y por coinciden, y por 2.9 debe ser = .
. Comparar con la demostracin de 2.5.

2.1

Ejercicios

2.11. Proposicin.
a) Si la isometra deja fijo nicamente al punto y es una recta por ,
entonces existe una nica recta por tal que = .
b) Si las rectas , y se cortan en un nico punto y = , entonces
existe una nica recta que pasa por y tal que = .
En ambos casos es la recta que contiene a la bisectriz de un rayo de y su
imagen por .
Ac vemos la existencia, la unicidad en ambos casos queda como ejercicio.
a) Sea , , . Si = ( ), siendo una simetra y () = , =
y la mediatriz del segmento contiene a (porque o bien * *
o bien los puntos , y no estn alineados y el tringulo es
issceles). Entonces ( ( )) = ( ) = y ( ()) = , la isometra
deja fijos dos puntos ( y ) y debe ser una reflexin o la identidad
(por 2.10). Si fuera la identidad, sera la inversa de y por lo tanto
= , que deja fijos a ms de un punto. Entonces es una reflexin
que deja fijos a y , i.e., = , y = = .
b) = deja fijo al punto . Si dejara fijo a otro punto, sera la
identidad o una reflexin .
Si = I debe ser = y podemos tomar = .
Si = , tomemos , de modo que = () = () ,
(pues < ), y deben ser las mediatrices del segmento , y por lo
tanto iguales. Entonces = = = I lo que es imposible.
Por lo tanto si , , deja fijo nicamente a y podemos usar el
inciso anterior.

2.12. Corolario. Si las rectas , y son concurrentes, es una simetra


axial.
Existe tal que = , por lo tanto = = .

2.13. Definicin. Si la simetra respecto a la recta transforma la figura en


s misma, la figura se dice simtrica respecto a , y es el eje de simetra de la
figura.
$
Ejemplo 2.1. Un rombo es simtrico respecto de cualquiera de las rectas que
contienen a sus diagonales.
Basta ver que los vrtices del rombo se transforman en vrtices, ya que segmentos se transforman en segmentos (por 1.5). Pero esto se deduce de que las
diagonales se cortan en el punto medio (un rombo es un paralelogramo) y lo
hacen perpendicularmente (por 1.6 y 1.11 del apunte Cuadrilteros).

2.1. Ejercicios
Ejercicio 2.1. Supongamos que y son rectas que se cortan. Es lo mismo
hacer una simetra respecto de seguida de una respecto de , que hacer primero
una simetra respecto de seguida de una respecto de ? Y si las rectas no se
cortan?
Ejercicio 2.2. Demostrar la unicidad en la proposicin 2.11.
Ejercicio 2.3.

Pg. 7

Pg. 8

Movimientos rgidos
a) La mediatriz es eje de simetra de un segmento.
b) La recta que contiene a la bisectriz es eje de simetra de un ngulo.
c) Se puede transformar un segmento en otro igual usando a lo sumo dos
simetras axiales.
d) Encontrar una isometra que se pueda expresar como composicin de
tres simetras axiales en (al menos) dos formas distintas.
Ejercicio 2.4. Si y son ejes de simetra de una figura, la recta simtrica de
respecto de tambin es eje de simetra.
Ejercicio 2.5.
a) Si es el incentro del tringulo , ver que = 90 + 12 . Como
consecuencia, ningn tringulo tiene dos bisectrices perpendiculares
entre s.
b) Construir el tringulo dados el punto y las rectas que contienen
a las bisectrices correspondientes a y (que se cortan en ).
Sugerencia: Los simtricos de respecto de las rectas que contienen a las
bisectrices estn en la recta .
. Tambin puede resolverse usando rotaciones (que vemos un poco ms
adelante) rotando la recta con centro en un ngulo de 12 =
2 3 90 hacia cada lado, donde 2 y 3 son las rectas que contienen a
las bisectrices de y respectivamente.

Ejercicio 2.6. Consideremos una recta y dos puntos, y que no estn en ella.
Encontrar un punto , tal que + sea mnima. Sugerencia: considerar
primero el caso en que y estn sobre distintos semiplanos respecto de .

3. Simetra respecto de un punto o central


3.1. Definicin. Dados un punto y un punto , llamamos simtrico de
respecto a al punto obtenido de la siguiente forma:
i) si = , entonces = ,
ii) si , , entonces tomamos el punto sobre la semirrecta complementaria al rayo tal que = .
$
3.2. Definicin. La transformacin definida sobre todo el plano que a cada
punto le hace corresponder su simtrico respecto a punto se llama simetra
respecto del punto o simetra central de centro .
Indicamos la simetra con centro por .

3.3. Lema. Supongamos que las rectas perpendiculares y se cortan en . Entonces


= = .
Veamos la igualdad = , la otra es similar. Sea = ( ), = ( ).
Si , ( ) = = . Si , = y = ( ). En otro caso, sean
la proyeccin de en y la proyeccin de en . Los tringulos
rectngulos , , y son iguales, = = y
= + + + = 2 ( + ) = 290
es llano, de modo que = ( ).

3.1

Ejercicios

3.4. Corolario. Una simetra central es una isometra.


Usar 3.3 y 1.3.

3.5. Definicin. Si la simetra respecto al punto transforma la figura en s


misma, la figura se dice simtrica respecto a , y es el centro de simetra de la
figura.
$
Ejemplo 3.1. Un paralelogramo es simtrico respecto del punto de interseccin
de sus diagonales.
Como en el ejemplo 2.1, basta ver que los vrtices se transforman en vrtices,
pero esto se deduce de que las diagonales se cortan en sus puntos medios
(por 1.6 del apunte Cuadrilteros).

3.1. Ejercicios
Ejercicio 3.1. Una simetra central es una involucin.
Ejercicio 3.2. Supongamos que y son dos puntos distintos. Es lo mismo
hacer una simetra respecto de seguida de una respecto de , que hacer
primero una simetra respecto de seguida de una respecto de ?
Ejercicio 3.3. Hacer la construccin del ejercicio 1.13 del apunte de cuadrilteros usando una simetra respecto del punto medio de la diagonal .
Ejercicio 3.4. Una simetra central transforma rectas en rectas paralelas a las
originales.
Ejercicio 3.5. Ningn tringulo tiene centro de simetra.
Ejercicio 3.6. Si y , , , son centros de simetra de una figura, entonces
tambin es centro de simetra el punto simtrico de respecto de . Por lo
tanto, la figura tiene infinitos centros de simetra.
. O, no puede haber una figura con exactamente dos centros de simetra, ni con
tres, ni con...

Encontrar una figura (que no sea todo el plano) con esta propiedad.

4. Traslacin paralela
La idea de traslacin paralela es la de mover el plano (pensemos en una hoja
de papel sobre una mesa) segn una lnea recta sin girarlo, y la definicin dada
por Pogorlov como el movimiento rgido en el que los puntos se desplazan a
una misma distancia segn rectas paralelas es intuitivamente correcta pero un
poco difcil de manejar formalmente.
La nocin se puede formalizar mediante la usualmente llamada ley del
paralelogramo: fijando y , la transformacin asociada asigna a cada punto
el punto tal que es un paralelogramo. A su vez, esta eventual
definicin es inconveniente cuando , y estn alineados, y debemos dar una
definicin que sirva tambin en este caso.
Una posibilidad es considerar como al simtrico de respecto del punto
medio del segmento . Otra posibilidad, que seguimos ac, es escribirla como
composicin de simetras centrales.

Pg. 9

Pg. 10

Movimientos rgidos
4.1. Definicin. Dados dos puntos y , sea el punto medio del segmento
.3 La traslacin paralela en - o simplemente traslacin en -, indicada por
, es la transformacin definida por
= .
. Observar que no es la definicin en Pogorlov.

4.2. Lema. Sean y dos puntos del plano y es su punto medio. Entonces:
a) es una isometra.
b) () = .
c) Si = , = I.
d) La inversa de una traslacin es una traslacin.
e) Si , , es la recta , tal que , y tal que , debe ser
= . Es decir, una traslacin se puede poner como la composicin
de dos simetras axiales respecto de rectas paralelas (y recprocamente).

a) Usar 3.4 y 1.3.


b) () = ( ()) = () = .
c) Si = , entonces = y es una involucin.
1 = ( )1 = 1 1 = =
d)

donde es el simtrico

de respecto de .

e) Por 3.3 podemos poner = y = . Entonces =


= = pues = I (por 2.5).

4.3. Proposicin. Sean y puntos distintos del plano, la recta , y tales


que = ().
Entonces:
a) Si < , el cuadriltero es un paralelogramo.
b) Si < , = .
c) Para todo , = , y = .
d) La inversa de es .
. a) recupera la ley del paralelogramo que mencionamos al principio de esta
seccin.
. Una forma de leer = en b) y c) es: si mediante una traslacin en -, el
punto se transforma en , entonces las traslaciones paralelas en - y en -
coinciden, o bien existe una nica traslacin que transforma en .

a) Sean el punto medio del segmento , = () de modo que () =


, y = (). Por construccin, las diagonales del cuadriltero
se cortan en su punto medio (que es ) y por lo tanto es convexo y un paralelogramo (por el ejercicio 1.1 y el teorema 1.7 del apunte Cuadrilteros).
es una isometra y transforma el punto medio del segmento
(que es ) en el punto medio del segmento . Como = (), es el
punto medio del segmento . Entonces tambin es un paralelogramo.
b) Consideremos un punto que no est ni en ni en la recta , y sean
= () y = (). Por el inciso anterior, , y
son paralelogramos, pero entonces = . Hacemos esto para tres no
alineados y usamos 1.11.

3 Convenimos en que el punto medio de es .

4.1

Ejercicios
c) Se deduce del anterior si no est en la recta . Para en esta recta,
consideremos < y = (). Por el inciso anterior, = = ,
y en particular = = .
d) La inversa de una traslacin es una traslacin (por 4.2.d)), y es la nica
que aplica en .

4.1. Ejercicios
Ejercicio 4.1. Sea la recta por y ( , ). Entonces por una traslacin en
-:
a) Rectas paralelas a permanecen fijas (i.e., se transforman en s mismas).
b) La imagen correspondiente a una recta secante con es paralela a .
Ejercicio 4.2. Dos simetras axiales, realizadas sucesivamente respecto a dos
rectas paralelas, equivalen a una traslacin paralela.
Ejercicio 4.3. = si y slo si = . En particular, cuando , la
traslacin en - no es involutiva.
Ejercicio 4.4. Si es un paralelogramo, = .
Ejercicio 4.5. La composicin de dos traslaciones es una traslacin. Sugerencia:
si las traslaciones son en - y en -, podemos poner = para algn .
Ejercicio 4.6. La composicin de traslaciones es conmutativa, i.e., aplicar una
traslacin seguida de una segunda, es lo mismo que aplicar inicialmente la
segunda y luego la primera.
. Comparar con el ejercicio 2.1.

Ejercicio 4.7. Un ro, cuyas costas son lneas paralelas, separa las ciudades
y (no necesariamente sobre las costas), y se desea construir un puente
sobre el ro (perpendicular a ste). Cmo deben ubicarse los puntos y
sobre las costas de modo de minimizar el camino ?
Ejercicio 4.8. Dada una recta y un nmero positivo , encontrar el lugar
geomtrico de los puntos cuya distancia a es .
Ejercicio 4.9. Dadas dos rectas secantes y una distancia , encontrar el lugar
geomtrico de los puntos tales que la suma de las distancias del punto a las
rectas es . Ayuda: a) resulta ser un rectngulo, b) mirar el ejercicio 5.4 del
apunte de axiomas.

5. Rotacin
Como en el caso de las traslaciones paralelas, las rotaciones son sencillas
de entender: poner un dedo en el centro de una hoja de papel sobre la mesa y
girar la hoja. Tambin como en el caso de traslacin, la definicin de rotacin
dada por Pogorlov es difcil de manejar formalmente, por lo que trataremos de
seguir los pasos de la seccin 4.
Una diferencia importante entre traslaciones y rotaciones es que mientras
mantengamos el mismo centro las rotaciones son esencialmente objetos de dimensin 1 (la circunferencia), mientras que una traslacin en -, an cuando

Pg. 11

Pg. 12

Movimientos rgidos
mantengamos fijo , depende de la distancia y la direccin en que ubiquemos y es un objeto de dimensin 2. Claro que las rotaciones tienen la
complicacin de que al sumar ngulos podemos superar los 180 y debemos
tener esto en cuenta.
Notacin: Por conveniencia, en esta seccin usamos las siguientes notaciones:
* indica la recta que contiene al rayo .
Para una transformacin del plano en s mismo y un subconjunto del
plano indicamos por () la imagen de por ,
() = { : existe con = ()}.
Por ejemplo, si es una isometra y es una recta, () es una recta. $
5.1. Definicin. Dadas las semirrectas y con un origen comn, sea la
bisectriz de . La rotacin en -, indicada por , es la transformacin
definida por
= * * .
El vrtice de es el centro de la rotacin.
El ngulo de la rotacin es .
. Hay dos rotaciones con el mismo ngulo y centro: y .
. Como en el caso de traslaciones, la definicin de rotacin es distinta a la de
Pogorlov.
. No es necesario explicitar el centro, pero toda rotacin tiene asociado uno.
. Recordemos que usamos las convenciones = 0 y que es la bisectriz de
.
$

5.2. Lema. Sean y dos semirrectas de origen . Entonces


a) es una isometra.
b) () = y (siendo isometra) = ( ) para todo .
c) Para todo , () , y = () (la imagen de por ).
d) Si = , = I.
e) Si = 180 , = .
f) La inversa de una rotacin es una rotacin.
Miramos slo algunos incisos, los otros son sencillos o similares a 4.2. Suponemos que es la bisectriz de .
e) Como es llano tiene dos bisectrices, pero en cualquier caso la recta
* que las contiene es perpendicular a la recta * que contiene a , y el
resultado es consecuencia de 3.3.
1 = ( * * )1 = 1 1 = * * =
f )

donde = * (), i.e., tal


*
*
que es bisectriz de .

5.3. Proposicin. Si una isometra deja fijo exactamente un punto, entonces es una
rotacin con centro en ese punto.
Recprocamente, una rotacin en - con , deja fijo exactamente un punto (el
origen de ). En consecuencia o bien una rotacin deja exactamente un punto fijo
o bien deja a todos los puntos fijos (y es la identidad).

5. Rotacin

Pg. 13

Para la primer parte, usar 2.11 y la definicin que dimos de rotacin.


Para la segunda parte, si la rotacin = * * deja fijo ms de un
punto, por 2.10 o bien = I o bien = para alguna recta .
Si = * * = I, * = * y * = * (por 2.3), pero como es bisectriz
de , y no pueden ser rayos opuestos, y debe ser = = . Si =
* * = , deja fijo el vrtice de y (por 2.12) * * = I es una
simetra axial, lo que es imposible (I deja todos los puntos fijos y una simetra
axial no).

5.4. Lema. Sean y rectas que se cortan en . Entonces es una rotacin.


Sea = , y supongamos , (en otro caso = I que es una rotacin).
Sean un rayo de de origen y sea = () de modo que la bisectriz de
est contenida en . Entonces = * * =

5.5. Proposicin. Consideremos rayos , , y con un origen comn , y sea


la bisectriz de .
a) Si = () entonces = .
b) Hay una nica rotacin que transforma en .
1
c)
= , y en particular = * * .

d) es una rotacin y = . Adems, si es la bisectriz de


se tiene = * * .
e) Sean la bisectriz de y = * (). Entonces = () = ().
f) Si = () entonces = (y = ).
. e) y f ) forman el equivalente a la ley del paralelogramo para una traslacin.
La bisectriz en e) juega el rol del punto medio de en las traslaciones:
si = () vale = () = ().
En f ) estamos diciendo el equivalente a que lados opuestos tienen igual
medida.

a) Sea la bisectriz de . Por 2.11.b), = * * = * * , donde


es la bisectriz de . Entonces = * * = .
b) La rotacin transforma en . Para ver que es nica, supongamos que
() = , y consideremos los casos = y , .
Si = , la rotacin que transforma en deja fijos a ms de un punto
y entonces debe ser la identidad (por 5.3). Desde ya que = I (por 5.2.d)).
Supongamos que , , y que y son rayos con origen comn
tales que = () = . debe dejar fijo (pues es el origen comn de
y ) y no puede dejar fijo otro punto (pues = () , y usamos 5.3).
Entonces = y por a) de () = tenemos = .
c) La transformacin inversa de es una rotacin (por 5.2.f )) que transfor1 = .
ma el rayo en , tambin transforma en y entonces

1 = ( * * )1 = 1 1 =
Adems = * * y =

*
*
* * .
. O podramos usar directamente 2.11.b).
d) Veamos que = es una rotacin.
. Aqu debemos tener cuidado si la suma de las medidas de los
ngulos supera 180 .
Por c) podemos poner = * * , y por lo tanto = =
* * * * = * * que por 5.4 es una rotacin (con centro )
que transforma en (primero en y luego en ).

Pg. 14

Movimientos rgidos
La rotacin tambin transforma en , y por a) debe ser igual a ,
i.e., = .
e) = * * (por d)) y () = * (* ()) = * () = . Del mismo modo,
si es la bisectriz de tendremos = * * y () = .
f ) Por e) podemos poner () = . La isometra transforma en ,
y por lo tanto deben tener la misma medida. De la misma forma usando
se ve que = .

Para concluir esta seccin, observemos que las definiciones y demostraciones sobre rotaciones en Pogorlov son distintas de las que damos ac pero
equivalentes:
La primera parte de la proposicin 5.3 es el enunciado del teorema 10.5 en
Pogorlov. Aqu la demostracin es sencilla por la definicin que damos
de rotacin.
5.5.f ) es la definicin de rotacin de Pogorlov.
El corolario del teorema 10.5 de Pogorlov es nuestra definicin de rotacin.
La demostracin del teorema 10.5 en Pogorlov es equivalente a nuestras
demostraciones de 5.5.e) y f ).
5.5.e) puede ilustrarse como la figura 75 (pg. 74) en Pogorlov.
. En la demostracin del teorema 10.5 de Pogorlov no es claro que desde el
punto se pueda cortar a los rayos en nicos puntos, por ejemplo si alguno
est contenido en la recta .

5.1. Ejercicios
Ejercicio 5.1. Una simetra axial no puede escribirse como composicin de
traslaciones, rotaciones o simetras centrales.
Ejercicio 5.2. Si una recta se transforma mediante una rotacin en la recta
, cmo se relacionan los ngulos en que se cortan y con el ngulo de la
rotacin? Y si ?
Ejercicio 5.3.
a) La composicin de rotaciones de un mismo centro es una rotacin (con
el mismo centro). Sugerencia: cuando los ngulos tienen un lado comn
se puede usar 5.5.d).
b) En el inciso anterior, cmo se relacionan los ngulos de las rotaciones
originales con el de la rotacin resultante?
. Atencin si la suma de las medidas de los ngulos supera 180 .

Ejercicio 5.4. Las rectas , , , satisfacen y . Si y se cortan, ver


que y se cortan formando los mismos ngulos que forman y .
Ejercicio 5.5. Dadas tres rectas paralelas, construir un tringulo equiltero con
un vrtice en cada una de ellas.
Ejercicio 5.6. Sean dados el punto y una circunferencia. Encontrar el lugar
geomtrico de los vrtices de tringulos equilteros cuando vara
sobre la circunferencia.

6. Paridad de isometras
Ejercicio 5.7. Dado el cuadrado , construir sobre y sobre de
modo tal que el tringulo sea equiltero.
Ejercicio 5.8. Dada una recta y un punto no en ella, encontrar el lugar
geomtrico de los vrtices de los cuadrados con en la recta dada.

6. Paridad de isometras
La proposicin 2.8 nos dice que basta conocer las propiedades de las simetras axiales para conocer las propiedades de todas las isometras. Podemos
hacer una primera clasificacin de las isometras segn la cantidad de simetras
axiales necesarias para representarlas.
6.1. Definicin. Una isometra es par si puede escribirse como la composicin
de un nmero par de simetras axiales y es impar en otro caso.
$
En esta seccin nos preocuparemos por ver que no existe una isometra que
sea par e impar a la vez, dando sentido a la definicin anterior. La presentacin
est basada en el libro de Martin [5, cap. 7].
6.2. Lema. Sean un punto y y rectas. Entonces existen rectas y con
tales que = .
Si las rectas y se cortan en un punto, usamos 2.11. Si , consideramos
y tales que y se cortan en . Sea , , = (),
entonces por 4.2.e) es = . Si = tenemos = (por 4.3.c)).
Usando nuevamente 4.2.e), = donde y contiene al punto
medio de . Es decir, = = = con .

6.3. Proposicin. Sean , , y cuatro rectas. Entonces existen dos rectas y


tales que
= .
Sea . Por 6.2 existen rectas y , con tales que = .
Usando nuevamente 6.2, podemos encontrar rectas y tales que y
= . Las rectas , y son concurrentes en , y por 2.12 existe
tal que = . En total tenemos
= = = .

6.4. Corolario. Toda isometra par se puede poner como composicin de dos reflexiones y toda isometra impar es una reflexin o la composicin de tres reflexiones.
Adems, ninguna isometra puede ser par e impar a la vez.
Si una isometra se escribe como la composicin de reflexiones, con 4,
entonces puede ponerse como la composicin de 2 reflexiones (por ejemplo
agrupando las 4 ltimas y usando 6.3), lo que demuestra la primera parte.
Para la segunda parte, una simetra par de la forma es la identidad
(si = ) que deja fijos todos los puntos, una rotacin (si y se cortan en un
nico punto) que deja fijo exactamente un punto, o una traslacin (si )
que no deja fijo ningn punto, y no puede ser una reflexin que deja
fijos exactamente a los puntos de una recta.
Si = , entonces = = para algn
par de rectas (por 6.3), y ya hemos visto que una reflexin no puede ponerse
como la composicin de dos reflexiones.

Pg. 15

Pg. 16

Movimientos rgidos

6.1. Ejercicios
Ejercicio 6.1. La transformacin identidad puede pensarse como una traslacin
en - o una rotacin en . Pero no puede pensarse como una simetra axial
o central: por qu?
Ejercicio 6.2. La composicin de dos movimientos:
a) Es par si ambos son pares o si ambos son impares.
b) Es impar si uno de ellos es par y el otro no.
. Es como la regla de los signos para el producto de nmeros: + + = +,
+ = , etc.

7. Orientacin en el plano
Cuando consideramos la traslacin paralela en - estamos dando un orden
a los puntos, e implcitamente dando una orientacin en la recta donde la
orientacin positiva es la de la semirrecta y la negativa la de la semirrecta
opuesta a la . Esto induce una orientacin en toda recta paralela a la recta
= : si y , considerando la imagen de la traslacin en -,
resultar = y podemos definir la orientacin positiva en como la de la
semirrecta .
La discusin anterior es esencialmente en dimensin 1 (rectas o rectas paralelas), pero para llevar las ideas al plano (de dimensin 2) debemos tener en
cuenta no slo semirrectas sino tambin semiplanos.
7.1. Lema. Dadas las semirrectas y , y semiplanos correspondientes y , existe
una nica isometra que transforma en y en .
Ejercicio 7.1.

7.2. Definicin (Orientacin en el plano). Dadas las semirrectas y , y semiplanos correspondientes y , decimos que (, ) y (, ) tienen igual orientacin
si la isometra en el lema 7.1 es par, y en otro caso que tienen distinta orientacin.
. Cambia la orientacin si miramos la hoja desde el otro lado o damos vuelta
la hoja. Ver el ejercicio 7.2.
$

7.3. Definicin (Sentido de rotaciones). Dadas las semirrectas y de origen


, y las semirrectas y de origen , consideremos el semiplano de que
contiene a y el semiplano de que contiene a . Decimos que y
tienen el mismo sentido o la misma orientacin si (, ) y ( , ) tienen la misma
orientacin.
$
Del mismo modo podemos definir la orientacin de tringulos o poligonales
convexas en general. Por ejemplo, los tringulos y tienen la misma
orientacin si las rotaciones y tienen el mismo sentido, donde , , y
son respectivamente las semirrectas , , y .
Si tomamos arbitrariamente una semirrecta 0 y un semiplano 0 correspondiente, podemos definir como orientacin positiva al par (0 , 0 ), y como
orientacin negativa al par (0 , 0 ), donde 0 es el otro semiplano correspondiente a , y podemos hablar tringulos orientados positiva o negativamente o el
sentido de ngulos.

7.1

Ejercicios

As, cuando usamos coordenadas cartesianas (, ), normalmente consideramos el rayo 0 = {(, ) : > 0} y 0 como el semiplano que contiene a la
semirrecta 0 = {(, ) : > 0}.
Graficando los ejes coordenados con la semirrecta 0 (de positivos) hacia
la derecha y la semirrecta 0 (de positivos) hacia arriba, definimos el sentido
positivo o antihorario el de la rotacin 0 0 , y el negativo o antihorario el
de 0 0 .
Estos conceptos estn relacionados con la forma concreta (fsica) de graficar,
y muchas veces se pone la semirrecta de positivos hacia abajo (por ejemplo
cuando se trabaja en monitores de computadoras o con la gravedad en fsica).
Los ngulos heredan la orientacin dada por (0 , 0 ) (o 0 y 0 ), midindose
el ngulo como positivo si tiene el mismo sentido que 0 0 , y en
negativo si no. Claro que lo correcto en este caso es medirlo mdulo 360 .

7.1. Ejercicios
Ejercicio 7.1.
a) Demostrar el lema 7.1.
b) Ver que si y son rectas (en vez de semirrectas) y y son semiplanos
correspondientes, entonces hay (en realidad infinitas) isometras pares e
isometras impares que transforman en y en .
Ejercicio 7.2. Si los semiplanos determinados por la semirrecta son y ,
entonces (, ) y (, ) tienen distinta orientacin.
Ejercicio 7.3. Supongamos que las semirrectas , y tienen asociados los
semiplanos , y , y que:
i) (, ) y (, ) tienen la misma orientacin, y
ii) (, ) y (, ) tienen la misma orientacin,
entonces (, ) y (, ) tienen la misma orientacin. Sugerencia: ver el ejercicio 6.2.
Ejercicio 7.4. Si componemos dos rotaciones (no necesariamente con el mismo
centro), la transformacin resultante es otra rotacin o una traslacin paralela
(o la identidad).
Si el movimiento resultante es una rotacin, cmo se relacionan los ngulos
de las rotaciones con el ngulo de la rotacin resultante?, cmo se relacionan
los centros?
Y si el movimiento resultante es una traslacin paralela?
. Relacionar con los ejercicios 5.2, 5.3 y 5.4.

Ejercicio 7.5. Si se componen tres rotaciones en un mismo sentido, y la suma


de las medidas de los ngulos correspondientes es 360 , la composicin (de las
tres) es una traslacin (o la identidad).
. No se supone que las rotaciones tengan el mismo centro.

Ejercicio 7.6. Las simetras axiales cambian orientaciones, mientras que traslaciones y simetras centrales las preservan.
. En el plano, como estamos trabajando ac. En tres dimensiones, las simetras
centrales no preservan la orientacin.

Pg. 17

Pg. 18

Referencias
Ejercicio 7.7. Dado un tringulo , se construyen sobre sus lados (y externamente) tres tringulos equilteros. Entonces los circuncentros de estos
tringulos equilteros forman otro tringulo equiltero.
Sugerencia: Rotando 120 (sucesivamente y en el mismo sentido) alrededor de
los circuncentros da la identidad. El segmento formado por un circuncentro y
su imagen por las rotaciones respecto de los otros centros, tiene como mediatriz
al segmento formado por los otros circuncentros.
. A veces el tringulo formado por los circuncentros se denomina de Napolen.

Referencias
[1] R. Beatley y G. Birkhoff. Basic Geometry. Chelsea Publishing Co., 1940.
[2] G. Birkhoff. A set of postulates for plane geometry (based on scale and
protractors). Annals of Mathematics, 33:329345, 1932.
[3] F. Klein. A comparative review of recent researches in geometry. Bull. New
York Math. Soc, 2:215249, 18921893. Ver http://math.ucr.edu/home/
baez/erlangen/erlangen_tex.pdf.
[4] S. MacLane. Metric postulates for plane geometry. The American Mathematical Monthly, 66:543555, 1959.
[5] G. E. Martin. Transformation Geometry. An introduction to symmetry.
Springer-Verlag, 1982.
[6] A. V. Pogorlov. Geometra elemental. MIR, Mosc, 1974.
[7] SMSG. Geometry. Yale University Press, 1961.
[8] I. M. Yaglom. Geometric Transformations I. Mathematical Association of
America, 1962.

También podría gustarte