You are on page 1of 16

Geometra Eucldea Plana

Primer Cuatrimestre 2010

Coordenadas cartesianas y trigonometra


1. Coordenadas cartesianas 2. Trigonometra y funciones trigonomtricas 3. Producto interno y ngulo entre rectas 4. La frmula de Hern y extensiones 5. Modelo de geometra eucldea 6. Ejercicios 7. Bibliografa 1 5 10 12 14 15 16

Aunque un poco largo, este apunte tiene poca teora y pocos ejercicios. Ms bien se trata de una puesta en comn de temas que son conocidos en su mayora, tal vez desde un punto de vista diferente.

1. Coordenadas cartesianas
La idea de las coordenadas cartesianas, que ya conocemos de la secundaria, es identicar a un punto con un par de nmeros (en el caso del plano), cada uno de ellos determinado por la proyeccin sobre dos rectas perpendiculares del punto. Concretamente: a) Se dan dos rectas, que normalmente llamamos eje y eje , perpendiculares entre s y que se intersecan en un punto , el origen de coordenadas. b) Para cada eje se ja una semirrecta (dando una orientacin), y se establece una correspondencia biunvoca entre puntos del eje y nmeros reales , de modo que si si y slo si = || y > 0 si y slo si est en la semirrecta elegida. Estas semirrectas se llaman de positivos o positivos. c) La ubicacin relativa (en qu semiplano) de la semirrecta de positivos con respecto a la semirrecta de positivos da una orientacin al plano, que arbitrariamente decimos positiva. Es convencional gracar la semirrecta de positivos hacia la derecha y la semirrecta de positivos hacia arriba, de modo que la orientacin positiva coincide con el sentido antihorario.

Pg. 2

Coordenadas cartesianas y trigonometra d) Para cada punto en el plano se consideran dos nuevos puntos y . es el pie de la perpendicular al eje por , y el pie de la perpendicular al eje por . se identica con un nmero real, digamos , segn el eje ; y del mismo modo se identica con otro nmero real, digamos , segn el eje . es la coordenada de , y la coordenada , y representamos el par mediante (, ). De modo que tenemos una asignacin (, ). En particular, (0, 0). e) Recprocamente, cada par de coordenadas (, ) determina un nico punto en el plano mediante la interseccin de dos rectas: una que pasa por el punto correspondiente a en el eje y es paralela al eje , y la otra que pasa por el punto correspondiente a el eje y es paralela a eje . f ) Tenemos entonces una forma de identicar puntos del plano con pares de nmeros reales, (, ).
 Hay distintas formas de indicar que un punto tiene coordenadas (, ). Nosotros pondremos directamente = (, ), aunque tambin es muy comn (, ), o an : (, ).

Observemos que los puntos del eje tienen coordenadas de la forma (, 0) (y recprocamente), mientras que los del eje tienen coordenadas (0, ). Adems, si = (1 , 2 ) y = (1 , 2 ) son dos puntos, entonces la distancia est dada por = (1 1 )2 + (2 2 )2 , (1) ya que si, por ejemplo, 1 1 , tomamos = (1 , 2 ) formando el tringulo rectngulo en , y las longitudes de los catetos son |1 1 | y |2 2 |.
 La denominacin cartesiano proviene de Cartesius, el nombre latn de Ren Descartes (15961650). Descartes introdujo el mtodo de coordenadas en su trabajo La geometra [1], uno de los apndices de su obra El Discurso del Mtodo. Si bien hay antecedentes de algunas de sus ideas, fue el primero en aplicar sistemticamente tcnicas de lgebra para resolver problemas de geometra. Aunque parecera que nos atamos a un sistema de coordenadas, distinguiendo dos rectas y su interseccin, el mismo Descartes enfatiz la generalidad del mtodo, por ejemplo ubicando el origen y los ejes en cualquier lado, inclusive no perpendiculares entre s.

La relacin entre la geometra y el lgebra mediante el uso de coordenadas estn dados por la suma de puntos y el producto por escalar (o sea, por nmeros).
 Descartes no considera explcitamente este tipo de estructura de espacio vectorial, sino que sta fue fruto de elaboraciones posteriores.

Producto por escalar: Dados R y el punto = (, ), denimos como el punto de coordenadas (, ). Suma: Dados los puntos = (1 , 2 ) y = (1 , 2 ) denimos la suma + como el punto de coordenadas (1 + 1 , 2 + 2 ). Observamos que las leyes conmutativas, asociativas, distributiva, etc., para suma y producto de nmeros se trasladan a estas nuevas operaciones, ya que estn denidas mediante coordenadas, que son nmeros reales. Por ejemplo, ( + ) = + o ( + ) = + . Se sigue que a partir de estas dos

1. Coordenadas cartesianas operaciones bsicas podemos considerar expresiones como = + (1), o 2 + 5. Veamos primero el signicado del producto por escalar. Consideremos = (1 , 2 ) jo, , y veamos que cuando variamos R, los puntos = (1 , 2 ) forman la recta . Poniendo = { : R}, ciertamente = 0 y = 1 . Adems, cuando 1 = 0, es el eje , y cuando 2 = 0, es el eje . Si 1 , 2 y no son nulos, los tringulos de vrtices = (0, 0), = (1 , 0), = (1 , 2 ) y , = (1 , 0), = (1 , 2 ) son semejantes ya que son rectngulos en y , y los catetos estn en la proporcin |2 /1 |, siendo los ngulos y iguales si > 0 y opuestos por el vrtice si < 0.
 Cuando > 0 (y 1 y 2 no son nulos), los puntos y estn en un mismo semiplano respecto de tanto el eje como el eje , mientras que estn en semiplanos opuestos si < 0. Los ngulos y deben medirse segn las semirrectas y y los semiplanos que contienen a y (semirrectas y semiplanos que coinciden si > 0 y son distintos si < 0).  Recordar que y las coordenadas pueden ser negativos, y los catetos miden |1 |, |1 |, etc.

Pg. 3

La expresin = , R, o el equivalente en coordenadas (suponiendo = (, )), = 1 , = 2 , R,

se conoce como ecuacin paramtrica de la recta . Si dejamos jo, 0, y variamos , la transformacin resulta ser entonces una homotecia de coeciente y centro . Por otra parte, la suma est asociada a la traslacin: para jo, la aplicacin + es la traslacin en -. Para ver esto deberamos ver que si = + , es un paralelogramo (eventualmente degenerado si , y son colineales), pero esto es cierto porque los lados opuestos tienen igual longitud. Por ejemplo 2 = (1 1 )2 + (2 2 )2 = = (1 + 1 1 )2 + (2 + 2 2 )2 = 1 2 + 2 2 = 2 . Es claro que la traslacin en - siendo la inversa de la traslacin en - puede expresarse como (= + ()), y que la traslacin en - puede ponerse como + ( ) ya que mediante esa traslacin . Consecuentemente, si trasladamos la recta en - obtendremos una recta que pasa por y + , y sus puntos sern de la forma = + , con . O, de otra forma, los puntos de la recta por y puede expresarse como = + con en la recta por y , y podemos escribir la ecuacin paramtrica de la recta como = ( ) + , R,

o equivalentemente, = + (1 ) para R, o, escrita en coordenadas, = (1 ) 1 + 1 , = (1 ) 2 + 2 , R. (2)

Pg. 4
v

Coordenadas cartesianas y trigonometra


A veces esta forma se llama afn, y es independiente del sistema de coordenadas en el sentido que si es otro centro y y son nuevos ejes (perpendiculares entre s), la misma recta tiene por ecuacin paramtrica = (1 ) + , donde y son las coordenadas de y en el nuevo sistema. Estos temas se ven en cursos de lgebra lineal.

Cuando ponemos = ( ) + , con > 0 estamos en la semirrecta (pensar en el caso = y luego trasladar), pero como tambin = (1 )( ) + , estaremos en la semirrecta si < 1. En n, estaremos en el segmento cuando 0 < < 1. En particular, el punto medio del segmento puede ponerse como = 1 + 1 = 1 ( + ). En efecto, si = (1 , 2 ), = (1 , 2 ), y = (1 + 2 2 2 1 )/2, (2 + 2 )/2 , tendremos 2 = 1 1 + 1 2
2

+ 2

2 + 2 2

1 1 2

2 2 2

1 2 , 4

es decir, = /2. Del mismo modo, = /2, y por lo tanto debe estar entre y , y es el punto medio del segmento . A veces queremos vericar si un punto de coordenadas (, ) est en la recta, y entonces es conveniente eliminar de las ecuaciones en (2). Multiplicando la ecuacin para por 2 2 , la ecuacin para por 1 1 , y restando las as obtenidas, llegamos a (2 2 ) + (1 1 ) = (2 2 ) 1 + (1 1 ) 2 , que es de la forma + = , donde , , son nmeros reales, y adems y no se anulan simultneamente. Esta forma se conoce como ecuacin implcita de la recta. Dada la forma implcita, si queremos obtener una forma paramtrica bastar con encontrar un par de puntos distintos, y , sobre la recta. Observemos tambin que la forma implcita no es nica, en el sentido de que si jamos 0 y ponemos = , = , = , la ecuacin + = dene la misma recta (tiene las mismas soluciones (, )).
 La forma = + es un caso particular (donde, por ejemplo, = y = 1), que es especialmente til cuando se estudian funciones . Tambin podemos pensar que la forma = + es paramtrica tomando como parmetro .

Si tenemos un punto = (1 , 2 ) y una recta de ecuacin + = , que queremos trasladar en -, los puntos = (, ) en la recta trasladada sern tales que = ( 1 , 2 ) estn en la recta original, i.e., una ecuacin para la recta trasladada es ( 1 ) + ( 2 ) = , o + = + (1 + 2 ).

Observemos tambin que si tenemos dos rectas de ecuaciones + = y + =

2. Trigonometra y funciones trigonomtricas respectivamente, entonces si no hay puntos comunes y las rectas son paralelas. Por ejemplo, si tenemos una recta de ecuacin + = , y queremos encontrar la ecuacin de la recta paralela que pasa por = (1 , 2 ), bastar tomar + = 1 + 2 . Recprocamente, si tenemos dos rectas paralelas podemos tomar un punto en cada una de ellas, digamos y , y trasladarlas al origen (la primera en - y la segunda en -) de modo que coinciden en una recta que tendr ecuacin de la forma + = 0 (pues (0, 0) est en ella). Al trasladar esta recta en - y en - obtendremos que las rectas paralelas pueden representarse con el mismo trmino izquierdo y distinto coeciente en el trmino a la derecha. Supongamos ahora que tenemos rectas y de ecuaciones : + = , : + = ,

Pg. 5

(con y no ambos nulos, y lo mismo para y ) y queremos encontrar su interseccin. Multiplicando la primer ecuacin por y restando la segunda ecuacin multiplicada por , obtenemos ( ) = , y de modo similar (multiplicando una por , la otra por , y restando), ( ) = . Vemos que habr un nico punto en la interseccin si y slo si 0, mientras que si esa cantidad se anula, las rectas y coinciden si = = 0, y son paralelas pero distintas en otro caso, en concordancia con lo expresado sobre la unicidad de la forma implcita y el paralelismo.
 La cantidad se llama el determinante del sistema de ecuaciones que denen a y .

Terminamos esta seccin describiendo la ecuacin implcita de una circunferencia. Por la frmula para la distancia (1), si el centro tiene coordenadas (, ) y el radio es , los puntos de la circunferencia estn caracterizados por la ecuacin ( )2 + ( )2 = 2 . Cuando queremos dar una forma paramtrica de la circunferencia, debemos usar funciones trigonomtricas como seno y coseno, que pasamos a estudiar.

2. Trigonometra y funciones trigonomtricas


Suponemos conocidas las deniciones y resultados bsicos de las funciones trigonomtricas, al menos para ngulos entre 0 y 90 . El tema est desarrollado en 14 de Pogorlov [3], y aqu comenzamos con un breve repaso. Supongamos que es un ngulo con 0 < < 90 . Si los dos tringulos y , son rectngulos en y (con hipotenusas y ), y tienen =

Pg. 6

Coordenadas cartesianas y trigonometra = , los tringulos sern semejantes (pues tambin debe ser = ), y los lados son proporcionales: = = . As tenemos la igualdad de los cocientes , = que es usual expresarlos como cateto opuesto , hipotenusa cateto adyacente , hipotenusa cateto opuesto , cateto adyacente , = , =

cocientes que dependen slo del ngulo , dando lugar a las funciones trigonomtricas seno, coseno y tangente del ngulo . 2.1. Denicin tradicional de funciones trigonomtricas. Sea el ngulo del tringulo que es rectngulo en . Denimos sen = cateto opuesto = , hipotenusa cateto adyacente cos = = , hipotenusa cateto opuesto sen = = . tan = cateto adyacente cos

 Manteniendo 0 < < 90 , al considerar el ngulo complementario = 90 , a partir de la misma denicin tendremos sen = cos y cos = sen ,

es decir, el seno de un ngulo es el coseno de su complemento.  Algunos autores abrevian tg en vez de tan.  Hay otras funciones trigonomtricas, como la secante, la cotangente y la cosecante, que se derivan las anteriores y que deniremos cuando sea necesario.

2.2. Teorema (14.4 en Pogorlov). a) sen 45 = cos 45 = 1/ 2, tan 45 = 1.

b) sen 30 = cos 60 = 1/2, cos 30 = sen 60 = 3/2. c) tan 30 = 1/ 3, tan 60 = 3.

Como estn denidas por medio de tringulos rectngulos, las funciones sen, cos y tan slo pueden tomar argumentos entre 0 y 90 (estrictamente), y nos va a resultar conveniente considerar ngulos de cualquier tamao, inclusive negativos. Para ello tomamos la circunferencia unitaria, es decir, la circunferencia con centro (0, 0) y radio 1, y tomando como punto inicial = (1, 0), podemos asociar a cada R un arco en la circunferencia unitaria donde uno de los extremos es de modo que la longitud del arco es ||.

2. Trigonometra y funciones trigonomtricas Como tenemos una orientacin del plano dada por los ejes cartesianos, consideramos que para > 0 estamos recorriendo la circunferencia unitaria en sentido positivo y que para < 0 la recorremos en sentido negativo. De esta forma, se corresponde con un ngulo central cuya medida en radianes es (pues el radio de la circunferencia es 1), y eventualmente puede dar varias vueltas. Si el otro extremo del arco correspondiente a es (el primero es = (1, 0)), tendremos una asignacin , que no es biunvoca. Por ejemplo, mediante la asignacin tendremos 0 (1, 0), /2 (0, 1), (1, 0), 2 (1, 0), (1, 0). En general, y si y slo si es un mltiplo entero de 2. 2.3. Denicin (extensin de funciones trigonomtricas). Con las convenciones anteriores, para R y = (, ) denimos sen = , cos = , tan = sen = cos (si 0).

Pg. 7

 Las deniciones coinciden con las tradicionales cuando 0 < < /2 (recordar que est en radianes).  Como cada vez que consideramos ngulos mayores de 180 o menores que 0 , nuestras deniciones no son muy rigurosas. En cursos de anlisis matemtico se ve cmo denir seno y coseno rigurosamente, ya sea por medio de series o por funciones inversas de funciones denidas mediante integrales.

As tenemos, por ejemplo, sen 0 = 0 y cos 0 = 1 (pues 0 (1, 0) mediante la correspondencia); y tambin sen(/2) = 1 y cos(/2) = 0 (pues /2 (0, 1)). 2.4. Teorema. Para R, a) sen = sen(), cos = cos(), tan = tan(). b) sen( + 2) = sen , cos( + 2) = cos . c) sen( + ) = sen , cos( + ) = cos , tan( + ) = tan . d) sen( ) = sen , cos( ) = cos . e) sen(/2 ) = cos , cos(/2 ) = sen . f) sen(/2 + ) = cos , cos(/2 + ) = sen .
k a) El arco correspondiente a tiene igual longitud, ||, que el correspondiente a , pero est recorrido en sentido contrario. Como ambos arcos empiezan a recorrerse a partir de (1, 0), los puntos nales son simtricos respecto del eje : las coordenadas cambian de signo mientras que las las mantienen. tan = sen / cos = sen()/ cos() = tan().  La igualdad sen = sen() dice que el grco del seno es simtrico respecto del punto (0, 0) (i.e., la funcin es impar), mientras que la igualdad cos = cos() dice que el grco del coseno es simtrico respecto de la recta = 0 (i.e., la funcin es par). De modo similar, la funcin tangente es impar. b) El arco correspondiente a + 2 se obtiene dando una vuelta ms al arco dado por , y los puntos correspondientes a y + 2 (como en la denicin 2.3) coinciden.  Esto dice que tanto el seno como el coseno son funciones peridicas de perodo 2.

Pg. 8
1 0.5 2 0.5 1 2

Coordenadas cartesianas y trigonometra

3 2

5 2

Figura 1: grcos del seno (en lnea llena) y coseno (en lnea de puntos).
c) El arco correspondiente a + se obtiene como el arco correspondiente a al cual se le suma un arco de longitud , i.e., los puntos nales de los arcos son simtricos respecto de (0, 0). Las coordenadas correspondientes cambian de signo. tan( + ) = sen( + )/ cos( + ) = ( sen )/( cos ) = tan .  Esto dice que la tangente es una funcin peridica, de perodo . d) Resultan de los incisos anteriores. Por ejemplo, sen( ) = sen( + ()) = sen() = sen .  Siendo que las identidades resultan de la composicin de una simetra central y una reexin en el eje , en realidad tambin pueden demostrarse usando que corresponden a una simetra respecto del eje . e) Tomando = /4, resulta = /4 + , /2 = /4 + , es decir, los arcos correspondientes a y /2 resultan de agregar o quitar un mismo arco, de longitud ||, a /4. Por lo tanto los extremos de los arcos correspondientes a y /2 son simtricos respecto de la recta = , y sus coordenadas se intercambian.  Poniendo = /2, de sen(/2) = cos resulta sen = cos(/2 ), que es la segunda identidad en este inciso. En otras palabras, las dos identidades en este inciso son equivalentes. f ) Se deduce de las anteriores, e.g., sen(/2 + ) = sen(/2 ()) = cos() = cos .  Combinando los incisos anteriores, vemos que el grco del seno es simtrico respecto de la recta = /2, mientras que la del coseno es simtrico respecto del punto (/2, 0).

Por 2.4, para hacer el grco del seno (ver gura 1) bastar hacerlo entre 0 y /2, donde sabemos que es creciente (ver el apunte sobre longitud de la circunferencia), ya que la gura es simtrica respecto de = /2 y entonces conocemos el grco entre 0 y , luego que es simtrica respecto de (0, 0), y entonces conocemos el grco entre y , nalmente usamos que es peridica de perodo 2 para completar cualquier otro valor. El grco del coseno se obtiene a partir del correspondiente al seno, trasladado en la direccin en /2 pues cos = sen( + /2). De modo similar, para hacer el grco de la tangente (ver gura 2) basta conocer los valores de la tangente entre 0 y /2 (excluido), pues por imparidad se conocen los valores entre /2 y 0 y luego se usa la periodicidad. 2.5. Teorema (relacin pitagrica). Para todo , sen2 + cos2 = 1.
k El punto (cos , sen ) es un punto de la circunferencia unitaria.

2. Trigonometra y funciones trigonomtricas


4

Pg. 9

2 1

3 2

Figura 2: grco de la tangente.

Todo punto , = (, )

(0, 0), puede escribirse en forma polar poniendo = (cos , sen ), (3)

donde es la distancia de al origen de coordenadas . En efecto, la semirrecta corta a la circunferencia unitaria en algn punto, digamos , que tendr coordenadas (cos , sen ) para algn (en realidad hay ms de un valor de , basta sumar mltiplos enteros de 2), y una homotecia de coeciente llevar a , i.e., = . 2.6. Teorema (seno y coseno de la suma). Si y son ngulos cualesquiera, sen( + ) = sen cos + cos sen , cos( + ) = cos cos sin cos .
 Estamos acostumbrados a funciones lineales, es decir, tales que ( + ) = () + (). Hay que resistir la tentacin de poner cosas como sen( + ) = sen + sen (o como + = + ). k Supongamos que R y que mediante la correspondencia de la denicin 2.3, . Para R, consideremos la rotacin de centro (0, 0) en un ngulo de . Si = (1, 0), mediante la rotacin tendremos , , donde y son los puntos que le corresponden a y = + mediante la correspondencia de la denicin 2.3. Como la rotacin preserva distancias, tendremos = , o 2 = (1 cos )2 + (sen )2 = 2 = (cos cos )2 + (sen sen )2 ,

Pg. 10

Coordenadas cartesianas y trigonometra


que desarrollando y simplicando se reduce sucesivamente a 1 2 cos + cos2 + sen2 = cos2 2 cos cos + cos2 + + sen2 2 sen sen + sen2 , 2 2 cos = 2 2 cos cos 2 sen sen , cos = cos cos + sen sen . Tomando = + , = , = + = , y usando que cos() = cos y sen() = sen , obtenemos la frmula para el coseno de la suma. Por 2.4 y la frmula que acabamos de ver, sen( + ) = cos /2 ( + ) = cos (/2 ) + () = = cos(/2 ) cos() sen(/2 ) sen() = = sen cos + cos sen .  En el ejercicio 6.3 se ve otra demostracin, a partir del teorema del seno.

2.7. Corolario. a) sen(2) = 2 sen cos . b) cos(2) = cos2 sen2 . c) sen2 = 1 cos(2) /2. d) cos2 = 1 + cos(2) /2.
k Las dos primeras son consecuencia directa del teorema anterior. Las siguientes se obtienen expresando 1 como cos2 + sen2 .

En los siguientes resultados suponemos que en el tringulo los lados se denotan por , y , donde es el lado opuesto al vrtice , el lado opuesto a y el lado opuesto a , y los ngulos son = , = , = . 2.8. Teorema del seno (14.7 en Pogorlov). Si es el radio de la circunferencia circunscripta del tringulo , entonces = = = 2. sen sen sen 2.9. Teorema del coseno (14.6 en Pogorlov). En el tringulo , 2 = 2 + 2 2 cos .

3. Producto interno y ngulo entre rectas


Como vimos al principio, para y jos, no simultneamente nulos, la expresin + = 0 determina los puntos (, ) sobre una recta, llammosla . Si (, ) es un mltiplo no nulo de (, ), i.e., (, ) = (, ), con 0, la expresin + = 0 sigue siendo la ecuacin de la recta si y estn jos y variamos (, ). (4)

3. Producto interno y ngulo entre rectas Si tomamos un punto (0 , 0 ) , (0 , 0 ) (0, 0), haciendo variar (, ) en la expresin 0 + 0 = 0, nos da una recta de puntos de coordenadas (, ). Como esta recta pasa por el origen, y (, ) , los puntos de son los mltiplos de (, ). No importa qu puntos (0 , 0 ) tomemos en (mientras no sea el (0, 0)), siempre obtenemos la misma recta . As, podemos ver la expresin (4) tanto como la ecuacin de la recta si variamos (, ) (y (, ) (0, 0)), como la ecuacin de la recta si variamos (, ) (y (, ) (0, 0)).
 Esta dualidad se reeja en cursos de lgebra lineal, deniendo el espacio dual de un espacio con producto interno.

Pg. 11

Las rectas y se intersecan en el origen, pero, qu otra relacin geomtrica hay entre las rectas y ? Para eso ser conveniente estudiar la expresin +. 3.1. Denicin. Dados los puntos (, ) y (, ), el producto interno de ellos es el nmero + .
 Tambin se lo denomina producto escalar, porque el resultado es un escalar (i.e., un nmero), pero trataremos de evitar esta nomenclatura para no confundirnos con el producto por escalar que vimos al principio.

Si = (, ) y = (, ), entonces la distancia entre ellos viene dada por (1), 2 = ( )2 + ( )2 = 2 + 2 2 + 2 + 2 2 = = ( )2 + ()2 2 ( + ), que por un lado involucra el producto interno de y , y por otro lado se parece al teorema del coseno, que podramos poner como 2 = ( )2 + ()2 2 cos( ). Igualando trminos en las expresiones anteriores llegamos a + = cos( ), que relaciona el producto interno de y con el ngulo que forman tomando como vrtice a = (0, 0). Volviendo a las rectas y , vemos que el ngulo formado entre ellas debe ser 90 = /2 (pues /2 es el nico ngulo entre 0 y tal que su coseno se anula). Dos rectas (distintas) que se intersecan forman cuatro ngulos, dos iguales y los otros dos suplementarios de los primeros, y los cosenos de estos ngulos son los mismos salvo el signo (pues cos = cos( ), ver 2.4). Si las rectas se intersecan, aunque no sea en el origen, y tienen ecuaciones + = y + = ,

los ngulos formados por ellas son idnticos a los formados por las rectas trasladadas paralelamente al origen, que tienen ecuaciones + = 0 y + = 0.

Pg. 12

Coordenadas cartesianas y trigonometra A su vez, estas rectas por el origen se intersecan a los mismos ngulos en que lo hacen sus perpendiculares, que son las rectas por y (, ) y por y ( , ), por lo que podemos encontrar los ngulos que forman las rectas originales encontrando , 0 < < , tal que + cos = , 2 + 2 2 + 2 (5)

y su suplementario. Si = (1 , 2 ) es un punto, y es una recta de ecuacin + = (con (, ) variando), podemos encontrar la ecuacin (en , ) de la recta perpendicular a que pasa por tomando = 1 2 , puesto que esta recta pasa por , y adems es ortogonal a la recta ya que + () = 0. Encontrando , podemos encontrar entonces dist( , ) = . En n, si = (, ) (0, 0), a medida que variamos las rectas de ecuacin + = son rectas paralelas entre s, todas perpendiculares a la recta .
v Pensando en 3 dimensiones, las rectas mencionadas son las curvas de nivel de la funcin (, ) + . En cursos de clculo de varias variables se ve que el gradiente de esta funcin es precisamente (, ) (el gradiente se puede pensar como la pendiente en tres dimensiones), y que el gradiente es siempre perpendicular a las curvas de nivel, justamente por lo que estamos contando.

Ms an, cuando 2 + 2 = 1, || indica la distancia al origen de la recta + = , pues la recta por = (0, 0) perpendicular a la recta tiene ecuacin = 0, el sistema de ecuaciones + = , = 0, tiene solucin = (, ), y = ||. De modo que cuando 2 + 2 = 1, la distancia de un punto = (1 , 2 ) a la recta de ecuacin + = puede escribirse sencillamente como |1 +2 | (ya que dist( , ) = dist(, ) donde es la paralela a trasladada en -). Observemos nalmente que siempre podemos poner la ecuacin de una recta en la forma + = , con 2 +2 = 1: basta dividirla (miembro a miembro) por 2 + 2 . Por otra parte, la condicin 2 + 2 = 1 puede expresarse, en forma nica, como = cos , = sen , para algn , 0 < ( indica una direccin perpendicular a la recta).

4. La frmula de Hern y extensiones


En esta seccin suponemos que en el tringulo los lados son , y , donde es el lado opuesto al vrtice , el lado opuesto a y el lado opuesto a , y los ngulos son = , = , = . Usando trigonometra, podemos llegar a ecuaciones para el rea del tringulo:

4. La frmula de Hern y extensiones 4.1. Proposicin. Si es el rea del tringulo , = sen sen sen = = . 2 2 2

Pg. 13

k sen es la altura correspondiente a la base . Los restantes se hacen de modo similar.

Sin embargo, dado que los tres lados determinan esencialmente un nico tringulo, deberamos poder encontrar una frmula que involucre slo a los lados. 4.2. Proposicin (frmula de Hern). Indicando con el rea del tringulo y con el semipermetro, = ( + + )/2, tenemos 2 = ( )( )( ).
 La frmula se atribuye a Hern de Alejandra (aproximadamente entre 126 y 50 a.C.) pues dio una demostracin en su libro Mtrica (sin usar trigonometra), pero se supone que la frmula ya era conocida por Arqumedes (aproximadamente entre 285 y 212 a.C.). k Comenzando con = ( sen )/2, o lo que es lo mismo 2 = sen , queremos eliminar el seno. El teorema del coseno nos da una expresin similar 2 = 2 + 2 2 cos , o 2 cos = 2 + 2 2 , y podemos combinarlas mediante la relacin pitagrica: 16 2 = 42 2 sen2 = 4 2 2 (1 cos2 ) = 4 2 2 (2 + 2 2 )2 . En la derecha tenemos una diferencia de cuadrados,1 dando nuevas diferencias de cuadrados: 16 2 = 4 2 2 (2 + 2 2 ) = = 2 (2 + 2 2 ) 2 + 2 + 2 2 = = 2 ( )2 ( + )2 2 = = ( + )( + )( + )( + + ). Recordando que el semipermetro es = ( + + )/2, tenemos + = + + 2 = 2 2 = 2 ( ), y de modo similar + = 2 ( ), + = 2 ( ), por lo que 16 2 = 16 ( )( )( ).
2

Una frmula anloga a la de 4.2 para el rea del cuadriltero, del tipo ( )( )( )( ), no puede ser cierta para cuadrilteros arbitrarios, pues hay varios con los mismos lados , , y . Por lo tanto, deben incluirse de alguna forma los ngulos intervinientes.
1 2 2 = ( ) ( + ).

Pg. 14

Coordenadas cartesianas y trigonometra 4.3. Proposicin (frmula de Hern para cuadrilteros). Sea el rea de un cuadriltero convexo de lados , , y , e indiquemos con el semipermetro, = ( + + + )/2. Entonces 2 = ( )( )( )( ) donde y son ngulos opuestos.
 No importa qu par de ngulos opuestos se eligen, pues la suma de todos los ngulos interiores es 360 y cos = cos(360 ) para cualquier . 1  Usando 2.7, podemos poner la expresin 2 1 + cos( + ) como cos2 1 ( + ) . 2  Aunque la llamamos de Hern, pues generaliza el resultado para tringulos, la frmula se debe a C. Bretschneider (18081878) quien la public en 1842. Cuando el cuadriltero es cclico (los vrtices estn en una circunferencia), el ltimo trmino del miembro derecho se anula (ver el ejercicio 3.4 del apunte de circunferencia), y la frmula resultante es a veces atribuida al matemtico hind Brahmagupta (598670).  Omitimos la demostracin: es muy larga, la usaremos pocas veces, y sigue las mismas ideas de la frmula de Hern para tringulos (teorema del coseno, relacin pitagrica, diferencia de cuadrados,...). Se puede ver en el libro de Niven [2] y en distintos lugares de internet.

1 + cos( + ) , 2

5. Coordenadas cartesianas como modelo de geometra euclidiana plana


Volvamos por un momento a los axiomas que vimos al comienzo del curso. Habamos mencionado que en un sistema axiomtico estn las cuestiones de independencia y de consistencia. La independencia es ms bien una cuestin de elegancia: no queremos ser redundantes.2 Ms preocupante es la consistencia, no queremos tener un sistema que no tiene ejemplos porque los axiomas se contradicen. Justamente una de las formas de ver la consistencia es construyendo un modelo, es decir, un ejemplo donde los axiomas se satisfacen. En el caso de la geometra euclidiana plana, un tal modelo es el modelo de coordenadas cartesianas. En efecto, los puntos son pares de coordenadas (, ), y las rectas son los puntos (, ) que satisfacen ecuaciones del tipo + = (con 2 + 2 0). Para ver que se satisfacen las propiedades de incidencia del Axioma I, basta ver que hay innitos puntos (, ) que satisfacen una ecuacin del tipo + = , y que dados los puntos (1 , 2 ) y (1 , 2 ) distintos, podemos encontrar , y tales que 1 + 2 = 1 + 2 . O bien, como hemos visto, podemos pensar equivalentemente en ecuaciones paramtricas de la forma (, ) = (1 , 2 )+(1) (1 , 2 ) para denir una recta. En este caso, y como tambin hemos visto, los puntos del segmento se obtienen tomando 0 < < 1, los de la semirrecta tomando > 0, y los semiplanos correspondientes a la recta + = se obtienen tomando los puntos (, )
2

Y eso que lo que abunda no daa!

6. Ejercicios tales que + > o + < , y podemos vericar que se satisfacen las propiedades de separacin del Axioma II. Las propiedades mtricas de medicin de longitudes y ngulos de los Axiomas III y IV, se pueden ver tomando la ecuacin (1) para las longitudes, y deniendo el ngulo mediante el coseno, o ms precisamente, por la funcin inversa del coseno de rango entre 0 y , mediante la ecuacin (5). Claro que esto presupone que tenemos denida independientemente una funcin coseno, y que sabemos tambin calcular su inversa. El Axiomas V sobre igualdad de tringulos tambin es una vericacin, si bien tediosa, mientras que el Axiomas VI es bien sencillo de vericar. Recordemos tambin que aunque nosotros no hemos desarrollado este tema la geometra puede denirse por medio de sus movimientos rgidos. Movimientos rgidos como la traslacin (sumar puntos) o simetras centrales (cambiar el signo tomando el origen de coordenadas en el centro) son sencillas. Algo ms complicadas son las rotaciones: si queremos rotar = (1 , 2 ) en un ngulo alrededor del origen (0, 0) para obtener el punto = (1 , 2 ), tomamos la forma polar en (3), quedando = (cos( + ), sen( + )), de donde, usando 2.6, 1 = cos cos sen sen = 1 cos 2 sen , 2 = cos sen + sen cos = 1 sen + 2 cos .
 Tambin en cursos de lgebra lineal se ve que esto da lugar a una expresin de la forma = donde es la matriz

Pg. 15

cos sen

sen . cos

La simetra axial cuando el eje es la recta = 0 es sencilla: (, ) (, ). Tambin son sencillas las simetras axiales de eje = 0, tomando (, ) (, ); o la simetra respecto de la recta = , tomando (, ) (, ). Otras simetras axiales son ms complicadas, pero pueden expresarse por ejemplo mediante traslaciones, rotaciones y una simetra axial respecto de algn eje sencillo.

6. Ejercicios
Ejercicio 6.1. Deniendo la secante de como sec = 1/cos cuando cos demostrar que sec2 = 1 + tan2 .
 Esta frmula es especialmente importante en el clculo de ciertas integrales que se ven en los cursos de clculo.

0,

Ejercicio 6.2. Consideremos un polgono regular con lados de longitud . a) Dar una frmula relacionando con , el radio de la circunferencia circunscripta (y ). b) Lo mismo para y , el radio de la circunferencia inscripta (y ). c) Dar frmulas para el permetro y el rea del polgono en trminos de y .

Pg. 16 Ejercicio 6.3.

Coordenadas cartesianas y trigonometra

a) En cualquier tringulo (incluso si es obtuso), = cos + cos . Nota: suponemos que es el lado opuesto a , el opuesto a , y el opuesto a . b) Usando el teorema del seno y el inciso anterior, deducir la frmula de adicin para el seno sen( + ) = sen cos + cos sen , cuando > 0, > 0 y + < . c) Demostrar la frmula anterior para y cualesquiera. d) Usando que cos = sen(/2) (si est medido en radianes), demostrar la frmula de adicin para el coseno cos( + ) = cos cos sen sen . e) Demostrar la frmula de adicin para la tangente tan( + ) = tan + tan , 1 tan tan

cuando cos , cos y cos( + ) no se anulan. Ejercicio 6.4. Dados el punto de coordenadas (2, 3), la recta de ecuacin 2 + 5 = 10, y la circunferencia de centro (1, 2) y radio 3, encontrar (analticamente): a) La ecuacin de la recta perpendicular a por . b) La proyeccin de sobre . c) La distancia de a . d) La interseccin de y . Ejercicio 6.5. Dadas las rectas 3 + = 5 y 2 = 4, a) Encontrar su interseccin. b) Hallar la medida de los ngulos que forman. Ejercicio 6.6. Usando ecuaciones cuadrticas, encontrar las ecuaciones de las rectas tangentes a la circunferencia 2 + 2 = 2 : a) Por un punto (0 , 0 ) en la circunferencia. Sugerencia: 0 +0 = 2 dene una recta y la tangente corta a la circunferencia en un nico punto. b) Por un punto (, 0) (con || ).

7. Bibliografa
[1] R. Descartes. La Geometra. Limusa, 1997. Ver http://www.gutenberg. org/files/26400/26400-pdf.pdf. [2] I. Niven. Maxima and Minima Without Calculus. Mathematical Association of America, 1981. [3] A. V. Pogorlov. Geometra elemental. MIR, Mosc, 1974.