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
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