Definicin Trazo, dados dos puntos A y B en una recta 1 , se llama trazo o segmento AB, a los puntos A, B y todos los puntos de la recta que estn entre A y B. Los puntos A y B se denominan los puntos extremos del trazo AB.
La expresin formal de definir un trazo, es la siguiente:
Definicin:
Sean A, B, e AB dos puntos tales que A B, entonces definiremos
Trazo como sigue:
AB = { x e AB / A X - B } { A , B }
Notacin: Para designar al trazo que une a los puntos A y B usaremos AB.
Definicin Rayo: dados dos puntos A y B en una recta, se llama rayo
AB
al punto A y a todos los de la recta al mismo lado en que esta B respecto de A.
Tambin diremos que el punto A es el extremo del rayo
AB .
1 De acuerdo al Primer Postulado, siempre existe una recta (y solo una) que contiene a los puntos A y B. Universidad Catlica del Norte
PROFESOR: LUIS RAMIREZ CORTEZ Pgina 2
Ahora la definicin formal de Rayo.
DEFINICION: Sean A y B dos puntos de una lnea L. El rayo es el conjunto de todos los puntos x tal que A-B-X, unido al segmento que formalmente se define por :
AB = { X e AB / A B X } AB
TEOREMA Dados A y B dos puntos cualquiera de la lnea AB , entonces BA AB = .
Demostracin: 1) Por definicin: AB = { x e AB / A X - B } { A , B }
2) A X B B X A, Por propiedad de posicin Intermedia.
3) { X e AB / A X - B } = { X e AB / B X - A } y
{ A , B } = {B , A }
Por teora de conjuntos, luego:
A B Universidad Catlica del Norte
PROFESOR: LUIS RAMIREZ CORTEZ Pgina 3
4) AB = { X e AB / A X - B } { A , B } =
{ X e AB / B X - A } { B , A } = BA
5) Luego BA AB = q.e.d.
TEOREMA
Cualquier punto C de un rayo AB que sea distinto de A, determina un rayo AC que es igual al rayo AB .
Demostracin: (ejercicio)
LONGITUD DE UN TRAZO
En este texto utilizaremos una nocin intuitiva de medicin. A partir de la experiencia, medir es comparar una magnitud con otra elegida como unidad. As, por ejemplo, si decimos que un trazo mide 5 cm, estamos afirmando que la unidad elegida, el centmetro, est contenida en el trazo 5 veces.
Definicin: Se llaman trazos congruentes a los que tienen igual longitud.
Observacin: Para referirnos a la medida del trazo AB usaremos ( ) AB m . Para designar la longitud de un trazo es frecuente utilizar letras minsculas, por ejemplo, la longitud de AB se escribir ( ) a AB m = . As, podemos tambin decir que dos segmentos AB y MN son congruentes ( MN AB ~ ) s y slo si tienen la misma longitud.
Universidad Catlica del Norte
PROFESOR: LUIS RAMIREZ CORTEZ Pgina 4
TEOREMA
Para segmentos o trazos, la congruencia es una relacin de equivalencia.
Demostracin:
i) Reflexividad: Tenemos que d(A,B) = d(A,B) AB AB ~ , luego es refleja
ii) Simetra: Tenemos que : CD AB CD AB = ~
Como la igualdad de reales es una relacin de equivalencia, entonces:
AB CD AB CD ~ = por definicin de congruencia Luego hemos demostrado: AB CD CD AB ~ ~
Lo que nos indica que la congruencia de trazos es simtrica.
iii) Transitividad: Se tiene que:
CD AB CD AB = ~ y
EF CD EF CD = ~
Como la igualdad de reales es transitiva, entonces:
EF AB EF AB ~ = (Definicin de congruencia de trazos)
Por lo tanto: EF AB EF CD CD AB ~ ~ . ~
Luego de i ) ii) y iii) tenemos que la congruencia de segmentos es una relacin de equivalencia. q.e.d.
TEOREMA (Llamado de construccin de segmentos).
Dado un segmento AB y un rayo CD. Hay exactamente un punto E de CD tal que CE AB ~
Demostracin: ( Ejercicio )
Universidad Catlica del Norte
PROFESOR: LUIS RAMIREZ CORTEZ Pgina 5
TEOREMA (Llamado teorema de la suma de segmentos)
Nos indica que si se colocan segmentos congruentes extremos con extremos, los segmentos resultantes son congruentes. Es decir, si:
a) A B C b) A`- B `- C` c) B A AB ~ d) C B BC ~
Entonces C A AC ~
Demostracin. (Ejercicio)
TEOREMA (Llamado teorema de la resta de segmentos)
Si : a) A B C b) A`- B `- C` c) B A AB ~ d) C A AC ~
Entonces C B BC ~
Demostracin. (Ejercicio)
Definicin: Sea AB un trazo y M e AB , un punto; se dice que M es punto medio de AB ssi MB AM ~ .
TEOREMA
Cada segmento tiene exactamente un punto medio.
Demostracin:
1) Sea AB un trazo.
2) Sea g un sistema de coordenadas:
g: AB -------------9 , tal que g(A) = x ; g(B) = y, con x,y e 9 , Entonces x y ( A B )
A M B X Y 2 Y X + Universidad Catlica del Norte
PROFESOR: LUIS RAMIREZ CORTEZ Pgina 6
3) Supongamos que x < y ( ley de tricotomia en los reales) 4) 2 y x + pertenece a los Reales (9) 5) x < 2 y x + < y ; Propiedad de los Reales
6) g sistema de coordenadas, entonces existe un nico M e AB tal que g( M) = 2 y x +
Por condiciones anteriores y lema, se tiene A M B. Adems:
d( A , M ) = ( g(M) g(A) (
d( A , M ) = ( 2 y x + x (
d( A , M ) = ( 2 2x y x + (
d( A , M ) = ( 2 x y ( = 2 x y , pues y x > 0
7) d( M , B ) = ( g(B) g(M) (
d( M , B ) = ( y 2 y x + (
d( M , B ) = ( 2 2 y x y (
d( M , B ) = ( 2 x y ( = 2 x y , pues y x > 0
8) De pasos 6) y 7) se tiene:
AM = MB = 2 x y Entonces MB AM ~ y M es nico por paso 6. q.e.d.