10.06.2013 Views

Rectas paralelas y rectas perpendiculares en el plano cartesiano

Rectas paralelas y rectas perpendiculares en el plano cartesiano

Rectas paralelas y rectas perpendiculares en el plano cartesiano

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Universidad Interamericana de Puerto Rico - Recinto de Ponce 1<br />

<strong>Rectas</strong> <strong>paral<strong>el</strong>as</strong> y <strong>rectas</strong> <strong>perp<strong>en</strong>diculares</strong> <strong>en</strong> <strong>el</strong> <strong>plano</strong> <strong>cartesiano</strong><br />

Por: Enrique Díaz González<br />

En <strong>el</strong> curso de Precálculo, aparece <strong>el</strong> tema de las ecuaciones de líneas <strong>rectas</strong> y las<br />

condiciones para que dos <strong>rectas</strong> <strong>en</strong> <strong>el</strong> <strong>plano</strong> sean <strong>paral<strong>el</strong>as</strong> o <strong>perp<strong>en</strong>diculares</strong>. Estas condiciones<br />

ti<strong>en</strong><strong>en</strong> que ver con las p<strong>en</strong>di<strong>en</strong>tes de las <strong>rectas</strong>. Sin embargo, <strong>en</strong> la mayoría de los textos se<br />

omit<strong>en</strong> las demostraciones matemáticas para justificar esas condiciones. Este artículo pret<strong>en</strong>de<br />

dar una prueba más formal de dichas r<strong>el</strong>aciones.<br />

1) <strong>Rectas</strong> <strong>paral<strong>el</strong>as</strong>.<br />

Recordemos que dos <strong>rectas</strong> son <strong>paral<strong>el</strong>as</strong> cuando están <strong>en</strong> un mismo <strong>plano</strong> y no se<br />

intersectan. Por ejemplo, dos <strong>rectas</strong> verticales distintas son <strong>paral<strong>el</strong>as</strong>, porque cada una de<br />

<strong>el</strong>las es paral<strong>el</strong>a al eje de las ord<strong>en</strong>adas. De la misma forma, dos <strong>rectas</strong> horizontales<br />

distintas son <strong>paral<strong>el</strong>as</strong>, porque cada una de <strong>el</strong>las es paral<strong>el</strong>a al eje de las abscisas. Vamos<br />

a probar la sigui<strong>en</strong>te proposición:<br />

Dos <strong>rectas</strong> no verticales son <strong>paral<strong>el</strong>as</strong> si y sólo si ti<strong>en</strong><strong>en</strong> la misma p<strong>en</strong>di<strong>en</strong>te.<br />

L y L 2 son dos <strong>rectas</strong> distintas no verticales con p<strong>en</strong>di<strong>en</strong>tes<br />

m 1 y 2 m , respectivam<strong>en</strong>te y que 1 2 m m . Hay que probar que L 1 es paral<strong>el</strong>a<br />

con L 2 . Si ambas <strong>rectas</strong> son horizontales, es decir, si ti<strong>en</strong><strong>en</strong> la misma p<strong>en</strong>di<strong>en</strong>te<br />

cero, <strong>en</strong>tonces son <strong>paral<strong>el</strong>as</strong> porque cada una de <strong>el</strong>las es paral<strong>el</strong>a al eje de las<br />

a) Supongamos que 1<br />

abscisas, es decir, al eje x. Si ninguna es vertical, sean y m1x<br />

b1<br />

,<br />

y m x b<br />

las ecuaciones de estas <strong>rectas</strong>, donde b1 b2<br />

. Si estas ecuaciones ti<strong>en</strong><strong>en</strong> una<br />

solución común ( x ) <strong>en</strong>tonces sustituy<strong>en</strong>do <strong>en</strong> las ecuaciones anteriores y<br />

1, 1 y<br />

restando ambas ecuaciones resulta que b1 b2<br />

, ya que 1 2 m m . Por lo tanto, las<br />

2<br />

2<br />

Revista 360 N o. 7 2012


Universidad Interamericana de Puerto Rico - Recinto de Ponce 2<br />

<strong>rectas</strong> coincid<strong>en</strong> lo cual es absurdo porque las <strong>rectas</strong> son distintas. En<br />

consecu<strong>en</strong>cia, las <strong>rectas</strong> no ti<strong>en</strong><strong>en</strong> puntos <strong>en</strong> común y, por lo tanto, son <strong>paral<strong>el</strong>as</strong>.<br />

L y 2<br />

b) Supongamos ahora que 1 L son <strong>paral<strong>el</strong>as</strong> y no verticales. Vamos a suponer<br />

m m . Entonces resolvi<strong>en</strong>do para las variables x, y <strong>en</strong> <strong>el</strong> sistema<br />

que 1 2<br />

y m1x<br />

b1<br />

, y m2<br />

x b2<br />

x<br />

b b<br />

se ti<strong>en</strong>e:<br />

b b<br />

1 2<br />

1 2<br />

<br />

, y m1<br />

( ) b1<br />

m1<br />

m2<br />

m1<br />

m2<br />

Este valor de la variable “y” se obtuvo <strong>en</strong> la ecuación de L 1 , pero estos valores<br />

también satisfac<strong>en</strong> la ecuación de L 2 . En efecto, sustituy<strong>en</strong>do <strong>en</strong> la segunda<br />

ecuación d<strong>el</strong> sistema se ti<strong>en</strong>e:<br />

<br />

b b<br />

b b<br />

1 2<br />

1 2<br />

m1 b1<br />

m2<br />

<br />

m1<br />

m2<br />

m1<br />

m2<br />

Multiplicando esta ecuación por 1 2 m m , resulta<br />

m1b1<br />

m1b2<br />

m1b1<br />

m2b<br />

m m<br />

1<br />

2<br />

1<br />

b<br />

2<br />

m2b1<br />

m2b2<br />

m1b2<br />

m2b2<br />

<br />

m m<br />

Canc<strong>el</strong>ando términos semejantes <strong>en</strong> <strong>el</strong> numerador, estas expresiones son iguales.<br />

Por lo tanto, las <strong>rectas</strong> ti<strong>en</strong><strong>en</strong> un punto <strong>en</strong> común y esto contradice que son<br />

<strong>paral<strong>el</strong>as</strong>. En consecu<strong>en</strong>cia, 1 2 m m y esto termina la demostración.<br />

2) <strong>Rectas</strong> <strong>perp<strong>en</strong>diculares</strong>. Recordemos que dos <strong>rectas</strong> <strong>en</strong> un <strong>plano</strong> son <strong>perp<strong>en</strong>diculares</strong> si<br />

se intersectan formando un ángulo recto. Vamos a probar la sigui<strong>en</strong>te proposición:<br />

Dos <strong>rectas</strong> no verticales son <strong>perp<strong>en</strong>diculares</strong> si y sólo si <strong>el</strong> producto de sus<br />

p<strong>en</strong>di<strong>en</strong>tes es 1.<br />

a) Supongamos que las <strong>rectas</strong> no verticales 1 L y 2 L ti<strong>en</strong><strong>en</strong> p<strong>en</strong>di<strong>en</strong>tes 1 m y 2<br />

1<br />

2<br />

m tales<br />

que m m 1.<br />

La primera conclusión de esta hipótesis es que las <strong>rectas</strong> no son<br />

1<br />

2<br />

horizontales ni son <strong>paral<strong>el</strong>as</strong>. Por lo tanto, estas <strong>rectas</strong> se cortan <strong>en</strong> un punto<br />

Revista 360 N o. 7 2012


Universidad Interamericana de Puerto Rico - Recinto de Ponce 3<br />

L y un punto S = (c , d) <strong>en</strong> 2<br />

P = (p , q). Tomemos un punto R = (a , b) <strong>en</strong> 1<br />

que sean distintos a P. Entonces se determina un triángulo PRS y además<br />

m<br />

b q<br />

<br />

a p<br />

1 ,<br />

m<br />

2<br />

d q<br />

.<br />

c p<br />

b q d q<br />

Por la hipótesis 1<br />

, lo que significa que<br />

a p c p<br />

2<br />

bd bq dq q ac<br />

ap pc <br />

p<br />

2<br />

(*)<br />

Revista 360 N o. 7 2012<br />

L tal<br />

Queremos probar que <strong>el</strong> triángulo PRS es rectángulo con <strong>el</strong> ángulo recto <strong>en</strong> <strong>el</strong> vértice<br />

P. Vamos a usar <strong>el</strong> recíproco d<strong>el</strong> Teorema de Pitágoras examinando las longitudes de<br />

los lados d<strong>el</strong> triángulo PRS. T<strong>en</strong>emos <strong>en</strong>tonces:<br />

2<br />

2<br />

2<br />

PR ( b q)<br />

( a p)<br />

2<br />

2<br />

2<br />

PS ( d q)<br />

( c p)<br />

2<br />

2<br />

2<br />

RS ( b d)<br />

( a c)<br />

Desarrollando los cuadrados y sumando las dos primeras ecuaciones e igualando con<br />

<strong>el</strong> tercer cuadrado, se ti<strong>en</strong>e:<br />

b<br />

2<br />

2 2<br />

2 2<br />

2 2<br />

2bq q a 2ap<br />

p d 2dq<br />

q c 2cp<br />

p<br />

2<br />

2 2<br />

2<br />

b 2bd d a 2ac<br />

c<br />

Canc<strong>el</strong>ando términos semejantes y cambiando de miembro algunos términos, se ti<strong>en</strong>e:<br />

bd <br />

2<br />

2<br />

bq dq q ac<br />

ap cp p y esto significa que se cumple la condición<br />

(*) dada anteriorm<strong>en</strong>te. Desarrollando estos cálculos a la inversa, resulta que <strong>el</strong><br />

triángulo PRS es rectángulo con <strong>el</strong> ángulo recto <strong>en</strong> <strong>el</strong> vértice P y las <strong>rectas</strong> 1 L y 2 L<br />

son <strong>perp<strong>en</strong>diculares</strong>.<br />

b) Supongamos ahora que las <strong>rectas</strong> no verticales son <strong>perp<strong>en</strong>diculares</strong>. Por lo tanto se<br />

cortan <strong>en</strong> un punto P = (a , b). Hay que probar que <strong>el</strong> producto de sus p<strong>en</strong>di<strong>en</strong>tes es<br />

igual a -1.<br />

Tomemos puntos ( 1, 2 ) a a A <strong>en</strong> L 1 y ) , ( 1 2 b b B <strong>en</strong> L 2 . Entonces <strong>el</strong> triángulo<br />

APB es rectángulo con <strong>el</strong> ángulo recto <strong>en</strong> <strong>el</strong> vértice P. Aplicando <strong>el</strong> teorema de<br />

Pitágoras se ti<strong>en</strong>e<br />

AP <br />

2 2 2<br />

BP AB y pasando a las coord<strong>en</strong>adas esto significa que<br />

2


Universidad Interamericana de Puerto Rico - Recinto de Ponce 4<br />

2<br />

2<br />

2<br />

2<br />

2<br />

( a1 a)<br />

( a2<br />

b)<br />

( b2<br />

b)<br />

( b1<br />

a)<br />

( a1<br />

b1<br />

) ( a2<br />

b2<br />

Después de desarrollar los cuadrados y simplificar, resulta:<br />

2<br />

2<br />

a b a b bb b (<br />

a b a<br />

a ab a ) , por lo tanto<br />

a<br />

2<br />

2<br />

1<br />

b<br />

2<br />

2<br />

1<br />

2<br />

a b bb b<br />

2<br />

2<br />

a b a a ab a<br />

1<br />

a2<br />

b b2<br />

b<br />

m1<br />

m2<br />

.<br />

a a b a<br />

1<br />

2<br />

1<br />

2<br />

1<br />

2<br />

1<br />

1<br />

1<br />

1<br />

1<br />

, pero <strong>el</strong> primer miembro es precisam<strong>en</strong>te <strong>el</strong> valor de<br />

Po lo tanto, m m 1<br />

que es lo que se quería probar.<br />

1<br />

2<br />

Bibliografía.<br />

Moise, Edwin E. Elem<strong>en</strong>tary Geometry from an Advanced Standpoint,<br />

Addison-Wesley, Third Edition , 1990.<br />

Enrique Díaz González, ediaz@ponce.inter.edu Catedrático Auxiliar de Matemáticas de la Universidad<br />

Interamericana de Puerto Rico –Recinto de Ponce. M.S. University of Illinois.<br />

)<br />

2<br />

Revista 360 N o. 7 2012

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!