Mgne U1 A2 Elvc PDF

Licenciatura en Matemáticas
Asignatura: Geometrías No Euclineanas
Unidad 1.- : Axiomas de Hilbert
Actividad 2.- . Axiomas de Intermediación y congruencia
Alumna: Elda Josefina Vázquez Calderón
Grupo: MT-MGNE-2301-B2-001
Docente: Mtra. Gledys Bañuelos Rodriguez

7°Semestre Geometrías no Euclidianas Unidad 1. Axiomas de Hilbert.
Geometría Hiperbólica
Actividad 2 . Axiomas de intermediación y congruencia

Resuelve los siguientes ejercicios, tomando en cuenta los axiomas de intermediación y de
congruencia.
1. Dados cuatro puntos A, B, C, D tales que A * B * C y A * C * D :
i) Demuestra que A, B, C, D son cuatro puntos distintos.

Axioma de Intermediación 1: Si 𝐴 ∗ 𝐵 ∗ 𝐶 entonces los puntos 𝐴, 𝐵 y 𝐶 son distintos y están en la misma
línea , y además 𝐶 ∗ 𝐵 ∗ 𝐴
El axioma plantea que es lo mismo decir si un unto B esta “entre el punto 𝐴 y el punto 𝐶” y decir “entre
el punto 𝐶 y el punto 𝐴”
Axioma de orden en la línea recta: Si los puntos 𝐴, 𝐵 y 𝐶 son colineales y 𝐴𝐵 + 𝐵𝐶 =𝐴𝐶, entonces se dice
que 𝐵 está entre 𝐴 y 𝐶 o 𝐵 está entre 𝐶 y 𝐴
Proposición 1.5 Dados cuatro puntos 𝐴, 𝐵, 𝐶 y 𝐷 tales que 𝐴 ∗ 𝐵 ∗ 𝐶 y 𝐴 ∗ 𝐶 ∗ 𝐷 entonces 𝐵 ∗ 𝐶 ∗ 𝐷 𝑨 ∗

𝑩 ∗ 𝑪: son distintos y están en la misma línea 𝑨 ∗ 𝑪 ∗ 𝑫: son distintos y están en la misma línea Por
Axioma de Intermediación 1 Si los puntos 𝐴, 𝐵 y 𝐶 son colineales y 𝐴𝐵 + 𝐵𝐶 = 𝐴𝐶 Si los puntos 𝐴, 𝐶 y 𝐷
son colineales y 𝐴𝐶 + 𝐶𝐷 = 𝐴𝐷 Por Axioma de orden en la línea recta Sustituyendo: (𝐴𝐵 + 𝐵𝐶)+ 𝐶𝐷 = 𝐴𝐷
𝐴𝐵 + 𝐵𝐶 + 𝐶𝐷 = 𝐴𝐷 Entonces se dice que 𝐵 está entre 𝐴 y 𝐶 Entonces se dice que 𝐶 está entre 𝐵 y 𝐷.
Ya se puede ver desde aquí que los puntos 𝐴, 𝐵, 𝐶 y 𝐷 son distintos 𝐴 ∗ 𝐵 ∗ 𝐶 → 𝐴𝐵 + 𝐵𝐶 = 𝐴𝐶 (Axioma
de orden en la línea recta) 𝐴 ∗ 𝐶 ∗ 𝐷 → 𝐴𝐶 + 𝐶𝐷 = 𝐴𝐷 (Axioma de orden en la línea recta) ∴ 𝐵 ∗ 𝐶 ∗ 𝐷 →
𝐵𝐶 + 𝐶𝐷 = 𝐵𝐷 Por Proposición 1.5 También lo comprobamos con la proposición 1.5 y el axioma de orden
de la línea recta que son distintos
Pág. 2
ii) Demuestra que A, B, C, D son colineales.
Axioma de Intermediación 1: Si 𝐴 ∗ 𝐵 ∗ 𝐶 entonces los puntos 𝐴, 𝐵 y 𝐶 son distintos y están en la

misma línea , y además 𝐶 ∗ 𝐵 ∗ 𝐴
Axioma de incidencia 1: Dos puntos distintos determinan una recta y solo una a la cual pertenecen.
Definición: Puntos colineales son aquellos que están en una misma recta.
Esta sería una forma:
a) Hipótesis 𝑨, 𝑩, 𝑪 y 𝑫 cuatro puntos tales que 𝑨 ∗ 𝑩 ∗ 𝑪 y 𝑨 ∗ 𝑪 ∗ 𝑫

b) 𝑨 ∗ 𝑩 ∗ 𝑪 y por el Axioma de Intermediación 1, los puntos 𝐴, 𝐵 y 𝐶 son distintos y están en la
misma línea
c) 𝑨 ∗ 𝑪 ∗ 𝑫 y por el Axioma de Intermediación 1, los puntos A, C y D son distintos y están en la
misma línea
d) Por el Axioma de incidencia 1 por los puntos 𝐴 y 𝐶 pasa una única línea L
 Sabemos que 𝐴, 𝐵 y C están en la misma línea por b)
 Y 𝐴, 𝐶 y 𝐷 están en la misma línea por c)
e) Entonces los puntos 𝐵 y 𝐷 están en la línea 𝐿 junto con los puntos 𝐴 y 𝐶, lo que quiere decir que
estos puntos 𝐴, 𝐵, 𝐶 y 𝐷 son colineales, porque están en la misma recta.
Esta sería otra forma
a) Supongamos que 𝐴 y 𝐶 están de mismo lado

b) Supongamos que 𝐴 y D están de mismo lado
c) Además la hipótesis 𝑨, 𝑩, 𝑪 y 𝑫 cuatro puntos tales que 𝑨 ∗ 𝑩 ∗ 𝑪 y 𝑨 ∗ 𝑪 ∗ 𝑫
d) 𝑨 ∗ 𝑩 ∗ 𝑪 y por el Axioma de Intermediación 1, los puntos 𝐴, 𝐵 y 𝐶 son distintos y están en la
misma línea
e) 𝑨 ∗ 𝑪 ∗ 𝑫 y por el Axioma de Intermediación 1, los puntos A, C y D son distintos y están en la
misma línea
f) Tomando el Axioma de intermediación 4, vemos que 𝐴, 𝐶 y 𝐵 están del mismo lado
g) Tomando el Axioma de intermediación 4., vemos que 𝐴, 𝐷 y 𝐶 están del mismo lado
h) Por axioma de incidencia 1 todos están en la misma línea, entonces son colineales.
Pág. 3
2.-Demuestra que si A y B están de lados opuestos con respecto a una recta además si B y C
están del mismo lado con respecto a entonces A y C están de lados opuestos con respecto a .
Axioma de intermediación 4: Para toda línea 𝑙 y para cualesquiera tres puntos AB y C tales que 𝐴, 𝐵, 𝐶 ∉ 𝑙
se tiene lo siguiente:
(I) Si A y B están del mismo lado con respecto a 𝑙 y los puntos B y C están del mismo lado con respecto a 𝑙
entonces A y C están del mismo lado con respecto a 𝑙
(II)Si A y B están de lados opuestos con respecto a 𝑙 y los puntos B y C están de lados puestos con
respecto a 𝑙 entonces A y C están del mismo lado con respecto a 𝑙.
i. 𝐴, 𝐵 y 𝐶 son tres puntos que no están en la recta 𝐿

ii. Y por hipótesis Ay B están de lados opuestos con respecto a la recta L
iii. También por hipótesis B y C están del mismo lado con respecto a la recta 𝐿
iv. Si hacemos la suposición que A y C están del mismo lado con respecto a la recta L
v. Tómanos (iii) e (iv) y tomando el Axioma de intermediación 4 apartando (i) tenemos
que 𝐴 y 𝐵 están del mismo lado con respecto a la recta 𝐿 lo cual contradice (ii)
vi. Por lo tanto, 𝐴 y 𝐶 están de lados opuestos con respecto a la recta 𝐿
Pág. 4
3.- Supóngase que A * B * C .
(i). Demuestre que AB  AC .
Supongamos que A B C, es decir, que A es equivalente a (B*C) bajo la operación del grupo. Queremos
demostrar que AB y AC son conjuntos disjuntos.
Para demostrar esto, vamos a suponer que existe un elemento x tal que x está en ambos conjuntos, es
decir, x está en AB y también está en AC. Entonces, podemos escribir:
x = ab para algún a en A y b en B x = ac para algún a en A yc en C
De esta manera, podemos igualar ambas expresiones y obtener:
ab = ac
Podemos simplificar esto multiplicando ambos lados por el inverso de a:
b = 𝑐 −1 * a * b
Entonces, b y = 𝑐 −1 * a * b están en el mismo subgrupo (B en este caso). Pero como B es un subgrupo,

también está cerrado bajo la operación inversa, por lo que podemos multiplicar ambos lados por = 𝑏 −1 y
obtener:
𝑏 −1 * b =𝑏 −1 * (𝑐 −1 * a * b)
Lo que nos da:
e = 𝑐 −1 * un
Por lo tanto, podemos concluir que a y c están en el mismo subgrupo (C en este caso). Pero como A y C
son subgrupos disjuntos (ya que A y B son subgrupos disjuntos, y C es equivalente a B bajo la operación
del grupo), surgió una contradicción. Por lo tanto, nuestra suposición inicial de que AB y AC no son
conjuntos disjuntos es falsa, y podemos concluir que AB y AC son conjuntos disjuntos.
(ii). Demuestre que AC  AB  BC .

Supongamos que A B C, es decir, que A es equivalente a (B*C) bajo la operación del grupo. Queremos
demostrar que AC es disjunto con respecto a AB ∪ BC.
Para demostrar esto, vamos a suponer que existe un elemento x tal que x está en ambos conjuntos, es
decir, x está en AC y también está en AB ∪ BC. Entonces, podemos escribir:
x = ac para algún a en A y c en C o x = ab para algún a en A y b en B,
Pág. 5
o bien x = bc para algún b en B y c en C
Vamos a analizar cada caso por separado.
Si x = ac para algún a en A y c en C, entonces tenemos que verificar que x no puede ser igual a ab para
ningún a en A y b en B. Supongamos lo contrario, es decir, supongamos que x = ab para algún a en A y b
en B. Entonces, podemos escribir:
ab = ac
Podemos simplificar esto multiplicando ambos lados por el inverso de a:
b = 𝑎−1 * ca
Entonces, b y 𝑎−1 * ac están en el mismo subgrupo (B en este caso). Pero como B es un subgrupo,
también está cerrado bajo la operación inversa, por lo que podemos multiplicar ambos lados por 𝑐 −1 y
obtener:
𝑐 −1 * b = c^-1 * 𝑎−1 * ac
Lo que nos da:
𝑐 −1 * b = (𝑐 −1 * 𝑎−1) * ac
Por lo tanto, podemos concluir que por ac están en el mismo subgrupo (C en este caso). Pero como A y C
son subgrupos disjuntos, llegamos a una contradicción. Por lo tanto, nuestra suposición inicial de que
x = ab es falsa, y podemos concluir que AC es disjunto con respecto a AB.
Si x = bc para algún b en B y c en C, entonces tenemos que verificar que x no puede ser igual a ac para
ningún a en A yc en C. Supongamos lo contrario, es decir, supongamos que x = ac para algún a en A y c
en C. Entonces, podemos escribir:
ca = ac
Podemos simplificar esto multiplicando ambos lados por el inverso de c :
a = b * 𝑐 −1
Entonces, a y b * 𝑐 −1 están en el mismo subgrupo (A en este caso). Pero como A y B son subgrupos
disjuntos, llegamos a una contradicción. Por lo tanto, nuestra suposición inicial de que x = ac es falsa, y
podemos concluir que AC es disjunto con respecto a BC.
Si x = ab para algún a en A y b en B, entonces tenemos que verificar que x no puede ser igual a bc para
ningún b en B y c en C. Supongamos lo contrario, es decir, supongamos que x = bc para algún b en B y c
en C. Entonces, podemos escribir:
ab = ac
Podemos simplificar esto multiplicando ambos lados por el inverso de b:un = c
Pág. 6
Entonces, a y c están en el mismo subgrupo (A y C son subgrupos disjuntos), lo que contradice nuestra
suposición inicial de que A B C. Por lo tanto, nuestra suposición de que x = bc es falsa, y podemos
concluir que AC es disjunto con respecto a AB.
4.-Demuestre que sí AB  CD y CD  EF entonces AB  EF .

Para demostrar que AB > EF, utilizaremos las propiedades de las desigualdades de orden.
Dado que AB > CD, sabemos que AB - CD > 0.
Además, dado que CD es congruente con EF, sabemos que CD = EF.
Por lo tanto, AB - EF = AB - CD > 0.
Esto significa que AB es mayor que EF, ya que su diferencia es un número positivo.
Entonces, podemos concluir que si AB > CD y CD ≅ EF, entonces AB > EF.
Referencias
UnADM Matemáticas/Geometrías no Euclidianas/Contenido Nuclear Unidad 1/Actividad 1 El quinto

Postulado de Euclides/México, D.F. Diciembre 2015.
Eves, H. (1972) Survey of geometry, USA, Allyn & Bacon.
Editores, A. F. (s.f.). Linea Recta, segmento y angulo. En A. F. Editores, Geometria Una Vision de
Planimetria (pág. 92). Lumbreras Editores.
Hartshorne, R. (2005) Geometry: Euclid and Beyond, USA, Springer.
Hilbert D., Cohn-Vossen S. (1999) Geometry and imagination, USA, American Mathematical Society.
Meschkowski, H. (1964) Noneuclidean Geometry, USA, Academic Press.
Pág. 7

Mgne U1 A2 Elvc PDF

Cargado por

Copyright:

Formatos disponibles

Mgne U1 A2 Elvc PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Mgne U1 A2 Elvc PDF

Cargado por

Copyright:

Formatos disponibles

Licenciatura en Matemáticas

Asignatura: Geometrías No Euclineanas

Unidad 1.- : Axiomas de Hilbert

Actividad 2.- . Axiomas de Intermediación y congruencia

Alumna: Elda Josefina Vázquez Calderón

Docente: Mtra. Gledys Bañuelos Rodriguez

Actividad 2 . Axiomas de intermediación y congruencia

1. Dados cuatro puntos A, B, C, D tales que A * B * C y A * C * D :

i) Demuestra que A, B, C, D son cuatro puntos distintos.

Proposición 1.5 Dados cuatro puntos 𝐴, 𝐵, 𝐶 y 𝐷 tales que 𝐴 ∗ 𝐵 ∗ 𝐶 y 𝐴 ∗ 𝐶 ∗ 𝐷 entonces 𝐵 ∗ 𝐶 ∗ 𝐷 𝑨 ∗

ii) Demuestra que A, B, C, D son colineales.

Axioma de Intermediación 1: Si 𝐴 ∗ 𝐵 ∗ 𝐶 entonces los puntos 𝐴, 𝐵 y 𝐶 son distintos y están en la

Esta sería una forma:

a) Hipótesis 𝑨, 𝑩, 𝑪 y 𝑫 cuatro puntos tales que 𝑨 ∗ 𝑩 ∗ 𝑪 y 𝑨 ∗ 𝑪 ∗ 𝑫

Esta sería otra forma

a) Supongamos que 𝐴 y 𝐶 están de mismo lado

i. 𝐴, 𝐵 y 𝐶 son tres puntos que no están en la recta 𝐿

3.- Supóngase que A * B * C .

(i). Demuestre que AB  AC .

x = ab para algún a en A y b en B x = ac para algún a en A yc en C

De esta manera, podemos igualar ambas expresiones y obtener:

Podemos simplificar esto multiplicando ambos lados por el inverso de a:

Entonces, b y = 𝑐 −1 * a * b están en el mismo subgrupo (B en este caso). Pero como B es un subgrupo,

Lo que nos da:

(ii). Demuestre que AC  AB  BC .

x = ac para algún a en A y c en C o x = ab para algún a en A y b en B,

o bien x = bc para algún b en B y c en C

Vamos a analizar cada caso por separado.

Podemos simplificar esto multiplicando ambos lados por el inverso de a:

Lo que nos da:

Podemos simplificar esto multiplicando ambos lados por el inverso de c :

Podemos simplificar esto multiplicando ambos lados por el inverso de b:un = c

4.-Demuestre que sí AB  CD y CD  EF entonces AB  EF .

Dado que AB > CD, sabemos que AB - CD > 0.

Además, dado que CD es congruente con EF, sabemos que CD = EF.

Por lo tanto, AB - EF = AB - CD > 0.

Entonces, podemos concluir que si AB > CD y CD ≅ EF, entonces AB > EF.

UnADM Matemáticas/Geometrías no Euclidianas/Contenido Nuclear Unidad 1/Actividad 1 El quinto

Eves, H. (1972) Survey of geometry, USA, Allyn & Bacon.

Hartshorne, R. (2005) Geometry: Euclid and Beyond, USA, Springer.

Meschkowski, H. (1964) Noneuclidean Geometry, USA, Academic Press.

También podría gustarte