Actividad 6 y 7

Tolentino Gregorio Crescencio

Universidad Nacional Autónoma de México

Facultad de Ciencias
Geometría Moderna 1
28 de octubre de 2020

Actividad 6

El Quinto postulado de Euclides fue motivo de discusión desde la época de Ptolomeo (siglo II)
hasta el siglo XIX en que surgieron las geometrías no euclidianas. Proclo escribió con referencia
al Quinto Postulado: "Debe ser borrado por completo de los postulados porque se trata de un
teorema que envuelve muchas dudas, el cual se propuso resolver Ptolomeo, pero su demostración
requiere de muchas definiciones y teoremas”. Como se puede observar, desde un inicio se consideró
que este postulado no era tan evidente como los otros e incluso durante largo tiempo se consideró
la posibilidad de que fuera consecuencia de ellos. Esta percepción fue reforzada por el hecho de
que Euclides no hizo uso de este postulado en las primeras 28 proposiciones del libro I y de que la
proposición 17 del mismo libro es su inverso y por tanto se demostró sin usar el Quinto Postulado.
Demuestre que el quinto postulado implica:

a) Dada una recta m y un punto P que no esté en m, existe una única recta paralela a m que
pasa por P (Axioma de Playfair).

b) La suma de los ángulos interiores de un triángulo es igual a dos ángulos rectos (Legendre).

c) Un ángulo exterior de un triángulo es igual a la suma de los dos ángulos interiores no adya-
centes.

d) Si una recta m es perpendicular a otra recta n ,es también perpendicular a cualquier paralela
a n.

e) Dos rectas paralelas son equidistantes.

Solución:

Si consideramos el quinto postulado de Euclides: "Si una recta incide sobre otras dos formando del
mismo lado, ángulos internos menores que dos rectos, al prolongarlas indefinidamente se encontrarán
por el lado en que los ángulos sean menores que dos rectos."

1
 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

d) Demostración. Sea una recta m tal que que interseca a una recta n, de tal forma que si trazamos
una recta n0 que sea paralela a n, por el quinto postulado de Euclides tenemos que, como n y n0
son paralelas, si prolongamos indefinidamente dichas rectas nunca se encontraran, por lo tanto los
ángulos internos α y β son mayores o iguales a dos rectos.

Figura 2: Recta m perpendicular a n.

Figura 3: Recta m perpendicular a n donde α + β < π.

Si suponemos que α y β son mayores a dos rectos tenemos que igualmente por el quinto postulado

Tolentino Gregorio Crescencio 2

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

los ángulos γ y δ son menores que dos rectos por lo tanto n y n0 se encontraran en algún punto.

Figura 4: Recta m perpendicular a n donde α + β > π =⇒ γ + δ < π.

Por lo tanto si n y n0 son paralelas, la única posibilidad es que α y β sean iguales a dos rectos. Por
lo tanto si m es perpendicular a n entones es perpendicular a cualquier recta n0 paralela a n.

Figura 5: Recta m perpendicular a n donde α + β = π =⇒ α = β = π/2.

Tolentino Gregorio Crescencio 3

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

e) Demostración. Consideramos que por el quinto postulado de Euclides si tomamos dos rectas n y
n0 tal que se encuentran en un punto A los ángulos internos que forman respecto a una recta g son
menores a α + β < 2π, si tomamos el caso particular en el que α = β < 2π.

Figura 6: Recta g que interseca a dos rectas n y n0 formando dos ángulos internos α y β tal que α+β < 2π,
en el caso particular donde α = β.

Sea F G = d, si tomamos una sucesión de rectas paralelas a g tendremos que:

Figura 7: Rectas g, j, k, l que intersecan a dos rectas n y n0 formando dos ángulos internos αi y βi tal que
αi + βi < π, en el caso particular donde αi = βi .

dado que los ángulos que cada uno de los elementos de la sucesión de rectas son iguales entre si
es decir αi = βi , tendremos que los triángulos por los puntos de intersección de las rectas n y n
junto con los puntos donde intersecan g, j, k, l son congruentes. Mas aun si tomamos los segmentos
F G, BJ, HK y IL tendremos que:

F G = d > BJ = d1 > HK = d2 > IL = d3 (1)

Ahora si suponemos que n y n0 son paralelas tendremos que nunca se encuentran y por el inciso
anterior la única opción es que el ángulo que forman con la recta g es recto por lo tanto α = β =
π/2. En este caso como todas las rectas en la sucesión son paralelas tendremos que αi = βi = π/2.

Tolentino Gregorio Crescencio 4

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

Figura 8: Rectas g, j, k, l que intersecan a dos rectas n y n0 formando dos ángulos internos αi y βi tal que
αi + βi = π/2.

por lo tanto no se forman triángulos por que no hay un punto de intersección de n con n0 por lo
tanto los cuadriláteros formados mantienen el mismo tamaño de sus lados perpendiculares a n y n0
sin importar cuantas rectas paralelas coloquemos en la sucesión. Por lo tanto:

F G = d = BJ = d1 = HK = d2 = IL = d3 (2)

Por lo tanto si dos rectas son paralelas implica que son equidistantes. 

Actividad 7

Los cuadriláteros son polígonos de cuatro lados. Los tipos de cuadriláteros son variados y de-
penden de si sus lados son o no paralelos, tienen o no la misma longitud y son o no perpendiculares
entre sí. Un paralelogramo es por definición un cuadrilátero en el que sus lados opuestos son pa-
ralelos. Se llama trapecio al cuadrilátero que tiene solamente un par de lados paralelos. Se llama
rectángulo al cuadrilátero que tiene sus cuatro ángulos rectos. Se llama rombo al cuadrilátero que
tiene sus cuatro lados iguales. Se llama cuadrado al cuadrilátero que tiene sus cuatro ángulos rectos
y sus lados iguales. Demuestre:

1. La suma de los ángulos interiores de un cuadrilátero cualquiera es igual a cuatro rectos.

2. Los lados opuestos de un paralelogramo son iguales.
3. Los ángulos opuestos de un paralelogramo son iguales.
4. Las diagonales de un paralelogramo se bisecan.
5. Las diagonales de un rombo son perpendiculares.

Tolentino Gregorio Crescencio 5

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

6. Escriba los teoremas anteriores en la forma si p entonces q, indicando que proposición es p y

cuál q.

7. Indique si alguno de los teoremas anteriores se tiene que “si p entonces q” es verdadera, pero
la proposición “si q entonces p” es falsa.

8. Las diagonales de un trapecio isósceles son iguales.

Solición:

1. Demostración. Supongamos que la suma de los ángulos interiores de un cuadrilátero cualquiera

no es igual a cuatro rectos. Sea un cuadrilátero arbitrario ABCD.

Figura 9: Cuadrilátero arbitrario formado por lo segmentos de recta a, b, c, d

Si trazamos una un segmento de recta h tal que β = β1 + β2 y δ = δ1 + δ2 .

Tolentino Gregorio Crescencio 6

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

Figura 10: Cuadrilátero arbitrario formado por lo segmentos de recta a, b, c, d

entonces dado que la suma de los ángulos interiores es diferente de 2π tenemos que:
α+β+γ+δ
α + β + γ + δ 6= 2π =⇒ 6= π (3)
2
notemos que los ángulos interiores del triangulo ABC son:

θT 1 = α + β1 + δ1 (4)

y los ángulos interiores del triangulo ADC son:

θT 2 = γ + β2 + δ2 (5)

entonces la suma de los ángulos interiores del cuadrilátero en total es:

θC = θT 1 + θT 2 = α + β1 + δ1 γ + β2 + δ2 = α + β + γ + δ 6= 2π (6)

lo que implica que:

θT 1 + θT 2
θT 1 + θT 2 6= 2π =⇒ 6= π (7)
2
pero recordando que la suma de los ángulos interiores de cualquier triangulo es igual π entonces
θT 1 + θT 2 = 2π, por lo tanto:
2π
6= π⊥ (8)
2
lo cual lo anterior es un absurdo. Por lo tanto la suma de los ángulos interiores de un cuadrilátero
cualquiera es igual a cuatro rectos. 

Tolentino Gregorio Crescencio 7

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

3. Demostración. Consideremos un paralelogramo arbitrario ABCD.

Figura 11: Paralelogramo arbitrario formado por lo segmentos de recta a, b, c, d

dado que por definición de paralelogramo tenemos que b es paralelo a d por lo tanto b y d son
equidistantes, por lo tanto a = c. De manera análoga dado que a es paralelo a c entonces son
equidistantes y por lo tanto b = d.
Trazamos dos diagonales f, g en el paralelogramo:

Tolentino Gregorio Crescencio 8

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

Figura 12: Paralelogramo arbitrario formado por lo segmentos de recta a, b, c, d

entonces dado que a = c y b = d entonces el triángulo ABC es igual al triangulo ADC.Por lo

tanto α = γ. Mientras que en el caso de la diagonal g tenemos que los triángulos ABD y BCD
son iguales ya que a = c y b = d por lo tanto β = γ.
Por lo tanto los ángulos opuestos de un paralelogramos son iguales.


5. Demostración. Sea un rombo arbitrario ACBD

Tolentino Gregorio Crescencio 9

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

Figura 13: Rombo arbitrario formado por lo segmentos de recta a, b, c, d

trazamos dos diagonales f y g, tal que el punto de intersección de estás dos diagonales es E.

Figura 14: Rombo arbitrario formado por lo segmentos de recta a, b, c, d

Tolentino Gregorio Crescencio 10

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

Calculamos el seno del ángulo α, en el triangulo EBD tal que por definición de la identidad tri-
gonométrica seno tenemos que:
Cateto opuesto b
sin α = = (9)
Hipotenusa b

supongamos que α 6= π/2 es decir que las diagonales f y g no son perpendiculares.Entonces:

Cateto opuesto b
sin α = = 6= 1 (10)
Hipotenusa b
lo que implica que:
b 6= b⊥ (11)
lo cual es un absurdo. Por lo tanto α = π/2 es decir que las diagonales de una rombo son perpen-
diculares. 

6. 1. p : Un cuadrilátero es un polígono de cuatro lados tal que puede ser formado por dos triángulos
y la suma de los ángulos internos de un triangulo es igual a 180º.
Entonces
q : La suma de los ángulos interiores de un cuadrilátero cualquiera es igual a cuatro rectos.
2. p : Un paralelogramo es un cuadrilátero tal que sus lados opuestos son paralelos, por lo tanto
sus lados opuestos son equidistantes.
Entonces
q :Los lados opuestos de un paralelogramo son iguales.
3. p : Un paralelogramo es un cuadrilátero tal que sus lados opuestos son paralelos, por lo que
puede ser construido por dos triángulos iguales.
Entonces
q : Los ángulos opuestos de un paralelogramo son iguales.
4. p : Un paralelogramo es un cuadrilátero tal que sus lados opuestos son paralelos por lo que
tiene un dos lados iguales.
Entonces
q : Las diagonales de un paralelogramo se bisecan.
5. p : Un rombo es un cuadrilátero que tiene sus cuatro lados iguales.
Entonces
q : Las diagonales de un rombo son perpendiculares.
8. p : En un trapecio isósceles dos lados son iguales y dos lados con paralelos.
Entonces
q : Las diagonales de un trapecio isósceles son iguales.

8. Demostración. Sea un trapecio isósceles ABCD.

Tolentino Gregorio Crescencio 11

 Geometría Moderna 1, Facultad de Ciencias UNAM 2021-1

Figura 15: Trapecio isósceles formado por lo segmentos de recta a, b, c, d

trazamos las diagonales a1 y b2

Figura 16: Trapecio isósceles formado por lo segmentos de recta a, b, c, d

dado que por hipótesis tenemos que el trapecio es isósceles entonces el ángulo que forma a y b
es igual al ángulo que forma b y d. Más aun a = d por que el trapecio es isósceles, entonces
ACB = ADB por congruencia lado ángulo lado. Por lo tanto b2 = a1 . Por lo tanto las diagonales
del trapecio isósceles son iguales. 

Tolentino Gregorio Crescencio 12