Axiomas de existencia y enlace

1.1)
1.2)

1.3)
1.4)
1.5)

Reconocemos la existencia de infinitos entes llamados puntos cuyo

conjunto llamaremos espacio
Los puntos del espacio se consideran agrupados en ciertos
subconjuntos de infinitos puntos llamados planos en otros conjuntos
parciales de infinitos puntos llamados rectas.
Por dos puntos distintos pasa una recta y solo una.
Por tres puntos no alineados pasa un plano y solo uno.
Si dos puntos de una recta estn en un plano, todos los dems puntos
de la recta lo estn.

Familia de rectas

R = Conjunto de todas las rectas del plano

R = {r/ r }
Teorema.
Dadas dos rectas del plano se cumple una y solo una de las siguientes
afirmaciones:
- son la misma,
- su interseccin es vaca,
- su interseccin es un punto.
H) r, s R

T) r = s

rs=

r s = {P}

Demostracin:

r, s R
Ley del 3
excluido

/ P s; P R

, Q P/ Q r; Q s r = s
Axioma
1.3

Q ; Q P/ Q r; Q s r s = {P}
P / P r; P s r s =

Axioma de orden en las rectas.

Toda recta es un conjunto de puntos abierto, denso y en el cual est definido
una relacin de orden total y estricto que llamaremos precede ()
Abierto:
A r; Ao r/ Ao A; A1 r/ A A1
Denso:
A1, A2 r; A/ A1 A A2

Semirrectas

Dada una recta r en la que est definida una relacin de orden total y estricto, y
un punto O perteneciente a ella, llamamos semirrecta de origen O incluida en la
recta r a los subconjuntos formados por O y todos los puntos que le siguen o
preceden.

{: , } {: , }
(Semirrectas opuestas de origen O)

Segmentos

Dados dos puntos A y B que determinan una recta orientada r, tal que A
precede a B, llamamos segmento AB al conjunto formado por dichos puntos y
todos los puntos que siguen a A y preceden a B.
AB = { : , }

Axioma de Particin del Plano

Para toda recta r incluida en el plano , existen dos nicos conjuntos , 1 que
llamaremos regiones, y que cumplen las siguientes condiciones:
1) { r, , 1 } particin del plano, o sea:
i)
ii)
iii)

1
1 =
= 1 =

1 =

2) Regiones convexas: El segmento determinado por todo par de puntos de

una misma regin, est incluido en ella:
, / , =

3) Para todo punto de y para todo punto de 1 , existe en el segmento que

determinan, uno y solo un punto en comn con r.
, / , 1 ! / = {}

P
r
1
Y

Teorema
El segmento determinado por dos puntos de un mismo semiplano (semiplano
abierto) es disjunto con el borde del mismo.
T) AB r =

H) r R/ r borde de
A
B
Demostracin:
Sea {; r; 1 } particin del plano

Por H)

A
B

AB

Axioma particin
del plano parte 2

Por Axioma de particin del plano parte 1: r; ; techo disjuntos: r =

AB r =

Teorema.
Dada una recta r, si un segmento es disjunto con ella, sus extremos pertenecen
a un mismo semiplano de borde r
H) r R/ r de borde

T) A , B
v
A 1 , B 1

r AB =
Demostracin:
Suponemos por absurdo

A
B 1

! J/ {J} = r AB

Axioma particin
del plano parte 3

Absurdo pues r AB =

Teorema.
Dado un segmento, si uno y solo uno de sus puntos interiores pertenecen a
una recta r, sus extremos pertenecen a distintos semiplanos abiertos de borde
r.
H) r R/ r de borde

T) A , B 1

! J/ {J} = r AB
Demostracin:
Suponemos por absurdo

A
B

AB

Axioma particin
del plano parte 2

Por H) r R/ r de borde r =

AB r =
Absurdo pues r AB = {J}

Teorema de Pasch
Dado 3 puntos no alineados y una recta r del plano tal que ninguno de ellos
pertenece a la misma, si la recta corta a uno de los segmentos determinado por
dos de los puntos entonces la recta corta al segundo, pero no al tercero.
H) r R/ r borde

T) r CA = {K}

r AB =

B
C

No alineados / A, B, C r

r BC = {J}
Demostracin:
Por H) r BC = {J}
Recproco Axioma
particin del plano
parte 3

C 1

Por H) A r Supongo A
A
B

AB AB r =
Axioma particin
del plano parte 2

! K/ r CA = {K}

Axioma particin
del plano parte 3

ngulos sectoriales convexos

Definicin: Dados tres puntos no alineados A, O y B, llamaremos ngulo

sectorial convexo o simplemente ngulo convexo al conjunto
interseccin del semiplano de borde OA que contiene a B con el semiplano de
borde OB que contiene a A.

Se llama ngulo sectorial convexo llano a todo semiplano.

Se llama ngulo sectorial nulo a cualquier semirrecta: el origen es el
vrtice del ngulo y la semirrecta coincide con sus lados.
Se llama ngulo sectorial convexo completo a un plano.

Figura Convexa:

Figura: Cualquier conjunto de

puntos.

Una figura es convexa si para todo par de puntos que

tomamos de ella, el segmento que forman esos
puntos, est incluido en la figura. (Fernndez Val,
Cap. 1).
Todos los puntos del segmento que une dos puntos cualesquiera de una
figura convexa, pertenecen tambin a ella. Puesto que pertenecen a
todos los semiplanos que la definen. (Puig Adam, Lecc.2).

Propiedad:
La interseccin de dos figuras convexas es una
figura convexa.
Demostracin:
Hiptesis: 1 2 figuras convexas.
Tesis: 1 2 = figura convexa.
Dem.
X Hip.

1 convexa A, B 1 AB 1
2 convexa A, B 2 ABAB
2 1 2 1 2 es
convexa

Tringulo:
Dados tres puntos no alineados, se
denomina tringulo al conjunto
interseccin de los semiplanos.

En smbolos:
ABC= (AB, C) (BC, A) (AC, B)

Polgono Convexo:
Consideramos V1, V2, , Vn con n 3,
puntos del plano:
Tres consecutivos no alineados.
El siguiente del ltimo sea el
primero.
Si para todo par de puntos
consecutivos, los n-2 restantes
quedan en un mismo semiplano con
borde en la recta determinada por
los iniciales, entones; la interseccin
de todos los semiplanos considerados de esta forma se llama polgono
convexo de vrtices V1, V2, , Vn.
(Fernndez Val, Cap. 1).

Otra def: Si n puntos del plano se han podido ordenar de modo que tres
consecutivos no estn alineados y las rectas determinadas por cada dos
puntos consecutivos dejan en un mismo semiplano los n-2 puntos restantes, se
llama polgono convexo al conjunto de los puntos comunes a todos estos
semiplanos. (Puig Adam, Lecc. 2)

AXIOMA MTRICO:
Sea d una funcin, llamada distancia, que hace corresponder a cada par de
puntos del espacio, un nmero real positivo o cero, teniendo que cumplir las
siguientes condiciones:

1) d : ExE R0+
2) A, B se cumple: d(A, B)= d(B, A)
3) P AB (, )+d(P, B)= (, )

4) P AB (, )+(, )>(, )

5)

Para toda semirrecta Ox y para todo nmero real

k 0, existe y es nico el punto P tal que P Ox
y PO= k

Teorema.
Si la suma de las distancias de un punto a otros dos es igual a la distancia
entre ellos, entonces el punto pertenece al segmento.

H) PA + PB = AB

T) P AB

Demostracin:
Por absurdo supongo que P AB AP + PB > AB
Absurdo pues PA + PB = AB

Teorema: condicin necesaria y suficiente de distancia nula.

La condicin necesaria y suficiente para que la distancia entre dos puntos sea
nula es que los puntos coincidan.
()
H) Sean A, B

T) A = B

AB = 0
Demostracin:
Por absurdo supongo que A B; considero P BA/ P AB A PB
AP + AB = PB AB = PB PA AB 0
Axioma mtrico
parte 3

Absurdo ya que AB = 0 A = B

()

T) Sean A, B
AB = 0

H) A = B

Demostracin:
Z
A BZ BA + AZ = BZ
Por H) A = B AZ = BZ

BA + AZ = AZ BA = 0
Axioma mtrico
parte 3

Punto Medio

M es punto medio del segmento AB si y solo si y AM = MB

Circunferencia

Dado un punto O y un nmero real 0, se define circunferencia de centro O y

radio r al conjunto , = { : , = }

Propiedad: Toda recta x que contiene al centro O de una circunferencia, la

corta en dos nicos puntos A y B.

Demostracin:
Por Ax. Met.

{, }

, , , . / = = =