Linea, Punto, Plano, Modulo 1

Universidad Catlica del Norte
PROFESOR: LUIS RAMIREZ CORTEZ Pgina 1

LINEA, PUNTO Y PLANO
Lectura Obligatoria 1

Trminos primitivos y los primeros pasos

Para comenzar, punto, recta y plano. Se aceptan como trminos primitivos, no se
los define, slo se describe la idea.

Punto. Euclides dice que es lo que no tiene partes. Tambin se lo puede pensar
como una ubicacin sin ancho, largo ni grosor. Podemos pensar lo que es comn
a una estrella lejana, a la punta de un alfiler, a la traza, en un papel, de la punta
de un lpiz. En todo caso, es una idea, un ente de razn que slo existe en la
mente del que lo piensa. Se los suele denotar con letras maysculas, tales como
A, B, C, etc.

Recta o Lnea. Euclides comienza con lnea: una longitud sin anchura. Para
nosotros es la abstraccin de lo que nuestros sentidos nos muestran al percibir
una lnea de tren, o al tocar, con la yema de los dedos, el borde de un vidrio o
una regla. Podemos imaginar lo que hay entre una estrella y nuestro ojo, el rayo
de luz. Tambin se agrega la idea de no tener fin, la recta se prolonga
indefinidamente en dos sentidos, sin cambiar de direccin. Se suele denotar una
recta con la letra L (por lnea).

Plano. En este caso Euclides habla de superficie, y dice: es aquello que slo
tiene longitud y anchura. Nuevamente, nuestra experiencia nos apoya. Los
vidrios de algunas vitrinas, la superficie de una mesa, la superficie del agua
quieta en un recipiente, son soportes para abstraer e imaginar un plano. Tal como
en la recta, el plano no tiene lmites en sus dos dimensiones.

POSTULADOS DE INCIDENCIA

Resumiendo algunas ideas planteadas originalmente, nos referimos a los
conceptos primitivos de modo tal que su manejo resulte prctico. Utilizaremos la
teora de conjuntos para caracterizar los axiomas, enunciados y recurriremos a la
deduccin lgica para demostrar teoremas, lemas y corolarios. Los axiomas a
utilizar sern aquellos que describan propiedades fundamentales del espacio.

En nuestro estudio geomtrico los elementos a considerar sern: punto, Lneas y
Planos.

En primer lugar aceptaremos sin definir la idea de punto. El conjunto que
contiene a todos estos entes, ser llamado Espacio (E). Los puntos sern
designados, por tradicin, con letras maysculas A,B,C,D,E,.


En segundo lugar, aceptaremos una coleccin de subconjuntos del espacio, cuyos
elementos sern llamados lneas. En general, la coleccin de lneas es designada
por una letra ele mayscula manuscrita (L) y las lneas con ele mayscula
imprenta acompaada de un subndice tal como L
1
,L
2
,L
3
. O sea L = {L
1
,L
2

,L
3
,L
4
,L
5
,.}

Finalmente consideramos otra coleccin de subconjuntos del espacio cuyos
elementos sern llamados planos. Esta coleccin de Planos es designada por una
pe mayscula manuscrita P y los planos por pe mayscula, acompaada de un
subndice, si es necesario.

Luego, P = {P
1
,P
2
,P
3
,P
4
,P
5
,.}

Por el momento, lo nico que sabemos de lneas y planos es que ambos son
conjuntos de puntos. Ellos sern caracterizados por los axiomas o postulados que
aceptemos.

Es habitual que representemos grficamente lneas y planos para hacernos una
idea objetiva de ellos, pero evidentemente, estos grficos son solo una forma de
imaginarnos estos entes.

Una figura geomtrica de una lnea, se extiende indefinidamente en ambas
direcciones.

Una figura geomtrica de un plano que se extiende infinitamente en todas las
direcciones, puede ser el piso de un cuarto que forma parte del plano, pero no es
el plano, sino una parte muy pequea de el; lgicamente nos estamos
adelantando al dibujar estas figuras, pues los axiomas o postulados no son
suficientes para garantizar que las lneas y los planos tienen el aspecto de
nuestras figuras.

L
1

P
1



Si una lnea L
1
e P
1
, diremos que L
1
esta en P
1
.
Si un punto A e L
1
, podemos decir que A est en L
1
o que L
1
pasa por A.
Si un punto A e P
1
, podemos decir que A esta en P
1
.

Adems, al hablar de figura, queremos decir un conjunto de puntos.

Si los puntos considerados estn en una misma lnea, los llamaremos colineales.
Si se tienen puntos que estn en un mismo plano, los llamaremos coplanares.

Visto lo anterior, podemos ahora comenzar por enunciar, nuestros postulados de
Incidencia, como sigue:

Postulado 1 Existen a lo menos cuatro puntos no coplanares en el espacio
.
Postulado 2 Existen a lo menos tres puntos no colineales en un plano.
Postulado 3 Existen a lo menos dos puntos en una lnea.
Postulado 4 Dados dos puntos del espacio , existe una nica lnea que los
contiene.
Postulado 5 Dados tres puntos no colineales, existe un nico plano que los
contiene.
Postulado 6 Dados dos puntos de un plano, la lnea que los contiene, esta
completamente contenida en ese plano.
Postulado 7 Si dos planos distintos se intersectan, su interseccin es una
lnea.
Los tres primeros axiomas o postulados son llamados, en general, postulados de
existencia y nos aseguran que existen elementos en el espacio, en el plano y en
la lnea; es decir, sostienen que estos conjuntos son distintos del vaci.

El postulado 4, tambin puede ser enunciado, como sigue:

- Por dos puntos cualquiera dados, solo puede pasar una lnea que los contenga.
- Por dos puntos dados, pasa exactamente una lnea.

Hasta el momento, nuestra geometra consiste de un sistema constituido por un
conjunto E. (llamado espacio), cuyos elementos son los puntos. Una coleccin
de P de partes de ., cuyos elementos son llamados planos, y otra coleccin de
L, cuyos elementos son llamados lneas. Es decir, tenemos el sistema formado
por la terna {E,P,L}, sujeta a los 7 postulados enunciados.

Con los entes primitivos y los axiomas o postulados dados, demostraremos los
siguientes teoremas.



Teorema
Si dos lneas diferentes se intersectan, su interseccin es un nico
punto.

Hiptesis:
L
1
, L
2
e L, L
1
L
2,
;

L
1
L
2

Tsis:
L
1
L
2
= { A }

Demostracin:
Supongamos que las lneas L
1
y L
2
de la coleccin no se
intersectan en un solo punto, sino en dos o mas puntos.

Sea L
1
L
2
= {A , B}, entonces A , B en L
1
y A , B en L
2
; por definicin de
interseccin .

Pero.
A , B en L
1
L
1
=

AB
por postulado 4

A , B en L
2
L
2
=

AB
por postulado 4 Luego L
1
= L
2

Como por hiptesis L
1
L
2
, existe una contradiccin que aparece al suponer que
L
1
y L
2
se intersectan en dos o mas puntos.

Por lo tanto
L
1
L
2 ^
L
1
L
2
L
1
L
2
= { A } q.e.d.

A
L
1

L
2



Teorema

Si una lnea intersecta a un plano que no la contiene, la interseccin
es un solo punto.

Hiptesis:
L P y L e P, con L e L y P e P
Tesis:
L P = {A}

Demostracin:

1) Supongamos que la interseccin es ms de un punto.

2) Sea L P = {A,B} , A B , entonces tenemos que : A,B en L y A,B en P.

3) Luego, L _ P, por postulado 6 de incidencia, lo que es una contradiccin por
suponer que L intersecta a P en mas de un punto.

Luego si, L . P entonces L P = {A}. q.e.d.

Teorema

Dados una lnea y un punto fuera de ella, hay exactamente un plano
que contiene a los dos.

Hiptesis: L e L , A e E y A e L

Tesis: - P e P tal que L {A} _ P.

A
P B


Demostracin:

1) Por axioma 3, L contiene a los menos 2 puntos, y sean estos
B , C e L L =

BC
, entonces A,B,C, no son colineales, pues por axioma 4 ,
L es la nica recta que contiene a B y C, y no contiene a A.

Por lo tanto no hay ninguna que contenga a A, B y C entonces existe por Ax. 3 Un
plano P, tal que A,B,C en P.
2) Si

BC
= L y B, C e P

BC
_ P , luego L {A} _ P y adems P
es nico, por axioma 2 de Incidencia.

Teorema
Si dos lneas se intersectan, su unin queda exactamente en un
plano.

Hiptesis: L
1
, L
2
e L y L
1
L
2
, L
1
L
2

Tesis: L
1
L
2
_ P e P, P nico

P
A
*
L
L
1

L
2

A
B
C
P


0 1 2 3
C
-1 -2 -3
B
A
1

D
A
2
A
3
E
1
E
2
E
3

Demostracin:

1) Sea L
1
L
2
= {A} , por teorema 2.

2) L
1
, L
2
e L, con L
1
L
2,
por Ax. 3
A,B en L
1
y A,C en L
2
Entonces B C, pues L
1
L
2
y solo A es comn.

3) Por Ax. 5, por A,B,C, pasa el plano P y por Ax.3 y paso 2), se tiene que A,B en
L
1
y A,B en P Entonces L
1
_ P
A,C en L
2
y A,C en P Entonces L
2
_ P

Por lo tanto; L
1
L
2
_ P, luego tenemos L
1
L
2
= {A}.
Entonces L
1
L
2
_ P y el Ax. 5 nos garantiza que no existe ningn otro plano
que contiene a L
1
L
2
.

SISTEMAS DE COORDENADAS

Hasta ahora nuestra estructura esta compuesta por la terna {E,P,L}.

Lo que sucede es que nuestro sistema geomtrico es incompleto, los 7
postulados, no bastan para caracterizar completamente a los entes geomtricos.

Debemos, por lo tanto, agregar nuevos trminos a nuestra estructura, y
postulados que nos describan a la lnea, por ejemplo, como conjunto infinito de
puntos.

El mtodo consistir, en recurrir a los nmeros reales y agregar el concepto de
distancia a nuestra estructura geomtrica. Para ello definimos una funcin de la
lnea L a los nmeros reales, la que se denota:
9 L f :

Sea x un punto cualquiera de L, entonces f(x)= a, a pertenece a los Reales, el
valor de a, se dice que es la coordenada del punto x, por la funcin f.

Si existe f sta se representar de la siguiente manera.



As:

f(E
3
)=-3 ; f(E
1
)=-1 ; f(B)=0 ; f(A
1
)=1 ; etc.

Por lo que podemos determinar el valor de f para cualquier punto de L.
El hecho de poder definir esta funcin, nos permite calcular la distancia entre dos
puntos de una lnea.

La figura anterior nos muestra una lnea L. En ella hemos identificado los puntos
P,Q,R a cada uno de los cuales le corresponden los valores 0, 4 y x
respectivamente.

Podemos pensar entonces, en una funcin que relaciona los puntos de la lnea L
con los nmeros reales.

9 L f :

Luego en nuestro ejemplo, al punto R le corresponde el nmero x, al punto Q le
corresponde el nmero 4 y al punto P el numero 0, es decir:

f(R)=x ; f(P)=0 ; f(Q)=4 .

De lo anterior, podemos establecer que:

d(P,Q)= Representa la distancia entre los puntos P y Q., donde se define:

d(P,Q)= |f(Q) f(P)|

Esta distancia es en valor absoluto porque no existen distancias negativas en
geometra. Por lo tanto, la distancia entre dos puntos es un nmero positivo y
ste es nico.

P Q R
L
0 4 X


Definicin formal:

Definicin: Sea
9 L f :
, f es un sistema coordenado para la lnea
L si:
i) f es una funcin biyectiva

ii) d(P,Q)= |f(Q) f(P)| , P, Q e L .

Observaciones:

1) Si P = Q entonces d(P,Q)= 0

2) d(P,Q)= PQ , en algunos casos.

3) Si al punto P le corresponde la coordenada x, escribimos P(x).

4) Los puntos de la lnea L estn en correspondencia 1-1 con los nmeros reales.

Ejemplo:

Sea
9 L f :

d(Q
5
,P
3
)= | f(P
3
) f(Q
5
) | = | 3 - ( - 5 ) |= | 3 + 5 | = | 8 | = 8

Postulado de la Regla

Cada lnea L, tiene un sistema de coordenadas. O sea, existe una funcin
biyectiva que permite asociar a cada punto de la lnea L un nmero real, y medir
la distancia entre dos puntos.

P
0
P
3
Q
5

L
-5 0 3


Dada una lnea, el postulado de la regla nos garantiza la existencia de un sistema
coordenado, como por ejemplo:

Si invertimos este sistema. Tendremos otro sistema coordenado?

El teorema que enunciaremos nos garantiza que esto es posible.

TEOREMA

Sea f un sistema de coordenadas para L y g(A) = - f(A), para cada punto de A de
L.

Entonces, g es un sistema de coordenadas para L.
Demostracin: (ejercicio)

Ejemplo:

f:

g:

L
P
6
P
5
P
3

-3 -2 3
L
P
6
P
5
P
3

3 2 -3
L
P
6
P
5
P
3

-3 -2 3
L
P
6
P
5
P
3

3 2 -3


Se tiene f(P
6
) = -3 , Entonces f(P
6
)= 3 , luego g(P
6
) = 3.

( f(P
6
) = g(P
6
) )

TEOREMA

Sea a e 9 y f un sistema de coordenadas para la lnea L y A e L, sea g(A) =
f(A) + a, entonces g : L ------------- 9 es tambin un sistema de coordenadas
para la lnea L.

Hiptesis: f es un sistema de coordenadas.

Tesis: g(A) = f(A) + a, es un sistema de coordenadas.

Debemos demostrar que:

i) g(A) es biyectiva
ii) d(A, B) = | g(B) - g(A) | preserva la distancia

Demostracin:

i) Probar que g(A) es biyectiva

1) Sea g(A) = g(B) Entonces f(A) +a = f(B) + a definicin de g

Luego f(A) = f(B) cancelando a

A = B por ser f 1- 1

Por lo tanto g es 1-1

2) Sea r e 9 ( r a) e 9, pero si ( r a) e 9 Entonces - A e L tal que f
-1
(r
a) = A, f es un sistema coordenado, luego f(A) = r a, entonces , r = f(A) + a,
Por lo tanto r = g(A) ( pues g(A) = f(A) + a )

Por lo tanto, dado r e 9, entonces - A e L , tal que r = g(A)

Por lo tanto g es sobreyectiva.

De 1) y 2) g es biyectiva



ii) Calculemos

|g(B) - g(A)| = |f(B)+a ( f(A)+a)| = |f(B)+a f(A)- a | = |f(B) f(A)|

= d (A, B) , pues f es un sistema de coordenadas.

Por lo tanto, d (A, B) = |g(B) - g(A)| . Luego g preserva la distancia.
Luego de i) y ii) g(A) = f(A) + a, es un sistema de coordenadas. Q.e.d.

Podemos refundir los dos Teoremas ( 5 y 6 ) anteriores en el siguiente:

TEOREMA: (De la colocacin de la regla)

Sea L una lnea y A, B dos puntos cualesquiera de L, entonces existe g un
sistema de coordenadas para L tal que g(A)=0 y g(B) > 0

Demostracin: (Ejercicio)

Ejercicio:

1) Si f es un sistema de coordenadas y consideremos ahora un sistema de f(A) +
3.

a) Si la coordenada original de P era 5. Cual es la coordenada de P en el
nuevo sistema?

b) Si f(Q) = - 2 . Cual es la coordenada en el nuevo sistema?

Respuesta:

a) f( P) = 5 f(P) + 3 = 5 +3 g(P) = 8. ( ya que f(A)+3= g(A) )

b) f(Q) = -2 f(Q) + 3 = -2 + 3 g(Q) = 1.
POSICION INTERMEDIA

La distancia es una funcin que asocia a cada punto de la lnea un valor y esta
sujeta a algunas caractersticas. Formalmente, distancia es la funcin.

d : L x L --------------- 9 tal que, d(P,Q) = e 9 ; y cumple :

i) d(P,Q) = 0, ssi P=Q
ii) d(P,Q) 0 , P,Q e L
iii) d(P,Q) = d(Q,P) , P,Q e L
iv) d(P,Q) d(P,R) + d(R,Q)


Nuestra estructura geomtrica es ahora la cuarteta: {E,P,L,d}.
Como es difcil precisar el lado izquierdo o derecho en una lnea, necesitamos,
para manejar el concepto de posicin intermedia una definicin exacta que ser la
siguiente:

Definicin: (Posicin Intermedia)

Sean A, B y C tres puntos colineales de la lnea L, diremos que el punto B esta
entre los puntos A y C si y solo si (ssi):

d( A , B ) + d( B , C) = d( A , C), que se puede escribir abreviadamente como:
AB + BC = AC

TEOREMA

Sean A, B, C e L y A B C (B entre A y C), entonces C B A.

Demostracin:

Por definicin de Posicin intermedia, se tiene:
A B C entonces AB + BC = AC, por ser reales; BA + CB = CA;
CB + BA = CA y por definicin de P. I, C B A, Luego A B C es equivalente
con C B A. Q.E.D.

Definicin:

Sean a, b, c e 9 , b esta entre a y c si: a < b < c c < b < a

Lema:

Dada una lnea L con un sistema de coordenadas f y tres puntos A, B y C con
coordenadas respectivamente a, b y c.

Si a < b < c, entonces A B C.


TEOREMA

De tres puntos distintos en una lnea L, exactamente uno esta entre los otro dos.




TEOREMA

Dados A y B dos puntos cualesquiera de la lnea L, entonces:

i) Existe un punto C e L tal que A B C.
ii) Existe un punto D e L tal que A D B.

Demostracin:

Sea f un sistema de coordenadas para la lnea L y a < b

i) f ( A) = a y f( B) = b, b e 9 entonces ( b + 1) e 9 ,
Entonces (b + 1) e 9 - c e L tal que c = f
-1
(b + 1), pues f es biyectiva,
Por lo tanto la coordenada de c es b + 1. ( f( c) = b + 1 )

Como a < b < b +1, entonces por Lema A B C.

ii) f(A) = a , f(B) = b ; a,b e 9
2
b a +
e 9 ( Por propiedad de los reales).

2
b a +
e 9 - D e L tal que D = f
-1
(
2
b a +
) , f es biyectiva, luego la

Coordenada de D es
2
b a +
, (f(D)=
2
b a +
), pero como a <
2
b a +
< b,

Entonces: A D B. (Por Lema) q.e.d.

TEOREMA

Si A B C, entonces A, B y C son tres puntos diferentes de la misma lnea.


Linea, Punto, Plano, Modulo 1

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Linea, Punto, Plano, Modulo 1

Transféré par

Droits d'auteur :

Formats disponibles

Universidad Catlica del Norte

PROFESOR: LUIS RAMIREZ CORTEZ Pgina 1

Vous aimerez peut-être aussi