<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1665-5826</journal-id>
<journal-title><![CDATA[Educación matemática]]></journal-title>
<abbrev-journal-title><![CDATA[Educ. mat]]></abbrev-journal-title>
<issn>1665-5826</issn>
<publisher>
<publisher-name><![CDATA[Editorial Santillana]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1665-58262010000300007</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Rectas perpendiculares]]></article-title>
<article-title xml:lang="en"><![CDATA[Perpendicular lines]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pérez Juárez]]></surname>
<given-names><![CDATA[Ángel]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
</contrib-group>
<aff id="A01">
<institution><![CDATA[,Universidad Autónoma de la Ciudad de México  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>México</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2010</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2010</year>
</pub-date>
<volume>22</volume>
<numero>3</numero>
<fpage>143</fpage>
<lpage>148</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1665-58262010000300007&amp;lng=en&amp;nrm=iso&amp;tlng=en"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1665-58262010000300007&amp;lng=en&amp;nrm=iso&amp;tlng=en"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1665-58262010000300007&amp;lng=en&amp;nrm=iso&amp;tlng=en"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Se demuestra la condición de ortogonalidad entre dos rectas sin usar funciones trigonométricas. La alternativa es plantear una ecuación de segundo grado y recurrir a las propiedades de estas ecuaciones, tales como la relación entre el número de soluciones y el signo del discriminante de la ecuación cuadrática. Esta manera de resolver el problema de ortogonalidad entre rectas nos muestra, de paso, la utilidad de algunas propiedades de un polinomio cuadrático.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[A proof of the orthogonality condition between two lines without using trigonometric functions is presented. The alternative proof consists in developing a second degree equation and working with quadratic equations properties, such as the relationship between the number of solutions and the discriminant sign. This approach shows as well the usefulness of some of the properties of a quadratic polynomial.]]></p></abstract>
</article-meta>
</front><body><![CDATA[  	    <p align="justify"><font face="verdana" size="4">Nota de clase</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="center"><font face="verdana" size="4"><b>Rectas perpendiculares</b></font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="center"><font face="verdana" size="3"><b>Perpendicular lines</b></font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="center"><font face="verdana" size="2"><b>&Aacute;ngel P&eacute;rez Ju&aacute;rez*</b></font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><i>* Universidad Aut&oacute;noma de la Ciudad de M&eacute;xico, M&eacute;xico.</i> <a href="mailto:angel5969@gmail.com">angel5969@gmail.com</a></font></p>  	    ]]></body>
<body><![CDATA[<p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2">Fecha de recepci&oacute;n: 26 de noviembre de 2010.</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><b>Resumen</b></font></p>  	    <p align="justify"><font face="verdana" size="2">Se demuestra la condici&oacute;n de ortogonalidad entre dos rectas sin usar funciones trigonom&eacute;tricas. La alternativa es plantear una ecuaci&oacute;n de segundo grado y recurrir a las propiedades de estas ecuaciones, tales como la relaci&oacute;n entre el n&uacute;mero de soluciones y el signo del discriminante de la ecuaci&oacute;n cuadr&aacute;tica. Esta manera de resolver el problema de ortogonalidad entre rectas nos muestra, de paso, la utilidad de algunas propiedades de un polinomio cuadr&aacute;tico.</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><b>Abstract</b></font></p>  	    <p align="justify"><font face="verdana" size="2">A proof of the orthogonality condition between two lines without using trigonometric functions is presented. The alternative proof consists in developing a second degree equation and working with quadratic equations properties, such as the relationship between the number of solutions and the discriminant sign. This approach shows as well the usefulness of some of the properties of a quadratic polynomial.</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2">La motivaci&oacute;n para buscar una prueba de la ortogonalidad entre rectas sin usar trigonometr&iacute;a es que, en los cursos de &aacute;lgebra elemental que he impartido, si bien se incluye en el temario la revisi&oacute;n de algunos conceptos de trigonometr&iacute;a, este tema viene al final del curso, mientras que la condici&oacute;n de ortogonalidad se suele utilizar antes, en el tema de l&iacute;nea recta.</font></p>  	    ]]></body>
<body><![CDATA[<p align="justify"><font face="verdana" size="2">En textos elementales que incluyen trigonometr&iacute;a, como en Zill o en Corral, se prueba la identidad de la tangente de una diferencia de &aacute;ngulos y, a partir de ah&iacute;, es relativamente simple probar la condici&oacute;n de rectas perpendiculares, que no es la herramienta que se utiliza aqu&iacute;.</font></p>  	    <p align="justify"><font face="verdana" size="2">Existe una condici&oacute;n bien conocida de perpendicularidad entre dos rectas, que es: dos rectas, con pendiente diferente de cero, son ortogonales si y s&oacute;lo si el producto de sus pendientes es &#45;1.</font></p>  	    <p align="justify"><font face="verdana" size="2">Suponiendo que las rectas son ortogonales, se va a demostrar que <i>m</i><sub>1</sub><i>m</i><sub>1</sub> = &#45;1.</font></p>  	    <p align="justify"><font face="verdana" size="2">Sean las rectas con ecuaciones</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e1.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2">Como las rectas no son paralelas, existe un punto de intersecci&oacute;n entre ellas que denotamos con <i>I</i>(x<sub>0</sub>, y<sub>0</sub>). Consideremos una recta horizontal que no pasa por el punto <i>I</i>. Sin perder generalidad, supongamos que la ecuaci&oacute;n de esta recta horizontal es H: y = <i>k</i> con <i>k</i> &ne; y<sub>0</sub>. Esta recta H interseca las rectas <i>L</i><sub>1</sub> y <i>L</i><sub>2</sub> en los puntos <i>P</i><sub>1</sub> y <i>P</i><sub>2</sub>, respectivamente, y sus coordenadas son <i>P</i><sub>1</sub>(<i>x</i><sub>1</sub>, <i>k</i>) y <i>P</i><sub>1</sub>(<i>x</i><sub>2</sub>, <i>k</i>) por estar en la recta horizontal H.</font></p>  	    <p align="justify"><font face="verdana" size="2">El tri&aacute;ngulo <i>P</i><sub>1</sub><i>P</i><sub>2</sub><i>I</i> es rect&aacute;ngulo y, por tanto, podemos aplicar el teorema de Pit&aacute;goras, donde la hipotenusa es el segmento <i>P</i><sub>1</sub><i>P</i><sub>2</sub> y los catetos son P<sub>1</sub><i>I</i> y P<sub>2</sub><i>I</i>. Estos tres lados satisfacen la relaci&oacute;n</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e2.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Si utilizamos la f&oacute;rmula de la distancia entre dos puntos para cada uno de estos segmentos, se tiene</font></p>  	    ]]></body>
<body><![CDATA[<p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e3.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">sustituyendo estas expresiones en (1)</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e4.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Con las coordenadas de los puntos <i>P</i><sub>1</sub> e <i>I</i> podemos escribir</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e5.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Sustituimos estas dos expresiones en (2).</font></p>  	    <p align="justify"><font face="verdana" size="2">Ahora sumamos x<sub>0</sub>&#150; x<sub>0</sub> en el par&eacute;ntesis del lado derecho</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e6.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Desarrollando el lado derecho, lo podemos escribir en la forma</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e7.jpg"></font></p>  	    ]]></body>
<body><![CDATA[<p align="justify"><font face="verdana" size="2">La ecuaci&oacute;n (5) queda como</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e8.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">En esta ecuaci&oacute;n se cancelan los t&eacute;rminos (x<sub>2</sub>&#45; x<sub>0</sub>)<sup>2</sup> y (x<sub>1</sub>&#45; x<sub>0</sub>)<sup>2</sup> que aparecen en ambos lados de la ecuaci&oacute;n. Se tiene entonces</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e9.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Las cantidades (x<sub>2</sub> &#45; x<sub>0</sub>) y (x<sub>1</sub> &#45; x<sub>0</sub>) no son cero, ya que los puntos <i>P</i><sub>1</sub> y <i>P</i><sub>2</sub> est&aacute;n necesariamente a la izquierda y a la derecha del punto de intersecci&oacute;n de las rectas. Si dividimos entre (x<sub>2</sub> &#45; x<sub>0</sub>)(x<sub>1</sub> &#45; x<sub>0</sub>) la &uacute;ltima ecuaci&oacute;n</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e10.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Definimos la cantidad &#958; como</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e11.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">con lo que</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e12.jpg"></font></p>  	    ]]></body>
<body><![CDATA[<p align="justify"><font face="verdana" size="2">Si multiplicamos por &#958; e igualamos a cero</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e13.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">Ya se dijo anteriormente que ninguna de las rectas L<sub>1</sub> y L<sub>2</sub> tienen pendiente cero y, como son rectas perpendiculares, ninguna de ellas es vertical. Por tanto, ninguno de los puntos <i>P</i><sub>1</sub> y <i>P</i><sub>2</sub> tiene su primera coordenada igual a x<sub>0</sub>. De la geometr&iacute;a elemental sabemos que, por ser no paralelas, las rectas L<sub>1</sub> y L<sub>2</sub> se intersecan en un solo punto, <i>i</i>.<i>e</i>. <i>x</i><sub>0</sub> es &uacute;nico. Una vez que se escogen los puntos <i>P</i><sub>1</sub> y <i>P</i><sub>2</sub> y con <i>x</i><sub>0</sub> &uacute;nico, se tiene que el valor de &#958; tambi&eacute;n lo es. La ecuaci&oacute;n (6), que es de segundo grado en &#958;, tiene soluci&oacute;n &uacute;nica, pues proviene de la condici&oacute;n de las dos rectas no paralelas. Luego, el discriminante de esta ecuaci&oacute;n debe ser cero</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e14.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">y de aqu&iacute; se sigue de inmediato que</font></p>  	    <p align="center"><font face="verdana" size="2">m<sub>1</sub>m<sub>2</sub> =&nbsp;&plusmn;&nbsp;1</font></p>  	    <p align="justify"><font face="verdana" size="2">La soluci&oacute;n de la ecuaci&oacute;n cuadr&aacute;tica para &#958; es</font></p>  	    <p align="center"><font face="verdana" size="2"><img src="/img/revistas/ed/v22n3/a7e15.jpg"></font></p>  	    <p align="justify"><font face="verdana" size="2">De la definici&oacute;n de &#958; tenemos que (x<sub>2</sub> &#45; x<sub>0</sub>) y (x<sub>0</sub> &#45; x<sub>1</sub>) son de igual signo; con (x<sub>2</sub> &#45; x<sub>0</sub>) &lt; 0, se tiene que (x<sub>0</sub> &#45; x<sub>1</sub>) &lt; 0. Antes dijimos que <i>k</i> &gt; y<sub>0</sub> , <i>i.e. k</i> &#45; <i>y</i><sub>0</sub> &gt; 0 y, con estos signos en las pendientes (3) y (4), tenemos que <i>m</i><sub>1</sub> &lt; 0 y <i>m</i><sub>2</sub> &gt; 0.</font></p>  	    <p align="justify"><font face="verdana" size="2">Conclusi&oacute;n: <i>m</i><sub>1</sub><i>m</i><sub>2</sub> =&nbsp;&#45;1</font></p>  	    ]]></body>
<body><![CDATA[<p align="justify"><font face="verdana" size="2">De los detalles de esta demostraci&oacute;n, podemos apreciar la relevancia de las propiedades de un polinomio cuadr&aacute;tico y de la f&oacute;rmula general para resolver una ecuaci&oacute;n cuadr&aacute;tica. Se ha utilizado la relaci&oacute;n que hay entre el signo del discriminante de una ecuaci&oacute;n de segundo grado y el tipo de soluci&oacute;n de esa ecuaci&oacute;n.</font></p>  	    <p align="justify"><font face="verdana" size="2">En el texto de Zill se propone la demostraci&oacute;n como un ejercicio para el lector.</font></p>  	    <p align="justify"><font face="verdana" size="2">En el libro de Stewart se resuelve el mismo problema que propone Zill, pero se hace con la restricci&oacute;n de que las rectas pasan por el origen, lo que no le quita generalidad a la demostraci&oacute;n.</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><b>REFERENCIAS BIBLIOGR&Aacute;FICAS</b></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">Corral, M., <i>Trigonometry</i>, GNU free documentation, <a href="http://www.mecmath.net/trig" target="_blank">http://www.mecmath.net/trig</a>.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=739168&pid=S1665-5826201000030000700001&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">Stewart, J., L. Redlin y S. Watson, <i>Precalculus. Mathematics for Calculus</i>, 4a. ed., Brooks/Cole, Thomson Learning.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=739170&pid=S1665-5826201000030000700002&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">Zill, D. G., <i>Prec&aacute;lculo</i>, con avances de c&aacute;lculo, 4a. ed., McGraw&#45;Hill.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=739172&pid=S1665-5826201000030000700003&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>      ]]></body><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Corral]]></surname>
<given-names><![CDATA[M]]></given-names>
</name>
</person-group>
<source><![CDATA[Trigonometry]]></source>
<year></year>
<publisher-name><![CDATA[GNU]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Stewart]]></surname>
<given-names><![CDATA[J]]></given-names>
</name>
<name>
<surname><![CDATA[Redlin]]></surname>
<given-names><![CDATA[L]]></given-names>
</name>
<name>
<surname><![CDATA[Watson]]></surname>
<given-names><![CDATA[S]]></given-names>
</name>
</person-group>
<source><![CDATA[Precalculus. Mathematics for Calculus]]></source>
<year></year>
<edition>4a</edition>
<publisher-name><![CDATA[Brooks/ColeThomson Learning]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Zill]]></surname>
<given-names><![CDATA[D. G]]></given-names>
</name>
</person-group>
<source><![CDATA[Precálculo]]></source>
<year></year>
<edition>4a</edition>
<publisher-name><![CDATA[McGraw-Hill]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
