Matricula: ES1911001382

Lic.: matemáticas

Maricruz Ortiz Ocampo

Prof. Gladys Bañuelos Rodríguez

Geometrías no euclidianas

Actividad: 3

Unidad 2

Actividad 3. Paralelas y perpendiculares

Realiza las siguientes demostraciones

1. Demuestra que dado un cuadrilátero de Saccheri ∢𝐴ʹ𝐵ʹ𝐵𝐴, donde los

ángulos ∢𝐴ʹ y ∢𝐵ʹ son rectos y los segmentos AA ' y BB ' son congruentes,
la altura AB es más grande que la base A ' B ' .
Para ello consideraremos demostrar las congruencias de los ángulos superiores A
≅∢ B

Si consideramos que ∢ A=∢ A' AB, ∢B=∢B ' BA. Ahora bien, si ubicamos un punto
medio al que llamaremos P en el segmento AA'=BB' de modo que A ' P=PB'=m, y
si tomamos en cuenta que A A'=BB' y que los ángulos ∢ A '≅B '=π y si
consideramos el teorema de congruencia de triángulos LAL tenemos entonces que
los triángulos ∆ AA' P≅∆ BB' P por lo que se tiene entonces ∢ A' AP≅∢BB' P=∢𝜑

Y si consideramos el teorema de lados congruentes en 𝐴𝐵𝑃 ∶ 𝐴𝑃 = 𝐵𝑃 = 𝜆 y

tenemos:
 ∢𝑃𝐵𝐴 = 𝜔 = ∢ 𝐵 − 𝜑 → ∢𝐵 = 𝜔 + 𝜑
∢𝑃𝐴𝐵 = 𝜔 = ∢ 𝐴 − 𝜑 → ∢ 𝐴 = 𝜔 + 𝜑

Por lo que ω+φ=∢ A=∢B por lo que se ha demostrado la congruencia de ángulos.

Ahora bien, si el punto P tiene a P' en AB de modo que AP '≅P' B

Obtenemos los segmentos 𝑃𝐴 𝑦 𝑃𝐵 por lo que también se obtiene los triángulos

∆ 𝐴𝐴′ 𝑃 ≅ ∆ 𝐵𝐵′ 𝑃 y por lo tanto AP≅PB y si nuevamente consideramos el teorema
de congruencia de triángulos LAL y con los segmentos 𝐴𝑃 ≅ 𝑃𝐵 𝑦 𝐴𝑃′ ≅ 𝑃′𝐵 y
también los ángulos ∢𝑃𝐴𝐵 ≅ ∢ 𝑃𝐵𝐴 se tiene entonces que ∆ 𝐴𝑃𝑃′ ≅ ∆𝐵𝑃𝑃 ′ en
donde ∢ 𝐴𝑃′ 𝑃 ≅ 𝐵𝑃′𝑃 = 𝜋 . Del mismo modo si 𝑃′ 𝐴′ 𝑦 𝑃′ 𝐵′ tenemos que
∢ 𝐴 ′ 𝑃 𝑃 ′ ≅ ∢𝐵 ′ 𝑃𝑃 ′ = 𝜋 .
Tenemos entonces que el segmento PP ' une a los puntos medios 𝑑𝑒 𝐴 ′ 𝐵 ′ 𝑦 𝐴𝐵 ,
si consideramos el teorema de las paralelas, como PP' cruza 𝐴′ 𝐵′ 𝑦 𝐴𝐵 y si
hacemos que sus angulos internos alternos sean congruente tenemos entonces
que 𝐴′ 𝐵′ 𝑦 𝐴𝐵 son paralelas.
Ahora bien, tenemos que los ángulos ∢ A y ∢B deben de ser agudos
Trazamos los segmentos 𝐴𝐵′ 𝑦 𝐴′𝐵 , y considerando que ∆ 𝐴𝐴′ 𝐵 ≅ ∢ 𝐴𝐵′𝐵 por lo
tanto, se tiene que 𝐴′𝐵 ≅ 𝐴𝐵′ y por congruencia de triángulos se tiene entonces
que ∆ 𝐴′𝐴𝐵′𝐵′𝐵𝐴 ′ , y se tiene ∢ 𝐴′ 𝐴𝐵 ≅ 𝐵′ 𝐵𝐴 .
Ahora bien, si consideramos los rayos 𝐵𝑥 𝑦 𝐴𝑦 paralelas por A y B , y por el
teorema de los angulos se tiene que ∢ 𝐸𝐵 𝑥 > ∢ 𝐸𝐴𝑦 también se tiene entonces
que ∢𝐵′ 𝐵𝐴 ≅ ∢ 𝐴′ 𝐴𝑦 y por lo tanto ∢𝐵 ′ 𝐵𝐸 > ∢ 𝐴 ′ 𝐴𝐸 y entonces ∢B' BA es
agudo por lo que los ángulos que se forman en AB del cuadrilátero de Saccheri
son iguales y también agudos.
Ahora, si consideramos que el ángulo ∢ 𝐴´𝐴𝐵 es agudo, de modo que ∢ 𝐴 ≅
∢ 𝐵 < 𝜋, entonces si 𝐴𝐴′ ≅ 𝑃′𝑃 𝑦 𝐴𝑃′ ≅ 𝐴′𝑃 lo que implica 𝑞𝑢𝑒 ∢ 𝐴′𝐴𝑃′ es recto,
pero demostramos que es agudo y entonces 𝐴𝐴´ < 𝑃´𝑃 y 𝐴𝑃´ > 𝐴´𝑃, lo mismo
ocurre con 𝐵𝑃´ > 𝐵´𝑃.
Ahora bien, como 𝐴𝑃´ > 𝐴´𝑃 Y 𝐵𝑃´ > 𝐵´𝑃 , entonces:
𝐴𝑃´ + 𝐵𝑃´ > 𝐴´𝑃 + 𝐵´𝑃
𝐴𝑃´ + 𝑃´𝐵 > 𝐴´𝑃 + 𝑃𝐵´
𝐴𝐵 > 𝐴´𝐵´

Por lo tanto, se tiene que AB es mayor que A´B´ del cuadrilátero de Saccheri

2. En geometría hiperbólica, supóngase que el segmento MM ' es la

perpendicular común a las líneas paralelas y ' . Sean A y B dos puntos
de la línea , de tal manera que M * A * B , se trazan perpendiculares a '
que pasan por los puntos M , A y B de y los puntos M ' , A ' y B ' de 
respectivamente. Demuestra que AA '  BB ' . Puedes emplear la siguiente
figura para apoyarte en la demostración:
Si consideramos que 𝑙 𝑦 𝑙′ son paralelas en geometría hiperbólica puesto que, por
el axioma de paralelismo, si una línea que cruza a otras dos tiene un par de
ángulos internos alternos congruentes y en consecuencia la línea l y l' son
paralelas.
Si consideramos el cuadrilátero de Saccheri para 𝑀′ 𝑀𝐴𝐴′, tenemos por el teorema
de cuadriláteros congruentes en geometría hiperbólica y por lo tanto los
cuadriláteros 𝑀′ 𝑀𝐴 𝐴′ 𝑦 𝑀′ 𝑀𝐵 𝐵′ son congruentes.
Ahora bien, consideremos los ángulos ∢ 𝑀𝐴 𝐴′ 𝑦 ∢ 𝑀𝐵𝐵′ de tal modo que estos
son agudos y dado lo anterior se tiene que MA>M' A' y MB>M' B' y por lo tanto se
tiene que 𝐵 𝐵′ > 𝐴 𝐴′ .

Referencias:
UnADM. Geometrías no Euclidianas. Unidad 1. Axiomas de Hilbert UnADM.
Geometrías no Euclidianas. Unidad 2. Geometría hiperbólica
Ivorra, C. geometría. Recuperado de https://www.uv.es/ivorra/Libros/G.pdf