Hola

Escuela de Ciencias Exactas e Ingeniería

Escuela de Matemáticas
Geometría Euclidiana
Profesor: Juan Carlos Avila M

Taller 5. Teoremas de incidencia y continuidad

basados en el PSP

A continuación aparacen algunos teoremas sobre incidencia y continuidad cuyas demostra-

ciones se realizan con base en el postulado de separación del plano. En los que haya lugar, se
debe completar las justicaciones que argumentan los pasos dados.

1. Teoremas de incidencia basados en el PSP

En clase o tareas hemos demostrados los siguientes teoremas de incidencia (demuestre los
que haga falta):

Teorema interestancia - puntos en el mismo semiplano. Sea α un plano, ` una recta

←→
contendida en α; A, B, C puntos de α de modo que A − B − C. Si ` 6= AB y A ∈ `, entonces,
` deja a B y C del mismo lado de `.

Teorema interestancia - puntos en semiplanos opuestos. Sea α un plano, ` una recta

←→
contendida en α; A, B, C puntos de α de modo que A − B − C. Si ` 6= AB y B ∈ `, entonces,
` deja a B y C en lados contrarios de `.

Teorema de la semirrecta. Si un punto de una semirrecta está en un semiplano deter-

minando por una recta que contiene el extremo de la semirrecta, entonces esta está contenida
en el semiplano.

Teorema segmento contenido en un semiplano. Sea α un plano, ` una recta conte-

nida en α y A, B puntos de α, AB ∩ ` = ∅ si y solo si A y B están del mismo lado de `.

Teorema extremos de segmento en semiplanos opuestos. Sea α un plano, ` una recta

contenida en α y A, B puntos de α pero no de `, AB ∩ ` 6= ∅ si y solo si A y B están en lados
contrarios de `.

También hemos denido punto interior de un ángulo como:

Denición. ∠ABC . X es un punto interior a este ángulo si y solo si X está del

Sea el
←→ ←→
mismo lado de la AB donde está C y X está del mismo lado de la BC donde está A. Deci-
mos que el interior del ∠ABC es el conjunto de todos sus puntos interiores. Notaremos este
conjunto como, int∠ABC .

Ejercicios
Completar las demostraciones de los siguientes teoremas:
Teorema lado de un triángulo - interior de un ángulo . Cualquier lado de un trián-
gulo, excepto sus puntos extremos, está en el interior del ángulo opuesto.
Demostración.

Armación Razón

1. 4ABC 1. Completar el renglón XXXX 4ABC

2. Sea D tal que B−D−C 2. Completar el renglón XXXX 4ABC

−−→
3. BC − {B} ⊆ S←→ 3. Completar el ren 4ABC, D ∈ S←→
AB,C
AB,C
−−→ −−→
4. D ∈ BC − {B} 4. D ∈ BC − {B} XXXXXXXXXXXX

5. D ∈ S←→
AB,C 5. Completar el ren 4ABC, D ∈ S←→
AB,C
−−→
6. CB − {C} ⊆ S←→
AC,B
6. Completar el ren 4ABC, D ∈ S←→
AB,C

−−→ −−→
7. D ∈ CB − {C} 7. D ∈ BC − {B} XXXXXXXXXXXX

8. D ∈ S←→
AC,B 8. Completar el ren 4ABC, D ∈ S←→
AB,C

9. D ∈ int∠BAC así, 9. Completar el ren 4ABC, D ∈ S←→

AB,C
BC − {B, C} ⊆ int∠BAC

Teorema punto interior a un ángulo externo . Si A − C − D, B − F − C , A − F − G

(todo en un mismo plano), A, B y C puntos no colineales, entonces G ∈ int∠BCD.
Demostración.

Armación Razón

1. A, B y C puntos no colineales de un plano α 1. Completar el renglón X4ABC

2. A−C −D 2. Completar el renglón X4ABC

3. B−F −C 3. Completar el renglón X 4ABC

4. A−F −G 4. Completar el renglón X 4ABC

←→
5. A y D están en lados opuestos de BC 5. Completar el renglón X 4ABC
←→
6. A y G están en lados opuestos de BC 6. Completar el renglón X 4ABC
←→ 7. Completar el renglón X 4ABC
7. D y G están del mismo lado de BC
←→ 8. Completar el renglón X 4ABC
8. B y F están del mismo lado de CD
←→ 9. Completar el renglón X 4ABC
9. F y G están del mismo lado de CD
←→ 10. Completar el renglón X 4ABC
10. B y G están del mismo lado de CD

11. G ∈ int∠BCD 11. Completar el renglón X 4ABC

 Nota: El nombre del teorema anterior sugiere la introducción de una nueva denición, se
ángulo extreno a un triángulo: Sea el 4ABC y D un punto de modo que A−C −D,
trata del
decimos que el ∠BCD es un ángulo externo del 4ABC .

2. Teoremas de incidencia y continuidad

−−→
Dado el ∠BAC y D ∈ int∠BAC , es casi obvio que si determinamos el BC entonces el AD
lo interseca. En algunas presentaciones, este hecho, denominado teorea de la barra cruzada, se
asume como un postulado más de la teoría, debido a que su demostración es un poco compleja
y requiere de varios resultados previos. Así, se proporcionarán estos resultados que permitirán
la demostración del teorema.

A C

Teorema semirrecta en el interior de un ángulo. Sea D un punto de modo que está en

−−→
el int∠BAC , entonces AD − {A} ⊆ int∠BAC .

Demostración. Ejercicio para el estudiante. Sugerencia : Use el teorema de la semirrecta.

−→
Teorema de la semirrecta 2 . Si D ∈ int∠BAC y G−A−D, entonces AG−{A} ⊆ S←→ .
AC,¬B
Demostración.

Armación Razón

1. ∠BAC 1. Completar el renglón X4ABC

2. D ∈ int∠BAC 2. Completar el renglón X4ABC

3. G−A−D 3. Completar el renglón X 4ABC

←→
4. G y D están en lados opuestos de AC 4. Completar el renglón X 4ABC

5. D ∈ S←→
AC,B
5. D ∈ S←→
AC,B
renglón XX 4ABC
←→
6. B y G están en lados opuestos de AC 6. Completar el renglón X 4ABC
−→ 7. D ∈ S←→ renglón XX 4ABC
7. AG − {A} ⊆ S← →
AC,¬B AC,B

←→
Teorema Z . Si D ∈ int∠BAC y F −A−C , entonces F y B están del mismo lado de la AD.

Nota: El nombre de este teorema se debe a la forma de Z"que resulta al dibujar la si-
 ←→
tuación. Para la demostración del teorema se probará que F B ∩ AD = ∅ y usando el teorema
←→
segmento contenido en un semiplano concluir que F y B están al mismo lado de AD. En
apariencia, hacer esto no parece tan difícil, sin embargo, sorprende su dicultad, así, la es-
←→ −−→ −→
G − A − D, entonces AD = AD ∪ AG, con
trategia que se usará parte del hecho de que si
−−→ −→ ←→
esto, se probará que AD∩F B = ∅ y AG∩F B = ∅ lo que a su vez demuestra que F B ∩ AD = ∅.

Demostración.

Armación Razón

1. ∠BAC 1. Completar el renglón X4ABC

2. F −A−C 2. Completar el renglón X4ABC

3. D ∈ int∠BAC 3. Completar el renglón X 4ABC

4. Sea G G−A−D
tal que 4. Completar el renglón X 4ABC
←→ −−→ −→
5. AD = AD ∪ AG 5. Completar el renglón X 4ABC

PRIMERA PARTE
←→ 6. Completar el renglón X 4ABC
6. F y C están en lados opuestos de AB
−−→ −−→
7. BF − {B} ⊆ S← →
AB,¬C
7. BF − {B} ⊆ S←→
AB,¬C
renglón X

8. Ningún punto de FB está en el int∠BAC 8. Justicar esta armación .

1

−−→
9. F B no tiene puntos de AD 9. Justicar esta armación.

−−→
10. AD ∩ F B = ∅ 10. Completar el renglón X 4ABC

SEGUNDA PARTE
−−→ −−→
11. F B − {F } ⊆ S←→ 11. BF − {B} ⊆ S←→
AB,¬C
renglón X
AC,B

12. F B − {F } ⊆ S←→ 12. Justicar esta armación.

AC,B
−−→
−→ 13. BF − {B} ⊆ S←→ renglón X
13. AG − {A} ⊆ S←→
AC,¬B
AB,¬C

−→ −−→
14. FB no tiene puntos de AG 14. Justicar esta armación. BF
−→ 15. Completar el renglón X4ABC
15. F B ∩ AG = ∅
←→ −−→ −→ 16. Completar el renglón X4ABC
F B ∩ AD = F B ∩ (AD ∪ AG)
−−→ −→ Completar el renglón X4ABC
16. = (F B ∩ AD) ∪ (F B ∩ AG)
Completar el renglón X4ABC
= ∅

Con estos teoremas podemos demostrar el teorema de la barra cruzada. Como en los casos
anteriores, completar la prueba:

1
Cuando aparezca este texto, el estudiante debe justicar completamente la armación, esto es, proporcionar
los pasos que faltan para sustentarla.
 −−→
Teorema de la barra cruzada . Si D ∈ int∠BAC , entonces AD interseca a BC .

Demostración.

Armación Razón

1. ∠BAC 1. Completar el renglón X4ABC

2. D ∈ int∠BAC 2. Completar el renglón X4ABC

−−→
3. Supongamos que AD ∩ BC = ∅ 3. Completar el renglón X 4ABC
←→ 2
4. B y C están del mismo lado de la AD 4. Justicar esta armación

5. Sea F tal que F −A−C 5. D ∈ S←→

AC,B
renglón XX 4ABC
←→
6. F y B están del mismo lado de AD 6. Completar el renglón X 4ABC
←→
7. F C están del mismo
y lado de AD 7. D ∈ S←→
AC,B
renglón XX 4ABC
←→
8. F C ∩ AD = ∅ 8. D ∈ S←→ renglón XX 4ABC
AC,B
←→
9. F C ∩ AD = {A}
9. D ∈ S←→
AC,B
renglón XX 4ABC
−−→
10. AD ∩ BC 6= ∅
10. D ∈ S←→
AC,B
renglón XX 4ABC

2 −−→ −→
Sabemos que AD ∩ BC = ∅ y si G − A − D, entonces hay que probar que AG ∩ BC = ∅ para demostrar
←→ ←→
que AD ∩ BC = ∅ y así B y C estarían del mismo lado de AD.