Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Educativo Uso No Comercial: Capítulo 2. Axiomas de Incidencia Y Axiomas de Orden
Educativo Uso No Comercial: Capítulo 2. Axiomas de Incidencia Y Axiomas de Orden
Introducción
ci o
su desarrollo como una teoría Axiomática deductiva. Se indican explícitamente los términos y las
er tiv
relaciones primitivas, y los dos primeros grupos de Axiomas que surgen para expresar los
primeros resultados en términos de las relaciones primitivas de pertenencia para el primer
m ca
al
grupo y la relación estar entre para el segundo.
Puede observarse como surgen de una manera natural las definiciones para caracterizar las
co du
propiedades establecidas en los Axiomas y para darle nombre a los conjuntos nuevos que se
originan siempre en la función de símbolos abreviadores para facilitar el manejo y comprensión
no l e
Objetivos Específicos.
U te
1. Presentar las primeras relaciones entre los términos primitivos: punto, recta,
a
ci o
teoría que apenas se inicia de los teoremas, señalando como algunas
er tiv
proposiciones que intuitivamente podrían creerse que deberían ser Axiomas se
demuestran como teoremas. Se destaca inicialmente la importancia que tendrá en
m ca
al
adelante el Teorema de la Barra transversal.
ci o
El punto B está entre los puntos A y C en la recta l.
er tiv
2.1.3 Axiomas: Los axiomas se dividen en cinco grupos a saber:
Grupo I. Axiomas de incidencia.
m ca
al
Grupo II: Axiomas de orden.
Grupo III. Axiomas de congruencia.
co du
Grupo IV. Axiomas de continuidad.
Grupo V. Axiomas de paralelismo.
no l e
a
so ri
U tea
M
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
I.1 Dos puntos distintos determinan una recta y solo una a la cual pertenecen. Por un
punto pasa por lo menos una recta. (Se identifican dos proposiciones distintas en este
axioma).
ci o
I.3 Dada una recta, existe al menos un punto del espacio que no está en la recta.
er tiv
Definición 1.
m ca
al
Puntos colineales son aquellos que están en una misma recta.
I.4 Tres puntos que no están en una misma recta, determinan un plano y solo uno al cual
co du
pertenecen.
no l e
I.6 Si dos puntos de una recta están en un plano, la recta está contenida en el plano.
so ri
Observación. El axioma I.7 establece que si dos planos tienen un punto en común, tiene un
a
I.8 Dado un plano, existe por lo menos un punto del espacio que no está en el plano.
Definición 2.
Puntos coplanares son aquellos que están en un mismo plano.
Notación.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 5
ci o
TEOREMA 1.
er tiv
Si dos rectas diferentes se intersectan, su intersección es solo un punto.
m ca
al
Demostración.
co du
Sean l y m dos rectas diferentes que se cortan. (Razonemos por reducción al absurdo).
Supongamos que las rectas se cortan en dos puntos distintos A y B, por el axioma I.1 por los
no l e
puntos A y B pasa una recta única. Luego, l y m son la misma recta. Contradicción, ya que l y m
son rectas diferentes.
a
so ri
U tea
M
Figura 6
TEOREMA 2.
Si dos rectas diferentes se intersectan, existe un plano único que las contiene.
Demostración.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Sean l y m dos rectas diferentes con intersección no vacía. Sea A el punto de intersección
(teorema 1). Por el axioma I.2 existe otro punto B diferente de A en l y otro punto C diferente
de A en m. Por el teorema 1, A, B, C son no colineales ya que B no está en la recta m y C no está
en la recta l. Entonces por el axioma I.4 A, B, C determinan un plano único. Por el axioma I.6 las
rectas l y m están contenidas en ese plano. Este es el único plano que contiene a ambas. Si
existiera otro, A, B y C estarían en él. Contradicción con el axioma I.4.
ci o
er tiv
m ca
al
Figura 7
co du
no l e
TEOREMA 3.
Si l es una recta y A un punto que no pertenece a ella, existe un plano único que
contiene a la recta y al cual el punto pertenece.
a
so ri
Demostración.
U te
Por el axioma I.2 la recta l tiene al menos dos puntos diferentes B y C. Por el axioma I.4 los tres
puntos son no colineales A, B y C determinan un plano único. A está en ese plano y por el
a
Figura 8
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Este plano es único, si no, los tres puntos A, B y C estarían en otro plano. Contradicción con el
axioma I.4.
ci o
er tiv
m ca
al
co du
no l e
a
so ri
U tea
M
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
II.1 Si el punto B se encuentra entre el punto A y el punto C, entonces A, B y C son puntos
er tiv
diferentes de una misma recta, y B se encuentra así mismo, entre C y A. (Ver figura 9).
m ca
al
co du Figura 9
Figura 10
U te
II.3 Dados dos puntos distintos A y C, existe al menos un punto D sobre ⃡𝐴𝐶 , tal que C está
a
Figura 11
II.4 Dados tres puntos distintos de una recta, uno y solo uno de ellos está entre los otros
dos.
Observación. El axioma II.4, establece que por ejemplo, si A está entre B y C entonces B no está
entre A y C y, C no está entre A y B.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Definición 3.
Sea A y B dos puntos. Al conjunto formado por A y B y todos los puntos entre A y B se
le llama segmento AB y se nota AB ó BA .
A y B se llaman extremos del segmento y se dice que ellos determinan al segmento. Los puntos
que están entre A y B se llaman puntos interiores del segmento AB . Los demás puntos de
ci o
AB se llaman puntos exteriores.
er tiv
En consecuencia: ̅̅̅̅ = {𝐴, 𝐵} ∪ {𝑥⁄𝑥 𝑒𝑠 𝑢𝑛 𝑝𝑢𝑛𝑡𝑜 𝑞𝑢𝑒 𝑒𝑠𝑡𝑎 𝑒𝑛𝑡𝑟𝑒 𝐴 𝑦 𝐵}.
𝐴𝐵 𝐿𝑜𝑠 puntos
m ca
al
interiores a AB lo denotamos por Int AB ; por tanto
Int AB x es un punto que está entre A y B . Si A y B representan el mismo punto diremos
co dux
que AB es un segmento nulo.
no l e
II.5 Si D está entre A y C y X está entre D y C, entonces X está entre A y C. (Ver figura 12).
a
Figura 12
so ri
U tea
Observación.
M
De los axiomas II.2 y II.5 se sigue que un segmento no nulo tiene infinitos puntos, y lo propio
para una recta teniendo en cuenta además el axioma II.3.
Definición 4.
Un conjunto no vació de puntos se denomina figura.
Definición 5.
Diremos que una figura es convexa, si dados dos puntos cualesquiera de ella, el segmento
determinado por estos puntos, está contenido en la figura. En caso de no cumplirse el
enunciado, diremos que la figura es no convexa o cóncava. (Ver figuras 13 y 14).
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
TEOREMA 4.
er tiv
La intersección no vacía de dos conjuntos convexos es un conjunto convexo.
m ca
al
Demostración.
co du
Sean A y B conjuntos convexos.
Veamos un contraejemplo.
Luego AB CD es no convexo.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 15
Definición 6.
Sea O un punto de la recta l, A, B otros dos puntos diferentes de la misma. Si O no está
entre A y B, diremos que los puntos A y B están sobre l a un mismo lado del punto O. Si O
está entre A y B diremos que los puntos A y B están sobre la recta l en lados diferentes con
respecto al punto O. (Ver Figuras 16 y 17).
ci o
er tiv
m ca
al
Figura 17
Figura 16
co du
II.6 Axioma de separación de la recta.
no l e
Un punto O de una recta l divide a todos los demás puntos de ésta en dos conjuntos no
vacíos, de modo que dos puntos cualesquiera de l pertenecientes al mismo conjunto están
a un mismo lado O, mientras que dos puntos pertenecientes a distintos conjuntos se
a
Figura 18
Definición 7.
Decimos que un punto O de una recta l, conjuntamente con algún otro punto A de la
misma, determinan la semirrecta OA, que notaremos 𝑂𝐴; los puntos que están del mismo
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 19
En consecuencia:
𝑂𝐴 x es un punto que está entre O y A A x es un punto que está entre O y X𝑥}
ci o
x A
er tiv
Observaciones.
i. El axioma 2.6 nos permite, dada la recta l, O y A puntos distintos, establecer una
m ca
al
partición de la recta en tres conjuntos convexos y disjuntos así: (Ver Figura 20).
co du l O OA x O está entre A y X𝑥}
no l e
Figura 20
a
ii. Si O, A, B son puntos de una recta y O está entre A y B diremos que 𝑂𝐴 y 𝑂𝐵 son
semirrectas opuesta. (Ver Figura 21).
so ri
U te
Figura 21
a
M
Figura 22
ci o
er tiv
Observaciones.
m ca
al
i. Dados: ⃡𝐴𝐵 ⊂ Π, 𝑄 ∈ Π; 𝑄 ∉ ⃡𝐴𝐵 entonces el axioma II.7 nos permite definir dos
conjuntos no vacíos que denominaremos semiplanos y que notaremos así: (Ver figura
22a).
co du
⃡
Π⃡𝐴𝐵 : 𝑄 o 𝐴𝐵⁄𝑄 y que leeremos: Semiplano de borde 𝐴𝐵
⃡ y que contiene al punto Q.
no l e
⃡
Π⃡𝐴𝐵 : ∼ 𝑄 o 𝐴𝐵⁄~𝑄 y que leeremos: Semiplano de borde ⃡𝐴𝐵 y que no contiene al punto
a
Q.
so ri
ii. Con las condiciones establecidas en i. el axioma II.7 nos permite establecer una
U te
~𝑄
M
Figura 22a.
Todo plano Π divide los puntos del espacio que no le pertenecen en dos conjuntos no
vacíos, de manera tal que dos puntos cualesquiera A y B de conjuntos diferentes,
determinan un segmento AB dentro del cual hay algún punto del plano Π , mientras que
dos puntos cualesquiera A y A’ de un mismo conjunto, determinan un segmento AA’
dentro del cual no hay puntos comunes con el plano Π.
Observaciones.
ci o
i. Los conjuntos definidos por el axioma II.8 se denominan semiespacios y los
er tiv
notamos 𝐸𝜋: 𝐴 y 𝐸𝜋: ~𝐴 ; que se leen respectivamente semiespacio de borde en
el plano 𝜋 al cual el punto A pertenece y semiespacio de borde en el plano 𝜋 al cual
m ca
al
el punto A no pertenece.
ii. El axioma II.8 establece una partición del espacio en tres conjuntos convexos y
co du disjuntos.
no l e
Definición 8.
El conjunto formado por dos semirrectas que tienen el mismo origen, incluyendo este
a
punto, se llama ángulo. Si las dos semirrectas coinciden, entonces el ángulo que
so ri
determinan se llama nulo. Si las dos semirrectas son opuestas, el ángulo se llama llano.
Notación.
U te
Si 𝑂𝐴 y 𝑂𝐵 son dos semirrectas distintas, entonces el ángulo que forman se denotará por
cualquiera de los símbolos:
a
OA, OB OB, OA
ó .
(Ver Figura 23).
Figura 23
ci o
OA y OB se denominan lados del ángulo.
er tiv
O se denomina vértice del ángulo.
m ca
al
Definición 9.
Un ángulo no-nulo y no-llano divide a los demás puntos del plano que lo contiene, en dos
regiones de tal manera que en una y sólo una de las regiones, cualesquiera dos puntos
co du
siempre pueden unirse por un segmento que no intersecta el ángulo. La región que posee
esta propiedad se llama interior del ángulo y la otra región se llama exterior del ángulo.
no l e
Figura 24
M
Observaciones.
i. De acuerdo con la definición 9, podemos concluir que el interior del ángulo es
un conjunto convexo.
̂ 𝐵)
iv. Ext(𝐴𝑂 = 𝜋𝐴,𝑂,𝐵−(𝐼𝑛𝑡 (𝐴𝑂̂𝐵)∪(𝐴𝑂̂𝐵))
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
TEOREMA 5.
Si P es un punto sobre la recta l y Q es un punto que no está en dicha recta, entonces la
ci o
er tiv
m ca
Figura 25
al
Demostración.
co du
Sea Π el plano determinado por l y Q y sea T un punto de la semirrecta PQ distinto de P y Q.
Claramente T es un punto del plano Π.
no l e
punto P’ de l; tal que P’ está entre T y Q (Axioma de separación del plano) y como además T
a
mismo punto; de lo cual se sigue que P está entre T y Q, o sea que T no está en la semirrecta
PQ en contradicción con el supuesto inicial. Lo anterior nos permite concluir que T está en el
semiplano Π𝑙 : 𝑄 como se quería demostrar.
COROLARIO.
La semirrecta que tiene su origen en el vértice de un ángulo no nulo y un punto en el
interior de dicho ángulo, está contenida en el interior del ángulo. (Ver figura 26).
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 26
ci o
er tiv
Demostración.
Sea D Int AOˆ B .
m ca
al
Veamos que la semirrecta OD
está contenida en Int AOˆ B .
Está claro por la hipótesis que D es un punto del semiplano Π⃡𝑂𝐴 : 𝐵. y también, es un punto del
co du
semiplano Π𝑂𝐵
⃡ : 𝐴.
Int AOˆ B .
a
TEOREMA 6.
so ri
Dado el ángulo no nulo y no llano BAˆ C , los puntos interiores del segmento BC están
U te
Figura 27
Demostración.
ci o
DC BC y BC AB B; pero B DC . En consecuencia:
er tiv
̅̅̅̅
𝐵𝐷 ⊂ Π⃡𝐴𝐶 : 𝐶 2 .
De 1 y 2 podemos concluir que 𝐷 𝜖 Π⃡𝐴𝐶 : 𝐶 ∩ Π⃡𝐴𝐶 : 𝐵 esto es: D pertenece al interior del
m ca
al
ángulo BAˆ C .
co du
TEOREMA 7.
punto tal que A está entre F y C, entonces los puntos B y F están en el mismo semiplano
a
Figura 28
Demostración.
La prueba de estas tres partes permite afirmar que FB no corta a la recta AD y por tanto,
ci o
er tiv
Para probar i) comencemos por afirmar que la hipótesis del enunciado garantiza que A es un
punto distinto de B y F.
m ca
al
Razonando por reducción al absurdo, supongamos que A es un punto en el interior de FB .
co du
Puesto que F se tomó en la recta AC , las rectas AC y FB tienen en común los puntos A y F
y por tanto dichas rectas coinciden (axioma I.1), de donde se concluye que el punto B está en
no l e
la recta AC , lo cual lleva a la contradicción con la hipótesis de que el ángulo BAˆ C es no nulo
y no llano. En esta forma queda demostrada la parte i).
a
so ri
Para probar las partes ii) y iii) se debe tener en cuenta que la semirrecta AD está contenida
U te
en el interior del ángulo BAˆ C , (Corolario) y por tanto, esta contenida en el semiplano Π⃡𝐴𝐵 : 𝐶
como también en el semiplano Π⃡𝐴𝐶 : 𝐵.
a
M
Para probar ii) afirmamos que los puntos F y C están en semiplanos opuestos respecto a la
recta AB , ya que A está entre F y C y estos puntos no están en AB . Según lo anterior F está
la semirrecta AD .
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Para demostrar la parte iii) tomamos en consideración que las semirrectas opuestas AD ,
AG están en semiplanos opuestos respecto de la recta AC y como AD está en el semiplano
Π𝐴𝐶
⃡ : 𝐵 , entonces AG está en el semiplanoΠ⃡𝐴𝐶 : 𝐵 . Por otra parte, como F está en AC y B es
ci o
segmento FB no tiene puntos en la semirrecta AG .
er tiv
TEOREMA 8. Teorema de la barra transversal.
m ca
al
Si D es un punto que está en el interior del BAˆ C , entonces AD intersecta a BC . (Ver
Figura 29).
co du
Demostración.
no l e
Supongamos que AD BC .
a
so ri
U tea
Figura 29
M
separación del plano). Tomemos F AC tal que A está entre F y C, por tanto FB AD
1. En la geometría Euclidiana como una teoría deductiva, indique para cada uno de los
términos que se presentan a continuación, si corresponden a términos primitivos o a
ci o
términos definidos.
er tiv
1.1 Recta 1.5 Triángulo 1.9 Punto
m ca
al
1.2 Semirrecta 1.6 Plano 1.10 Paralelogramo
1.3 Segmento 1.7 Cuadrado 1.11 Circunferencia
1.4 Ángulo 1.8 Semiplano 1.12 Espacio
co du
2. En la Geometría euclidiana como una teoría deductiva, indique si cada uno de los
no l e
más sencillos.
2.2 Los teoremas se demuestran solamente utilizando definiciones y términos
so ri
primitivos.
U te
2.5 Todo enunciado que parece ser verdadero, puede tomarse como axioma.
3. En el desarrollo de la Geometría como una teoría deductiva solo una de las siguientes
afirmaciones no es verdadera. Indíquela.
3.1 Algunas proposiciones son aceptadas sin demostración.
3.2 En ocasiones hay varias maneras diferentes y correctas de demostrar ciertas
proposiciones.
3.3 Cada uno de los términos empleados en una demostración debe haber sido
definido previamente.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
negaciones de acuerdo a las condiciones establecidas y a los conjuntos determinados por los
er tiv
axiomas.
m ca
al
4.2 A _____ AB 4.7 l _____ Π 4.12 B _____ AS
co du 4.3 B _____ l 4.8 AB _____ Π 10.13 AS _____ Π
4.4 S _____ Π 4.9 S _______ Πl , A 10.14 BS _____ Πl , A
5. Suponga que el espacio tiene al menos un punto A. Justifique, utilizando únicamente los
a
Axiomas de Incidencia, que se puede probar la existencia de al menos otros tres puntos
distintos y diferentes al punto A.
so ri
U te
mismas condiciones.
M
8.3 H y K están del mismo lado respecto de G y G y H están del mismo lado respecto
de K.
8.4 G y H están del mismo lado de K y G y K no están del mismo lado respecto de H.
9. Si M, N, R son tres puntos distintos tales que R está entre M y N, cuáles de los siguientes
enunciados son ciertos:
9.1 M, N, R son colineales
RM RN φ
ci o
9.2
9.3 M NR
er tiv
9.4 R Int MN
m ca
al
10. Si tres puntos están en una recta, cuántos de ellos no están entre los otros dos.
co du
11. Si A, B, C son puntos distintos, no colineales, ¿Cuántas rectas determinan? Identifíquelas.
no l e
Identifíquelas.
so ri
U te
14. Dados A, B, C puntos distintos. Cuántos segmentos determinan, en los siguientes casos:
14.1 Si son colineales
a
14.2 Si no lo son.
M
15. Sean A, B puntos distintos. Indicar para cada una de las siguientes proposiciones si son
verdaderas o falsas, justificando su respuesta.
____ ____ ____
15.1 AB BA 15.3 AB BA 15.5 AB BA
AB BA
____ ____
15.2 15.4 AB AB 15.6 AB AB
____
16.1 AB AB 16.5 AB AB
____
16.2 AB AB 16.6 AB BA
16.3 CD DC 16.7 CD DC
____
16.4 CD DC 16.8 CD CD
ci o
17. Si A, B, C, D son puntos distintos tales que AC tiene a B como elemento y a la vez C es
er tiv
elemento de BD .
17.1 Verifique que dichos puntos están alineados.
m ca
al
17.2 Cuáles de los siguientes enunciados son ciertos:
a) B está entre A y C
co du d) AC BD B ,C
b) A BC e) AD BC φ
c) AC BD f) AC y DB son opuestos
no l e
afirmarse acerca de P y Q?
a
20. Sean M, N puntos distintos. Si AB y el plano Π tienen los puntos comunes M y N;
M
¿qué puede afirmarse de AB y Π?
21. Sean M AB , N AB , K AB . ¿Qué puede afirmarse sobre Π A, B , K y Π M , N , K ?
24. ¿Es todo plano una figura convexa? ¿Lo es cualquier semiplano?
ci o
26. Sean: Π : plano dado
er tiv
M, N, Q, R puntos distintos y pertenecientes al plano Π .
____
Q MN , R MN , RQ MN
m ca
al
Bajo estas condiciones, cuáles de las siguientes afirmaciones son verdaderas:
26.1 𝑅 ∈ Π𝑀𝑁
⃡ : ~𝑄
co du
26.2 𝑄 ∈ Π⃡𝑀𝑁 : 𝑅
26.3 𝑁 ∈ Π𝑄𝑅
⃡ : ~𝑀
no l e
26.4 𝑀𝑄 ∈ Π⃡𝑀𝑁 : ~𝑅
26.5 Π𝑀𝑁
⃡ : 𝑅 ∪ Π𝑀𝑁
⃡ :𝑄 = Π
a
̅̅̅̅̅ ∩ 𝑅𝑁 = ∅ entonces 𝑄 ∈ Π⃡ : 𝑀
26.6 Si 𝑀𝑄 𝑅𝑁
so ri
26.7 MN RQ
U te
Demostrar: Si C AB entonces CA AB y CB AB .
Demostrar: Si B OA entonces OB OA .
Sugerencia: Emplee el Método de reducción al absurdo.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Ilustración N°1
ci o
er tiv
Demostración
m ca
al
1. Supongamos: 𝐴 pertenece al espacio. Hipótesis auxiliar.
2. Por 𝐴 pasa al menos una recta . De 1 por Axioma I.1(2)
3. En la recta hay al menos otro De 2 por Axioma I.2
co du
punto 𝐵 , siendo 𝐵 ≠ 𝐴.
4. Existe al menos un punto𝐶 De 2 por Axioma I.3
no l e
en el espacio y 𝐶𝜀
5. 𝐴 ≠ 𝐵 ≠ 𝐶 y no colineales De 3 y 4.
a
en el espacio, 𝐷𝜀𝜋𝐴,𝐵,𝐶
U te
8. 𝐴 ≠ 𝐵 ≠ 𝐶 ≠ 𝐷 De 5, 6 y 7
9. Si 𝐴 es un punto perteneciente al espacio, entonces, existen al menos 4 puntos distintos
a
Ilustración N°2
ci o
𝑋2 ∈ ⃡𝐴𝐵 tal que 𝑋2 está entre
er tiv
𝑘 y 𝐵.
6. 𝑋2 está entre Ay 𝐵. De 2 y 5 por Axioma II.5
m ca
al
7. 𝑋1 , 𝑋2 y 𝑘 son puntos distintos De 2, 4 y 6. 3 y 5.
que están entre Ay 𝐵.
8. Continuando un proceso análogo al utilizado para probar que se tienen al
co du
menos3 puntos distintos, entre Ay 𝐵; se puede probar “encajando” puntos
entre Ay 𝐵 , que existen infinitos puntos mediante un procedimiento
no l e
inductivo.
9. Si A y 𝐵 son puntos distintos, entonces, entre Ay 𝐵 existen infinitos puntos. Método
a
dcto.
Ilustración N°3
so ri
Si ̅̅̅̅
𝐴𝐵 es no nulo, entonces, ̅̅̅̅̅
𝐴𝐵 tiene infinitos puntos. La demostración es inmediata
aplicando la proposición demostrada en la ilustración 2.
a
Ilustración N°4
M
4. ̅̅̅̅
𝐴𝐵 ¿por qué?
5. ̅̅̅̅
𝐴𝐵tiene infinitos puntos Proposición de la Ilustración 3.
6. Existe al menos un punto 𝑊1 tal que De 2 por Axioma II.3
𝐵 está entre 𝐴 y 𝑊1 .
7. Determinamos ̅̅̅̅̅̅
𝐵𝑊1 Definición de segmentos.
8. ̅̅̅̅̅̅
𝐵𝑊1 tiene infinitos puntos ¿por qué?
9. ̅̅̅̅̅
𝐴𝑊 𝑡iene infinitos puntos ¿por qué?
10. Existe al menos un punto 𝑍1 tal que De 2 por Axioma II.3
ci o
𝐴 está entre 𝑍1 y 𝐵
er tiv
11. Determinamos ̅̅̅̅̅
𝑍1 𝐴 ¿por qué?
12. ̅̅̅̅̅
𝑍1 𝐴 tiene infinitos puntos ¿por qué?
m ca
al
13. ̅̅̅̅̅̅̅
𝑍1 𝑊1 tiene infinitos puntos ¿por qué?
14. En forma análoga se “amplia” la existencia de puntos laterales en ambos
sentidos de la recta y mediante un proceso inductivo se establece la infinitud
co du
de la recta.
15. Si designa una recta, entonces, Método directo.
no l e
Ilustración N°5
Si 𝑇está entre 𝑆 y 𝑊 ¿cuántas semirrectas determinan?. Identifíquelas.
so ri
Ilustración N°6
Para 1.
⃡ , y poniendo toda la
Elaborando una representación gráfica de ambos conjuntos en la 𝐴𝐵
ci o
atención en las características de la operación de intersección se tiene:
er tiv
m ca
al
co du ̅̅̅̅)
𝐴𝐵 ∩ 𝐵𝐴 = 𝐼𝑛𝑡(𝐴𝐵
Para 2.
no l e
= Semirrecta opuesta a 𝐵𝐴
M
Para 3.
̅̅̅̅ − 𝐴𝐵 = {𝐴}
𝐴𝐵
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Ilustración N°7
ci o
1. Supongamos:𝐴 y 𝐵puntos distintos; una recta. Hipótesis general.
er tiv
2. Supongamos: = ⃡𝐴𝐵 Hipótesis auxiliar.
3. ⃡ única con 𝐴 ∈ ⃡𝐴𝐵
Existe 𝐴𝐵 De 1, Axioma de determinación
m ca
al
y 𝐵 ∈ ⃡𝐴𝐵 de la recta.
4.co du 𝐴 ∈ y 𝐵 ∈ De 2 y 3 por sustitución en la
igualdad.
5. {𝐴, 𝐵 } De 4 definición relación de
no l e
inclusión en conjuntos.
⃡ , entonces, {𝐴, 𝐵 }
6. Si = 𝐴𝐵 Método directo.
Se deja al estudiante la prueba de la implicación recíproca.
a
so ri
U tea
M