FUNCIN TRIGONOMTRICA

Las funciones trigonomtricas, en matemticas, son relaciones angulares que se utilizan para relacionar los ngulos del tringulo con las longitudes de los lados del mismo segn los principios de la Trigonometra.

Las funciones trigonomtricas son de gran importancia en fsica, astronoma, cartografa, nutica, telecomunicaciones, la representacin de fenmenos peridicos, y otras muchas aplicaciones.

C !C"#T $ %&$'C $
Las (azones trigonomtricas se definen comnmente como el cociente entre dos lados de un tringulo rectngulo asociado a sus ngulos. Las funciones trigonomtricas son funciones cuyos )alores son e*tensiones del concepto de razn trigonomtrica en un tringulo rectngulo trazado en una circunferencia unitaria +de radio unidad,. -efiniciones ms modernas las descri.en como series infinitas o como la solucin de ciertas ecuaciones diferenciales, permitiendo su e*tensin a )alores positi)os y negati)os, e incluso a nmeros comple/os. "*isten seis funciones trigonomtricas .sicas. Las ltimas cuatro, se definen en relacin de las dos primeras funciones, aunque se pueden definir geomtricamente o por medio de sus relaciones. 0lgunas funciones fueron comunes antiguamente, y aparecen en las primeras ta.las, pero no se utilizan actualmente1 por e/emplo el)erseno +2 3 cos 4, y la e*secante +sec 4 3 2,.

Funcin

Abreviatu ra

Equivalencias (en radianes)

Seno

sin (sen)

Coseno

cos

Tangente

tan

Cotangent e

ctg

Secante

sec

Cosecante

csc (cosec)

Definiciones respecto de un tri ngu!o rect ngu!o

#ara definir las razones trigonomtricas del ngulo5 , del )rtice A, se parte de un tringulo rectngulo ar.itrario que contiene a este ngulo. "l nom.re de los lados de este tringulo rectngulo que se usar en los sucesi)o ser5 La hipotenusa +h, es el lado opuesto al ngulo recto, o lado de mayor longitud del tringulo rectngulo. "l cateto opuesto +a, es el lado opuesto al ngulo que queremos determinar. "l cateto adyacente +b, es el lado adyacente al ngulo del que queremos determinar.

Todos los tringulos considerados se encuentran en el #lano "uclidiano, por lo que la suma de sus ngulos internos es igual a 6 radianes +o 2789,. "n consecuencia, en cualquier tringulo rectngulo los ngulos no rectos se encuentran entre 8 y 6:; radianes. Las definiciones que se dan a continuacin definen estrictamente las funciones trigonomtricas para ngulos dentro de ese rango5 2, "l seno de un ngulo es la relacin entre la longitud del cateto opuesto y la longitud de la hipotenusa5

"l )alor de esta relacin no depende del tama<o del tringulo rectngulo que eli/amos, siempre que tenga el mismo ngulo , en cuyo caso se trata de tringulos seme/antes. ;, "l coseno de un ngulo es la relacin entre la longitud del cateto adyacente y la longitud de la hipotenusa5

=, La tangente de un ngulo es la relacin entre la longitud del cateto opuesto y la del adyacente5

>, La cotangente de un ngulo es la relacin entre la longitud del cateto adyacente y la del opuesto5

?, La secante de un ngulo es la relacin entre la longitud de la hipotenusa y la longitud del cateto adyacente5

@, La cosecante de un ngulo es la relacin entre la longitud de la hipotenusa y la longitud del cateto opuesto5

Funciones trigonomtricas de ngu!os nota"!es

30

45

!0

sen 0

cos 1

tan 0

Representaci#n gr fica

$a funci#n seno
Definicin geomtrica El seno de un nmero real t es la coordenada y (altura) del punto P en el siguiente diagrama, donde |t| es el largo del arco que se indica.

sin t A coordenada y del punto P Definicin " rueda bicicleta" Si una rueda cuyo radio es 1 roda hacia delante a una velocidad de 1 unidad por segundo, sin t el la altura de un marcador fijo en su neumtico despus de t segundas, si se empieza a medio camino entre la parte superior y la parte inferior de la rueda.

Grfica de la funcin seno

y A sin x Funcin seno general La funcin seno "generalizado" tiene la siguiente forma:

y = A sinBC+x - D,E F C A es la amplitud (la altura de cada mximo arriba de la lnea base). C es el desplazamiento vertical (la altura le la lnea base). P es el periodo o longitud de onda (el longitud de casa ciclo). es la frecuencia angular, y se expresa por = 2/P o P = 2/. es el desplazamiento de faso.

%&emp!os
Considere la siguiente grfica, que muestra una curva de seno "general" (desplazada y escalada):

Pregunta Que es la ecuacin de la grfica? Contesta Consultando la funcin seno generalizado a la izquierda, vemos que la ecuacin de esta curva es: y = A sin[(x-)] + C, donde La lnea base (el punto medio de oscilacin) se ubica 2 unidades abajo del eje x A = amplitud (la altura de cada mximo arriba de la lnea base) = 2 C = desplazamiento vertical = coordenada y de la lnea base = -2 P = periodo (el longitud de casa ciclo, o distancia de un mximo al siguiente) = 4 = frecuencia angular = 2/P = 2/4 = /2 = desplazamiento de faso = 1 "sta es la distancia horizontal del e/e y al primero punto donde la grfica cruza la lnea .ase.

Entonces, la ecuacin de la curva ms arriba es y = 2 sin[/2 (x - 1)] - 2 Para comprobar que sirve esta ecuacin, pruebela en la e)aluador y graficador de funciones o en la graficador "*cel (si tienes Excel en su computadora).

$a funci#n coseno
Definicin geomtrica El coseno de un nmero real t es la coordenada x del punto P en el siguiente diagrama, donde |t| es el largo del arco que se indica.

cos t A coordenada x del punto P sin t A coordenada y del punto P Grfica de la funcin coseno

y A cos x Funcin coseno general La funcin coseno "generalizado" tiene la siguiente forma:

y = A cosBC+x - D,E F C

A es la amplitud (la altura de cada mximo arriba de la lnea base). C es el desplazamiento vertical (la altura le la lnea base). P es el periodo o longitud de onda (el longitud de casa ciclo). es la frecuencia angular, y se expresa por = 2/P o P = 2/. es el desplazamiento de faso.

%&emp!os
Considere la siguiente grfica, que muestra la misma curva de seno "general" (desplazada y escalada) que ms arriba:

Pregunta Esta vez, que es su ecuacin, esta vez escrita como una funcin coseno general? Contesta Consultando la funcin coseno generalizado a la izquierda, vemos que la ecuacin de esta curva es: y = A cos[(x-)] + C, donde La lnea base (el punto medio de oscilacin) se ubica 2 unidades abajo del eje x A = amplitud (la altura de cada mximo arriba de la lnea base) = 2 C = desplazamiento vertical = coordenada y de la lnea base = -2 P = periodo (el longitud de casa ciclo, o distancia de un mximo al siguiente) = 4 = frecuencia angular = 2/P = 2/4 = /2 = desplazamiento de faso = 2 "s distinto para coseno5 la distancia horizontal del e/e y al primero m*imo.

Entonces, la ecuacin de la curva ms arriba es: y = 2 cos[/2 (x - 2)] - 2 Para comprobar que sirve esta ecuacin, pruebela en la e)aluador y graficador de funciones o en la graficador "*cel (si tienes Excel en su computadora). .

Identidades trigonomtricas fundamenta!es' Re!aciones entre seno ( coseno

El seno y coseno de un nmero t se relacionan con sin2t + cos2t = 1 Podemos obtener la curva coseno desplazando la curva seno hacia la izquierda una distancia igual a /2. A la inversa, podemos obtener la curva seno desplazando la curva coseno /2 hacia la derecha. Estos hechos se puede expresar como sigue cos t = sin(t + /2) sin t = cos(t - /2) Formulacin alternativa Podemos tambin obtener la curva coseno por primero invertiendo la curva seno de manera vertical (reemplace t por -t) y despus desplazando hacia la derecha una distancia igual a /2. Esto nos da dos formulas alternativas (que son mas fciles de recordar): cos t = sin(/2 - t) sin t = cos(/2 - t) El coseno es el seno del complemento. El seno es el coseno del complemento.

%&emp!os
Por la identidad a la izquierda obtenemos

sin2x = 1 + cos2x 1 - cos2x cos2x 1 Por la ide ntidad penltima a la izquierda obtenemos:

sin /2 cos /3 = sin /3 sin /6

T)e Ot)er Trigonometric Functions

The ratios and reciprocals of sine and cosine are given their own names:

Deri*adas de funciones trigonomtricas

La siguiente tabla resume las derivadas de las seis funciones trigonomtricas, y tambin sus homlogos que se surgen de la regla de la cadena (es decir, el seno, coseno, etc. de una funcin).

GENERALIZACIONES
Las funciones hiper.licas son el anlogo de las funciones trigonomtricas para una hipr.ola equilatera. 0dems el seno y coseno de un nmero imaginario puro puede e*presarse en trminos de funciones hiper.licas. Las funciones elpticas son una generalizacin .iperidica de las funciones trigonomtricas que en el plano comple/o slo son peridicas so.re el e/e real. "n particular las funciones trigonomtricas son el lmite de las funciones elpticas de Gaco.i cuando el parmetro del que dependen tiende a cero.

HISTORIA
Artculo principal: Historia de la trigonometra

"l estudio de las funciones trigonomtricas se remonta a la poca de %a.ilonia, y gran parte de los fundamentos de trigonometra fueron desarrollados por los matemticos de la 0ntigua Hrecia, de la 'ndia y estudiosos musulmanes. "l primer uso de la funcin seno +sin+I,, aparece en el Sulba Sutras escrito en 'ndia del siglo J''' al J' a. C. Las funciones trigonomtricas fueron estudiadas por Kiparco de !icea +278L 2;? a. C.,, 0rya.hata +>M@L??8,, Jarahamihira, %rahmagupta, alLNhOarizmi, 0.uPlLQafa, Nhayyam, %hasRara '', !asir alL-in Tusi, (egiomontanus +2>@>,, Hhiyath alLNashi y Slugh %eg +$iglo T'J,, Uadha)a +ca. 2>88,, (heticus, y el alumno de ste, Jalentin tho. La o.ra de Leonhard "uler Introductio in analysin infinitorum +2M>7, fue la que esta.leci el tratamiento analtico de las funciones trigonomtricas en "uropa, definindolas como series infinitas presentadas en las llamadas VWrmulas de "ulerV. La nocin de que de.era e*istir alguna correspondencia estndar entre la longitud de los lados de un tringulo sigui a la idea de que tringulos similares mantienen la misma proporcin entre sus lados. "sto es, que para cualquier tringulo seme/ante, la relacin entre la hipotenusa y otro de sus lados es constante. $i la hipotenusa es el do.le de larga, as sern los catetos. Gustamente estas proporciones son las que e*presan las funciones trigonomtricas. mar

K'$T ('0

"n los te*tos de Cauchy, el concepto de limite se con)ierte, claramente y de manera definiti)a, en un concepto aritmtico sin apoyo geomtrico, como puede constatarse en su definicin siguiente5Cuando los )alores sucesi)amente atri.uidos a una misma )aria.le se apro*iman indefinidamente a un )alor fi/o, de manera que llegan a diferir tan poco como se quiera de l, este ltimo se llama el lmite de todos los dems."sta definicin da cuenta e*acta de la idea intuiti)a de limite, pero es )er.al ms que numrica. Cauchy se sir)e a continuacin de esta definicin para definir un infinitamente peque<o, que resulta ser simplemente una cantidad )aria.le dependiente con un limite igual a cero5Cuando los )alores numricos sucesi)os de una misma )aria.le decrecen indefinidamente de manera que disminuyen por de.a/o de todo nmero dado, esta )aria.le resulta ser lo que se llama un infinitamente peque<o o una cantidad infinitamente peque<a. Sna )aria.le de esta especie tiene cero como lmite.Cauchy se sir)e de esta ltima definicin para esta.lecer rdenes sucesi)os de infinitesimales, con el fin de hacer ms til y ms operati)o ese concepto de infinitesimal. 0s, toda cantidad )aria.le tal que su razan con a +un infinitsimo, posea un limite finito cuando a decrece, puede clasificarse como un infinitsimo de primer orden. Lo mismo ocurre con el segundo orden, en el sentido de que toda )aria.le cuya razn con a; posee un limite finito cuando a decrece es un infinitsimo de segundo orden, y si sucesi)amente, las potencias de a, es decir, a, a; a= an son infinitsimos de primero, segundo, tercero y n orden, respecti)amente.Cauchy utiliz de nue)o su definicin de lmite para definir la continuidad de una funcin5$ea f+*, una funcin de la )aria.le *, y supongamos que esta funcin posee un )alor nico y finito para cada )alor de * en un entorno dado. $i para un )alor de * en este inter)alo, se a<ade un )alor infinitesimal h, la funcin aumenta en la diferencia f+* F h,Xf+*,, que depende, a su )ez, de la nue)a )aria.le Y y del )alor de *. "sta.lecido lo anterior, la funcin f+*, ser continua con respecto a * entre los lmites dados si, entre esos lmites, un crecimiento infinitamente peque<o de la )aria.le produce siempre un crecimiento infinitamente peque<o de la funcin.$e dice, adems, que la funcin f+*, es continua en el entorno de un )alor particular atri.uido a la )aria.le, siempre que sea continua entre dos lmites de *, incluso muy pr*imos, que contengan al )alor de que se trata."sta definicin de la continuidad equi)ale a decir f+*, ser continua en a si f+*, se apro*ima al lmite f+a, cuando * se apro*ima al limite a. $in em.argo, dada su am.igZedad, ciertas e*presiones como [suficientemente peque<a\, [llega a ser y sigue siendo\, serian eliminadas ms adelante para ser sustituidas por e*presiones numricas .astante ms rigurosas, gracias a los tra.a/os de Narl Qeierstrass +272?L27]M,. 'ne*istente en el Curso de anlisis, la definicin de deri)ada de una funcin aparece as en el Compendio de 27;=5

Cuando la funcin y A f+T, es continua entre los dos lmites dados de la )aria.le * y se asigna a esta )aria.le un )alor comprendido entre los dos lmites de que se trata, un crecimiento infinitamente peque<o atri.uido a la )aria.le produce un crecimiento infinitamente peque<o de la funcin. #or consiguiente, si se hace * A i, los dos trminos de la razn de diferencias sern cantidades infinitamente peque<as. #ero, mientras que estos dos trminos se apro*imarn indefinida y simultneamente al limite cero, la razn podr con)erger hacia otro limite, sea positi)o o negati)o. "ste lmite, cuando e*iste, tiene un )alor determinado para cada )alor determinado de *, pero )ara con *."sta definicin es esencialmente la de la deri)ada de una funcin utilizada en la actualidad, si se e*cepta la utilizacin del lmite a la izquierda y del limite a la derecha, que no aparece en Canchy. "l punto fundamental de esta definicin es, e)identemente, la e*presin de la deri)ada como un 'mite particular de una funcin. "l concepto de diferencial es definido por Cauchy y en trminos de la deri)ada5 si d* es una cantidad finita, entonces la diferencial dy de y A f+*, est definida simplemente como fP+*,d*. $e puede decir tam.in que las diferenciales dy y d* son cantidades escogidas de manera que la razn dy:d* coincida con la [ltima razn\, o el "mite yP A f ^+*, de la razn y:*. Cauchy se sir)e a continuacin del concepto de diferencial e*presado en trminos de la deri)ada para definir las diferenciales de orden superior. #or e/emplo, como la diferencial dy A f^+*,d* es, de hecho, un funcin de * y de d*, manteniendo d* fi/o, la funcin f^+*,d* tendr por deri)ada f^^+*,d* y una diferencial de orden dos d;yA f^^+*,d*;. "n general, d^^y A f^^+*,d*^^, donde f^^+*, es llamado por Cauchy el [coeficiente diferencial\. La nocin de diferencial slo tiene una significacin lgica cuando est directamente relacionada con la deri)ada.-urante todo el siglo TJ222, la integracin fue tratada como una operacin in)ersa de la diferenciacin. La definicin de Cauchy de la deri)ada de una funcin est formulada de tal manera que la continuidad de la funcin resulta ser una condicin necesaria para la diferenciacin de la funcin. "s pro.a.le que Cauchy, al desarrollar una e*posicin rigurosa del clculo integral so.re la .ase de una concepcin de la integral como lmite de una cierta suma, tu)iera .uenas razones para adoptar esta concepcin que )a en contra de los tra.a/os de sus predecesores del siglo TJ'''. Considera.a, por otra parte, que esta manera de proceder tena la )enta/a de proporcionar siempre )alores reales para las integrales correspondientes a funciones reales y que era muy apropiada para todos los casos, incluso para aquellos en los que no se puede pasar generalmente de la funcin .a/o el signo V a la funcin primiti)a. "s por esto por lo que, segn parece, Cauchy define la integral definida en trminos del lmite de las sumas integrales de la manera siguiente. #ara una funcin y A f+*, continua entre los limites dados *8 y T, su.di)ide este inter)alo mediante los )alores *8, *2, , . . ., *nL2 ' con *n A T, y forma la suma caracterstica de los productos $n A +*2X*8,f+*8, F +T; XT2,f+*2,F.....F+TL*nL2,f+*2L2, $i los )alores numricos de las diferencias *iF2 L*i' decrecen indefinidamente, el )alor de $n alcanzar un cierto limite $ que depender nicamente de la forma de la funcin f+*, y de los )alores limites *8 y T. "ste lmite es llamado, segn Cauchy, una integral definida. -enota al limite $ con la notacin sugerida por Wourier

en lugar de la sugerida por "uler

para designar la antidiferenciacin.

0 continuacin Cauchy demuestra el teorema fundamental del clculo$in em.argo, su demostracin no era enteramente rigurosa, porque no conoca el concepto de continuidad uniforme. 0l definir la integral sin recurrir a la deri)ada de la funcin, Cauchy se )io o.ligado a demostrar la relacin fundamental entre la deri)ada y la integral sir)indose del teorema de la media5 si f+*, es continua en el inter)alo cerrado Ba,.E y diferencia.le en

el a.ierto +a,.,, entonces e*iste al menos un *8 tal que a _ *8 _ . yf+.,Xf+a, A +. L a,f^+*8,+Cauchy demuestra la relacin y A f +* F *,* donde __ 2 y * es el inter)alo dado., 0 pesar de todo el rigor introducido por Cauchy en el anlisis, quedan toda)a puntos por clarificar5 la relacin entre la funcin continua y la funcin diferencia.le no est comprendida perfectamente +Cauchy cree que toda funcin continua admite necesariamente una deri)ada,, la eliminacin de ciertas frases )agas como [llega a ser y sigue siendo ms peque<a que toda cantidad dada\ para ser reemplazadas por una formulacin ms aritmtica, la ela.oracin de una definicin rigurosa del concepto de [nmero\, en una pala.ra, la aritmetizacin del anlisis est toda)a por hacer, pero se ha dado un paso inmenso gracias a este gran matemtico francs.Cauc)( ( !as series infinitas Los tra.a/os de Cauchy so.re las series infinitas constituyen la primera e*posicin importante so.re el tema y contri.uyen a introducir un cierto rigor en el aspecto de la con)ergencia de las series infinitas. "n su Curso de anlisis, Cauchy dice a propsito de las sucesiones5Sna serie +sucesin, es una sucesin infinita de cantidades, u8, u2, u;, .... que se suceden en )irtud de una ley determinada. "stas cantidades son los diferentes trminos de la sucesin considerada.0 continuacin, pasa al concepto de con)ergencia de una serie como sigue5$ea sn A u8, F u2 F u; F ... F un` la suma de los n primeros trminos, donde n es un entero +nmero natural,. $i la suma sn tiende hacia un cierto lmite s para )alores crecientes de n, entonces la serie se dice con)ergente, y el lmite en cuestin se llama la suma de la serie. #or el contrario, si la suma $n no se apro*ima a un lmite determinado cuando n aumenta indefinidamente, la serie es di)ergente y no tendr suma.Cauchy muestra claramente en este pasa/e que el concepto de lmite est directamente implicado en la definicin de con)ergencia de una serie, y pone de relie)e el hecho de que una serie infinita puede tener una suma en el sentido de un "mite. 0 continuacin, enuncia el criterio de con)ergencia que lle)a su nom.re5 una sucesin $m con)erge hacia un lmite slo si la diferencia de $nFr y de $n, para todo )alor de y de n suficientemente grande, puede hacerse menor en )alor a.soluto que cualquier cantidad dada. Cauchy demostr que esta condicin era necesaria a partir de la definicin de con)ergencia, pero no pudo demostrar la suficiencia porque no dispona de una definicin rigurosa de los nmeros irracionales para apoyar su demostracin.-espus de ha.er demostrado la condicin necesaria de su criterio de con)ergencia, Cauchy enuncia y demuestra criterios especficos para la con)ergencia de series de trminos positi)os. $e encuentran, entre otros, los criterios de la raz nLsima, de la razn, de comparacin, del logaritmo. -emuestra tam.in que la suma un F )n de dos series con)ergentes con)erge hacia la suma de las sumas distintas, y un resultado seme/ante para el producto. Cauchy muestra a continuacin que las series de trminos negati)os con)ergen cuando las series de los )alores a.solutos de los trminos con)ergen, y deduce de ello el criterio de Lei.niz para las series alternantes. $e interes tam.in por las series cuyos trminos son funciones um)ocas y continuas o funciones de la )aria.le comple/a. 0 propsito de las series de Taylor y, en particular, de las series de Uaclaurin, Cauchy formula una o.ser)acin muy importante que estipula que una serie infinita de Taylor con)erge hacia la funcin que ha sido desarrollada si el resto de Taylor tiende a cero. Uediante un e/emplo, la funcin eL** F eL2:**, demuestra que la serie de Taylor correspondiente no con)erge hacia esta funcin. 0 pesar de algunas falsas interpretaciones, como la relati)a a la integracin trmino a trmino de una serie, y el hecho de que no llegara a comprender el concepto de con)ergencia uniforme, Cauchy hizo una contri.ucin importante a la ela.oracin de una teora coherente de las series infinitas con)ergentes. -e.emos a Cauchy un .uen nmero de definiciones precisas y de mtodos rigurosos del nalisis moderno.$as funciones de *aria"!e comp!e&a en Cauc)(Cauchy nos de/ un monumento. $e trata de su teora de funciones de una )aria.le comple/a y de su integracin, una de las grandes contri.uciones matemticas del siglo T'T. Los primeros indicios de sta teora se encuentran en su cle.re M moire sur la th orie des int grales d finies +Uemoria so.re la teora de las integrales definidas,, leda ante la 0cademia de #aris en 272>, pero cuya pu.licacin se retrasar hasta 27;M. Cauchy se interesa en esta memoria por la )alidez de una tcnica utilizada en aquella poca, que consista en calcular integrales definidas mediante )aria.les comple/as. 'ntenta hacer riguroso este paso de la )aria.le real a la )aria.le comple/a, utilizado por "uler desde 2M?] y por Laplace desde 2M7; en la e)aluacin de las integrales definidas.

nterrumpida por )ia/es a Hotinga, su estancia en 'talia no le permiti curarse, y muri el ;8 de /ulio de 27@@ en $elasca, cuando slo tena treinta y nue)e a<os.Kemos )isto que %olzano separ, en 27=>, el concepto de continuidad del de deri)a.ilidad, y que ilustr esta separacin mediante una funcin continua en un inter)alo cerrado que no es deri)a.le en ningn punto de ese inter)alo. -ado que los tra.a/os de %olzano no fueron conocidos hasta finales del siglo *i*, se de.e a (iemann la primera distincin neta entre la continuidad y la diferencia.ilidad, la cual ser formulada en una memoria de 27?> escrita como mrito para el puesto de #ri)atdozent en Hotinga. "n esta memoria, consagrada a la posi.ilidad de representar una funcin mediante una serie trigonomtrica, (iemann presenta una funcin definida como sigue. $ea +*, una funcin que denota la diferencia entre * y el entero ms pr*imo, y sea +*, A 8 si * est a mitad de camino entre dos enteros. "ntonces L2:;_+*,_2:; $ea ahora f+*, definida mediante

La serie con)erge para todo )alor de *. $in em.argo, para * A p:;n donde p es un entero primo con re, f+*, es discontinua, con un salto cuyo )alor es ;:7n; #ara cualquier otro )alor de *, f+*, es continua. 0demsM f+*, es discontinua un nmero infinito de )eces en cualquier su.inter)alo. #or otra parte, f+*, es integra.le yW+*, A Vf+*,d*es continua para todo * pero no es diferencia.le en los puntos en los que f+*, es discontinua. "ste e/emplo de funcin continua pero no diferencia.le no fue pu.licado hasta 27@7, algunos a<os antes de la funcin patolgica que present Qeierstrass."n esta misma memoria, (iemann se dio cuenta de que de.a reconsiderar la nocin de integral definida formulada por Cauchy, con el fin de hacer progresar la utilizacin de las series de Wourier para representar funciones cada )ez ms irregulares e incluso patolgicas. "n lugar de postular la continuidad puntual para el integrando como ha.a hecho Cauchy, (iemann .usca funciones ms generales y determina las restricciones necesarias para las que pueden e*istir las integrales de esas funciones. -e esa manera llega a la generalizacin del concepto de integral que englo.a las funciones f+*, definidas y acotadas en un inter)alo cerrado Ba, .E. $u.di)ide este inter)alo en su.inter)alos*2A*2La21*nA.L *nL2

y a continuacin define la oscilacin de f+*, so.re *i como la diferencia entre el )alor mayor y menor de f+*, en *i . Kagamosdonde 8ViV para todo i. $i $n se apro*ima a un lmite fi/o, 0, cuando todos los *i tienden a ceros independientemente de la eleccin de los *i y de los el, entonces 0 es el )alor de la integral definida Vf+*,d* entre a y .. La definicin ha.itual de la integral definida en un inter)alos en trminos de sumas superiores y sumas inferiores se conoce generalmente .a/o el nom.re de (iemannM pues fue l el primero en dar esta definicin en su memoria de 27?> a propsito de la condicin necesaria y suficiente para que una funcin

acotada f+*, sea integra.le en Ba, .E. (iemann la formula como sigue5 donde Ui y mi son los )alores ma*imales y minimales, respecti)amente, de f+T, en i. Kace entonces -i A UiL mi y enuncia que la integral de f+T, en Ba, .E e*iste slo sipara todos los i que cu.ren enteramente el inter)alo Ba, .E. (iemann estudi durante algn tiempo .a/o la direccin de -irichlet en %erln, y este ltimo se interes mucho por los tra.a/os de (iemann. "n particular, (iemann estudi con gran inters las series de Wourier, quiz a partir de los tra.a/os de su maestro, -irichlet, so.re esas series. "ste ltimo, recordmoslo, fue el primero en enunciar un con/unto de condiciones suficientes para que la serie de Wourier que representa una funcinf+*,con)er/a y lo haga a f+*,. La demostracin de -irichlet es un refinamiento de la que es.oz Wourier en la ltima seccin de su Teora analtica del calor. Las condiciones de con)ergencia de -irichlet son las siguientes52. que f+*, sea uniforme y acotada1;. que f+*, sea continua a trozos y no acepte ms que un nmero finito de discontinuidades en el periodo ;1=. que f+*, sea montona a trozos y no acepte ms que un nmero finito de m*imos y mnimos en un perodo.$a.emos que una serie de Wourier no con)erge siempre hacia la funcin f+*, de la que se o.tiene la serie, pero -irichlet demostr que, para todo )alor de *, la suma de la serie es f+*, con tal que la funcin sea continua para todo )alor de *, y que en los puntos de discontinuidad la serie con)erge hacia la media aritmtica del lmite a la izquierda y el lmite a la derecha de la funcin, es decir, hacia2:; Bf+* L 8, F f+* F 8,E.(iemann emprende sus tra.a/os so.re el tema en 27?> en su Habilitations!schrift +Uemoria de ha.ilitacin, en Hotinga, y los prosigue en una o.ra que trata $o.re la posi.ilidad de representar una funcin mediante una serie trigonomtrica, sin hacer ninguna suposicin so.re la naturaleza de la funcin. (iemann procede a la demostracin del teorema fundamental di)idiendo la serie trigonomtrica en dos partes5#artiendo de

hace

a continuacin forma la serie y llama a a la suma y f+*, a su )alor, donde f+*, estar determinada $olamente para los )alores de * para los cuales la serie con)erge. "s necesario que 0n b8 cuando n bV para asegurar la con)ergencia. $i los coeficientes an y .n tienden a cero, los trminos de tienden a cero para todo *. (iemann demuestra, pues, que si f+*, es acotada e integra.le en BL, E entonces los coeficientes as y .n tienden a cero cuando n tiende a infinito1 es el teorema fundamental. $u.rayemos aqu un pro.lema an no resuelto5 determinar las condiciones necesarias y suficientes de f+T, para que su serie de Wourier con)er/a hacia f+*, $e encuentran tam.in en su ltima o.ra otros teoremas importantes so.re las series de Wourier5 f+*, puede ser integra.le sin ser necesariamente representa.le mediante una serie de Wourier1 hay funciones no integra.les para las cuales las series trigonomtricas a con)ergen para un nmero infinito de )alores de *, tomados entre dos lmites pr*imos cualesquiera1 una serie trigonomtrica puede con)erger para un nmero infinito de )alores de * en un inter)alo ar.itrariamente peque<o incluso si as y .n no tienden a cero para todo *.(iemann se signific en muchas otras ramas de las matemticas, en particular en la teora de nmeros, demostrando la importancia de la funcin dada en la teora aritmtica de los nmeros primos1 en ecuaciones diferenciales, proponiendo un nue)o mtodo para resol)er el pro.lema de )alores iniciales de la ecuacin de ondas1 en geometra diferencial, con la introduccin de la nocin de superficie de (iemann +formada de planos superpuestos, en nmero igual al grado de una ecuacin alge.raica, y ligados por lneas de paso, que transforma una funcin no uniforme en una funcin uniforme so.re la superficie en oposicin al plano c. $us tra.a/os so.re las relaciones entre la teora de funciones y la teora de superficies han conducido al estudio de

pro.lemas de naturaleza topolgica. $u.rayemos tam.in sus importantes tra.a/os en geometra, que sern analizados en un captulo posterior al presentar los tra.a/os fundamentales de geometra del siglo T'T. Los tra.a/os de (iemann cam.iaron completamente la teora de funciones de )aria.les comple/as, y aportaron puntos de )ista nue)os so.re la teora de las integrales elpticas, adems de sus memorias so.re el calor, la luz, la teora de los gases, el magnetismo, la dinmica de fluidos y la acstica. (iemann considera.a que sus in)estigaciones so.re las leyes de la fsica eran las que ms le interesa.an. Como matemtico, se sir)i li.remente de la intuicin geomtrica y de argumentos fsicos.+%I%R,TRA,,Narl Qilhelm Theodor Qeierstrass +272?L27]M, naci el =2 de octu.re de 272? en stenfelde, Qestfalia, en una familia catlica pero li.eral. Narl era el mayor de una familia que conta.a adems con otro hi/o y dos hi/as, pero ninguno de ellos se casara, pro.a.lemente a causa de la actitud dominadora de su padre. -espus de .rillantes estudios secundarios, entr en la Sni)ersidad de %onn como estudiante de -erecho, pero sus mltiples acti)idades le impidieron completar sus estudios uni)ersitarios. $e dedic a las matemticas slo a partir de 27=7, pero no lleg a terminar sus estudios de doctorado. Narl se orient ms .ien hacia la ense<anza, y de 27>2 a 27?> fue profesor en un colegio pri)ado. -espus de ha.er de.utado como maestro en Uunster, y luego en -eutsch-rone y %ranns.erg, fue nom.rado profesor en 27?@ en el 'nstituto #rofesional de %erln, so.re todo gracias a algunos resultados que fueron pu.licados en un perodo durante el cual no mantu)o prcticamente ningn contacto con los matemticos de su tiempo, e*cepto con Christophe Huderman +2M]7L27?2, que esta.a interesado particularmente en la representacin de funciones mediante series de potencias. "ncargado de curso en 27?@ en la Sni)ersidad de %erln, Narl se con)irti en profesor titular de esta uni)ersidad a partir de 27@=. #ermaneci en su puesto hasta su muerte, a los ochenta y dos a<os, el 2] de fe.rero de 27]M. Uetdico y cuidadoso, Qeierstrass intent fundamentar las matemticas, y en particular el anlisis, con el m*imo de rigor posi.le ms que recurrir a la intuicin. 0l ha.er pu.licado muy poco, se dio a conocer por sus ense<anzas en la uni)ersidad. $u influencia se hizo sentir a tra)s de las pu.licaciones matemticas de sus numerosos discpulos, y en el Congreso 'nternacional de #ars, en 2]88, Kermite dir de l5 [Qeierstrass es el maestro de todos nosotros\.Los tra.a/os de Qeierstrass so.re la aritmetizacin del anlisis completaron los de %olzano, 0.el y Cauchy, y seran conocidos slo a partir de 27?] por sus ense<anzas en la Sni)ersidad de %erln. La e*presin [una )aria.le se apro*ima a un lmite\ que se encuentra en las definiciones de Cauchy y %olzano sugiere implcitamente el tiempo y el mo)imiento. Qeierstrass, por su parte, resalta el concepto aritmtico e interpreta sencillamente una )aria.le como [una letra que representa cualquier )alor de un con/unto dado\, eliminando as la idea de mo)imiento. Sna )aria.le continua es una )aria.le tal que si *8 es cualquier )alor del con/unto de los )alores atri.uidos a la )aria.le y es un nmero positi)o cualquiera, hay otros )alores de la )aria.le en el inter)alo +*8L , *8 F ,.

#odemos mencionar tam.in los estudios de Hauss so.re la funcin gamma en sus tra.a/os consagrados a la funcin hipergeomtrica1 en particular, desarroll los resultados de Legendre so.re las funciones eulerianas y encontr la frmula de multiplicacin para +n*,. $e distingui igualmente por sus tra.a/os so.re las integrales elpticas, por el descu.rimiento de la do.le periodicidad de estas funciones en 2788, mediante la integral que da el arco de la lemniscata, por su estudio de la ecuacin potencial, de las series hipergeomtricas y de la teora de las singularidades, sin ol)idar sus tra.a/os en mecnica y astronoma. CAUC-. 0ugustinLLouis Cauchy +2M7]L27?M, naci el ;2 de agosto de 2M7] en #aris, casi seis semanas despus de la calda de la %astilla. "ra el mayor de una familia po.re de seis hi/os y creci durante la (e)olucin. 0 pesar de la .uena )oluntad de su padre, LouisWrandois, 0ugustinLLouis so.re)i)i al Terror pero hered una salud insegura y delicada. $u educacin primaria qued asegurada enteramente por su padre, porque las escuelas en aquella poca eran prcticamente inoperantes. "l 2 de enero del a<o 2788, su padre fue elegido secretario del $enado y el /o)en 0ugustinLLouis continu sus estudios en el despacho de su padre. Wue as como conoci a los grandes matemticos franceses de la poca, Laplace y Lagrange, y este ltimo manifest ya entonces, con respecto a l, una cierta admiracin5 [!os )a a reemplazar a todos como matemtico\. $in em.argo, su padre no descuid su educacin literaria, preocupndose de que su hi/o no se limitara e*clusi)amente a las matemticas. Kacia los trece a<os, Cauchy entr en la "scuela Central del #anten, y all o.tu)o primeros premios en griego y en composicin latina. "n 278>, hace su primera comunin, de/a su escuela y emprende durante diez meses estudios intensi)os de matemticas, .a/o la direccin de un tutor. "n 278?, Cauchy es el segundo en el concurso de entrada en la #olitcnica, pero, a causa de su salud, Lagrange y Laplace le aconse/an consagrarse a las matemticas. -iplomado por el Cuerpo de 'ngenieros de Caminos, Cauchy particip a partir de 2728 en las o.ras del puerto de Cher.urgo, pero a.andon pronto su tra.a/o como ingeniero para consagrarse a la ciencia pura. "n efecto, )uel)e a #aris en 272= y, a los )einticuatro a<os, Cauchy atrae ya la atencin de los matemticos e*perimentados de Wrancia por sus tra.a/os de in)estigacin so.re los poliedros y las funciones simtricas.

"n el mes de fe.rero de 2722, presenta su primera memoria consagrada a la teora de los poliedros, en la que Cauchy muestra que no e*isten ms poliedros regulares que los que tienen >, @, 7, 2; ;8 caras, adems de desarrollar la cle.re frmula de "uler que une las aristas, caras y )rtices de un poliedro. "stimulado por Legendre, pu.lica una segunda memoria so.re el tema en enero de 272;. -espus, en 272>, presenta una Umoire sur la theorie des intgrales dfinies +Uemoria so.re las integrales definidas,, seguida en 272? de una memoria fundamental so.re los grupos de sustitucin, as como una demostracin de un importante

teorema de Wermat5 todo entero positi)o puede e*presarse como una suma de tres nmeros triangulares, cuatro nmeros cuadrados, cinco nmeros pentagonales, etc. "l a<o siguiente. Cauchy es merecedor del Hran #remio que ofrece la 0cademia por su memoria so.re "ne th orie des ondas sur la surface d#un fluida dense de profondeur infinie +Sn estudio de la teora de las ondas so.re la superficie de un fluido denso de profundidad infinita,. 0 sus )eintisiete a<os de edad, Canchy es propuesto para ocupar el pr*imo puesto )acante en la 0cademia, ense<ando al mismo tiempo lge.ra en la Wacultad de Ciencias, fsica matemtica en el College de Wrance y mecnica en la "scuela #olitcnica.!om.rado acadmico por decreto en 272@, en el lugar de Uonge que ha.la sido e*cluido por !apolen a su regreso de la isla de "l.a, Cauchy desarroll una acti)idad matemtica incre.le, tanto por su produccin incesante como por la calidad incompara.le de sus memorias so.re prcticamente todas las ramas de las matemticas. $u reputacin se e*tendi por toda "uropa, y numerosos oyentes acudan de %erlin, Uadrid, $an #eters.urgo, etc., para asistir a sus mara)illosas conferencias, en las que Cauchy presenta.a los resultados originales de sus in)estigaciones, particularmente en anlisis y en fsica matemtica. $e cas, en 2727, con 0loise de %ure, hi/a de Sna familia culti)ada. -e su unin, que dur cerca de cuarenta a<os, nacieron dos hi/as que fueron educadas segn los principios estrictos de la religin catlica.$iguiendo la tradicin esta.lecida en la "scuela #olitcnica, Cauchy fue estimulado a escri.ir los apuntes de sus cursos, y as aparecieron sucesi)amente los Cours d#analyse de $#%cole Polytech&i'ue +27;2, +Curso de anlisis de la "scuela #olitcnica,, el ( sum des le)ons sur le calcul infinitesimal +27;=, +Compendio de las lecciones so.re clculo infinitesimal,, y las $e)ons sur le calcul d*ff rentiel +27;], +Lecciones so.re el clculo diferencial,. "n estos tres li.ros, Cauchy presenta el clculo diferencial e interal con un gran rigor, y el concepto de limite constituye la piedra angular de su anlisis. 0 partir de 27;@, pu.lic una especie de diario personal titulado %xercices demath mati'ues+"/ercicios de matemticas, que ser proseguido, despus de 27=8, .a/o el titulo de %xercices d#analyse math mat*'ue et de physi'ue +"/ercicios de anlisis matemtico y fsica, en el que pu.licar mensualmente sus tra.a/os de matemticas puras y aplicadas. #ero en 27=8 las intrigas politices modificaron durante algunos a<os su carrera de hom.re de ciencia. "n efecto, ardiente realista y partidario de los %or.ones, perdi su empleo por ha.erse negado a prestar /uramento a la monarqua de /ulio, y decidi e*patriarse )oluntariamente.$e fue a $uiza por algn tiempo, y despus acept una ctedra en Turn, de/ando su familia en #aris y conser)ando siempre su silln en la 0cademia. Llamado a #raga en 27== por Carlos T, quien le confi la educacin cientfica del conde de Cham.ord, acept esta in)itacin declarando que no podia [ser)ir me/or los intereses de su patria que re)elando al heredero de Luis T'J todo el secreto de esa alta filosofa que hizo .rillar el gran siglo con un resplandor tan grande. $u familia se reuni con l un a<o ms tarde. $u tra.a/o de tutor fue pesado y agotador, y Cauchy consegua difcilmente li.rarse de l de )ez en cuando para proseguir sus in)estigaciones. #udo al menos escri.ir una larga memoria so.re la dispersin de la luz durante este periodo de tutela. #ero en 27=7, presionado por sus amigos de #aris que le incita.an a )ol)er, Cauchy se e*cus ante sus anfitriones prete*tando que de.a )ol)er a #aris para cele.rar las .odas de oro de sus padres. -e regreso en Wrancia con el titulo de .arn, Cauchy ense< en )arios esta.lecimientos religiosos y fue elegido miem.ro de la ficina de Longitudes en 27=], pero el go.ierno de Luis Welipe no ratific esa propuesta. La (ep.lica restaurada despus de la re)olucin de 27>7 le nom.r profesor de astronoma matemtica en la Wacultad de Ciencias, y en la $or.ona, aunque era un legitimista declarado. -espus del golpe de "stado de 27?;, !apolen l'' le -ispens del /uramento, y a este gesto condescendiente del emperador respondi, por principios, distri.uyendo todo su sueldo entre los po.res de $ceau*, donde resida.-urante los diecinue)e ltimos a<os de su )ida, escri.i ms de?88 memorias so.re todas las ramas de las matemticas, incluyendo la mecnica, la fsica y las matemticas. Kom.re uni)ersal, interesado por todo, y en particular por la poesa, autor de un tra.a/o so.re la prosodia he.raica, profes siempre con fer)or la fe catlica. #as con quietud y paz los ltimos a<os de su )ida y su muerte, acaecida en $ceau* el ;= de mayo de 27?M, de/ el recuerdo de una personalidad algo am.igua. Kom.re socia.le, moderado y sincero, fue un profesor admira.le y un h.il con)ersador. "n cam.io, fantico de la religin, intent toda su )ida demostrar su superioridad, y su insacia.le deseo de producir siempre ms le impidi pro.a.lemente ayudar a aquellos que, como 0.el y %olzano, ha.ran podido .eneficiarse de su inmensa influencia para dar a conocer sus tra.a/os. La o.ra cientfica que realiz le coloca entre los ms grandes matemticos de todos los tiempos.0utor de ms de setecientas memorias +slo "uler le so.repasa en nmero,, su o.ra inmensa, en la edicin moderna, llena )eintisiete )olmenes en cuarto. Cauchy fue el fundador de la teora de las funciones analticas. Kizo e*perimentar inmensos progresos a la teora de los determinantes, adems de introducir el rigor en el anlisis. $us contri.uciones originales se refieren en especial a las ecuaciones diferenciales ordinarias y en deri)adas parciales, a la teora de los grupos de sustitucin, a la clarificacin y a la formulacin de los conceptos de la teora de cur)as, a los nmeros comple/os y a las congruencias polinmicas. "n mecnica, escri.i importantes memorias so.re el equili.rio de )arillas y placas elsticas, so.re la teora de ondas que Wresnel aca.a.a de esta.lecer, as como so.re el tema de la dispersin y la polarizacin de la luz.Cauc)( ( e! rigor en e! an !isisCauchy desarroll el clculo diferencial e integral so.re la .ase del concepto de limite en sus Lecciones so.re el clculo infinitesimal, pu.licadas por primera )ez en 27;=. "n el prefacio de su tratado

clsico, afirma que su principal o./eti)o es conciliar el rigor con la simplicidad que resulta de la consideracin de las cantidades infinitamente peque<as. Cauchy prosigue rechazando el desarrollo de las series di)ergentes y de/ando la frmula de Taylor para el clculo integral, pues el resto de Taylor est formulado .a/o la forma de una integral. 0dems, esta.a al corriente de que Lagrange ha.la utilizado la frmula de Taylor como .ase de la teora de la deri)ada. #ero, a<ade, la mayora de los gemetras dudan en al actualidad de la utilidad de las series di)ergentes. 0dems, en ciertos casos, cuando la serie de Taylor con)erge, la suma de esta serie difiere, segn Cauchy, de la funcin dada."l concepto de limite se desarroll gradualmente a partir del mtodo de recu.rimiento de los griegos hasta el momento en que !eOton lo e*pres a su manera en sus #rincipia. ea algunos autores como -P0lem.ert y Lacroi* ha.lan hecho de ese concepto la .ase fundamental del clculo. $in em.argo, durante todo este largo periodo, el clculo era conce.ido como un instrumento que se ocupa.a de las relaciones entre cantidades implicadas en pro.lemas geomtricos. Snicamente "uler y Lagrange se esforzaron, sin demasiado *ito, por esta.lecer el clculo so.re el formalismo de su concepto de funcin analtica. Con toda certeza, antes de Cauchy, todos los autores sal)o %olzano ha.lan popularizado la idea de limite en sus tra.a/os, pero la mayor parte de su concepcin segua siendo geomtrica.