Académique Documents
Professionnel Documents
Culture Documents
1) Rectas paralelas.
Recordemos que dos rectas son paralelas cuando estn en un mismo plano y no se
intersectan. Por ejemplo, dos rectas verticales distintas son paralelas, porque cada una de
ellas es paralela al eje de las ordenadas. De la misma forma, dos rectas horizontales
distintas son paralelas, porque cada una de ellas es paralela al eje de las abscisas. Vamos
a probar la siguiente proposicin:
m1 y m2 , respectivamente y que
b1 b2
m1 m2
y m2 x b2 se tiene:
y m1 (
b1 b2
) b1
m1 m2
b1 b2
b b
b1 m2 1 2 b2
m1 m2
m1 m2
m1 m2
m1 m2
m1
bq
a p
Por la hiptesis
m2
d q
.
c p
bq d q
bd bq dq q 2 ac ap pc p 2
(*)
Queremos probar que el tringulo PRS es rectngulo con el ngulo recto en el vrtice
P. Vamos a usar el recproco del Teorema de Pitgoras examinando las longitudes de
los lados del tringulo PRS. Tenemos entonces:
PR 2 (b q) 2 (a p) 2
PS 2 (d q) 2 (c p) 2
RS 2 (b d ) 2 (a c) 2
Desarrollando los cuadrados y sumando las dos primeras ecuaciones e igualando con
el tercer cuadrado, se tiene:
b 2 2bq q 2 a 2 2ap p 2 d 2 2dq q 2 c 2 2cp p 2
b2 2bd d 2 a 2 2ac c 2
Cancelando trminos semejantes y cambiando de miembro algunos trminos, se tiene:
bd bq dq q 2 ac ap cp p 2 y esto significa que se cumple la condicin
(*) dada anteriormente. Desarrollando estos clculos a la inversa, resulta que el
tringulo PRS es rectngulo con el ngulo recto en el vrtice P y las rectas L1 y L2
son perpendiculares.
b) Supongamos ahora que las rectas no verticales son perpendiculares. Por lo tanto se
cortan en un punto P = (a , b). Hay que probar que el producto de sus pendientes es
igual a -1.
Tomemos puntos A (a1 , a 2 ) en L1 y B (b1 , b2 ) en L2 . Entonces el tringulo
APB es rectngulo con el ngulo recto en el vrtice P. Aplicando el teorema de
Pitgoras se tiene
Despus
de
desarrollar
los
cuadrados
y
2
2
a2 b 2 a2 b bb2 b (a1b1 a1a ab1 a ) , por lo tanto
a 2 b2 a 2 b bb2 b 2
1 ,
a1b1 a1 a ab1 a 2
m1 m2
simplificar,
resulta:
a 2 b b2 b
.
a1 a b1 a
Bibliografa.
Moise, Edwin E. Elementary Geometry from an Advanced Standpoint,
Addison-Wesley, Third Edition , 1990.