Curso de Geometra Mtrica

Matemtica B de 5 ao (2 de bachillerato diversificado), orientacin cientfica

H
B

A
Colegio Juan Zorrilla de San Martn (HH. Maristas)
Profesores: Jorge Restuccia, Pablo Ferrari

Abril de 2003

Curso de Geometra Mtrica

Introduccin
La Geometra es una de las ramas ms antiguas e importantes de la Matemtica. El intento de Euclides de
establecer un desarrollo riguroso, bajo los principios de la lgica formal de la poca, sent las bases de la
Geometra elemental y su enseanza se desenvolvi, durante siglos, de acuerdo a los principios establecidos por
el gemetra griego, aunque con aportes importantes de muchos otros matemticos. Hoy en da hay diversas
vertientes de esa enseanza.
El curso de Matemtica B de 5 ao (2 de bachillerato diversificado, orientacin cientfica), enfoca los temas
de la Geometra euclideana. Como todo curso tiene dos aspectos fundamentales: el informativo y el formativo.
Respecto al primero, el volumen de informacin nueva que el estudiante recibe es, relativamente, escaso. Se
trata de analizar los conceptos ya adquiridos en la escuela y aos anteriores del liceo, desde un punto de vista
superior, agregndose algunos temas.
En nuestra opinin, lo ms importante del curso es su aspecto formativo. El modelo axiomtico-deductivo de la
Geometra, aplicado a conceptos asumidos hace tiempo por el estudiante, permite que se desarrolle su capacidad
crtica, que se discipline en el uso de las estructuras del razonamiento, que adquiera inters en el anlisis y la
resolucin de problemas y pierda el miedo a enfrentarlos, entre otras cosas.
El presente trabajo pretende ser una ayuda para este curso. No se trata de sustituir los textos, sino de
complementarlos. Se ha realizado sobre la base de las clases dictadas durante los ltimos aos, por lo cual el
orden de los temas y el enfoque de los mismos se adapta ms que aquellos al desarrollo del curso.
Si bien se trata de exponer la Geometra elemental con la mayor rigurosidad posible, somos conscientes que
algunos temas presentan dificultades tericas que exceden ampliamente el nivel del curso. As es que, en algunos
casos, hemos optado por admitir las conclusiones, sin desarrollar las teoras que las respaldan. Por lo tanto estos
apuntes no pretenden ser un tratado de Geometra, ni mucho menos, sino, como se dijo antes, una ayuda para el
estudio del curso terico.
Prof. Pablo Ferrari
Prof. Jorge Restuccia

________pgina 2

Captulo 1
En este captulo encontraremos:
Primeros axiomas: axioma de existencia, axioma de determinacin de la recta, axioma de orden en la recta,
axioma de divisin del plano, axioma de paralelismo (o axioma de Euclides).
Primeras definiciones: figura, relacin de alineacin, rectas secantes, relaciones de orden en la recta, semirrecta,
segmento de recta, figura convexa, semiplano, ngulos, tringulo, polgonos, rectas paralelas.
Teoremas relacionados.

1. Axioma I (Existencia):
Existe un conjunto llamado plano, de infinitos elementos llamados puntos.
Existen infinitos subconjuntos del plano llamados rectas, de infinitos puntos cada uno.
2. Notacin:
Al plano lo llamaremos . A los puntos los notaremos con letras maysculas y a las rectas con letras minsculas.
3. Definicin (figura):
Se llama figura a todo subconjunto no vaco del plano.
4. Nota:
Llamaremos lugar geomtrico de una propiedad determinada a la figura formada por todos los puntos que
cumplen dicha propiedad.

5. Axioma II (Determinacin de la recta):

Para todo par de puntos distintos, existe una nica recta a la cual pertenecen.
6. Notacin:
A la recta determinada por los puntos A y B la notaremos AB.
7. Definicin (relacin de alineacin):
Dados tres o ms puntos, diremos que estn alineados si y slo si existe una recta a la cual pertenecen.

8. Teorema:
La interseccin de dos rectas distintas contiene a lo sumo un punto.
H)
T)
ab
ab = o
! P tal que P ab

a
Q

P
b
Si ab = se cumple la tesis
Si ab P tal que P ab
Razonando por el absurdo, supongamos que Q P tal que Q ab (por axioma ii) a = b (contradice la hiptesis).
9. Definicin (rectas secantes o que se cortan):
Dos rectas r y s son secantes o se cortan si y slo si su interseccin contiene un nico punto.

10. Axioma III (Orden en la recta):

Las rectas son conjuntos totalmente ordenados, abiertos y densos.1
1

Definicin:
Una relacin R en un conjunto A, es una relacin de orden si y slo si cumple con las siguientes propiedades:
i) a A, aRa (propiedad idntica)
ii) aRb, bRa a = b (propiedad antisimtrica)
iii) aRb, bRc aRc (propiedad transitiva)
Definicin:
Un conjunto A es totalmente ordenado si b slo si existe una relacin de orden R tal que, a A y b A, aRb o bRa.

________pgina 3

11. Definiciones (relaciones de orden en la recta):

A la relacin de orden definida en al recta, segn el axioma iii, la llamaremos precede o coincide, y a la relacin
de orden estricta asociada a sta, la llamaremos precede, y la notaremos mediante el signo p . A la relacin
inversa de aqulla la llamaremos sigue o coincide, y la estricta asociada la llamaremos sigue, y la notaremos
mediante el signo f .
12. Definicin (semirrecta):
Dados una recta r y un punto A perteneciente a ella, definimos semirrecta Ar al conjunto Ar = {P r / P = A o
A p P}. Al punto A lo llamaremos origen de la semirrecta. Diremos que r es la recta sostn de la semirrecta Ar.
Llamaremos semirrecta opuesta de Ar al conjunto op(Ar) = {P r / P = A o A f P}.
13. Definicin (segmento de recta):
Dados dos puntos A y B, definimos segmento AB al conjunto AB = {P r / A p P y P p A, o P = A, o P = B}.
Los puntos A y B se llaman extremos del segmento, y los restantes puntos del segmento se llaman puntos
interiores.
14. Observacin (segmento nulo):
Si los puntos A y B coinciden, al segmento AB le llamaremos segmento nulo y lo notaremos con la letra o. El
segmento nulo es una figura formada por un nico punto.
15. Definicin (figuras convexas):
F es una figura convexa si y slo si para todo par de puntos A y B de F, se cumple que el segmento AB est
incluido en F.
16. Observacin:
El conjunto vaco es una figura convexa.

17. Teorema:
La interseccin de dos figuras convexas no disjuntas es convexa.
H)
T)
F figura convexa
FG convexa
G figura convexa
FG

A
F
B

Sean A y B pertenecientes a FG

A y B pertenecen a F (F convexa) AB F
A y B pertenecen a G (G convexa) AB G

(interseccin de conjuntos) AB FG (definicin de figura convexa) FG convexa.

Nota: A partir de la relacin de orden total R, podemos definir la relacin R de orden estricto, tal que aRb si y slo si aRb y a b.
Definicin:
b est entre a y c si y slo si aRb y bRc, siendo R una relacin de orden estricto.
Definicin:
Un conjunto A totalmente ordenado es denso si y slo si, a A y c A, b A tal que b est entre a y c.
Definicin:
La relacin R-1 es inversa de la relacin R si y slo si, a A y b A, aR-1b bRa.
Observacin: si R es un a relacin de orden, R-1 tambin lo es.
Definicin:
El conjunto A totalmente ordenado es abierto si y slo si b A, a A y c A tales que aRb y bRc.

________pgina 4

18. Axioma IV (Divisin del plano):

Para toda recta r incluida en existen dos nicos subconjuntos de tales que:
iv.1. P perteneciente a r, P no pertenece ninguno de esos subconjuntos.
iv.2. P y Q, si dos puntos P y Q pertenecen a uno de esos subconjuntos, entonces el segmento que determinan
est incluido en ese subconjunto.
iv.3. P y Q, si P pertenece a uno de esos subconjuntos, y Q pertenece al otro subconjunto, entonces el
segmento que determinan intersecta a r.
19. Definicin (semiplano):
Se llama semiplano abierto de borde r a cada uno de los subconjuntos definidos por r, segn el axioma iv.
Se llama semiplano de borde r a la unin de la recta r con el semiplano abierto de borde r. Notaremos r(P) al
semiplano de borde r que contiene al punto P, y op[r(P)] a su opuesto.

20. Teorema:
H)
r recta
uno cualquiera de los semiplanos de borde r
Ar
B

T)
AB

B
A

Si B r AB = r (definicin de segmento de recta) AB r

Si B r: razonando por el absurdo, supongamos que AB J AB tal que J .

J J pertenece al semiplano abierto, opuesto a
B
(axioma iv.3) K JBr
B r B pertenece al semiplano abierto
AK = r B r (contradice
Ar
que B r)
ApJpK A K
AB
21. Observacin:
A partir del axioma iv, es inmediato que el semiplano abierto es una figura convexa, y con el teorema 20, queda
demostrado que el semiplano tambin lo es.
22. Nota:
Diremos que una recta r separa a dos puntos si y slo si dichos puntos estn contenidos en semiplanos abiertos
de borde r opuestos.

23. Teorema (de Pasch):

H)
r separa a A y B
r no separa a B y C

Demostracin inmediata a partir del axioma iv.

T)
r separa a A y C
A
B

24. Definicin (ngulo convexo):

Dadas dos semirrectas Oa y Ob, distintas y no opuestas, se llama ngulo
convexo aOb a la interseccin del semiplano de borde a que contiene a Ob
con el semiplano de borde b que contiene a Oa. Las semirrectas Oa y Ob se
llaman lados, y el punto O se llama vrtice.

r
C
a

O
b
25. Definicin (ngulo cncavo):
Dado un ngulo convexo aOb, se llama ngulo cncavo aOb al complemento del ngulo aOb unin los
lados del ngulo.

________pgina 5

26. Observacin:
Estas definiciones de ngulo no permiten resolver en su totalidad algunos problemas; por ejemplo, los
relacionados con la suma de ngulos. Otras definiciones resuelven algunos y generan otros. Las ms
satisfactorias desde el punto de vista de la rigurosidad terica son poco intuitivas y se alejan del nivel de este
curso.
27. Definiciones (punto interior y rayo interior):
Un punto interior a un ngulo es un punto del ngulo que no pertenece a los lados. Una semirrecta que tiene
origen en el vrtice del ngulo y pasa por un punto interior se llama rayo interior del ngulo.
28. Definicin (ngulo reglado):
Dado un ngulo aOb, se llama ngulo reglado aOb al conjunto formado por los lados del ngulo y sus rayos
interiores.
29. Observacin:
El ngulo es un conjunto de puntos y el ngulo reglado es un conjunto de semirrectas.
30. Nota:
De ahora en adelante llamaremos ngulo al ngulo convexo.
31. Definicin (ngulo llano):
Dadas dos semirrectas opuestas Oa y Ob, se llama ngulo llano aOb a cualquiera de los semiplanos de borde
a.
32. Definicin (ngulos consecutivos):
Dos ngulos son consecutivos si y slo si tienen un lado comn y estn contenidos en semiplanos opuestos
respecto a ese lado.
33. Definicin (ngulos adyacentes):
Dos ngulos son adyacentes si y slo si son consecutivos y su unin es un ngulo llano.
34. Definiciones (tringulo):
Dados tres puntos no alineados A, B y C, llamaremos tringulo ABC a la interseccin del ngulo CAB con el
semiplano BC(A). A los puntos A, B y C se les llama vrtices; a los segmentos AB, BC y AC se les llama lados;
y a los ngulos BAC, ABC y ACB se les llama ngulos o ngulos internos del tringulo. A los ngulos
adyacentes de cada ngulo interno se les llama ngulos externos del tringulo.
35. Definicin (cuadriltero convexo):
Dados cuatro puntos no alineados tres a tres y tales que existen cuatro pares de esos puntos que dejan a los
restantes en un mismo semiplano respecto a la recta que determinan, llamaremos cuadriltero convexo a la
interseccin de esos cuatro semiplanos. Se llama vrtices a los puntos dados, y se define lados y ngulos del
cuadriltero de forma anloga a los del tringulo. Diremos que dos vrtices son consecutivos si son extremos de
un mismo lado. Llamaremos diagonal al segmento cuyos extremos son dos vrtices no consecutivos.
Llamaremos lados opuestos en el cuadriltero a dos lados que no tienen extremos comunes; y llamaremos
ngulos opuestos en el cuadriltero a dos ngulos que no tienen lados comunes.
36. Nota (polgonos convexos):
De la misma forma, se define polgono convexo de n lados (enegono) considerando n puntos en las condiciones
expresadas en la definicin de cuadriltero convexo.

________pgina 6

37. Teorema (del Rayo interior):

Todo rayo interior a un ngulo convexo, intersecta en un punto a cualquier segmento cuyos extremos
pertenezcan a lados distintos del ngulo.
H)
T)
aOb ngulo convexo
P tal que ABOc = {P}
a
Oc rayo interior del aOb
A
A Oa
B Ob

B
O

Sea B op(Ob) O BB BBa = {O} (axioma iv.3) B op[a(B)]

Oa

Aa
(teorema 20) AB op[a(B)]
ABOc =
Por definicin de ngulo y de rayo interior: Oc a(B)
OA
Por demostracin anloga a la anterior: AB b(A)
Por definicin de ngulo y rayo interior: Oc b(A)
Ob
ABc = c no separa a A y B
BBa = {O} c separa a B y B

op(Oc) op[b(A)]

ABop(Oc) =

O B

(teorema de Pasch) c separa a A y B P tal que ABc = {P}

Por definicin de ngulo y teorema 20: AB b(A)

op(Oc) op[b(A)]

P Oc P tal que ABOc = {P}

38. Definicin (paralelismo):
r es paralela a s si y slo si r = s o rs = . Lo notaremos r||s.

39. Axioma V (Axioma de Euclides)

Dados un punto y una recta cualesquiera, existe una nica paralela a la recta que pasa por el punto.

40. Teorema:

El paralelismo es una relacin de equivalencia en el conjunto de las rectas del plano.2

Subteorema 1 (propiedad idntica):
Por definicin, a es paralela a a

Definicin:
Una relacin R en un conjunto A, es una relacin de equivalencia si y slo si cumple con las siguientes propiedades:
i) a A, aRa (propiedad idntica)
ii) aRb bRa (propiedad simtrica)
iii) aRb, bRc aRc (propiedad transitiva)
Definicin:
Se llama clase de equivalencia de un elemento a A al conjunto de todos los elementos de A equivalentes a a.
Observacin:
El conjunto de todas las clases de equivalencia establecidas por la relacin R es una particin de A (llamado conjunto cociente de A con
respecto a R).

________pgina 7

Subteorema 2 (propiedad simtrica):

H)
a||b
a||b

T)
b||a

a = b (por propiedad simtrica de la igualdad de conjuntos) b = a (por definicin de paralelismo) b||a

o
ab = (por propiedad conmutativa de la interseccin de conjuntos) ba = (por definicin de paralelismo) b||a

Subteorema 3 (propiedad transitiva):

H)
a||b
b||c

T)
a||c

a = b (1)
o
ab = (2)
b = c (3)
b||c
o
bc = (4)
a||b

si (1) y (3):
a=b
(por propiedad transitiva de la igualdad de conjuntos) a = c (por definicin de paralelismo) a||c
b=c
si (1) y (4):
a=b
ac = (por definicin de paralelismo) a||c
bc =
si (2) y (3):
ab = ac = (por definicin de paralelismo) a||c
b=c
si (2) y (4):
ab =
bc =
razonando por el absurdo,
supongamos que a no es paralela a c P ac
y
ac

a
c
b
por P pasan a y c, dos rectas
paralelas a b

(contradice el
axioma v)

Conclusin:
El paralelismo es una relacin de equivalencia, por cumplir las propiedades idntica, simtrica y transitiva.
41. Definicin (direccin en el plano):
Se llama direccin a cada una de las clases de equivalencia establecidas por el paralelismo en el conjunto de las
rectas del plano.

42. Teorema:
Si una recta corta a otra, corta a todas sus paralelas.
H)
rs = {P}
t||s
si t = s Q = P

T)
Q tal que rt = {Q}
r

s
t
si t s, supongamos que no existe Q en las condiciones de la tesis r||t
por hiptesis: s||t
contradice el axioma v
P r, P t

________pgina 8

Captulo 2
Ahora corresponde introducir uno de los conceptos bsicos: la igualdad geomtrica. De acuerdo a la definicin
de figura como conjunto de puntos, dos figuras son iguales si tienen los mismos puntos. Por lo tanto, la igualdad
se reduce a la identidad o igualdad de conjuntos. Sin embargo, es mucho ms amplia la idea intuitiva de igualdad
de figuras. Para formalizarla, es necesario introducir el concepto de movimiento geomtrico que, a diferencia
del movimiento en la Fsica, slo comprende la posicin inicial y la posicin final, sin tomar en cuenta
trayectoria, velocidad, etc. La idea es, entonces, considerar figuras geomtricamente iguales, aquellas que se
correspondan en un movimiento.
En este captulo encontraremos:
Axioma de movimientos
Definiciones: igualdad geomtrica, metafigura, desigualdades geomtricas, puntos y figuras unidas en un
movimiento, figuras dobles en un movimiento, clasificacin de movimientos, sentido en el plano, suma de
segmentos y de ngulos, mltiplos y submltiplos de un segmento, crculo, circunferencias y definiciones
relacionadas, movimientos involutivos, punto medio de un segmento.
Teoremas: teoremas de transporte del segmento y del ngulo, tringulos issceles e isongulos, primeros
criterios de igualdad de tringulos, movimientos con puntos unidos, existencia y unicidad del punto medio de
todo segmento.

43. Axioma VI (Movimientos):

Existe un conjunto M de biyecciones del plano en el plano cuyos elementos llamaremos movimientos, que
cumplen las siguientes propiedades:
vi.1. Los movimientos conservan la alineacin y la relacin de estar entre (en la recta).
vi.2. Ningn movimiento transforma un segmento o un ngulo reglado en una de sus partes propias.
vi.3. La estructura {M, } es un grupo.3
vi.4. Dadas dos semirrectas (Ar y Bs), y dos semiplanos ( y ) que las tienen respectivamente como bordes,
existe un nico movimiento m tal que m(Ar) = Bs y m() = .

Definicin:
Una operacin en un conjunto A es una funcin de AA en A.
Observacin:
Esto implica que para todo par de elementos de A, la operacin tiene resultado en A, y ese resultado es nico (por ejemplo: la sustraccin no
es una operacin en el conjunto de los nmeros naturales.)
Definicin:
Una estructura es un conjunto formado por uno o varios conjuntos, una o varias operaciones en los conjuntos o entre los conjuntos, y una o
varias relaciones entre los elementos de cada conjunto. Eventualmente, la estructura puede carecer de relaciones o de operaciones.
Definicin:
Un grupo es una estructura formada por un conjunto A y una operacin * en ese conjunto, que cumple las siguientes propiedades:
i) x*(y*z) = (x*y)*z para todos x, y, z pertenecientes a A (propiedad asociativa).
ii) n A tal que x*n = n*x = x para todo x A (existencia del neutro o mdulo).
iii) Para todo x A, x A tal que x*x = x*x = n (existencia del recproco).
Resolucin de ecuaciones en el grupo {A,*}:
Sea a*x = b, con a, b, x pertenecientes a A. Se trata de hallar x en funcin de a y b.
a*x = b (por ser * una funcin) a*(a*x) = a*b (propiedad asociativa) (a*a)*x = a*b (recproco) n*x = a*b (neutro) x = a*b.
Entonces, a*x = b x = a*b.
Anlogamente, se demuestra lo siguiente:
x*a = b x = b*a.
a*x*b = c x = a*c*b.
a*b*x = c x = b*a*c.
x*a*b = c x = c*b*a.
Note la importancia de mantener el orden de los operandos al despejar, ya que la propiedad conmutativa no necesariamente se cumple en
un grupo.

________pgina 9

44. Nota:
El neutro del grupo de los movimientos ser I tal que I(P) = P, P. Obsrvese que I es la funcin identidad
en , y por lo tanto cumple la definicin de neutro de la composicin. Al recproco de cada movimiento m lo
llamaremos inverso de m, y lo notaremos m-1.
45. Definicin (igualdad geomtrica):
Dos figuras F y G son iguales geomtricamente (notaremos F =g G) si y slo si existe m, movimiento del plano,
tal que m(F) = G.4

46. Teorema:
La igualdad geomtrica es una relacin de equivalencia en el conjunto de las figuras del plano.
Subteorema 1 (propiedad idntica):
Por axioma vi.3: I M.
Por definicin de I: I(F) = F (definicin de =g ) F =g F.
Subteorema 2 (propiedad simtrica):
H)
F =g G
F =g G (definicin de =g ) m/m(F) = G

T)
G =g F
m-1[m(F)] = m-1(G) (propiedad recproca de ) I(F) = m-1(G)

Axioma vi.3: m M, m-1 M

(neutro de ) m-1(G) = F (definicin de =g ) G =g F
Subteorema 3 (propiedad transitiva):
H)
F =g G
G =g H

T)
F =g H

F =g G (definicin =g ) m1 M / m1(F) = G
G =g H (definicin =g ) m2 M / m2(G) = H

m2[m1(F)] = H (definicin de funciones) m2m1(F) = H

Por axioma vi.3: m2m1 M

(definicin =g ) F =g H
Conclusin:
La igualdad geomtrica es una relacin de equivalencia, por cumplir las propiedades idntica, simtrica y
transitiva.
47. Definicin (metafigura):
Se llama metafigura de la figura F (la notaremos [F]) a la clase de equivalencia de F con respecto a la igualdad
geomtrica.
48. Definicin (desigualdad geomtrica):
Un segmento AB es menor geomtricamente que un segmento CD (notaremos AB <g CD) si y slo si existe un
movimiento m tal que m(AB) CD. AB es mayor geomtricamente que AC (notaremos AB >g CD) si y slo si
CD <g AB.
49. Observacin:
Si AB <g CD, entonces AB g CD.
50. Nota:
Anlogamente se define la desigualdad geomtrica para ngulos reglados.

Observacin:
Dado un conjunto C incluido en el dominio de una funcin f, se llama f(C) al conjunto de las imgenes de los elementos de C, segn f.

________pgina 10

51. Definiciones:
Un punto P es unido en un movimiento m si y slo si m(P) = P.
Una figura F es unida en un movimiento m si y slo si todos sus puntos son unidos en m.
Una figura F es doble en un movimiento m si y slo si m(F) = F.
52. Observacin:
Toda figura unida es doble, pero las figuras dobles pueden no ser unidas.
53. Definiciones (movimientos parciales y totales):
Se llama movimiento parcial al movimiento que tiene puntos unidos y movimiento total al que no tiene puntos
unidos.
54. Definiciones (movimientos de simple determinacin y de doble determinacin):
Un movimiento es de simple determinacin si y slo si dados un punto no unido y su correspondiente, el
movimiento queda determinado.5
Un punto es de doble determinacin si y slo si dados dos puntos distintos y sus respectivos correspondientes,
el movimiento queda determinado.
55. Observacin (sentido en el plano):
El tratamiento riguroso de este tema requiere el uso de conceptos fuera
del nivel de este curso. Por lo tanto, recurriremos a las ideas intuitivas
al respecto. Dados tres puntos no alineados, existen dos sentidos
diferentes (opuestos entre s) en los cuales pueden ser ordenados:
horario (o negativo) o antihorario (o positivo). Por lo tanto, toda terna
ordenada de puntos no alineados est orientada en uno de esos dos
sentidos.

A
B

C
(ABC antihorario)

56. Definiciones (movimientos directos e indirectos):

Un movimiento es directo si y slo si no cambia el sentido de las ternas ordenadas de puntos no alineados. En
caso contrario, el movimiento es indirecto. El conjunto de los movimientos directos se llamar clase de los
movimientos directos. Anlogamente se define la clase de los movimientos indirectos.
57. Observacin:
El axioma vi.4 es equivalente a la siguiente proposicin:
Dadas dos semirrectas (Ar y Bs), existe un nico movimiento m de cada clase, tales que m(Ar) = Bs (corolario
63).
58. Observacin:
Si m es directo y m(Ar) = Ar, entonces m es la identidad.
59. Observacin:
La composicin de movimientos directos es un movimiento directo. La composicin de dos movimientos
indirectos es un movimiento directo. La composicin de un movimiento indirecto con uno directo es un
movimiento indirecto. Por lo tanto, m2 = mm es un movimiento directo, para todo movimiento m.

Nota:
Al decir queda determinado debe entenderse que existe un nico movimiento que cumple esas condiciones.

________pgina 11

60. Teorema (Transporte del segmento):

T)
m(B) = D

H)
AB =g CD
m(AB) = CD

B
A

C
D B

Sea B tal que m(B) = B

B CD
por hiptesis: m(AB) = CD
m(A) = C
m(B) = B m(AB) = CB AB =g CB
por hiptesis: AB =g CD

(propiedad transitiva de =g ) CD =g CB

B = D porque de lo contrario, un segmento sera igual geomtricamente a una de sus partes propias (contra
Axioma vi.2).
61. Corolario:
H)
AB =g CD

62. Corolario (Inversin del segmento):

H)
AB

63. Corolario:
H)
Ar
Bs

T)
Existen un nico movimiento directo y un nico
movimiento indirecto tales que:
m(A) = C
m(B) = D
T)
Existen un nico movimiento directo y un nico
movimiento indirecto tales que:
m(A) = B
m(B) = A
T)
Existen un nico movimiento directo y un nico
movimiento indirecto tales que:
m(Ar) = Bs

64. Teorema (Transporte del ngulo):

H)
aOb =g cPd
m(Oa) = Pc
m[a(Ob)] = c(Pd)

T)
m(Ob) = Pd

demostracin similar a la del transporte del segmento.

65. Corolario (Inversin del ngulo):
H)
aOb

T)
Existe un movimiento m tal que:
m(Oa) = Ob
m(Ob) = Oa
B

66. Definicin (suma de segmentos):

Dados los segmentos AB y AB, sea C perteneciente a
op(BA) tal que BC =g AB. [AB]+[AB] = [AC].

A
B
C
67. Definicin (suma de ngulos):
Dados los ngulos rOs y rOs, sea Ot incluida en el semiplano op[Os(Or)] tal que sOt =g rOs.
[rOs]+[rOs] = [rOt] (Recurdese la observacin del punto 26).
________pgina 12

68. Observacin:
Por razones de practicidad, en adelante nos referiremos a la suma de segmentos y la suma de ngulos, haciendo
referencia a uno cualquiera de los elementos de la metafigura.
69. Definicin (mltiplos y submltiplos de un segmento):
Sea m un nmero natural y AB un segmento. Llamaremos mltiplo segn m de AB (lo notaremos mAB) al
segmento AB+AB+AB++AB (m sumandos). Si m = 0, mAB ser igual al segmento nulo.
Sea n un nmero natural distinto de 0 y AB un segmento. Llamaremos 1n AB al segmento s tal que AB =g ns.
Llamaremos

m
n

AB al segmento m( 1n AB)

70. Nota:
Corresponde demostrar la existencia y la unicidad de la metafigura definida como mltiplo o submltiplo de un
segmento. Aceptaremos esto sin demostracin, para no cargar excesivamente el desarrollo del curso.
71. Definiciones (crculo, circunferencia):
Dados un punto O y un segmento r, llamaremos circunferencia de centro O y radio r (lo notaremos CO,r) al
conjunto CO,r = {P / PO g r}. Llamaremos crculo de centro O y radio r al conjunto {P / PO <g r o
PO g r}. A los puntos P que cumplen que PO <g r, les llamaremos puntos interiores del crculo y a los que
cumplen que PO >g r, les llamaremos puntos exteriores del crculo.
72. Observacin:
El centro de un crculo es un punto interior del mismo.

73. Teorema:
Toda recta que pasa por el centro de una circunferencia, corta a la misma en dos puntos.
Se demuestra considerando las dos semirrectas de origen en el centro de la circunferencia y aplicando el teorema
de transporte del segmento.
74. Definiciones:
Dada una circunferencia CO,r, llamaremos radio a todo segmento que tenga un extremo en el centro y otro
extremo en la circunferencia; llamaremos cuerda a todo segmento cuyos extremos pertenezcan a la
circunferencia; llamaremos dimetro a toda cuerda que pase por el centro; llamaremos ngulo al centro a todo
ngulo cuyo vrtice sea el centro de la circunferencia; llamaremos arco a la interseccin de un ngulo al centro
con la circunferencia y llamaremos extremos del arco a las intersecciones de los lados del ngulo con la
circunferencia.

75. Teorema:
Todo tringulo issceles es isongulo.
H)
ABC tringulo tal que AB =g AC

T)
ABC =g ACB

Sea m el movimiento que invierte el ngulo BAC m(AB) = AC

m(AC) = AB
por hiptesis AB =g AC
(transporte de segmento) m(B) = C y m(C) = B

ABC =g ACB

m(A) = A

76. Teorema:
Todo tringulo isongulo es issceles.
H)
ABC tringulo tal que ABC =g ACB

T)
AB =g AC

Demostracin similar a la anterior.

________pgina 13

77. Teorema (1er Criterio de igualdad de tringulos):

T)
ABC =g DEF

H)
AB =g DE
AC =g DF
BAC =g EDF

por hiptesis: AB =g DE (definicin =g ) m/m(AB) = DE

D
F

Sea m/m[AB(C)] = DE(F)

(transporte del ngulo) m(AC) = DF
BAC =g EDF
m(A) = D
m(B) = E
m(C) = F

por hiptesis: AC =g DF

(transporte del segmento) m(C) = F

m(ABC) = DEF ABC =g DEF

78. Teorema (2do Criterio de igualdad de tringulos):

H)
ABC =g DEF
BC =g EF
BCA =g EFD

T)
ABC =g DEF

Demostracin similar a la anterior.

F
E

79. Teorema:
Una recta con dos puntos unidos es unida.
H)
m(A) = A
m(B) = B
AB
m(A) = A
m(B) = B

m(AB) = AB

m(AP) = AP

Sea P tal que P AB

AP =g AP (propiedad idntica de la =g )

T)
AB es unida

B P

(transporte de segmento) m(P) = P

Anlogamente si P op(AB).
m(P) = P, P AB

________pgina 14

80. Teorema:
Si un movimiento directo tiene dos puntos distintos unidos, es la identidad.
H)
T)
m(A) = A
m=I
m(B) = B
m directo
Si P AB (teorema 79) m(P) = P
Si P AB:
m(AB) = AB
m[AB(P)] = AB(P) (por ser m directo)
BAP =g BAP (propiedad idntica de la =g )

B P

(transporte de ngulo) m(AP) = AP

(transporte de segmento) m(P) = P

AP =g AP
P
m(P) = P, P

81. Definicin (movimiento involutivo):

Un movimiento m es involutivo si y slo si mm = I (si y slo si m = m-1).

82. Teorema:
Si un movimiento invierte un segmento, es involutivo.
H)
m(A) = B
m(B) = A
AB

T)
m involutivo.

(mm)(A) = m[m(A)] = m(B) = A

(mm)(B) = m[m(B)] = m(A) = B
(teorema 80) (mm) = I
(mm) directo
83. Definicin (punto medio):
M es punto medio de AB si y slo si M AB y MA =g MB.

84. Teorema (Existencia y unicidad del punto medio de todo segmento):

El punto medio de todo segmento existe y es nico.
H)
AB

T)
! M, punto medio de AB

Existencia:
A
Sea m directo, que invierte a AB (teorema 82) m involutivo
Sea P AB
Sea P = m(P)
P op[AB(P)] (axioma de divisin del plano) M/ ABPP = {M}
m directo
Sea M = m(M)
m es involutivo y m(P) = P m(P) = P m(PP) = PP M PP
M PP
PPAB = {M}
m invierte a AB m(AB) = AB
M AB
M AB
m(M) = M

M
M

B
P

M = M

m(M) = M m(AM) = BM (definicin de punto medio) M es punto medio de AB

m(A) = B

________pgina 15

Unicidad:
Supongamos que existe N M tal que N es punto medio de AB.
Supongamos A p M p N p B AM <g AN =g NB <g MB AM <g MB
M no es punto medio de AB (contradice la hiptesis).

N
A

Anlogamente se demuestra si A p N p M p B.
85. Observacin:
De la demostracin anterior se desprende que el punto medio de un segmento es unido en el movimiento directo
que lo invierte.
86. Observacin:
El centro de una circunferencia es punto medio de todo dimetro de la misma.

________pgina 16

Captulo 3
En este captulo encontraremos:
Definiciones: simetra central; ngulos opuestos por el vrtice; ngulos entre paralelas; paralelogramo; mediana
de un tringulo; baricentro.
Propiedades de la simetra central; teoremas de ngulos entre paralelas, suma de ngulos en un tringulo,
desigualdades en el tringulo; propiedades de los paralelogramos; paralela media; propiedades del baricentro.
87. Definicin (simetra central):
Dada una semirrecta Or, se llama simetra central de centro O (lo notaremos CO) al movimiento directo tal que
CO(Or) = op(Or).
88. Observacin:
Tal movimiento existe y es nico para toda semirrecta Or por un corolario del teorema de transporte del
segmento (ver corolario 63).
89. Observacin:
Por ser CO un movimiento directo, a cada uno de los semiplanos de borde r, le corresponde el semiplano opuesto.
90. Propiedad:
CO[op(Or)] = Or
Esto se demuestra aplicando el axioma vi.1: Los movimientos conservan la alineacin y la relacin de estar entre
(en la recta).
91. Propiedad:
O es el nico punto unido en CO.
Sea P un punto y CO(P) = P. Sea Or la semirrecta utilizada en la definicin de CO.
Si P r (por observacin 89) P y P pertenecen a semiplanos opuestos P P
Si P Or y P O (por definicin de CO) P op(Or) P P
Si P op(Or) y P O (por propiedad 90) P Or P P

O es unido en CO (por definicin de CO)

r
O

O es el nico punto unido en CO.

92. Teorema:
Las simetras centrales son movimientos involutivos.
H)
CO(Or) = op(Or)

T)
CO es involutivo

Sea P Or
P op(Or)
Sea P = CO(P)
P
Sea P = CO(P) (propiedad 90) P Or
CO(O) = O
CO(P) = P OP =g OP
(axioma vi.2: rigidez) P = P
CO(O) = O
(transitiva de la =g ) OP =g OP
CO(P) = P OP =g OP
P Or
CO(P) = P
CO(P) = P CO invierte un segmento (teorema 82) CO es involutivo

P
O

________pgina 17

93. Teorema:
En CO a toda semirrecta de origen O le corresponde su opuesta
T)
H)
Os = op(Os)
CO(Or) = op(Or)
CO(Os) = Os
Sea P Os
Sea P = CO(P)
CO(Os) = Os

s
POs

P = CO(P) (CO es involutivo) CO(P) = P CO invierte PP

Co directo (por definicin)
el punto medio de PP es unido en CO

P
r

(observacin 85)

O es punto medio de PP OP = op(OP)

O es el nico punto unido en CO (propiedad 91)

Os = op(Os)
94. Observacin:
La simetra central est determinada por su centro, es decir, es independiente de la semirrecta que se considera
en su definicin.
95. Corolario:
Las rectas que pasan por el centro de simetra son dobles en dicha simetra. Asimismo, las circunferencias con
centro en el centro de simetra son dobles en la misma.
96. Definicin (ngulos opuestos por el vrtice):
Dos ngulos son opuestos por el vrtice si y slo si los lados de uno son semirrectas opuestas de los lados del
otro.
97. Corolario:
Los ngulos opuestos por el vrtice son iguales.
98. Propiedad:
El centro de simetra central es el punto medio de todo segmento determinado por un punto y su correspondiente.
Recprocamente, todo segmento se invierte en la simetra cuyo centro es el punto medio del mismo.
99. Propiedad:
Las rectas dobles en una simetra central pasan por el centro de simetra.
H)
T)
CO(r) = r
Or
Sea P r, y sea P = CO(P) P r
Por hiptesis: CO(r) = r
O PP (propiedad 98)

P
Or

________pgina 18

100.
Propiedad:
Las rectas simtricas son paralelas.
H)
s = CO(r)

T)
s||r

Caso 1: O r
Por corolario 95: CO(r) = r r = s (definicin de paralelismo) r||s

r=s

Caso 2: O r
Negando la tesis, supongamos que r no es paralela a s P/ rs = {P}
Como Or
PO

P P

Sea P = CO(P)
Por hiptesis: CO(r) = s
CO es una transformacin involutiva: CO(s) = r
rs = {P}
CO(P) = P

P rs
s
P

(Axioma ii) r = s r es doble en CO (propiedad 99) O r (contradice la hiptesis).

r||s
s
101.
Definiciones (ngulos entre paralelas):
Dadas dos rectas paralelas r y r, y otra secante s, quedan
determinados los ngulos indicados en la figura.
Son ngulos correspondientes: y , y , y , y
Son ngulos alternos internos: y , y
Son ngulos alternos externos: y , y

102.

Teorema:

Los ngulos alternos internos son iguales.

Los ngulos alternos externos son iguales.
Se demuestra aplicando la simetra de centro en el punto medio de OO.

103.

Teorema:

Los ngulos correspondientes son iguales.

Se demuestra aplicando el teorema 102, el corolario 97 y la propiedad transitiva de la igualdad geomtrica.

104.

Teorema:

Recproco del teorema 103.

H)
O O
P y P pertenecen a distintos semiplanos de borde OO'
POO =g POO

T)
OP||OP

P
Sea M punto medio de OO CM(O) = O
Sea P = CM(P)

P op[OO(P)] P OO(P)
CM(OP) = OP

P
M
O
(*)

CM(OO) = OO

________pgina 19

 CM(POO) = POO POO =g POO

Por hiptesis: POO =g POO

(transitiva de la =g ) POO =g POO

(*)

P OO(P)

(Axioma vi.2) OP = OP CM(OP) = OP (propiedad 100) OP||OP

105.

Teorema:

La suma de los ngulos de un tringulo es igual a un ngulo llano.

H)
T)
ABC tringulo.
A+B+C =g ngulo llano.

Sea Cr paralela a AB y contenida en AC(B).

Sea Cs la semirrecta opuesta a CA.
sCr =g A (por correspondientes)
BCr =g B (por alternos internos)
sCr+BCr+C =g sCA =g ngulo llano

A+B+C =g ngulo llano.

106.
Corolario:
Cualquier ngulo externo de un tringulo es igual a la suma de los dos ngulos internos no adyacentes, y por lo
tanto, es mayor que cualquiera de ellos.
107.
Observacin:
Salvando las limitaciones de la suma de ngulos que nos impone la definicin que hemos tomado, se demuestra
que la suma de los ngulos interiores de cualquier polgono convexo, es igual a un ngulo llano, por el nmero
de lados menos dos.

108.

Teorema:

En todo tringulo, a mayor lado se opone mayor ngulo.

T)
H)
ABC tringulo tal que AC >g AB
B >g C

A
D
Sea DAC tal que AD =g AB.
Por hiptesis, D es interior al segmento AC BD es rayo interior de B B >g ABD
ADB es exterior del tringulo BCD ADB >g C

ABD >g C

Por construccin, ABD es issceles ABD es isongulo ADB =g ABD

B >g C

109.

Teorema:

En todo tringulo, a mayor ngulo se opone mayor lado.

H)
T)
AC >g AB
ABC tringulo tal que B >g C
Razonando por el absurdo, supongamos que no se cumple AC >g AB AC =g AB o AC <g AB
Si AC =g AB ABC es issceles (teorema 69) ABC isongulo B =g C (contra la hiptesis).
Si AC <g AB (teorema 108) B <g C (contra la hiptesis).

110.

Teorema:

En todo tringulo, cualquiera de sus lados es menor que la suma de los otros dos.
H)
T)
ABC tringulo
BC <g AC+AB
________pgina 20

Sea D op(AC) tal que AD =g AB ABD tringulo es issceles es isongulo CDB =g ABD

Como BA es rayo interior del CBD CBD >g ABD

B
CBD >g CDB (teorema 109 en el tringulo BCD) CD >g CB
Por construccin: CD =g AC+AB

BC <g AC+AB

111.
Definicin (paralelogramo):
Un cuadriltero es un paralelogramo si y slo si las rectas que contienen a los lados opuestos son paralelas..

112.

Teorema:

En un paralelogramo, los dos pares de lados opuestos son iguales geomtricamente.

H)
T)
ABCD paralelogramo
AB =g CD
BC =g AD
Por definicin, AD es paralela a BC. Considerando la secante BD,
por el teorema 102 tenemos que CDB =g ABD
Anlogamente, CBD =g ADB
BD comn

(2do criterio de igualdad de tringulos) CBD =g ADB

AB =g CD
BC =g AD

113.
Observacin:
Utilizando las propiedades de la simetra central, se demuestra el recproco del teorema 112 y las siguientes
propiedades: un cuadriltero es un paralelogramo si y slo si un par de lados opuestos son paralelos e iguales
geomtricamente; un cuadriltero es un paralelogramo si y slo si los puntos medios de sus diagonales son
iguales; un cuadriltero es un paralelogramo si y slo si los ngulos opuestos son iguales geomtricamente.

114.

Teorema (paralela media):

H)
ABC tringulo
M punto medio de AB
r||BC; M r

T)
N r tal que N punto medio de AC

Por teorema 42, N rAC.

Sea s||AB por N. Sea sBC = {P} (existe por teorema 42).

MNPB es un paralelogramo (por obsevacin 113) NP =g MB

NP =g MA
Por hiptesis: MB =g MA

A
r

s
MANP paralelogramo

NP||MA

MP =g AN
MP||AN = NC
MNCP paralelogramo MP =g NC

AN =g NC N punto medio de AC

Por hiptesis: MN||PC

________pgina 21

115.

Teorema (paralela media):

El segmento determinado por los puntos medios de dos lados de un tringulo es paralelo al tercer lado, e igual a
su mitad.
H)
T)
M punto medio de AB
MN||BC
N punto medio de AC
MN =g 12 BC
A
Sea r||BC por M, y N tal que rAC = {N} (por teorema 114) N es punto medio de AC

N
N

por hiptesis: N es punto medio de AC

B

(unicidad del punto medio) N = N MN||BC

P
s

1
2

Sea s||AB por N, y P tal que sBC = {P} (por teorema 114) P es punto medio de BC BP =g

BC
MN =g

Por lo demostrado anteriormente: MN||BC

1
2

BC

MNPB es paralelogramo MN =g BP
Por construccin: NP||MB
116.
Definicin (medianas de un tringulo):
Llamaremos mediana de un tringulo a cada uno de los segmentos determinados por un vrtice y el punto medio
del lado opuesto (en algunas ocasiones, por razones de comodidad, llamaremos mediana a la recta que contiene
al segmento; el contexto permitir distinguir cundo se trata del segmento y cundo de la recta).

117.

Teorema:

H)
ABC tringulo
M punto medio de AB
N punto medio de AC
BNCM = {G}

T)
GN =g

1
3 BN
GM =g 13 CM

Sea P punto medio de BG y Q punto medio de CG (teorema 115 en BGC) PQ =g

MN =g

1
2

1
2

(observacin 113) GN =g GP y GM =g GQ

Por hiptesis: MQNP = {G}

Por construccin: P punto medio de BG y Q punto medio de CG

BC y PQ||BC

BC (teorema 115 en ABC) y MN||BC

(definicin) MNQP es paralelogramo

CQ =g QG =g GM y
BP =g PG =g GN

GN =g 13 BN y
GM =g

1
3

CM

________pgina 22

118.
Corolario:
Las medianas de un tringulo son concurrentes.
H)
ABC tringulo
M punto medio de AB
N punto medio de AC
R punto medio de BC
BNCM = {G} BNAR = {G}
Aplicando el teorema 117:

1
3 BN
1
3 BN
1
3 AR

T)
G = G
GR =g 13 AR

GN =g
GN =g
GR =g

A
M

G
R G

N
C

(nota 70) G = G

119.
Definicin (baricentro):
Llamaremos baricentro de un tringulo al punto de interseccin de sus medianas.

________pgina 23

Captulo 4
En este captulo encontraremos:
Definiciones: simetra axial; perpendicularidad; ngulos rectos; agudos y obtusos; mediatriz; circuncentro y
circunferencia circunscripta a un tringulo; proyeccin ortogonal; distancia de un punto a una recta; tangente a
una circunferencia; alturas de un tringulo; ortocentro de un tringulo; bisectriz de un ngulo; incentro y
exincentros de un tringulo.
Propiedades de la simetra axial; teoremas de perpendicularidad (existencias y unicidades); igualdad geomtrica
de los ngulos rectos; propiedades de las mediatrices; propiedades de las alturas de un tringulo. Criterios de
igualdad de tringulos (3er y 4to criterios); existencia y unicidad de la bisectriz; propiedades de las bisectrices.
Teorema de los tringulos incongruentes.
120.
Definicin (simetra axial):
Dada una semirrecta Ar, se llama simetra axial de eje r (lo notaremos Sr) al movimiento indirecto tal que
Sr(Ar) = Ar.
121.
Propiedades:
El eje de simetra es unido.
Cada semiplano de borde r se transforma en su opuesto (por ser la simetra axial un movimiento indirecto y ser el
eje unido).
La simetra axial es un movimiento involutivo.
122.
Definiciones (perpendicularidad, ngulo recto):
Dos rectas a y b secantes son perpendiculares (lo notaremos ab) si y slo si determinan ngulos adyacentes
iguales. A cada uno de esos ngulos lo llamaremos ngulo recto.
123.
Definicin (tringulos rectngulos):
Un tringulo es rectngulo si y slo si uno de sus ngulos es recto. En este caso, el lado que se opone al ngulo
recto se llama hipotenusa y los otros dos, catetos.
124.
Propiedad:
La relacin de perpendicularidad entre rectas cumple la propiedad simtrica, es decir que dadas dos rectas a y b,
si ab entonces ba.
125.
Propiedad:
La composicin de dos simetras axiales de ejes perpendiculares es una simetra central cuyo centro es la
interseccin de los dos ejes.
126.
Definiciones (ngulos agudos y ngulos obtusos):
Los ngulos menores que un ngulo recto se llamarn agudos y los ngulos convexos mayores que un ngulo
recto se llamarn obtusos.
127.
Definicines (tringulos acutngulos y obtusngulos):
Un tringulo es obtusngulo si y slo si uno de sus ngulos interiores es obtuso.
Un tringulo es acutngulo si y slo si sus tres ngulos interiores son agudos.

128.

Teorema:

Las rectas determinadas por un punto que no pertenece al eje y su correspondiente, son perpendiculares al eje.
H)
T)
P
PPr
Pr
Sr(P) = P
r
M
Sea M tal que PPr = {M}
A
Como M r Sr(M) = M Sr(MP) = MP
P
Sr(P) = P
Sr(AMP) = AMP PPr
Sea A r, A M
Como A r Sr(A) = A Sr(MA) = MA
________pgina 24

129.
Corolario (Existencia de la perpendicular a una recta por un punto exterior):
Existe la perpendicular a una recta por un punto exterior a la misma.

130. Teorema (Existencia de la perpendicular a una recta en un punto

exterior):
Existe la perpendicular a una recta en un punto de la misma.
H)
T)
Pr
s tal que sPr.
Sea t||r, t r

t
(por teorema 103) rPP

Sea P = St(P) (por teorema 126) tPP

131.

Teorema (Unicidad de la perpendicular en un punto de la recta):

La perpendicular a una recta en uno de sus puntos es nica.

H)
T)
a=b
Pr
ar en P
br en P

Sean y los ngulos determinados por a y r, en un semiplano de borde r.

Sean y los ngulos determinados por b y r, en el mismo semiplano.
Supongamos que a b g
Sin perder generalidad, tomemos <g >g
ar =g

>g =g >g >g b no es perpendicular a r

132.
Definicin (mediatriz):
Se llama mediatriz de un segmento a la recta perpendicular al segmento por su punto medio.
133.
Notacin:
Notaremos mAB a la mediatriz del segmento AB.
134.
Corolario del teorema 131:
La mediatriz de un segmento existe y es nica.

135.

Teorema:

Los ngulos rectos son iguales geomtricamente.

H)
recto
recto
Sea = aOb
Sea = aOb

T)
=g

Sea m movimiento tal que m(O) = O, m(Oa) = Oa y m[a(Ob)] = a(Ob)

Sea m(Ob) = Ob
Por definicin de ngulo recto:

aOb (por corresponderse en m) aOb

aOb

a
b

(teorema 131) b = b m() = =g

________pgina 25

136.

Teorema (Unicidad de la perpendicular por un punto exterior):

La perpendicular a una recta por un punto exterior a la misma es nica:

H)
T)
s = s
Pr
sr por P
sr por P

Sean O y O tales que sr = {O} y sr = {O}

Sea Q op(OP)
sr OOQ recto
sr POO recto

O
(teorema 132) OOQ =g POO (teorema 104) s||s

s = s

Q
s

(por hiptesis) P ss

137.

Teorema:

El eje de simetra es mediatriz de los segmentos determinados por un punto que no pertenece al eje, y su
correspondiente.
H)
T)
r es mediatriz de PP
Pr
P
Sr(P) = P
M
Sea M tal que PPr = {M}
Como M r Sr(M) = M Sr(MP) = MP MP =g MP M es punto medio de PP
Sr(P) = P
Por teorema 128: rPP

r es mediatriz de PP

138.

Teorema:

La mediatriz es eje de simetra del segmento (recproco del teorema 137).

T)
H)
Sr(A) = B
r = mAB
Sea M punto medio de AB. M r (por definicin de mediatriz).
r = mAB (definicin de mediatriz) rAB
Sea A = Sr(A) (teorema 126) rAA

(teorema 136) AB = AA

AM =g MB (M punto medio de AB)

AM =g MA (simtricos respecto a r) (transitiva de la =g ) MB =g MA

A A

(rigidez) A = B

B, A op(MA)

139.

Teorema:

La mediatriz es el lugar geomtrico de los puntos que equidistan de los extremos del segmento.
Subteorema 1:
T)
H)
P
PA =g PB
P mAB
Si P es punto medio de AB (por definicin de mediatriz) P mAB
Si P no es punto medio de AB, sea M dicho punto medio.
MA =g MB
PA =g PB (por hiptesis) (3er criterio de igualdad de tringulos) AMP =g BMP
PM comn

mAB
________pgina 26

 AMP =g BMP =g ngulo recto (por definicin de ngulo recto) PMAB

(definicin de mediatriz) PM es mediatriz de AB
Subteorema 2:
H)
P mAB
MA =g MB
PM comn
AMP =g BMP =g ngulo recto

T)
PA =g PB
(1er criterio de igualdad de tringulos) AMP =g BMP PA =g PB

140.
Observacin:
La mediatriz de toda cuerda pasa por el centro de la circunferencia.

141.

Teorema:

Las mediatrices de los lados de un tringulo son concurrentes.

H)
T)
ABC tringulo
O mAC
mABmBC = {O}

mAB

mBC
O
A

Se demuestra aplicando el teorema 139.

C

142.
Definicin (circuncentro):
Llamaremos circuncentro de un tringulo al punto de interseccin de
las mediatrices de sus lados.
143.
Propiedad:
El circuncentro equidista de los vrtices del tringulo. Adems, es el
nico punto del plano que cumple esta propiedad. En consecuencia,
es centro de una circunferencia que pasa por stos. Llamaremos
circunferencia circunscripta a dicha circunferencia.

144.
Corolario:
Por tres puntos no alineados pasa una nica circunferencia.
145.
Definicin (proyeccin ortogonal):
Se llama proyeccin ortogonal del punto P sobre la recta r al punto
de la interseccin de r con la perpendicular a r por P.

P
d(P,r)
r

Proyr(P)

146.
Definicin (distancia de un punto a una recta):
Se llama distancia del punto P a la recta r al segmento cuyos
extremos son P y la proyeccin ortogonal de P sobre r. Lo notaremos
d(P,r).
147.
Observacin:
En virtud de que la suma de los ngulos de un tringulo es igual a un ngulo llano, en un tringulo rectngulo el
recto es el mayor de los ngulos, y como a mayor ngulo se opone mayor lado, la hipotenusa es mayor que
cualquiera de los catetos.
148.
Observacin:
La distancia del punto P a la recta r es el menor de los segmentos con un extremo P y el otro extremo un punto
de r.

________pgina 27

149.
Definicin (tangente a una circunferencia):
Llamaremos tangente a una circunferencia a toda recta perpendicular a un radio por
el extremo del radio que pertenece a la circunferencia.
150.
Observacin:
La distancia del centro de una circunferencia a una recta tangente a la misma, es un
radio.
151.
Propiedad:
La interseccin de una circunferencia con un tangente a la misma contiene un nico
punto.
Se demuestra a partir de la observacin 148 y la unicidad de la perpendicular a una recta por un punto exterior.

152.

Teorema:

Los puntos interiores de una cuerda, son puntos interiores del crculo.
H)
T)
P punto interior del crculo de centro O y radio r
CO,r circunferencia de centro O y radio r
A CO,r
B CO,r
AB
P punto interior del segmento AB
Sea mAB la mediatriz del segmento AB, y sea M el punto de interseccin de mAB con AB.
Por el teorema 139: O mAB d(O,AB) =g OM (observacin 148) OM <g OA =g r (*)
M punto medio de AB M punto interior de AB
Si P = M (*) P es punto interior del crculo
Si P M P est entre A y M o P est entre B y M
Supongamos que P est entre A y M (el otro caso es anlogo):
OPA =g OMA + OPM OPA >g ngulo recto
(teorema 109 en OPA) OP <g OA =g r P es punto interior del crculo

153.

O
M

Teorema:

Dada una cuerda AB, los puntos de AB-AB son puntos exteriores del crculo.
Demostracin similar a la anterior.
154.
Corolario:
La interseccin de una recta y una circunferencia contiene, a lo sumo, dos puntos.
155.
Definicin (alturas de un tringulo):
Llamaremos altura de un tringulo a cada uno de los segmentos
determinados por un vrtice y su proyeccin ortogonal sobre la recta
que contiene al lado opuesto (en algunas ocasiones, por razones de
comodidad, llamaremos altura a la recta que contiene al segmento; el
contexto permitir distinguir cundo se trata del segmento y cundo de
la recta).

C
hC
A

________pgina 28

156.

Teorema:

Las alturas de un tringulo son concurrentes.

H)
ABC tringulo
hA altura correspondiente al vrtice A
hB altura correspondiente al vrtice B
hC altura correspondiente al vrtice C

T)
H tal que hAhBhC = {H}
P
s

CAB =g ACB
CAB =g ACB
AC comn

t
Q

A punto medio de PQ
Anlogamente se demuestra que ABC =g BAQ y que BC =g AQ

(definicin)

(teorema 104) hAPQ

hA es mediatriz de PQ
De la misma manera, se demuestra:

hC

ABC =g CPA BC =g AP

hA altura hABC
BC||PQ

hB

Sean: r||AB por C; s||BC por A; t||AC por B

Sean P, Q y R tales que: rs = {P}; st = {Q}; tr = {R}
r||AB (alternos internos)

hA

hB es la mediatriz de QR
hC es la mediatriz de PR

(teorema 141) H tal que hAhBhC = {H}

157.
Definicin (ortocentro):
Llamaremos ortocentro de un tringulo al punto de interseccin de sus alturas.

158.

Teorema (3er criterio de igualdad de tringulos):

H)
AB =g AB
AC =g AC
BC =g BC
Sea m el movimiento tal que

T)
ABC =g ABC
C
m(A) = A
m(B) = B
m[AB(C)] = op[AB(C)]

Sea C = m(C) m(AC) = AC AC =g AC

m(A) = A
por hiptesis: AC =g AC
(teorema 139) A mCC

A
B
C

m[AB(C)] = op[AB(C)]
C = m(C) m(BC) = BC BC =g BC
m(B) = B
por hiptesis: BC =g BC

AB = mCC
(teorema 139) B mCC

m[AB(C)] = op[AB(C)]
(teorema 138) C = SAB(C)
Sea n = SABm
n(A) = A
n(B) = B ABC =g ABC
n(C) = C

________pgina 29

159.

Teorema (4 criterio de igualdad de tringulos):

T)
ABC =g ABC

H)
ABC y ABC tringulos
AB =g AB
AC =g AC
B =g B
AC >g AB

Como AB =g AB m tal que m(A) = A y m(B) = B

Sea m tal que m[AB(C)] = AB(C)
Como B =g B

m(BC) = BC

C BC

Sea C = m(C)

Supongamos que C C y C op(CB)

A

m(A) = A AC =g AC
m(C) = C

ACC issceles ACC isongulo ACB =g ACC

Por hiptesis: AC =g AC
ACC >g B (por ser ngulo externo en el ABC)
ACB >g B AB >g AC AB >g AC (contra la hiptesis)
Anlogamente se contradice la hiptesis suponiendo C C y C CB
Por lo tanto: C = C
Como m(A) = A, m(B) = B y m(C) = C ABC =g ABC

160.
Definicin (bisectriz):
Se llama bisectriz de un ngulo al rayo interior que divide al ngulo en dos ngulos iguales geomtricamente.

161.

Teorema (Existencia y unicidad de la bisectriz):

La bisectriz de un ngulo existe y es nica.

H)
rOs

T)
! Ob bisectriz de rOs
R

Existencia:
Sea R Or, R O
Sea S Os tal que OS =g OR
Sea M punto medio de RS MR =g MS
OR =g OS
OM comn

r
M

O
S

OMR =g OMS MOR =g MOS

r

OM es bisectriz de rOs
Unicidad:
Supongamos que existe Ob bisectriz de rOs, Ob Ob

b
b

Sin perder generalidad, supongamos que Ob es rayo interior del bOs.

s
rOb <g rOb =g bOs <g bOs rOb <g bOs (lo cual es absurdo, porque Ob es bisectriz de rOs)

________pgina 30

162.

Teorema:

La bisectriz es el lugar geomtrico de los puntos del ngulo que equidistan de sus lados.
Subteorema 1:
H)
T)
d(P,r) =g d(P,s)
Ob es bisectriz de rOs
P Ob
Sean R y S las proyecciones ortogonales de P sobre r y s, respectivamente.
Si P = O R = O d(P,r) =g d(P,s)
S=O
Si P O, consideremos los tringulos OPS y OPR:
POR =g POS (por ser Ob bisectriz)
OSP =g ORP =g recto (definicin de proyeccin ortogonal)

r
R
b

P
S

(suma de ngulos) OPS =g OPR

OP comn

(2 criterio) OPS =g OPR PS =g PR (definicin de distancia de un punto a una recta) d(P,r) =g d(P,s)
Subteorema 2:
H)
P rOs tal que d(P,r) =g d(P,s)
Ob bisectriz de rOs

T)
P Ob

R
O

Si d(P,r) =g d(P,s) =g o P r y P s P = O P Ob

Si d(P,r) =g d(P,s) g o:
Sean S y R las proyecciones ortogonales de P sobre las rectas r y s, respectivamente.
Consideremos los tringulos OSP y ORP:
OP comn
PS =g PR (por hiptesis)
(4 criterio) OSP =g ORP SOP =g ROP
OSP =g ORP =g recto (definicin de proyeccin ortogonal)
OP >g PS (por ser OPS rectngulo)
(definicin de bisectriz) P Ob

163.

Teorema:

Las bisectrices de los ngulos interiores de un tringulo, son concurrentes.

Se demuestra aplicando el teorema 162.

164.

Teorema:

La bisectriz de un ngulo interior de un tringulo y las bisectrices de ngulos exteriores correspondientes a los
otros dos vrtices, son concurrentes.
Demostracin similar a la del teorema 163.

EB

165.
Definicin (incentro):
Llamaremos incentro de un tringulo al punto de interseccin de las
bisectrices de sus ngulos interiores.
166.
Definicin (exincentros):
Llamaremos exincentro de un tringulo al punto de interseccin de la
bisectriz interior de uno de sus ngulos con las bisectrices de ngulos
exteriores correspondientes a los otros dos vrtices. Quedan definidos
as tres exincentros en un tringulo, cada uno perteneciente a uno de
los ngulos interiores.

EA
I
B

EC

________pgina 31

167.
Propiedad:
El incentro y los exincentros equidistan de las rectas que contienen a los lados del tringulo. En consecuencia,
son centros de circunferencias tangentes a los lados del mismo. Llamaremos circunferencia inscripta a la que
tiene como centro el incentro, y circunferencias exinscriptas a las que tienen como centros los exincentros.

168.

Teorema (de los Tringulos incongruentes):

T)
BC >g BC

H)
ABC y ABC tringulos
AB =g AB
AC =g AC
A >g A

C
P

Como AB =g AB m movimiento tal que m(A) = A,

m(B) = B y m[AB(C)] = AB(C)

r
C

Sea m(C) = C
Como m(A) = A y m(C) = C AC =g AC
por hiptesis: AC =g AC

AC =g AC A r, mediatriz de CC

A >g A C interior a CAB

Ar rayo interior de CAB (teorema del rayo interior) P tal que rCB = {P}
En PCB:
PC+PB >g CB (teorema 138)
Como P r, PC =g PC

PC+PB >g CB (definicin de suma de segmentos) CB >g CB

CB >g CB

Como m(B) = B y m(C) = C CB =g CB

________pgina 32

Captulo 5
En este captulo encontraremos:
Definiciones: segmento orientado, relacin de equipolencia, vector; suma vectorial; producto escalar; traslacin;
rotacin.
Teoremas y propiedades relativos a los vectores y los segmentos orientados; propiedades de la traslacin.
Propiedades de la rotacin.
169.
Definicin (segmento orientado):
Dados dos puntos A y B, llamaremos segmento orientado AB al segmento AB junto con una relacin de orden
sobre la recta AB en la cual A p B. A esa relacin de orden, le llamaremos sentido del segmento orientado. A la
metafigura del segmento AB, le llamaremos mdulo del segmento orientado.
170.
Definicin (equipolencia):
Dos segmentos orientados AB y CD son equipolentes si y slo si
PQ tal que ABQP y CDQP sean paralelogramos.

B
A

171.
Observacin:
Si ABDC es paralelogramo, entonces AB y CD son equipolentes,
pero esta condicin no permite definir la equipolencia para el caso
en que A, B, C y D estn alineados.

172.

C
Q
P

Teorema:

Dados un segmento orientado AB y un punto P, existe y es nico el segmento orientado PQ equipolente a AB.

173.

Teorema:

La equipolencia es una relacin de equivalencia en el conjunto de los segmentos orientados.

Se demuestra aplicando la definicin de equipolencia y propiedades de los paralelogramos.
174.
Definicin (vector):
Llamaremos vector a cada una de las clases de equivalencia definidas por la relacin de equipolencia.
175.
Observacin:
Los segmentos orientados equipolentes son iguales geomtricamente (tienen el mismo mdulo), tienen una
misma direccin, y se puede establecer una equivalencia entre sus sentidos. Por lo tanto, cada vector queda
determinado por un mdulo, una direccin y un sentido.
176.
Notacin:
De ahora en adelante, representaremos un vector haciendo referencia a uno cualquiera de sus segmentos
orientados.
177.

Definicin (vector nulo):

Llamaremos vector nulo (lo notaremos o ) a la metafigura de los segmentos nulos.

178.

Definicin (suma vectorial):

Dados dos vectores v y u, sean AB y BC dos segmentos orientados

pertenecientes a cada uno de ellos, respectivamente. v + u = AC.

Esta definicin puede extenderse sin inconvenientes a la suma del vector nulo.
179.
Observacin:
De la definicin surge claramente la existencia de la suma de vectores. Corresponde entonces, demostrar la
unicidad.

________pgina 33

180.

Teorema (unicidad de la suma de vectores):

Del teorema 172 surge que dados dos segmentos orientados, la suma a partir de ellos es nica. Lo que falta
demostrar entonces es lo siguiente:
H)
T)
C
AB = AB
AC = AC
BC = BC
Supongamos que A, B, A y B no alineados, y que B, C, B y C tampoco.
A
Entonces, por la observacin 171, podemos afirmar:
B
AB = AB ABBA paralelogramo (observacin 113) AA || BB
AA =g BB
Anlogamente, BB || CC
A
BB =g CC
B
Por las propiedades transitivas del paralelismo y de la igualdad geomtrica,
tenemos que AA || CC
AA =g CC (observacin 113) ACCA paralelogramo (observacin171) AC = AC

En caso de que A, B, A y B alineados o que B, C, B y C alineados entonces es posible aplicar lo demostrado

anteriormente para otro par de segmentos orientados AB y BC, y luego volver a aplicarlo para AB y BC.

181.

Teorema:

La estructura formada por el conjunto de los vectores y la suma vectorial es un grupo conmutativo.
Es necesario demostrar las propiedades: asociativa, existencia del neutro, existencia del recproco (que
llamaremos opuesto), y conmutativa.
Dejamos a cargo del estudiante demostrar que el neutro es el vector nulo, y que para todo vector AB su opuesto
es el vector BA.
Propiedad asociativa:
(AB+BC)+CD = AC+CD = AD = AB+BD = AB+(BC+CD)
Propiedad conmutativa:
Dados AB y BC, tomemos D tal que ABCD sea paralelogramo.
Por definicin de suma vectorial: AB+BC = AC = AD+DC AB+BC = BC+AB
Por observacin 171: AB = DC y BC = AD
182.
Definicin (producto escalar):6
Dados un vector AB y un racional q>0, sea qAB el vector que tiene la misma direccin y el mismo sentido que
AB, y cuyo mdulo es qAB (ver definicin 69). Si q<0, sea qAB = |q|BA. Si q = 0, sea qAB = o.
183.
Definicin (traslacin):
Dados dos puntos A y B, se llama traslacin de vector AB (lo notaremos TAB) al movimiento directo tal que
TAB(AB) = op(BA).

Observacin:
Esta definicin puede extenderse a un escalar real, pero para ello es necesario un desarrollo terico que se har ms adelante.

________pgina 34

184.

Teorema:

El vector determinado por un punto y su correspondiente es igual al vector de traslacin.

H)
T)
TAB(C) = D
CD = AB
Supongamos C AB:
Sea P op(BA) TAB(AB) = BP CAB =g DBP (recproco del teorema 102) CA||DB (observacin 113)
TAB(C) = D
CA =g DB
C
(definicin de traslacin) TAB(A) = B
D
ABDC paralelogramo (observacin 171) CD = AB

Si C AB (definicin de traslacin) D AB
Tomemos Q AB y R = TAB(Q)
B = TAB(A)
BDR =g ACQ (recproco del teorema 102) DR||CQ
D = TAB(C)
DR =g CQ
CD = AB
(observacin 113) CDRQ paralelogramo (observacin 171) CD = QR
Por lo demostrado anteriormente, podemos afirmar que QR = AB

B C

185.
Corolario:
Las traslaciones no tienen puntos unidos.
186.
Observacin:
Toda traslacin est determinada por su vector, es decir es independiente del segmento orientado considerado en
su definicin.
187.
Observacin:
Podemos considerar el movimiento identidad como una traslacin de vector nulo.
188.
Corolario:
Las rectas paralelas al vector de traslacin son dobles en dicha traslacin.
189.
Propiedad (recproco del corolario 187):
Las rectas dobles en una traslacin son paralelas al vector de traslacin.
H)
T)
Tv(r) = r
r||v
Sea P r, y sea P = Tv(P)

P r PP = r

Por hiptesis: Tv(r) = r

r||v

*
P

PP = v (teorema 184)
190.
Propiedad:
Las rectas correspondientes en una traslacin son paralelas.
H)
T)
r||r
Tv(r) = r
Sean A B, ambos pertenecientes a r AB = r
y sean A = Tv(A) y B = Tv(B) AB = r
Por hiptesis: Tv(r) = r

(definicin de paralelogramo) r||r

Por teorema 184: AA = BB = v AABB paralelogramo

191.
Propiedad:
La composicin de dos traslaciones es otra traslacin cuyo vector es la suma vectorial de los vectores de las dos
primeras.

________pgina 35

192.
Observacin:
Existe un isomorfismo7 entre la estructura formada por el conjunto de los vectores y la suma vectorial, y la
estructura formada por el conjunto de las traslaciones y la composicin.
193.
Propiedad:
El inverso de una traslacin es la traslacin de vector opuesto.
194.
Propiedades:
La composicin de dos simetras centrales de distinto centro es una traslacin cuyo vector es el doble del vector
determinado por los centros de las simetras.
La composicin de tres simetras centrales es otra simetra central, cuyo centro es el cuarto vrtice del
paralelogramo determinado por los otros tres.
La composicin de dos simetras axiales de ejes paralelos es una traslacin cuyo vector es perpendicular a los
ejes de las simetras y su mdulo es el doble de la distancia entre dichos ejes.
La composicin de una traslacin con una simetra axial de eje perpendicular al vector, es otra simetra axial.
195.
Definicin (rotacin):
Dadas dos semirrectas del mismo origen Or y Os, se llama rotacin de centro O y ngulo =g rOs (lo
notaremos RO,) al movimiento directo tal que RO,(Or) = Os.
196.
Nota:
Por convencin consideraremos el ngulo rOs convexo, e indicaremos el sentido (horario o antihorario) en que
se recorre el ngulo, de la semirrecta Or a la Os.
197.
Observacin:
Podemos considerar la identidad como una rotacin de ngulo nulo. Tambin es posible considerar a toda
simetra central como una rotacin de ngulo llano.

198.

Teorema:

En toda rotacin, una semirrecta con origen en el centro y su correspondiente determinan un ngulo igual
geomtricamente al ngulo de rotacin y del mismo sentido.
H)
T)
RO,(Oa) = Ob
aOb =g
aOb y estn orientados en el mismo sentido.
Sean Or y Os las semirrectas consideradas en la definicin de RO,.
Es decir: RO,(Or) = Os
rOa =g sOb
Por hiptesis: RO,(Oa) = Ob

Supongamos que Oa es rayo interior de rOs (suma de ngulos) rOs =g rOa + aOs

r
a
O

rOs =g sOb + aOs

(suma de ngulos) rOs =g aOb
RO, es un movimiento directo Ob op[Os(Oa)]
rOs y aOb estn orientados en el mismo sentido.

s
b

De manera similar se demuestra para el caso en que Oa no es rayo interior de rOs.

199.
Observacin:
La rotacin queda determinada por su centro, por un ngulo igual geomtricamente al ngulo de rotacin y por
su sentido, es decir, es independiente de las semirrectas consideradas en su definicin.
200.
Corolario:
El centro es el nico punto unido en una rotacin.
201.
Propiedad:
El centro de rotacin pertenece a la mediatriz del segmento determinado por un punto y su correspondiente.

Definicin:
Un isomorfismo entre dos estructuras es una funcin biyectiva entre los conjuntos de las mismas, que conserva las operaciones y las
relaciones. Si existe un isomorfismo entre dos estructuras, se dice que las mismas son isomorfas.

________pgina 36

202.

Teorema:

En toda rotacin, una recta y su correspondiente determinan un ngulo igual geomtricamente al ngulo de
rotacin.
H)
T)
RO,(a) = b
a y b determinan un ngulo igual geomtricamente a .
Si O a, ya est demostrado por el teorema 198.
Sea rOa y sea ra = {A}
sOb
Sea s = RO,(r) y sea B = RO,(A)
en AOBP, OAP+OBP =g llano
Sea ab = {P}
(observacin 107) APB+AOB =g llano APB y AOB son suplementarios

r
b
P

AOB es igual geomtricamente a los ngulos adyacentes al APB

B = RO,(A) AOB =g

203.
Propiedad:
El centro de rotacin pertenece a la bisectriz de uno de los ngulos determinados por una recta y su
correspondiente.
204.
Propiedad:
La composicin de dos rotaciones concntricas es otra rotacin del mismo centro cuyo ngulo es la suma de los
ngulos de las dos primeras (considerando los sentidos).
Se demuestra aplicando el teorema 198.
205.
Observacin:
Debe tenerse en cuenta las limitaciones de la definicin de suma de ngulos mencionadas en la observacin 26.8
206.
Propiedad:
El inverso de una rotacin es otra rotacin del mismo centro, igual ngulo, y sentido opuesto.
207.
Propiedad:
La composicin de dos simetras axiales de ejes no paralelos es una rotacin cuyo centro es el punto de
interseccin de los dos ejes, y su ngulo es el doble del ngulo que forman los mismos.
208.
Propiedades:
La composicin de dos rotaciones no concntricas de ngulos no opuestos es otra rotacin cuyo ngulo es la
suma de los ngulos de las dos primeras (considerando los sentidos).
La composicin de dos rotaciones no concntricas de ngulos opuestos es una traslacin.
La composicin de una rotacin con una simetra axial cuyo eje pasa por centro de rotacin, es otra simetra
axial.

Nota:
Es posible proponer una definicin de la suma de ngulos (alternativa a la definicin 67) basndose en los resultados de la composicin de
rotaciones concntricas, estableciendo un isomorfismo de manera similar al planteado en la observacin 192.

________pgina 37

Captulo 6
En este captulo encontraremos:
Definicin de antitraslacin. Propiedades de la antitraslacin; teorema fundamental de movimientos.
209.
Definicin (antitraslacin):
Dados dos puntos A y B, se llama antitraslacin de eje AB y vector AB (lo notaremos AAB,AB) al movimiento
indirecto tal que AAB,AB(AB) = op(BA).
210.
Propiedad:
La antitraslacin de eje AB y vector AB es igual a la composicin de la simetra de eje AB con la traslacin de
vector AB. En consecuencia, la composicin de una simetra con una traslacin de vector paralelo al eje, es una
antitraslacin de ese eje y ese vector. La misma propiedad es vlida para la composicin de la traslacin de
vector AB con la simetra de eje AB.
211.
Propiedad:
El punto medio del segmento determinado por un punto y su correspondiente en una antitraslacin, pertenece al
eje de la misma.
H)
T)
Me
Ae,v(P) = P
M punto medio de PP
Sea P1 = Tv(P).
Por la propiedad 210, Se(P1) = P (teorema 137) e es mediatriz de P1P
Como v||e PP1||e

e es paralela media
en el tringulo PP1P
(teorema 114)
Me

212.
Propiedad:
Las antitraslaciones no tienen puntos unidos.
Se demuestra aplicando la propiedad 210 y propiedades de las simetras axiales y de las traslaciones.
213.
Propiedades:
La composicin de una simetra axial con una traslacin de vector no perpendicular al eje, es una antitraslacin.
La composicin de una simetra axial con una simetra central cuyo centro no pertenece al eje, es una
antitraslacin.
La composicin de una simetra axial con una rotacin cuyo centro no pertenece al eje, es una antitraslacin.
La composicin de tres simetras axiales de ejes no concurrentes es una antitraslacin.

214.

Teorema (Teorema fundamental de movimientos):

Todo movimiento es la identidad, o una simetra axial, o una rotacin, o una traslacin, o una antitraslacin.
Subteorema 1: Todo movimiento con tres puntos no alineados unidos, es la identidad.
H)
T)
m(A) = A
m=I
m(B) = B
m(C) = C
A, B y C no alineados
Supongamos que existe P tal que m(P) = P y P P
m(A) = A m(AP) = AP AP =g AP AmPP
m(P) = P
P P
Anlogamente: BmPP
CmPP

A, B y C alineados (contradice la hiptesis)

P, m(P) = P m = I

________pgina 38

Subteorema 2: Todo movimiento con dos puntos distintos unidos, es la identidad o una simetra axial.
H)
T)
m(A) = A
m = I o m = SAB
m(B) = B
AB
Si existe otro punto no alineado con A y B que sea unido, entonces por el subteorema 1, m = I
Si no existe un punto en esas condiciones, entonces sea PAB y sea P tal que m(P) = P P P
m(A) = A m(AP) = AP AP =g AP AmPP
m(P) = P
P P
AB = mPP
Anlogamente: BmPP
Por hiptesis: A B
Sea n = mSAB
n(A) = mSAB(A) = m[SAB(A)] = (porque A pertenece al eje de simetra) m(A) = (por hiptesis) A n(A) = A
n(B) = mSAB(B) = m[SAB(B)] = (porque B pertenece al eje de simetra) m(B) = (por hiptesis) B n(B) = B (por subteorema 1)
n(P) = mSAB(P) = m[SAB(P)] = (porque AB es mediatriz de PP) m(P) = (por hiptesis) P n(P) = P
n=I
Adems, por hiptesis: PAB
n = I mSAB = I m = SAB
Subteorema 3: Todo movimiento con un punto unido es la identidad, o una simetra axial, o una rotacin.
H)
T)
m(A) = A
m = I o m = Se (con Ae) o m = RA,
Si existe otro punto distinto de A, unido en m, entonces por el subteorema 2, m = I o m = Se (Ae).
Si no existe un punto en esas condiciones, entonces A es el nico punto unido en m.
Sea P A, y sea P tal que m(P) = P P P
Sea r = mPP
m(A) = A m(AP) = AP AP =g AP Ar
m(P) = P
P P
Sea n = mSr
n(A) = mSr(A) = m[Sr(A)] = (porque Ar) m(A) = (por hiptesis) A n(A) = A
(subteorema 2) n = I o n = SAP
n(P) = mSr(P) = m[Sr(P)] = (porque r es mediatriz de PP) m(P) = (por hiptesis) P n(P) = P
Si n = I mSr = I m = Sr (no es posible, porque m tiene solamente un punto unido)
Si n = SAP mSr = SAP m = SAPSr (propiedad 207) m = RA,
APr = {A}
Subteorema 4: Todo movimiento que no tiene puntos unidos es una traslacin o una antitraslacin.
H)
T)
P, m(P) P
m = Tv o m = Ae,v
Sea P tal que m(P) = P (por hiptesis) P P
Sea r = mPP
Sea n = mSr
n(P) = mSr(P) = m[Sr(P)] = (porque r es mediatriz de PP) m(P) = (por hiptesis) P n(P) = P (subteorema 3) n = I
o n = Se (con Pe)
o n = RP,

________pgina 39

Si n = I mSr = I m = Sr (no es posible porque m no tiene puntos unidos)

Si n = Se mSr = Se m = SeSr
Pe e r
r = mPP
Si n = RP mSr = RP m = RPSr

si er = {O} (propiedad 207) m = RO (no es posible porque m no tiene

puntos unidos)
si e||r (propiedad 194) m = Tv
(propiedad 213) m = Ae,v

r = mPP Pr

________pgina 40