Download Paralelismo y perpendicularidad

Document related concepts

Teorema de la bisectriz wikipedia , lookup

Teorema de Tales wikipedia , lookup

Semejanza (geometría) wikipedia , lookup

Teorema del coseno wikipedia , lookup

Triángulo rectángulo wikipedia , lookup

Transcript
-1Capítulo I: paralelismo y perpendicularidad.
Definición de rectas paralelas.
Si dos rectas coplanares no se cortan diremos que son paralelas.
Axioma de Euclides.
“Si dos rectas coplanares (a y b) son cortadas por una tercera (r) formando
ángulos colaterales internos (α y β) que suman menos que un llano, las dos
rectas se cortan en el semiplano que tiene por borde a la tercera y contiene a
los ángulos que suman menos que un llano.”
a
r
α
β
b
Observación: es inmediato que si α + β > un ángulo llano, entonces las rectas
se cortan en el semiplano opuesto.
Corolario: “si α y β = un ángulo llano, las rectas son paralelas.”
Demostración: como un ángulo llano mide 180º, escribimos α + β = 180º.
a
α’=180º-α α
β’=180º- β
b
β
r
α’ + β’ = (180º - α) + (180º - β) = 360º - (α + β) = 180º.
Como en ambos semiplanos de borde r se da la misma situación (los ángulos
colaterales internos suman 180º), debe ocurrir lo mismo con las rectas a y b
en ambos semiplanos.
Hay sólo dos posibilidades:
1) a y b se cortan.
En este caso, hay un punto de intersección en cada semiplano y concluimos que
a y b tienen dos puntos en común, por lo tanto son la misma recta. ABSURDO,
pues en ese caso no habría ángulos colaterales internos.
2) a y b no se cortan.
No hay otra posibilidad lógica, por lo tanto aceptamos que se cumple.
Como a y b son rectas coplanares que no se cortan, por definición resultan a y
b paralelas.
Recíproco del corolario: a // b ⇒ α + β = 180º.
El resultado de la suma de α y β debe cumplir una y sólo una de estas tres
posibilidades:
1) α + β < 180º. ABSURDO, pues a y b se cortarían en el semiplano que
contiene a α y β.
2) α + β > 180º. ABSURDO, pues a y b se cortarían en el semiplano que no
contiene a α y β.
3) α + β = 180º. No hay otra posibilidad, por lo tanto aceptamos que se
cumple.
-2Teorema: “Dos rectas paralelas cortadas por una secante forman ángulos
alternos internos que son iguales.”
Demostración:
a // b
adyacente
⎧
= (5)
⎪(3) = 180º−(6)
(3) + (6) = 180º ⇒ ⎨
.
adyacente
⎪(6) = 180º−(3)
= (4)
⎩
corolario
Euclides
⇒
r
(1) (2)
(4) (3)
a
(5) (6)
(8) (7)
b
Teorema: “Los ángulos opuestos por el vértice son iguales.”
Demostración: a cargo del alumno.
Teorema: “Dos rectas paralelas cortadas por una secante forman ángulos
alternos externos iguales.”
Demostración:
(2)
opuestos por
el vértice
=
(4)
alternos
internos
= (6)
opuestos por
el vértice
=
(8)
.
Teorema: “Dos rectas paralelas cortadas por una secante forman ángulos
correspondientes iguales.”
Demostración: a cargo del alumno.
Teorema recíproco: “Si dos rectas generan ángulos alternos iguales, las rectas
son paralelas.”
r
Demostración:
Las rectas a y b generan los ángulos alternos
internos iguales a α.
b
β=180º-α
α
α y β son ángulos colaterales internos tales
que
α + β = α (180º - α) = 180º.
Por el recíproco del corolario de Euclides,
a // b.
a
α
Ejercicio: enuncie y demuestre los teoremas recíprocos correspondientes a los
ángulos alternos internos y a los ángulos correspondientes.
Teorema del paralelismo de Playfair.
Esta proposición suele presentarse como axioma en muchos cursos de
bachillerato. Si sustituimos el axioma de Euclides por el de Playfair,
podríamos convertir en teorema el de Euclides. Cuando dos proposiciones son
tales que, tomadas como axiomas una en sustitución de la otra en un cuerpo
teórico, permiten demostrar el mismo conjunto de teoremas (y por extensión, la
misma geometría) se dice que son axiomas equivalentes. Recomendamos en este
punto la lectura del material “Los elementos de Euclides” (capítulo 4 del
libro de Michael Bernkopf, Mathematics - An Appreciation).
-3Teorema: “Por un punto exterior a una recta pasa una paralela, y sólo una.”
Demostración:
Observemos que este teorema dice dos cosas: 1º) existe una paralela a la recta
por el punto, y 2º) esta paralela es única.
Consideremos una recta r y un punto P que no pertenece a ella.
q
1º) Encontremos una paralela a r por P.
Sea q una recta por P secante con r en Q.
Tracemos ahora la recta h secante con q por
P tal que se formen ángulos colaterales
interiores que sumen 180º.
Por el corolario de Euclides resultan h // r
por P.
P
h
Q
r
2º) Por el absurdo, suponemos que existe una segunda paralela s a la recta r
por P, s ≠ h.
h // r ⇒ ∠hPs + ∠qQr = 180º
q
P
∠sPQ < ∠hPs ⇒ ∠sPQ + ∠qQr < 180º
h
entonces s corta a r, lo cual significa que s
no es paralela a r, contradiciendo nuestro
supuesto.
Concluimos que no existe otra recta paralela a
r por P.
s
Q
r
r
Teorema: (propiedad transitiva del paralelismo)
Demostración.
t
r
P
s
r // s⎫
⎬ ⇒ r // t .
s // t⎭
Por el absurdo, suponemos que r no es
paralela a t.
Sea r ∩ t = ⎨P⎬.
Esto contradice el teorema de Playfair
pues hay dos paralelas a s por P.
Concluimos que r y t no se cortan, y por
lo tanto son paralelas
Teorema: “en un mismo plano, si una recta corta a otra, entonces corta a una
a ∩ b = {P}
paralela a la otra.”
⎫
⎪
b' // b
⎬ ⇒ a ∩ b' = {Q} .
a, b, b' coplanares⎪⎭
Demostración.
Por el absurdo, si a no corta a b’ es b’//a.
Como b’//b, por la propiedad transitiva del
paralelismo es a//b, contradiciendo la hipótesis.
Concluimos que a corta a b’.
a
b
Q
P
b’
Si quitamos la condición de que las rectas sean
coplanares, ¿sigue siendo válido el teorema?
Teorema (del ángulo externo): “cada ángulo
externo de un triángulo es igual a la suma
de los ángulos internos no adyacentes.”
Demostración:
B
Trazamos por C una recta
h paralela a AB,
descomponiendo así el ángulo externo C tal
h
que ∠externoC = ∠x + ∠y.
Pero ∠y = ∠A por correspondientes y ∠x = ∠B
por alternos internos.
x
Luego, ∠externoC = ∠A + ∠B.
C
y
A
Análogamente
se
prueba
para
los
otros
ángulos externos del ABC.
-4Corolario: “cada ángulo externo de un triángulo es mayor que cualquiera de los
ángulos internos no adyacentes.”
Teorema (de la suma de los ángulos internos de un triángulo): “en
triángulo la suma de los ángulos internos es igual a un ángulo llano.”
todo
Demostración:
En la misma figura vemos que: ∠A + ∠B + ∠C = ∠y + ∠x + ∠C = 180º.
Teorema: “dos rectas coplanares perpendiculares a una tercera son paralelas
entre sí.”
Demostración:
Euclides.
es
consecuencia
inmediata
del
recíproco
del
corolario
de
Aplicación: este teorema permite justificar un conocido procedimiento para
trazar con regla y escuadra la recta paralela a otra dada por un punto
exterior dado, como se ve en la figura.
r // r’
r
r
r
r
Teorema: “por un punto exterior pasa una sola perpendicular a una recta dada.”
Demostración: este teorema afirma dos cosas,
1º) Existe una perpendicular a la recta por el punto exterior (se demostrará
cuando se estudie la simetría axial), y
2º) Esta perpendicular es única.
Para probar esto último por el absurdo, supongamos
que hay dos perpendiculares s y t a la recta r por el
punto P.
Se forma un triángulo donde los ángulos interiores
suman más de 180º, lo que contradice un teorema
anterior. Concluimos que la perpendicular es única.
P
s
r
90º
t
90º
¿Qué ocurre si quitamos de la hipótesis la condición de que el punto sea
exterior a la recta?
Paralelogramos.
Vamos a dar cuatro definiciones distintas de paralelogramo y demostraremos que
son equivalentes. Esto significa, por ejemplo, que la definición (A) implica
la definición (B) y recíprocamente. Dadas cuatro definiciones, tendríamos que
hacer doce demostraciones:
A ⇔ B, A ⇔ C, A ⇔ D, B ⇔ C, B ⇔ D, C ⇔ D
(recuerde que A ⇔ B consta de dos demostraciones, A ⇒ B y B ⇒ A).
Una forma más práctica de resolver el problema consiste en demostrar las
siguientes relaciones entre las proposiciones: A ⇒ B ⇒ C ⇒ D ⇒ A, porque así
sólo tenemos que hacer cuatro demostraciones.
Para probar, por ejemplo, que B ⇔ D, veríamos en primer lugar que B ⇒ D (pues
B ⇒ C ⇒ D) y luego que D ⇒ B (pues D ⇒ A ⇒ B).
Nuestras definiciones de paralelogramo son:
(A) cuadriláteros con sus dos pares de lados opuestos paralelos
(B) cuadriláteros con un par de lados opuestos iguales y paralelos
-5(C) cuadriláteros con sus dos pares de lados opuestos respectivamente
iguales
(D) cuadriláteros cuyas diagonales se cortan en sus respectivos puntos
medios.
P
Demostraciones.
Q
A ⇒ B.
Sea el paralelogramo PQRS tal que PQ // RS y QR // SP.
Si trazamos la diagonal PR tenemos que:
⎫
∠QPR
=
∠SRP ⎪⎪
⎪
PR lado común
⎬
⎪
alternos
internos
⎪
∠QPR
=
∠SPR ⎭⎪
S
alternos
internos
criterio
ALA
⇒
R
ΔPQR = ΔRSP ⇒ PQ = RS y QR = SP ∴
P
PQ//RS⎫
PQ // RS⎫
⎬ ⇒
⎬
QR//SP⎭
PQ = RS⎭
Q
B ⇒ C.
Sea el paralelogramo PQRS tal que PQ // RS Y PQ = RS.
Si trazamos la diagonal PR tenemos:
PR lado común⎫
⎪
∠QPR = ∠SRP ⎬
⎪
PQ = RS
⎭
criterio
LAL
⇒
ΔPQR = ΔRSP ⇒ QR = SP ∴
S
PQ // RS⎫
PQ = RS ⎫
⎬ ⇒
⎬.
PQ = RS⎭
QR = SP⎭
P
Q
C ⇒ D.
O
Sea el paralelogramo PQRS tal que PQ = RS y QR = SP.
Consideremos las diagonales PR y QS que se cortan en O.
PQ = RS
⎫
⎪
QR = SP
⎬
PR lado común⎪⎭
R
criterio
LLL
⇒
S
R
ΔPQR = ΔRSP ⇒ ∠QPR = ∠SRP ⇒ ∠QPO = ∠SRO
Análogamente probamos que ∠PQO = ∠RSO (hacerlo). Entonces,
∠PQO = ∠RSO⎫ criterio
PQ = RS ⎫
O = p.m. de ⎫
⎧PO = RO ⇒ O = p.m. PR
⎪ ALA
ΔPOQ = ΔROS ⇒ ⎨
∠QPO = ∠SRO⎬ ⇒
∴
⎬ ⇒
⎬
QR = SP⎭
diagonales⎭
⎩QO = SO ⇒ O = p.m. SQ
⎪
PQ = SR
⎭
P
Q
D ⇒ A.
O
Sea el paralelogramo PQRS tal que PR y QS
se cortan en su punto medio O.
PO = OR
QO = OS
∠POQ
opuestos por
el vértice
=
⎫
⎪
⎪⎪
⎬
⎪
⎪
∠ROS⎪⎭
S
criterio
LAL
⇒
ΔPOQ = ΔROS ⇒ ∠QPO = ∠SRO ⇒ ∠QPR = ∠SRP
recíproco
alternos
internos
⇒
Análogamente probamos que QR // SP (hacerlo).
Luego,
las diagonales se⎫
PQ // RS⎫
⎬ ⇒
⎬.
cortan en su p.m.⎭
QR // SP⎭
Ejercicio:
(a) demuestre que un cuadrilátero con sus ángulo opuestos respectivamente
iguales es un paralelogramo,
(b) demuestre que el segmento determinado por los puntos medios de dos lados
opuestos de un paralelogramo es igual y paralelo a los otros lados opuestos (a
este segmento se le llama paralela media del paralelogramo).
R
PQ // RS
-6Teoremas de la paralela media en un triángulo.
B
ABC triángulo⎫
⎧⎪MN // AC
⎪
⎬ ⇒ ⎨
⎪⎩MN = 1 2 AC
⎪
N = p.m. BC
⎭
Teorema directo: M = p.m. AB
M
N
M’
Demostración.
A
Sea M’ tal que N es el punto medio del segmento MM’ (¿cómo construye M’?).
Como las diagonales del cuadrilátero MBM’C se cortan en su punto medio N, es
un paralelogramo (por la definición (D)).
Entonces,
def
B
AM = MB
MB = // CM' ⇒
def
B
def
A
AM = // CM' ⇒ AMM' C paralelogramo ⇒ MM' //AC
MM'= MN
⇒
C
MN//AC .
Además, MM' = AC ⇒ 2MN = AC ⇒ MN = 1 2 AC .
Al segmento MN se le llama paralela media del ABC. Hay otros dos segmentos que
también son paralelas medias del mismo triángulo.
B
¿?
ABC triángulo⎫
⎪
M = p.m.AB
⎪
Teorema recíproco:
⎬ ⇒ N = p.m.BC
h // AC por M ⎪
h ∩ BC = {N} ⎪⎭
Demostración.
M
h
¿?
N
A
C
Supongamos que K es el punto medio del segmento BC, K ≠ N.
Por el teorema directo sabemos que MK // AC por M.
Por hipótesis, h // AC por M.
Por Playfair, la paralela a AC por M es única.
Entonces, MK = h ⇒ ⎨K⎬ = MK ∩ BC = h ∩ BC ⎨N⎬ ⇒ K = N = p.m.BC.
Ejercicios:
(1) Dibuje tres triángulos escalenos (acutángulo, rectángulo y obtusángulo)
y trace las tres paralelas medias de cada uno. Pruebe que cada
triángulo queda dividido en cuatro triángulos iguales.
(2) Trace un trapecio escaleno ABCD. M es el p.m.AB y N es el p.m.CD.
Pruebe (a) que MN es paralela a las bases, y (b) que la medida de MN es
la semisuma de las medidas de las bases del trapecio (previamente
enuncie formalmente como teorema).
Trapecio: cuadrilátero con un solo par de lados opuestos paralelos, llamados bases.
B
C
Resolución del ejercicio (2) de paralela media.
M
Sea B’ / N = p.m.BB’ ⇒ las diagonales del BCB’D se cortan
en su punto medio ⇒ BCB’D es un paralelogramo ⇒
las diagonales del⎫ def
⎪ A B' D // BC por D⎫
BCB' D se cortan
⎬
⎬ ⇒
AD // BC por D ⎭
⎪
en su p.m.
⎭
Playfair
⇒
N
A
B' D = AD , es decir que los
puntos B’, D y A están alineados.
Luego, el segmento MN es paralela media en el triángulo ABB’ ⇒
Como MN // AB’, resulta MN // AD y MN // BC y MN =
1
2 (AD
⎫⎪
⎬.
AB'⎪⎭
MN // AB'
MN =
+ DB') =
1
1
2
2 (AD
+ BC).
Teorema de Thales.
Considere dos rectas coplanares r y r’. Para fijar ideas, supongamos r // r’.
Sobre r se toman los puntos A, B y C, de modo que AB = BC , consecutivos.
Se trazan: una recta a secante a r y r´ y que pasa por A, una recta b // a por
B y una recta c // a por C.
r
r’
Sean a ∩ r’ = ⎨A’⎬, b ∩ r’ = ⎨B’⎬, c ∩ r’ = ⎨C’⎬.
Demostraremos que A' B' = B' C'
a
A
b
A’
B
c
B’
C
C’
D
B’
-7def
def
⎫
C
AB // A' B'⎫ A
⎪
AA
'
B
'
B
paralelogr
amo
AB
A
'
B
'
⇒
⇒
=
⎬
⎪
x // y
⎭
⎪⎪
Análogamente, BC = B' C'
⎬ ⇒ A' B' = B' C'.
⎪
Por hipótesis AB = BC
⎪
⎪
⎪⎭
x
A
Si las rectas r y r’ son secantes, se trazan
rectas paralelas a r’ por A, B y C. Formamos
los paralelogramos AA’B’B’’ y BB’C’C’’ y
por la definición (C) concluimos que:
y
B
z
C
A’
B’’
B’
C’’
C’
r
AB'' = A' B' y BC'' = B' C'.
Demuestre el lector que los triángulos AB’’B y BC’’C son iguales.
AB'' = BC''⎫
⎪⎪
Luego, A' B' = AB''⎬
⎪
B' C' = BC''⎪⎭
transitiva
⇒
A' B' = B' C'.
Podemos generalizar este resultado en el siguiente
Teorema: “Si tres o más rectas paralelas son cortadas por dos transversales, a
segmentos iguales en una de éstas corresponden segmentos iguales en la otra.”
Definición: Sean cuatro segmentos cuyas medidas son a, b, c y d. Decimos que
forman una proporción si están en la relación
a
c
=
.
b
d
Ejercicio.
R
x
Q
P
A
N
M
B
Trace
segmento
AB.
Dibuje
una
semirrecta Ax que forme un ángulo
agudo. Tome un segmento arbitrario AP
sobre la semirrecta y transpórtelo a
partir de A tres veces consecutivas
sobre Ax, determinando así los puntos
P, Q y R. Una el punto R con B. Por P y
Q trace las paralelas a RB que cortan
al segmento AB en M y N según figura.
Demuestre que el segmento AB ha
quedado dividido en tres segmentos
iguales AN, MN y NB.
Teorema (de Thales): “Si tres o más paralelas son cortadas por dos
transversales, dos segmentos cualesquiera de una de éstas son proporcionales a
los dos segmentos correspondientes de la otra.”
a//b//c, t y t' transversales
⎫
OP
O' P'⎫
⎪
a ∩ t = {O}, b ∩ t = {P}, c ∩ t = {Q}
=
⎬ ⇒
⎬
PQ
P' Q'⎭
⎪
a ∩ t' = {O'}, b ∩ t' = {P'}, c ∩ t' = {Q'}⎭
Demostración.
Haremos la prueba para el caso particular en que exista un segmento de medida
x contenido una cantidad entera de veces en el segmento OP y en el segmento
PQ, por ejemplo, m veces en OP y n veces en PQ.
Entonces,
OP
PQ
=
mx
m
=
.
nx
n
Por los puntos de división que resultan en los segmentos OP y PQ al dividirlos
según el segmento x, se trazan paralelas a las rectas a, b y c que determinan
sobre la transversal t’ segmentos z que son iguales entre sí (por el teorema
anterior) aunque no tienen por qué ser iguales a x.
r’
-8Como el segmento x está contenido m veces en el OP y n veces en el PQ es
inmediato que z está contenido m veces en el O’P’ u n veces en el P’Q’.
Entonces,
O' P'
P' Q'
Concluimos que
=
mz
m
=
.
nz
n
OP
PQ
=
O' P'
P' Q'
.
B
j
Teorema de Thales aplicado a los triángulos.
P
A, B, C no alineados
⎫
BA
BC
AC
⎪
.
h // AC
=
=
⎬ ⇒
BP
BQ
PQ
⎪
h ∩ AB = {P}, h ∩ BC = {Q}⎭
Q
h
P’
A
Demostración.
C
i
k
BA
Si trazamos j // h por B, por el teorema de Thales se cumple que
BP
=
BC
BQ
.
Si trazamos i // BC por P / i ∩ AC = ⎨P’⎬ tenemos
def
def
C
PQ // P' C⎫ A
⎬ ⇒ PQCP' paralelogramo ⇒ PQ = P' C .
PP' // QC ⎭
Si trazamos k // BC por A. por el teorema de Thales se cumple que
BA
BP
=
AC
P' C
.
Sustituyendo P' C por PQ llegamos a la tesis.
Teorema (recíproco de Thales): “si sobre dos rectas coplanares hay dos
segmentos consecutivos que se pueden poner en correspondencia y que cumplan
que son proporcionales, y además dos de las rectas determinadas por extremos
correspondientes son paralelas, entonces la otra recta determinada por
extremos correspondientes también es paralela a aquellas.”
⎫
r, r' rectas coplanares⎪⎪
⎪
A, B, C ∈ r, A' , B' , C' ∈ r'⎬ ⇒ AA' // CC'
⎪
AB
A' B'
, AA' // BB' ⎪
=
⎪⎭
BC
B' C'
A
A’
B’
B
C’’
C
Demostración.
Por hipótesis, B' C' =
r
r’
C’
A' B' · BC
AB
Sea h // AA’ por C.
h ∩ r’ = {C’’}.
Por el teorema directo,
AB
BC
=
A' B'
B' C''
. Entonces, B' C'' =
A' B' · BC
AB
.
Por el Axioma de transporte de segmento, hay un único punto P en la semirrecta
opuesta a B’A’ que cumple que B' P =
Luego, h = CC’ ⇒ CC’ // AA’.
A' B' · BC
AB
. Concluimos que C’ = C’’.
Responsables:
Prof. María del Rosario Quintans
Prof. Alejandro Castro