Capitulo 1:

TRIGONOMETRA

1.1. TRIGONOMETRIA PLANA Se dice que a los antiguos egipcios se les plante el siguiente problema: cmo medir, calcular o estimar la distancia de un barco a un punto determinado de la playa? Mandar un bote con una cuerda lo suficientemente larga no parece ser una buena solucin: y si el barco es un barco de guerra enemigo que se apresta a atacar el puerto? Conocer la distancia a que se encuentra podra tener como objetivo el poder lanzarle algn objeto contundente.

Figura 1.1 Existen otros problemas similares, mas cotidianos: cmo calcular o medir la altura de un rbol? Tal como antes, uno podra intentar subir hasta la punta del rbol con una huincha lo suficientemente larga. Pero el mtodo tampoco parece muy bueno: aparte de lo trabajoso que es, hay el claro peligro de romper la ltima rama y precipitarse hasta el suelo.

Figura 1.2

Ms interesante y difcil an parece ser el problema de calcular la altura de un cerro, haciendo mediciones desde su base.

Figura 1.3

Una solucin ingeniosa de todos estos problemas queda ya insinuada en los dibujos que se han presentado: no es difcil medir en el terreno los ngulos indicados, medir la distancia que es accesible, hacer un dibujo a escala en un papel y medir con una regla la distancia a escala que se busca. Solo se necesita multiplicar por el factor de escala para obtener la distancia buscada. Esta solucin tiene, al menos, tres desventajas: lentitud del procedimiento precisin precaria, sobretodo si las escalas a tomar son muy grandes: all el simple grosor del trazado del lpiz con que se hace el dibujo influye en el resultado final dificultades manuales en realizar el dibujo en un papel. Por otro lado la solucin obtenida dibujando a escala tiene una hiptesis oculta que es necesario esclarecer y discutir:

Figura 1.4 Si T V 5T w V w , entonces se supone que tambin T F 5T w F w con el mismo factor de escala 5 . Esta hiptesis es correcta pues los tringulos ?T VF y ?T w V w F w son semejantes ya que , por construccin, tienen todos sus ngulos iguales: Teorema de Thales! Dividiendo las igualdades anteriores resulta:
TF TV

5T w F w 5T w Vw

T w Fw T w Vw

Es decir, las razones entre los lados del tringulo no dependen de la escala. Slo depender de los ngulos y " . Si llamamos: 3 "
TF TV

entonces bastar con conocer el nmero 3 " para resolver nuestro problema. En efecto, la longitud T F (buscada) ser 3 " multiplicada por T V (medida) : T F 3 " T V . El problema se solucionara si pudiramos fabricar listas de esas razones para una gama bastante amplia de ngulos y " . Tales listas existen y se llaman Tablas Trigonomtricas. Sin embargo, tales Tablas ya pertenecen a la Historia: el desarrollo de las calculadoras de bolsillo proporcionan con un solo toque los nmeros que se han estado buscando en las Tablas. Cmo hacer estas listas es un problema cuya solucin ms completa exige un cierto desarrollo del clculo infinitesimal. Sin embargo, en principio se pueden hacer con un despliegue de mucha paciencia, midiendo con acuciosidad los ngulos y los trazos en cuestin. 1.2. DEFINICIONES BSICAS (para ngulos agudos) Histricamente surgen las siguientes razones, convencionales, definidas para un tringulo rectngulo:

Figura 1.5 =/8 + : es el seno del ngulo , -9= - es el coseno del ngulo , >1 + : es la tangente del ngulo -

Se definen tambin los inversos multiplicativos de las funciones anteriores: , -9=/- + : es la cosecante de , =/- - es la secante de -9>1 + : es la cotangente de Las funciones coseno, cotangente y cosecante se denominan tambin cofunciones de las funciones seno, tangente y secante respectivamente. Es necesario destacar que estas definiciones, tal como han sido hechas, solo tienen sentido si el ngulo es agudo: en un tringulo rectngulo los ngulos, salvo el recto, deben ser agudos. Veremos ms adelante la forma de extenderlas a ngulos cualquiera. EJEMPLOS 1. Si tomamos %& , entonces el ?ABC de la figura 1.5 es isceles y por lo tanto + - . Luego , +# - # #+# +# y por lo tanto: " =/8 %& + # , -9= %& >1 %&
,

+ ,

+ -

"

" #

2. Si tomamos '! , entonces el ?ABC resulta ser la mitad de un tringulo equiltero:

Figura 1.6 De aqui se obtiene:

=/8 '! # -9= $! -9= '! " =/8 $! # >1 '! $ -9> $! =/- '! # -9=/- $!

3. Ser una mera casualidad que las co-funciones de un ngulo sean precisamente las funciones del ngulo complementario? Desde luego que no: basta hacer un dibujo para darse cuenta que el ngulo complementario se encuentra precisamente en el vertice opuesto y la afirmacin resulta directamente de las definiciones:

Figura 1.7 En efecto =/8*! - -9= -9=*! , , >1*! + -9>1 =/-*! + -9=/- TEOREMA 1 En un ?ABC (con ngulos agudos) vale: + , 1. =/8 =/8" =/8 # #< , donde < es el radio de la circunferencia circunscrita. (Teorema de los senos) 2. +# , # - # #,- -9= Teorema de los cosenos o Teorema general de Pitgoras). Por simple cambio de nombre de lados y ngulos, valen tambin : , # - # +# #+- -9= " - # +# , # #+, -9= #
+ ,

=/8

DEMOSTRACIN

Figura1.8 En ?ADC se tiene: =/8 2, En ?DBC se tiene: =/8 " 2+ + , Luego 2- , =/8 + =/8 " , de donde =/8 =/8" . De modo , totalmente anlogo : =/8" =/8 # . Por otro lado , llamando O al centro de la circunferencia circunscrita y prolongando la recta AO , se obtiene el punto C' . Por el correspondiente Teorema de Thales, el ?ABC' es rectngulo en el vrtice B y el ngulo tAC'B es nuevamente el mismo # . Por lo tanto =/8 # #< , es decir =/8 # #< lo que completa la demostracin del Teorema de los senos. # En ?DBC se tiene: +# 2- ; # por el Teorema usual de Pitgoras # En ?ADC se tiene : 2- , # :# . Por otro lado: -9= : , es decir: , : ,-9= y por lo tanto: ; - : - ,-9= . Reemplazando en la primera igualdad se obtiene finalmente: +# , # , # -9=# - , -9= # , # , # -9=# - # #,- -9= , # -9=# , # - # #,- -9=

Con este teorema podemos resolver los tres problemas que planteamos al principio:

 El problema del barco: usando el Teorema de los senos en el EG EF tringulo ?ABC de la Figura 1.1 se tiene: =/8 " =/8")!" , es decir:
=/8 " EG =/8")!" EF . La distancia AB se encuentra en la playa y se puede medir. De modo entonces que nuestra razn entre lados : 3 " =/8 " result ser =/8")!"

El problema del rbol resulta ms sencillo: en la Figura 1.2 el lado AB del tringulo se puede medir , pues est sobre el suelo, entonces la altura BC del rbol se calcula con la definicin de la tangente: >1 FG , es decir FG EF >1 EF El problema de la altura del cerro es un poco ms complicada, pero igual es elemental: en el ?OO'B de la Figura 1.3 podemos aplicar el SF SS w Teorema de los senos: =/8 " =/8")!") Por otro lado, en el ?OAB, 2 que es rectngulo en A, se tiene: SF =/8 # , por lo tanto, la altura 2 buscada se expresa: =/8 " =/8 # 2 SF=/8 # SS w =/8")!" donde la distancia SSw es medible sobre la base del cerro.

1.3. ALGUNAS EXTENSIONES Nuestras consideraciones anteriores tienen una limitacin muy molesta, no solo terica sino completamente prctica: debemos atenernos a ngulos agudos. En particular, los teoremas del seno y el coseno han sido demostrados bajo esa restriccin, sin la cual nuestras definiciones de las funciones trigonomtricas no tienen sentido. Que ocurre si nuestros tringulos no son acutngulos? Para ver la necesidad de extender estas nociones a tringulos cualesquiera, supongamos que hay un faro en lo alto de un acantilado y que se desea calcular la distancia de un barco que navega a cierta distancia:

Figura 1.9 En el tringulo ?ABC podr medirse la altura del faro AC pero tendr necesariamente un ngulo obtuso en " . DEFINICIN Consideremos los ngulos dibujados en un sistema de referencia formado por una recta fija y una semirecta que gira en torno al origen en un sentido u otro. La semirecta podr girar arbitrariamente en sentido positivo (contrario a los punteros del reloj) o negativo (el sentido de los punteros del reloj) lo que permite considerar ngulos mayores que 3609 o ngulos negativos.

Figura 1.10

Si dibujamos el crculo unitario, es decir, el crculo de radio 1 centrado en el origen, entonces las semirecta cortar al crculo en un nico punto de coordenadas B C. Se define entonces: =/8 ) C -9= ) B Es claro que, si el ngulo ) es agudo y positivo: ! ) *!9 , entonces las nuevas definiciones coinciden con las antiguas, es decir, estas nuevas definiciones extienden las nociones de seno y coseno a ngulos cualesquiera. Las dems funciones trigonomtricas se definen: >1 )
=/8 ) -9= )

-9> )

" >1 )

=/- )

" -9= )

-9=/-

" =/8 )

A estas alturas es conveniente introducir otra medida de los ngulos: la razn entre la longitud del arco medido sobre la circunferencia y su radio, en sentido positivo o negativo. Como la longitud de la circunferencia completa es #1< entonces 3609 corresponder a #1< #1 en la nueva < unidad. Esta unidad se llama radin , de modo que, por ejemplo, el ngulo 1 recto tendr una medida de # radianes. Una de las ventajas de esta forma de medir los ngulos es que ella es a-dimensional , no depende de las unidades de medida, puesto que se obtiene por una razn entre longitudes. Resulta muy sencillo demostrar que los teoremas del seno y el coseno se pueden extender a tringulos cualquiera. Lo dejaremos como ejercicio. Finalmente indiquemos que muchas veces surge la necesidad de conocer aquellos ngulos cuyo seno es un cierto nmero conocido. Es claro que habr, en general, una infinidad de tales ngulos puesto que, con la extensin que hemos introducido, nuestras funciones trigonomtricas tienen caracter peridico, es decir, repiten sus valores cuando el ngulo se desplaza en una cantidad apropiada. Se denomina arco-seno de un nmero B a aquellos ngulos cuyo seno es B Generalmente se buscan ngulos agudos o, al menos, entre 0 y 180 grados. En las calculadoras de bolsillo es ste tipo de ngulos el que aparece como arco-seno , denotado tambin =38" . Lo mismo puede decirse de los ngulos cuyo coseno es B , denominados arco-coseno ./ x y , anlogamente, arco-tangente de B . Ms adelante discutiremos estos conceptos con mayor detalle. Una posibilidad de construir una tabla trigonomtrica, sera poder calcular senos y cosenos de ngulos pequeos y poder establecer las

10

funciones trigonomtricas de sus sumas. El siguiente teorema permite llevar a cabo este mtodo. TEOREMA 2 Sean y " ngulos cualesquiera. Entonces: (a) -9= " -9= -9=" =/8 =/8" , =/8 " =/8 -9=" -9= =/8" >1>1" - >1 " ">1 >1" DEMOSTRACIN. Haremos la demostracin para ngulos agudos por mayor claridad del dibujo. Se invita al lector a extender esta demostracin para cualquier tipo de ngulos.

Figura 1.11 Los tringulos ?BOP y ?AOD son claramente congruentes, pues ambos contienen el ngulo " en su vrtice O. Por lo tanto las longitudes de las cuerdas BP y AD son iguales. Para calcular estas longitudes en trminos de las coordenadas de los puntos respectivos, usamos el teorerma de Pitgoras (restringido):

11

La distancia PQ ser : B ?# C @# En nuestro caso las coordenadas del punto B son -9= " =/8 " , mientras que las del punto A son -9= =/8 y las de D : -9= " =/8 " -9= " =/8" Finalmente las coordenadas de P son simplemente 1,0). Aplicando la frmula anterior a la igualdad FT EH, resulta: -9= " "# =/8# " -9= -9=" # =/8 =/8" # de donde, elevando al cuadrado y utilizando la identidad bsica =/8# ) -9=# ) " (ver problemas 1.4) se obtiene: # #-9= " # #-9=-9=" #=/8=/8" de donde se sigue directamente la frmula (a) Para demostrar (b) se puede usar la identidad : =/8) -9= 1 ) # y aplicar la frmula ya demostrada. Finalmente para demostrar la frmula (c) basta poner: " =/8 -9=" -9= =/8" >1 " =/8" -9= -9="=/8 =/8" -9= y dividir el numerador y el denominador por el factor -9= -9=" COROLARIOS: 1. =/8 # #=/8 -9= # -9=# # -9=# " " #=/8#

Figura 1.12

$ =/8 "-9= (signo segn cuadrante en que est # #

4. -9= "-9= (signo segn cuadrante en que est # #

) )

12

Para demostrar estos corolarios basta aplicar el teorema anterior con " y proceder de modo inverso para las frmulas del ngulo medio. Con estos resultados podemos, en principio, calcular las funciones trigonomtricas para, prcticamente , cualquier ngulo. En efecto, puesto que, por ejemplo, =/8 $!9 " y -9= $!9 #$ entonces: # =/8 "&9 "-9= $! # -9= "&9 "-9= $! # =/8 ( & -9= ( &9
9
9

" #$ # " #$ # " #

$ " # # $ #

9 "-9= "& # 9 "-9= "& #

"

" #

De este modo, con suficiente paciencia, podemos calcular senos y cosenos de ngulos tan pequeos como sea necesario. Enseguida podemos sumarlos apropiadamente y obtener as las funciones trigonomtricas que necesitamos. No podemos ocultar el hecho de que existen otros mtodos ms prcticos, pero esos mtodos requieren clculo infinitesimal. En ese sentido, es interesante hacerse la pregunta: cmo calculan estas funciones trigonomtricas las calculadoras electrnicas? qu precisin pueden asegurar?

1.4. PROBLEMAS 1. Demuestre los teoremas del seno y del coseno para tringulos cualquiera. Para esto demuestre previamente que, si es un ngulo obtuso, entonces =/81 =/8 -9= 1 -9= 2. Sea ) un ngulo cualquiera. Demuestre: =/8# ) -9=# ) " =/8) 1 -9=) # -9=) 1 =/8) # =/8 ) =/8) (el seno es una funcin impar)

13

 -9= ) -9=) (el coseno es una funcin par) =/8) #1 =/8) -9=) #1 -9=) (seno y coseno son funciones peridicas) 3 Calcule al rea de un tringulo en trminos de sus lados y ngulos 4. Sobre una colina hay una torre : cmo calculara Ud. su altura observndola desde el valle? 5. Desde la cspide de un faro de altura 2 situado sobre un acantilado se mide el ngulo que forma la visual hacia el barco respecto de la vertical y desde la base se mide el ngulo " que forma la visual hacia el barco respecto de la vertical.(Ver Figura 1.9) A qu distancia se encuentra el barco? Haga el clculo para el caso: 2 ()7 )(* 9 " *"(9 6. Desde un helicptero que pasa justo al medio de dos iglesias separadas por una distancia . que el piloto conoce, se mide el ngulo que subtienden las iglesias. Calcule la altura a que vuela el helicptero. Una vez obtenida una buena frmula, pngale estos nmeros: &'9 . #&!7 7. Qu ocurre en el problema anterior si el helicptero no pasa justo al medio de las iglesias? Debe hacer nuevas mediciones?. Discuta la situacin segn diversos casos. 8. Una escala de 3[m] de largo est apoyada sobre la pared de un edificio. Si su base est a 1.3[m] del edificio qu ngulo forma la escalera con el piso? Qu ocurre si el edificio es la torre de Pisa? 9. Justo frente a la ventana de mi departamento, al otro lado de la calle, se eleva un edificio nuevo en construccin. Por razones personales deseo calcular su altura: mido desde mi ventana el ngulo que forma la visual hacia la punta del edificio con la horizontal : 39 Despus bajo hasta la puerta de calle de mi departamento y hago la misma medicin: 59 . Como estos datos no son suficientes, mido con una lienza la altura a que sencuentra mi ventana: son 8 metros. Qu altura tena el edificio? a que distancia del mo se encontraba?

14

10. Se entiende por resolver un tringulo, el obtener frmulas explcitas o valores numricos de los distintos elementos de un tringulo, en funcin de otros elementos dados: resolver un ?ABC dados: un lado y dos ngulos dos lados y el ngulo comprendido entre ellos dos lados y el ngulo opuesto al mayor los tres lados 11. La paralaje de la estrella proxima centaurii (la ms cercana conocida) es de 0,765 segundos de arco. Si la distancia de la Tierra al sol es de, aproximadamente, 150 millones de kilmetros, cul ser la distancia de esta estrella a nuestro sistema solar? Calclela tambin en aos-luz, suponiendo que la luz viaja a 300.000 kilmetros por segundo. 12. La torre de Pisa tiene una inclinacin aproximada de 89 respecto a la vertical. Calcular la altura de la torre, si un observador que se encuentra a 29 metros de distancia v la cspide con un ngulo de elevacin de 38.59 Le faltan datos? Cules? 13. El palo central de una tienda de campaa de forma de un cono circular tiene una altura de 6 metros y su parte superior est sostenida por cuerda de 12 metros de largo amarradas a estacas clavadas en la tierra. A qu distancia estn las estacas del pi del mstil? Cul es la inclinacin de los cables con la tierra? 14. El terreno ocupado por un granero es de 2(m] por 1$[m] y la inclinacin de las alas del techo es de 359 Hallar la longitud de las vigas y el rea del techo completo, siendo la proyeccin horizontal de la cornisa de 45[cm] 15. Desde lo alto de una roca de 150 pies de altura los ngulos de depresin de dos botes situados al sur del observador son de 159 y 759 Determinar la distancia que hay entre ellos. 16. Dos vias frreas se cortan en un ngulo de 269 "'w . Del punto de interseccin parten dos trenes simultneamente, una por cada va. Una viaja a 20 millas por hora. A qu velocidad debe viajar la otra para que al cabo de tres horas la distancia entre ellas sea de 30 millas? Discuta el realismo de este problema.

15

17. Obtenga una frmula explcita y exacta para el seno de un ngulo menor que un grado sexagesimal, usando la frmula del ngulo medio para el ngulo de 459 18. Demuestre las identidades (indicando el conjunto de excepciones): " >1# B =/- # B -9=# B "-9># B " " ! -9=# " -9=# " -9= #-9= #" 2 -9= $B % -9=$ B $-9= B ">1 # "=/8 ">1 -9= #

1.5 LAS FUNCIONES TRIGONOMTRICAS COMO FUNCIONES DE VARIABLE REAL Qu significa medir un ngulo? A nuestro entender significa poder asociarle unvocamente un nmero real. Con nuestro sistema de asociar a cada ngulo, positivo o negativo, la longitud del arco de un crculo de radio unitario que recorre la semirecta que define el ngulo, tenemos un buen mtodo para medir ngulos. La unidad de medida ser en este caso el radin. Si cambiamos de unidad de medida, el nmero real asociado ser otro. Recprocamente, para cada nmero real nos gustara poder definir un ngulo con esa medida. Aqu tropezamos con una dificultad matemtica no trivial: poder definir en buena forma la longitud de una curva en el plano y poder calcular dicha longitud. Es que cualquier curva plana tiene longitud? Cules curvas tienen longitud y cuales no? En nuestro caso la cosa no es tan complicada: solo tenemos que poder calcular la longitud de un arco de circunferencia, cuya existencia damos por sentada. Aceptando esto, podemos asociar a cada nmero real, positivo o negativo, un ngulo (positivo si se mide la longitud del arco recorrido en el sentido contrario a los punteros del reloj, y negativo cuando se recorre el arco al revs). Pero a cada ngulo podemos asociar las funciones trigonomtricas, de modo que, combinando ambos procedimientos, podemos definir las funciones trigonomtricas como funciones reales de variable real:

16

Figura 1.13 Sea B un nmero real, si llamamos )B al ngulo asociado medido en radianes, entonces podemos definir las funciones reales: =/8B =/8)B -9=B -9=)B >1B >1)B />- Podemos bosquejar sus grficas:

Figura 1.14 Se observa que todas estas funciones son peridicas, es decir, repiten sus mismos valores cada cierta distancia fija. En general, una funcin real 0 se llama peridica si existe un nmero 3 ! tal que 0 B 3 0 B aB El menor nmero positivo 3 que realiza esta igualdad se llama perodo.

17

Figura 1.15 Por amplitud se entiende la mitad de la diferencia entre el mayor y el menor valor posible. Por diferencia de fase se entiende el desplazamiento a izquierda o derecha respecto a una posicin considerada de referencia ("fase cero"). Veamos esto mediante algunos ejemplos: EJEMPLOS 1. 0 B =/8 B perodo #1 amplitud " diferencia de fase ! # 0 B $-9=B 1 : perodo #1 % amplitud $ diferencia de fase 1 % ( B debedesplazarse 1 hacia la izquierda para quedar en la fase cero) %
1 3. 0 B #=/8$B " perodo #$ amplitud # diferencia de fase " $ Notar que, para obtener la diferencia de fase en este caso se ha planteado la ecuacin: $B " ! : B " o sea, B debe desplazarse " a la derecha $ $ para quedar en la fase cero.

18

Figura 1.16 Todas las funciones anteriores suelen recibir el nombre de sinusoides, es decir, parecidas al seno. Consideremos ahora la funcin seno restringida al intervalo 1 1 : # # se observa que esta funcin es biyectiva y por lo tanto posee una inversa, llamada arco-seno: +<-=/8 " " 1 1 En la Figura 1.17 # # (a) y (b) presentamos las grficas de estas funciones:
y
1.0 0.8 0.6 0.4 0.2

1.4 1.2 1.0 0.8 0.6 0.4 0.2

-1.4

-1.2

-1.0 -0.8

-0.6 -0.4

-0.2 -0.2 -0.4 -0.6 -0.8 -1.0

0.2

0.4

0.6

0.8

1.0

1.2

1.4

-1.0

-0.8

-0.6

-0.4

-0.2

-0.2 -0.4 -0.6 -0.8 -1.0 -1.2 -1.4

0.2

0.4

0.6

0.8

1.0

(a) grfica de seno

(b) grfica de arcoseno Figura 1.17

Se pueden definir otras ramas del arco-seno, tomando otra serie de valores de B que produzcan el mismo seno: basta agregar una constante de la forma #5 1. Se puede definir, para cada nmero real B el conjunto: E<-=/8B ) =/8 ) B Aqu estamos denotando al conjunto con la inicial mayscula, mientras que la rama en 1 1 la denotamos con minscula. Es claro que el # # conjunto E<-=/8B ser vaco, si B " "

19

De forma anloga podemos proceder con las dems funciones trigonomtricas Para el arco-coseno se acostumbra a usar la rama que est en ! 1 En la Figura 1.18 mostramos el coseno y el arccos:

Figura 1.18

En la Figura1.19 mostramos la grfica de la tangente y una rama de la funcin arco-tangente:

10 8 6 4 2

1.5 1.0 0.5

-1.4-1.2-1.0-0.8-0.6-0.4-0.2 -2 -4 -6 -8 -10

0.2 0.4 0.6 0.8 1.0 1.2 1.4

x
-10 -8 -6 -4 -2 -0.5 -1.0 -1.5 2 4 6 8

10

(a) Grfica de tangente

(b) Grfica de arco-tangente Figura 1.19

Resulta interesante resolver ecuaciones trigonomtricas, es decir ecuaciones donde intervienen funciones trigonomtricas. Como estas funciones son peridicas, habr generalmente infinitas soluciones y el

20

problema consistir en describir apropiadamente todas ellas. Vemoslo en unos ejemplos: EJEMPLOS 1. Resolver la ecuacin: $=/8 B " #=/8 B Despejando =/8 B resulta: =/8 B " luego: B 1 #5 1 5 #

Figura 1.20 2. Resolver la ecuacin: de donde =/8B

" #

$=/8 B " =/8B por lo tanto: B

1 ' #5 1 5 &1 ' #5 1 5

21

Figura 1.21 3. Resolver la ecuacin: l#=/8B "l l=/8 B "l ! Aqu debe observarse que ambos sumandos son positivos y por lo tanto la nica manera que su suma sea 0 es que ambos sean 0. En ese caso se tendra: =/8B " y a la vez =/8 B " lo que es imposible. Luego # esta ecuacin no tiene soluciones. 4. Resolver la ecuacin: l#=/8 B "l l=/8 B "l " Esta ecuacin es muy parecida a la anterior, pero tiene, sin embargo, muchas soluciones. En efecto, primero hay que observar que el trmino =/8 B " es siempre negativo, por lo que la ecuacin se simplifica y queda: l#=/8 B "l =/8 B ! Para eliminar el valor absoluto, es necesario buscar las soluciones en dos mbitos diferentes: 3 #=/8 B " ! , es decir si =/8 B " , entonces la ecuacin es: # #=/8 B " =/8 B ! luego =/8 B " , que pertenece al mbito de busqueda y por lo tanto B 1 #5 1 # es una familia infinita de soluciones. 33 #=/8 B " !, es decir si =/8 B " , entonces la ecuacin es: # #=/8 B " =/8 B !

22

luego =/8 B " que pertenece al nuevo mbito de bsqueda y por lo $ tanto tendremos dos familias infinitas de soluciones: !$% #5 1 B #)! #5 1 De un modo anlogo se pueden plantear inecuaciones trigonomtricas, es decir, problemas de bsqueda de nmeros reales que satisfacen alguna relacin de desigualdad y que contiene funciones trigonomtricas. EJEMPLOS 1. Resolver la inecuacin: =/8B
" #

Utilizando un grfico, se puede ver que el conjunto solucin en el 1 intervalo ! #1 es: 1 &' '

Figura 1.22 2. Resolver la inecuacin: =/8B -9= B " Una forma poco inteligente de abordar este problema es hacer una elaboracin algebraica del tipo: =/8 B " =/8# B " luego " =/8# B " =/8 B, elevando al cuadrado " =/8# B " #=/8 B =/8# B y simplificando y factorizando

23

=/8 B=/8 B " ! y como =/8 B " es siempre negativo, se concluye =/8 B ! por lo tanto 1 B #1 mas las traslaciones debido al perodo. Pero este resultado se obtiene directamente de la inecuacin: =/8 B " -9= B puesto que " -9= B es positivo. Del mismo modo , despejando el coseno: -9= B " =/8 B 1 lo que se cumple si -9= B !, es decir, si 1 B $# mas el perodo. # 1 Luego, la inecuacin se cumple en todo el intervalo # #1 ms las traslaciones debido al perodo. La pregunta ahora es si acaso estas son las nicas soluciones. Para esto hay que investigar que ocurre en el intervalo ! 1 Pero en ese intervalo =/8 B y -9= B son los lados del tringulo # rectngulo de hipotenusa de largo 1. Por lo tanto =/8 B -9= B " en ese intervalo. Por lo tanto la solucin final es: W B #5 1
1 #

$1 #

De modo anlogo se pueden plantear sistemas de ecuaciones , sistemas de inecuaciones y sistemas mixtos, es decir, de ecuaciones e inecuaciones. En el caso de los sistemas el problema consiste en encontrar aquellos nmeros que satisfacen todas las condiciones propuestas. Veamos un ejemplo: EJEMPLO Resolver el sistema mixto: l" #-9= Bl " l B "l #

La segunda condicin, de desigualdad, es fcil de resolver: "B$ Para resolver la primera condicin, de igualdad, es necesario buscar en dos mbitos diferentes: 3 En " -9= #B ! , es decir, donde -9= B " . Aqu la # ecuacin es:

24

" #-9= B " , luego -9= B ! que est en el mbito de bsqueda, por 1 # #5 1 lo tanto B $1 # #5 1 Pero B debe estar entre 1 y 3 , por lo tanto la nica solucin en este mbito es 1 # 33 En " -9= #B ! es decir, donde -9= B 1 . Aqu la # ecuacin es: " # -9= B " , luego -9= B " uque est en el mbito de bsqueda , por lo tanto B 1 #5 1 Pero B debe estar entre 1 y 3 , por lo tanto la nica solucin en este mbito es 1 Luego, el conjunto-solucin del sistema es: W 1 1 #

1.6 PROBLEMAS 1. Determinar perodo, amplitud y diferencia de fase de las siguientes sinusoides y dibujar sus grficas: 0 B #=/8#B 1 $ 0 B #-9=$B 1 " # 0 B $ -9=B 1 % 2. Escribir la ecuacin de una sinusoide con las siguientes caractersticas: perodo 1 amplitud " dif. de fase # perodo 1 amplitud " dif. de fase 1 # 3. Encuentre : +<--9==/8B % Demuestre : +<-=/8 + +<--9=" +# 5. Resolver las siguientes ecuaciones: + #-9=# ) $-9=) # , =/- B -9= B =/8 B - =/8 B " -9=B #
1 #

25

. +<-=/8 B +<->1 B / >1# B $=/-B $ ! 0 +<- =/8 B +<- =/8 #B ! 1 +<- =/8 B +<--9= B 1 # 6. Resolver el sistema: =/8B=/8C -9=B-9=C 7. Resuelva la ecuacin: -9=#B =/8B " Cuntas soluciones hay en #1 #1 ? Cuntas soluciones hay en ! #1? Ubquelas en un grfico. 8. Resolver la ecuacin: " -9=# B =/8 '1 B ! #-9= #B >1B # Indique en un grfico aquellas soluciones que estn en 1 1 "!. Resolver las inecuaciones: + =/8 #B -9= 1 $ , $ =/8 B -9= B " "" Resolver el sistema mixto (ecuaciones con inecuaciones) -9= #B =/8 B " B# 'B & !
" % $ %

*. Resuelva :

1#. Resolver: #=/8 B &-9= B ! en 1 1 # #

26

1$. Resolver el sistema de inecuaciones: >1 B -9> B >1 #B# 'B #! !

1 %

"%. Resolver:

%=/8# B " " #=/8 B lB $l !

1&. Resolver el sistema mixto:

-9=/- B -9> B $ " B 6

"' Resolver las ecuaciones: l" #=/8 Bl =/8 B |" $-9= Bl -9= B =/8# B : " -9= B (Aqu debe usted clasificar las posibles soluciones segn el valor del parmetro : . Distinga en particular los casos : ! y : " ) # 1.7 . TRIGONOMETRA ESFRICA Se cuenta que, a finales de los aos 70, la Gobernacin Martima de Valparaso contrat a dos jvenes ingenieros para calcular las rutas de acercamiento de los barcos que se dirigan a puerto desde lejanas latitudes. En aquella poca recin se estaban difundiendo las computadoras personales y su uso se estaba convirtiendo en una moda muy extendida "( Resolver la inecuacin con parmetro real : :

27

entre los jvenes profesionales. Haciendo uso de ellas, nuestros ingenieros comenzaron su tarea con gran entusiasmo. Sin embargo aparecieron errores reiterados que hacan perder tiempo ( y dinero) a las compaas navieras. Pensando que eran errores de redondeo en los clculos, introdujeron doble precisin en los programas computacionales. Pero los errores persistan. Hasta que un viejo ingeniero naval se percat que nuestros jvenes profesionales haban programado los clculos usando Trigonometra Plana, la nica que haban aprendido en la Universidad. Pero la Tierra no es plana y si los barcos estaban bastante lejos, la redondez de la Tierra haba que tomarla en cuenta. Si bien la Tierra no es exactamente una esfera, se acerca bastante a esa forma: pero hay versiones de los teoremas del seno y el coseno cuando los lados del tringulo ya no son rectas sino arcos de crculo? Qu relaciones se pueden establecer entre los elementos de un tringulo cuyos lados son arcos de crculo mximo de una esfera? Hay dos problemas bsicos en la navegacin: uno es el de determinar la direccin en que se debe navegar para llegar al punto deseado. Este es el Problema del Rumbo. El otro es el problema inverso: partiendo de cierto punto conocido y con un rumbo dado, despus de recorrer una cierta distancia, cul es la ubicacin del barco? Este es el llamado Problema de Coln. Para resolver estos problemas se necesita un sistema de coordenadas sobre la esfera terrestre ( y , por supuesto, considerar la Tierra como una esfera). Adems, se necesita desarrollar una versin de la Trigonometra sobre la esfera: la Trigonometra Esfrica. o Entenderemos por tringulo esfrico ?ABC a la figura sobre la superficie de una esfera formada por tres puntos A, B, C sobre ella , llamados vrtices, y los tres arcos de crculo mximo que unen dichos vrtices.

28

Figura 1.17 o Se van a entender como lados + , - del tringulo esfrico ?ABC los ngulos que subtienden los arcos respecto del centro de la esfera. Los ngulos , " y # en los vrtices respectivos A, B, C son los ngulos diedros formados por los planos que pasan por el centro y los vrtices respectivos. Por ejemplo, ser el ngulo diedro formado por los planos OAC y OBC en la Figura 1.17. Recordemos que el ngulo diedro entre dos planos se obtiene trazando perpendiculares a la interseccin de los planos:

Figura 1.18

29

Ntese que en un tringulo esfrico la suma de los ngulos " # puede ser mayor que 1809 . Por ejemplo en el tringulo trirectngulo esta suma es de 2709

Figura1.19 Dados dos puntos A, B cualquiera sobre la esfera, el arco AB se entender como el arco menor o igual a 1809 . Todo arco posee dos polos que son los puntos sobre la esfera que intersecta la recta perpendicular al plano OAB.

Figura 1.20 o Si C es el tercer vrtice del tringulo esfrico ?ABC , entonces podemos elegir como polo del arco AB aqul que est en el mismo hemisferio que el vrtice C. Llamaremos a este polo C' . Lo mismo podemos hacer con los

30

otros dos arcos del tringulo esfrico: A' ser el polo del arco BC que est en el mismo hemisferio que A y B' el polo del arco AC que est en el mismo hemisferio que B. De este modo hemos definido un nuevo o o tringulo esfrico: ?A'B'C' que llamaremos tringulo polar de ?ABC. Es til notar que cualquier arco que vaya desde el polo T al plano determinado por el arco AB medir 909 , es decir 1 radianes. # Los teoremas bsicos de la Trigonometra Esfrica hacen uso del tringulo polar y sus propiedades. Demostraremos previamente estas propiedades en forma de Lema: LEMA o o Sea ?A'B'C' el tringulo polar de ?ABC . Entonces: + +w 1 , w 1 " - w 1 # donde +w , w y - w son los lados del tringulo polar, mientras que , " y # son los ngulos del o tringulo ?ABC o o , El tringulo ?ABC es el tringulo polar de ?A'B'C'

DEMOSTRACIN Consideremos el arco BC y su polo asociado A' y adems el arco AC con su polo B'. Luego, por definicin el arco A'C es recto y del mismo modo el arco B'C tambin mide 1 Por lo tanto, el vrtice C es polo del arco # Ew F w . De modo anlogo, A ser el polo del arco F w G w y B el polo de o Ew G w Esto demuestra que el tringulo ?EFG es el tringulo polar de su tringulo polar.

31

Figura 1.21 Prolongando el arco Ew F w se obtienen las intersecciones H con el arco AC y E con el arco CB. Como Ew es polo del arco CB, el arco Ew I mide tambin 1 , lo mismo que el arco F w H puesto que F w es polo del arco AC. # Observando el arco completo HEw F w I se tiene: # - w HI Ew F w HF w Ew I 1 1 1 # # de donde : - w 1 # . Si se teme que esta deduccin depende de la distribucin de los puntos HEw F w I sobre el arco, sera necesario ver que ocurre si los puntos H y I se encuentran en otros lugares: Supongamos que la secuencia es Ew HF w I : tambin se cumple: HI Ew F w HF w Ew I Si la secuencia es, finalmente Ew HIF w nuevamente se tiene: HI Ew F w HF w Ew I Notar que en todos los casos se est sumando dos veces el arco interior. Las otras dos relaciones se demuestran solo por cambio de nombre de los elementos.

32

TEOREMA 3 1. 2.
=/8 + =/8

9 Sea ?EFG un tringulo esfrico. Entonces:

=/8 , =/8"

=/8 =/8#

(Ley de los senos)

-9= + -9= , -9= - =/8 , =/8 - -9= -9= , -9= - -9= + =/8 - =/8 + -9= " -9= - -9= + -9= , =/8 + =/8, -9= # (Ley de los cosenos para los lados) -9= -9= " -9= # =/8 " =/8 # -9= + -9= " -9= # -9= =/8 # =/8 -9= , -9= # -9= -9= " =/8 =/8 " -9= (Ley de los cosenos para los ngulos diedros)

3.

DEMOSTRACIN Consideremos primero el caso particular de un tringulo esfrico rectngulo en C, es decir, # *!9

Figura 1.22 Tracemos por B un plano perpendicular a OA. Este plano cortar a OA en el punto E y a OC en el punto D. Notar que entonces los ngulos OEB y OED son rectos. Por lo tanto el ngulo BED ser el ngulo diedro . El plano BED es perpendicular al plano OAC pues ste contiene la recta OA

33

que es perpendicular al plano BED. Por otro lado, ya que el tringulo esfrico es rectngulo en C, el plano ODB es perpendicular al plano OAC. Por lo tanto la recta BD es perpendicular al plano OAC, pues es la interseccin de dos planos que son perpendiculares a OAC. En particular BD es perpendicular a OC y tambin BD es perpendicular a DE. Observando la Figura 1.22 y aplicando directamente las definiciones de las funciones trigonomtricas pertinentes, se obtiene: (1) =/8 + (2) >1 +
FH SF

FH IF IF SF

=/8 =/8 -

FH SH

FH HI HI SH

>1 =/8 , -9= , -9= +

(3) -9= - (4) >1 ,

SI SF

SI SH SH SF

HI SI

HI IF IF SI

-9= >1 -

o Sea ahora ? ABC un tringulo esfrico cualquiera. Por el vrtice C y el centro O de la esfera podemos trazar un plano perpendicular al plano AOB, lo que corresponde a la altura 2 :

Figura 1.23 Este plano corta al arco AB en un punto D determinndose los lados 7 y - 7 ( o bien 7 - si la altura corta fuera de AB). Se determinan as dos tringulos esfricos rectngulos en el vrtice D y podemos aplicar las relaciones obtenidas ms arriba

34

1. Demostremos ahora la ley de los senos

o =/8 2 =/8 =/8 , ( usando (1) en ?ADC ) o =/8 2 =/8 " =/8 + ( usando (1) en ?DBC )

=/8 + =/8 , Luego: =/8 =/8 " Bajando la otra altura se completa la igualdad =/8 con el cuociente =/8 #

2. Para demostrar la ley de los cosenos para los lados observamos: o (5) >1 2 >1 =/8 7 usando (2) en ?ADC ) o (6) =/8 2 =/8 , =/8 (usando (1) en ?ADC) o (7) -9= , -9= 2 -9= 7 (usando (3) en ?ADC ) o (8) -9= + -9= 2 -9=- 7 (usando (3) en ?DBC ) Luego, usando el teorema del coseno de la suma en (8), tenemos: -9= + -9= 2 -9= - -9= 7 =/8 - =/8 7 reemplazando aqu -9= 7 y =/8 7 de (7) y (5) respectivamente: -9= , 2 -9= + -9= 2-9= - -9= 2 =/8 - =/8 2 -9= -9= =/8 -9= - -9= , =/8 - =/8 2 -9= =/8 reemplazando finalmente =/8 2 de (6) se obtiene la ley del coseno para el lado - . Las otras dos leyes se obtienen simplemente cambiando el nombre a los elementos. Aqu conviene notar que, en caso que la altura corte fuera de AB el lado - 7 deber ser reemplazado por 7 - y el coseno no cambia en la relacin (8). 3. Para demostrar la ley de los cosenos para los ngulos diedros es preciso o pasar al tringulo polar ?Ew F w G w Apliquemos el teorema de los cosenos o para los lados al tringulo polar ?Ew F w G w : -9= +w -9= , w -9= - w =/8 , w =/8- w -9= w Pero por el Lema, +w 1 , w 1 " - w 1 # adems, como o o ?EFG es el tringulo polar de ?EFG , + 1 w es decir, w 1 + Sustituyendo estas relaciones en la igualdad anterior: -9=1 -9=1 " -9=1 # =/81 " =/81 # -9=1 + luego, utilizando la relacin de las funciones trigonomtricas con los ngulos suplementarios, se tiene: -9= -9= " -9=# =/8 " =/8 # -9= +

35

es decir: -9= -9= " -9= # =/8 " =/8 # -9= + que era lo que queramos demostrar. Las otras dos leyes se obtienen nuevamente cambiando el nombre a los elementos.

LOS PROBLEMAS DE LA NAVEGACIN Para resolver los dos problemas clsicos de la navegacin, debemos introducir un sistema de coordenadas apropiado: uno de los "ejes" es el llamado meridiano de Greewich que es el arco de crculo mximo que pasa por los polos y por la ciudad de Greenwich (cerca de Londres). El otro es el Ecuador, que es el crculo mximo situado en el plano perpendicular a la recta que pasa por los polos. Un punto A sobre la esfera quedar determinado por el ngulo entre los planos que pasan por los polos y A y el plano que contiene al meridiano de Greenwich. Este ngulo se llama longitud y se mide entre 0 y 1809 hacia el Este o hacia el Oeste. La otra coordenada es la llamada latitud , que es el ngulo sobre el meridiano que va desde el ecuador hasta el punto A. La latitud se medir entonces desde 0 a 909 hacia el norte o hacia el sur.

Figura 1.24

36

Se entiende por rumbo de un de un navo que se mueve sobre un arco de crculo mximo sobre la superficie de la tierra, al ngulo que forma su movimiento medido desde el meridiano que pasa por la posicin en que se encuentra. Este ngulo se mide de 0 a 1809 hacia el Este o hacia el Oeste.

Figura 1.25 El rumbo se puede medir tambin de 0 a 909 hacia el NE (noreste), hacia el NO (noroeste), hacia el SE (sureste) o hacia el SO (suroeste). Ntese que el rumbo depende de la direccin del movimiento y que, a menos que se navegue por un meridiano o por el Ecuador, el rumbo cambia constantemente.

37

Figura 1.26 El problema del Rumbo Dados los puntos A y B, determinar el rumbo de salida, el rumbo de llegada y la distancia que los separa. En este caso se forma un tringulo esfrico tomando como tercer vrtice el polo norte ( o el polo sur):

Figura 1.27 Los datos son: el lado a: 909 latitud de B (se tomar el signo si B se encuentra en el hemisferio Norte y el signo + si est en el Sur)

38

 el lado b : 909 latitud de A (se tomar el signo si A se encuentra en el hemisferio Norte y el signo + si est en el Sur) el ngulo # : la diferencia de longitudes de A y B Se busca: rumbo de salida : ; rumbo de llegada: 1809 " y distancia : c La distancia se obtiene directamente del teorema del coseno para los lados: -9= - -9= + -9= , =/8 + =/8 ,-9= # Para calcular el rumbo de salida usamos el teorema de los senos: =/8 donde =/8 - " -9=# - ya que el -9= - ha sido calculado. El rumbo de llegada se calcula anlogamente: =/8 "
=/8 + =/8 # =/8 =/8 + =/8 # =/8 -

Apliquemos estos resultados a un problema concreto: partimos de Buenos Aires (359 6+>W '!9 6981 S ) y queremos llegar a las Islas Canarias (309 6+> R #!9 6981 S )

Figura 1.28 Entonces: # %!9 + *!9 $!9 '!9 , *!9 $&9 "#&9 Por lo tanto, la distancia ser:

39

-9= - !& !&( !)(!)#!(( !#' luego - (% '(9 %%)!w %%)! millas marinas (una milla marina es aproximadamente un minuto de arco sobre la esfera terrestre. Como 1 kilmetro corresponde a 1,852 millas marinas, la distancia ser de, aproximadamente, 8.297 Km. Por otro lado =/8 - =/8 (%'(9 !*' y por lo tanto =/8 !)'!'% !&( $% *)9 I !*' Anlogamente, resulta " $$ #'9 I El problema de Coln Partimos de un punto dado A con un rumbo de salida dado y recorremos una distancia - siguiendo un arco de crculo mximo: cules son las coordenadas (latitud y longitud) del punto B de llegada? Nuevamente podemos tomar como tercer vrtice el polo Norte. Esta vez los datos son (ver Figura 1.27): el ngulo (rumbo de salida) el lado b : 909 latitud de A (se tomar el signo si A se encuentra en el hemisferio Norte y el signo + si est en el Sur) el lado - (medido en millas marinas nos dar el ngulo en minutos) El lado + lo podemos calcular directamente de la ley de los cosenos: -9= + -9= , -9= - =/8 , =/8 - -9= La latitud del punto B ser 909 + o + *!9 segn + resulte ser menor o mayor que 909 . Si + es menor que 909 significa que el punto de llagada B se encuentra en el hemisferio norte. Usando la ley de los senos, se tiene: =/8 # =/8 - =/8 =/8 + La longitud de B ser igual a la longitud de A ms (o menos) el ngulo # , segn sin el rumbo tomado fu Este u Oeste. Apliquemos estos resultados a un problema concreto: partimos de Valparaso (339 6+> S , 729 6981 O) con rumbo de salida 459 O y recorremos 200 millas marinas. dnde nos encontramos?

40

Figura 1.29 En este caso : %&9 - #!!w $ $$9 , *!9 $$9 "#$9 -9= + !&%!** !)%!!'!(" !&! Luego + ""* *#9 y por lo tanto la latitud de B ser 29,99 R =/8 #
!!'!(" !)(

!!&

luego # # )#9 y por lo tanto la longitud del punto B ser de 74,829 O.

1.8.

PROBLEMAS

1. El rumbo inicial de un barco que parte desde Nueva York (409 %#w R (%9 "!w O ) es de $!9 "!w R I Localizar el punto M del recorrido que sea el ms cercano al polo Norte y calcular las distancias desde M al polo y a Nueva York.

41

2. Un barco parte de San Francisco (379 %)w R "##9 #%w S) con un rumbo inicial de 409 $!w WS. Calcule la distancia hasta el cruce con el Ecuador. Cul ser la longitud en ese punto? Localice adems el punto en que se encuentra el barco despus de recorrer 340 millas marinas. 3. Un aeroplano sale de Honolul (219 ")w R "&(9 &#w S) con rumbo inicial de 409 %$ R I Encuentre el punto ms cercano al polo Norte de su trayectoria y calcule la latitud en que se encuentra cuando la longitud es de 749 S 4. Un barco parte de Valparaso (339 W (#9 S con un rumbo inicial de 329 WS Qu distancia se puede recorrer de modo que el error cometido en el clculo de la latitud usando Trigonometra Plana sea menor o igual a un grado sexagesimal? Use el Polo Sur como tercer vrtice. (Indicacin: use el mtodo de ensayo y error) 5. Un barco que navega en la polinesia francesa (159 W "%!9 S necesita ser guiado a Valparaso (339 W (#9 S : calcule el rumbo de salida. Calcule este rumbo como si la tierra fuese plana (use el polo sur como tercer vrtice): adnde ira a parar en Chile si se usa ese rumbo errneo? 6. Un barco parte de un punto A (209 R !9 6981) con rumbo 309 R I y recorre 3000 millas marinas alcanzando el punto B. Calcule latitud y longitud de B Si el capitn no sabe trigonometra esfrica y aplica plana, encuentre los valores de latitud y longitud calculados de este modo errneo. La (falsa) posicin calculada por este capitn se encuentra ms al Sur o ms al Norte, ms al Oeste o ms al Este de la verdadera? Cul es el error total cometido? (es decir, la distancia en millas entre la posicin falsa y la verdadera? 7. Un barco parte de Valparaso con la intencin de llegar a Isla de Pascua (279 W "!*9 S pero parte con un rumbo levemente equivocado de 869 SS . Calcule la distncia mnima a Isla de Pascua por la que pasa el barco. Cul debi ser el rumbo (de salida) correcto?

42

8. Dos barcos A y B parten desde un mismo punto a las 12:00 hrs. y se alejan uno de otro segn un ngulo de 79 . Si el barco A se desplaza en lnea recta a 8 nudos y B a 6 nudos, A qu distancia estar uno de otro a las 16:00 hrs.? Use Trigonometra Plana y Esfrica y calcule el error cometido. Estudie cmo aumenta el error a medida que los barcos se alejan. (1 nudo 1 milla marina por hora 1.852 Km/hora ) 9. Dos submarinos zarpan desde un mismo punto y al mismo tiempo en rumbos que difieren en un ngulo . Uno navega con un a velocidad de 25 nudos y el otro a 23 nudos. Tres horas despus de partir distan entre si 10 millas. cul es el ngulo comprendido entre sus cursos? (Haga un anlisis como en el problema anterior). Que puede Ud. concluir ?

43

Capitulo 2:

GEOMETRA ANALTICA

2.1 INTRODUCCIN. Supongamos que se necesita construir un camino que una un cierto punto dado con el borde de una baha. El camino debe tener una cierta direccin y, por supuesto, debe ser recto para ahorrar costos. cmo calcular la distancia del punto al borde de la baha? Si el borde de la baha es aproximadamente una lnea recta, tendremos un tpico problema de trigonometra plana, ya discutido en el captulo anterior. Pero si el borde de la baha es curvo, nuestra trigonometra no nos d la solucin.

Figura 2.1 Un problema de este tipo tal vez se podra resolver si se pudiera describir la curva de la baha usando relaciones numricas. La Geometra Analtica nace con el objeto de resolver problemas geomtricos mediante el uso de las herramientas del lgebra y del anlisis. La aplicacin del clculo a la geometra para el estudio de las propiedades de las figuras y la solucin de los problemas que de ellas se derivan, fu empleado por los matemticos desde los tiempos ms remotos, pero slo para determinar longitudes, reas y volmenes. Arqumedes hizo uso de razonamientos muy ingeniosos que relacionaban las figuras geomtricas con operaciones numricas, llegando a desarrollar elementos precursores

44

del clculo infinitesimal. Pero solo con el desarrollo del lgebra se abre la posibilidad de relacionar de modo eficaz la geometra con el lgebra. La bsqueda sistemtica de las relaciones entre la geometra y el lgebra se atribuye a Descartes, quien comparte con Fermat la fama de ser los creadores de la Geometra Analtica. Descartes plantea en primer lugar el problema inverso: si a cada nmero real asociamos un trazo (estos nmeros reales debern ser positivos y ser la longitud del trazo lo que representar al nmero), cual ser el trazo que representa el producto de dos nmeros? Es claro que si consideramos un rectngulo de lados iguales a los trazos dados tendremos que el producto de los trazos ser el rea del rectngulo. Pero eso no es lo que quiere Descartes. l busca un trazo cuya longitud sea igual al producto de las longitudes de los trazos dados. Lo que l busca es una representacin geomtrica de la operacin algebraica de multiplicacin de dos nmeros. Por otro lado, la operacin suma (y resta) es muy fcil de representar geomtricamente: basta colocar un trazo a continuacin del otro ( o en sentido contrario). Cmo hacerlo con el producto? Ser posible obtener geomtricamente otras operaciones de tipo algebraico, como por ejemplo la extraccin de raiz cuadrada? Descartes resuelve estos problemas: para el caso del producto, es preciso elegir una unidad: un cierto trazo ser elegido como unidad de medida.

Figura 2.2 La unidad es el trazo AB y se desea multiplicar el trazo BC con el trazo BD: basta trazar la paralela a AD por C y se obtiene el punto E. El trazo BE ser el producto de BC con BD. En efecto, por el teorema de Thales: FI FH FH y por lo tanto: FI FH FG FG EF "

45

Para obtener la raiz cuadrada de un trazo dado, la construccin es igualmente elemental. Supongamos que queremos construir un trazo que sea la raiz cuadrada del trazo BD: prolongamos el trazo BD hacia la izquierda de modo que AB sea nuestra unidad.

Figura 2.3 Enseguida tomamos el punto medio C del trazo AD y trazamos una circunferencia de centro en C y radio CA. Finalmemte levantamos la perpendicular en B y determinamos su interseccin con la circunferencia: el trazo BE ser la raiz cuadrada de BD. En efecto, el tringulo ADE es rectngulo en E y usando tres veces el teorema de Pitgoras, se obtiene: EI # IH# EH# EF FH# " FH# Pero IH# FI # FH# , y sustituyendo arriba: EI # FI # FH# " FH# " #FH FH# luego: EI # FI # " #FH. Pero AE# EF # FI # " FI # Por lo tanto: " FI # FI # " #FH luego: FI # FH es decir FI FH De este modo Descartes le asignaba un significado geomtrico a una operacin algebraica. Por el otro lado, Fermat comenzaba con una ecuacin algebraica y derivaba de ella propiedades de tipo geomtrico. De esta manera, los trabajos de Descartes y Fermat tomaron en conjunto los dos problemas bsicos complementarios de la geometra analtica: (i) dado un lugar geomtrico definido por ciertas condiciones, hallar su ecuacin algebraica.

46

(ii) dada una ecuacin algebraica, hallar el lugar geomtrico que representa. 2.2. EL PLANO AFN SOBRE # Si consideramos un plano, desde un punto de vista intuitivo, entonces podemos asignarle a cada punto del plano una pareja de nmeros reales. Para esto basta tomar dos rectas orientadas, no paralelas, y establecer en cada una de ellas una escala de medida que permita asignar a cada punto de estas rectas un nmero real. El cero debe estar en la interseccin de las rectas, las cuales se llamarn ejes. Entonces, por cada punto del plano podemos trazar paralelas a estos ejes determinando as puntos en cada eje y por lo tanto nmeros reales.

Figura 2.4 El punto P de la Figura 2.4 determina la pareja de nmeros reales B C. Recprocamente, a cada pareja de nmeros reales corresponder de este modo un punto en el plano. Es claro que estas parejas de nmeros reales depender de la eleccin de los ejes. Esto incluye no solo su ubicacin y el ngulo en que se cortan, sino tambin la escala de medida que se ha elegido en cada una de ellas. En todo caso, una vez fijados los ejes, tenemos una correspondencia biunvoca entre los puntos del plano y las parejas de reales. Los distintos objetos geomtricos en el plano, tales como rectas, circunferencias y otras curvas ms interesantes como las cnicas, podrn ser, en principio, descritos mediante relaciones algebraicas entre los nmeros B e C asociados. Es lo que hicieron Descartes y Fermat para abordar numerosos problemas geomtricos muy

47

difciles de resolver de otro modo. Pero Fermat y Descartes trabajaron en la primera mitad del siglo 17 y hubo que esperar dos siglos ms hasta que matemticos como William Hamilton y Hermann Grassmann crearan un lgebra, no de los nmeros reales B e C, sino de los mismos pares ordenados: el lgebra Lineal. Cabe comentar que esta misma lgebra puede ser extendida a tros de nmeros, lo que proporciona una buena base para estudiar la geometra del espacio y, finalmente, puede generalizarse a dimensiones mayores. La estructura algebraica que se define, para estos fines, sobre el conjunto de pares ordenados es la siguiente: DEFINICIN. Sobre el conjunto # B C B C definimos: 3 + , - . + - , . 33 -+ , -+ -, , - Estas operaciones satisfacen las siguientes 4 reglas bsicas (axiomas) Si A,B # " 3 "E E 33 " E " E 333 E F E " F 3@ " E E " E El conjunto # provisto de estas dos operaciones y dado que (trivialmente) se satisfacen los cuatro axiomas anteriores, se llama un espacio vectorial sobre y sus elementos se llamarn vectores. Los coeficientes reales que multiplican a los vectores se denominan en este contexto escalares. Estos vectores pueden ser visualizados como flechas en el plano que parten de un origen comn S ! !. La suma se realiza segn la diagonal del paralelgramo que forman las flechas y el producto del vector C con el escalar - acorta o alarga la flecha y la invierte si es negativa:

48

Figura 2.5 En efecto, el tringulo ?ODA es obviamente congruente al ?BEF (ver Figura 2.5) por lo tanto la primera componente del vector A se agrega a la primera componente del vector B para formar la suma A+B. Lo mismo ocurre con la segunda componente. Del mismo modo, el tringulo ?GOC es semejante al ?HOK, por lo tanto las longitudes de sus lados son proporcionales. No est dems recordar que el nombre mismo de vector proviene de la fsica y significa el que porta o sostiene refirindose a las fuerzas. La representacin de las fuerzas mediante flechas tiene ese origen y su suma corresponde a la composicin de las fuerzas, que resulta ser la diagonal del paralelgramo formado por sus componentes. Estas flechas las haremos actuar sobre un plano cualquiera M del siguiente modo: a cada par de puntos T U Q asociamos un nico y bien definido vector E # aqul que tiene la misma direccin, sentido y tamao que la flecha que une T con U Vamos a denotar a este vector por E T U Es muy fcil verificar que se satisfacen las siguientes tres reglas bsicas (axiomas): I. T T ! ! ! MM T U UV T V MMM aT Q a E # bx U Q tal que T U E En general, un conjunto provisto de esta asociacin que satisface estos tres axiomas, se llama un plano afn sobre # . De esta manera, tenemos por un lado las flechas que parten de un punto comn ("flechas en el carcaj") cuyo estudio es materia del lgebra lineal y

49

por otro lado tenemos a las flechas operando libremente en el plano, lo que constituye nuestra geometra ("geometra afn").

Figura 2.6 Sea ahora O un punto cualquiera del plano M : O M y consideremos dos vectores no nulos de # que no sean colineales: , Es interesante e " e# # observar que cualquier otro vector (+ , se puede representar en la forma: + , " con , " /" /# En efecto, si B" C" y B# C# , entonces se plantea el e" e# sistema de ecuaciones para y " : + B" " B# , C" " C # de donde # B+C# ,BB# " C# C" donde la condicin B" C# C" B# ! se deriva de la hiptesis de que los vectores y no son colineales. En efecto, la condicin e" e# C B" C# C" B# ! , es decir, B" C" es, precisamente la condicin de B# # colinealidad de los vectores:

50

Figura 2.7 De modo completamente anlogo se puede calcular el escalar " : "
+C1 ,B1 B# C" C# B"

El tro: S se llama un sistema de coordenadas del plano M. /" / # Si P es un punto cualquiera en el plano M, es decir, si P M, entonces el vector OP se podr representar, segn lo que acabamos de ver, del modo siguiente: OP = B C B C /" /# Estos escalares B C se llaman las coordenadas del punto P y es costumbre denotar este hecho por : P(B C). El sistema de coordenadas ms sencillo (y tambin el ms usado) es aquel donde se toman los vectores especiales: /" " ! y /# ! " En este caso la descomposicin de un vector cualquiera B C # es muy sencilla: B C B C /" /# La coordenada B se llama abcisa mientras que la coordenada C se llama ordenada. Este ser el sistema de coordenadas que usaremos en lo sucesivo. Si ahora tomamos dos puntos cualquiera en el plano : T + , y Q(c,d) usando el axioma II , podemos calcular el vector PQ que los une:

51

 T U SU ST - . + , - + . , Es decir, con este sistema de coordenadas resulta simplemente la diferencia de coordenadas. Del mismo modo podemos calcular la distancia que hay entre dos puntos de M de coordenadas dadas:

Figura 2.8 Aplicando el teorema de Pitgoras: .T + , U- . - +# . ,#

Esta distancia entre los puntos T y U se interpreta tambin como la longitud o norma del vector T U que los une y se denota por: ||T U || . En general tendremos entonces que la norma del vector B C # ser mB Cm B# C#

2.3 LA RECTA EN EL PLANO AFN Supongamos que tenemos un punto A en el plano y una direccin caracterizada por un vector : cmo caracterizar los puntos que se @ encuentran sobre la recta L que pasa por A y tiene la direccin ? @

52

Figura 2.9 Si O es un punto en el plano, tomado como origen, entonces: T P ST SE - - @ (1)

Esta expresin se llama ecuacin vectorial de la recta. Si llamamos B C a las coordenadas del punto P , + , a las coordenadas del punto A y si el vector es @ @" @# , entonces la ecuacin (1) queda: B C + , - @" @# + -@" , - @# lo que constituye el sistema: B + - @" C , - @#

(2)

Esta ecuacin (2) se conoce como ecuacin paramtrica de la recta L, con - como parmetro. El significado de esta ecuacin es: para cada valor del parmetro - se tendrn las coordenadas B e C de un punto sobre la recta L. En esta ecuacin podemos eliminar el parmetro -, multiplicando la primera ecuacin por @# y la segunda por @" y restando: @" C @# B @# + @" , ! (3)

Esta es una relacin lineal entre las coordenadas del punto T B C que est en la recta L. si @" ! , entonces @# ! pues el vector ! ! no determina ninguna direccin. Cul es la direccin del vector ! @# ? Si hemos tomado como sistema de coordenadas: /" " ! y /# ! ", la direccin ser la misma que el vector /# ! ". En este caso se puede despejar la coordenada B B @# +@" , @#

53

Se trata entonces de una recta vertical que pasa por el punto de coordenadas ( @# +@", , 0) @#

Figura 2.10 si @" 0 , entonces podemos despejar la coordenada C : C

@# @" B

@# @" +

(4)

Ntese que el coeficiente @# de B no es otra cosa que la tangente del @" ngulo que forma las recta L con el eje OX, es decir, el eje que contiene al vector /" y se llama la pendiente de la recta.

Figura 2.11 La ecuacin (4) se acostumbra a escribir en la forma C 7B 8 donde 7 corresponde a la pendiente y 8 es la altura del corte de la recta con el eje OY o sea el eje que contiene al vector /# Segn hemos visto, las coordenadas de los puntos que estn sobre una recta estn en una relacin lineal. ser cierto el recproco? Es decir, si +B ,C - !

54

estarn los puntos T B C sobre una recta? La respuesta es evidentemente positiva, pues: si , ! la recta con vector @ ! " y que pasa por el punto E + ! satisface la ecuacin. si , ! , la recta con vector @ , + y que pasa por el punto E! - satisface la ecuacin planteada. , Es claro que dos rectas: C 7B 8 y C 7w B 8w sern paralelas si sus pendientes son iguales: 7 7w . Cabe preguntarse que condicin debe cumplirse para que las rectas sean perpendiculares?

Figura 2.12 Recordando que la pendiente de la recta es la tangente del ngulo que forma con el eje OX, tenemos: 7w >1) 1 # es decir : 77w " (5)
=/8) 1 # -9=) 1 #

-9= ) =/8 )

" >1 )

" 7

Pero esto es vlido solo si acaso 7 ! . Si 7 ! entonces la recta L ser horizontal (paralela al eje OX ) por lo tanto la perpendicular L' deber ser paralela al eje OY, es decir, vertical. La condicin (5) puede ser interpretada tambin para este caso si consideramos que una recta vertical tiene "pendiente infinita". Este resultado lo podemos usar para calcular la distancia de un punto T de coordenadas , " , es decir, T " a una recta L de ecuacin +B ,C - !. Supongamos primero que a 0 y que b 0 . Entonces la recta L tendr la ecuacin: C + B - La distancia de P a L ser , ,

55

la distancia de P al pi Q de la perpendicular a L trazada desde P. Trazamos entonces por T una recta L' perpendicular a L : Pw , , C + B 8 y por pasar por T " " + 8 de donde 8 , " + Intersectamos la recta Pw con P y obtenemos el punto Q: C +B , , , , C +B " + Por lo tanto: # B , +,"#++# , C
+,+# " ,+# ,#

Estas seran entonces las coordenadas de Q. Luego, la distancia . entre P y Q ser:

,# +," +- # +# ,#

"

+, +# " ,- # +# , #

lo que, despus de unos arreglos algebraicos elementales nos d: .

+," -# +# ,#

l+," -l +# , #

(6)

Una vez obtenida esta frmula, es fcil ver que tambin es vlida para el caso en que + ! o , ! En efecto, si + !, la recta L es una recta horizontal a la altura - y la distancia de T " ser simplemente la , diferencia de coordenadas l" - l l" - l , que es lo que , , proporciona la frmula. Del mismo modo, si , ! entonces la recta L es vertical y la diferencia de coordenadas ser: | + l l + l Es curiosa la estructura de la frmula (6) : se ha sustitudo el par " por el par B C en la ecuacin de la recta. Si el punto P est sobre la recta, entonces debe satisfacer su ecuacin y la distancia ser cero. La condicin (5) de perpendicularidad de dos rectas nos permite encontrar la condicin de perpendicularidad de dos vectores, definida como la condicin de las rectas perpendiculares que son soportadas por los correspondientes vectores. Recordemos que la pendiente de la recta C soportada por el vector @" B" C" es 7" B" y anlogamente la " C pendiente de la recta soportada por @2 B2 C# es 7# B# . Esto es si # acaso las rectas no son verticales. Luego, los vectores @" y @# sern C C perpendiculares si acaso 7" 7# B" B# " es decir: " #

56

B" B# C" C# !

Esta condicin es tambin vlida si acaso alguna de las rectas es vertical, es decir , si : B" ! o si B# ! En efecto, si por ejemplo B" ! , entonces la condicin (7) nos indica que C# ! (pues C" no puede ser cero) , por lo tanto la otra recta es horizontal. La condicin (7) de perpendicularidad induce a definir el producto interno de los vectores @" y @# que se acostumbra a denotar: @" @# : @" @# B" C" B# C# B" B# C" C# )

Es decir, dos vectores sern perpendiculares (tambin se dice ortogonales) si su producto interno es cero. Recordando la definicin de norma de un vector, se tiene: ||@|| ||B C|| B# C# B C B C @ @ * Recordando ahora la interpretacin de la norma de un vector como su longitud, podemos definir el concepto de ngulo entre dos vectores:

Figura 2.13 Por el teorema del coseno: m@" @# m# m@" m# m@# m# #m@" m m@# m-9= ) Pero, usando las observaciones anteriores, el lado izquierdo de esta igualdad es: m@" @# m# B" C" B# C# B" C" B# C# B" B# C" C# B" B# C" C# B" B# # C" C## # # B# B# #B" B# C" C# #C" C# ||@" ||# ||@# ||# #@" @# " #

57

Por lo tanto, la igualdad anterior se reduce a: ||@" ||# ||@# ||# #@" @# m@" m# m@# m# #m@" m m@# m-9= ) de donde, simplificando y despejando el coseno, se tiene finalmente: -9= )
@" @# ||@" || ||@# ||

(10)

EJEMPLOS 1. Encontrar la ecuacin de la recta que pasa por dos puntos de coordenadas dadas: A( " #) y B(", #) Sea C 7B 8 la ecuacin de la recta buscada. Como debe pasar por los dos puntos, se tiene: # 7 " 8 # 7" 8 lo que nos d un sistema de ecuaciones para las incgnitas 7 y 8 En este caso su solucin es: 8 ! 7 # 2. Encontrar la ecuacin de una recta perpendicular a P C #B " que pasa por el punto T # " La ecuacin tendr la forma C " B 8 y por pasar por P, se tiene: " " # 8 , de donde # # 8 # Luego la recta buscada tendr por ecuacin: C "B # # 3. Calcular la distancia del punto T " # a la recta P C B # Aqu secillamente usamos la frmula (6) : " . l"##l # "" 4. Una lancha que avanza a 20 O72 debe cruza un ro cuya corriente es de 5 O72 . Qu direccin debe llevar la lancha para cruzar perpendicularmente el ro? En este caso hay que modelar las velocidades mediante vectores: la suma vectorial de las velocidades debe ser perpendicular al ro:

58

Figura 2.14 Llamemos + , al vector velocidad de la lancha. El vector velocidad del ro ser: & ! Por lo tanto, segn la eleccin de nuestro sistema de coordenadas se deber tener: + , & ! " ! ! luego: + & , " ! + & ! , luego + & Por otro lado ||+ ,|| #! , es decir, #& , # #! , de donde , #!# #& $(& . Finalmente, usando la frmula (10): $(& , -9= ) ||+,!"|| ||+,|| #! !*')# +,|| ||!" Luego ) "%9 &

2.4.

PROBLEMAS

1. Calcule la distancia entre dos puntos del plano afn cuyas coordenadas son: T " # U% # T " # U$ # 2. Encontrar las coordenadas del punto de interseccin de las rectas: P" C B " P# C #B " # 3. Encontrar la ecuacin de las recta que tiene pendiente 7 # y pasa por el punto T " $

59

4 Encontrar la ecuacin de las recta que tiene pendiente 7 " y pasa por el punto T de interseccin de P" C # y P# que pasa por T $ ( y U$ " 5. Encontrar las ecuaciones de la recta P tal que: a) pasa por T # & y es paralela a 'B $C % ! b) pasa por T # $ y es perpendicular a #B $C " ! c) es perpendicular a $B #C " ! y pasa por la interseccin de esta misma recta con el eje de las x 6. Hay una acequia que forma una pendiente de " con un camino y se # desea construir otra acequia paralela a la primera y que pase a una distancia de 12[m] de la interseccin de la primera acequia con el camino. Suponiendo que todas son rectas cul es la ecuacin de las acequias? (Indicacin: elija un sistema de coordenadas adecuado) 7. Calcule la distancia del punto T $ " a la recta L: C $B " 8. Determine la distancia entre las rectas : #B C ( ! %B #C & ! son estas rectas paralelas? 9. Sea ?ABC : A(-1,2) , B(2,5) , C(3,-1). Calcule el rea de este tringulo. 10. Encuentre la recta cuyos puntos equidistan de las rectas: $B %C ' ! "#B &C * ! 11. Decida si acaso los vectores son ortogonales o no: a) " $ y $ " b) # " y " % 12. Sean ? @ # . Demuestre que las tres afirmaciones siguientes son equivalentes: (1) ? y @ son ortogonales (2) ||? @|| ||? @|| (3) ||? @||# ||?||# ||@||#

60

13. Demuestre la llamada "desigualdad de Cauchy-Schwartz" : l? @l ||?|| ||@|| donde ? @ son vectores de # 14. Descomponer el vector (3,1) en direccin ? # $ y @ " " 15. Un barco se v sometido a la fuerza del viento de 50 Kg en direccin 409 R I . Calcule las componentes de esta fuerza sobre el lado Norte y Este del barco. 16. Una bandera sobre una lancha en movimiento forma un ngulo de 459 respecto de la direccin en que se mueve la lancha, en cambio, una bandera clavada en tierra firme forma un ngulo de 309 respecto de la misma direccin: (a) si la velocidad de la lancha es de 10 Km/h , calcule la velocidad del viento. (b) Encuentre la velocidad aparente del viento para un observador en el bote. 17. Sea ?ABC isceles donde AC y BC son los lados iguales. Sea P un punto cualquiera sobre el lado AB. Demuestre que la suma de las distancias desde P a los lados AC y BC es constante. 18. Sea ?ABC equiltero, P un punto cualquiera dentro del tringulo. Demuestre que la suma de las distancias a los tres lados es constante, es decir, no depende de la posicin del punto. Intente dos demostraciones: una usando geometra analtica y otra usando solo geometra euclideana clsica. 19. Cmo cambian las cordenadas de un punto P en el plano cuando cambia el sistema de coordenadas de S /" /# a S w %" %# ? 20. Encuentre las coordenadas de los puntos del plano cuya distancia a la recta $B %C & ! es el doble de la distancia a la recta : %B $C '

61

21. Encuentre las ecuaciones de las rectas que pasan por el punto de interseccin de : (B (C #% y B C ! y que forman con los ejes coordenados: un tringulo de rea ( " & un tringulo de permetro 12 22. Demuestre que la suma de los cuadrados de las distancias de cualquier punto del plano a dos vrtices opuestos de un rectngulo es igual a la suma de los cuadrados de sus distancias a los otros dos vrtices.

2.5.

LAS SECCIONES CNICAS

Supongamos que tenemos una recta fija L9 en el espacio y otra recta L que corta a L9 en un punto O y forma un ngulo agudo con L9 Si se hace rotar la recta L en torno a L9 , manteniendo fijo el punto O, se forma una figura en el espacio llamada cono circular recto. La recta L9 se llama eje del cono y el punto O se llama vrtice del cono. Se entiende por secciones cnicas , o simplemente: cnicas, aquellas curvas que se forman al intersectar un cono circular recto con un plano que no pasa por su vrtice. Segn sea el ngulo ) con que el plano corta al cono se obtienen los tres tipos bsicos de cnicas: elipses () > ), parbolas () = ) e hiprbolas ()< ):

Figura 2.15

62

Es interesante notar que ya el gemetra griego Apolonio ( siglo III A.C.) encontr las propiedades bsicas de las cnicas. Fu l quien puso los nombres de elipse, parbola e hiprbola y ha llegado hasta nosotros en una obra denominada justamente "sobre las secciones cnicas" compuesta de 8 libros, la mitad de los cuales slo se ha conservado en una traduccin al rabe. 2.5.1 LA CIRCUNFERENCIA Cuando el ngulo ) es recto, es decir el plano corta perpendicularmente al eje del cono, entonces la elipse resultante se llama circunferencia. Si llamamos C al punto de interseccin del plano con el eje del cono , entonces es claro que todos los tringulos ?OCP que se forman tomando un punto P cualquiera de la curva, son congruentes:

Figura 2.16 En efecto, todos ellos tienen el ngulo recto, el ngulo y el lado OC en comn. Por lo tanto, la distancia del punto P al punto C es constante. Esta distancia se llama radio y el punto C se llama centro de la circunferencia. Si llamamos < al radio de la circunferencia, entonces una ecuacin vectoria6 de la circunferencia sera simplemente: llT G ll < (1) Si tomamos un sistema de coordenadas S /" /# , usando los vectores especiales /" " ! /# ! " , entonces la ecuacin anterior toma la forma: llT G ll llST SG ll llB + C ,ll

63

 B +# C ,# < donde las coordenadas de P son B C y las de C son + , Elevando al cuadrado, se obtiene la ecuacin clsica en coordenadas: B +# C ,# <# #

Observar que la ecuacin (2) es una ecuacin cuadrtica donde los coeficientes de B# y de C# son iguales a 1 y donde no aparece un trmino en BC. es que cualquiera ecuacin cuadrtica con esas caractersticas representa la ecuacin de una circunferencia? Supongamos que tenemos una ecuacin de la forma: B# C# HB IC J ! (3) Para que sea la ecuacin de una circunferencia debemos llevarla a la forma (2), es decir: B# C# #+B #,C +# , # <# ! Luego, bastar que se cumpla: H #+ I #, J +# , # <# Despejando + , y < , se tiene: + H , I < " H# I # %J # # # Luego, para que el radio < sea un nmero real, debe cumplirse que H# I # %J (4) Por lo tanto, la relacin (3) representa una circunferencia si y solo si se cumple la condicin (4). Los nmeros H y I son las # # coordenadas del centro. Si en (4) vale la igualdad, entonces la ecuacin (3) se transforma en : # # B# C# HB IC H I B H # C I # ! % % # # Por lo que solo se satisface con un solo punto de coordenadas: ( H , I) # # es decir, el centro. Se invita al lector a ver que figura se forma cuando no se cumple la condicin (4) (se sugiere meter en el Scientific Work Place la ecuacin B# C# B C " !

2.5.2 LAS RECTAS TANGENTE A UNA CIRCUNFERENCIA (a) La recta tangente en un punto X ? @ sobre la circunferencia:

64

Figura 2.17

Sea

llVG ll#

B +# C ,# <#

(1)

la ecuacin de la circunferencia, donde G+ , es su centro . Si T B C es ahora un punto cualquiera de la tangente, entonces T X ,GX ! (2)

constituye ya la ecuacin vectorial de la recta tangente, puesto que el vector T X debe ser perpendicular al vector GX . Para obtener una ecuacin interesante en coordenadas, observemos que T X T G GX luego la ecuacin (2) queda: T G GX GX T G GX GX GX + B , C ? + @ , <# ! puesto que X satisface la ecuacin de la circunferencia y hemos llamado X ? @ las coordenadas del punto X de tangencia. La ecuacin anterior se puede escribir: B +? + C ,@ , <# que es una suerte de desdoblamiento de la ecuacin (1) (b) La recta tangente desde un punto E " que est fuera de la circunferencia: $

65

Figura 2.18 La ecuacin ser la misma ecuacin (3) , solo que esta vez las coordenadas ? @ del punto de tangencia son desconocidas. Para determinar dichas coordenadas planteamos las dos condiciones : la recta pasa por T " y el punto de tangencia est en la circunferencia: +? + " ,@ , <# ? +# @ ,# <# Este sistema de ecuaciones para ? y @ es de segundo grado, lo que era esperable pues deber haber dos soluciones, pues hay dos tangentes. (c) Dada una recta, encontrar la ecuacin de una circunferencia de un radio dado que sea tangente a la recta en un punto dado de ella.

Figura 2.19

66

Si T ? @ es el punto sobre la recta L: EB FC G ! donde la circunferencia debe ser tangente entonces esta recta ser tangente a una circunferencia de centro G+ , y radio < si es equivalente a la ecuacin (3), es decir: ? + -E @ , -F +? + ,@ , <# -G Ahora las incgnitas sern las coordenadas del centro de la circunferencia. Resulta tambin aqu una ecuacin de segundo grado, lo que era tambin esperable pues habr dos circunferencias del mismo radio tangentes en el mismo punto de la recta: una por un lado y la otra por el otro.

2.6

PROBLEMAS

1. Escriba la ecuacin de una circunferencia: con centro en G " $ y radio < $ con centro en G$ # y que pasa por el origen que pasa por T ( & U " " y V! ' # Demuestre que la ecuacin: #B# #C# "#B )C #% ! representa una circunferencia. Encuentre su centro y su radio. 3. Para qu valores del parmetro 5 las siguientes ecuaciones describen circunferencias? B# C# %B #C 5 ! 5B# %B $C# C ! % Encuentre la ecuacin de una circunferencia donde uno de sus dimetros une los puntos: T ' ) y U # % 5. Encuentre la ecuacin de la tangente a la circunferencia : B "# C# #& , en el punto X # % 6. Encuentre la ecuacin de una circunferencia de radio 3 que es tangente a la recta de ecuacin: C #B " en el punto X ! " de la recta.

67

7. Encuentre la ecuacin de las rectas tangente a la circunferencia: B &# C# #& desde el punto T # " exterior a la circunferencia. 8. Demuestre que las circunferencias: G" B $# C "# ) G# B ## C ## # se cortan en ngulo recto (es decir, el ngulo de las respectivas tangentes en el punto de interseccin es recto)

2.7.1.

LA ELIPSE

Se considera que fu Apolonio quien demostr la propiedad ms relevante de las elipses: desde un punto cualquiera de la elipse, la suma de distancias hacia dos puntos fijos, llamados focos, es constante. Esta propiedad result ser tan importante que fu considerada posteriormente como definicin de elipse. Queda pendiente , sin embargo, la pregunta de si, dada una figura plana con tal propiedad existe un cono del cual proviene y si acaso ste es nico. Demostraremos que la respuesta sobre la existencia es afirmativa pero que no hay unicidad. Es claro que la unicidad se pierde para el caso particular de una circunferencia: para una circunferencia dada es fcil construir infinitos conos que la generan. Tambin esto ocurre para una elipse cualquiera, pero su demostracin es un poco ms complicada. Demostremos la propiedad indicada para una seccin cnica que genera una elipse. La demostracin se basa en la posibilidad de inscribir dos esferas en el cono, que sean tangentes al plano que lo corta: una por su parte ms estrecha y la otra por su parte ms ancha. Esto se puede hacer mirando el plano "de perfil" y considerando que las esferas tienen su centro en el eje del cono:

68

Figura 2.20 Aqu se ha tomado, en realidad, un plano conteniendo al eje del cono y perpendicular al plano de corte. Para obtener los centros de las esferas, basta tomar las bicectrices de las correspondientes rectas en este plano e intersectarlas con el eje del cono. Los puntos de tangencia del plano con estas esferas son los focos. Para demostrar que desde un punto cualquiera de la elipse la suma de distancias a estos focos es constante debemos convencernos primero que, si se traza una recta tangente a una esfera desde un punto fuera de ella, la distancia desde dicho punto al punto de tangencia es siempre el mismo. En efecto, los tringulos ?APC y ?BPC de la Figura 2.21 son congruentes, pues tienen un ngulo recto, el lado PC comn y los lados CA y CB (radio de la esfera) iguales.

Figura 2.21

69

En la Figura 2.22 J" y J# son los puntos de tangencia del plano que determina la elipse con las esferas , C es el vrtice del cono. Se ha tomado un punto P cualquiera de la elipse y se ha unido por una recta con el vrtice C. Esta recta est contenida en el manto del cono, por lo tanto corta a las circunferencias que son los puntos de tangencia de las esferas con el cono en los puntos E y D.

Figura 2.22 La distancia PF" es igual , por lo observado anteriormente, a la distancia PD puesto que ambas son tangentes a la esfera menor desde el mismo punto P. Del mismo modo, PF# PE. Luego la suma de las distancias PF" y PF# es igual a la suma de las distancias PD y PE, es decir, la distancia entre los planos paralelos que contienen las intersecciones de las esferas con el cono. Pero esta distancia no depende del punto P elegido. Usando esta propiedad es fcil dibujar una elipse: se fijan dos puntos que sern los focos y se amarra un hilo cuya longitud ser la suma de distancias a los focos. Es claro que esta longitud debe ser mayor que la distancia entre los focos. El lpiz se desliza sobre el papel manteniendo tenso el hilo:

70

Figura 2.23 Si tomamos un sistema de coordenadas, entonces los focos tendrn como coordenadas: J" +" ," J# +# ,# y la elipse tendr como ecuacin: B +" # C ," # B +# # C ,# # "

Esta es la ecuacin general de la elipse. Pero si uno puede elegir un sistema de coordenadas apropiado, la ecuacin se simplifica notablemente:

Figura 2.24 Se ha elegido como eje OX la recta que une los focos y como origen su punto medio. La ecuacin (1) queda entonces: B +# # C# B +# # C# - es decir: B +# # C# - B +# # C# y elevando al cuadrado:

71

B +# # C# - # #- B +# # C# B +# # C # , que simplificando y ordenando nos da: %B+# - # #- B +# # C# y elevando nuevamente al cuadrado y simplificando, obtenemos:
# # B# +# # # C# # # # # +# # #

Notemos que debe ser +# # , de lo contrario "el hilo no alcanza" y no hay figura. Si +# # , entonces la figura degenera en el trazo entre los focos. En efecto, la ecuacin (2) se reduce a C ! y si introducimos en la ecuacin original, se obtiene: B +# # B +# # - , es decir: lB +# l lB +# l que se cumple para B +# +# # Si +# # entonces podemos llamar: +# # # , # # + y se obtiene, dividiendo la ecuacin (2) por +# , # : B# +#

C# ,#

"

(3)

El nmero + se llama semieje mayor mientras que , se llama semieje

, menor. Finalmente, el nmero / " + # se denomina

excentricidad. Notar que la excentricidad no cambia si se multiplican los semiejes por una constante positiva cualquiera. Por otro lado, si la excentricidad es nula, entonces + , y la elipse degenera en una circunferencia. Finalmente, la distancia entre los focos ser: #+# #+# , # #/+

2.7.2. LOS CONOS QUE GENERAN UNA ELIPSE DADA Vamos ahora a abordar el problema inverso: dada una elipse de ecuacin
B# +#

C# ,#

"

"

construir un cono y un plano que lo corta tal que su interseccin coincida con la elipse dada. Para esto tenemos que lograr una interpretacin geomtrica de la excentricidad. Consideremos nuevamente un cono donde su apertura queda descrita por un ngulo y un plano que lo corta en un

72

cierto ngulo ), ambos ngulos medidos desde el eje del cono (ver Figura 2.25). En el caso de la elipse se tendr que ) Vamos a considerar tambin, por comodidad, sus complementos : 9 1 ) y " 1 . # #

Figura 2.25 Trazando la esfera tangente al cono y al plano en su parte inferior, podemos determinar la recta en que se intersecta el plano C que contiene la tangente entre la esfera y el cono con el plano que contiene a la elipse. Esta recta se denomina directriz.

Figura 2.26

73

Trazando la perpendicular desde el punto P de la elipse al plano C se determina un punto Q . Consideremos el tetraedro PBQH (ver Figura 2.27)

Figura 2.27 Aqu hay que notar que el ngulo QHP corresponde al ngulo 9 y que el ngulo QBP corresponde al ngulo " . Considerando el ?BQP , que es recto en Q , tenemos: =/8 " T U y en el ?PQH que tambin es recto en TF TU Q tenemos: =/8 9 T L , de donde dividiendo ambas expresiones se =/8 9 TF obtiene: =/8 " T L . Pero PB PF , pues ambas son la distancia del punto P al punto de tangencia a la esfera. Por lo tanto, se tiene:
TJ TL

=/8 9 =/8"

TJ Es decir, la fracin T L no depende del punto P de la elipse. Demostraremos que esta fraccin no es otra cosa que la excentricidad, es decir, / En efecto, repitamos la Figura 2.24 pero agregando la / posicin de la directriz y de los vrtices de la elipse.

Figura 2.28

74

Tomando como punto P de la elipse los vrtices V y V' , obtenemos: ZJ Z wJ Z K Z w K / y reemplazando los valores de las distancias segn la Figura 2.28, se tiene:
++# 1+

++# +1

/
#

de donde se puede despejar la distancia 1 : 1 +# . Recordando que + , # +# +# , # +" + +/ , se tiene que 1 + y / reemplazando en la igualdad de arriba: /
++# 1+

+"/ + / +

/+"/ +"/

Por lo tanto, volviendo a las notaciones originales, tenemos que:

=/8 9 =/8 "

-9= ) -9=

, / " + #

Tomemos ahora cualquier ngulo 1 , es decir, cualquier cono no # degenerado. La frmula (3) nos permite calcular el ngulo ) de corte, de modo que la excentricidad sea la dada por la ecuacin (1). Necesitamos ahora encontrar los puntos por donde debe pasar el plano de modo de obtener la elipse dada en (1). Para esto consideremos el esquema dado en la Figura 2.29 :

Figura 2.29 La distancia BD no es otra cosa que la distancia entre los vrtices de la elipse, es decir #+. Por otro lado el ngulo . es igual a la suma " 9 es

75

decir: . 1 ) A su vez el ngulo / es igual a 1 # . es decir: / ) . Por lo tanto, en el ?BAD podemos aplicar el teorema FH #+ EF EH de los senos y obtenemos: =/8 # =/8# =/8 . =/8/ de donde:
EF #+ =/8#) =/8 EH #+ =/8)# =/8

De este modo se han determinado los puntos de corte del plano. Recordar que la Figura 2.29 representa el corte de un plano por el eje del cono. El plano que determina la elipse ser un plano perpendicular a ste y que pasa por los puntos B y D. Tambin es posible determinar los radios de las esferas que determinan el plano que ha de definir la elipse. Conviene para esto utilizar la distancia del vrtice al foco de la elipse, que llamaremos 0 : 0 + +# , #

Figura 2.30

En la Figura 2.30 tenemos que 0 FG OH. El trazo ED debe bisectar al ngulo ADB para llegar al centro de la esfera, lo mismo que el trazo BF en la esfera superior. Llamando R al radio de la esfera superior y < r al de la esfera inferior, tenemos: >1 . 0 y >1 1/ V , por lo tanto, # # 0 usando los valores ya calculados para los ngulos . y / , se tiene: < 0 >1 1 # 2.8.1
#

) #

V 0 >1 1 #

) #

&

LA HIPRBOLA

76

Cuando el ngulo ) con que el plano corta al cono es menor que el ngulo del cono, ambos ngulos medidos desde su eje, entonces se produce una hiprbola. Tambin en este caso los puntos de la hiprbola satisfacen una propiedad notable: la diferencia de las distancias a dos puntos fijos del plano es, en valor absoluto, constante. Estos puntos tambin se llaman focos. Para demostrar esta propiedad vamos nuevamente a inscribir dos esferas en el cono: una tangente al plano en la parte inferior del cono y la otra en su parte superior.

Figura 2.31 Los focos van a ser, como veremos, los puntos de tangencia de estas esferas con el plano que contiene a la hiprbola. Para esto usamos nuevamente la propiedad de que la longitud de las tangentes a una esfera desde punto fijo dado son todas iguales. Es claro que la hiprbola tendr dos ramas: una al intersectar la parte superior del cono y la otra al intersectar la parte inferior.

77

Figura 2.32 Tomemos un punto P cualquiera de la hiprbola y supongamos que est en la rama superior. Uniendo este punto con el vrtice O del cono y prolongando hasta el punto Q de interseccin con la circunferencia tangente de la esfera inferior con el cono, la recta tambin corta a la tangente de la esfera superior en un punto que llamamos R. Notar que esta recta se encuentra sobre el manto del cono. Si llamamos F" y F# las tangentes del plano con las esferas tendremos: el trazo T J" tendr la misma longitud que el PR , as como el trazo T J# ser igual al PQ. Por lo tanto la diferencia T J# T J" ser igual a T U T V es decir a la longitud del trazo UV que es la distancia entre los planos paralelos que contienen las intersecciones de las esferas con el cono. Pero esta distancia no depende del punto T elegido. Si el punto T de la hiprbola se encuentra en la rama inferior entonces la diferencia de distancias que d la distencia entre los planos ser la opuesta: T J1 T J2 . Si tomamos un sistema de coordenadas, entonces los focos tendrn como coordenadas: J" +" ," J# +# ,# y la hiprbola tendr como ecuacin: lB +" # C ," # B +# # C ,# # l "

78

Esta es la ecuacin general de la hiprbola. Pero si uno elige un sistema de coordenadas apropiado, la ecuacin se simplifica notablemente, al igual que el caso de la elipse:

Figura 2.33 Tomemos un punto T B C en la rama izquierda: entonces la distancia a J# ser mayor que la distancia a J" , por lo tanto la ecuacin (1) queda:

B +# # C# B +# # C# - es decir: B +# # C# B +# # C# - y elevando al cuadrado: B +# # C# B +# # C# - # #- B +# # C # , que simplificando y ordenando nos da: %B+# - # #- B +# # C# y elevando nuevamente al cuadrado y simplificando, obtenemos:
# # B# +# # # C# # # # # +# # # # Dividiendo por # # +# # # la ecuacin (2) queda: B# # #

C# +# # # #

"

Aqu es necesario notar que, segn la definicin de - , este nmero corresponde a la distancia entre los vrtices de la hiprbola, luego la abcisa +# del foco derecho debe ser estrictamente mayor que # , en # particular la diferencia +# # # es estrictamente positiva. Si llamamos

79

forma clsica:

# y , +# # #

, entonces la ecuacin anterior toma la

B# +#

C# ,#

"

La distancia entre los focos es #+# , lo que , en trminos de los nuevos parmetros es: . # + # , # % Finalmente, la exentricidad de la hiprbola se define por
, / " + #

(5)

2.8.2. LOS CONOS QUE GENERAN UNA HIPRBOLA DADA Consideremos la ecuacin de la hiprbola:
B# +#

C# ,#

"

"

Veamos, en primer lugar, que tambin en este caso la excentricidad corresponde a una razn entre ciertas distancias. Para eso consideremos solo uno de los focos y su correspondiente directriz: la interseccin del plano C que contiene la circunferencia tangente entre la esfera y el cono, con el plano que determina la hiprbola. De modo completamente anlogo al caso de la elipse, tomando un punto P cualquiera de la hiprbola y trazando la perpendicular al plano C se determina un punto Q y trazando la recta contenida en el manto del cono que pasa por su vrtice, se determina el punto B de interseccin con la circunferencia anterior. Finalmente trazando la perpendicular desde P a la directriz, se determina el punto H. La Figura 2.34 muestra el esquema "de perfil", es decir, sobre un plano perpendicular al plano que determina la hiprbola y que contiene al eje del cono.

80

Figura 2.34 Usando las notaciones ya establecidas tenemos:

TU TL

=/8 9 -9=)

TU TF

=/8 " -9=

Es importante aqu mostrar que, partiendo de un punto T w situado en la otra rama de la hiprbola se obtienen las mismas razones:
T w Uw T wL

=/8 9 -9=)

T w Uw T w Fw

=/8 " -9=

Pero T F T J y T w F w T w J pues se trata de las tangentes a la misma esfera. Tenemos finalmente:

TF TL

TJ TL

T w Fw T wL

T wJ T wL

-9=) -9=

De modo anlogo al caso de la elipse, demostraremos que no es otra / cosa que la excentricidad / de la hiprbola. Para eso, hagamos un grfico similar al 2.33 pero poniendo explcitamente la directriz y las distancias pertinentes:

81

Figura 2.35 Tomando como puntos P y P' los vrtices de la hiprbola obtenemos, con las notaciones de la Figura 2.35, las siguientes relaciones: /
ZJ ZK

Z wJ Z wK

+# + +1

++# +1 +# +#

$ Por otro
+ /

De la ltima igualdad podemos despejar la distancia 1 1 Finalmente, substituyendo arriba: /

++# +1

, lado se tiene que +# +# , # +" + # +/ Luego 1

++/ + + /

"/ " " /

Por lo tanto, volviendo a las notaciones originales, tenemos que: /

-9= ) -9= , / " + #

Tomemos ahora cualquier ngulo 1 , es decir, cualquier cono no # degenerado. La frmula (4) nos permite calcular el ngulo ) de corte, de modo que la excentricidad sea la dada por la ecuacin (1). Necesitamos ahora encontrar los puntos por donde debe pasar el plano de modo de obtener la elipse dada en (1). Para esto consideremos las notaciones del esquema dado en la Figura 2.36 :

82

Figura 2.36 Notar, en primer lugar, que la distancia PP' no es otra cosa que la distancia entre los vrtices de la hiprbola, es decir #+ Por otro lado, el ngulo T ST w es / 1 # mientras que el ngulo T T w S es 3 1 ) 1 # ) de donde el ngulo T w T S es 1 3 / ) . Aplicando el teorema de los senos al tringulo T T w S se obtiene finalmente:
TTw ST ST w =/8 / =/8 3 =/813/ #+ ST ST w =/8# =/8) =/8) ST #+ =/8#) =/8

es decir: de donde:
=/8) =/8 #

ST w #+

(5)

De este modo se han determinado los puntos de corte del plano. Recordar que la Figura 2.36 representa el corte de un plano por el eje del cono. El plano que determina la hiprbola ser un plano perpendicular a ste y que pasa por los puntos T y T w . Tambin es posible determinar los radios de las esferas que determinan el plano que ha de definir la hiprbola. Para esto, de modo completamente anlogo al caso de la elipse, conviene utilizar la distancia del vrtice al foco de la hiprbola: 0 +# , # + +/ ". Se obtiene, haciendo el mismo anlisis que para el caso de la elipse: < 0 >1 1 #
#

) #

V 0 >1 1 #

) #

83

2.9.1.

LA PARBOLA

La parbola es un caso lmite entre la elipse y la hiprbola: se produce cuando el ngulo ) con que el plano corta al cono coincide con el ngulo del cono: ) . En este caso hay solamente una esfera tangente al manto del cono y al plano que lo corta:

Figura 2.37 Tomando un punto P cualquiera sobre la parbola podemos trazar una recta que lo una con el vrtice del cono: esta recta cortar a la circunferencia tangente de la esfera con el cono en un punto M.

Figura 2.38

84

La interseccin del plano C que contiene a esta circunferencia con el plano que determina la parbola es la recta llamada tambin directriz. Trazando la perpendicular desde el punto P al plano C se determina el punto P' y trazando la perpendicular desde P a la directriz se determina el punto Q. En el tetraedro PP'MQ se tiene que el ngulo PMP' es 9 1 mientras que el ngulo PQP' es tambin 9 1 ) , pues # # )

Figura 2.39
TT Luego, se tiene que T Q =/8 9 y tambin T T =/8 9 Por lo tanto TU T Q T U . Pero T Q T J , pues son ambas tangentes a la esfera. El resultado es que los puntos de la parbola estn a la misma distancia del foco que de la directriz: T J T U Podemos entonces obtener una descripcin analtica sencilla usando un sistema de coordenadas apropiado:
w w

Figura 2.40 Con las notaciones empleadas en la Figura 2.40, se tiene:

85

T U B : T J : B# C# cuadrado y simplificando, se tiene: C# %:B que es la ecuacin clsica de la parbola.

, de donde, elevando al

"

2.9.2. LOS CONOS QUE GENERAN UNA PARBOLA DADA En este caso, la excentricidad geomtrica, definida por la razn T U es TJ igual a 1. Por lo tanto, procediendo como en el caso de la elipse y la hiprbola, se puede tomar un cono cualquiera y trazar un plano paralelo al manto del cono. Solo es necesario calcular la altura por donde debe pasar dicho plano.

Figura 2.41 La distancia EF en la Figura 2.41 corresponde a la distancia entre el foco y el vrtice de la parbola, es decir : en la frmula (1). En el tringulo : IJ ?CEF se tiene: GI =/8 es decir, GI =/8 . En el tringulo ?ACE se tiene : GI =/8 de donde la distancia desde el vrtice del EI cono la punto por donde debe pasar el plano es: EI
: =/8#

(2)

86

El radio de la esfera inscrita tambin es fcil de calcular: es decir: < : -9>

< :

>1 1 , # (3)

2.10.

LA ECUACIN GENERAL DE SEGUNDO GRADO

Las ecuaciones que definen los tres tipos de cnicas en el plano afin son ecuaciones de segundo grado en ambas variables. Cabe preguntarse si, recprocamente, toda ecuacin de segundo grado representa algn tipo de cnica. La respuesta, como veremos enseguida, es afirmativa, siempre y cuando se acepten como cnicas los llamados casos degenerados. Estos casos pueden clasificarse en cuatro tipos: 3 El vaco, como en el caso: B# C# " ! 33 Un solo punto, como en el caso: B +# C ,# ! 333 Dos rectas que se cortan, como en el caso: B# C# ! 3@ Dos rectas paralelas o coincidentes, como en los casos: B# B " ! dos rectas verticales) ; C# C " ! dos rectas horizontales) ; B# #B " ! una sola recta vertical) Consideremos la ecuacin de segundo grado: EB# FBC GC# HB IC J ! (1)

Vamos a demostrar que: Si F # %EG !, entonces (1) representa una elipse Si F # %EG ! , entonces (1) representa una parbola Si F # %EG ! entonces (1) representa una hiprbola aceptando los casos degenerados. Para llevar la ecuacin (1) a una forma apropiada, donde se pueda reconocer el tipo de cnica, es preciso examinar como cambia esta ecuacin con un cambio de coordenadas. Hay dos tipos de cambio de coordenadas, suponiendo que conservamos la perpendicularidad de los ejes: traslacin de ejes y rotacin de ejes. I. Traslacin de ejes. Sea T B C un punto cualquiera en un sistema ortogonal de coordenadas y traslademos el origen y los ejes paralelamente

87

sumando una constante 2 a las abcisas y una constante 5 a las ordenadas. Vamos a llamar Bw Cw a las nuevas coordenadas. Se tendr por lo tanto B Bw 2 C Cw 5

(2)

Figura 2.42 II. Rotacin de ejes. Sea ) el ngulo en que se rotan los ejes. Tomemos T B C un punto en el plano y llamemos T Bw Cw al mismo punto pero en las nuevas coordenadas. Llamando < y 9 a las nuevas coordenadas pero polares, se tiene: Bw <-9= 9 Cw <=/8 9

Figura 2.43

88

Luego, las antiguas coordenadas en coordenadas polares, sern: B <-9=) 9 <-9=9 -9=) =/89 =/8 ) C < =/8) 9 <=/8 9 -9= ) -9= 9 =/8 ) Finalmente, reemplazando los valores de Bw y Cw se tiene: B Bw -9= ) Cw =/8 ) C Bw =/8 ) Cw -9= ) Vamos a llevar a cabo este anlisis en varios pasos: 1. Sea F ! en la ecuacin (1) . Vamos a hacer una rotacin de ejes de modo que el nuevo coeficiente del producto B'C' sea cero. Es claro que, si F ! entonces no necesitamos hacerlo. Sustituyendo B / C segn (3) en la ecuacin (1), tenemos: E Bw -9= ) Cw =/8 )# FBw -9= ) Cw =/8 )Bw =/8 ) C w -9= ) GBw =/8 ) Cw -9= ) # HB IC J ! Agrupando los coeficientes de Bw Cw , queremos conseguir: #G E=/8 )-9= ) F-9=# ) =/8# ) ! es decir: G E=/8 #) F-9= #) ! Si acaso =/8 #) ! entonces -9= #) ! y por lo tanto tendra que ser F ! que hemos descartado Luego podemos poner: -9> #) EG % F La ecuacin (4) tiene siempre una solucin 2) ]0,1[ , es decir, con ! ) 1 Con este ngulo ) hemos logrado una rotacin de los ejes tal # que la nueva ecuacin es de la forma: +B# -C# .B /C 0 ! &

donde hemos llamado nuevamente B / C a las nuevas coordenadas. Los coeficientes + y - son + E-9=# ) F=/8 )-9= ) G=/8# ) - E=/8# ) F=/8 ) -9= ) G-9=# ) de donde, sumando +- EG y restando: '

89

+ - EG-9= #) F =/8 #) =/8 #)EG-9> #) F pero de (4) tenemos que EG F-9> #) y sustituyendo arriba: " F + - F=/8 #) " -9># #) F=/8 #) =/8# #) =/8 #) Pero sustituyendo nuevamente " " -9># #) " EG #
=/8 #) F

se obtiene finalmente:

+ - F # E G#
1 #

( el seno de 2)

Notar que, como hemos elegido ) positivo y menor que es positivo y + - tendr el mismo signo que F .

2. Sea ahora F # %EG F ! Vamos a mostrar que la ecuacin (1) , haciendo la rotacin respectiva de los ejes, representa una parbola. Introduciendo este coeficiente F en (7), se tiene: + - %EG EG# E G# lE Gl Caso 1 : F !, luego tambin + - ! y por lo tanto + - E G . Pero de (') se tiene + - E G . Luego - ! Caso 2 : F ! luego tambin + - ! y por lo tanto + - E G y usando nuevamente (6) se tiene: + ! Notar que , si + - ! la ecuacin (5) degenera en una recta Por lo tanto, para los casos no degenerados, con esta rotacin la ecuacin (5) se reduce a: B# HB IC J ! o bien: C# HB IC J ! donde se ha dividido por el coeficiente no nulo respectivo y se han llamado H I J los coeficientes resultantes. Tomemos la primera de estas ecuaciones (la otra es enteramente anloga) y hagamos una translacin de coordenadas: B Bw 2 C Cw 5 Sustituyendo en la ecuacin y agrupando, obtenemos: Bw # #2 HBw ICw 2 # H2 I5 J ! (8)

Si I ! entonces la ecuacin (8) toma la forma: B# .B 0 ! que representa el caso degenerado formado por un par de rectas verticales paralelas ( o coincidentes) o el conjunto vaco.

90

 Si I ! entonces podemos elegir : # 2 H 5 J H22 # I y (8) toma la forma: " C I B#

Figura 2.44 3. Sea ahora F # %EG , con F ! o bien B 0 Haciendo la respectiva rotacin de ejes ( o no, si F ! la ecuacin (1) toma la forma: +B# -C# .B /C 0 ! Haciendo la traslacin: B Bw 2 C Cw 5 , la ecuacin toma la forma: +Bw # -Cw # #+2 .Bw #-5 /C w L ! donde L +2 # -5 # .2 /5 0 Queremos elegir 2 y 5 de modo que los coeficientes de Bw e Cw sean cero. Pero eso exige que los coeficientes + y - sean diferentes de cero. Pero si + ! , usando las igualdades (6) y (7) se tendra que E G F # E G# y elevando al cuadrado, se tendra: F # %EG , que hemos descartado. Del mismo modo, si - ! se llega a la misma contradiccin. Por lo tanto, bajo nuestra hiptesis de que F # EG podemos elegir: . / 2 #+ 5 #y nuestra ecuacin queda de la forma:

91

+B# -C# L !

"!

Si L ! se obtienen dos tipos de degeneraciones: (i) si + y - tienen el mismo signo, se obtiene un nico punto: (0,0) (ii) si + C - tienen distinto signo, se obtienen dos rectas : C + B Si L ! entonces hay tres casos: (i) si + - L tienen el mismo signo, entonces la curva es vaca. (ii) si + y - tienen el mismo signo pero L tiene el otro, entonces se puede elegir + y - positivos y L negativo y la ecuacin (10) toma la forma de la elipse: C# B# " L L
+ -

(iii) si + y - tienen distinto signo, entonces , tomando L como positivo, se obtiene una hiprbola de lo forma:
B# L +

C# L B# L +

" "

o de la forma:
C# L -

2.11.

COORDENADAS POLARES

Existe otra manera de describir, mediante nmeros, los puntos de un plano: El sistema de coordenadas polares consiste en: 3 un punto de referencia en el plano: ste se llama polo 33 una semirecta orientada que parte desde el polo: esta semirecta se llama eje polar. Sea T un punto cualquiera del plano: el punto T puede ser descrito por la distancia < del punto al polo y por el ngulo ) que forma la semirecta que contiene al punto con el eje polar. Este ngulo se medir desde el eje polar en el sentido contrario a los punteros del reloj: ! ) #1

92

Figura 2.45 Es claro que, dado un punto cualquiera en el plano, pero distinto del polo, entonces tanto la distancia < como el ngulo ) , ! ) #1 , quedan unvocamente determinados. Pero el polo mismo no determina ningn ngulo: en ese sentido el polo solo posee una coordenada polar: < ! Recprocamente, dado dos nmeros: < ! y ) con ! ) #1 , entonces se determina unvocamente un punto en el plano. Si tomamos el eje polar como uno de los ejes cartesianos y el polo como el origen, entonces la transformacin de coordenadas, entre las coordenadas polares y las cartesianas, es muy fcil de obtener:

Figura 2.45 B < -9= ) C < =/8 )

< B# C # C ) +<->1 B
1 #

entendiendo que, para B ! , con C ! )

Resulta interesante representar figuras en el plano utilizando este sistema de coordenadas. Presentaremos algunas figuras clsicas como ejemplo.

93

 La cardioide. Se trata de una figura con forma de corazn (de ah su nombre) cuya ecuacin polar es: < +" -9= ) (1)

Figura 2.46 Para hacer esta grfica hay que visualizar la forma como la funcin coseno cambia al cambiar el ngulo. La lemniscata de Bernoulli. Su ecuacin polar es: <# +# -9= #) #

Figura 2.47

94

1 Aqu hay que observar que, si 1 ) $% el coseno de 2) es negativo, % 1 1 por lo que no hay valores reales de < . Lo mismo ocurre si &% ) (%

La rosa de tres hojas . Su ecuacin polar es: < + =/8 $) (3)

Figura 2.48 La rosa de 4 hojas . Esta figura se entiende respondiendo a la ecuacin: < +=/8#) %

pero, si se mira bien, la funcin =/8 #) es negativa para 1 ) 1 y # para 31 ) 21 , por lo tanto no deberan aparecer cuatro hojas sino # solamente dos. Sin embargo las cuatro hojas aparecen aplicando una convencin bastante extendida, a saber, que los puntos con < negativo se interpretan como puntos con < positivo pero con el ngulo desplazado en 180! , es decir: T < ) T < ) 1, si < !

95

Figura 2.49 Tambin conviene observar que, en la grfica de la rosa de tres hojas, si se usa esta misma convencin no aparecen ms hojas: solo se repite cada hoja dos veces. Al buscar la interseccin de dos curvas dadas en coordenadas polares es preciso tener en cuenta que el polo se describe con < ! pero con cualquier ngulo. Por ejemplo, hagamos la interseccin de la cardiode < " -9= ) con la circunferencia < -9= ) . En la Figura 2.50 se observa que el polo es un punto de interseccin.

Figura 2.50

96

Pero el sistema de ecuaciones: < -9= ) < " -9= ) no tiene soluciones. Lo que ocurre es que la circunferencia pasa por el polo cuando ) 1 y la cardioide lo hace para ) 1 # 2.12 PROBLEMAS

1. Encuentre la ecuacin de una elipse: de focos J" $ ! J# $ ! y radio mayor + & con distancia entre focos: 4 y radio menor 3 con radio mayor 5 y excentricidad " # 2. Un reflector parablico tiene 8 pulgadas de dimetro y cuatro pulgadas de espesor: A qu distancia del vrtice se encuentra el foco? 3. Hay un paso nivel cuya parte superior tiene forma de parbola. Si el ancho es de 24 pies y la mxima altura es de 16 pies, cul es la mxima altura que puede tener un camin de 10 pies de ancho para poder pasar? %. Encuentre la ecuacin de una hiprbola con focos J" # ! J# # ! y parmetro + $ & Dibuje la hiprbola de ecuacin: B# * (aydese con las asntotas)
C# "'

"

' Se desea construir un puente para cruzar un ro de 200 pies de ancho. El arco del puente debe ser semielptico y tener dimensiones tales que pueda pasar bajo l un barco de al menos 50 pies de ancho y 30 pies de alto. Deduzca la ecuacin que corresponde al arco del puente ydetermine la altura del arco a la mitad del puente. (. Al pasar justo sobre el edificio de la escuela, un profesor es lanzado desde un avin sin paracadas, a una altitud de 36 metros. El fuerte viento que sopla determina que la cada logre un movimiento parablico con vrtice en el lugar en que el profesor comenz el descenso, de modo que un alumno que se encuentra en una sala a 11 metros desde el suelo, ve al

97

profesor cuando va cayendo a 10 metros de distancia. Determine a cuntos metros del edificio cae el profesor. ). Un automvil deportivo en una pista de carreras elptica descrita por la C# B# ecuacin: %!! "!! " pierde el control en el punto (16,6) y contina sobre la tangente hasta golpear un rbol en un punto (14,p). Determine el valor de p. *. En un partido de ftbol entre Chile y Argentina David Pizarro debe lanzar un tiro libre directo al arco a una distancia de 28 metros de aqul, de modo que la pelota se eleve sobre la barrera y luego baje hasta entrar en el arco con un movimiento parablico. La pelota debe pasar a una altura de 4 metros sobre la barrera que se encuentra a 7 metros del baln y, para que sea gol, debe llegar al arco con una altura de 2 metros. Determine la ecuacin del movimiento de la pelota y a qu distancia del lanzamiento logra su mxima altura. 1!. Dos pilares iguales , de 15 metros de altura, ubicados a una distancia de 20 metros , sostienen los extremos de una tabla que se deforma hundindose simtricamente desde su centro. A 3 metros de los pilares la tabla descendi 1 metro. Determine a qu altura queda el centro de la tabla si sta qued con forma de: parbola semielipse hiprbola con centro en el suelo. "1. Encontrar la parbola que pasa por los puntos T $ $ U' & V' $ "2 Encuentre los puntos de interseccin de la circunferencia: B# C# ( y la parbola C# $B "3 La rbita de la tierra alrededor del sol es una elipse con uno de sus focos en el sol. Si la menor distancia de la tierra al sol es de 93.000.000 millas y la mayor es de 96.000.000 millas, cul es la excentricidad de la rbita? "4. Haga una rotacin de ejes para eliminar el trmino en BC en las siguientes ecuaciones. Qu cnica resulta? BC " !

98

 &B# #BC &C# "# ! BC B# " ! B# #BC )C# "$' 15. Trazar las siguientes curvas dadas en coordenadas polares: < -9= ) < =/8 ) < #-9= ) < " #-9= ) < ) la espiral de Arqumedes)

% 16. Demuestre que la ecuacin polar : < "=/8 ) representa una parbola. Haga un grfico aproximado. cul es su ecuacin cartesiana? 2 17. Demuestre que la ecuacin polar : < 2cos ) representa una elipse. Haga un grfico aproximado. cul es su ecuacin cartesiana? 2 18. Demuestre que la ecuacin polar : < "2cos ) representa una hiprbola. Haga un grfico aproximado. cul es su ecuacin cartesiana?

19. Encuentre las coordenadas de los puntos de interseccin de las curvas siguientes dadas en coordenadas polares: < " -9= ) < #-9= ) < =/8 ) < -9= ) < -9= ) < " =/8 )

99

Captulo 3 LA INDUCCIN MATEMTICA

3.1 INTRODUCIN 3.1.1. El Teorema de Euler. Hay una curiosa relacin entre el nmero de caras de un poliedro, el nmero de vrtices y el de aristas (descubierta por Euler). Para averiguar cul es esta relacin, hagamos un conteo para algunos poliedros sencillos: Para un cubo tenemos: 6 caras, 8 vrtices y 12 aristas. Para un tetraedro: 4 caras, 4 vrtices y 6 aristas.

Figura 3.1 En verdad no es fcil establecer una relacin con tan pocos casos....pero tampoco con muchos: tuvo que ser Euler, uno de los matemticos ms creativos de la Historia, quien se diera cuenta que: G Z E# (1)

donde G es el nmero de caras, Z el de vrtices y E el de aristas. En los dos ejemplos anteriores se cumple la relacin. Si Ud. tiene paciencia y curiosidad, podra intentar hacer el conteo en otros poliedros sencillos, por ejemplo en los 5 posibles poliedros regulares (adems del tetraedro regular y el cubo, est el octaedro, el dodecaedro y el icosaedro). Hagamos un primer salto infinito: consideremos un prisma con 8 caras laterales:

100

Figura 3.2 En este caso es fcil contar los elementos: hay 8 # caras, #8 vrtices y 8 #8 $8 aristas: la relacin (1) se cumple !! Notar que hay aqu una infinidad de poliedros que satisfacen la relacin (1). Hay otro caso similar: una pirmide con 8 caras laterales:

Figura 3.3 En este caso hay: 8 " caras, 8 " vrtices y 8 8 #8 aristas : la relacin (1) tambin se cumple. Tenemos aqu otra familia infinita de poliedros que satisfacen la frmula de Euler. Sin embargo, es claro que estos casos no agotan todos los posibles poliedros. Hagamos una experiencia diferente: tomemos 2 prismas de base triangular y unmoslos ortogonalmente por sus bases:

101

Figura 3.4 Contando cuidadosamente, se obtiene: hay 9 caras (G * 9 vrtices Z * pero 15 aristas E "& : G Z ") "( E # la relacin de Euler no se cumple!!! En realidad, Euler se di cuenta que no todos los poliedros satisfacen esa relacin. Pero conjetur que, con una condicin adicional, la relacin sera un teorema. La condicin es que el poliedro sea convexo , es decir, que si se toman dos puntos cualquiera dentro del poliedro, el trazo completo que los une tambin est dentro del poliedro. Esta condicin claramente no se cumple en el ejemplo de la Figura 3.4, pero efectivamente se cumple para prismas y pirmides. An as el problema est lejos de estar resuelto: hay una infinidad de poliedros convexos que no son ni prismas ni pirmides. Es ms: a partir de un poliedro convexo cualquiera uno puede fabricar otro distinto. Por ejemplo cortndole una punta con un plano:

Figura 3.5 Notemos que, si el poliedro original es convexo, el nuevo poliedro tambin lo ser. Supongamos que el poliedro original satisface la relacin

102

(1) de Euler y que a la arista A que se corta concurren 8 caras. El nuevo poliedro tendr G w G " caras, una ms que el original, el nmero de vrtices Z w del nuevo poliedro ser uno menos que el original (se pierde el vrtice que se cort) pero se ganan 8 vrtices nuevos , luego Z w Z " 8 y del mismo modo se ganarn 8 aristas nuevas: Ew E 8 Por lo tanto: G w Z w G " Z " 8 E 8 # Ew # Nuevamente se cumple la relacin (1). Hagamos otro intento: supongamos que tenemos un poliedro convexo que satisface la relacin (1). Tomemos una cara cualquiera de este poliedro y agregmosle un "techo":

Figura 3.6 Si el poliedro original es convexo y el "techo" que se agrega tiene una altura suficientemente pequea, entonces el nuevo poliedro tambin ser convexo. Supongamos que la cara elegida tiene 8 lados: El nuevo poliedro tendr G w G " 8 caras, pues se pierde una pero se ganan 8 caras nuevas. El nmero de vertices ser Z w Z " pues se gana un solo vrtice nuevo. El nmero de aristas ser Ew E 8 pues no se ha perdido ninguna pero se han ganado 8 aristas nuevas. Veamos si el nuevo poliedro satiface la relacin (1) : G w Z w G " 8 Z " G Z 8 E # 8 Ew # Efectivamente la satisface!! Desgraciadamente todava no podemos afirmar que la relacin (1) sea vlida para todos los poliedros convexos: agregar un vrtice ms a un

103

poliedro no agota todos los posibles poliedros. Es fcil ver que hay poliedros convexos muy diferentes con el mismo nmero de vrtices. En efecto, basta considerar los dos poliedros presentados en la Figura 3.7

Figura 3.7 En el poliedro de la izquierda hay 5 vrtices, 6 caras y 9 aristas mientras que en el de la derecha hay tambin 5 vrtices pero solo 5 caras y 8 aristas. Esto muestra que, por la va de agregar un vrtice ms a un poliedro convexo, no agotamos todos los posibles poliedros convexos. En todo caso hemos encontrado cuatro formas distintas de generar familias infinitas de poliedros convexos que satisfacen la relacin de Euler (1). En las dos ltimas formas se ha empleado el llamado metodo inductivo, consistente en prolongar cierta propiedad en un caso ms, sabiendo que la propiedad se cumple para el caso anterior. La relacin (1), llamada Teorema de Euler, ha quedado, sin embargo, en el estado de conjetura : todava no es teorema. La induccin, desde un punto de vista filosfico, consiste en conjeturar leyes generales a partir de casos particulares. Es la actitud propia de todo cientfico: la observacin y los experimentos permiten conjeturar leyes generales de la Naturaleza, las cuales quedarn en estado de teoras en el caso de las ciencias naturales y de conjeturas en el caso de las matemticas. Mientras ms observaciones y ejemplos satisfacen la teora, ms fuerza adquiere sta. Lo mismo ocurre en matemticas: la verificacin de una conjetura para un caso ms (o para una familia de casos) refuerza la conjetura acercndola al nivel de teorema. Sin embargo basta un caso en que sta falle para hecharla completamente por tierra. Es lo que nos pas con el poliedro que no era convexo. Tambin es lo que ocurre en las ciencias naturales: si un nuevo experimento contradice la teora, es preciso cambiarla. Esto requiere coraje intelectual. Se necesita coraje para revisar

104

las propias creencias. Galileo, cambiando los prejuicios de sus contemporneos y de la autoridad eclesistica de la poca, es un gran ejemplo de coraje intelectual. Tambin requiere honestidad intelectual. Adherirse a una conjetura que ha sido claramente contradicha por la experiencia slo porque es mi conjetura sera deshonesto. Sin embargo no es bueno cambiar las creencias frvolamente, sin un serio exmen, tal vez siguiendo una moda o la opinin de alguna autoridad. Se necesita entonces lo que George Polya llama " sabia contencin". 3.1.2 La divisin del espacio. Vamos a presentar un nuevo problema introductorio: en cuntas partes queda dividido el espacio por cinco planos? El problema es fcil de resolver si los cinco planos son paralelos: el espacio queda dividido en seis partes. Pero no es nada fcil si suponemos que ninguno de los planos es paralelo a otro. Usando la intuicin geomtrica es sencillo ver que, con un plano, el espacio se divide en dos pedazos; con dos planos no paralelos, se divide en cuatro y con tres planos, se divide en ocho. El problema con cuatro planos es ya ms difcil. Pero podemos hacer un esfuerzo: cuatro planos no paralelos forman un tetraedro:

Figura 3.8 Un primer trozo del espacio es el que queda atrapado dentro del tetraedro. Cada arista colinda con un trozo nuevo: son seis aristas por lo tanto llevamos 7 pedazos. Cada vrtice determina un trozo nuevo : son 4 ms. Finalmente, cada cara del tetraedro limita con otro pedazo del espacio que

105

queda hacia afuera : luego seran 15 trozos del espacio. Hacer un conteo como este para cinco planos resulta prcticamente imposible. Qu hacer? Cuando un problema matemtico se pone difcil, se puede tratar de resolver uno anlogo, pero ms fcil. Por ejemplo, dividir el plano por medio de rectas no paralelas. Una recta divide al plano en dos; dos rectas lo divide en cuatro y tres rectas no paralelas lo hacen en 7 . Para cuatro rectas la cosa se complica un poco:

Figura 3.9 Como se puede observar, tampoco el problema para el plano es tan fcil. Por lo tanto, bajemos un peldao ms: dividir la recta por cinco puntos. Ahora si que el problema se facilita. Es ms: podemos generalizar el problema y plantearnos dividir la recta por 8 puntos:

Figura 3.10 Se v claramente que la recta quedar dividida en 8 " trazos. Podemos hacer una tabla con los resultados que hemos obtenido hasta ahora:

106

n 1 2 3 4 5 6 ....... n

lnea por puntos 2 3 4 5 6 7 n+1

nmero de divisiones plano por lneas espacio por planos 2 2 4 4 7 8 11 15 ? ?

Aqu se observa una regla extraa: sumando en la primera fila los nmeros de la segunda y la tercera columna se obtiene el nmero correspondiente de la segunda lnea, tercera columna. Lo mismo ocurre sumando el segundo con el tercer nmero: se obtiene el nmero de la segunda fila. Si tomamos la segunda fila, observamos el mismo fenmeno: $ % ( , con los dos primeros nmeros; % % ) con el par de nmeros siguientes. ser esto una casualidad? En la tercera fila se observa exactamente lo mismo : % ( "" para los dos primeros y ( ) "& con los dos siguientes. Esto no puede ser casual: debe haber alguna razn especial para que esto ocurra. En efecto: debemos preguntarnos cuando tenemos 8 lneas que dividen el plano qu sucede cuando se agrega una lnea nueva? La nueva lnea, que no debe ser paralela a ninguna de las anteriores, debe por lo tanto cortarlas a todas. Por lo tanto la nueva lnea queda dividida con 8 puntos y estos 8 puntos dividen a la lnea en 8 " pedazos: cada pedazo nuevo de la lnea divide al trozo de plano en que se encuentra en dos, crendose por lo tanto 8 " pedazos de plano nuevos. Llamemos B8 al nmero de trozos en que 8 lneas dividen al plano. Hemos encontrado una frmula recursiva: B8" B8 8 " #

La frmula recursiva (2) permite obtener una frmula explcita para el nmero B8 en que queda dividido el plano por 8 lneas:

B" #

107

B# B" # B$ B# $ B8 B8" 8 Si sumamos toda esta columna de igualdades, observamos que los trminos B5 se van cancelando desde 5 " hasta 5 8 " y se obtiene: B8 # # $ % 8 " " # $ 8 Pero sabemos que la suma de los primeros 8 nmeros naturales es por lo que hemos obtenido: B8 "
88" # 88" #

(3)

Ahora podemos pasar al espacio: la argumentacin es completamente anloga a la anterior. La pregunta es ahora qu ocurre al agregar un plano nuevo a los n planos anteriores? Cuando se agrega un nuevo plano, como no debe ser paralelo a ninguno de los antiguos, se intersecta con los 8 planos anteriores y por lo tanto debe quedar cortado por 8 rectas, las cuales generan, como lo hemos indicado, B8 pedazos en el plano nuevo. Cada uno de estos pedazos genera un nuevo trozo en el espacio. Si llamamos C8 al nmero de trozos en que 8 planos dividen al espacio, podemos poner: C8" C8 B8 (4)

Para obtener una frmula explcita, podemos emplear el mismo truco que antes: C" # C# C" B" C$ C# B# C8 C8" B8" Sumando como antes, obtenemos:
8"

C8 # B" B# B8" #
5"

"

55" #

108

C8 # 8 " # 8 "

" #

8" 5"

5 5 #
" # 8" 5"

" 88" # #

5#

Para poder continuar necesitamos calcular la suma de los cuadrados. Esto lo podemos hacer con un mtodo similar al que hemos empleado hasta ahora: " "$ " $ $ " " #$ " $ ## $ # #$ " 8$ " $8# $8 8$ Nuevamente al sumar las columnas se cancelan (casi) todos los trminos al cubo y queda: " 8$ 8 $
8

5# $

5 " , de donde, despejando la suma de

5"

5"

los cuadrados, se obtiene, despues de un arreglo algebraico:

8 5"

5#

88"#8" '

(5)

Finalmente, introduciendo (5) en la ltima expresin obtenida para C8 se tiene: C8 " 8

88" %

88"#8" "#

(6)

La frmula (6) sobrepasa con creces el problema que nos habamos propuesto. La divisin del espacio con 5 planos no paralelos d 26 trozos de espacio. Pero con la relacin (6) podemos continuar indefinidamente.

3.2.

EL PRINCIPIO DE INDUCCIN FINITA

109

Supongamos que hay una propiedad T definida para los nmeros naturales tal que: 3 T 59 es decir, la propiedad se cumple para cierto nmero 59 33 T 8 T 8 " , es decir, suponiendo vlida la propiedad para 8 entonces es vlida para 8 ". Entonces T 8 a8 59 es decir, la propiedad se cumple para todos los nmeros naturales a partir de 59. Este es es el llamado principio de induccin finita , que es un Teorema o un Axioma, segn sea el punto de vista que se adopte. Si aceptamos a los nmeros naturales como modelo de cantidades discretas y finitas, entonces este principio se convierte en teorema. En efecto, supongamos que la conclusin no es vlida: tendr entonces que haber un nmero 7 59 para el cual la conclusin no es vlida. Entonces podemos examinar la lista finita de nmeros: 59 59 " 59 # 59 $ 7 y chequear uno por uno si cumple o no la propiedad T . Uno de ellos ser el menor de los que no cumplen, que no puede ser el primero pues hemos supuesto que la propiedad se cumpla para l. Luego, llamando 5 a este nmero se tendr que 5 " cumple la propiedad, luego debe cumplirla 5 segn nuestra hiptesis 33 , lo que contradice el hecho de que 5 es el primero que no cumple la propiedad. La induccin matemtica consta entoces de dos fases: 3 la fase propiamente inductiva, donde a partir de casos particulares se conjetura una ley general 33 la fase demostrativa , donde, suponiendo vlida la ley para el caso 8 (esto es lo que se llama hiptesis de induccin) se demuestra para el caso 8 " De este modo, usando el principio de induccin, se demuestra la ley general. EJEMPLOS
" " " 1. Consideremos la suma: " + #$ $% 88" # habr alguna formula general sencilla para ella? Hagamos nuestra fase inductiva calculando los primeros casos: " " # # " " $" # # + #$ #$ $ " " " # # + #$ $% $

" "#

$ %

110

Observando estos resultados, o tal vez haciendo otros ms, podemos 8 aventurarnos en conjeturar el resultado general : 8" Ahora debemos pasar a la fase demostrativa: supongamos que " " " 8 efectivamente " + #$ $% 88" 8" . Veamos si la frmula # es vlida para el nmero siguiente:
" " " " " # + #$ $% 88" + 8"8# 88#" 8"# 8" 8"8# 8"8# 8#

8 8"

" 8"8#

con lo que queda demostrado para todo nmero natural a partir de 8 " # Observemos que : "" " % " # "%*"#$ " % * "' " # $ % Cual ser la ley general de esta igualdad? cmo demostrarla? Notar que, al lado izquierdo tenemos la suma de los enteros al cuadrado pero con signos alternados y al lado derecho la suma de los enteros con signo negativo para el caso par y positivo para el caso impar: " ## $# 8# " # 8 , 8 par " ## $# 8# " # 8 , 8 impar Vamos a demostrar estas igualdades utilizando la frmula de la suma de los primeros 8 nmeros naturales, que ya hemos utilizado en la introduccin, y separando los dos casos: 3 Sea 8 par: por lo tanto 8 " ser impar, luego: " ## $# 8# 8 "# " # 8 8 "# 88" 8 "# 8 "8 " 8 8"8# # # # que es la frmula de la suma de los naturales hasta 8 " 33 Sea 8 impar: 8 " ser par, luego: " ## $# 8# 8 "# " # 8 8 "#

111

88" #

8 "# 8 " 8 8 " #

8"8# #

lo que demuestra la conjetura. Utilizando la abreviatura de las sumatorias, el resultado anterior se puede escribir:
8 5"

"5" 5 # "8"

88" #

(1)

3. En general se llama progresin a una secuencia finita de nmeros que se identifican mediante sub-ndices: +" +# +$ +% +8 La suma de estos nmeros, llamada sumatoria , se abrevia, como hemos
8

visto:

estos nmeros, que se denomina productoria y se abrevia : # +5

5" 8 5"

+5 . De modo anlogo puede ser interesante el producto de

Hay dos progresiones clsicas, muy usadas, que aparecen en distintos problemas: 3 La progresin aritmtica: + + . + #. + $. + 8. cuya caracterstica es que la diferencia entre dos trminos sucesivos es constante. 33 La progresin geomtrica: + +< +<# +<$ +<8 que se caracteriza porque la razn entre dos trminos consecutivos es constante La suma de 8 trminos de una progresin aritmtica se puede obtener mediante un truco usado por K.F.Gauss a la edad de 7 aos: poner dos veces la suma pero invirtiendo su orden:

112

W8" + + . + #. + $. + 8. W8" + 8. + 8 ". + . + Sumando estas dos expresiones por columnas, se observa que todas las sumas arrojan el mismo resultado: #+ 8. . Como hay 8 " sumandos, se tiene: #W8" 8 "#+ 8. , de donde W8" 8 "+
88" . #

(2)

Notar que se han sumado 8 " trminos, pues hemos empezado de cero. Tambin se pueden sumar los 8 primeros trminos de una progresin geomtrica. Ac el truco es un poquito diferente: W8 + +< +<# +<$ +<8" <W8 +< +<# +<$ +<8" +<8 Esta vez restamos ambas sumas: W8 <W8 + +<8 , de donde: W8
+"<8 "<

(3)

Notar que esta frmula solo es vlida para < " . Esta no es una restriccin importante, pues si < ", la suma es trivialmente igual a 8+ 4. Sean + , , 8 un nmero natural. La frmula: + ,8
8 5!

8 +85 , 5 5

(4)

se conoce en la literatura como Teorema del Binomio. Aqu hay que explicar algunas notaciones : 8 el producto: "#$8 # 5 se denota por 8x y se llama n-factorial . Por razones prcticas se extiende al 0 esta definicin : 0! " 8x 8 5x85x 5 Vamos a demostrar (4) usando el principio de induccin finita. Pero antes necesitamos hacer un clculo algebraico sencillo pero muy til:
5"

113

8 8 5" 8" 5 5

&

En efecto, basta poner las definiciones y hacer la suma de las fracciones:

8x 5x85x

8x 5"x85"x

85"8x58x 5x85"x

8"x 5x85"x

La frmula (% se cumple trivialmente para 8 ". Tambin es muy conocida para 8 # Supongamos que es vlida para 8 y veamos qu pasa para 8 ": + ,8"
8 8

5!

8 +8" !
8" 5!

8 +85" , 5 5
5!

8 +85 , 5 + , 5
8 5!

8" +8"5 ,5 5

8 5 5"
8

8 8 5" +8"5 , 5 8 , 8"

8 +85 , 5" 5

que es la frmula para 8 " 5 En el lenguaje corriente una permutacin es un intercambio de posicin entre objetos dados. Supongamos que tenemos 8 objetos: +" +# +$ +8 . Estos objetos se encuentran en una ordenacin determinada. En matemticas se entiende por una permutacin a una ordenacin particular de ellos. El problema es: cuntas permutaciones 8 diferentes se pueden hacer con 8 objetos? Llamaremos T8 a este nmero y tratemos de obtener una frmula general por el mtodo inductivo Para los primeros casos basta contar con paciencia: T"" " T## # T$$ ' T%% #% ....... Cul es la conjetura? Atrevmonos a proponer:
8 T8 8x

(6)

Tomemos ahora un conjunto con 8 " elementos: +" +# +$ +8 ,+8" y observemos que el elemento nuevo +8" tiene 8 " posibilidades de ser ubicado y por cada ubicacin del elemento +8" hay 8x posibilidades de ubicar los otros 8 elementos (hiptesis de induccin). Por lo tanto

114

8" T8" 8 "8x 8 "x

lo que demuestra nuestra conjetura. Esta idea puede ser generalizada suponiendo que solo hay < 8 lugares donde ubicar los 8 objetos. Vamos a llamar permutaciones recortadas a cada ordenacin de 8 objetos en los < lugares y T<8 a su nmero. Podemos razonar del siguiente modo: hay 8x permutaciones completas: estn sobrando 8 < lugares en los cuales se podrn hacer 8 <x permutaciones. Por lo tanto: T<8 8 <x 8x , luego: T<8
8x 8<x

(7)

6. Se dispone de 8 "letras" : +" +# +8 y se desean hacer palabras de < letras, repitiendo cada letra cuantas veces se desee. El largo < de la palabra puede ser mayor o menor que el nmero de letras. Cuntas 8 palabras diferentes se pueden hacer? Llamemos E< a este nmero. Esto tambin se conoce como arreglos de n letras con repeticin. Podemos razonar como sigue: en cada lugar de la palabra se pueden usar las 8 letras. Por lo tanto : 8 E< 8< (8) 7. Supongamos que tenemos un conjunto E de 8 elementos y nos preguntamos: cuntos subconjuntos de E diferentes podemos hacer y que tengan < 8 elementos? En este caso el orden no importa, solo queremos definir subconjuntos diferentes. Estas son las llamadas 8 combinaciones y su nmero vamos a denotarlo G< Este es un problema clsico con muchas aplicaciones y no resulta fcil hacer un conteo inductivo directo. Vamos a usar, en este caso el "principio de Condorito" que consiste en contar un nmero mucho mayor y dividir apropiadamente. Como se sabe, Condorito obtena el nmero de ovejas de su rebao contando sus patas y dividiendo por 4. En nuestro caso tomemos el nmero de permutaciones recortadas T<8 si a cada subconjunto de < elementos le practicamos sus <x permutaciones obtenemos precisamente T<8 . Por lo tanto nuestro 8 nmero G< de conjuntos ser T<8 dividido por <x o sea
8 G< 8 Observar que este nmero ya era conocido: G< 8 < 8x <x8<x

(9)

115

3.3

PROBLEMAS

1. Encuentre una frmula sencilla para la suma de los nmeros impares: " $ & ( * #8 " y demustrela usando el principio de induccin finita. 2. Si Ud. suma un nmero natural y su cuadrado, el nmero resultante ser siempre par? 3. Desde qu nmero natura 8 es vlida la desigualdad #8 8# % Conjeture una frmula para la siguiente suma y demustrela por induccin: " " " " " # ' "# #! 88" 5. Conjeture una frmula para la siguiente suma y demustrela por induccin: " " " " " 3 15 35 63 (2n-1)(2n+1) 6. Conjeture una frmula para la siguiente suma y demustrela por induccin: 8 4 2 $ $ 8% 27 9 3 1 # # 7. Demuestre que, si 8 es un nmero natural cualquiera, entonces el nmero: " $ $ 8 #8 es un entero. 8. En las siguientes progresiones definidas por recurrencia, conjeture una frmula general y demustrela por induccin: $ 8" + +8 % +8" 8 " , +8 )" 8" # $ +8" 8 "

116

! - +8 " +8" +8# # !

8" 8# 8#

8" 8# . +8 " #+8" +8# 8 # * Demuestre usando el principio de induccin finita: + B8 C8 es divisible por B C , "# #$ $% 88 " - "$ #$ $$ 8$ 88" # # 10. Usando la induccin Ud. puede demostrar que un conjunto cualquiera de 8 nias tiene el mismo color de ojos . En efecto, para 8 " es evidente. Supongamos que es vlido para 8 nias y agreguemos una ms: 8 nias : iguales E" E# E8 E8" E" E# E8 E8" 8 nias: iguales Explique la paradoja. Ud. puede ayudarse experimentalmente mirando los ojos de varias nias de su curso. (las nias pueden resolver el mismo problema demostrando que todos los nios tienen el mismo color de ojos...) 11. Encuentre el trmino constante (independiente de B ) en el desarrollo de #B#
" ") #B 88"8# $

+ "# En el desarrollo de B B "" encuentre el quinto trmino y el trmino donde aparece B& . son el mismo trmino?

117

13. Demuestre que la suma de los coeficientes 8 del desarrollo del 5 binomio + ,8 es igual a #8
8

14. Calcular:

3" 5"

" " # 5" # 5" 3 3" 5"

15. Si se pone un grano de trigo el el primer cuadrado de un tablero de ajedrez, dos en el segundo, 4 en el tercero y as, doblando sucesivamente, se llega al final Cuntos granos habr en el ltimo casillero? Cunto habr en el tablero completo? Suponga que 1 kilogramo de trigo tiene aproximadamente 40.000 granos y calcule las cantidades anteriores en toneladas. Compare con la produccin mundial de trigo. 16. Una hoja de papel-biblia ( 0.001 cm de espesor) se dobla sucesivamente por mitades 50 veces. Calcule el espesor resultante en Km 17. Tres personas se reparten una herencia de US$210.000 proporcionalmente a sus edades, que estn en progresin geomtrica. Si la del medio tiene 6 aos y la menor recibe US$30.000 Cunto recibe cada una y qu edad tienen? 18. En cierto cultivo las bacterias se duplican cada 20 minutos. Si se comienza con 1 bacteria cuntas habr despus de 2 horas? y despus de 2 dias? (suponiendo que no se mueren ) 19. Cuntos nmeros de 6 cifras se pueden formar con los dgitos 1,2,3,4,5,6,7,8, de modo que no haya cifras repetidas? Cuntos son pares? Cuntos son impares? 20. Tres viajeros llegan a una ciudad donde hay tres hoteles. De cuntas maneras se pueden alojar? Discuta las diferentes variantes. 21. Cuntas patentes de automvil pueden hacerse usando 4 letras y dos nmeros? 22. Para identificar los cerdos de una piara se acostumbra a hacer marcas en las orejas, identificando el lugar de cada marca. Cuntos cerdos se pueden identificar haciendo hasta 3 marcas en cada oreja? Cuntas marcas por oreja es preciso hacer para identificar 1000 cerdos ?

118

23. De cuntas maneras se pueden sentar 4 hombres y 4 mujeres en una mesa redonda de modo que haya siempre sexos alternados? 24. Hay 7 estadsticos y 4 matemticos y se desea formar un comit de 6 miembros de modo que: + haya 2 matemticos , haya al menos dos matemticos. 25. Se desea encerrar 3 gallos de pelea en 6 corrales diferentes De cuntas maneras se puede hacer? (no puede haber dos gallos en el mismo corral). y si hay 8 corrales y < gallos? Discuta el problema segn 8 y < 26. En un juego de Poker calcule cuntos: a) poker de ases b) poker cualquiera c) full de ases d) par de tontos se pueden formar 27. Un granjero tiene 4 verracos y 36 cerdas. De cuntas maneras puede dividir la piara en 4 grupos de 8 , 9 , 11, 12 animales de modo que haya siempre un verraco en cada uno? 28. De cuntos modos pueden abrevar 3 parejas de leones en una laguna circular de modo que nunca haya dos machos contiguos? 29. Se tienen 4 monedas de $5 , 6 de $10 y 3 de $50. De cuntas maneras puede formarse una cantidad de $50 ?

3.4

LOS NMEROS NATURALES

Hasta ahora hemos trabajado con la idea intuitiva de los nmeros naturales. Conviene, sin embargo, presentar el modelo matemtico abstracto. Se define como sistema de nmeros naturales al tro: : = donde es un conjunto, : y = llamada funcin de sucesin, y donde se cumplen los siguientes axiomas: M : </-=

119

MM =8 =7 8 7 MMM Si Q satisface: pQ B Q =B Q entonces Q El axioma MMM se llama axioma de induccin y corresponde al principio de induccin mencionado ms arriba. Este axioma hace que nuestro conjunto sea infinito y que no haya otro conjunto infinito ms pequeo. El elemento : es el primer elemento de y ser llamado 0 si lo definimos como neutro de la suma. En este caso se define: =! " La funcin de sucesin = permite definir la suma de dos nmeros naturales poniendo 8 " =8 y definiendo inductivamente la suma para los dems nmeros Si al primer elemento lo llamamos 1, entonces la suma en no tendr neutro. Histricamente los nmeros naturales han comenzado con el 1. Pero a veces es conveniente dejar atrs la historia. Es fcil demostrar que este sistema es nico salvo isomorfismo, es decir, dos sistemas de nmeros naturales se pueden poner siempre en una correspondencia biunvoca de modo que el primer elemento de uno corresponda al primer elemento del otro y que el sucesor de uno corresponda al sucesor del otro. Estos tres axiomas, llamados axiomas de Peano, describen la estructura bsica de los nmeros naturales pensados intuitivamente: deben comenzar en algn punto (axioma I ) , debe haber un sucesor adecuado para cada punto (axioma II ) y debe ser el conjunto ms pequeo con estas propiedades (axioma III) .

120

Captulo 4 LOS NMEROS COMPLEJOS

4.1 INTRODUCCIN Desde la antiguedad se conoca el hecho de que ecuaciones tan simples como B# " ! no tenan solucin entre los nmeros que representaban cantidades, que eran los nicos nmeros que se consideraban en aquella poca (nmeros reales). Este tipo de ecuaciones no despert entonces el inters de los matemticos: sencillamente no tenan solucin. Fu en Italia, durante el perodo del renacimiento, cuando por primera vez los algebristas se encuentran con expresiones formales donde aparecen races cuadradas de nmeros negativos. Pero la motivacin principal para entender estas expresiones no viene de las ecuaciones cuadrticas sino de las ecuaciones cbicas. Es en el libro Ars Magna de Girolamo Cardano, publicado en 1545, donde aparecen los nmeros complejos por primera vez. All se presenta, por ejemplo, la ecuacin: B$ $:B #; y Cardano d como solucin la frmula:
$ $ B ; ; # : $ ; ; # : $

conocida hoy, haciendo un poco de justicia a la historia, como frmula de Scipione del Ferro- Tartaglia-Cardano. Si ponemos : # ; " entonces la ecuacin: B$ 'B # tendr como solucin, segn esta formula: $ $ B " ( " ( Con un poco de paciencia, si uno sustituye este nmero en la ecuacin y si se acepta que: " (" ( ) )

121

entonces efectivamente la satisface. Fu Rafael Bombelli , considerado el padre de los nmeros complejos, quien desarroll el lgebra formal de este tipo de expresiones, basndose en la obra de Cardano. Sin embargo, el significado de estos nmeros segua quedando en la obscuridad. Es por eso que se los llam imaginarios y fu Euler quien propuso llamar 3 a la unidad imaginaria 3 " Finalmente Gauss publica, en 1831, un trabajo donde expone con toda claridad las propiedades de los nmeros de la forma + ,3 , cuya representacin grfica como puntos de un plano ya haba sido planteada en 1806 por el suizo J.Argand, por lo que dicha representacin se conoce como diagrama de Argand.

4.2. DEFINICIN Y PROPIEDADES BSICAS Sea provisto de la siguiente estructura algebraica: suma: + , - . + - , . producto: + ,- . +- ,. +. ,- Cabe preguntarse qu reglas bsicas satisfacen estas operaciones. La respuesta es que el tro es un cuerpo conmutativo, es decir, satisface los siguientes 9 axiomas: 1) asociatividad de la suma: B C D B C D 2) existencia de neutro de la suma: ! B B ! B $) existencia de inverso de la suma: B B ! %) conmutatividad de la suma: B C C B &) asociatividad del producto: BCD BCD ') existencia de neutro del producto : B" "B B () existencia de inverso del producto para elementos no nulos 8) conmutatividad del producto: BC CB 9) distributividad : BC D BC CD La demostracin de estas propiedades es sencilla, pero , en algunos casos, un poco larga y tediosa. Veamos algunas de ellas: el par ! ! es obviamente un neutro de la suma, as como el par + , es inverso aditivo de + , El par " ! es claramente neutro del producto y el par + +# ,# +#, # es inverso multiplicativo del par + ,. Notar que si , D + , ! entonces no puede ser + , ! por lo que + # , # !.

122

La asociatividad de la suma se obtiene directamente de la asociatividad de la suma en , pero la asociatividad del producto es preciso comprobarla con un clculo un poco largo usando la definicin. Lo mismo ocurre con la distributividad. Los nmeros complejos pueden representarse como puntos en un plano:

Figura 4.1 Los nmeros reales pueden ser sumergidos dentro de los complejos: consideremos el subconjunto ! B ! B : la funcin 9 ! definida por 9B B ! es una funcin biyectiva que respeta las operaciones: 9B C B C ! B ! C ! 9B 9C 9BC BC ! B !C ! 9B9C Una biyeccin de este tipo se llama un isomorfismo y permite identificar (o ms propiamente: abreviar) el complejo B ! con el real B . Es en este sentido en que los reales pueden ser considerados como parte de los complejos. En rigor se trata de complejos con segunda componente nula. El nmero complejo ! " se llama unidad imaginaria y se denota por la letra latina 3 . Con estas abreviaturas podemos representar cada nmero complejo en la forma llamada cartesiana: + , + ! , !! " + ,3 Notar que el complejo 3 satisface la propiedad: 3# ! "! " " ! "

123

Es en este sentido que 3 es una raiz cuadrada de " , pero en realidad no del " real sino del " complejo, es decir, de la pareja " ! Para el complejo D + , + ,3 se llama parte real de D al real + primera componente del par y parte imaginaria de D al real , , segunda componente del par. Se denotan usualmente: + dD , eD Hay dos operaciones muy usadas en : Si D B 3C , entonces el complejo B 3C se llama el conjugado de D y se denota: B 3C D El nmero real : lDl B # C# se llama valor absoluto (o tambin mdulo) En la representacin geomtrica del plano complejo, el conjugado corresponde a la reflexin del complejo respecto al eje OX y el valor absoluto es la distancia del complejo al origen:

Figura 4.2 Las propiedades elementales que cumplen estas operaciones son: 1) D" D# D" D# # D" D# D" D# $ D D % lD" D# l lD" l lD# l & lD" D# l lD" l lD# l (desigualdad triangular) ' lDl# D D

124

La demostracin de estas propiedades es un buen ejercicio de manipulacin de complejos y la dejaremos para el lector, salvo la propiedad (5) que requiere un anlisis ms fino. Para hacerlo con mayor claridad demostraremos primero un Lema, es decir, un teorema auxiliar: LEMA Si D" D# , entonces: | d (D" D# | lD" l lD# l

DEMOSTRACIN. Sea D" + 3, D# - 3. Entonces: D" D# + 3,- 3. +- ,. 3,- +. , luego: d (D" D# +- ,. Por otro lado: lD" l lD# l +# , # - # . # +# , # - # . # , luego: ( lD" l lD# l)# d (D" D# # +# , # - # . # +- ,.# +. ,-# pero esta ltima cantidad es positiva, luego: ( lD" l lD# l)# d (D" D# # de donde, extrayendo races cuadradas, se obtiene la desigualdad buscada. Observar que, puesto que un nmero real es siempre menor o igual a su valor absoluto, con mayor razn : d (D" D# lD" l lD# l Con este Lema estamos en condiciones de demostrar la desigualdad triangular: lD" D# l# D" D# D" D# D" D" D# D# D" D# D#D" lD" l# lD# l# D" D# D" D# pero la suma de un complejo y su conjugado es dos veces su parte real, luego: lD" D# l# lD" l# lD# l# #dD" D# y utilizando el Lema: lD" D# l# lD" l# lD# l# #lD" llD# l lD" l lD#l # de donde, extrayendo races cuadradas, se obtiene la desigualdad buscada.

125

4.3. RACES CUADRADAS DE LOS NMEROS COMPLEJOS

Trataremos aqu de discutir el sentido que puede tener la expresin: D cuando D En forma anloga al caso real, es claro que, si hay un complejo cuyo cuadrado es D , entonces, si D ! hay por lo menos dos: l y su negativo. Se podr escoger uno de ellos de modo unvoco para designarlo D ? En el caso real se elige la raz cuadrada positiva, pero en los complejos no hay un orden y por lo tanto no hay negativos ni positivos. Es ms: no es posible definir en una relacin de orden que sea compatible con la estructura de cuerpo. En efecto, suponiendo que hay una relacin de orden que haga de un cuerpo ordenado, si suponemos 3 ! , multiplicando por 3 se llega a la contradiccin: 3# " ! Si suponemos 3 ! entonces 3 ! y multiplicando por 3 la desigualdad anterior: 3 3 3# " ! lo que es tambin una contradiccin. Sea D + 3, y busquemos los complejos B 3C cuyo cuadrado sea igual a D : B 3C# B# C# #BC3 + 3, lo que nos d, igualando partes reales e imaginarias (no olvidar que los complejos son pares ordenados de reales): B# C# + #BC , Elevando al cuadrado ambas igualdades y sumando: B% #B# C# C% %B# C# +# , # B# C# # +# , # luego: B# C# +# , # lDl

(1)

(2)

Sumando esta igualdad con la primera igualdad de (1): #B# + lDl de donde :

126

" B # + lDl

(3)

De modo anlogo, restando (2) de (1) , resulta

" C # + lDl

Si combinamos los signos en (3) y (4) tendramos 4 soluciones: pero no todas las combinaciones de signos son posibles: el producto BC debe tener el mismo signo que , de acuerdo a nuestra ecuacin (1). Recordando que + dD y que , eD podemos dar nuestro resultado completo distinguiendo tres casos: Si eD ! entonces las dos races cuadradas de D son:
" lDl # " lDl #

dD 3

dD

(5)

Si eD ! entonces las dos races cuadradas de D son:

" lDl #

dD 3

" lDl #

dD

(')

Si eD ! , entonces hay tres casos:

Si dD ! las races son: dD Si dD ! las races son 3 dD Si dD ! solo hay una raz que es el 0

No hay una convencin universalmente aceptada para elegir con el smbolo D una de las races, de modo que esta expresin se mantiene ambigua. En todo caso las dos races siempre difieren solo en el signo.

4.4 LA FORMA POLAR DE LOS COMPLEJOS El sistema de coordenadas polares puede ser utilizado con ciertas ventajas para representar los nmeros complejos:

127

Figura 4.3 Puesto que la distancia al origen, que es el polo, es el valor absoluto de D , se tiene: B lDl-9= ) C lDl =/8 ) y por lo tanto: D lDl-9=) 3=/8) (1) El ngulo ) se llama argumento del complejo D y se elige de 0 a 21. Resulta interesante expresar el producto de dos complejos en su forma polar: Sean: D" lD" l-9=)" 3=/8)" D# lD# l-9=)# 3=/8)# D" D# lD" llD# l-9=)" -9=)# =/8)" =/8)# 3=/8)" -9=)# -9=)" =/8)# luego, usando las frmulas de las funciones trigonomtricas de la suma: D" D# lD" llD# l-9=)" )# 3=/8)" )# (2)

Es decir, se multiplican los mdulos y se suman los argumentos. En particular, para las potencias 8-simas: D 8 lDl8 -9= 8) 3=/8 8) (3)

Esta igualdad es conocida como frmula de De Moivre . Con este resultado se pueden obtener fcilmente las races 8-simas de los nmeros complejos: Sea D <-9=) 3=/8) Buscamos los complejos:

128

A 3-9= 9 3=/89 tales que : A8 D . Por lo tanto se debe tener:

8 Luego: 3 < y 89 ) #5 1 5 Hay una nica raiz 8-sima positiva de <, pero habr 8 valores distintos de 9:

38 -9= 89 3=/8 89 <-9=) 3=/8)

) 8

#5 81

5 ! " # $ 8 "

Por lo tanto, el complejo D tendr 8 races complejas ( a menos que sea 0 , en cuyo caso solo tiene una):
) 8 A < -9= 8 #5 8 1 ) 3=/8 8 #5 81

5 ! " # 8 " (4)

Figura 4.4 En la Figura 4.4 se han dibujado las cuatro races cuartas de 3

4.5

PROBLEMAS

1. Encuentre el mdulo y el complejo conjugado de: # # 3 " 3 " #3# $3 $ $#3 %$3 #$$ " 3 # 2. Demuestre que, para cualquier par denmeros complejos, vale:

129

D" D # D " D # D" D # D " D # DD

lD" D# l lD" l lD# l lDl# D D l D" l D#

lD" l lD# l

si D# !

3. Demuestre: | "D l " . Es vlida esta igualdad para cualquier D" D ? 4. Calcule las races cuadradas complejas de: $ %3 #3 # " #3 3 y ubquelas en el plano complejo. 5. Demuestre que las dos races complejas de la ecuacin cuadrtica: +B# ,B - ! son : ,V" y ,V# , donde V" y V# denotan las dos races #+ #+ cuadradas complejas del nmero complejo , # %+6. Resuelva en : 3B# #B " 3 ! B# 3B #3 ! B# B " !

7. Sea D " una raz 8-sima de la unidad. Demuestre: " D D # D 8 !

130

8. Resuelva las siguientes ecuaciones en : |D | D " #3 DD #D $ 3 " lDl lDl l" Dl

131

Captulo 5: LOS POLINOMIOS

5.1. INTRODUCCIN Desde muy antiguo se estudiaron funciones reales de la forma: 0 B +! +" B +# B# +8 B8 (1)

cuya simplicidad conceptual se deriva simplemente de las operaciones de suma y producto aplicadas a la funcin identidad. Estas funciones gozan de una propiedad interesante: dos tales funciones son iguales si y solo si sus coeficientes respectivos son iguales. En efecto, si +! +" B +# B# +8 B8 ,! ," B ,# B# ,8 B8 entonces : (+! ,! +" ," B +# ,# B# +8 ,8 B8 ! pero como estamos estableciendo una igualdad funcional, sta debe ser vlida para todo B En particular, para B ! . Luego +! ,! . Por lo tanto: B+" ," +# ,# B +8 ,8 B8" ! a B En particular, esta igualdad vale para todo B ! es decir: +" ," +# ,# B +8 ,8 B8" ! aB ! Pero, si estamos en , podemos aplicar el lmite cuando B !. Luego +" ," Este mismo procedimiento podemos aplicarlo inductivamente y obtenemos as el resultado propuesto. Es necesario recalcar que este procedimiento no es generalizable a un cuerpo cualquiera de coeficientes. Por lo tanto, desde un punto de vista algebraico, lo que importa es la coleccin ordenada de los coeficientes +! +" +# +8 Podramos concebir una teora sobre sucesiones finitas como sa, pero tropezamos con el siguiente problema: cmo operar con sucesiones de distinto largo?

132

El truco consiste en alargar con ceros, indefinidamente, estas sucesiones. Es as como se ha llegado al concepto algebraico de polinomio. 5.2. DEFINICIN Y PROPIEDADES BSICAS. Vamos a denotar por: \ +8 8! +8 +8 ! aw 8 donde el smbolo aw se lee "para casi-todo" y significa: para todo salvo un nmero finito. Los elementos de \ son entonces sucesiones de nmeros reales donde solo un nmero finito de sus valores difieren del cero, o sea son de la forma: +! +" +# +8 ! ! ! , donde el ndice donde empiezan a aparecer los ceros es variable En este sentido se llama grado del polinomio al ndice del ltimo trmino distinto de cero: 1< +! +" +# +8 ! ! ! 8 si +8 ! Se define en el conjunto \ una suma y un producto: +8 ,8 +8 ,8 +8 ,8 + : ,;
:;8

Notar que estas operaciones estn bien definidas, pues las sucesiones resultantes tambin poseen valores nulos salvo un nmero finito de ndices. PROPIEDADES BSICAS 1. La suma es asociativa, es decir: B C D B C D aB C D \ Como la suma se ha definido componente a componente, esta propiedad se deriva directamente de la asociatividad de la suma de nmeros reales. 2. La suma es conmutativa, es decir: B C C B aB C \ Por el mismo argumento anterior, esta propiedad es vlida

133

3. La suma tiene un elemento neutro, que llamaremos "cero", es decir un elemento que cumple: ! B B ! B aB \ En efecto, basta definir: ! ! ! ! ! 4. Cada elemento B \ posee un inverso respecto a la operacin suma, es decir, otro elemento C tal que B C ! En efecto, para B +8 , basta definir C +8 5. El producto es tambin asociativo , es decir BCD BCD aB C D \ Esta propiedad ya no es tan simple de demostrar, debido a la forma en que se ha definido el producto. Sin embargo, usando la abreviatura de las sumatorias, no resulta tan complicado. Llamemos: B +8 C ,8 D -8 entonces: +8 ,8 -8 +8
:;8

,: - ;

<=8

+<

:;=

,: - ; +< ,: -;

<=8

:;=

+< ,: -;

:;<8

+ < ,: - ;

<:=

=;8

+8 ,8 -8 6. El producto tambin es conmutativo: + : ,;

:;8

+8 ,8

;:8

,; +: ,8 +8

7. Vale la distributividad de la suma respecto del producto, es decir: BC D BC BD En efecto, llamando : B +8 C ,8 D -8 se tiene: +8 ,8 -8 +8 ,8 -8 +: ,; -;
:;8

134


:;8

+: ,; +: -;

:;8

+ : ,;

:;8

+: -;

8. El producto tiene un elemento neutro, es decir un elemento, que llamaremos 1 y que satisface: "B B" B . En efecto, el elemento: 1 " ! ! ! cumple esta propiedad. Por cumplir estas 8 propiedades, el tro \ se denomina un anillo conmutativo con unidad. Conviene notar que no hay aqu, en general, un inverso del producto, salvo para los polinomios de grado cero, y por lo tanto surge aqu, tal como en el caso de los nmeros enteros, el problema de la divisibilidad. 5.3. LA FORMA NORMAL
8

Cmo es posible expresar los elementos de \ en la forma acostumbrada:

5!

+5 \ 5 ? Qu significa esa X ?

Antes que nada observemos que se puede sumergir en \, es decir, hay una funcin inyectiva que respeta la estructura de suma y producto: F \ definida por: F+ + ! ! ! es claramente inyectiva y cumple: F+ , + , ! ! + ! ! , ! ! F+ F, F+, +, ! !
:;8

"

+: ,; + ! !, ! ! F+F,

Por esta inmersin se puede "identificar" (mejor dicho: abreviar) el polinomio de grado 0: + ! ! con el nmero real +. Vamos ahora a llamar: \ ! " ! ! ! Es fcil calcular : \ # ! " !!! " !! ! ! " !!! (2)

135

y por induccin: \ 8 ! ! ! " ! ! donde aparecen 8 ceros a la izquierda del 1. Si se multiplica: + ! ! \ 8 + ! !! ! " ! ! ! ! + ! ! Finalmente, el polinomio +! +" +8 ! ! ! \ se puede escribir: +! +" +8 ! +! ! ! + " ! ! ! + 8 ! +! ! +" ! \ +# \ # + 8! \ 8 +! +" \ +# \ # +8 \ 8
8

+5 \ 5

5!

Esta es la llamada forma normal del polinomio original. Notar que ahora tenemos una definicin precisa de \ y adems los coeficientes que aparecen en la sumatoria no son en realidad nmeros reales, sino que polinomios de grado 0. TEOREMA 5.1 ( Algoritmo de la divisin de Euclides) Sean los polinomios: T H \ " 1<H 1<T Entonces existen polinomios U V \ tales que: T HU V 1<V 1<H DEMOSTRACIN La demostracin se har por induccin sobre el grado del polinomio T Sea 1<T " Luego : T +\ , H -\ . con: + ! , - ! Entonces basta poner: U + V , +. y se tiene: T +\ , -\ . + , +. -

HU V

Supongamos ahora vlida la descomposicin para polinomios de grados 1,2,3...8 y sea T un polinomio de grado 8 " T +8" \ 8" +8 \ 8 +!

136

H ,< \ < ,<" \ <" ,! donde < 8 " ,< ! En este caso definamos el polinomio: U"
+8" 8"< ,< \

multiplicando este polinomio U" por H , resulta: HU" +8" \ 8" luego: T HU" +8
,<" +8" \ 8 ,< ,<" +8" 8 \ ,<

,! +8" 8"< ,< \

Como ste es un polinomio de grado 8 , podemos aplicar la hiptesis de induccin: existen polinomios U# y V con 1<V 1<H tales que: T HU" HU# V Luego: T HU" HU# V HU" U# V por lo que el polinomio buscado U ser: U U" U# Cuando el resto V es cero, se dice que el polinomio T es divisible por H o que H es un divisor de T , o que el polinomio H divide a T En tal caso se tiene que T HU El mecanismo inductivo presentado en la demostracin de este teorema se puede aplicar para encontrar explcitamente el polinomio cuociente y su resto: notar que lo nico que se ha hecho es dividir el primer trmino del polinomio T por el primer trmino del polinomio H, lo que conduce, al hacer la diferencia, a un polinomio de un grado menor. El proceso se debe repetir hasta que el resto obtenido tenga un grado menor que el grado del divisor. Veamos esto en un ejemplo concreto:

137

 $\ % #\ $ \ # \ & \ # %\ " $\ # "%\ &) $\ % "#\ $ $\ # ! "%\ $ #\ # \ & "%\ $ &'\ # "%\ ! &)\ # "&\ & &)\ # #$#\ &) ! #%(\ &$

El polinomio #%(\ &$ es el resto, pues su grado es menor que el grado del divisor. Como el resto no es cero, el polinomio P no es divisible por H. 5.4 LA FUNCIN POLINMICA ASOCIADA
8

Dado un polinomio T

+5 \ 5 \ se puede definir
8

5!

unvocamente la funcin polinmica asociada: T B

5!

+5 B5

(1)

donde ahora los coeficientes +5 son nmeros reales y no polinomios de grado cero. Notar que se ha usado la misma letra T para dos objetos diferentes: hay que estar atento para evitar confusiones. Es interesante el estudio de ecuaciones del tipo
8

+5 B5 !

5!

es decir, la bsqueda de aquellos nmeros reales o complejos que anulan la funcin polinmica. Estos nmeros se llaman ceros o races del polinomio T . Si se hace una grfica de la funcin polinmica, se tendr que las races reales del polinomio son aquellos puntos donde la grfica de la funcin corta al eje OX:

Figura 5.1

138

La funcin polinmica dibujada en la Figura 5.1 es: B$ &B# B "! El siguiente teorema nos d una herramienta fundamental para la bsqueda de soluciones de una ecuacin polinmica: TEOREMA 5.2. Sea T [X] de grado mayor o igual a 1. Entonces el nmero real + es una raz de T si y solo si el polinomio de grado 1: H \ + divide a T DEMOSTRACIN. a) Supongamos que H \ + divide a T : entonces existe un polinomio U tal que T H U, y por lo tanto, pasando a las funciones polinmicas asociadas, se tiene: T B B + UB donde , evaluando en B + se tiene T + ! , Supongamos ahora que + es raiz de T , es decir: T + ! Hagamos la divisin con resto de T con divisor \ + T \ +U V donde 1<V 1<\ + " . Por lo tanto el grado del resto V es cero, es decir V es una constante. Evaluando la funcin polinmica asociada en B + , se tiene: T + V ! Luego \ + divide a T COROLARIOS 1. Un polinomio de grado 8 tiene a lo ms 8 races. En efecto, cada raz determina un polinomio de grado 1 que divide al polinomio dado: pero un polinomio no puede ser divisible por otro de grado mayor. 2. Si D es una raiz compleja de un polinomio de coeficientes reales T \, entonces tambin el complejo conjugado es raz de T En D efecto, por las propiedades de la conjugacin, se tiene: ! T D +! +" D +8 D 8 +! +" +8D 8 ! D 3. Las races complejas de un polinomio de coeficientes reales aparecen siempre de a pares. En particular todo polinomio de coeficientes reales de grado impar posee al menos una raiz real.

139

Si + es una raiz del polinomio T y si se hace la divisin de T por \ + podra ser que el cuociente resultante fuese nuevamente divisible por \ +, con lo que + sera "dos veces" raiz de T Esto conduce al concepto de multiplicidad de una raz: una raz + del polinomio T se dice de multiplicidad 7 si acaso \ +7 divide a T pero \ +7+1 ya no. En tal caso se tendr: T \ +7 U. Es claro que la multiplicidad de una raiz no puede exceder al grado del polinomio T Finalmente se dice que + es una raiz simple si acaso su multiplicidad es 1. 4. La llamada Ley de los Signos de Descartes establece que el nmero de races reales positivas de un polinomio en [X] es siempre menor o igual al nmero de cambios de signo de sus coeficientes, en el entendido que stos estn ordenados. Es interesante notar que, aunque Descartes enunci este teorema en 1637, sin demostracin, fu Gauss el primero que di una demostracin satisfactoria y general recin en 1828. La demostracin de Gauss se puede hacer por induccin sobre el nmero de races positivas del polinomio. En efecto, si este nmero es 0, la regla es trivial. Notar que, en este caso la implicacin se puede invertir: si el polinomio no tiene cambios de signo, entonces su funcin polinmica no podr anularse sobre nmeros positivos (ni tampoco sobre negativos). Supongamos vlido el teorema para polinomios de V raices positivas y sea G el nmero de cambios de signo: entonces nuestra hiptesis de induccin dice: V G . Sea ahora T un polinomio con V " races reales positivas. Sea + ! una de estas races: entonces el polinomio T se puede factorizar por \ + T \ +U Luego, U tiene exactamente V races positivas y, por nuestra hiptesis de induccin, su nmero G de cambios de signo ser mayor o igual que V . Para calcular el nmero de cambios de signo de T escribamos el polinomio U juntando los bloques que tienen el mismo signo: U T" T# T5 luego: T \ +T" T# T5 \T" \T# \T5 +T" +T# +T5 \T" \T# +T" \T$ +T# \T5 +T5"+T5

140

donde no se ha alterado el orden decreciente de los trminos y el nmero de cambios de signo ha aumentado en 1. Luego se tiene para T que tambin V " G ".

EJEMPLOS 1. Supongamos que se sabe de antemano que 3 es una raiz doble (o sea, de multiplicidad 2) del polinomio \ % "#\ $ &&\ # ""%\ *! Se plantea el problema de encontrar las otras dos races. Para esto basta dividir el polinomio dado por \ $# y buscar en seguida las raices del cuociente resultante: \ % "#\ $ &&\ # ""%\ *! \ # '\ * \ # '\ "! \ % '\ $ *\ # ! '\ $ %'\ # ""%\ *! '\ $ $'\ # &%\ ! "!\ # '!\ *! "!\ # '!\ *! ! Por lo tanto hemos obtenido: T \ $# \ # '\ "! Para obtener las otras races debemos calcular las raices de \ # '\ "! Como es un polinomio cuadrtico, podemos utilizar la llamada frmula de Cardano: '$'%! $3 # lo que nos permite concluir que el polinomio \ # '\ "! no es divisible por ningn polinomio de coeficientes reales, lo que se expresa diciendo que este polinomio es irreducible en [X]. La funcin polinmica asociada podemos, sin embargo, escribirla: T B B $# B $ 3B $ 3 que resulta ser una funcin de valores reales, a pesar de su apariencia. 2. Consideremos el polinomio de cuarto grado \ % % Este polinomio tiene solo un cambio de signo, por lo tanto no puede tener ms de una raz positiva pero por su sencillez podemos descomponerlo completamente:

141

\ % % \ # #\ # # \ # \ # \ # #

Se observa que # es su nica raz positiva, pues \ # # es irreducible en [X]

5.5.

PROBLEMAS

1. Demuestre que 1<T U 1<T 1<U 1<T U 7+B 1<T 1<U # Dividir con resto: )\ & $\ $ \ # '\ " #\ # " $\ % ""\ $ ")\ ) \ % 3. Encontrar 5 tal que \ $ $\ %\ 5 sea divisible por \ # 4. Demuestre que [X] no posee divisores de cero , es decir que si dos polinomios T U son tales que su producto: T U ! entonces o bien T ! , o bien U ! 5. Determinar + , tales que " sea una raz doble del polinomio: \ % +\ $ + ,\ # ,\ " 6. Si al dividir un polinomio T por \ + se obtiene un resto V+ y al dividirlo por \ , se obtiene un resto V, , con + , , V+ V, , qu resto se obtiene al dividirlo por \ +\ , ? 7. Dados dos polinomios no nulos T U demuestre que existe un mximo comun divisor de P y Q, es decir, un polinomio de mximo grado que divide a T y a U. 8. Dados dos polinomios no nulos T U demuestre que existe un mnimo comn mltiplo de P y Q, es decir, un polinomio de mnimo grado que es divisible por T y U.

142

APENDICE: LGICA Y CONJUNTOS

En matemticas se trabaja con proposiciones, sentencias o afirmaciones, que son frases bien formadas que solo pueden ser verdaderas o falsas. Por ejemplo "4 es un nmero par", o: "un tringulo tiene 4 lados" , son proposiciones (la primera verdadera y la segunda falsa). Mientras que: "no seas as", o "cundo haremos la prueba?" no son proposiciones. En la vida real se hacen muchas afirmaciones que no son ni totalmente verdaderas ni totalmente falsas: la vida real es compleja y para modelarla adecuadamente es preciso construir una lgica diferente. En matemticas se simplifica drsticamente esta lgica y sin embargo usando esta misma lgica simplificada es posible modelar situaciones de una lgica diferente. Es el caso de la llamada lgica fuzzy en cuyo detalle no entraremos aqu. Las proposiciones matemticas se pueden asociar para formar nuevas proposiciones usando las llamadas conectivas: "y ", en smbolos: , y "o", en smbolos : . Tambin una proposicin : puede transformarse en su negacin: no-: , en smbolos: c: Si denotamos por V a "verdadero" y F a "falso", se tiene la siguiente tabla de verdad:

: Z Z J J

; Z J Z J

c: J J Z Z

:; Z Z Z J

:; Z J J J

Aqu es preciso notar que, en matemticas, la conexin : ; significa: o bien : o bien ; o bien ambas. Existe tambin la llamada "o exclusiva" que significa que solamente debe ser verdadera una de ellas, pero esta conectiva prcticamente no se usa. En todo caso no es una conectiva bsica y se puede expresar usando las conectivas ya presentadas: : ; significa : : ; c: ;

143

A partir de estas conectivas se construyen todas las dems. Las ms importantes son la implicacin en smbolos: y la equivalencia lgica, en smbolos : , que se definen: : ; c: ; : ; : ; ; : Por lo tanto sus tablas de verdad sern:

: Z Z J J

; Z J Z J

:; Z J Z Z

:; Z J J Z

Aqu debe notarse que la implicacin solo es falsa cuando de una proposicin verdadera se deduce una falsa. El significado de : ; es entonces : "si : es verdadera, entonces ; debe ser verdadera, pero si : no es verdadera entonces nada se afirma de ; ". Por eso, si : es falsa, la implicacin es verdadera cualquiera sea el valor de verdad de ; . Dicho de otro modo: de una proposicin falsa se deduce cualquier cosa. Es as como se usa y hemos usado este smbolo lgico. Queda dentro del sentido que se suele dar a afirmaciones como: "si tu eres inteligente, yo soy Napolen", que solo quiere decir que ninguna de las dos afirmaciones es cierta. Es importante recalcar que el smbolo es estrictamente binario , es decir relaciona solamente dos proposiciones. Esto se debe a que esta relacin no es asociativa, o sea : : ; < no es equivalente a : ; < Es frecuente el mal uso de este smbolo tomndolo como sinnimo de "por lo tanto" : no lo es! . La expresin "por lo tanto" alude a un resultado que depende, en general, de muchas otras hiptesis. Una escritura de la forma: : ; < s no tiene ningn significado. Se llama una tautologa a una proposicin compuesta que es verdadera cualquiera sea el valor de verdad de sus componentes. Por ejemplo: : : : c : ; c: c; c : ; c: c; c c : :

144

Se llama una contradiccin a una proposicin compuesta que es falsa cualquiera sea el valor de verdad de sus componentes. Por ejemplo: : c : c : c : En matemticas todos los teoremas son, por definicin, proposiciones verdaderas y las demostraciones pueden seguir dos caminos, esquemas o reglas lgicas: El modus ponens: : es verdadera (es la hiptesis) : ; es verdadero (camino correcto de deduccin) entonces ; es verdadera. El modus tollens : : ; es verdadero (camino correcto de deduccin) ; es falso (esta es ahora una hiptesis) entonces : es falso. Este camino corresponde a una suerte de negacin del anterior: en efecto, si suponemos que : es verdadero, entonces, por el modus ponens, ; tendra que ser verdadero. Este camino corresponde a la llamada demostracin indirecta, o "demostracin por el absurdo", donde se supone que lo que se desea demostrar, o sea ; , es falso: haciendo un camino correcto de deduccin se llega a que la hiptesis, o sea :, es falsa. Conviene notar que aqu se usa siempre el principio del tercero excludo, segn el cual, una proposicin es verdadera o es falsa, excluyndose una tercera posibilidad. La experiencia ha demostrado que las mayores dificultades en el razonamiento matemtico se producen con el uso de los llamados cuantificadores, que ya hemos usado en este curso desde el principio. Los cuantificadores no se usan sobre proposiciones sino sobre funciones proposicionales que son afirmaciones ms abiertas que dependen de un objeto indeterminado que se denota por una letra, como B, y que debe ser sustituda por algn elemento de algn conjunto previamente establecido para tranformarse en proposicin: :B es una funcin proposicional y si se reemplaza la B por un elemento + Y entonces :+ es una proposicin. El cuantificador universal : "todo" o " para todo", en smbolos: a y su uso es: "aB Y , :B " o bien : ":B aB Y "

145

que significa que la proposicin : es verdadera para todos los B tomados de Y . Tambin se escribe: " aB:B" cuando el universo de donde se sacan los B es ya conocido. El cuantificador existencial : "existe" o " existe al menos un" , en smbolos b y su uso es: "b B Y :B " que significa que al menos un elemento B del universo Y hace verdadera la proposicin :B Cuando el universo donde viven los B es conocido, entonces se escribe bB:B Ya hemos usado estos smbolos y tambin algunas de sus variantes, como el smbolo bx , que significa que existe un nico y el smbolo aw que significa para todos salvo un nmero finito. Es interesante ver lo que resulta al negar alguno de los cuantificadores: c aB, :B : significa que no para todos los B es cierto :B, o sea que existe algn B para el cual :B es falso , es decir: bBc:B c b B :B : significa que no existe un B que cumpla :B es decir : para todos los B, :B es falso: aBc:B En el anlisis real aparecen funciones proposicionales que contienen ambos cuantificadores, lo que suele complicar su comprensin. Por ejemplo, la definicin de lmite tiene la forma: a% ! b$ ! ! lB B9 l $ l0 B Pl % Cmo se demuestra una afirmacin (es decir, un teorema) que contiene cuantificadores? Hay dos casos: El caso universal afirmativo: la proposicin: aB Y :B se demuestra tomando un elemento cualquiera de Y y razonando adecuadamente hasta convencerse que efectivamente :B es verdadera. El caso universal negativo: la proposicin:

146

c (aB :B se demuestra mediante un contraejemplo, es decir, encontrando un B particular en Y que no cumple :. El caso existencial afirmativo: la proposicin: bB Y :B se demuestra mediante un ejemplo, es decir, encontrando un B particular en Y que efectivamente cumple la proposicin : El caso existencial negativo: la proposicin: c (bB Y :B se demuestra tomando un B cualquiera en Y y demostrando que B no cumple la proposicin :

EL LENGUAJE DE LOS CONJUNTOS. Es importante observar que toda la matemtica, al menos a partir de 1930, llamada a veces "matemtica moderna", se expresa en el lenguaje de los conjuntos. Por eso es importante manejar bien este lenguaje y tener claro sus limitaciones. Lo primero es poder describir apropiadamente un conjunto y para eso hay dos maneras: Por extensin : se identifican los elementos del conjunto con algn rtulo y se agrupan con un parntesis de llave: +" +# +$ +8 as se denota el conjunto cuyos elementos son todos los +3 . Por ejemplo: {+} denota el conjunto llamado singulete ( en ingls : singleton) , cuyo nico elemento es +. Todo esto funciona mas o menos bien para conjuntos finitos o, admitiendo cierta informalidad, para conjuntos de elementos cuya ley de formacin es sencilla y clara , como por ejemplo: {2,4,6,8,10,.....} que permite entender que se trata del conjunto de los nmeros pares. Pero para conjuntos ms complicados este mtodo no resulta. Por comprensin : el conjunto se define mediante una propiedad:

147

B T B denota el conjunto de todos aquellos objetos que satisfacen la propiedad T Pero aqu surgen, al menos dos dificultades: la primera es que se pueda decidir sin ambiguedad que el objeto B cumple o no cumple la propiedad T . En la vida real las cosas no son tan simples: si quisieramos trabajar, por ejemplo, con el conjunto de los fumadores en una poblacin determinada, quin es realmente un fumador? Esta dificultad da origen a los llamados conjuntos fuzzy, donde se establecen distintos grados de pertenencia al conjunto. La segunda dificultad es de una naturaleza ms bsica y profunda y fu descubierta por Bertrand Russell. Como los elementos de un conjunto pueden ser tambin conjuntos, es posible pensar en aquel conjunto de todos los conjuntos que no se contienen, como elemento, a s mismos: V B B B La pregunta aqu es si acaso V se contiene o no se contiene a si mismo: si se contiene, entonces: V V lo que significa que debe satisfacer la propiedad: V V lo que es una contradiccin. Si no se contiene, es decir, si acaso V V , entonces cumple la propiedad y debe pertenecer al conjunto: V V lo que tambin es una contradiccin. Esta es la llamada paradoja de Russell. Esta paradoja y otras obliga a poner condiciones y establecer axiomas apropiadados, lo cual ha dado origen a las llamadas Teoras axiomticas de Conjunto, de las cuales hay varias. La ms popular y sencilla, que es la que hemos usado hasta aqu, soluciona este problema estableciendo que debe haber un conjunto de referencia, desde donde se especifica al conjunto formado por aquellos elementos que satisfacen la propiedad: B Y T B Esta es la notacin usual para designar al conjunto de aquellos elementos de Y que cumplen la propiedad T Veamos cmo de esta forma se soluciona la paradoja de Russell y obtendremos adems una consecuencia sorprendente: sea Y un conjunto cualquiera y definamos nuevamente: V B Y : B B

148

Hay dos posibilidades: o bien V Y o bien V Y Si suponemos que V Y hay nuevamente dos posibilidades: V V en cuyo caso V satisface la propiedad , luego V V lo que no puede ser. V V en cuyo caso V no satisface la propiedad que define V luego V V lo que tampoco puede ser. Se concluye entonces que V Y Pero Y era un conjunto cualquiera, lo que nos permite afirmar que, dado un conjunto, siempre hay algn objeto que no est en ese conjunto, o en otras palabras: no hay nada que contenga todo, o, lo que es lo mismo: el conjunto de todos los conjuntos no existe. Recordemos finalmente las distintas operaciones y relaciones que se definen entre conjuntos: E es subconjunto de F en smbolos: E F , si: BEBF El conjunto vaco es un conjunto que no posee elementos. Se denota por 9. Luego, recordando la definicin de implicacin, se tiene que : 9 E aE conjunto, es decir, el vaco es subconjunto de todo conjunto. E es igual a F en smbolos: E F si E F F E La unin de dos conjuntos, en smbolos: E F , se define: E F B Y B E B F La interseccin de dos conjuntos, en smbolos: E F , se define: E F B Y B E B F El complemento del conjunto E E- B Y B E

La diferencia entre dos conjuntos:

149

E F B Y B E B F El producto cartesiano de dos conjuntos: E F + , Y + E , F En esta definicin se ha usado el concepto intuitivo de par ordenado , donde lo nico que se pide es poder distinguir la ubicacin de cada trmino del par. Si E es un conjunto, el conjunto de todos los subconjuntos de E se denota de las siguientes dos formas: E #E F Y F E Tambin en matemticas se consideran las llamadas familias : E3 3M donde se han rotulado los conjuntos que pertenecen a la familia mediante ndices 3 M . La unin y la interseccin de familias se define: - E3 B Y b3 M B E3 3M

+ E3 B Y B E3 a3 M 3M - E3 b3 M B E3 3M

Notar que aqu es crucial distinguir con claridad ambos cuantificadores: B

mientras que para la interseccin: B

+ E3 B E3 a3 M 3M

Es claro que, si la familia consta de solamente dos elementos, estas nuevas definiciones coinciden con las antiguas.

150

EJERCICIOS 1. Calcule el valor de verdad de la proposicin compuesta: : c: ; = c; : sabiendo que : es falsa, ; es verdadera y = es falsa 2. Demuestre las distributividades: : ; < : ; : < : ; < : ; : < 3. Demuestre las tautologas: c: ; c: c; c: ; c: c; : ; c: c; 4 Suponga que B e C son nmeros reales. Escriba las negaciones de : aB FaC EB C C # B# C # " (aB EbC FlBl C B C " a% ! b$ ! ! lB B9 l $ l0 B Pl % 5. Determine los valores de verdad de : ; < si la proposicin: ; : c< c; c; < es verdadera pero c; < es falsa. 6. Sean E F conjuntos. Determine si las siguientes proposiciones son verdaderas o falsas: E F E G F G E F E G F G E F E F E F E F 7. Sea E + , . Determine: E E E E

151

8. Sean E F G conjuntos. Demuestre o refute (con fundamento) las siguientes igualdades: E F G E G E F E F G E F E G E F G E F E G 9. Sea E3 3M una familia de conjuntos. Demuestre las llamadas Leyes de De Morgan: + E3 - - E 3 3M 3M - E3 - + E 3 3M 3M 10. Dados los conjuntos: E ! " # F " $ & construya : E F E E F F E E F E F E F 11. Determine si es verdadera o falsa cada una de las siguientes afirmaciones: E F G H E G F H E F 9 E 9 F 9 E F G E F E G E F G E F E G 12. Los brillantes casos del inspector Cluseau. El famoso inspector de la polica francesa nos presenta algunos casos para ver si nosotros tambin podemos resolverlos. Se puede usar la lgica informal intuitiva pero tambin la formalizacin en lenguage lgico. a) Se realiz un importante robo en el IMA y el botn fu transportado en camioneta. Tras interrogar a tres conocidos maleantes: Mak, Pop y Pira, sospechosos del robo se estableci: ninguna otra persona, distinta a los tres sospechosos, intervino en el robo. Pop no acta nunca sin contar con Mak Pira no sabe conducir. Es Mak culpable o inocente?

152

b) En otra ocasin, tras interrogar a los mismos tres sospechosos, el inspector Cluseau estableci los siguientes hechos: Si Mak es culpable y Pop inocente, entonces Pira es culpable Pira nunca trabaja solo Mak no trabaja con Pira Al menos uno de ellos es culpable y nadie distinto de ellos intervino. Esta informacin no es, evidentemente, suficiente para determinar todos los culpables o inocentes, pero puedes acusar con certeza a uno de ellos? c) En otra ocasin Cluseau fu solicitado por el director del IMA para resolver la misteriosa rotura de los cristales de la biblioteca. En este caso los sospechosos eran los hermanos Zipi y Zape y su amiga Pedri. Se dispona de gran informacin sobre ellos y Cluseau estableci que: tanto Zipi como Zape nunca actuaban sin contar con un cmplice al contrario, Pedri lo haca siempre ella sola un testigo aseguraba haber visto en el cine a Zipi o Zape a la hora de los hechos, pero no sabra decir a cul de ellos. cmo resolvi el inspector Cluseau el caso? d) Aprovechando la presencia del inspector, se le plante un caso ocurrido el ao anterior, que involucraba a los mismos tres personajes anteriores y a un cuarto personaje conocido como Luisn. Las pistas eran: se saba que el (o los) culpables estaban entre los cuatro mencionados. Pedri era esta vez definitivamente inocente. Si Zipi era culpable, entonces tena un nico cmplice. Si Zape era culpable, entonces tena exactamente dos cmplices El director estaba especialmente interesado en saber si Luisn estaba o no implicado en los hechos. qu opinas t? e) Revisando los archivos del IMA encontraron otro caso que tambin involucraba a nuestros cuatro amigos. Se establecieron las pistas: Si tanto Zip como Zape eran culpables, entonces Pedri era cmplice. Si Zipi es culpable, entonces al menos uno de los dos: Zape o Pedri colabor en el acto. Si Pedri es culpable, Luisn estaba involucrado. Si Zipi es inocente, entonces Luisn es culpable. Despus de un arduo trabajo, nuestro eficiente inspector resolvi el caso. Podras hacerlo tu? f) Finalmente, el Inspector Cluseau relat al director del IMA un antiguo caso, ocurrido en la Guayana francesa: haba tres prisioneros en la

153

crcel, de cuyo nombre el inspector no se acordaba, por lo que los llam A, B y C, que eran conocidos por su astucia. El alcaide de la poca decide ponerles la siguiente prueba: les presenta 5 sombreros de dos colores: tres blancos y dos negros y les explica que liberar al preso que adivine el color de su propio sombrero, una vez que los puso en fila y sorte los sombreros. El preso que estaba al final de la fila (digamos: C), slo poda ver los dos sombreros delante de l y el segundo (digamos: B) solo poda ver el que tiene delante, mientras que el primero, A, no poda ver ninguno de los sombreros. Le pregunt a C el color de su sombrero y ste dijo que no saba. Despus le pregunt a B el color de su sombrero y tambin respondi que no saba. Finalmente le pregunt a A, el que no vea a ningn sombrero y ste, sorprendentemente, respondi que s saba el color de su sombrero. cmo lo dedujo? de qu color era su sombrero?

154