Sie sind auf Seite 1von 52

Universidad de Antioquia, Depto. de Matematicas

Universidad de Antioquia, Depto. de Matematicas ´ CAP ITULO 4 AXIOMAS DE CONTINUIDAD Y DE PARALELISMO

´

CAP ITULO 4

AXIOMAS DE CONTINUIDAD Y

DE PARALELISMO

4.1.

AXIOMAS DE CONTINUIDAD

Los axiomas de continuidad permiten, eligiendo una unidad l ineal o seg-

mento lineal, definir, para cada segmento, de manera unica´ u n n´umero real no

negativo llamado longitud del segmento (Axioma de Arqu´ımede s) y rec´ıpro-

camente determinar la existencia de un segmento cuya longit ud sea igual a

un n´umero real no negativo dado. (Axioma de Cantor).

IV.1 Axioma de Arqu´ımedes

−→

Sean AB y CD segmentos arbitrarios. Entonces sobre la semirrecta AB

existe un n´umero finito de puntos A 1 , A 2 ,

que A 1 est´a entre A y A , A est´a entre A 1 y A 3 y as´ı sucesivamente,

, A n situados de manera

2

2

tales que los segmentos AA , A 1 A 2 ,

1

, A n1 A n son congruentes a

CD y B est´a entre A y A , (Ver Figura 1.).

n

IV.2 Axioma de Cantor Si en una recta cualesquiera a se tiene un n´umero cualesquiera de seg-

, de los cuales cada uno esta en el interior del

anterior. Suponemos adem´as que cualquiera que sea un segme nto pre-

mentos A 1 B 1 , A 2 B 2 ,

fijado EF , existe un n´umero n tal que el segmento A n B n es menor que

75

Universidad de Antioquia, Depto. de Matematicas

´

76 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

|

         

|

 

|

|

|

|

A

A 1

A 2

A 3

B A n

| | | | A A 1 A 2 A 3 B A n C D

C D

Figura 1.

EF . Entonces existe un punto X a que esta en el interior de todos

los segmentos.

Como consecuencia del anterior axioma, Cantor demostr´o qu e los pun-

tos de una recta se pueden poner en correspondencia biun´ıvo ca con

los puntos de un segmento y su vez los puntos de una recta se pue den

poner en correspondencia biun´ıvoca con los n´umeros reale s.

Teorema 31.

Para cualquier n´umero real x > 0 , existe un segmento cuya longitud es x .

A continuaci´on, utilizando el axioma de Arqu´ımedes, anali zaremos el pro-

ceso de medici´on que consiste en asignar un n´umero real a un segmento dado.

Sea AB cualquier segmento y CD un segmento que se fija arbitrariamente

como unidad, al cual asignaremos como longitud el n´umero re al uno. Sobre

−→

la semirrecta AB se van superponiendo segmentos congruentes a CD de tal

manera que se obtienen los puntos P 1 , P 2 ,

A y P n+1 , (ver Figura 2.).

, P n+1 y el punto B est´a entre

, P n

2.). , P n + 1 y el punto B est´a entre , P n A
2.). , P n + 1 y el punto B est´a entre , P n A
2.). , P n + 1 y el punto B est´a entre , P n A
2.). , P n + 1 y el punto B est´a entre , P n A
2.). , P n + 1 y el punto B est´a entre , P n A
2.). , P n + 1 y el punto B est´a entre , P n A

A

P 1

, P n + 1 y el punto B est´a entre , P n A P

C D

P 2

P 3

Figura 2.

P n B

P n+1

, P n P n+1 CD , entonces lo que

se ha hecho es recubrir el segmento AB utilizando un segmento unidad .

Puesto que AP 1 CD, P 1 P 2 CD,

=

=

=

Universidad de Antioquia, Depto. de Matematicas

4.1. AXIOMAS DE CONTINUIDAD

77

Puede ocurrir que P n coincida con B . Aqu´ı el segmento unidad est´a en AB exactamente n veces, (ver Figura 3.).

A B P 1 P 2 P 3 P n P n+1
A
B
P 1
P 2
P 3
P n
P
n+1
C D
C
D

Figura 3.

Entonces definimos la longitud del segmento AB como el n´umero real n

y terminamos el proceso de medici´on. Pero puede ocurrir que P n no coincida

con B . En dicho caso B estar´a entre P n y P n+1 y por tanto la longitud del

segmento AB est´a comprendido entre n y n + 1, (ver Figura 4.).

B

est´a comprendido entre n y n + 1, (ver Figura 4.). B P n Figura 4.
est´a comprendido entre n y n + 1, (ver Figura 4.). B P n Figura 4.

P n

Figura 4.

P n+1

Si la longitud del segmento es a , entonces n < a < n + 1. Ahora bien,

podemos seguir el proceso de subdivisiones para aproximarn os cada vez m´as

a

segmento tiene punto medio), puede ocurrir que:

1. q 1 coincida con B

2. q 1 est´e entre P n y B

3. q 1 est´e entre B y P n+1

la medida de AB . Si q 1 es el punto medio de P n P n+1 (sabemos que todo

Los tres casos se ilustran en la Figura 5.

1

En el primer caso a = n + 2 y termina el proceso de medici´on. En el segundo caso n + 2 < a < n + 1. No termina el proceso de medici´on. En el tercer caso n < a < n + 1 2 . No termina el proceso de medici´on.

1

Universidad de Antioquia, Depto. de Matematicas

´

78 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

B

´ 78 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO B P n q P n
´ 78 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO B P n q P n

P

n

q

P

n

q

B

1

P

n+1

B

1

P

n+1

Y PARALELISMO B P n q P n q B 1 P n +1 B 1
Y PARALELISMO B P n q P n q B 1 P n +1 B 1
Y PARALELISMO B P n q P n q B 1 P n +1 B 1

P

n

q

1

Figura 5.

P

n+1

Para los casos dos y tres se puede continuar el proceso tomand o los pun-

tos medios de q 1 P n+1 P n q 1 seg´un donde se encuentre B . Puede ocurrir que

B coincida con uno de estos puntos medios y en este caso a = n + 1 2 +

1

4

1

o´ bien a = n + 4 . En caso contrario, el proceso contin´ua.

Mediante este proceso se obtiene, en cada paso, un valor m´as pr´oximo a

la longitud de AB y eventualmente puede obtenerse en un n´umero finito de

pasos el valor exacto de dicha longitud. Es posible demostra r que cuando el

proceso se extiende indefinidamente, se obtiene el valor exa cto de la longitud

de AB .

´

El proceso que se ha descrito anteriormente se llama de MEDICI ON y el

n´umero encontrado es la medida del segmento AB o la longitud de AB que

denotamos por: m ( AB ) o´ AB .

Dicho proceso lo podemos precisar con la siguiente definici´on.

Definici´on 23 ( Medida de segmentos). La medida de segmentos es una

funci´on que asigna a cada segmento un n´umero real no negati vo, tal que:

1. Para un segmento CD , fijado arbitrariamente, m ( CD ) = CD = 1 ,

( CD es llamado segmento unitario).

2.

m ( AB ) = m ( A 1 B 1 ) (o AB = A 1 B 1 ), si y solo si AB A 1 B 1 , (dos

=

Universidad de Antioquia, Depto. de Matematicas

´

4.2. MEDIDA DE ANGULOS

79

segmentos son congruentes si y solo si tienen la misma medida ).

3. Si B est´a entre A y C , entonces: m ( AC ) = m ( AB ) + m ( BC ) (o

AC = AB + BC ), (ver Figura 6.)

4. m ( AB ) = AB = 0 s´ıi A coincide con B .

4. m ( AB ) = AB = 0 s´ıi A coincide con B . 4.2.
4. m ( AB ) = AB = 0 s´ıi A coincide con B . 4.2.

4.2.

A

B

Figura 6.

´

MEDIDA DE ANGULOS

C

En forma an´aloga a lo dicho para la medida de segmentos, exis te un pro-

ceso para la medici´on de ´angulos.

Denotaremos la medida del angulo´

ABC por m ABC .

Definici´on 24 ( Medida de ´angulos). La medida de ´angulos es una fun-

ci´on que asigna a cada angulo´

un n´umero real no negativo ta l que:

1. Para un angulo´

P QR , fijado arbitrariamente, m ( P QR ) = 1 , ( P QR es

llamado angulo´

unitario).

2. m ( ABC ) = m (

A 1 B 1 C 1 ) sii ABC =

A

1 B 1 C 1

3. Si BAC y

CAD son angulos´

adyacentes y AC Int

−→

BAD (ver Figura

7.), entonces:

m ( BAC ) + m ( CAD ) = m (

BAD )

−−→

4. m ( AOB ) = 0 si y solo si OA OB

−→

rectos son congruentes y por lo

tanto, utilizando la propiedad 2, tienen la misma medida. Po demos entonces,

Seg´un el Teorema 23 , todos los angulos´

Universidad de Antioquia, Depto. de Matematicas

´

80 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

A

D C B
D
C
B

Figura 7.

emplear como unidad de medida angular una noventava parte de l ´angulo rec-

1

to ( 90 ). Dicha unidad de medida la llamaremos grado.

Con esta unidad de medida, cualquier ´angulo tiene una medid a entre 0 y

180 grados.

La medida del angulo´ nulo ser´a 0 y la del ´angulo llano ser´a de 180.

An´alogamente como en segmentos, es posible demostrar que da do un n´umero

real α entre 0 y 180, se puede construir un angulo´ cuya medida sea α .

Observaciones :

1.

entes.

2. En cada angulo,´

angulos´

En cada segmento existen puntos que lo dividen en n segmentos congru-

por su v´ertice, pasan semirrectas que lo dividen en n

congruentes.

3. AB > CD , si y solo si m AB > m CD .

4. Si ABC > A 1 B 1 C 1 , si y solo si m ( ABC ) > m ( A 1 B 1 C 1 ).

5. Los puntos medios de segmentos congruentes determinan se gmentos con-

gruentes.

6. Las bisectrices de angulos´

7. La medida de un par lineal es constante e igual a la medida de un ´angulo

llano.

congruentes determinan ang´ ulos congruentes.

Universidad de Antioquia, Depto. de Matematicas

´

4.2. MEDIDA DE ANGULOS

81

Definici´on 25. Dados los ´angulos A y B :

1.

Si m ( A) + m ( B ) = 180 0 , diremos que el angulo´ B o´ que A y B son suplementarios.

angulo´

A es suplemento del

2. Si m ( A) + m ( B ) = 90 0 , diremos que los angulos´

mentarios.

Teorema 32.

A y B son comple-

a) Los suplementos de angulos´

b) Los complementos de angulos´

congruentes son congruentes.

congruentes son congruentes.

Demostraci´on. a) Sean A y B angulos´

los angulos´

D y E y tales que D E .

=

respectivamente suplementarios a

Por hip´otesis: m ( A) + m ( D ) = 180 0 (1)

m ( B ) + m ( E ) = 180 0

m

( D ) = m ( E ) (3)

(2)

De (1), (2) y (3) se sigue que : m ( A) = m ( B ) y de aqu´ı se concluye que

A B .

=

La parte b) de este teorema se hace en forma an´aloga a a).

Observaci´on:

l. Tambi´en usaremos para la medida de un angulo´ letras grie gas como α, β, γ, θ ,

etc.

2. Abusando de la notaci´on, y entendiendo por el contexto lo q ue se quiere

decir, usaremos indistintamente el angulo´ o su medida.

Definici´on 26 ( Rectas Paralelas).

Sean l y r dos rectas dadas contenidas en un mismo plano. Decimos que l es

paralela a r , y lo denotamos como l r , si:

i) l es la misma recta r

ii) l es diferente a r y l r = φ

´

Definici´on 27 ( Angulos alternos internos). Dadas dos rectas distintas y coplanares cualesquiera cortadas en puntos distintos por una secante, se llaman angulos´ alternos internos aquellos que:

Universidad de Antioquia, Depto. de Matematicas

´

82 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

1. Tienen sus v´ertices en estos puntos distintos.

2. El segmento cuyos extremos son los puntos distintos, es co m´un a los dos angulos.´

3. Sus interiores estan en semiplanos opuestos con respecto a la recta secante.

4. No son adyacentes.

En la Figura 8.: los angulos´

A B B y B BC son alternos internos.

D’ C’ B’ A’ B A C D
D’
C’
B’
A’
B
A
C
D

Figura 8.

Dadas dos rectas distintas y coplanares cortadas en puntos d istintos por

una secante, los angulos´ que tienen sus v´ertices en estos p untos distintos, sus

interiores est´an del mismo lado respecto a la secante y uno d e los lados que

esta sobre la secante contiene al lado del otro angulo,´ se le s llama ´angulos

correspondientes .

Dadas dos rectas distintas y coplanares cortadas en puntos d istintos por

una secante, los angulos´

interiores est´an a un mismo lado de la secante y son adyacent es al segmento

que tienen sus v´ertices en estos p untos distintos, sus

com´un cuyos extremos son los puntos distintos, se les llama n ´angulos inte-

riores.

En la Figura 8.: los angulos´

D B C y B BC son correspondientes y los

angulos´

C B B y CBB son angulos´

interiores.

Universidad de Antioquia, Depto. de Matematicas

´

4.2. MEDIDA DE ANGULOS

83

Teorema 33 ( Teorema de ´angulos alternos internos).

Si dos rectas distintas coplanares cortadas por una secante en puntos dis-

tintos, hacen con ella una pareja de angulos´ entonces son paralelas.

alternos inter nos congruentes,

Demostraci´on: sean l y r las rectas coplanares dadas, l diferente de r y sea t una recta que corta a l y r en puntos B y B respectivamente y de modo que: A B B CBB

=

l

r

t

A’ B’ C’ A B C D
A’
B’
C’
A
B
C
D

E

Figura 9.

Vamos a demostrar que l r , o lo que es lo mismo l r = φ .

Razonemos por reducci´on al absurdo, esto es, supongamos qu e los ´angulos

alternos internos son congruentes y que l no es paralela a r .

Entonces se cortar´an en un punto D . Podemos suponer que se cortan en

el mismo semiplano respecto a t en que est´an C y C , (ver Figura 9.).

Consideremos el tri´angulo BB D . Como A B B CBB (hip´otesis),

=

entonces, por el teorema del par lineal ( Teorema 14) BB D B BA (1).

Ahora, −−→ por el axioma de construcci´on de segmentos, existe E en la semirrecta

B A tal que B E BD . Unamos B con E . Los tri´angulos BB D y BB E

son congruentes (L-A-L), de donde:

=

=

EBB BB D

=

Universidad de Antioquia, Depto. de Matematicas

´

84 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

pero BB D B BA por (1). Luego, EBB B BA

=

=

−−→

−→

Y como BE y BA est´an en el mismo semiplano respecto a t , por el axioma

de construcci´on del angulo´

es decir, E pertenece a la recta l . Pero tambi´en D l . Luego l DE y como

−−→

BE BA , lo que nos dice a la vez que E BA,

−→

−→

←→

←→

la recta DE es la misma r , se tiene finalmente que r l . Contradicci´on con la hip´otesis ya que hab´ıamos supuesto que l y r eran dos rectas diferentes.

Corolario 9. Si dos rectas distintas y coplanares, cortadas por una secante

en puntos distintos, forman con ella angulos´ correspondie ntes congruentes,

entonces son paralelas.

Corolario 10. Dos rectas distintas y coplanares, perpendiculares a una te r-

cera son paralelas entre s´ı.

Demostraci´on: (ver Figura 10.), sean l t y r t . Demostremos que l r .

t

C’ B’ A’

C’

C’ B’ A’

B’

A’

C’ B’ A’
 

   

 
 

 
 

B

 

A

Figura 10.

=

r

l

adyacente

Como l t , entonces ABB es recto. Como r t , entonces A B B es recto y por lo tanto su angulo´

C B B es recto. As´ı que ABB C B B por ser ambos rectos. Se sigue

entonces que la secante t hace con las rectas l y r angulos´

congruentes, luego por el teorema de ´angulos alternos inte rnos, l r .

alternos internos

Universidad de Antioquia, Depto. de Matematicas

´

4.2. MEDIDA DE ANGULOS

85

P Z Y X
P
Z
Y
X

Figura 11.

l

Construcci´on b´asica : por un punto P exterior a una recta l trazar una

paralela a la recta. Datos: l , P .

Construcci´on. (Ver Figura 11.) Para la construcci´on, haremos los siguien tes

pasos consecutivos.

Con centro en P y radio suficientemente grande trazo arco que corta a P y radio suficientemente grande trazo arco que corta a

l en X .

Con centro en X y el mismo radio trazo arco que corta a l en Y . X y el mismo radio trazo arco que corta a l en Y .

Con centro X y radio Y P trazo arco. X y radio Y P trazo arco.

Con centro en P y radio Y X trazo arco que corta al anterior arco en P y radio Y X trazo arco que corta al anterior arco en

Z .

←→

Uno P con Z y P Z l . P con Z y P Z l .

Justificaci´on. Como Y X P Z , Y P = XZ y P X P X entonces

=

=

P Y X = P ZX

luego

←→

←→

y por tanto P Z Y X .

ZP X = P XY

Definici´on 28 ( Angulo exterior a un tri´angulo). El ´angulo que hace par lineal con un angulo´ interior de un tri´angulo se le llam a ´angulo exterior del tri´angulo.

´

86 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

Teorema 34 ( Teorema del ´angulo exterior. T. E).

Todo angulo´

angulos´

exterior de un tri´angulo es mayor que cualquie ra de los

interiores no adyacentes.

Demostraci´on. (Ver Figura 12.). En un tri´angulo ABC consideremos el

angulo´

exterior

ACD . Dicho angulo´

es adyacente al angulo´

C del tri´angulo.

A

G C D B M Figura 12. Vamos a demostrar: i) A < ACD ii)
G
C
D
B
M
Figura 12.
Vamos a demostrar:
i) A <
ACD
ii) B <
ACD
Veamos i). Basta demostrar que no puede darse que:
ACD < A y ACD ∼ A
=
−−→
a) Supongamos que
ACD < A. Entonces existe una semirrecta AM en
el interior de BAC y tal que = CAM .
ACD
−−→
Ahora como AM est´a en el interior de BAC , por el Teorema de la Barra
−−→
Transversal, AM corta a BC en un punto G , G entre B y C .
Universidad de Antioquia, Depto. de Matematicas

Consideremos las rectas AG , CD y la secante AC . Como ACD = CAG y

ACD y CAG son angulos´

angulos´

alternos internos, entonces por el Teorema de l os

←→

←→

←→

←→

←→

alternos internos, CD AG , contradicci´on ya que CD y AG se cortan

Universidad de Antioquia, Depto. de Matematicas

´ 4.2. MEDIDA DE ANGULOS 87 en G . b) Supongamos ahora que = ACD
´
4.2. MEDIDA DE ANGULOS
87
en G .
b)
Supongamos ahora que =
ACD ∼ A, (ver Figura 13.)
A
B
C
D
Figura 13.
←→
←→
←→

Si consideramos las rectas AB y CD y la secante AC , como =

ACD A,

por Teorema de los angulos´

←→

←→

alternos internos, se tendr´ıa q ue:

←→

←→

AB CD . Contradicci´on, ya que AB y CD se cortan en B .

Con a) y b) queda demostrado i).

ii)

La prueba de que B <

ACD es completamente similar y se deja como

ejercicio.

Corolario 11. En todo tri´angulo rect´angulo, los ´angulos interiores di ferentes

del angulo´ recto son agudos.

A

En todo tri´angulo rect´angulo, los ´angulos interiores di ferentes del angulo´ recto son agudos. A D

D

B

Figura 14.

C

Universidad de Antioquia, Depto. de Matematicas

´

88 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

Demostraci´on. (Ver Figura 14.).

ABD pero =

ABD es angulo´

exterior al tri´angulo ABC .

A <

ABD .

Luego C <

De la misma manera se demuestra que el angulo´

ABD ABC , de donde se concluye que: C < ABC .

Teorema 35.

Por un punto exterior a una recta se puede trazar una perpendi cular a la recta y s´olo una.

Demostraci´on. 1. Existencia :

Sea P l . Tomemos A y B en l , unimos P con A y consideremos el ´angulo

P AB .

existe AM π ¬P y tal que:

−−→

Por el axioma de construcci´on del angulo,´

l:

Con AM −−→ puede ocurrir:

i) Que sea opuesta a AP −→ . ii) Que no sea opuesta a AP −→ .

P AB BAM

=

−−→

−→

i) Si AM es opuesta a AP , entonces el

angulo´

forman par lineal y son congruentes. Por

P AB es recto ya que P AB y BAM

←→

lo tanto AP l y pasa por P , (ver Figura

15.).

P A B M
P
A
B
M
AP ⊥ l y pasa por P , (ver Figura 15.). P A B M Figura

Figura 15.

l

−−→

−→

ii) Supongamos ahora que AM no es opuesta a AP , (Figura 16.). Tome-

−−→

mos sobre AM el punto T de modo que AT AP . Es claro que P y T est´an

=

en semiplanos opuestos respecto a la recta l . Por tanto, P T corta a l en Q .

Ahora, P AQ T AQ (L-A-L). Luego

=

P QA T QA y T QA

=

=

P QB

Universidad de Antioquia, Depto. de Matematicas

´

4.2. MEDIDA DE ANGULOS

89

l

P

A Q B T
A
Q
B
T

M

Figura 16.

por opuestos por el v´ertice. O sea que: P QA P QB .

=

De donde

←→

P QB es recto, entonces se tiene que la recta P T es perpendi-

cular a la recta l .

2. Unicidad , (ver Figura 17.).

P

cular a la recta l . 2. Unicidad , (ver Figura 17.). P Q R M

Q

R

M

Figura 17.

l

Supongamos que por P se pueden trazar dos perpendiculares distintas

P Q y P R a l . Consideremos el tri´angulo P QR . Como P RM y P QR son rectos, entonces P RM P QR . Contradicci´on ya que por el Teorema del

angulo´

←→

←→

=

exterior, P QR < P RM .

Universidad de Antioquia, Depto. de Matematicas

´

90 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

Definici´on 29. a. (Distancia de un punto a una recta) La medida del segmento per- pendicular trazado desde un punto exterior a una recta es lla mada distancia del punto a la recta. b. La proyecci´on ortogonal de un punto exterior a una recta, es el punto de intersecci´on de una recta perpendicular desde el punto a la recta.

Teorema 36.

a.

recta que contiene al otro lado, estan en la semirrecta opues ta al otro lado.

b.

recta que contiene al otro lado, estan sobre el otro lado.

Las proyecciones de los puntos de un lado de un angulo´

Las proyecciones de los puntos de un lado de un angulo´

obtu so sobre la

agud o sobre la

B

C
C

B

C
C

D

O

D

A

O

Figura 18.

A

Demostraci´on. (Ver Figura 18.) Supongamos que AOB es obtuso y sea

←→

−→

−−→

CD OA con C OB y D OA; con el punto D pueden suceder tres

−→

−→

casos: i). D OA , ii). D O , iii). D esta en la semirrecta opuesta a OA .

Veamos que los casos i., ii. conducen a un absurdo.

−→

i). Si D OA entonces por el teorema del angulo´ exterior en el COD :

CDA >

surdo!

ii). Si D O entonces el COA es a la vez obtuso y recto, Absurdo!

Luego se produce i).: D O A b. Este caso se deja como ejercicio.

Teorema 37 ( Existencia de rectas paralelas).

CDA es recto. Ab-

COD , pero el

COD es por hip´otesis obtuso y

Por un punto exterior a una recta l se puede trazar una paralela a la recta.

Universidad de Antioquia, Depto. de Matematicas

´

4.2. MEDIDA DE ANGULOS

91

Nota: obs´ervese que la proposici´on asegura que se puede trazar a l menos una paralela a la recta dada. Acerca de la unicidad , o sea que esa paralela

sea unica´

o no, la proposici´on no afirma nada.

Demostraci´on. (Ver Figura 19.). Sea P l . Demostremos que existe una recta r que pasa por P y tal que r l .

t

existe una recta r que pasa por P y tal que r l . t P

P

una recta r que pasa por P y tal que r l . t P Q
una recta r que pasa por P y tal que r l . t P Q
una recta r que pasa por P y tal que r l . t P Q

Q

Figura 19.

r

l

Sea t la perpendicular a l bajada por P . Por P trazamos la recta r per-

pendicular a t . Entonces r l ya que r y l forman con t una pareja de ´angulos

A.I. congruentes (en este caso ´angulos rectos).

Teorema 38 ( Caso lado-´angulo-´angulo: L-A-A).

Sean los tri´angulos △ ABC y △ DEF tales que: BAC ∼ EDF , =
Sean los tri´angulos △ ABC y △ DEF tales que:
BAC ∼ EDF ,
=
CBA ∼ F ED.
=
Si AC ∼ DF o´ CB ∼ F E , entonces:
=
=
△ ABC = △ DEF.

Demostraci´on. (Ver Figura 20.). Bastar´a con demostrar que AB DE ya

que de aqu´ı se concluye que ABC DEF (L-A-L).

Razonemos por reducci´on al absurdo.

=

=

Supongamos que AB no es congruente a DE ( AB DE ). Entonces:

=

i) AB > DE

Universidad de Antioquia, Depto. de Matematicas

´

92 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

C

´ 92 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO C A ii) DE > AB

A

ii) DE > AB

M

B

F

AX. DE CONTINUIDAD Y PARALELISMO C A ii) DE > AB M B F D Figura

D

Figura 20.

E

Veamos que en cualquiera de los casos se llega a una contradic ci´on.

i) Si AB > DE , entonces existe un M entre A y B de modo que AM DE .

=

Por tanto, AMC DEF (por Ax. L-A-L), de donde CMA E . Pero

=

=

por hip´otesis B E , luego CMA B y se tiene en el tri´angulo CMB que

el angulo´

interior en contradicci´on con el Teorema del ´angulo exter ior.

B , donde B es ´angulo

=

=

exterior CMA es congruente con el angulo´

ii)

a una contradicci´on.

Un razonamiento similar para el caso en que DE > AB conduce de nuevo

Teorema 39 ( Cuatro casos de congruencia de tri´angulos rect´angu-

los).

i)

congruentes.

Dos tri´angulos rect´angulos que tengan congruentes sus catetos, son

ii)

agudo, son congruentes (el cateto puede ser adyacente o no al ´angulo agudo).

Dos tri´angulos rect´angulos que tengan congruentes un cateto y un ´angulo

iii)

angulo´

Dos tri´angulos rect´angulos que tengan congruentes l a hipotenusa y un

agudo, son congruentes.

iv) Dos tri´angulos rect´angulos que tengan congruentes la hipotenusa y un

cateto, son congruentes.

´

4.2. MEDIDA DE ANGULOS

93

Demostraci´on.

i) (Ver Figura 21.). Sean ABC y DEF tal que AC DE y AB DF .

=

=

Como A D (por ser rectos),

=

△ BAC ∼ △ F DE = (L-A-L). B F A C D E Figura
△ BAC ∼ △ F DE
=
(L-A-L).
B
F
A
C
D
E
Figura 21.
ii)(Figuras 22. y 23.). En efecto, en un caso se tiene congrue ncia por
A-L-A y en el otro caso, se tiene congruencia por L-A-A.
Para el caso iii) se tiene la Figura 24
iv)(Figura 25.). En efecto, sean los tri´angulos rect´angu los △ ABC y △ EDF
tales que: AB ∼ DE y AC ∼ DF .
=
=
←→
Tomemos G ∈ BC de modo que B est´e entre G y C y adem´as
BG ∼ EF . Entonces △ ABG ∼ △ DEF (catetos congruentes) (1).
=
=
De donde DF ∼ AG pero DF = AC (hip´otesis). Luego, AC ∼ AG , de
=
=
aqu´ı se sigue que G ∼ C y por lo tanto : △ ABC ∼ △ ABG (L-A-A ´o caso
=
=
iii)) (2).
De (1) y (2) se concluye que △ ABC = △ DEF .
Universidad de Antioquia, Depto. de Matematicas
De (1) y (2) se concluye que △ ABC = △ DEF . Universidad de Antioquia,
De (1) y (2) se concluye que △ ABC = △ DEF . Universidad de Antioquia,

Figura 22.

De (1) y (2) se concluye que △ ABC = △ DEF . Universidad de Antioquia,
De (1) y (2) se concluye que △ ABC = △ DEF . Universidad de Antioquia,

Figura 23.

Universidad de Antioquia, Depto. de Matematicas

´

94 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

´ 94 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO Figura 24. A G B C

Figura 24.

94 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO Figura 24. A G B C Figura

A

CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO Figura 24. A G B C Figura 25.

G

B

C

Figura 25.

D

DE CONTINUIDAD Y PARALELISMO Figura 24. A G B C Figura 25. D E F Corolario

E

F

Corolario 12. :

1. Dado un angulo´

AOB , cualquier punto de su bisectr´ız equidista de

los lados del angulo,´ e inversamente, cualquier punto en el interior del

angulo´ que equidista de los lados pertenece a la bisectr´ız del ´angulo.

2. Dado un segmento AB , cualquier punto de la mediatr´ız del segmento

equidista de los extremos del segmento y rec´ıprocamente, c ualquier

punto en el plano del segmento y la mediatr´ız que equidiste d e los

extremos del segmento pertenece a la mediatr´ız del segment o.

Nota:

1. Decimos, en el caso 1., que la bisectr´ız de un ´angulo es el lugar geo-

m´etrico de todos los puntos que equidistan de los lados del ´angulo.

2. Decimos en el caso 2., que la mediatr´ız es el lugar geom´et rico de todos los puntos que equidistan de los extremos del segmento.

Universidad de Antioquia, Depto. de Matematicas

4.3. AXIOMA DE PARALELISMO

95

Demostraci´on. (Ver Figura 26.). Basta aplicar los casos (iii) y (iv) de con-

gruencia de tri´angulos rect´angulos.

4.3.

P
P
(iv) de con- gruencia de tri´angulos rect´angulos. 4.3. P Figura 26. AXIOMA DE PARALELISMO V POSTULADO

Figura 26.

AXIOMA DE PARALELISMO

V POSTULADO DE EUCLIDES (V.P.E.)

dos rectas distintas l y r , coplanares cortadas por una secante t en

puntos distintos, forman con ella en el semiplano π dos ´angulos interiores,

de tal manera que la suma de sus medidas sea menor que 180 0 , entonces las

dos rectas se cortan en alg´un punto del semiplano π t , (Figura 27.).

Si

t

l

r

t

π t β α Q
π
t
β
α
Q

Figura 27.

O sea : si α + β < 180 0 entonces l y r se cortan en π t .

El quinto postulado de Euclides (V.P.E.) tiene un enunciado e quivalente, lla-

Universidad de Antioquia, Depto. de Matematicas

´

96 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

mado el postulado de la paralela unica´

de Playfair, el cual d ice as´ı:

“por un punto exterior a una recta pasa una paralela a la recta y s´olo una”.

´

NOTA HIST ORICA.

El quinto postulado caus´o un trastorno considerable desde la ´epoca de los griegos. Muchos ge´ometras pensaron que tal vez podr´ıa deducirse como teorema a partir de los restantes axiomas o postulados. Eucl ides mismo trato

de evitarlo mientras pudo, pues no lo utiliz´o en sus demostr aciones sino hasta

que lleg´o a la proposici´on 120. Durante m´as de 2.000 a˜nos fueron ofrecidas

diferentes “demostraciones”del postulado, pero cada una s e basaba en una

suposici´on equivalente al mismo.

Los esfuerzos realizados, sin embargo, condujeron a que en l a primera

mitad del siglo XIX, se inventara una geometr´ıa que difer´ıa r adicalmente de

la de Euclides. Antes de este hecho se pensaba que exist´ıa sol o una geometr´ıa

posible. La independencia del postulado de las paralelas, q ued´o establecida

cuando fue demostrada la compatibilidad de las otras geomet r´ıas donde el V

Postulado se negaba o cambiaba por otro. Cualquier geometr´ıa cuyos axiomas

contradicen alguno de los de Euclides, es llamada no Euclidi ana. La primera

de ellas que se invent´o es la llamada Geometr´ıa lobachevsq uiana. Gauss

(1777-1855) en Alemania, Bolyai (1802-1860) en Hungr´ıa y Lob achevsky

(1793-1856) en Rusia, plantearon independientemente la fo rma de Playfair

(1748-1819) del postulado, considerando tres posibilidad es: Por un punto

exterior a una recta, pueden trazarse m´as de una, unicamen´ te una, o ningu-

na paralela a la recta. Suponiendo la infinidad de la recta, el tercer ca-

so fue eliminado. Estableciendo una geometr´ıa compatible con la primera

hip´otesis, los tres matem´aticos realizaron extensos des arrollos geom´etricos y

trigonom´etricos. Debido a la prioridad de Lobachevsky en l a publicaci´on, la

geometr´ıa as´ı constru´ıda recibi´o su nombre. En 1854 Rie mann (1826 - 1866),

demostr´o que si se descarta la infinitud de la recta, entonce s, con algunas

ligeras modificaciones de los postulados restantes, se podr´ıa desarrollar una

geometr´ıa compatible con la tercera hip´otesis. Al trabajo de Riemann se debe

una generalizaci´on considerable del concepto de espacio, que ha encontrado aplicaciones en la teor´ıa f´ısica de la relatividad.

El descubrimiento de las geometr´ıas no euclidianas no solo liber´o a la geometr´ıa de su molde tradicional, sino que modific´o consi derablemente los

4.3. AXIOMA DE PARALELISMO

97

conceptos de la matem´atica en general y condujo a un estudio profundo de los fundamentos de esta materia y a un desarrollo m´as amplio del m´etodo axiom´atico.

El desarrollo de la geometr´ıa euclidiana, con el quinto pos tulado supri- mido, recibe el nombre de geometr´ıa absoluta, contiene las proposiciones que son comunes a las geometr´ıas de Euclides y de Lobachevsky.

Vamos, en la proposici´on que sigue, a demostrar la equivale ncia del V.P.E. con el
Vamos, en la proposici´on que sigue, a demostrar la equivale ncia del V.P.E.
con el postulado de la paralela unica´
de Playfair.
Teorema 40.
El V.P.E. es equivalente al postulado de la paralela unica´
de Playfair.
Demostraci´on. 1. Asumamos que se cumple el postulado de la paralela
unica´ de Playfair, es decir, que para toda recta l y todo P ∈ l , existe una
unica´ recta r tal que: P ∈ r y r l .
Sean l y m dos rectas dadas y t una secante tal que:
α 1 + α 2 < 180 0
Vamos a probar, para tener el V.P.E., que l y m se cortan en el semiplano
π t , (ver Figura 28.).
t
π
t
B’
m
α
2
l
α 3
α
1
α 2
r
C
B
Universidad de Antioquia, Depto. de Matematicas

Figura 28.

Universidad de Antioquia, Depto. de Matematicas

´

98 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

Es claro que α 1 + α 3 = 180 0 , de donde, α 1 = 180 0 α 3 .

Como α 1 + α 2 < 180 0 , entonces 180 0 α 3 + α 2 < 180 0 , de donde α 2 < α 3 .

semirrecta

Luego por el axioma de construcci´on del ´angulo, existe una unica´ −−→

−−→

BC tal que: B BC ( B B, m ) α . Por tanto, m BC .

←→

=

=

2

Ahora B est´a en l ; B r y r m . Pero por el postulado de Playfair, por B solo pasa una paralela a m . Por tanto, toda recta distinta de r que pase

por B corta a m . Como l pasa por B y es distinta a r corta a m . Veamos

ahora que se cortan en π t . Supongamos que se cortan en π , (ver Figura 29.).

l

En el tri´angulo ABB , α 2 es angulo´ exterior del tri´angulo ABB .

Luego, por T . .E., α 2 > α 3 . Contradicci´on, ya que ten´ıamos que α 2 < α 3 .

Por lo tanto l y m se cortan en el semiplano π t .

t

m B’ α 2 α 1 α 3 A B π l
m
B’
α
2
α
1
α
3
A
B
π
l
π t . t m B’ α 2 α 1 α 3 A B π l

Figura 29.

l

2. Supongamos ahora que es v´alido el V.P.E. Sea l una recta dada y P l ,

(ver Figura 30.).

Sea t la perpendicular por P a l y r la perpendicular por P a la recta t .

Por el teorema de angulos´

Bastar´a con demostrar que toda otra recta que pase por P corta a l . Sea pues n otra recta que pasa por P y paralela a l , n distinta a r .

alternos internos, ya tenemos que r l .

Universidad de Antioquia, Depto. de Matematicas

4.3. AXIOMA DE PARALELISMO

99

t

P α 1 R n Q
P
α 1
R
n
Q

Figura 30.

r

l

Llamemos α 1 , al angulo´

agudo que hace n con t .

Como α 1 < 90 0 entonces α 1 + 90 0 < 90 0 + 90 0 = 180 0 y por el V.P.E. n

agudo. (Absurdo, p orque l y

y l se cortan del lado en que se forma el angulo´

n son paralelas).

Vamos a estudiar ahora algunas consecuencias del V.P.E. o de s u equiva-

lente, el postulado de la paralela unica´

de Playfair.

Teorema 41.

Si dos rectas distintas y coplanares son paralelas, toda sec ante que corta a

una de ellas corta a la otra.

Demostraci´on. Supongamos l r y que s corta a la recta l en un punto A.

Por tanto la recta s es distinta a la recta l . Veamos que s corta a r .

En efecto, si s no cortara a r se tendr´ıa s r , con s pasando por A. En

conclusi´on tendr´ıamos dos rectas pasando por A ( s y l ) ambas pa-

ralelas a r . Luego, por el postulado de Playfair se tendr´a que s l . Con-

tradicci´on, ya que s es distinta a l .

Teorema 42.

El paralelismo de rectas es una relaci´on de equivalencia, o sea que es: re- flexiva, sim´etrica y transitiva.

Universidad de Antioquia, Depto. de Matematicas

´

100 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

Demostraci´on. 1. Reflexiva : es claro que l l . 2. Sim´etrica : tambi´en es claro que si l r , entonces r l . 3.Transitiva : supongamos que l r y r s con l, r y s todas distintas. Veamos que l s . Razonemos por reducci´on al absurdo. Si l s, l y s se cortaran en A, (Figura 31.) y por A se tendr´ıan dos paralelas

distintas l y s a r , lo que contradice el axioma de la paralela unica.´

l

Por tanto ,

s .

s

l

A
A

r

Figura 31.

Teorema 43.

Si dos rectas distintas son paralelas, toda perpendicular a una de ellas lo es

a la otra.

Demostraci´on. Supongamos l r , l r y sea n l en A ( A l ). Es claro

que n corta a l en A.

Luego por el Teorema 41 , n corta a r . Llamemos B el punto donde n corta

a r , (Figura 32.).

Veamos que CBA es recto. Razonemos por reducci´on al absurdo, esto es,

supongamos que CBA no es recto.

Si CBA es agudo, entonces r y l har´ıan con la secante n una pareja de

angulos´ internos de un mismo lado cuya suma ser´ıa menor que 180 0 y por el

V.P.E. r y l se cortar´ıan, contradicci´on ya que por hip´otesis l r .

1.

2. Si CBA es obtuso, entonces C BA es agudo y las dos rectas se cortar´ıan

del lado de C , lleg´andose de nuevo a una contradicci´on. Por lo tanto, CBA

es recto.

Universidad de Antioquia, Depto. de Matematicas

4.3. AXIOMA DE PARALELISMO

101

n

C’ B C

C’

C’ B C

B

C

C’ B C
 
     
   
 

A

 
C’ B C         A  

Figura 32.

r

l

Corolario 13. Las rectas perpendiculares a dos rectas que se cortan tambi´en

se cortan.

−−→

Demostraci´on. Sean x, y , dos rectas que se cortan en O . Tomemos A OX

y B OY −−→ .

−−→

−−→

Sean n OX por A y m OY por B , (Figura 33.). Demostremos que

m y n se cortan. Razonemos por reducci´on al absurdo.

m

B Y n O A x
B
Y
n
O
A
x

X

Figura 33.

y

Si m y n no se cortaran, ser´ıan paralelas, es decir, m n . Pero OX −−→ ⊥ n ,

Universidad de Antioquia, Depto. de Matematicas

´

102 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

entonces OX −−→ ⊥ m (por teorema anterior) (1).

←→

Ahora, por hip´otesis OY m (2)

En (1) y (2) se tienen dos rectas perpendiculares a una tercer a, luego se

Recu´erdese que hab´ıamos demostrado en el Teorema 33 que “si dos rec-

tas hacen con una secante una pareja de ´angulos A.I. congruentes, las rectas

concluye que OX OY , lo que es una contradicci´on.

←→

←→

son paralelas”. El rec´ıproco de este enunciado lo daremos e n la siguiente

proposici´on.

Teorema 44 ( Alternos internos entre paralelas).

Dadas dos rectas distintas y paralelas, los angulos´ altern os internos que

forman con cualquier secante son congruentes.

Demostraci´on. Sean l r y t una secante cualquiera que corta a l en B y

a r en A, (Figura 34.).

Sea O punto medio de AB .

Q A O B H
Q
A
O
B
H

Figura 34.

←→

←→

t

r

l

←→

Bajemos desde O, OH l . Como OH l y l r , entonces OH r .

Universidad de Antioquia, Depto. de Matematicas

4.3. AXIOMA DE PARALELISMO

103

B O O’ A a)
B
O
O’
A
a)
B’ A’ b)
B’
A’
b)

Figura35 .

←→

As´ı que si llamamos Q al punto de encuentro de OH con r se tendr´a que

OQA es recto.

Ahora: OBH OQA (hipotenusa- angulo´

lo que demuestra el teorema.

Corolario 14. Dadas dos rectas distintas y paralelas, los angulos´

dientes que se forman con cualquier secante son congruentes .

agudo). Luego OAQ OBH

corres pon-

=

=

−→

Definici´on 30. Dado el AOB , si tomamos el lado OA como lado inicial

−→

y el lado OB como lado final, entonces decimos que AOB es un ´angulo

orientado, si la orientaci´on es en el sentido de las agujas d el reloj, decimos

que la orientaci´on es horaria, si la orientaci´on es en sent ido contrario a las

agujas del reloj, decimos que la orientaci´on es antihorari a.

En la Figura 35 a), AOB tiene sentido horario y en b), A O B tiene sen-

tido a antihorario.

Incluimos ahora dos proposiciones cuya demostraci´on la de jamos al lector.

Proposici´on 1.

i) Dos angulos´ que tengan sus lados respectivamente parale los, si tienen el

mismo sentido son congruentes y si tienen sentidos contrari os, son suplemen-

tarios.

ii) Dos ´angulos que tengan sus lados respectivamente perpe ndiculares, si

tienen el mismo sentido son congruentes y si tienen sentidos contrarios, son suplementarios.

Proposici´on 2. Si dos rectas paralelas son cortadas por otras dos paralelas , los segmentos

Universidad de Antioquia, Depto. de Matematicas

´

104 CAP ITULO 4. AX. DE CONTINUIDAD Y PARALELISMO

opuestos que se determinan son congruentes, (Figura 36.).

s

t

A D
A
D
B l C
B
l
C
determinan son congruentes, (Figura 36.). s t A D B l C Figura 36. ←→ ←→
determinan son congruentes, (Figura 36.). s t A D B l C Figura 36. ←→ ←→

Figura 36.

←→

←→

←→

←→

r

Seg´un la figura si AB DC y AD BC , entonces AB =

AD BC .

=

DC y

Corolario 15. Si l r , entonces para todo punto P perteneciente a l , la

distancia del punto P a r es constante.

A la constante dada se le llama la distancia entre las paralel as l y r .

Definici´on 31 ( Lugar Geom´etrico). Se llama lugar geom´etrico a la figura

cuyos puntos cumplen una o varias condiciones geom´etricas .

Ejercicio: determinar el Lugar Geom´etrico de los puntos que est´an a un a

distancia r de una recta fija l .

Teorema 45 ( Suma de los ´angulos interiores de un tri´angulo).

La suma de las medidas de los angulos´

interiores de todo tri´angulo es 180 0 .

←→

Demostraci´on. (Ver Figura 37.). Sea l AB trazada por C .

←→

←→

Como l AB y BC secante, entonces: β = β 2 .

←→

←→

Como l AB y AC secante, entonces: α = β 1 Adem´as es claro β 1 + γ + β 2 = 180 0 . Luego: α