Capítulo 3 Geometría Básica Buser - Costa

La tabla siguiente resume la clasi…cación de las isometrías del plano

euclidiano que hemos obtenido :
más de un punto …jos un punto …jo sin puntos …jos
par identidad rotación traslación
impar re‡exión re‡exión con deslizamiento
(3.1)

Teorema 3. 16 Si g y g 0 son dos isometrías conjugadas, g es par si y sólo

si g 0 lo es.
Demostración. Supongamos que g = hg 0 h 1 y que h = b1 b2 bm . Si
g 0 = a1 a2 an , tenemos:

g = hg 0 h 1
= b1 b2 bm a1 a2 an bm b2 b1

Es decir, g se expresa como producto de n + 2m re‡exiones. Luego g y g 0

tienen la misma paridad.
Como consecuencia del teorema anterior, del teorema 3.4 y del cuadro
3.1, tenemos que si dos isometrías son conjugadas entonces o ambas son
rotaciones, o ambas traslaciones, o ambas re‡exiones, o ambas re‡exiones
con deslizamiento.

Nota 3. 17 Las isometrías que conservan la orientación son aquellas que

formalizan matemáticamente la idea de movimiento. Así se puede entender
que en geometría euclidiana dos …guras son iguales si existe una isometría
par que transforma una en la otra. La noción que nosotros utilizamos en este
curso de equivalencia o congruencia de …guras es un poco más débil, pues dos
…guras congruentes se pueden transformar una en otra usando isometrías
pares o impares.

Vectores y traslaciones
Una re‡exión sobre una recta viene dada simplemente conociendo la recta
eje y una re‡exión central basta conocer el punto …jo o centro. Veremos
como una rotación está determinada por un punto y un ángulo de rotación
(como veremos en el capítulo siguiente). Para determinar completamente una
traslación basta con dar un punto y su imagen por la traslación:

54
 Capítulo 3 Geometría Básica Buser - Costa

Teorema 3. 18 Dados dos puntos distintos del plano A y B existe una única
traslación , tal que (A) = B.

Demostración. En primer lugar si M = medio[A; B], a es la recta perpen-

dicular a rAB que pasa por A y m es la paralela a a que pasa por M , la
traslación = m a veri…ca que (A) = m a (A) = m (A) = B.
Sea 0 otra traslación que veri…ca 0 (A) = B. Por el ejercicio 3.6, sabemos
que 1 es también una traslación y que 1 0 es una traslación o la

identidad. Pero como 1 0 (A) = 1 (B) = A, entonces 1 0 es la

identidad y = . 0

El teorema anterior nos dice que un par ordenado de puntos determina

una única traslación, pero es importante que sepamos cuál es el punto de
partida y cuál es la imagen, de ahí que el par sea ordenado. Como dos puntos
determinan un segmento, un par ordenado de puntos determina un segmento
con un orden de sus extremos o dicho de otro modo con una orientación. Este
objeto, segmento con orientación, motiva la de…nición de vector …jo:
!
De…nición 3. 19 Sean A y B dos puntos del plano, un vector …jo AB es el
segmento [A; B], donde los extremos están distinguidos: A es el origen y B
!
es el …nal. Los vectores …jos de la forma AA se llaman el vectores nulos.
!
Dado un vector …jo AB, no nulo (A 6= B), llamaremos AB ! a la traslación
! que veri…ca ! (A) = B.
AB AB

Observación 3. 20 Según el teorema anterior AB ! = m a , donde a es

la recta perpendicular a rAB que pasa por A y m, la paralela a a que pasa
por M = medio[A; B]. También AB ! = b m con b la recta perpendicular
a rAB que pasa por B, pues b m (A) = b (B) = B.
Otro medio de expresar AB ! es ! = M
AB A = B M , donde M ,
A y B son re‡exiones centrales cuyos centros respectivos son M , A y B.
Obsérvese que M A (A) = M (A) = B y análogamente para B M.

Un vector …jo determina una única traslación, pero hay muchos vectores
…jos que determinan la misma. El problema que planteamos ahora es ¿cuándo
dos vectores …jos determinan la misma traslación? Para responder a esta
pregunta introducimos una relación de equivalencia entre vectores …jos:
! !
De…nición 3. 21 Dos vectores …jos AB y CD se dice que son equipolentes
si medio[A; D] = medio[B; C].

55
Capítulo 3 Geometría Básica Buser - Costa

!
Observación 3. 22 La de…nición anterior es equivalente a la siguiente: AB
!
y CD son equipolentes si existe una media-vuelta tal que (A) = D y
(B) = D, el centro de la media vuelta es medio[A; D] = medio[B; C].
! !
Si rAB 6= rCD , el hecho de ser AB y CD equipolentes equivale a que
(A; B; C; D) forman un cuadrilátero que se llama paralelogramo (como se
de…nirá en el capítulo 5). Así la forma clásica para de…nir equipolencia, en
! !
el caso en que los vectores no estén en la misma recta, es AB y CD son
equipolentes si (A; B; C; D) forman un paralelogramo.
! !
De…nición 3. 23 Si AB es un vector …jo, se llama vector libre [AB], o
!
simplemente vector, al conjunto de vectores …jos equipolentes a AB, es decir,
un vector libre es una clase de equivalencia de vectores …jos por la relación
de equipolencia.
Para no recargar la escritura y cuando no hay lugar a confusión se suele
! !
denotar por AB al vector libre [AB].
! !
Teorema 3. 24 Dos vectores …jos no nulos AB y CD determinan la misma
! !
traslación, es decir AB
! = ! , si y solo si AB y CD son equipolentes.
CD
Antes de demostrar el teorema necesitamos un par de resultados muy
sencillos sobre isometrías. El primero es sobre re‡exiones centrales:

Teorema 3. 25 Sean P y Q dos puntos distintos del plano.

1. P Q = Q Q (P )
.
2. ( P ) = ( ) 1
Q Q P

Demostración. 1. Sea r = rAB , sP la recta perpendicular a r que pasa por

P y sQ la recta perpendicular a r que pasa por Q. Entonces: P Q =
( sP r ) ( r sQ ) = sP sQ y como sP y sQ son paralelas, P Q es
una traslación. Como Q y Q (P ) son también puntos distintos se demuestra
del mismo modo que es una traslación.
Ahora aplicando el primer teorema de esta sección, nos basta comprobar
que las dos traslaciones transforman del mismo modo a un punto. Veamos en
quién transforman el punto Q (P ):
Q Q (P )
( Q (P )) = Q ( Q (P )) =P
P Q ( Q (P )) = P (P ) =P
2. ( P Q) ( Q P) = P ( Q Q) P = P P = idP .

56
 Capítulo 3 Geometría Básica Buser - Costa

Teorema 3. 26 Sea una traslación y P una media vuelta cualquiera. En-

tonces:
1
P P =
Demostración. Sea Q = medio[P; (P )], entonces = Q P y P P =
( ) = que es 1 por el segundo apartado del teorema
P Q P P P Q
anterior.
Vamos ahora a demostrar el teorema XX:
! !
Demostración. En primer lugar supongamos que AB y CD son equipo-
lentes, entonces medio[A; D] = medio[B; C], llamaremos M = medio[A; D] =
medio[B; C].
Sabemos que AB ! = B medio[A;B] y como M M = idP :

!
AB
= B medio[A;B] = B medio[A;B] M M

Como M (medio[A; B]) = medio[C; D], por el primer apartado del teore-
ma X.X:

!
AB
= B medio[A;B] M M =
= B M medio[C;D] M =
= M C medio[C;D] M =
1
= M ! M
CD

Para la última igualdad se aplica el segundo apartado del teorema X.X.

Y ahora por el teorema X.X:
1
!
AB
= M ! M = !
CD
CD

Supongamos ahora que AB ! = ! = , hemos de ver que medio[A; D] =

CD
medio[B; C]. Para esto basta ver que X = medio[B;C] (A) = D.
! !
Ahora bien, los vectores AB y CX son equipolentes, luego por la impli-
cación que acabamos de demostrar: AB ! =
CX
! y como
CD
! = = AB !,
tenemos que D = CD ! (C) =
CX
! (C) = X = medio[B;C] (A).
El teorema anterior implica que cada traslación determina un único vector
libre.
Como corolario al teorema anterior tenemos:

Corolario 3. 27 Sea una traslación para cada par de puntos A y B del

plano, d(A; (A)) = d(B; (B)).

57
Capítulo 3 Geometría Básica Buser - Costa

! !
Demostración. Por el teorema anterior [A (A)] = [B (B)], por tanto M (A) =
D y M (B) = C, con M = medio[A; D] = medio[B; C]. Como M es
isometría d(A; B) = d( M (A); M (B)) = d(C; D).

Observación 3. 28 La composición de traslaciones permite de…nir una op-

eración entre vectores libres que es la suma de vectores, es decir si [P! Q]
! !
! = , el vector libre de la traslación es el vector suma [P Q] + [RS]. El
[RS]
!
lector seguramente ha estudiado alguna vez la relación de Chasles: [P Q] +
! !
[QT ] = [P T ], que con nuestra de…nición también se veri…ca. Además se puede
de…nir otra operación más: el producto de un vector por un número (pero no
lo vamos a hacer en este curso). Con estas dos operaciones se construye la
estructura de espacio vectorial, que es fundamental en Álgebra Lineal. Dada
la identi…cación entre traslaciones y vectores libres, el conjunto de trasla-
ciones se puede dotar también de estructura de espacio vectorial y como tal
es isomorfo al espacio vectorial de los vectores libres. Finalmente decir que la
geometría afín (tal como se estudiará en la asignatura Geometrías Lineales)
se de…ne mediante un espacio vectorial que “actúa” como las traslaciones
sobre un conjunto de puntos y la relación de Chasles conecta la operación del
espacio vectorial con la composición de traslaciones.

Observación 3. 29 En geometría elemental se suele decir que dos vectores

son equipolentes cuando tienen la misma dirección, la misma longitud y
! !
el mismo sentido. Si AB y CD son equipolentes y M = medio[A; D] =
medio[B; C], entonces rCD = M (rAB ) y por tanto rAB k rCD , esto quiere de-
cir que tienen la “misma dirección”. Por otra parte d(A; B) = d( M (A); M (B)) =
d(D; C), lo que quiere decir que los vectores tienen la “misma longitud”. Por
último dar una de…nición de lo que quiere decir “mismo sentido”es algo más
! !
laborioso: por ejemplo dos vectores …jos AB y CD, con la misma dirección
pero contenidos en rectas disjuntas, tienen el mismo sentido si los …nales B
y D están en el mismo semiplano de los dos determinados por rAC , de otro
modo: el segmento [B; D] no corta a rAC .

58