Fundamentos de Geometrı́a

Fundamentos de geometrı́a plana

Laura Hidalgo Solı́s

Universidad Autónoma Metropolitana - Iztapalapa

27 de julio de 2020

1/77
 Contenido I

1 El primer libro de Elementos

2 Las definiciones del Libro I de los Elementos

3 Nociones comunes

4 Los postulados de Euclides

5 Los teoremas 1 al 10 del Libro I de los Elementos

2/77
Los Elementos Στ oιξει̃α es considerado uno de los libros más
divulgados a lo largo de la historia, y junto con la Biblia, es uno de
los libros más publicados.
Durante varios siglos, el quadrivium estaba incluido en el temario
de los estudiantes universitarios, y se exigı́a el conocimiento de este
texto.
En los Elementos, Euclides recopila gran parte del saber
matemático de su época, representados en un sistema axiomático
conocido como los postulados de Euclides, que en forma sencilla y
lógica, dan lugar a la geometrı́a euclidiana.

3/77
Euclides, detalle del fresco “La Escuela de
Atenas” de Rafael (1510-1511), Museos
Vaticanos, Ciudad del Vaticano

4/77
 Los Elementos de Euclides

El libro I de los fundamentos de la Geometrı́a de Euclides se basa

en el estudio de la geometrı́a plana y trata de la teorı́a de los
triángulos, la teorı́a de las rectas paralelas y el área de triángulos y
paralelogramos.
En el se presentan las definiciones principales, las nociones
comunes, los postulados o axiomas de la geometrı́a euclidiana y 48
proposiciones, de las cuales, las 27 primeras no utilizan el
postulado de las paralelas.

5/77
 Los Elementos de Euclides

El libro I de los fundamentos de la Geometrı́a de Euclides se basa

en el estudio de la geometrı́a plana y trata de la teorı́a de los
triángulos, la teorı́a de las rectas paralelas y el área de triángulos y
paralelogramos.
En el se presentan las definiciones principales, las nociones
comunes, los postulados o axiomas de la geometrı́a euclidiana y 48
proposiciones, de las cuales, las 27 primeras no utilizan el
postulado de las paralelas.

5/77
Las 48 proposiciones están divididas en tres bloques:
Las primeras 26 tratan de las propiedades de los triángulos.
De la 27 a la 32 establecen la teorı́a de las paralelas y demuestran
que la suma de los ángulos interiores de un triángulo es igual a dos
rectos.
De la proposición 33 a la proposición 48 se estudia la teorı́a de los
paralelogramos, triángulos, cuadrados, el teorema de Pitágoras y su
recı́proco.

6/77
Las 48 proposiciones están divididas en tres bloques:
Las primeras 26 tratan de las propiedades de los triángulos.
De la 27 a la 32 establecen la teorı́a de las paralelas y demuestran
que la suma de los ángulos interiores de un triángulo es igual a dos
rectos.
De la proposición 33 a la proposición 48 se estudia la teorı́a de los
paralelogramos, triángulos, cuadrados, el teorema de Pitágoras y su
recı́proco.

6/77
Las 48 proposiciones están divididas en tres bloques:
Las primeras 26 tratan de las propiedades de los triángulos.
De la 27 a la 32 establecen la teorı́a de las paralelas y demuestran
que la suma de los ángulos interiores de un triángulo es igual a dos
rectos.
De la proposición 33 a la proposición 48 se estudia la teorı́a de los
paralelogramos, triángulos, cuadrados, el teorema de Pitágoras y su
recı́proco.

6/77
Las 48 proposiciones están divididas en tres bloques:
Las primeras 26 tratan de las propiedades de los triángulos.
De la 27 a la 32 establecen la teorı́a de las paralelas y demuestran
que la suma de los ángulos interiores de un triángulo es igual a dos
rectos.
De la proposición 33 a la proposición 48 se estudia la teorı́a de los
paralelogramos, triángulos, cuadrados, el teorema de Pitágoras y su
recı́proco.

6/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
 Las definiciones del libro I de los
Elementos.

1 Un punto es lo que ya no tiene partes. (No posee longitud,

anchura o profundidad, solamente posición.)
2 Un lı́nea es una longitud sin anchura.
3 Los extremos de una lı́nea son puntos.
4 Una lı́nea recta es aquella que yace por igual respecto de los
puntos que están en ella.
s

s
Lı́nea Puntos Lı́nea recta

7/77
5 Una superficie es aquello que sólo tiene longitud y anchura.
6 Los extremos de una superficie son lı́neas.
7 Una superficie plana es aquella superficie que yace por igual
respecto de las lı́neas rectas que están en ella.

Superficie Superficie plana

8/77
5 Una superficie es aquello que sólo tiene longitud y anchura.
6 Los extremos de una superficie son lı́neas.
7 Una superficie plana es aquella superficie que yace por igual
respecto de las lı́neas rectas que están en ella.

Superficie Superficie plana

8/77
5 Una superficie es aquello que sólo tiene longitud y anchura.
6 Los extremos de una superficie son lı́neas.
7 Una superficie plana es aquella superficie que yace por igual
respecto de las lı́neas rectas que están en ella.

Superficie Superficie plana

8/77
5 Una superficie es aquello que sólo tiene longitud y anchura.
6 Los extremos de una superficie son lı́neas.
7 Una superficie plana es aquella superficie que yace por igual
respecto de las lı́neas rectas que están en ella.

Superficie Superficie plana

8/77
5 Una superficie es aquello que sólo tiene longitud y anchura.
6 Los extremos de una superficie son lı́neas.
7 Una superficie plana es aquella superficie que yace por igual
respecto de las lı́neas rectas que están en ella.

Superficie Superficie plana

8/77
5 Una superficie es aquello que sólo tiene longitud y anchura.
6 Los extremos de una superficie son lı́neas.
7 Una superficie plana es aquella superficie que yace por igual
respecto de las lı́neas rectas que están en ella.

Superficie Superficie plana

8/77
8 Un ángulo plano es la inclinación mutua de dos lı́neas que se
encuentran una a otra en un plano y no están en lı́nea recta.
9 Cuando las lı́neas que comprenden el ángulo son lı́neas rectas,
el ángulo se llama rectilı́neo.

ángulo plano ángulo rectilı́neo

9/77
8 Un ángulo plano es la inclinación mutua de dos lı́neas que se
encuentran una a otra en un plano y no están en lı́nea recta.
9 Cuando las lı́neas que comprenden el ángulo son lı́neas rectas,
el ángulo se llama rectilı́neo.

ángulo plano ángulo rectilı́neo

9/77
8 Un ángulo plano es la inclinación mutua de dos lı́neas que se
encuentran una a otra en un plano y no están en lı́nea recta.
9 Cuando las lı́neas que comprenden el ángulo son lı́neas rectas,
el ángulo se llama rectilı́neo.

ángulo plano ángulo rectilı́neo

9/77
8 Un ángulo plano es la inclinación mutua de dos lı́neas que se
encuentran una a otra en un plano y no están en lı́nea recta.
9 Cuando las lı́neas que comprenden el ángulo son lı́neas rectas,
el ángulo se llama rectilı́neo.

ángulo plano ángulo rectilı́neo

9/77
8 Un ángulo plano es la inclinación mutua de dos lı́neas que se
encuentran una a otra en un plano y no están en lı́nea recta.
9 Cuando las lı́neas que comprenden el ángulo son lı́neas rectas,
el ángulo se llama rectilı́neo.

ángulo plano ángulo rectilı́neo

9/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
10 Cuando una lı́nea recta que está sobre otra hace que los
ángulos adyacentes sean iguales, cada uno de los ángulos es
recto, y la recta que está sobre la otra se llama perpendicular
a la otra recta.
11 Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12 Un ángulo agudo es un ángulo menor que un ángulo recto.

@
@
@
@
 @
ángulo recto ángulo obtuso ángulo agudo

10/77
13 Un lı́mite es lo que es extremo de algo.
14 Una figura es aquello que está contenido por cualquier lı́mite
o lı́mites.

Lı́mite Figura

11/77
13 Un lı́mite es lo que es extremo de algo.
14 Una figura es aquello que está contenido por cualquier lı́mite
o lı́mites.

Lı́mite Figura

11/77
13 Un lı́mite es lo que es extremo de algo.
14 Una figura es aquello que está contenido por cualquier lı́mite
o lı́mites.

Lı́mite Figura

11/77
13 Un lı́mite es lo que es extremo de algo.
14 Una figura es aquello que está contenido por cualquier lı́mite
o lı́mites.

Lı́mite Figura

11/77
13 Un lı́mite es lo que es extremo de algo.
14 Una figura es aquello que está contenido por cualquier lı́mite
o lı́mites.

Lı́mite Figura

11/77
13 Un lı́mite es lo que es extremo de algo.
14 Una figura es aquello que está contenido por cualquier lı́mite
o lı́mites.

Lı́mite Figura

11/77
15 Un cı́rculo es una figura plana comprendida por una sola lı́nea,
llamada circunferencia, de tal modo que todas las rectas
dibujadas que caen sobre ella desde un punto de los que están
dentro de la figura son iguales entre sı́.
16 Y el punto se llama centro del cı́rculo.

Cı́rculo Circunferencia y centro

12/77
15 Un cı́rculo es una figura plana comprendida por una sola lı́nea,
llamada circunferencia, de tal modo que todas las rectas
dibujadas que caen sobre ella desde un punto de los que están
dentro de la figura son iguales entre sı́.
16 Y el punto se llama centro del cı́rculo.

Cı́rculo Circunferencia y centro

12/77
15 Un cı́rculo es una figura plana comprendida por una sola lı́nea,
llamada circunferencia, de tal modo que todas las rectas
dibujadas que caen sobre ella desde un punto de los que están
dentro de la figura son iguales entre sı́.
16 Y el punto se llama centro del cı́rculo.

Cı́rculo Circunferencia y centro

12/77
15 Un cı́rculo es una figura plana comprendida por una sola lı́nea,
llamada circunferencia, de tal modo que todas las rectas
dibujadas que caen sobre ella desde un punto de los que están
dentro de la figura son iguales entre sı́.
16 Y el punto se llama centro del cı́rculo.

Cı́rculo Circunferencia y centro

12/77
17 Un diámetro de un cı́rculo es una recta cualquiera que pasa
por el centro y que acaba en ambas direcciones en la
circunferencia del cı́rculo; esta lı́nea recta también divide el
cı́rculo en dos partes iguales.
18 Un semicı́rculo es la figura comprendida entre el diámetro y la
circunferencia cortada por él. El centro del semicı́rculo es el
mismo que el del cı́rculo.

Semicı́rculo

Diámetro

13/77
17 Un diámetro de un cı́rculo es una recta cualquiera que pasa
por el centro y que acaba en ambas direcciones en la
circunferencia del cı́rculo; esta lı́nea recta también divide el
cı́rculo en dos partes iguales.
18 Un semicı́rculo es la figura comprendida entre el diámetro y la
circunferencia cortada por él. El centro del semicı́rculo es el
mismo que el del cı́rculo.

Semicı́rculo

Diámetro

13/77
17 Un diámetro de un cı́rculo es una recta cualquiera que pasa
por el centro y que acaba en ambas direcciones en la
circunferencia del cı́rculo; esta lı́nea recta también divide el
cı́rculo en dos partes iguales.
18 Un semicı́rculo es la figura comprendida entre el diámetro y la
circunferencia cortada por él. El centro del semicı́rculo es el
mismo que el del cı́rculo.

Semicı́rculo

Diámetro

13/77
17 Un diámetro de un cı́rculo es una recta cualquiera que pasa
por el centro y que acaba en ambas direcciones en la
circunferencia del cı́rculo; esta lı́nea recta también divide el
cı́rculo en dos partes iguales.
18 Un semicı́rculo es la figura comprendida entre el diámetro y la
circunferencia cortada por él. El centro del semicı́rculo es el
mismo que el del cı́rculo.

Semicı́rculo

Diámetro

13/77
19 Figuras rectilı́neas son aquellas que están comprendidas por
lı́neas rectas, triláteras las comprendidas por tres,
cuadriláteras les comprendidas por cuatro y multiláteras las
comprendidas por más de cuatro lı́neas rectas.

Figura trilátera Figura cuadrilátera Figura multilátera

14/77
19 Figuras rectilı́neas son aquellas que están comprendidas por
lı́neas rectas, triláteras las comprendidas por tres,
cuadriláteras les comprendidas por cuatro y multiláteras las
comprendidas por más de cuatro lı́neas rectas.

Figura trilátera Figura cuadrilátera Figura multilátera

14/77
20 De los triángulos, el equilátero es el que tiene los tres lados
iguales; isósceles el que tiene dos lados iguales y uno de
desigual; y escaleno el que tiene los tres lados desiguales.

4 equilátero 4 isóceles 4 escaleno

21 De los triángulos, triángulo rectángulo es el que tiene un

ángulo recto, obtusángulo el que tiene un ángulo obtuso y
acutángulo el que tiene los tres ángulos agudos.

4 rectángulo 4 acutángulo 4 obtusángulo

15/77
20 De los triángulos, el equilátero es el que tiene los tres lados
iguales; isósceles el que tiene dos lados iguales y uno de
desigual; y escaleno el que tiene los tres lados desiguales.

4 equilátero 4 isóceles 4 escaleno

21 De los triángulos, triángulo rectángulo es el que tiene un

ángulo recto, obtusángulo el que tiene un ángulo obtuso y
acutángulo el que tiene los tres ángulos agudos.

4 rectángulo 4 acutángulo 4 obtusángulo

15/77
22 De los cuadriláteros, cuadrado es el que tiene los lados iguales
y los ángulos rectos; rectángulo el que es rectangular pero no
equilátero; rombo el que es equilátero, pero no tiene los
ángulos rectos; y romboide el que tiene los lados y los ángulos
opuestos iguales, pero ni es equilátero ni tiene los ángulos
rectos. Los otros cuadriláteros se llaman trapecios.

Cuadrado Rectángulo Rombo

Romboide Trapecio

16/77
23 Rectas paralelas son aquellas que, estando en un mismo plano
y siendo prolongadas indefinidamente en ambos sentidos, no
se encuentran una a otra en ninguno de ellos.

Rectas paralelas

17/77
18/77
 Nociones comunes

NC 1. Cosas iguales a una tercera son iguales entre sı́.

NC 2. Si a cosas iguales se añaden cosas iguales, los totales son
iguales también.
NC 3. Si a cosas iguales se quitan cosas iguales, los restos son
iguales también.
NC 4. Las cosas que coinciden entre sı́ son iguales entre sı́.
NC 5. El todo es mayor que la parte.

19/77
 Nociones comunes

NC 1. Cosas iguales a una tercera son iguales entre sı́.

NC 2. Si a cosas iguales se añaden cosas iguales, los totales son
iguales también.
NC 3. Si a cosas iguales se quitan cosas iguales, los restos son
iguales también.
NC 4. Las cosas que coinciden entre sı́ son iguales entre sı́.
NC 5. El todo es mayor que la parte.

19/77
 Nociones comunes

NC 1. Cosas iguales a una tercera son iguales entre sı́.

NC 2. Si a cosas iguales se añaden cosas iguales, los totales son
iguales también.
NC 3. Si a cosas iguales se quitan cosas iguales, los restos son
iguales también.
NC 4. Las cosas que coinciden entre sı́ son iguales entre sı́.
NC 5. El todo es mayor que la parte.

19/77
 Nociones comunes

NC 1. Cosas iguales a una tercera son iguales entre sı́.

NC 2. Si a cosas iguales se añaden cosas iguales, los totales son
iguales también.
NC 3. Si a cosas iguales se quitan cosas iguales, los restos son
iguales también.
NC 4. Las cosas que coinciden entre sı́ son iguales entre sı́.
NC 5. El todo es mayor que la parte.

19/77
 Nociones comunes

NC 1. Cosas iguales a una tercera son iguales entre sı́.

NC 2. Si a cosas iguales se añaden cosas iguales, los totales son
iguales también.
NC 3. Si a cosas iguales se quitan cosas iguales, los restos son
iguales también.
NC 4. Las cosas que coinciden entre sı́ son iguales entre sı́.
NC 5. El todo es mayor que la parte.

19/77
NC 6. Y las cosas mitades de una y la misma cosa son iguales entre
sı́
NC 7. Y la cosas congruentes ente sı́ son iguales entre sı́.
NC 8. Y dos rectas no circundan región.

20/77
NC 6. Y las cosas mitades de una y la misma cosa son iguales entre
sı́
NC 7. Y la cosas congruentes ente sı́ son iguales entre sı́.
NC 8. Y dos rectas no circundan región.

20/77
NC 6. Y las cosas mitades de una y la misma cosa son iguales entre
sı́
NC 7. Y la cosas congruentes ente sı́ son iguales entre sı́.
NC 8. Y dos rectas no circundan región.

20/77
 Advertencias sobre las demostraciones
Según la terminologı́a euclidiana, la frase “dividir en dos” significa
dividir en dos partes iguales.
La noción común 5 el todo es mayor que su parte, habrı́a que
completarla con las siguientes nociones que Euclides emplea
implı́citamente.
n−veces
z }| {
NC 5a. El todo (T ) compuesto de las partes a, a, a . . . , a es igual a n
veces a.
NC 5b El todo es igual al conjunto de sus partes.
T = a + b + c + d + ...
NC 5c Paso del todo homogéneo a una de sus partes. Si T = a + a,
T
se sigue a = .
2
NC 5d Paso general del todo a una parte. Si T = a + b, se sigue
a = T − b, o b = T − a.

21/77
 Advertencias sobre las demostraciones
Según la terminologı́a euclidiana, la frase “dividir en dos” significa
dividir en dos partes iguales.
La noción común 5 el todo es mayor que su parte, habrı́a que
completarla con las siguientes nociones que Euclides emplea
implı́citamente.
n−veces
z }| {
NC 5a. El todo (T ) compuesto de las partes a, a, a . . . , a es igual a n
veces a.
NC 5b El todo es igual al conjunto de sus partes.
T = a + b + c + d + ...
NC 5c Paso del todo homogéneo a una de sus partes. Si T = a + a,
T
se sigue a = .
2
NC 5d Paso general del todo a una parte. Si T = a + b, se sigue
a = T − b, o b = T − a.

21/77
 Advertencias sobre las demostraciones
Según la terminologı́a euclidiana, la frase “dividir en dos” significa
dividir en dos partes iguales.
La noción común 5 el todo es mayor que su parte, habrı́a que
completarla con las siguientes nociones que Euclides emplea
implı́citamente.
n−veces
z }| {
NC 5a. El todo (T ) compuesto de las partes a, a, a . . . , a es igual a n
veces a.
NC 5b El todo es igual al conjunto de sus partes.
T = a + b + c + d + ...
NC 5c Paso del todo homogéneo a una de sus partes. Si T = a + a,
T
se sigue a = .
2
NC 5d Paso general del todo a una parte. Si T = a + b, se sigue
a = T − b, o b = T − a.

21/77
 Advertencias sobre las demostraciones
Según la terminologı́a euclidiana, la frase “dividir en dos” significa
dividir en dos partes iguales.
La noción común 5 el todo es mayor que su parte, habrı́a que
completarla con las siguientes nociones que Euclides emplea
implı́citamente.
n−veces
z }| {
NC 5a. El todo (T ) compuesto de las partes a, a, a . . . , a es igual a n
veces a.
NC 5b El todo es igual al conjunto de sus partes.
T = a + b + c + d + ...
NC 5c Paso del todo homogéneo a una de sus partes. Si T = a + a,
T
se sigue a = .
2
NC 5d Paso general del todo a una parte. Si T = a + b, se sigue
a = T − b, o b = T − a.

21/77
Euclides emplea también una ampliación de la NC 2. que
corresponde al axioma moderno de monotonı́a. Si una propiedad
vale para a = b, vale también para a2 = b 2 , etcétera.
Euclides emplea también la NC 5. como fórmula silogı́stica, y no
simplemente como una premisa.
La coma entre AB, BC , etc. equivale frecuentemente en Euclides al
signo de suma (aritmética o geométrica), dependiendo del contexto
en que se trabaje.

22/77
Euclides emplea también una ampliación de la NC 2. que
corresponde al axioma moderno de monotonı́a. Si una propiedad
vale para a = b, vale también para a2 = b 2 , etcétera.
Euclides emplea también la NC 5. como fórmula silogı́stica, y no
simplemente como una premisa.
La coma entre AB, BC , etc. equivale frecuentemente en Euclides al
signo de suma (aritmética o geométrica), dependiendo del contexto
en que se trabaje.

22/77
Euclides emplea también una ampliación de la NC 2. que
corresponde al axioma moderno de monotonı́a. Si una propiedad
vale para a = b, vale también para a2 = b 2 , etcétera.
Euclides emplea también la NC 5. como fórmula silogı́stica, y no
simplemente como una premisa.
La coma entre AB, BC , etc. equivale frecuentemente en Euclides al
signo de suma (aritmética o geométrica), dependiendo del contexto
en que se trabaje.

22/77
 Otras nociones que se utilizan, y no están
incluidas en los Elementos

NC 9. Dada una recta, existe al menos un punto en el plano que no

está en la recta.
C

A B

23/77
NC 10. (Densidad) Dados dos puntos distintos A y C , existe al menos
un punto B en el segmento de recta AC que está entre A y C .

A B C
NC 11. (Orden) Dados tres puntos distintos en una recta, uno y solo
uno de ellos está entre los otros dos.
A está entre B y C .
B está entre A y C .
C está entre A y B.

24/77
NC 10. (Densidad) Dados dos puntos distintos A y C , existe al menos
un punto B en el segmento de recta AC que está entre A y C .

A B C
NC 11. (Orden) Dados tres puntos distintos en una recta, uno y solo
uno de ellos está entre los otros dos.
A está entre B y C .
B está entre A y C .
C está entre A y B.

24/77
NC 12. (Separación de la recta) Un punto O de una recta ` divide a
los puntos de la recta en dos conjuntos no vacı́os, digamos `+
y `− , de modo que dos puntos cualesquiera de ` \ {O}
pertenecen al mismo conjunto si están del mismo lado de O;
mientras que los puntos pertenecen a conjuntos diferentes si
están en diferentes lados de O.

A y B están del mismo lado

`− `
z }| {z }|+ { de O, aquı́ A, B ∈ `− .
`:
A y C están de lados dife-
A B O C rentes de O, aquı́ A ∈ `− y
C ∈ `+ .

25/77
NC 13. (Separación del plano) Cada recta ` contenida en un plano P,
divide los puntos de P? = P \ ` en dos conjuntos no vacı́os,
digamos P?− y P?+ , de tal manera que dos puntos cualquiera
A, B ∈ P? están en diferentes subconjuntos de P? si el
segmento AB contiene algún punto de `. Por otra parte, dos
puntos cualquiera C , D ∈ P? estarán en el mismo
subconjunto de P? si el segmento de recta CD está
totalmente contenido en dicho subconjunto.

A
P?+ A y B están lados opuestos
de `, aquı́ A ∈ P?+ , y
`: B ∈ P?− .
P?− D C y D están del mismo lado
B de `, aquı́ a C , D ∈ P?− .
C

26/77
NC 14. (Continuidad de las lı́neas) Esta noción complementa la NC
10 de densidad, no solamente supondremos que las lı́neas
rectas son densas, en general, todas nuestras lı́neas son densas
y también asumiremos que son continuas, intuitivamente
podemos decir que, no tienen hoyos.

27/77
NC 14. (Continuidad de las lı́neas) Esta noción complementa la NC
10 de densidad, no solamente supondremos que las lı́neas
rectas son densas, en general, todas nuestras lı́neas son densas
y también asumiremos que son continuas, intuitivamente
podemos decir que, no tienen hoyos.

27/77
NC 14. (Continuidad de las lı́neas) Esta noción complementa la NC
10 de densidad, no solamente supondremos que las lı́neas
rectas son densas, en general, todas nuestras lı́neas son densas
y también asumiremos que son continuas, intuitivamente
podemos decir que, no tienen hoyos.

27/77
En particular si CAB es la circunferencia con centro A y radio AB y
BC es la circunferencia con centro en B y radio BC , y si BD es el
diámetro de CAB que pasa por B entonces, si 0 < BC < BD las
circunferencias CAB y CBC se cortan en exactamente dos puntos.
Esta propiedad la utilizaremos en la demostración del teorema 1.
En la siguiente ilustración las circunferencias CBC , CBA y CBE
cortan exactamente en dos puntos a la circunferencia CAB .
Además, podemos ver que las circunferencias CBC y CBA son
concéntricas, y por ende, no se intersecan.

CAB

D E A C B
CBC
CBE CBA

28/77
 Los postulados de Euclides

Postúlese:

P 1. Trazar una lı́nea recta de un punto cualquiera a otro punto

cualquiera.

A B
P 2. Prolongar por continuidad, en lı́nea recta, una recta finita
determinada.

A B C

29/77
 Los postulados de Euclides

Postúlese:

P 1. Trazar una lı́nea recta de un punto cualquiera a otro punto

cualquiera.

A B
P 2. Prolongar por continuidad, en lı́nea recta, una recta finita
determinada.

A B C

29/77
P 3. Para cada centro y radio describir un cı́rculo.

r
A

P 4. Todos los ángulos rectos son iguales entre sı́.

30/77
P 3. Para cada centro y radio describir un cı́rculo.

r
A

P 4. Todos los ángulos rectos son iguales entre sı́.

30/77
P 5. Que, si una recta incidente sobre dos rectas, hace ángulos
internos y de la misma parte menores que dos rectos,
prolongadas esas dos rectas al infinito coincidirán por la parte
en que estén los ángulos menores que dos rectos.

α + β < 2 rectos

31/77
Como se puede observar, en los primeros cuatro postulados se ve la
intención de asentar los hechos que parecen verdaderos y que por
tal motivo no necesitan demostrarse, e icluso, los primeros 26
teoremas solamente hacen uso de ellos.
Pero el quinto postulado tiene una redacción más complicada,
Euclides empieza a utilizar el concepto de paralelas a partir del
teorema 27.
Euclides basó el resto de sus resultados en estos axiomas.

32/77
Como se puede observar, en los primeros cuatro postulados se ve la
intención de asentar los hechos que parecen verdaderos y que por
tal motivo no necesitan demostrarse, e icluso, los primeros 26
teoremas solamente hacen uso de ellos.
Pero el quinto postulado tiene una redacción más complicada,
Euclides empieza a utilizar el concepto de paralelas a partir del
teorema 27.
Euclides basó el resto de sus resultados en estos axiomas.

32/77
Como se puede observar, en los primeros cuatro postulados se ve la
intención de asentar los hechos que parecen verdaderos y que por
tal motivo no necesitan demostrarse, e icluso, los primeros 26
teoremas solamente hacen uso de ellos.
Pero el quinto postulado tiene una redacción más complicada,
Euclides empieza a utilizar el concepto de paralelas a partir del
teorema 27.
Euclides basó el resto de sus resultados en estos axiomas.

32/77
 Abreviaturas y sı́mbolos
Q.E.H. Lo que esperabamos
hacer
4 triángulo
⊥ perpendiculares
k paralelas
∴ por lo tanto
≡ equivalente
∼ semejante
 cuadrado
rectángulo
cı́rculo
> mayor que
≥ mayor o igual que
∅ conjunto vacı́o
∀ para todo
Q.E.D. Lo que esperábamos
demostrar
∠ ángulo
6 ⊥ no perpendiculares
∦ no es paralela
⇒ entonces
∼
= congruente
6 = no es igual a
paralelogramo
< menor que
≤ menor o igual que
∈ pertenece
∃ existe
33/77
 Letras griegas
A continuación se ofrece una lista de las letras griegas, su nombre
adaptado al español, y el valor numérico que se le otorgaba en el
sistema jónico, que atribuı́a una cifra numérica a cada letra del
alfabeto griego.
A, α alfa 1 B, β beta 2 Γ, γ gamma 3
∆, δ delta 4 E, epsilon 5 Z,ζ zeta 7
H, η eta 8 Θ, θ theta 9 I,ι iota 10
K, κ kappa 20 Λ, λ lambda 30 M,µ mu 40
N, ν nu 50 Ξ, ξ xi 60 O, o ómicron 70
Π, π pi 80 R,ρ rho 100 Σ, σ sigma 200
T,τ tau 300 Υ, υ upsilon 400 Φ, φ fi 500
X, χ ji 600 Ψ, ψ psi 700 Ω, ω omega 800
κ, varkappa ϕ varphi ε varepsilon
% varrho $ varpi ς varsigma

Para denotar el número 6 se utilizaba el sı́mbolo z, que se lee

digamma, el cual es una letra griega obsoleta.
34/77
 Observaciones adicionales
• Dos segmentos de recta son iguales cuando pueden colocarse
de tal modo que los extremos de uno coincidan con los
extremos del otro.
• En general, dos figuras son congruentes cuando pueden
hacerse coincidir en todos sus puntos.
• La magnitud de un ángulo depende unicamente del
movimiento necesario para llevar un lado a la posición del
otro, haciéndolo girar sobre el vértice. Este movimiento se
llama rotación.
• Un ángulo es mayor que otro cuando la rotación es mayor en
aquél que en este.
• Dos ángulos son iguales cuando puede colocarse uno sobre el
otro de manera que los vértices coincidan y los lados del uno
queden sobre los lados del otro.

35/77
 Observaciones adicionales
• Dos segmentos de recta son iguales cuando pueden colocarse
de tal modo que los extremos de uno coincidan con los
extremos del otro.
• En general, dos figuras son congruentes cuando pueden
hacerse coincidir en todos sus puntos.
• La magnitud de un ángulo depende unicamente del
movimiento necesario para llevar un lado a la posición del
otro, haciéndolo girar sobre el vértice. Este movimiento se
llama rotación.
• Un ángulo es mayor que otro cuando la rotación es mayor en
aquél que en este.
• Dos ángulos son iguales cuando puede colocarse uno sobre el
otro de manera que los vértices coincidan y los lados del uno
queden sobre los lados del otro.

35/77
 Observaciones adicionales
• Dos segmentos de recta son iguales cuando pueden colocarse
de tal modo que los extremos de uno coincidan con los
extremos del otro.
• En general, dos figuras son congruentes cuando pueden
hacerse coincidir en todos sus puntos.
• La magnitud de un ángulo depende unicamente del
movimiento necesario para llevar un lado a la posición del
otro, haciéndolo girar sobre el vértice. Este movimiento se
llama rotación.
• Un ángulo es mayor que otro cuando la rotación es mayor en
aquél que en este.
• Dos ángulos son iguales cuando puede colocarse uno sobre el
otro de manera que los vértices coincidan y los lados del uno
queden sobre los lados del otro.

35/77
 Observaciones adicionales
• Dos segmentos de recta son iguales cuando pueden colocarse
de tal modo que los extremos de uno coincidan con los
extremos del otro.
• En general, dos figuras son congruentes cuando pueden
hacerse coincidir en todos sus puntos.
• La magnitud de un ángulo depende unicamente del
movimiento necesario para llevar un lado a la posición del
otro, haciéndolo girar sobre el vértice. Este movimiento se
llama rotación.
• Un ángulo es mayor que otro cuando la rotación es mayor en
aquél que en este.
• Dos ángulos son iguales cuando puede colocarse uno sobre el
otro de manera que los vértices coincidan y los lados del uno
queden sobre los lados del otro.

35/77
 Observaciones adicionales
• Dos segmentos de recta son iguales cuando pueden colocarse
de tal modo que los extremos de uno coincidan con los
extremos del otro.
• En general, dos figuras son congruentes cuando pueden
hacerse coincidir en todos sus puntos.
• La magnitud de un ángulo depende unicamente del
movimiento necesario para llevar un lado a la posición del
otro, haciéndolo girar sobre el vértice. Este movimiento se
llama rotación.
• Un ángulo es mayor que otro cuando la rotación es mayor en
aquél que en este.
• Dos ángulos son iguales cuando puede colocarse uno sobre el
otro de manera que los vértices coincidan y los lados del uno
queden sobre los lados del otro.

35/77
• Dos ángulos son adyacentes cuando tienen un mismo vértice y
un lado común, y son exteriores el uno al otro.
• Dos ángulos son complementarios, y cada uno es el
complemento del otro, cuando su suma es igual a un ángulo
recto.
• Dos ángulos son suplementarios, y cada uno es el suplemento
del otro, cuando su suma es igual a dos rectos.
• El adjetivo bisector, del femenino bisectriz, se aplica a todo
punto, lı́nea o plano que divide una figura en dos partes
iguales.

36/77
• Dos ángulos son adyacentes cuando tienen un mismo vértice y
un lado común, y son exteriores el uno al otro.
• Dos ángulos son complementarios, y cada uno es el
complemento del otro, cuando su suma es igual a un ángulo
recto.
• Dos ángulos son suplementarios, y cada uno es el suplemento
del otro, cuando su suma es igual a dos rectos.
• El adjetivo bisector, del femenino bisectriz, se aplica a todo
punto, lı́nea o plano que divide una figura en dos partes
iguales.

36/77
• Dos ángulos son adyacentes cuando tienen un mismo vértice y
un lado común, y son exteriores el uno al otro.
• Dos ángulos son complementarios, y cada uno es el
complemento del otro, cuando su suma es igual a un ángulo
recto.
• Dos ángulos son suplementarios, y cada uno es el suplemento
del otro, cuando su suma es igual a dos rectos.
• El adjetivo bisector, del femenino bisectriz, se aplica a todo
punto, lı́nea o plano que divide una figura en dos partes
iguales.

36/77
• Dos ángulos son adyacentes cuando tienen un mismo vértice y
un lado común, y son exteriores el uno al otro.
• Dos ángulos son complementarios, y cada uno es el
complemento del otro, cuando su suma es igual a un ángulo
recto.
• Dos ángulos son suplementarios, y cada uno es el suplemento
del otro, cuando su suma es igual a dos rectos.
• El adjetivo bisector, del femenino bisectriz, se aplica a todo
punto, lı́nea o plano que divide una figura en dos partes
iguales.

36/77
Los Teoremas del libro I de los Elementos
Propiedades de los triángulos

37/77
A continuación presentamos los enunciados de los teoremas del
libro I de los Elementos de Euclides.
También damos una idea de la demostración, de manera dinámica,
con el fin de relacionar las imágenes con los enunciados lógicos.
Aunque no están justificados todos los pasos, y en algunos casos
hay algunos errores.
Tu tarea es justificar lo que falta y corregir lo que no sea correcto.
Un buen ejercicio es que reproduzcas el proceso de la
demostración, ya sea utilizando el software geogebra, o algún otro
similar, o bien, con regla (no graduada) y compás.

38/77
Teorema (1)
Dado un segmento de recta, es posible construir sobre él un
triángulo equilátero.

Hipótesis: Sea AB el segmento dado.

Tesis: Construir sobre el segmento AB un triángulo equilátero
4ABC .

39/77
Teorema (1)
Dado un segmento de recta, es posible construir sobre él un
triángulo equilátero.

Hipótesis: Sea AB el segmento dado.

Tesis: Construir sobre el segmento AB un triángulo equilátero
4ABC .

39/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Hipótesis: Sea AB el segmento dado.

C (1) Con centro A y radio AB

descrı́base el cı́rculo BCD.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE .
D A B E (3) Desde el punto C donde se
cortan los cı́rculos, trácese las
rectas CA y CB.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC .

(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene
que AB = BC .
(6) De donde AC = AB = B, C es decir, el triángulo 4ABC es
equilátero. Q.E.H.

40/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Tu trabajo es justificar cada uno de los pasos.
Como ejemplo, indicamos las justificaciones con letras versalitas verde jade:
(1) Con centro A y radio AB
C descrı́base el cı́rculo BCD. Por
el postulado 3.
(2) Con centro B y radio AB
descrı́base el cı́rculo ACE . Por
D A B E el postulado 3.
(3) Desde el punto C donde se cor-
tan los cı́rculos, trácese las rectas
CA y CB. Por NC 14 y por
el postulado 1.

(4) Y como A es el centro del cı́rculo BCD, entonces AB = AC , pues

todos los radios de un mismo cı́rculo son iguales.
(5) Análogamente, como B es el centro del cı́rculo ACE , se tiene que
AB = BC . Ya que todos los radios de un mismo cı́rculo
son iguales.
(6) De donde, por NC 1, AC = AB = BC , y por definición, el
triángulo 4ABC es equilátero. Q.E.H.
41/77
Teorema (2)
Dibujar en un punto dado un segmento de recta igual a un
segmento de recta dado.

Hipótesis: Sea A un punto y BC el segmento dado.

Tesis: Por el punto A, construir un segmento igual al BC .

42/77
 Observación

El teorema 2 nos permite mover longitudes de un lugar a otro, y

será fundamental en la demostración del primer teorema de
congruencia de triángulos.
En términos modernos, este teorema nos prepara el camino para
decir que las traslaciones, reflexiones y las rotaciones preservan
longitudes.

43/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Hipótesis: Sea A un punto y BC el segmento dado.

G (1) Sobre AB constrúyase el

triángulo equilátero 4ABD.
(2) Con centro en B y radio BC
trazar la circunferencia EFC
(3) Prolongar DA hasta E y DB
H E hasta F .
A D
(4) Con centro en D y radio BF ,
trazar la circunferencia FGH.
B C
(5) Prolongar el segmento AE
hasta H.
F (6) Como DH = DF y DA =
DB, entonces AH = BF .
(7) Como AH = BF y BF = BC , entonces AH = BC .
Q.E.H.

44/77
Teorema (3)
Restar del mayor de dos segmentos dados un segmento igual al
menor.

Hipótesis: Sean AB y CD los segmentos dados, y supongamos

que el segmento AB es mayor que el CD.
Tesis: Construir sobre AB un segmento AF , tal que AF = CD.

45/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
Hipótesis: Sean AB y CD los segmentos dados, y supongamos
que el segmento AB es mayor que el CD.
(1) Trazar por A un segmen-
to AE con AE = CD.
D
(2) Con centro en A y radio
C AE trazar una circunferen-
cia EFG
(3) Denotemos F el punto
G donde la circunferencia EFG
interseca al segmento AB.
A F B (4) Entonces CD = AE y
E
AE = AF .
(5) Y como cosas iguales a
una tercera son iguales entre
sı́, AF = CD. Q.E.H

46/77
 Observación:

A continuación enunciaremos el primer criterio de congruencia de

triángulos, este criterio se basa en el teorema 2, cuya idea principal
es:
“Toda figura puede hacerse cambiar de posición sin alterar su
forma y sus dimensiones.”

47/77
 Observación:

A continuación enunciaremos el primer criterio de congruencia de

triángulos, este criterio se basa en el teorema 2, cuya idea principal
es:
“Toda figura puede hacerse cambiar de posición sin alterar su
forma y sus dimensiones.”

47/77
 Teorema de congruencia LAL

Teorema (4)
Si dos triángulos tienen dos lados respectivos iguales, y tienen el
ángulo comprendido entre ellas igual, también tendrán las bases
iguales, y los triángulos serán iguales, y los ángulos restantes serán
iguales, concretamente los opuestos a los lados iguales.

Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados

AB = DE y AC = DF , y supóngase que el ángulo
∠BAC = ∠EDF .
Tesis: Afirmamos BC = EF , además 4ABC = 4DEF . En
particular ∠ABC = ∠DEF , y ∠ACB = ∠DFE .

48/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE y AC = DF , y supóngase que el ángulo
∠BAC = ∠EDF .
(1) Aplı́quese el triángulo
A D 4ABC sobre el 4DEF , el
punto A sobre el D, y el seg-
mento AB sobre el DE .
(2) Ya se aplico el punto B so-
bre el E , y si ya se aplicó el
punto C sobre el F , se apli-
B C E F cará la base BC sobre la EF ,
ya que, si no fuera ası́, dos rec-
tas circundarı́an una región, lo
cual no es posible. [N. IX]
(3) Ası́, el segmento BC se aplica en el EF y 4ABC = 4DEF ,
en particular ∠ABC = ∠DEF y ∠ACB = ∠DFE . Q.E.D.

49/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE y AC = DF , y supóngase que el ángulo
∠BAC = ∠EDF .
(1) Aplı́quese el triángulo
A D 4ABC sobre el 4DEF , el
punto A sobre el D, y el seg-
mento AB sobre el DE .
(2) Ya se aplico el punto B so-
bre el E , y si ya se aplicó el
punto C sobre el F , se apli-
B C E F cará la base BC sobre la EF ,
ya que, si no fuera ası́, dos rec-
tas circundarı́an una región, lo
cual no es posible. [N. IX]
(3) Ası́, el segmento BC se aplica en el EF y 4ABC = 4DEF ,
en particular ∠ABC = ∠DEF y ∠ACB = ∠DFE . Q.E.D.

49/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE y AC = DF , y supóngase que el ángulo
∠BAC = ∠EDF .
(1) Aplı́quese el triángulo
A D 4ABC sobre el 4DEF , el
punto A sobre el D, y el seg-
mento AB sobre el DE .
(2) Ya se aplico el punto B so-
bre el E , y si ya se aplicó el
punto C sobre el F , se apli-
B C E F cará la base BC sobre la EF ,
ya que, si no fuera ası́, dos rec-
tas circundarı́an una región, lo
cual no es posible. [N. IX]
(3) Ası́, el segmento BC se aplica en el EF y 4ABC = 4DEF ,
en particular ∠ABC = ∠DEF y ∠ACB = ∠DFE . Q.E.D.

49/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE y AC = DF , y supóngase que el ángulo
∠BAC = ∠EDF .
(1) Aplı́quese el triángulo
A D 4ABC sobre el 4DEF , el
punto A sobre el D, y el seg-
mento AB sobre el DE .
(2) Ya se aplico el punto B so-
bre el E , y si ya se aplicó el
punto C sobre el F , se apli-
B C E F cará la base BC sobre la EF ,
ya que, si no fuera ası́, dos rec-
tas circundarı́an una región, lo
cual no es posible. [N. IX]
(3) Ası́, el segmento BC se aplica en el EF y 4ABC = 4DEF ,
en particular ∠ABC = ∠DEF y ∠ACB = ∠DFE . Q.E.D.

49/77
Teorema (5)
En triángulos isósceles los ángulos en la base son iguales y, si los
lados iguales se alargan, los ángulos situados bajo la base serán
iguales entre sı́.

Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB

igual al AC y prolónguese sobre las recta AB, hasta un punto D,
obtenéndose la BD y prolónguese la recta AC , hasta el punto E ,
obtenı́endose la CE .
Tesis: El ángulo ∠ABC es igual al ángulo ∠ACB y el ángulo
∠CBD es igual al ∠BCE .

50/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Hipótesis: Sea 4ABC el triángulo isóceles que tiene el lado AB
igual al AC .
(1) Prolónguese la recta AB hasta un
punto D, obtenéndose el segmento BD,
A
y prolónguese la recta AC hasta el punto
E , obtenı́endose el segmento CE .
(2) Elı́gase F en BD, y sea G en CE tal
que BF = CG . Trace los segmentos FC
y BG .
(3) Por Teo.I.4, 4AFC = 4AGB.

B C (4) Por tanto, ∠AFC = ∠AGB,

∠ACF = ∠ABG y FC = GB.
F G (5) Por Teo.I.4, 4BFC = 4CGB.

D E (6) En particular ∠FBC = ∠GCB.

(7) Como ∠ABF = ∠ABC + ∠CBF y ∠ACG = ∠ACB + ∠BCG ,
entonces ∠ABC = ∠ACB. Q.E.D.
51/77
Como consecuencia de este resultado tenemos:

Corolario
Todo triángulo equilátero es equiangular.

52/77
Como consecuencia de este resultado tenemos:

Corolario
Todo triángulo equilátero es equiangular.

52/77
 Anécdota

De acuerdo con Heath, pag. 251, 1 el teorema anterior se ha

llamado el pons asinorum, esto es, el puente de los asnos.
Una interpretación sugiere que esto es probablemente debido al
diagrama usado por Euclides en su demostración del resultado,
mientras que otra sostiene que el nombre proviene del hecho de
que este es el primer resultado difı́cil en Euclides, y actúa para
separar a aquellos que pueden entender la geometrı́a de Euclides de
aquellos que no son capaces de hacerlo.

1
Heath, Thomas L. (1956) [1925], The Thirteen Books of Euclid’s Elements
(2nd edición), New York: Dover Publications, ISBN 0-486-60088-2
53/77
Teorema (6)
Si en un triángulo dos ángulos son iguales, entonces los lados
opuestos a los ángulos iguales también son iguales uno al otro.

Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC

igual al ángulo ∠ACB.
Tesis: El lado AB es igual al lado AC .

54/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Hipótesis: Sea 4ABC el triángulo que tiene el ángulo ∠ABC
igual al ángulo ∠ACB.
A (1) Suponga que AB 6= AC .
(2) Sin perder generalidad AC < AB.
D
(3) Y de tal lado mayor, réstese
DB = AC .
(4) Y trácese CD.
(5) Como DB = AC y el lado BC
es común, los lados DB, BC serán
B C respectivamente iguales a los lados
AC , CB, y ∠ABC = ∠ACB.
(6) Por lo tanto 4DBC = 4ACB.
(7) Es decir, el triángulo menor es
igual al mayor, lo cual es absurdo.
(8) De donde AB = AC . Q.E.D.

55/77
Como consecuencia de este resultado tenemos:

Corolario
Todo triángulo equiangular es equilátero.

56/77
Como consecuencia de este resultado tenemos:

Corolario
Todo triángulo equiangular es equilátero.

56/77
 Falacias

Las falacias tienen un gran valor pedagógico. Euclides escribió un

libro de falacias y aporı́as, los Pseudaria (El Libro de los Engaños),
que probablemente utilizó con gran provecho en su enseãnza, en
esta obra Euclides nos presentaba algunas falacias geométricas. Los
clásicos en recreaciones matemáticas suelen tener una sección
dedicada a falacias.
Una falacia es un patrón de razonamiento malo que aparenta ser
bueno. Los razonamientos falaces no son falaces por llevarnos a
una conclusión falsa, sino por contener un error en el razonamiento
mismo.

57/77
Un conocida falacia es la demostración de la afirmación de que:

“Todos los triángulos son isósceles”.

Este argumento ha sido atribuido, por Wilson, a Lewis Carroll 2 ,
pero W. W. Rouse Ball reivindica la prioridad en este asunto 3 .

2
Wilson, Robin (2008), Lewis Carroll in Numberland: His fantastical
mathematical logical life, an agony in eight fits, Penguin Books, pp. 169-170,
ISBN 978-0-14-101610-8, MR 2455534
3
Ball, W. W. Rouse; Coxeter, H. S. M. (1987) [1892], Mathematical
Recreations and Essays (13th edición), Dover, footnote, p. 77, ISBN
0-486-25357-0
58/77
Isocelitis

59/77
60/77
Teorema (7)
Dos rectas respectivamente iguales a otras dos con los mismos
extremos en el mismo lado de una misma recta no se juntan en dos
puntos distintos.

Hipótesis: Si es posible, constrúyase sobre la misma recta AB las

dos rectas AD, DB iguales respectivamente a las rectas AC , CB.
Quedan determinados dos puntos diferentes C , D teniendo tales
rectas los mismos extremos en el mismo lado de la AB de modo
que la CA sea igual a la DA, y tengan por extremo común el A, y
la CB sea igual a la DB, con la que tiene el mismo extremo B.
Tesis: Trácese la CD.

61/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
Hipótesis: Si es posible, constrúyase sobre la misma recta AB las dos
rectas AD, DB iguales respectivamente a las rectas AC , CB. Quedan
determinados dos puntos diferentes C , D teniendo tales rectas los
mismos extremos en el mismo lado de la AB de modo que la CA sea
igual a la DA, y tengan por extremo común el A, y la CB sea igual a la
DB, con la que tiene el mismo extremo B.
C D (1) Trácese la recta CD.
(2) Como AC = AD, entonces el
triángulo 4ACD es isóceles.
(3) Por Teo. I.5, ∠ACD = ∠ADC .
Por N.C. 8 se tiene:
(4) ∠ACD = ∠ADC < ∠CDB.
(5) Por hipótesis CB = DB, ası́
4BCD es isóceles.
A B (6) ∴ ∠ACD > ∠BCD = ∠CDB.

(7) Pero en el paso (5) mostramos que ∠CDB > ∠DCB, lo cual es absurdo.

(8) De donde C = D. Q.E.D.

62/77
 Teorema de congruencia LLL

Teorema (8)
Si dos triángulos tienen dos lados respectivos ig uales, y también
tienen la base igual, también tendrán iguales los ángulos
comprendidos por los segmentos iguales.

Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados

AB = DE , AC = DF y BC = EF .
Tesis: Afirmamos 4ABC = 4DEF . En particular
∠BAC = ∠EDF , ∠ABC = ∠DEF , y ∠ACB = ∠DFE .

63/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE , AC = DF y BC = EF .
(1) Apliquese el triángulo
A D 4ABC sobre el 4DEF , de
G modo que B se coloque so-
bre E y la recta BC sobre
la EF .
(2) Supogamos que el pun-
to A se aplica sobre un pun-
to G 6= D, con GE = AB y
AC = DF .
B C E F
(3) Entonces las rectas GE , GF respectivamente iguales a las rectas
DE y DF con los extremos en el mismo lado de una misma recta se
juntarı́an en dos puntos distintos, lo cual contradice el Teo.I.7.
.

64/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE , AC = DF y BC = EF .
(1) Apliquese el triángulo
A D 4ABC sobre el 4DEF , de
G modo que B se coloque so-
bre E y la recta BC sobre
la EF .
(2) Supogamos que el pun-
to A se aplica sobre un pun-
to G 6= D, con GE = AB y
AC = DF .
B C E F
(3) Entonces las rectas GE , GF respectivamente iguales a las rectas
DE y DF con los extremos en el mismo lado de una misma recta se
juntarı́an en dos puntos distintos, lo cual contradice el Teo.I.7.
.

64/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE , AC = DF y BC = EF .
(1) Apliquese el triángulo
A D 4ABC sobre el 4DEF , de
G modo que B se coloque so-
bre E y la recta BC sobre
la EF .
(2) Supogamos que el pun-
to A se aplica sobre un pun-
to G 6= D, con GE = AB y
AC = DF .
B C E F
(3) Entonces las rectas GE , GF respectivamente iguales a las rectas
DE y DF con los extremos en el mismo lado de una misma recta se
juntarı́an en dos puntos distintos, lo cual contradice el Teo.I.7.
.

64/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE , AC = DF y BC = EF .
(1) Apliquese el triángulo
A D 4ABC sobre el 4DEF , de
modo que B se coloque so-
bre E y la recta BC sobre
la EF .
(2) Supogamos que el pun-
to A se aplica sobre un pun-
to G 6= D, con GE = AB y
AC = DF .
B C E F
(3) Entonces las rectas GE , GF respectivamente iguales a las rectas
DE y DF con los extremos en el mismo lado de una misma recta se
juntarı́an en dos puntos distintos, lo cual contradice el Teo.I.7.
(4) Por lo tanto G = D, además ∠ABC = ∠DEF , ∠ACB = ∠DFE
y ∠BAC = ∠EDF .
(5) Ası́, 4ABC = 4DEF . Q.E.D.

65/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE , AC = DF y BC = EF .
(1) Apliquese el triángulo
A D 4ABC sobre el 4DEF , de
modo que B se coloque so-
bre E y la recta BC sobre
la EF .
(2) Supogamos que el pun-
to A se aplica sobre un pun-
to G 6= D, con GE = AB y
AC = DF .
B C E F
(3) Entonces las rectas GE , GF respectivamente iguales a las rectas
DE y DF con los extremos en el mismo lado de una misma recta se
juntarı́an en dos puntos distintos, lo cual contradice el Teo.I.7.
(4) Por lo tanto G = D, además ∠ABC = ∠DEF , ∠ACB = ∠DFE
y ∠BAC = ∠EDF .
(5) Ası́, 4ABC = 4DEF . Q.E.D.

65/77
Hipótesis: Sean 4ABC y 4DEF dos triángulos con lados
AB = DE , AC = DF y BC = EF .
(1) Apliquese el triángulo
A D 4ABC sobre el 4DEF , de
modo que B se coloque so-
bre E y la recta BC sobre
la EF .
(2) Supogamos que el pun-
to A se aplica sobre un pun-
to G 6= D, con GE = AB y
AC = DF .
B C E F
(3) Entonces las rectas GE , GF respectivamente iguales a las rectas
DE y DF con los extremos en el mismo lado de una misma recta se
juntarı́an en dos puntos distintos, lo cual contradice el Teo.I.7.
(4) Por lo tanto G = D, además ∠ABC = ∠DEF , ∠ACB = ∠DFE
y ∠BAC = ∠EDF .
(5) Ası́, 4ABC = 4DEF . Q.E.D.

65/77
Biseptriz de un ángulo

66/77
Teorema (9)
Dividir en dos partes iguales un ángulo rectilı́neo dado.

Hipótesis: Sea el ángulo ∠BAC .

Tesis: Hay que dividir en dos ángulos iguales el ángulo ∠BAC ..

67/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Hipótesis: Sea el ángulo ∠BAC .
(1) Sea D un punto en el segmento
A
de recta AB.
(2) Sea E un punto en el segmento
de recta AC con AE = AC .
(3) Constrúyase el triángulo
equilátero 4DEF .
D E (4) Trácese la recta AF .
(5) Considere los triángulos
4ADF y 4AEF .
(6) Como AD = AE , DF = EF
F y AF es lado común, entonces
B C
4ADF ∼ = 4AEF .
(7) En particular ∠DAF = ∠EAF .

(8) Ası́ AF biseca el ángulo ∠DAE = ∠BAC . Q.E.H.

68/77
Teorema (10)
Dividir en dos partes iguales un segmento dado.

Hipótesis: Sea AB el segmento dado.

Tesis: Hay que divirir en dos partes iguales el segmento AB.

69/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
Hipótesis: Sea AB el segmento dado.
(1) Sobre AB construyase el
triángulo equilátero 4ABC .
C
(2) Divı́dase el ángulo ∠ACB en
dos por la recta CD.
(3) Ası́ ∠ACD = ∠BCD.
(4) Como AC = BC , ∠ACD =
∠BCD y CD es lado común
(5) Entonces 4ACD = 4BCD.
(6) Ası́ AD = DB. Q.E.H.

A D B

70/77
 Índice I
Abreviaturas y sı́mbolos, 90
Angulo agudo, 30–36
Angulo obtuso, 30–36
Angulo plano, 25–29
Angulo rectilı́neo, 25–29
Angulo recto, 30–36
Angulos adyacentes, 97–100
Angulos complementarios, 97–100
Angulos suplementarios , 97–100
Bisectriz, 97–100
Circunferencia, 43–46
Cuadrado, 55
71/77
 Índice II
Cı́rculo, 43–46
Diámetro, 47–50
Falacias, 183
Figura, 37–42
Figuras congruentes, 92–96
Figuras rectilı́neas, 51, 52
Letras griegas, 91
Los Postulados, 82, 83
Lı́mite, 37–42
Lı́nea, 11–18
Lı́nea recta, 11–18
Magnitud de un ángulo, 92–96
72/77
 Índice III
Nociones comunes, 58–62
Pons asinorum, 168
Punto, 11–18
Rectas paralelas, 56
Rectángulo, 55
Rombo, 55
Romboide, 55
Segmentos iguales, 92–96
Semicı́rculo, 47–50
Superficie, 19–24
Superficie plana, 19–24
Teorema 1, (triángulo equilátero), 103, 104
73/77
 Índice IV
Teorema 10, (punto medio), 217
Teorema 2, (obtener un segmento igual a otro dado), 129
Teorema 3, (restar segmentos), 140
Teorema 4, (congruencia LAL), 150
Teorema 5, (triángulo isóceles), 155
Teorema 6, (recı́proco del teorema 5 ), 169
Teorema 7, 187
Teorema 8, (congruencia LLL), 198
Teorema 9, (bisectiz), 206
Trapecio, 55
Triángulo acutángulo, 53, 54
Triángulo equilátero, 53, 54
74/77
 Índice V

Triángulo escaleno, 53, 54

Triángulo isósceles, 53, 54
Triángulo obtusángulo, 53, 54
Triángulo rectángulo, 53, 54

75/77
 Bibliografı́a I

[AM] Anfossi, A., y Flores-Meyer, M.A.: Trigonometrı́a rectilı́nea.

Ed. Progreso, Ed. 985, 18a. Reimpresión, 2006.
[Bo] Bold, B., Famous problems on geometry and how to solve
them. Dover Pub. Inc., New York, 1982.
[Bu] Bulajich Manfrino, R., y Gómez Ortega J.A., Geometrı́a,
Ejercicios y Problemas, Cuadernos de Olimpiadas Matemáticas,
Instituto de Matemáticas, UNAM, Primera reimpresión,
México, 2003
[Co] Coexeter, H.S.M., Fundamentos de geometrı́a. Limusa-Wiley,
S.A. México, 1971.
[Eu] Euclides. Los Elementos, Libros I, III y VI. Bibliotheca
Scriptorvm graecorvm et romanorvm mexicana, versión de
Juan David Garcı́a Bacca, U.N.A.M., México, 1992.

76/77
 Bibliografı́a II

[Ev] Eves, H. Estudio de las Geometrı́as. Vol. I. UTEHA. 1967.

[Fe] Fetı́sov, A. I. Acerca de la demostración en geometrı́a.
Editorial Mir, Moscú.
[Kl] Kline, M., El pensamiento matemático, de la antigüedad a
nuestros dı́as, I. Ed. Alianza, 2007.
[Po] Pogorélov, A. V. Geometrı́a Elemental, Parte I. Ed. Mir,
Moscú.
[We] Wentworth, J. y. Smith, D.E. Geometrı́a Plana y del Espacio.
Ed. Porrua. México, 2000.

77/77