~

lecciones populares
de matemticas

~
~

CURVAS
~
MARAVILLOSAS
~
!-----

! HUMEROS COMPL.EJOS
~
~

YREPRESENTACIONES
CONFORMES
~
FUNCIONES

~
M.ARAVILLOSAS

! - - - - -

-----

A. l. Markushvich

honY..l.slPHblE JJEKUHH no M ATEMATWKE

A. W. MAPKYllIEBl1"4

3AME4ATEJibHhIE KPHBblE

KOMflJIEKCHhlE YHCJIA
VI KOH(f)OPMHbIE OTOI>PA)f(EHHJI
3AME4ATEJlbHhlf: CHHYChl

113.ilATE.1bCTBO liAYKA "

MOCKBA

------------------- -

LECCIONES POPULA RES DE MATf.Mi\Tl('AS

- i

l1

_,
1

A. l. MARKUSHEVICH

CURVAS MARAVILLOSAS
NUMEROS COMPLEJOS
Y REPRESENTACIONES CONFORMES

FUNCIONES MARAVILLOSAS

Segunda edicin

EDITOR IA L M IR

MOSCU

Primera edicin 1977

Segunda edicin 1984

/la

UCllUH('KOM !IJbllit'

!{) Traduccin a l espaol, Editorial M ir, 1977

IMPRESO EN LA lJRSS.

INDICE
Curvas maravillosas 7

Nmeros GOmplejos y representaciones conformes 35

Ejercicios y problemas 92

Funciones maravillosas 95
Prefacio 96
Captulo I. Definicin geomtrica de las funciones circulares,
hiperblcas y Jemniscticas 99
Captulo 11. Seno generalizado 110
Captulo JH. Integracin en el plano complejo 122
Captulo IV. Mtodo de Euler de demostracin del teorema
de adicin 137
Captulo V. Estudio ulterior de los valores complejos 144
Captulo VI. Ceros y polos. Peri odicidad simple y doble
Nocin de funcin elpt ica 167

CUR VAS MARAVILLOSAS

Introducciri a la teor a de las
fu nciones elpticas

Traducido del ruso por

Carlos Vega. Candidato a Doctor

en ciencias fisico-matemticas.

Catedrtico de Matemticas Super iores

PREFACIO
Este lihro est destinado principalmente para. los escolares
y para todos los que estn interesados en ampliar sus conocimientos
matem1icos adquiridos en la escuela. Se basa en unu conferencia
que dict el autor a un grupo de alumnos moscovitas de sptimo
y octavo grados.
Al preparar la .publicacin de la conferencia. l!I autor la ha
ampliado un poco tratando de conservar el estilo ac<..""Csble de
la exposicin. El complemento ms esencial es el punto 13 en el
que se trata de la elipse, la hiprbola y la parbola en tanto que
secciones de una superficie cnica.
Con el fin de no aumentar el volumen del libro, la$ propiedades
de las curvas se dan, en su mayora, sin demostracin aun cuando
en muchos casos Ja demostracin , podra ser realizada en forma
accesible para el lector.

El uuror.

1. Las palabi:as curva>> o curvo se emplean a veces como

adjetivos para describir lo que se aparta de la direccin recta.
Los matemticos suelen emplear la palabra curva en calidad
de substantivo como un sinnimo de lnea curva. Qu es una
linea curva'.? Cmo abarcar en una definicin las curvas que se
trazan con lpiz o pluma en el papel o con tiza en la pizarra
y las curvas que describen una estrella ugaz o un cohete en
cielo nocturno?
Aceptaremos la definicin siguiente: la
(o sea, Ja lnea
curva) es la traza de un punto mvil. En nuestros ejemplos, este
punto es la punta del lpiz, el extremo de la tiza, un meteoro
candente que atraviesa las capas superiores de Ja atmsl!ra o un
cohete. Desde este punto de vista, ta recta es un caso ,.iarticular
de la curva. Efectivamente, acaso no puede ser rectilne la traza
de un punto mvil?
2. Un punto mvil efectivamente describe una recta si pasa
de una p0sicin a cualquier otra por el camino ms corto. Para
lrazar la recta se utiliza la regla; si deslizamos un lpiz sobre
su borde, la punta del lpiz dejar en el papel una traza
rectil nca.
Si el punto se desplaza sobre un plano de forma que permanece
constante su distancia a un punto fijo del mismo plano, describir
la circunferencia; basndose en esta propiedad de Ja circunferencia,
se emplea para trazarla el ~omps.
La recta y la circunferencia son las curvas ms sencillas y,
a la vez, son las dos curvas ms notables en cuanto a sus
propiedades. La recta y la circunferencia son las curvas ms
familiares al lector. Pero que no piense que conoce a fondo todas
las propiedades principales de las rectas y circunferenci~s. Sabe.
por ejemplo, que si los vrtices de dos tringulos ABC y A'B'C'
se hallan sobre tres rectas q ue se cortan en un punto S (ig. 1),

q"

10
los tres puntos M, K y Lde interseccin de los lados correspondientes
AB y A'B', BC y B'C', AC y A'C' de los tringulos deben estar
sobre una misma recta?
El lector conoce, por supuesto, que el punto M describe una
recta si se desplaza sobre el plano de forma que permanecen
iguales sus distancias a dos puntos fijos F 1 y F l del mismo plano,
o sea, si MF 1 = MFz (fig. 2). Pero, le ser dicil, probablemente,
explicar qu curva describir el punto M si su distanCia al punto

M'
1
I

'\
I

M \.

I
/

I /
111

'\\.

F,

nG.1

FIC. l

F 1 ser un nmero determinado de veces mayor (por ejemplo, dos

veces como en la fig. 3) que su distancia al punto F2 Resulta
que esta curva es la circunferencia. .Por consiguiente, si el punto
M se desplaza sobre el plano de modo que su distancia hasta
uno de los dos puntos fijos F 1 y F 2 de 's te es proporeional
a su distancia hasta el otro punto:

MF 1 :;:'kMF2,
el punto M describe una recta (si el coeficiente de proporcionalidad
k es igual a la unidad) o una circunfer.encia (si e51e coeficiente
es distinto de la unidad).

11
3. Consideremos Ja curva que describe el punto M si permanece
constante la suma de sus distancias a dos puntos fijos F 1 y F 2
Tomemos un hilo, atemos sus extremos a dos alfileres clavndolos
en una hoja de papel de modo que el hilo quede libre. Si ahora
estiramos el hilo mediante un lpiz colocado verticalmente y,
manteniendo el hilo tira nte, comenzamos a desplazar el lpiz

I
/

--..-----

()"'=-::: - - - -

r,

I
/

'

- -:_ -,,,_ - --o- - - - .. F2

FIC, :J

ne.

a pr-etando levemente sobre el papel, su punta M (fig. 4) describir

una curva ovalada (semejante a un circulo achatado) que se
denomina elipse.
Para obtener Ja elipse completa una vez trazada la mitad
de la misma, habr que pasar el hilo al otro lado respecto a los
alfileres. Es evidente que la suma de las distancias de la punta M

12
del lpiz a las puntadas F 1 y F 2 permanece constante durante
todo el tiempo : esta. suma es igual a la longit~d del hilo.
Las puntadas marcan en el papel dos puntos que se denominan
focos de la eHpse. Esto se justifica por la sigiente propiedad
notable de la elipse.
Si encor:vamos una franja estrecha metlica bien pulida dndole
la forma de. la elipse y colocamos. en uno de los focos una fuente

FIG. !

' '
"

/
/
/

s,
FfG. 6

de luz, sus rayos, despus de relejarse en Ja franja, se reumran

en el otro foco ; por consiguiente, en este ltimo tambin se ver
una fuente de luz, imagen de la primera (fig. 5).
4. Si unimos los focos de l elipse mediante un segmento
rectilneo y despus lo prolongamos hasta cortar la elipse,
obtendremos el eje mayor A 1 A 2 (fig. 6) de la misma. I,.a elipse
es una figura simtrica respecto a su eje mayor. Si dividimos
por la mitad el segmento F 1 F 2 y en su punto medio levantamos

13
una perpendicular, prolongndola hasta cortar la elipse, obtendremos
la elipse. Tambin es un eje de simetra
el eJe menor B 1B 2
de la elipse. Los extremos de los ejes, o sea, los puntos Ai. A2 ,
B 1 y B2 , se denominan vrtices de la elipse.

de

N'

A,

FIG. 7

La suma de las distancias del punto A 1 ,a los focos F 1 y F 2

debe ser igual a la longitud del hilo:
A1F1 + A1F2 =l.
Pero

A 1F 1 = A 2 F 2

debido a la simetra de la elipse; por eso, podemos tomar A 2 F2

en lugar de A 1 F 1 y as encontramos que
AiF2 + A 1 F 2 =l.
Es obvio que en el primer miembro de esta igualdad figura la
longitud del eje mayor de la elipse. Es decir, Ja longitud del eje
mayor de la elipse es igual a. la longitud del hilo o, en otras
palabras, la suma de las distancias de cualquier punto de la elipse
a los focos es igual al eje mayor ee esta elipse. Debido a Ja simetra
de la elipse, de aqu resulta que la distancia entre el vrtice Bl
(o 8 1 ) y cualquiera de los focos es igual a la mitad de la longitud

14
del eje mayor. Por eso, dados los vrtices de la elipse, es fciJ
encontrar sus focos: hay que determinar los puntos de interseccin
del eje mayor y dl arco de la circunferencia cuyo centro es el
punto 8 2 y cuyo radio es igual a la milad de A1 A2

FIG. t

FIC. 1

5. Consideremos Ja circunferencia que tiene como dimetro

el eje mayor de Ja elipse (fig. 7). Desde un punto cualquiera N
de la circunferencia bjemos SQbre el eje mayor la perpendicular
NP qt.te cortn la elipse en un punto M. Es obvio que NP ser
un numero determinado de veces mayor que MP. Si tomamos
otro punto cualquiera N' de la circunferencia y realizamos esta
misma construccion, resultar qu N~P' ser mayor que M 'P' el
mismo nmero de veces:
NP
N'P'
MP = M'P'

En otras palabras, la elipse se puede obtener a partir de su.

circunferencia circunsctit : hay que acercar todos l.os puntos de la
circunferencia al eje mayor de la eli'pse 'reduciendo un mismo
nmero de veces sus distancias a este eje. Dicha propiedad ofrece
un mtodo sencillo pra la construccin de la elipse: trazamos
una circunferencia, tomamos un dimetro cualquiera de la misma
y, a partir de los puntos de la circunferencia, construimos 'ros
que se hallan en las perpendiculares al Ciinetro y que se encuentran
ms cerca de l en un nmero. determinado ( 1

~ , 2, 3, etc. de ve;es)

As obtendremos puntos de la elipse cuyo eje mayor coincide con

15
el dimetro de la circunferencia y cuyo eje menor es un nmero
correspondiente ( 1

+,

2,

3, etc.) de

veces menor que el dimetro.

6. En la vida frecuentemen~ e tropezamos con elipses. Por

ejemplo, si inclinamos un vaso de agua, la capa superior tendr

,., ,.- --- ----,....._

'
1~ .... ..... _
1

__ __ _ _ .,,,

"' l1
1

Cono
flG. 10

la configuraci(m de la elipse (fig. 8).; de la misma fonpa , s i cortamos

un pedazo cilndrico de salchich n inclina ndo el cuchillo, obtendremos
rodajas en .forma de elipse (fig. 9). En general, si un cilindro
(o un cono) recto se corta mediante u n plano inclinado (de modo
que el plano no corte las bases), obtendremos como seccin una
elipse (fig. to).
Fue Kepler (1571- 1630) quien encontr que los planetas se
mueven .alrededor del Sol segn unas elipses, y no crculos como
se pensaba a nteriormente, con la particularidad de que el Sol se
halla e n uno de los focos de cada elipse (fig. 11). Durante una
revolucin, todo planeta pasa una vez por eJ vrtice A 1 de la elipse
- ms prximo al Sol- que se denomina perihelio y una vez por
el vrtice A 2 -ms alejado del Sol - que se denomina afelio.
Por ejemplo; la Tierra se encuentra e n el perihe lio cua ndo en el
hemisferio boreal es invierno y en el afelio, cuando es verano.

16
La Tierra en su mov1m1ento describe una elipse poco aplastada
que, por su forma, se asemeja a l circunferencia.
7. En una hoja de papel tracemos una recta cualquiera D1 D2 ,
tomemos un punto F fuera de la misma y hagamos que la punta
M del lpiz se desplazca de modo que en todo momento sean

A,

- -

-0-----

<>- - - - - -

FI

-r ---

A2

F'IC . 11

iguales sus distancias a 1a recta y al punto F (fig. J 2). Con este

fin bastar sujetar, mediante una chinche, al vrtice S de la escuadra

un hilo de longitud igual al cateto SN y atar el extremo libre
del hilo a un alfiler clavado en el punto F. Si hacemos ahora
deslizar el otro cateto de la escuadra sobre una regla aplicada
a D 1D 2 , la punta M del lpiz, que estira el hilo y lo aprieta
contra el cateto libre de la escuadra, estar a una misma distancia
de la regla y del alfiler:
NM = MF.
La punta describir en el papel una parte de la linea llamada
parbola. Para obtener una porcin mayor de esta curva, habr
que tomar una escuadra de cateto mayor y, en caso de necesidad,
una regla ms larga. La parbola consta de una rama que se
extiende indefinidamente.
El punto F se denomina foco de la parbola; la perpendicular
bajada desde el foco sobre la recta D 1 D2 (llamada directriz)
y prolongada constituye el eje de simetra de la parbola y se
denomina simplemente eje de la misma.

17
8. Si encorvamos una franja estrecha metlica bien pulida,
dndole la forma de un arco de parbola, los rayos de una fuente
de \uz colocada en el foco, despus de reflejarse en la franja.
irn paralelamente al eje (fig. 13). Recprocamente, si un haz
de rayos paralelos al eje de la parbola incide sobre nuestra franja,
los rayos se reunirn. despus de reflejarse, en su foco.

D,
ne. 12

l'JG. 13

En esta propiedad de la parbola se basa el empleo de los

espejos parablicos en los faros de automviles (fig. 14) y, en
general, en los reflectores. En lugar de franjas en el proceso
de rectificacin de estos espejos se emplean los as llamacjos
paraboloides de revolucin. Estas superficies se pueden obtener
haciendo girar la parbola alrededor de su eje.
9. Una piedra, lanzada no verticalmente, describe una parbola
(fig. 15); lo mismo se puede decir de un proyectil. Es verdad, que
tanto en un caso como en el otro la resistencia del aire influye
en la forma de la parbola y, de hecho. se obtiene otra curva.
Pero, en el vaco, resultara una parbola exacta.
2-10

18
Si mantenemos constante la velocidad v con la que el proyectil
sale del tubo del can y variamos el ngulo de inclinacin deJ
tubo con respecto al horizonte; el proyectil describir distintas
parbolas y tendr diferentes distancias de vuelo. La distancia
mxima corresponde al ngulo de inclinacin de 45 y es igual

vi.

, donde g es la aceleracin de la gravedad. Si disparamos

g
verticalmente, el proyectil a lcanzar una altura dos veces menor :

a vl

2g

. Cualquiera que sea

la

posicin

que

demos

al

tubo

(mantenindolo en un mismo plano vertical), para cada velocidad

l'IG. 14

FIG. 15

de salida del proyectil siempre quedarn Jugares en Ja tierra

y en el aire a donde no podr llegar el proyectil. Resulta que
estos lugares y los lugares a donde puede llegar el proyectil si
se apunta adecuadamente, quedan separados tambin por una
parbola que se denomina parbola de seguridad (fig. 16).
10. Por analoga con la elipse, podemos considerar las curvas
que describe el punto M, si permanece constante 1a diferencia,
y no La suma, de sus distancias a dos puntos determinados F 1
y F 2 o bien el producto o, finalmente, el cociente de estas
distancias (en el ltimo caso se obtiene Ja circunferencia).
Consideremos el caso de la dierencia. Para garantizar el
movimiento necesario del lpiz, clavemos dos alfileres en los puntos

19
F1 y F 2 y fijemos una regla en uno de ellos de modo que sta
pueda girar sobre el papel alrededo r del alfiler (fig. 17). Tomemos
un hilo (ms corto que la regla} y fijemos uno de sus cabos a l
extremo S de la regla y el otro, al alfi.ler F 2 Estiremos ahora
el hilo apretndolo contra la regla mediante Ja punta M del lpiz.
Entonces la diferencia entre las distancias MF 1 y M F2 ser igual a:
(MF 1

+ MS) -(MF-z + MS) = F 1S -

(MF 2

+ MS),

o sea, ser igual a la dierencia entre las longitudes de la regla

y del hilo. Si giramos Ja regla alrededor de F 1 apretando contra
ella el lpiz y manteniendo tirante el hito, el lpiz describir

o
FIG. \6

sobre el papel una curva tal que la diferencia de distancias

de cualquiera de sus puntos a F 1 y F 2 ser siempre la misma
e igual a la diferencia m entre las longitudes de la regla y del
hilo. De esta forma obtendremos solamente la parte superior de la
curva que aparece en la fig: 17 a la derecha. Para obtener la mitad
inferior habr que colocar Ja regla de modo que aparezca por
debajo, y no por encima, de los alfileres. Por ltimo. si fijamos
la regla al alfiler F 2 y el extremo del hito, al al(iler F i. obtendremos
la parte de la curva que aparece en esta misma figura a la
izquierda. Ambas curvas construidas se consideran como una sola
que se denomina hiprbola. Claro est que la hiprbola no se
limita a los arcos construidos. Si tomamos una regla de longitud
mayor y, a la vez, alargamos el hilo (pero conservando la
diferencia entre sus longitudes), podremos prolongar indefinidamente
nuestra hiprbola de la misma forma que, por ejemplo, el segmento
de una recta.
11. Tracemos la recta que pasa por los focos de la hiprbola.
Es un eje de simetra de la misma. El otro eje de simetra es
2

20
perpendicular al primero y pasa por el punto medio del segmento
F 1F 2 El punto O de interseccin de los ejes es el centro de

simetra y se denomina simplemente centro de la hiprbola.

El primer eje corta la hiprbola en dos puntos A\ y A 2 llamados
rrtices; el eje A 1 A 2 se 'denomina eje real de la hiprbola.

FlG. 11

FIC. 17

La diferencia entre las distancias del punto A 1 de la hiprbola

a los focos F 1 y F 2 debe ser igual a m:
A ,F2 - A 1 F 1 = m.

Pero
debido a la simetra de Ja hiprbola; por eso, podemos tomar A1 F 2
en lugar de A 1F 1 y as encC\ntramos que
A 1F 2

A2 F 1

=m.

E:> obvio que la diferencia A 1F 1 - A 2 F 2 es igual a .A 1 A2 , o sea,

es igual a la longitud del eje real de la hiprbola. Es decir,
la diferencia m entre las distancias de cualquier punto de la
biprbola a ~us focos (con la particularidad de que la distancia

21
menor se resta de la mayor) es igual a Ja longitud del eje real
de la hiprbola.
Partiendo del vrtice A 1 (o A2 ) como centro busquemos
la interseccin del segundo eje de simetra de la hiprbola con
el arco de circunferencia cuyo radio es igual a la mitad de F 1 F 2
Encontraremos dos puntos B 1 y 8 2 (fig. 18); el segmento B 1 B2
se denomina eje imaginario de la hiprbola. Construimos ahora
el rectngulo PQRS cuyos lados son paralelos a los ejes de la
hiprbola y pasan por los puntos Al> A 2 , B, y B 2 y tracemos
sus diago nales PR y QS. Prol9ng ndolas indefinidamente,
obtendremos dos rectas que .se denominan asntotas de Ja hiprbola.

FIC. 19

Tienen la siguiente p ropiedad notable: jams se cortan con la

hiprbola aunque a medida que :Jos puntos de la hiprbola se
alejan de su centro, se aproximan ms y ms a las asntotas
situndose tan cerca de ellas como se quiera. Los arcos de hiprbola
comprendidos entre dos puntos alejados del centro parecen en el
dibujo segmentos de recta (vase el arco M tM 2 de la fig. 18) aunque
nunca son rectilneos; simplemente: tienen una encorvadura
insignificante que escapa a la vista.

Para trazar aproximadamente la hiprbola sin recurrir a la regla

y al hilo (que permiten la construccin exacta), se procede del
modo .siguiente. Se trazan primero los ejes de simetra de la
hiprbola y se toman en el primero los focos F 1 y F 2 a igual

22
distancia del centro; despus sobre este mismo eje se construyen
a ambos lados del centro segmentos iguales a la mitad de m,
o sea, a la mitad de la diferencia dada entre las distancias de los
puntos de Ja hiprbola a sus focos, obreniendo los vrtices A 1 y A 2
de la hiprbola: a continuacin determinamos en el segundo eje
los puntos 8 1 y B 2 , construimos el rectngulo PQRS y, por ltimo,
trazamos y prolongamos sus diagonales. As obtendremos el dibujo
representado en la fig. 19. Resta trazar a mano dos arcos de modo
que sean simtricos respecto a los ejes, que pasen por los puntos

''

/
/

'''

' ' '.(J

,/A,
/
/

''

/
/
/

/
/

''

'

f1C. 20

A 1 y A 1 y que se encorven suavemente aproximndose ms y ms

a ias asntotas PR y QS.
12. En particular, el rectngulo. PQRS puede ser un cuadrado.
Esto ocurrir si, y slo si, las asntotas de la hiprbola son
perpendiculares. En este caso la hiprbola se denomina equiltera.
En la fig. 19 viene representado precisamente este caso. Para
mayor comodidad, giremos el dibujo en 45 alrededor del punto O
en el sentido que indica la flecha; obtendremos la hiprbola
representada en la fig. 20. Tomemos en la asntota OQ un segmento

23
cualquiera ON = x y leva ntemos en el punto N la perpendcula1
N M = y hasta cortar Ja hperbola. Entre y y x existe una relacin
muy sencilla: resulta que si a umentamos x un nmero de veces.
y dismjnur el ntismo nmero de veces; recprocamente, si
disminuimos x un nmero de. veces, y aumentar el mismo nmero
de veces. En otras palabras, Ja longitud NM ==y es inversamente
proporcional a la longit ud ON = x:
k

y=-.
X

Debido a esta propiedad. Ja hiprbola equiltera es el grfico

de la proporcionalidad nvcrsa. Consideremos el vrtice A 2 con el
fin de determinar Ja relacin que existe entre las dimensiones
de la hiprbola y el coeficiente k de la proporcionalidad inversa.
Para este vrtice tenemos :

x=0K ey=KA 2 ;
los segmentos OK y KA 2 constituyen catetos del tringulo rectngulo
issceles cuya hipotenusa es
m
OA 2 = -
2.
por eso,

=y

ml

de donde 2x 2 = -

X2

+ yl

. o sea, x 2

=(~

m2

m2

= - . P or otro lado, de la rela

8

k
cin de proporcionalidad inversa y= - resulta que xy = k y por
X

eso en nuestro caso (en el que y= x) se tiene: x 2 = k. Comparando

m2

ambos resultados, x2

=S

y x2

= k,

m2

encontramos: k

= g-

En

otras palabras, el coeficiente k de la proporcionalidad inversa es

igual a una octava parte del cuadrado de la loqgitud del eje real
de Ja hiprbola.
13. Hemos sealado ya que si cortamos el cono con un cuchillo
(o, hablando en trminos geomtricos, con un plano) sin tocar
la base del cono, la seccin. tendr la configuracin de una elipse
(vase la fig. 10). Resulta que si el plano que corta el cono pasa

24
por su base, se puede obtener como secc1on un arco de parbola
(fig. 21, a) o un arco de hiprbola (fig. 21, b). Por lo tanto, las
tres curvas - la elipse, la hiprbola y la parbola - son secciones
cnicas.
El cono que estamos cortando tiene un defecto: slo en el caso
de la elipse obtenemos la curva completa (lig. 10); en el caso
de la parbola y de la hiprbola, o sea, de curvas que se prolongan
indefinidamente, obtenemos slo una porcin de las mismas.
Es ms, la fig. 21, b no permite ver cmo aparece la segunda rama

a)

b)
FIG. 21

de la hiprbola. Para eliminar este defecto tomaremos en lugar

del cono una superficie cnica que se prolonga indefinidamente.
Con este fin prolongaremos indefinidamente en ambas direcciones
todas las generatrices del cono, es decir, todos los segmentos
rectilneos AS, BS, CS, DS, ES, etc. que unen los puntos de la
circunferencia de la base del cono con ~u vrtice (fig. 22; natural
mente, no podemos representar en nuestra fifura las generatrices
indefinidamente prolongadas y, por eso, tambin aqu trazamos
segmentos de rectas pero de longitud mayor que: los segmentos
iniciales). As obtendremos la superficie cnica necesaria que consta
de dos mitades, o como suele decirse de dos hojas, de extensin
indefinida que se tocan en el punto S. Toda la superficie cnica
puede ser considerada como la superficie que describe una recta
mvil a saber, una recta que pasa por el punto S y que gira

25
de modo que permanece constante el ngulo que forma con la
recta OS, eje de la superficie cnica. Esta recta mvil se denomina
generatriz de la superficie cnica; es evidente que prolongando
cada geperatriz del cono tomado inicialmente, obtendremos una
generatriz de Ja superficie cnica.

PIC. l2

Cortemos ahora con un plano toda la surerficie cnica. Si el

plano corta todas las generatrices de una misma hoja de la
superficie, obtendremos como seccin una elipse o, como caso
particular, una circunferencia (fig. 23, a); si el plano corta todas
las generatrices menos una (a la que es paralelo), se obtiene como
seccin una parbola (fig. 23, b); por ltimq; si el plano corta una
parte de generatri(;CS de una hoja y otra parte de generatrices
de otra hoja, se obtiene como seccin una hiprbola (lig. 231..c).
Como vemos, para obtener la elipse o la parbola basta una hoja
de la superficie cnica. En cambio, para obtener la hiprbola

26
necesitamos .toda la superficie comca: una rama de la hiprbola
pertenece a una hoja y Ja otra rama, a otra .hoja .de la superficie.
14. Consideremos la curva que describe en el plano el punto M
si permanece constante el producto p .de sus distancias a dos puntos
fijos F 1 y F2 del mismo plano. Esta curva se denomina lemniscata
(que traducido del griego significa en forma de cinta). Si la longitud

--------

"....

---

_....

'

'

,,,,,_,-------~

... ,

,,,'

a)

--------e)

b)
FIG.13

del segmento F 1 F l es e, las distancias del punto medio O del

segmento F 1 F 2 a F 1 y F 2 sern iguales a

2" y el

producto de estas

c2

distancias ser igual a -

. Consideremos primero el caso en que

el

.el producto constante p es igual precisamente a

4,

o sea,

el

MF 1 MF2

=--;

en este caso el punto O pertenecer a la lemniscata y esta ltima

tendr la forma de un ocho <'tumbado (fg. 24). Si prolongamos

27
el segmento F 1 F 2 en ambas direcciones
obtendremos dos puntos A 1 y A 2 Es
A 1 A2 = x entre los mismos a travs de
conocemos. Notemos para ello que la
X

hasta cortar la lemniscata,

fcil expresar la distancia
la distancia F 1 F 2 e que
distancia de A 2 a F 1 es

igual a - - - y que la distancia de A2 a F 1 es igual a

2
2
por eso, el producto de estas distancias ser

2 +2;

(~ + ~)(~ - ~)= ~ - ~ .
M

"~
FIG. 24

Pero, segn la hiptesis, este producto debe ser igual a

o sea, -

x2
4

c2

- -

c2

= -4 , de

donde x1 = 2c2 y x

c1
4 ,

=J/2 e~ 1,414c.

Existe una relacin curiosa entre esta lemniscata y Ja hiprbola

equiltera. Tracemos por el punto O diferentes rayos rectilneos
(fig. 25) y consideremos los puntos en los que stas se cortan con
la lemniscata. Resulta que mientras el ngulo enfre el rayo y OF2
(u OF 1) es menor de 45, existir otro punto de interseccin,
adems de O en que el rayo corta la lemniscata; en cambio, si
este ngulo es de 45 o mayor, no existir el segundo punto
de interseccin. Tomemos un rayo cualquiera del primer grupo
y supongamos que corta la lemniscata en el punto M (distinto
de O); a partir del punto O construyamos en dicho rayo el segmento
ON

= --.
OM

Si realizamos esta construccin para todos los rayos

del primer grupo, los puntos N, correspondientes a los puntos M

de la lemniscata, quedarn sobre la hiprbola equiltera cuyos

28
focos estarn en Jos puntos F'1 y F tales que
l

OF'i

= OF, y

= --.

OF

OFl

15. Si la magnitud del producto constante p es distinto de

-

c2
4

, la lemniscata tendr otra forma. En el caso en el oue p es

r
I
1

I
/

I
I

"'
FIC. 25

c2

menor de - 4. la lemniscata consta de dos valos, uno de los

cuales contiene el punto F 1 y el otro. el punto F2 (fig. 26). En el
c2

caso en el que el producto p es mayor que -

, pero menor que

c2

- . la lemniscata tiene la forma de un bizcocho (fig. 27). Si p

c2

difiere poco de -

, la cintura K 1K 2 del bizcocho ser muy

29
estrecha y la curva se aproximar, por su forma, al ocho tumbado.
c2
.
.
En cambio, si p di(iere poco de - , el bizcocho apenas tiene
2
.
.
c1
c1
cintura y para p igual a o mayor que la cintura desapa-

rece totalmente y la lemniscata toma la forma de un valo

(fig. 28; aqu se han representado distintas lemniscatas para poder
compararlas).

FIC.

FJC.

rJ

16. Tomemos ahora un nmero cualquiera de puntos

F., F1 , .. .. , F.
en el plano y hagamos que el punto M se mueva de modo que
permanezca constante el producto de sus distancias a estos puntos.
Obtendremos una curva cuya forma depende de la posicin mutua
de Jos puntos

Fi. F2 .. ., Fn
y de la magnitud del producto constante. Esta curva se denomina
lemniscata de n focos.
Hemos considerado lemniscatas de dos focos. Variando el
nmero de los fo<;os, colocndolos de modos distintos y escogiendo
una u otra magnitud para el producto constante. de las distancias,
:iodemos obtener lemniscatas de las formas ms raras. A partir
de un punto A comencemos a desplazar la pu'nta del lpiz sobre

30
el papel de modo que la punta vuelva de nuevo al punto inicial.
Obtendremos as una curva; exigiremos slo que no se corte
a si misma. Es evidente que podemos obtener asi curvas que

FIC. 28

11JC.l9

tienen, por ejemplo, la forma de una cabeza humana o de un

pjaro (fig. 29). Resulta que siempre se puede escoger el nmero
n, la posicin de los focos

f, F1 ,

Fn

y la magnitud del producto constante de las distancias

MF 1 MF 2

...

MF. =p

de modo que la lemniscata correspondiente no difiera a simple

31
vista de esta cu1va por arbitraria que sea la ltima. En otras
palabras, las posibles desviaciones entre el punto M que describe
la lemnisca~a y la curva escogida no 'pasarn de la anchura de
la raya del lpiz (que de antemano puede ser afilado de modo
que la raya sea muy fina). Este resultado maravilloso que pone
d manifiesto la gran variedad y la riqueza de formas que tienen
las lemniscatas de varios focos se demuestra con rigor absolu~o.
pero la demostracin es compleja y exige el empleo de las
Matemticas Superiores.

N
FIG. JO

_-....__

)
/
2

FIG. JI

17. Apliquemos al borde inferior de la pizarra una regla

y hagamos rodar sobre ella un 'aro o crculo (de madera o de

cartn) apretndolo contra la regla y la pizarra. Si fijamos en el
aro o circulo un pedazo de tiza (en el punto de contacto con
la regla), este ltimo describir una curva (tig. 30) denominada
cicloide (que traducido del griego significa circular). Un giro del
aro corresponde a un arco MM' M'"N de la cicloide; si el aro
contina rodando, se obtendrn uno tras otro los dems arcos
de la cicloide.

Para obtener en el papel la forma aproximada de un arco

de la cicloide que corresponde al descrito durante el giro de un
aro de, digamos, tres centmetros de dimetro, tomemos en la recta

32
un. segmento de longitud

3 3,14 = 9,42 cm
igual a la longitud del aro, o sea, a la longitud de la circun-

ferencia de tres centmetros de dimetro. Dividamos a continuacin este segmento en un nmero de partes iguales, digamos en
seis partes, y para cada punto de divisin consideremos Ja posicin
quetiene el aro cuando se apoya en dicho punto (fig. 31), numerando
estas posiciones con las cifras

1, 2, 3, 4, 5 y 6.

Para pasar de una posicin a la posicin siguiente, el aro debe

girar una sexta parte de la revolucin completa (ya que la
distancia entre dos puntos de divisin sucesivos es igual a una
sexta parte de ta circunferencia). Por eso, si en la posicin O Ja
tiza se encontraba en el punto M 0 , en la posicin 1 aparecer
en el punto M 1 correspondiente a una sexta de la circunferencia,
contando desde el punto de tangencia; en la posicin 2 estar
en el punto M 2 a dos sextas del punto de tangencia, etc. Para
obtener los puntos M h M 2 , M 3 , etc. bastar tor:nar el radio
de 1,5 y transportarlo a partir del punto de tangencia segn
la circunferencia correspondiente; en la posicin I hace falt a una
traslacin, en la posicin 1 se necesitan dos traslaciones efectuadas
su~esivamente, en !a posicin 3, tres tr~slaciones, e tc. Para trazar
la cicloide resta ahora unir los puntos

M 0 , M., M 2, M 3, M4, M5 y M6
mediante una curva suave.
18. Entre muchas :propiedades notables que tiene Ja cicloide
sealemos una, debido a la cual esta curva recibi el nombre
sonante y extrao de braquistocrona que consta de .d os palabras
griegas, mnimo y tiempo.
Consideremos el problema siguiente: qu forma debe tener
un canal metlico bien pulido que une dos p.untos fijos A y B
(fig. 32) par.a que sea inimo el tiempo que invierte una bo1a
metlica pulida en recorrerlo desde el punto A hasta el punto B '!
A primera vista, prece que el canal debe ser rectilneo pues slo .
en este caso la bola recorrer el ca~no ms corto entre A y B.
Pero se trata del tiempo mn.imo, y no del camino ms corto,
y este tiempo, aparte de .la longitud del recorrido, depende tambin
de la velocidad de la bola. Si encorvamos el can~I.. hacia ab~jo,
su parte correspondiente al punto A tendr una pendiente mayor

33
en comparacin con el canal rectilneo y la bola obtendr aqu
una velocidad mayor que en el tramo de misma longitud del canal
rectilneo. Por otro lado, si la parte inicial tiene gran pendiente
y es relativamente larga, la otra parte, correspondiente al punto B,
tambin ser larga pero tendra una pendiente muy suave: la bola
recorrer rpidamente el primer tramo, muy lentamente el segundo
y podr demorar en llegar al punto B. Es decir, el canal debe
tener, por lo visto, una forma cncava, pero su encorvadura
no debe ser excesiva.

FlC. 32

FlG. 33

Galileo (1564-1642), astrnomo y fsico italiano, pensaba que

el canal de tiempo mnimo debe tener la forma de aro de una
circunferencia. Pero Jos hermanos Bernoulli, matemticos suizos,
a principios del siglo XVIIJ demostraron mediante un clculo
exacto que esto no es cierto y que el canal debe tener Ja forma
de un arco de cicloide (invertido hacia abajo, fig. 33). Desde ese
momento la cicloide recibi el nombre de braquistocrona mientras
que las demostraciones de Bernoulli dieron origen a una nueva
. rama de las Matemticas, al Clculo Variacional, que se ocupa
de buscar las curvas que ofrecen el valor mnimo (o mximo,
seg n el caso) a una u otra magnitud que nos interesa.
3-10

34
19. Concluimos nuestro relHo sobre las curvas maravillosas.
Hemos considerado slo algunas de ellas sin agotar ni mu~ho
menos sus propiedades. Existen muchas otras curvas que no hemos
abarcado en nuestro libro; nada hemos .dicho de la catenaria
(curva formada por una cadena pesada suspendida entre dos puntos),
ni de la espiral de Arqumedes (curva que describe un escarabajuelo
al deslizarse a lo largo de una regla que gira uniformemente),
ni tampoco del desarrollo (evolvente) de la circunferencia (curva
que describe al desarrollarse el extremo de un hilo arrollado
en una bobina), etc. Nuestro nico fin era despertar en el lector,
familiarizado con los rudimentos matemticos nada ms, el inters
hacia algunos resultados curiosos del nmenso tesoro del saber
matemtico.

NUMEROS COMPLEJOS
Y REPRESENTACIONES CONFORMES

Traducido del ruso

por Silvia Sosin de Seplveda,
master en ciencias sicas

36

PREFACIO
Este libro hace conocer al lector los nmeros complejos y funciones
ms sencillas de los primeros (incluyendo la funcin de N. E. Zhukovski, aplicndola al diseo del perfil de un ala de avin).
La exposicin se da en forma .geomtrica. Los nmeros complejos
se consideran como segmentos dirigidos y las funciones como
representaciones. Para llevar a tal compresin de los nmeros
complejos hay que empezar de la interpretacin geomtrica de los
nmeros reales y de las operaciones con los mismos. El libro
ha sido escrito a base de las clases que dictara el autor a los
alumnos de la 9 y 10 clases de la escuela media y no exige,
por parte del lector, conocimientos previos de los nmeros complejos.
El auwr

1. Para la representac1on geomtrica de los nmeros reales

se emplea el eje numrico, es decir, la recta en la cual se han
prefijado el punto A, el origen de coordenadas que representa
8

A
0

~~~-c-~~~-<'--------0-----

JI.

DIB. 1

el nmero O y otro punto B que representa el punto + 1 (dib. 1).

Como direccin positiva del eje numerico se toma la direccin
de A a B y como unidad de longtud el segmento AB. Cualquier
segmento AC representa el nmero real x cuya magnitud (o valor)
absoluta es igual a la longitud del segmento. Si C y A no coinciden
(es decir, si este nmero x no es igual a cero), x es positivo cuando
la direccin de A a C coincide con la direccn positiva del eje
y negativo cuando esta direccin es opuesta a la positiva del eje.
2. Todos segmentos del eje numrico sern considerados como
segmentos dirigidos, o sea, como vectures en la recta. En cada
vector diferenciaremos el origen y el extremo. tomando como
direccin del vector Ja direccin desde su origen hasta su extremo.
Los vectores sern designados por dos letras, la primera indica
el origen y la segunda el extremo. Cada vector, independientemente
donde est su origen (no es indispensable que sea en A). representar
cierto nmero real, cuya magnitud absoluta es igual a la longitud
del vector: Este nmero ser positivo cuando la direccin del vector
coincida con la direccin positiva del eje y negativo cuando sta
sea opuesta a la direccin positiva. As, por ejmplo, el vector AB
(origen A. extremo B) representa el nmero + 1 y el vector 8.4
(origen B. extremo A) el nmero - 1.

38
3. La direccin del vector puede determinarse indicando el
ngul entre este vector y la direccin positiva del eje. Si la
direccin del vector coincide con la direccin positiva del eje ese
ngulo puede considerarse igual a 0. Si, por el contrario, aquella
es opuesta a la direccin positiva del eje ese ngulo puede
considerarse igual a 180 (o -180). Sea x un cierto nmero real ;
si x :f. O, el ngulo entre el vector que representa este nmero
y la direccin positiva del eje numrico es denominado argumento
del nmero x. Es evidente que el argumento de un nmero positivo
es igual a 0 y el argumento de un nmero negativo es igual a 180
(o -180). El argumento del nmero x se designa por Arg x (donde
Arg son las tres primeras letras de la pa babca latina irgumemum
que puede traducirse aqui como signo, indicio). El nmero O
no representa por un vector sino por un punto. Aunque en
adelante nos refiramos al punto como a un caso particular del
vector, o sea, como el vector de longitud cero, en ese caso no
puede hablarse ni de la dreccin ni del ngulo respecto del eje
numrico ; por eso al nmero O no le atribuiremos ningn
argumento.
4. Dirijamos nuestra atencin a la interpretacin geomtrica
de las operaciones con nmeros reales. Es necesario detenerse
en la interpretacin de la suma y la multiplicacin partiendo
de las que es cil pasar a interpretar las operaciones inversas,
o sea, la resta y la divisin. Sea~ c1 y c2 dos nmeros reales,
AB 1 y AB2 , los vectores que los representan. Buscaremos la regla
por la cual, conociendo los vectores AB1 y AB2 se pueda trazar

C C2

'"-...!-v-J

--..--

Cz~
e,

DIB. 1

el vector que representa la suma c1 + c2 o el producto c 1 c2

Comenzamos con la suma. Qu debe hacerse con el vector AB 1
que representa. el primer sumando, para obtener el vector AC que
representa la suma?
Se puede comprobar fcilmente que para e!Jo es suficiente,
en todos los casos, trazar el vector B 1 ~. de igual longitud

39
y direccn que el vector AB 2 , a continuacin del extremo del
vector A B 1 y sobre una misma lnea recta; A C ser el vector
buscado (dib. 2).
5. Pasemos a la multiplicacin. Si uno de los factores es igual
a cero, el producto es igual a cero ; en este caso, el vector que
representa el producto se reduce simplemente a un punto.
Supo ngamos que ninguno de los factores es igual a cero. Entonces
la magnitud absoluta > del producto c 1 c2 ser igual a 1c 1 I !c 2 I,
o sea, a la multiplicacin de los va lores a bsolutos de (' 1 y c2
La longitud del vector A D que representa ese producto ser por
ello igual al product o de la longitud de los vectores AB 1 y AB2
que representan los factores. Cuando c 2 > O el signo del producto
f 1 c: 2 coincidir co n el signo de c 1 y ser contrario si c 2 <O.
En otras palabras, la direccin de AD coincidir con Ja direccin
de AB 1 cuando el Arg c2 =O (lo que significa que c2 > 0) y ser
contrara a la direccin de A B, cuando el Arg <'z = 180'' (lo que
significa que c 2 < O). Ahora no resultar difcil contestar a la
ltJO

b
0 18. 3

pregunta q u debe hacerse con el vector AB, que representa el

multiplicando ('1 , para obtener de ste al vector AD, que representa
el producto c 1c 2 (c 1 # O y c 2 :F O)? Debe multiplicarse Ja longitud
del vector AB 1 por 1 c2 I (co nservando la misma direccin) y luego
grar el vector as variado en un ngulo igual al argumento de c2
(es decir, en O" si c 2 > O o en 180 si c 2 < 0), el vector obten ido
ser la representacin del producto. Esta regla se aclara con un
ejemplo, en el dib. 3 (c 1 = 1,5, c 2 = -2).
6. Cada vector en la recta hemos relacionado con un nmero
que es representado por este vector. Ahora examinaremos todos
los vectores posibles en el plano y cada uno de ellos tambin
haremos relacionar con un nmero que est representado por ese
veclor. Los nmeros que de este modo obtendremos o sea. los
1tmeros complejos, tendrn otro carcter, ms general que el de los
nmeros reales. Resultar que estos ltimos slo son. un caso
> La magnitud (o valor) absoluta de un nmero 1e1

se designa por 1 e 1. Por ejemplo, 1 5 1= 5, 1 - 3 I = 3, j O 1 = O.

40
particular de los nmeros complejos, igualmente como los. nmeros
enteros son un caso particular de los nmeros racionales y los
racionales de los reales.

>F

A~

/
'""'----o
C G
_ _A
8

;.

DIB, 4

Comencemos as : en el plano, cuyos vectores examinaremos,

tracemos dos rectas perpendiculares entre s, o sea, los dos ejes
numricos Ax y Ay con origen comn de coordenadas A y sea
que el segmento AB representa la unidad de longitud (dib. 4).
Entonces, cualquier vector que se encuentre en el eje Ax o que
sea paralelo al mismo, puede tomarse. al igual que antes, como
la representacin geomtrica de un nmero real. As, los vectores
AB y A'B' cuyas longitudes son iguales a la unidad y cuyas
direcciones coinciden con la direccin positiva Ax, reP.resentan
el nmero 1, mientras que el vector CD de longitud 2 y de direccin
opuesta a A x representa el n~mero - 2. Los vectores que no
pertenecen a Ax y que tampoco son paralelos a este eje, tales
como AE y FG no representan ningn nmero real. Refirindo nos
a estos vectores diremos que ellos representan los nmens imuginal'ios.
Con esto, los vectores de igual longitud, paralelos entre s dirigidos
al mismo sentido representan un mismo nmero, en tanto que lQs
vectores que se dierencian o bien por su longtud o bien por su
direccin representan nmeros maginarios diferentes. No~ hemos
adelantado un tanto, ya que hablamos de la representacin de los
nmeros imaginarios no sabiendo an que son stos; sin embargo,
tambin en la vida cotidiana es frecuent e que contemplemos el
retrato antes de ver el original.
Antes demostramos que las operaciones con los nmeros reales
pueden ser suslituidas por operaciones con los vectores que

41
r~presentan estos nmeros. Analogamente, sustituiremos las operaciones con nmeros imaginarios por operaciones con los vectores
que los representan. No volveremos a formular nuevas reglas de
las operaciones sino que mantendremos, en forma geomtrica, las
reglas halladas pa'a la suma y la multiplicacin de los nmeros
reales. La nica diferencia consistir en que estos ltimos eran
representados por vectores en la recta Ax (o vectores paralelos
a esta recta), mientras que los nmeros imaginarios se representan
por vectores .en el plano, que ni pertenecen ni son paralelos a ttx.
7. Antes eje continuar, sealemos que los nmeros re~les (que
ya conocemos) y los n meros imaginarios (los que slo conocemos
por sus retratos) son denominados nmeros complejos (la palabra
complejo significa compuesto).
Recordemos, para hacer la comparacin, que para el conjunto
de los nmeros racionales e irracionales tambin se emplea una
denominacin comn, la de nmeros reales (o naturales).
Empecemos a sumar los nmeros complejos. Nosotros admitimos la validez de la regla enunciada para la suma de los
nmeros reales. Sean AB 1 y AB2 dos vectores que representan
ciertos nmeros complejos e, y c2 ; para trazar el vector que
representa su suma e 1 + c 2 , colocamos el vector B 1 C, que es de
igual longitud y direccin que el vector AB1 , a continuacin del

'1

018.

extremo del vector AB 1 ; el vector AC que une el origen de AB,

con el extremo de B 1 C ser el buscado (dib. 5).
Lo nuevo consiste en que ahora aplicamos esta regla para

42
la suma de nmeros complejos (representados por cualesquiera
vectores en el plano), mientras que antes la utilizbamos slo para
los nmeros reales (representados por vectores en la recta).
Si aplicamos esta misma regla para construir la suma c2 + C1
(cambi el orden de los sumandos), entonces a continuacin del
extremo del vector AB2 que representa c 2 deber trazar un vector
de igual longitud y direccin que el vector AB 1 (que representa
e). Es evidente que llegaremos al mismo punto e (en el dib. 5
se obtiene un paralelogramo) y, por consiguiente, ta suma de
c2 + c1 se representa por el mismo vector AC que la suma
de c1 + c1 En otras palabras, de la regla de fa suma se infiere
la validez de la ley conmutativa:
Cz

+ C = C1 + Cz.

Es fcil demostrar que tambin es vlida Ja ley asociativa;

(ci + Cz) + C3 = C + (c2 + C3).
Las construcciones necesarias han sido trazadas en el db. 6.
y

Es evidente que al sumar (c 1 + c 2 ) (AC) con c3 (CD), obtendremos

el mismo vector AD que cuando sumamos c1 (AB 1) con (c 2 + c 3 )
(BsD).
8. Antes de pasar a la multiplicacin, traslademos a los nmeros
complejos los conceptos de la magnitud absoluta y del argumento.
Supongamos que el vector AB representa el nmero complejo c.
Se denomina magnitud absoluta de e la longitud del vector AB
argumento de c. el ngulo que la direccin positiva del eje Ax

43
forma con el vector AB. Este ngulo puede medirse en sentido
contrario al movimiento de las agujas del reloj o en el mismo
sentido que stas, poseyendo entonces valor positivo o negativo,
respectivamente. Es posible aadir a l, en forma arbitraria,
cualquier mltiplo entero de 360.
La magnitud absoluta y el argumento del nmero e se designan
del mismo mod que en el caso de los nmeros reales: 1e1
y Arg c. En comparacin con el caso de los nmeros reales,
lo nuevo aqu es que el argumento del nmero imaginario es
diferente de O y de 180, en tanto que para los nmeros reales
(diferentes de cero) el argumento puede ser o bien O (si el nmero
es positivo) o bien 180 (si ste es negativo).
En el dib. 7 pueden verse los vectores AB, AB , AB2 y AB 3 ,
que representan los nmeros complejos, e, c., c 2 y c 3 El lector
y

018. 1

puede comprobar fcilmente la validez de las siguientes afirmaciones:

V2.

1e1 = 1C1 1= 1, 1C2 I =

1c3I=2;
Arg e= O, Arg c1 = 90, Arg c2 = 45, Arg c3 = -60 ( 300).
9. Luego de haber introducido los conceptos de magnitud
absoluta y argumento del nmero complejo, es posible maniestar

44
la regla de muitiplicaci6n de nmeros complejos. Esta coincide
con Ja regla corres"pondiente para la multipJicacin de nmeros
reales ; para multiplicar el nmero complejo c 1 por el nmero
complejo c1 (c 1 '#O y c 2 '# O) debe multiplicarse por 1c 1 l la longitud
del vector que representa c 1 (conservando la misma direccin)
y

O'

ora. e
y Jueg girar el vector as variado en to rno del punto A en un
ngulo igual al ~rgumento de c2 ; el vector obtenido representar
el producto c 1c2 Por ej~mplo, el producto c 1 c 2 se representa por
el vector Af) (db. 8)' y. el producto C2C3 por el vector AE (dib. 9).
Adems, re~pecto de la regla de la multiplicacin debe agregarse
que, cando por lo menos uno de los factores es igual a cero,
el pr.oducto tambin es igual a tero.
Si aplicamos la regla de la multiplicacin al producto c2c 1
(el orden de los fact o.res es otro), deber multiplicarse po r 1c 1 1
la longitud del vector que re presenta. c 1 y girar el vector var iado
alrededor del punto A en un ngulo igual al argumento de e, .
Evidentell)ente el resultado obtenido es el mismo que cuando se
multiplica C t Ci ya que la longitud del vecto r obtenjdo es, en ambos
casos 1c 1 11c2 1 y el angulo entre Ax y ~ste vecto r es igual
a Arg c 1 + Arg c2 .
As

es decir que en la multiplicacin de los nmeros complejos es

vl ida la ley conmutativa.

45
Del mismo modo, tambin es vlida la ley asociativa
(c 1c2 ) c3 = e 1 (c 2c 3).

En realidad, cada uno de estos productos est representado por

un mismo vector . cuya longitud es 1c 1 l 1c2 1 I c 3 I y que forma
con el eje Ax un ngulo igual a Arg c 1 + Arg c2 + Arg c 3

Demostremos, finalmente, la validez de Ja ley distributiva :

{e

+ C2) C3 = CC3 + CzC3.

En el dib. 10 el vector AB representa la suma c1 + c 2 ; si manteniendo

la direccin de A 8 1 y AB2 multiplicamos todas las longitudes
de los lados del tringulo AB 1B por 1c 3 j se obtendr el tringulo
AK 1 L 1 semejante a AB 1 B. Ese tringulo estar formado por los
vectores AK 1 K 1 Li. AL 1 , obtenidos de los vectores ci. c2
y (c 1 + c2 ) mediante la variacin en 1c 3 I veces de todas )as
longitudes (sin variar las direcciones). Giremos ahora el tringulo
AK 1 L alrededor del punto A en el ngulo Arg c 3 ; obtendremos
el tringulo AKL. Segn la regla de la multiplicacin en ef mismo
el vector AK representa c 1 c 3 , Klrepresenta c 2 c 3 y AL, (c 1 + c 2 )c3 .

46
De este mismo lringulo por )a regla de la adicin hallamos :
C1C3

+ C2<:3 = (C 1 + C2) C3,

que es to que debfa demostrarse.

10. Las operaciones de resta y divisin se definen como
inversas respecto de la suma y la multiplicacin respectivamente.

l>IB. 10

Denominaremos diferencia de los nmeros c 1 y c 1 el numero

complejo d y escribiremos d = c 1 - c 2 si c 1 = c 2 + d, es decir, si c 1
es la suma de c 2 y d. Representando en el dib. 11 esta relacin
y

018. II

entre c 2 , d y c 1 vemos que el vector que representa Ja diferencia

c 1 - c 2 se obtiene si se une el punto 8 2 (el extremo del vector
que representa el sustraendo) con el punto B 1 (el extremo del

47
vector que representa el minuendo) y se toma el primero de ellos
como origen del vector y el segundo como extremo del mismo.
Anlogamente el nmero complejo r lo denominaremos cocience
de los nmeros c 1 y c2 (c 2 :f; 0) y escribiremos r = c 1 : c2 o r =
=_:;_,si c 1

= c 2 r, es decir, si c 1 es el

Cz

producto de c 2 por r (dib. 12).

/~rgr

om. n
De aqu se deduce que 1r 1 que es la longitud del vector que

lea1

representa r, es igual a - - y el Arg r es igual al ngulo 8 2 AB 1

1 C2 I

medido en direccin de AB2 a AB 1 (en el dib. 12 es Ja direccin

de giro en sentido de las agujas.del reloj, por consiguiente, el ngulo
debe considerarse como negativo).
Sealemos algunos casos particulares. Si c 1 y c 2 se representan
por vectores paralelos igualmente orientados, el ngulo B 2 AB1
es igual a O y, en consecuencia, Arg r = O, o sea, r es un nmero
real. positivo. Si r 1 y c1 se representan por vectores pralelos pero
contrariamente orientados, el ngulo B 2 AB 1 es igual a 180 y r
es un nmero real negativo.
En resumen puede decirse que la suma y la multiplicacin
de nmeros complejos satisfacen las mismas leyes. conmutativa,
asociativa y distributiva que en el caso de los nmeros reales
y que la sustraccin y la divisin, al igual que para los nmeros
reales, se definen como las operaciones inversas, respectivamente,
a la suma y la multiplicacin. Por ello, basndonos en la:s

48
definiciones dadas para las operaciones y en l~s leyes citadas,
podemos decir que todas. laJ reglas de las operaciones y frmulas
deducida.o; en el lgebra para los nmeros reales tambin deben
ser vlidas para los nmeros ~mplejos. Por ejemplo:
(c 1

+ C2) (e,

- c2) =

C3

C2

C4

- +-

d - d.

CC4

+ C2C3

2
(c1 + c2) =e~

+ 2c 1c2 + e~,

(c2 #- O y e, :F O), etc.

C C4

11. Al estudiar matemticas el lector habr encontrado con

frecuencia Ja ampliacin (o generalizacin) del concepto de nmero.
Esto ocurri en la aritmtica, cuando se introdujeron los quebrados;
en el lgebra, al introducir los nmeros negativos y, ms tarde
los nmeros irracionales. Cada nueva ampliacin del concepto
nmero abra nuevas posibilidades para la rsolucin de problemas
que antes de ello parecan irresolubles e incluso sin sentido. As~
Ja introduccin de las fracciones permiti efe<;tuar Ja divisin
de dos nmeros en todos los casos e.n que el divisor es diferente
de cero como, por ejemplo, dividir 4 por 3 2 por 5; la introduccin
de los nmeros negativos permiti efectuar la resta en todos los
casos, por ejemplo, restar 5 de 2; la introduccin de los nmeroll
irracionales permiti expresar mediante un nmero la longud
de todo segmento inconmensurable con la unidad, por ejemplo,
la longitud de la diagonal de un cuadrado cuyo lado es igual a uno.
Sin embargo, si tan solo nos hubiramos limitado a los nmeros
reales no hubramos podido extraer la raz cuadrada de un nmero
negativo. Comprobemos ahora que la introduccin de Jos nmeros
complejos hace que este problema deje de ser irresoluble. Es nat)Jral
que deo.ominemos como raz cuadrada del nmero complejo e
(la que designaremos con
el nmero complejo a, cuyo cuadrado
(es decir, el pr~ucto de a por si mismo) es igual a c. En otras
palabras, a =V e indica que aa = c. Sea : }fil. nmero negativo,
por ejemplo, e = .... 1; si deseamos hallar V - 1 hay que resolver
la ecuacin a 2 =-1. Multiplicar a por a significa, en primer lugar,
multiplicar la longitud c;iel vector que representa a por 1a I, o sea,
por esa misma longitud, sin cambiar la direccin de a y luego
girar el vector obtenido en torno al punto A en un ngulo igual
al Arg a. Es e".idente que la longitud del vector hallado ser
entonces igual a 1a 12 . Pero ese vector debe representar el nmero
- 1; por lo tanto, su longitud es igual a uno. As, 1a 12 = 1
y, por consiguiente, 1a I= 1 (la longitud de un vector siempre
no es negativa). Prosiguiendo, el ngulo entre el vector que

Vc)

49
representa a 2 y el eje Ax es igual a Arg a + Arg a = 2 Arg a; por otra
parte a 2 = - 1; as que este ngulo debe ser igual a + 180 o - 180.
Por esto, 2 Arg a = J 80 , de donde se infiere que Arg a = 90
o Arg a = -90',. Hemos obtenido. por consecuencia, dos vectores
dif~r~s AC y AC', que repre~ntan Jos dos valores diferentes
de V -1 (dib. 13). El nmero imaginario representado por el vector
y

re
180"

I~
1

~{
C'

DIJ. 13

AC es designado con la letra i y se le denomina unidad imaginaria ;

tenemos entonces que: 1i1 = l, Arg i = 90. Se comprende fcilmente
que el nmero imaginario representado por el vector AC' puede
obtenerse de i, multjplicando i por - l. En realidad, segn la regla
de }a multiplicacin, para esto es necesario multiplicar la longitud
de AC por 1 -1 I = 1 (sin embargo el vector AC no varia) y luego
girarlo en torno al punto A en el nguio Arg (- 1) = 180; se
qbtiene el vector A.C'. El nmero imaginario correspondiente
a ~ste ~~ es! de esta manera, i ( - 1) - 1 i, brevemente, -t!
As1, .v...,...1- +1.
12. Examinemos un cierto vector AD situado en el eje .Ay
(o paralelo 'al mismo) (dib. 14) y sea 1 su longitud. Si la direccin
de este vector coincide con la direccin positiva del eje Ay (hacia
arriba respecto de. Ax), el numero imaginario e representado por
l!ste, puede obtenerse de i mediante su multiplicacin por et
nmero positivo /; por consiguiente, e = /i.
4- IU

50
Si la direccin de AD es opuest a a la direccin posH1va
de Ay, el nmero e se obtiene de i mediante su multiplicacin
por el nmero negativo -1 ( a partir de - i mediante su
multiplicacin por 1) ; en este caso, por consiguiente, e= -li.
As, todo vector (de longitud diferente de cero) situado en el
eje Ay (o paralelo al mismo) representa el nmero imaginario
de tipo li. donde se toman los signos ms o <'menos
respectivamente si la direccin del vector coincide con la direccin
posi tiva de Ay o no. Debido a es10 el eje A y se dcnor iina eje
imaginario. El eje Ax, cuyos vectores representan los \meros
reales se denomina eje real.
y

E'

A,
1

Lt

~I

b
D'
1>18. t.C

om.

15

Examinemos un . cierto vector A'E' que no est situado en

ninguno de los dos ejes n es paralelo a ellos. Por medio de la
construccin que indicaremos en el dib. 15, el nmero e, q ue este
vector representa, puede darse como la suma de o tros dos
nmeros; uno que es representado por el vector 'B' paralelo
a Ax (o situado en Ax) y otro que es representado por el vector
B' E', paralelo a Ay. Pero A'B' representa un cierto nmero real a,
en tanto que B' E' representa un nmero 'imaginario del tipo bi,
por lo que e = a + bi.

51
As, nosotros hemos representado el nmero imaginario e .por
nedio de los nmeros reales a y b y la unidad imaginaria i. Como
el vector A' E' no es paralelo a ninguno de los ejes, entonces a-:: O
y b '#O. Es fcil comprender que los nmeros representados por
vectores paralelos a uno u otro eje pueden escribirse en forma
anloga; si el vector es paralelo al eje real entonces representa
un nmero del tipo a +O i y si, al eje imaginario, representar
un nmero del tipo O + bi.
En resumen, cada nmero complejo e puede representarse en la
forma e = a + bi, donde a y b son nmeros reales e i la unidad
imaginaria.
13. Resumamos. Hemos empezado con la representacin de los
nmeros reales por medio de vectores situados en una misma
recta, hemos dado interpretacin geomtrica a las reglas de las
operaciones con ellos, reduciendo luego estas operaciones a los
vectores y luego hemos comenzado a examinar todos los vectores
posibles en el plano como la representacin de nmeros de tipo
ms general, los nmeros complejos que slo en un caso particular
(cuando los vectores estn situados en el eje A.-.: o son paralelos
a l) son nmeros reales. Extendiendo las operaciones con los
vectores en la recta a los vectores en et plano, hemos introducido
las operaciones de suma y multiplicacin (y ms tarde tambin
las operaciones inversas, o sea, la resta y la divisin) y nos hemos
convenido de que ellas se rigen .por las mismas leyes que 1as
operaciones con los nmeros reales. Con esto, acerca de los mismos
nmeros complejos slo sabemos que todos ellos se representan
por medio de vectores y de modo tal que dos vectores .cualesquiera
de igual longitud, paralelos entre s y orientados hacia el mismo
lado representan un mismo nmero complejo, mientras que los
vectores que se diferencian en longitud o direccin representan
nmeros diferentes. Nos hemos .convenido de que los nmeros
complejos permiten extraer la raz cuadrada de - 1 y hemos
in tro~do la unidad jmaginaria i como uno de los dos valores
de V - 1 (aquel valqr de la raz cuyo argumento es +90).
11;nalmente, basndonos en la regla de operaciones con los nmeros
complejos, hemos demostrado que cada nmero complejo e puede
ser representado en la forma e = a + bi, donde a y b son nmeros
reales.
As, e ~e compone de dos sumandos a y bi; uno de ellos,
a se representa por un vector en el eje real y puede considerar.se
como el producto del nmero real a por la unidad real; el otro,
hi se representa por un vector del eje imaginario y puede

52
considerarse como el producto def nmero real b por la unidad
imaginaria i. Tal construccin de todo nmero complejo permite
comprender porqu todos estos nmeros t ienen el nombre de
complejos (es decir, compues1os).
Sealemos que a es denominada parte real y b, parte imaginaria
del nmero c. Por ejemplo, para el nmero e :::: 3 - 2i la parte
real es gual a 3 y la parte maginaria, igual a -2.
14. Si representamos los nmeros complejos mediante vectores
con origen en un mismo punto A, entonces a nmeros complejos
diferentes correspondern vectores, no coincidentes enfre si y al
contrario: a vectores no coincidentes respondern nmeros complejos
diferentes. Dado e= a + bi; entonces, el extremo del vector AE.
que represenrn el nmero e, tendr abscisa a y ordenada b (dib. 16).

'1
b

019. 16

De este modo, si colocamos el origen del vector que representa

el nmero e = a + bi en el origen de coordenadas A, los nmeros
a y b sern las coordenadas del extremo de este vector. Geomtrica
mente los nmeros complejos pueden 'representarse, de acuerdo con
lo sealado, no slo mediante vectores sino tambin por medio
de puntos. Precisamente, cada nmero complejo a + bi es posible
representar mediante un punto nico E con coordenadas a y h
y viceversa: cada punto E' con coordenadas a' y h' puede
considerarse como la representacin del nmero complejo a' + b'i.
En el dib. 17 se muestran los puntos E 1, E 2 , E 3, E4 y E~ que
representan. respectivamente. los siguientes nmeros: - l. i. - i.
1 + i, l - i.

En lo sucesivo y para abreviar. denominemos frccuenti:memc

53
del mismo modo, punto w, el nmero complejo z y el punto E
que lo representa. Por ejemplo, la expresin punto 1 + i seala
el mismo nmero 1 + i y el punto E, que lo representa (dib. 17).

:}E,(1

i)

: 1
1

E (-1)

'

~.o-~~~-+-~~~-+-~~----x

~ -

E.J(-i)

h E5 (1 - 1)

l>IB. H

Del texto podr inferirse acerca de qu de los dos sentidos de esta

expresin se trata. Adems, es preferible acostumbrarse a no pensar
en esto y emplear ambos sentidos como u n solo.
15. Sea z cierto punto. Si sumamos z a un cierto nmero a
se o btiene un nuevo punto z' = z + a. Es evidente que se puede
pasar del punto z al punto z' mediante de.splazamienro (o rraslado)
en el veccor a, es decir, mediante el desplazamiento del punto z
por la direccin del vector a, a una distancia igual a la longitud
de este vector (dib. 18). Eligiendo el o correspondiente, puede
obtenerse cualquier desplazamiento del punto z. Por ejemplo, si es
necesario desplazar el punto z en ta direccin positiva del eje Ax
en la ~nidad, tomamos a = 1; aqu z' = z + 1 ser el punto buscado.
Si hay que desplazar z en dos unidades e n la direccin negativa
del eje Ay . tomamos a= -2i; el punto z" ::::: z + (-2i) = z - 2i
ser el que buscamos (dib. 19).
As, la operacin de suma :' = z + a significa geomtricamente
el desplazamiento del punto z en el vector a.
16. Examinemos Ja operacin de multiplicacin de z por cierto
nmero e#: O. Para multipHcar z por e debe multiplicarse la

54
longitud del vector AE (es decir, el nmero 1z !) po r el nmero
1e1 y girar el vector o btenido A~ 1 en Un ngulo igual al Arg e
(dib. 20). La primera operacin no varia la direccin del vectoi
AE, puede variar solamente su lo ngitud. Esta longitud disminuye
y

y
z

l' z ... 1

1>1'8,

OIB. 11

E,

Argz
OlB. 10

si 1e1 < 1 y au menta si 1e1> l, queda, finalmente, invariable si

l. Llamemos esta operacin alargamiento (prolongacin) del

vector AE en ! e 1veces. La palabra alargamiento d ebe entenderse
aqu en sentido figurado ; de hecho, alargamiento tendr lugar
slo cuando 1e 1> l y Ja longitud del vector A E aumentar
en 1e1veces en el caso de la multplicacin. Sin embargo tambin

55
conviene emplear este trmino cuando 1e1 = 1 (la longitud del
vector A E no var a) y cuando 1e 1< 1 (la longitud del vector AE
disminuye al efectuar la multiplicaci n).
Si e es un nmero real positivo, el Arg e = O.
En este caso el giro en el ngulo Arg e no vara el vector A E 1
hallado por el alargamiento ; por lo tanto, el punto E 1 representa
el producto zc. Puede d ecfrse que la multiplicacin de z por el
nmero real positivo e significa, geomtricamente, el alargamiento
en e veces del vector AE (que representa z). C.ambia ndo e, es
posible obtener distintos alargamientos del vector AE. As, para
lograr su a largamiento en d os veces hay que multiplicar z por 2;
2
2
Para obtener un alargamiento de -3 debe multiplicarse .z por -3 .
Si el factor e no es un nmero real positivo el Arg e ser
d iferente de cero. En este caso la multiplicacin d e z por e no
se reduce al alargamiento d el vector AE sino que tambin exige
el giro del vector a largado en d ngulo Arg e, en torno al punto A.
Po r consiguiente, en e l caso general, la operac~n de muJtiplitacin
z e significa tanto el alargamiento (en 1e 1 veces) como el giro
(en el ngulo Arg e). E n el caso particular, cuando la magnitud
abs.oluta de e es igua l a la unidad, la multiplicacin por e se reduce
solamente al giro del vector AE en el ngulo Arg e alrededor del
p un to A . Realizando Ja eleccin conveniente de e puede lograrse
el g iro de AE cualquier ngulo. As, por ejemplo, si debe girarse
AE en 90 en d ireccin positiva (de derecha a izquierda), es
suficiente multiplicar z por i, ya que 1i 1 = 1 y Arg i = 90. Para
girar AE 45 en direccin negativa (en sentido de las agujas d el
reloj) resulta suficiente multiplicar i por el n mero complejo e,
cuyo mdulo es igual a la unidad y su argumento, igual a -45".
Esle n mero puede hallarse fcilmente con ayuda del dib. 2f.
en el cual se ha sealado el punto C que representa el nmero c.
Evidentemenle las coordenadas del punto

Vi

- - , por lo ta nto ,.
2

z por e =

!2 2

i/22

= -Vi 2

son :

X =

V2

y=

l2

i - . Asi. la multiplicacin de

es igua\ al giro .del

vector

AE (que

representa z) en torno al punto A en ngulo de 45, en direccin

negativa.

56
17. Como hemos visto las frmulas z' = z + a o z' = zc transforma o el punto z en el punto z'. Examinemos ahora no uno
sino un conjumo infinito de puntos z .que componen una cierta
figura geomtrica P (por ejemplo, un tringulo, dib. 22). Si aplicamos
y

DIB. 21

DIB. 22

la frmula z' = z + a a cada punto z, de cada uno de los puntos

se o btendr un nuevo punto z', de:plazado en el vector a. Todos
estos puntos desplazados constituirn \a figura P'. Es evidente que
sta puede obtenerse si desplazamos la figura P, como un todo
nico, en el vector a. As. mediante la frmula z' = z + a puede

57
transformarse no slo un punto aislado smo toda una figura
(un conjunto de puntos). Esta transformacin se reduce al
desplazamiento de la figura en el vector a. Esta nueva figura
deber, por supuesto, ser igual (congruente) a la original.
18. A cada punto z de la figura f puede aplicrsele la frmula
z' = c2. Si e es un nmero real positivo, cada punto z de la
figura P se transforma en un nuevo punto z', situado en el
mismo rayo en que se encuentra z y que sale de A. Adems, la

12' 1 ( d . l
.. . . entre las d.1stanc1as
.
d e los
re1acton
- es ecir, a re1ac1on

1z1

puntos z' y z hasta A) es igual a c. En geometra esta trasformacin recibe el nombre de homocecia, los puntos z' y z se denominan
punto;j homotci ~os, el punto A centro de homotecia y el nmero e
coeficiente de homoteda.
Como resultado de la homotecia el conjunto de todos Jos puntos
de la figura P se convierte en un nuevo conjunto de puntos que
componen la figura P' (dib. 23). Esta figura es denominada

OIB. 13

homorcica de la figura dada P. Es fcil ver que en el caso cuando

P es un polgono (por ejemplo, un tri ngulo), la figura homotcica
P' es tambin un polgono, semejante a P. Para demostrar esto
es suficiente examinar en qu se transforman, en et caso de la
homotecia, los puntos que se encuentran en el lado BC del
polgono P (dib. 23).
Si B se transforma e n B' y C en C', e ntonces uniendo B' con C

58
mediante un segmento de recta hallamos que los tringulos ABC
y AB'C' son semejantes (el ngulo A es comn y los lados que
AB'
AC'
)
lo forman son proporcionales: - . - = - - =e . De aqu se deAB
AC
duce, luego que el lado B'C' es p aralelo a BC y que
B'C
- - = c. Sea K un punto perteneciente a BC ; en este caso

BC

el rayo AK cortar B'C' en cierto pu nto K'; los tringulos

AKC y AK'C' sern nuevamente semejantes y, por consiguiente,
AK'

A C'

AK

AC

- - = - - =c. Por lo tanto, el punto K' ser ho motcico para

el punto K (respecto del centro A , siendo el coeficiente de

homotecia igual a e). De aqu deducimos que todos los puntos
pertenecientes al lado BC se transforman, en el caso de la homotccia, en los puntos del lado B'C'; con esto, cada punto de B'C'
ser homotcico de uno de los puntos pertenecientes a BC.
De este modo, todo el segmento B'C' ser homotcico del segmento
BC. Repitiendo este razonamiento para todos los lados del polgono
P veremos que todos ellos se transf9rman en los lados del nuevo
polgono P', siendo que los lados respectivos sern paralelos por
pares y Ja relacin entre sus longitudes ser igual a un mismo
nmero e:
B'C'
C D'
D'B'
- - = - - = - - = c.
BC

CD

DB

De este modo se demuestra la semejanza de las figuras homorcicas

p y P'.
As es que media nte la rmula z' = cz (donde e es un nmero
real positivo), es posible no solamente transformar un punto sino
una figura entera P. Esta transformacin es Ja homotecia con
centro A y coeficiente igual a c. En el caso cuando P es un poi gono,
la figura transformada P' es tambin un polgono, semejante a P.
19. Sea ahora que el nmero c. en la frmula z' = cz, no es
un nmero positivo. Supongam.os al principio que 1 c. I = l. En este
caso toda la operaci9n de multiplicacin se reduce al giro del vector
Az en torno al punto A, en un ngulo igua l a l argumento de z.
Si esta operacin se efecta con cada uno de los puntos z de la
figura P, como resultado, toda la figura . P resultar girada
alrededor del punto A, en el ngulo Arg c. Por co nsiguiente, con
ayuda de la frmula z' = cz, donde 1<' I = 1, toda la figura P se

59
transforma en la figura P', obenida de P mediante el giro en torno
al. punto A, en el ngulo Arg c. Tomemos, por ejemplo, e = i; como
Arg i "" 90, la transformacin t = iz se reduce al giro de la figura
en 90, en torno al punto A . En el dib. 24 .puede verse que ocurre
con el tri ngulo al efectuar esta transformacin.
y

OIB. 24

Si en ta frmula i = cz no se da la condicin 1e j = 1, sino

.que se consdera simplemente que e es cualquier nmero complejo
(no p.ositivo y diferente de cero), la transformacin respectiva
de la figura P puede efectuarse en dos etapas. Primero hay que
efectuar el a largamiento en 1e1 veces como resultado de lo cual
la figura P se convierte en la figura homotcica P 1 y luego girar
P 1 en torno al punto A en el ngulo Arg c.
En el dib. 25 se muestra que ocurrir con el tringulo P al

(aqu \ ..!_ \ =
y Arg _!_ =90).
2
2
2
2
20. En las frmulas z' = z + a y z' = cz; z puede ser considerada
como variable independiente y z' como funcin. Esta es la ms
sencilla funcin de la variable compleja z. Efectuando con z y otros
nmeros complejos constantes cualesquiera las operaciones de suma,
resta, multiplicaci.n y divisin, as como tambin elevando a potencia
(esta ltima operacin se considera como multiplicacin repetida),
obtendremos otras uncones de z diferentes. por ejemplo,
)
1
z-a
z' =-, o z' =z 2 +cz+d. o z' = - -, etc.
transformar z'

= ..!_ z

z-h

60
Todas las funciones de variable compleja se denominan racionales;
se las llama as porque las mismas operaciones con ayuda de las
cuales se determina n estas funciones (suma, resta, multiplicacin
y divisin) se denomina racionales.. Con las funciones racionales
no se agotan todas las funciones de variable compleja; por
ejemplo, es posible definir y estudiar las funciones tipo z' =

Vz,

=
z' = a%, z' = sen z, etc. Sin embargo, en este libro slo
trataremos de las funciones racionales ms sencillas.
y

DIB. U

21, Hemos visto que a las funci ones z' = z +a o z" = cz les
c.orrespond.en las transformaciones geomtricas determinadas de las
ijguras en el plano. Precisando, .si la variable z toca todos los
puntos de la figura P, la funcin ~' = z + a tocar los puntos
de la figura P' que se obtendr de P mediante el desplazamiento
en el vector a, mientras que la funcin z" == cz pasa por los pu ntos
de 'la figura P" que se obtiene de P mectiante la transformacin
de la homotecia con coeficiente .1e1 y el giro alrededor del punto
A el ngulo Arg c. Por consiguiente, puede decirse que la misma
funcin z' = z + a efecta el desplazamiento, la funcin. z' = cz
efecta la transformacin de homotecia y el giro (si c. c;s un nmero
real positivo, esto sol9 se reduce a una .homotecia y si 1e 1= 1,
pero e :F l, slo a .un giro). Surge Ja pregunta: ,qu es posible
decir sobre las transformaciones efectuadas por otras funciones
de variable compleja y, en particular, por las funciones racionales?
De esta cuestin nos ocuparemos en las pginas que siguen. Pero,
para que el lector comprenda que esta tarea no sera un juego,

61
l.~ inrormaremos desde a ho ra que las transformaciones que efectan
las r uniiones racionales de variable compleja, diferencindose por
su ~xtraordinaria variedad y por la riq ueza de sus propiedades
geofotricas, p9seen, junto con ello, algo en comn. Justamente
aunque con estas transformaciones en general var an el tamao
y la forma de la figura, quedan invariables, sin embargo, las
magnitudes de los ngulos e.ntre cualesquiera lneas pertenecientes
a la figura estudiada>.
En casos particulares de las (unciones z' = z + a y z" = cz
la invariabilidad de los ngulos en las figuras a transformar
se deduce directamente de que aqu se trata de transormaciones
de desplazamiento (traslacin), homotecia o giro. Lo extraordinario
consiste en que este fenmeno se observa tambin para las
t ransformaciones eettuadas por medio de todas funciones racionales
de variable compleja y mediante muchas otras funciones de
variable compleja ms generales y complicadas, llamadas analticas.
Acerca de estas ltimas no podemos, sin embargo, referirnos en
este pequeo libro.
22. Las transforma.ciones geomtricas con las c uales no varan
los valores de los ngulos entre dos lneas cualesquiera contenidas
de la figura a transformar son denominadas transformaciones
conformes y an con mayor frecuencia representaciones conformes.
Como ejemplo de representaciones conformes pueden servir el
desplazamiento, la homptecia y el giro a ntes examinados. Ms
adela nte se dan otros ejemplos. Ahora mostraremos que significa
la condicin, pr:esente en la definicin de representacin conforme
de que no vare~ los ngulos entre dos lneas cualesquiera de la
figura a estudi~r. Examinemos el cuadrado ABCD ad yacente a los
ejes Ax y Ay (dib. 26). Transfor mmoslo en otra figura de modo
tal que q uede invariable Ja abscisa x de cada punto, mientras que
t ordenada y aumenta el doble. En este caso, por ejemplo, el
punto K se transforma en K ' y L , en L': Si se transforman de este
moqo todos los puntos del cuadrado, evidentemente el cuadrado
BCD se transformar e n el poJgono ABC'D' con la misma base
y el dol?le de ~ llura. Con eslQ, ~I lado AB se transforma en s
mis.roo (todos los puntos quedan e n sus lugares, ya que sus
ordena das eran iguales a cero y despus de dupLicarlas quedan
iguales a cero), AD se transforma en. D', DC en D'C' y BC en BC'.
1 Hablando en rigor, aqui pueden haber puntos tales
que los ngulos cuyos vrtices coincidan precisamente con esos puntos,
varen aumentando en dos, tres o ms numeros enteros de veces. Pero
esos puntos son slo excepciones de la regla general.

..

62
Sin duda, los ngulos entre )os lados que eran rectos lo segu1ran
siendo, es decir, no varan. Examinemos, no obstante, el ngulo
BAC entre el lado AB y la diagonal AC de nuestro cuadrado
(dib. 26) ; este ngulo es igual a 45. Como resultado de la
y

o ---- - -- ~e

o' - - - - - - - -J?C'

/ 1

I
I
I

<{- - 1

- - ~p

'

11

1
1

K'

1
1

e
p

l.
A

DIB. 26

01a.

rr

transformacin, el lado AB queda en su lugar, mientras la lnea

AC se ti:ansorma en la lnea AC' (por qu?). Por consecuencia,
el ngulo BAC se transforma en otro ngulo (mayor), el BAC',
es decir, no queda invariable. Si en vez del ngulo BAC se toma
el ngulo PQC, con vrtice situado en .otro punto (arbitrario)' Q
del cuadrad ABCD (dib~ 27), ser fdl demostrar que este ngulo
vara tambin con la transformacin examiRada.
Do todo esto se saca la siguient conclusin: aunque los
ngulos del mismo cuadriltero ABCD no varan con la transfor
cin a examinar (ellps eran y siguen siendo rectos), sta no es una
transformacin conforme, ya que para todo punto perteneciente
al ABCD es posible indicar un ngulo, con vrtice en este punto,
que vara (aumenta) a l efectuar esta transformacin.

23. Antes de proseguir es necesario aclarar al lector que es

lo que precisamente se entiende como ngulo entre dos lneas
curvas QR y QP que se cortan en cierto punto Q (dib. 28).
Tomemos en la curva QP un punto cualquiera Q1 , diferente
de Q y tracemos la secante QQ 1 Del mismo modo en la curva

63
QR- lomemos el punto Q2 , d iferente de Q y tracemos la secante
QQ2. El valo r del ngulo Q 1 QQ 2 puede aceptarse como va lor
aproximado del ngulo curvilneo PQR. Cuanto ms cerca del punto

Q estn situados los puntos Q 1 y Q2 , las secantes pasarn tanto

p/
/

T,

R
Q

Q
OlB. 28

0111. 29

ms estrechamente a las curvas QP y QR, en las cercanas del

punto Q. Es por ello que el ,ngulo Q 1QQ 2 puede ento nces tomarse
como ms y ms aproximado al valor del ngulo que forman
nuestras curvas en el punto Q. Si Q 1 se desplaza por la curva
QP y Q2 por la curva. QR, acercndose ilimitadamente a Q, las
secantes QQ 1 y QQ 2 giran alrededor del punto Q, acercndose
a la posicin lmite QT 1 y QT 2 Los rayos QT 1 y QT 2 son ms
estrec hamente adyacentes a nuestras curvas cerca de este punto
que cualesquiera otros rayos que pasen por Q. Estos se denominan
tangentes a las curvas QP y QR, mientras que el ngulo T 1QT 2
entre ellas se toma como medida del ngulo en el punto Q entre las
curvas Ql' y QR. Se lla ma ngulo entre Jos curvas que se cortan
en Cierto punto el ngulo entre las tangentes. a la curva, trazadas
en ese punro.
Esta definicin es vl ida para el caso del ngulo fo rmado en el
punto Q por cierta curva QP y Ja recta QR (dib. 29). Sea QT 1
la tangente a QP en el punto Q. Para emplear la definicin hay

64
q ue sustituir la recta QR por su tangente. Pero es fcil comprender
que la rangente a la recia QR cqindde con esta misma recta.
En realidad, para obtener la secante debe tomarse en QR el punto
Q1, diferente de Q y trazar la rect a que pase por Q .y Q1
Evidentemente. sta ser la misma recta QR. Si Q 1 tiende a Q.
la secante que hemos obtenido queda invariable. Por ello, la
tangente, que es la posicin limite de la secante, resulta nuevamente
la recta QR . Por consiguiente, debe entenderse como ngulo entre
la curva QP y la recta QR el ngulo entre la ta ngente QT 1
a Ja curva QP en el punto Q y la misma recta QR. Puede
ocurrir que QR sea la tangente a QP (es decir, que QR coincida
con QTd; entonces el ngulo entre QR y QP se hace cero.
Por consiguiente, el ngu lo en el punto Q ent re la curva y la
tangente a ella, trazada por ese punto, es igual a cero .
24. Las representaciones conformes tienen mltiples aplicaciones.
Po r ejemplo, ellas se emplean en cartografa durante el trazado
de mapas geogr fi cos.
Cada mapa geogrfico es la representacin de una parte de la
superficie terrestre en el plano (en la hoja de papel). En el caso
de tal representacin los contornos de los continentes, mares
y oca nos sufren mayor o menor deformacin. El lector puede
convencerse fcilmente que resulta imposible sobreponer en el plano
un trozo de superficie esfrica (por ejemplo, un trozo de una
pelotilla de tenis de mesa rota), sin alargamientos ni compresiones,
sin roturas ni pliegues. Por esta misma causa es imposible
representar en el plano una parte de Ja superlcie terrestre
(a Ja que puede consid.erarse como una esfer;a) si n deformacin
de las proporciones y, p or lo tanto, sin infringir la for ma, es decir.
trazar un mapa. No obstante, puede trazarse un mapa sin variar
las magnitudes de los ngulos entre diferentes lneas de la superficie
terrestre.

Supongamos q ue debe trazarse un mapa del hemisfer io norte

en el que todos los ngulos entre las dierentes direcciones sobre
la corteza terrestre se dan en tamao natural. Para representarnos
claramente como puede lograrse esto imaginmosnos un gran globo
terrqueo de material transparente, por ejemplo, de vidrio,
recu bierto con una capa de pintura o paca de modo tal que slo
queden transparentes los contornos de los continentes, pases
y mares situados en el hemiserio norte, y tambin la red de
meridianos y paralelos. Si en el polo s ur del globo se fija una
lamparilla elctrica, pequea pero intensa y frente al globo, en forma
perpendicular a su eje, se ha colocado una pantalla, entonces,

65
en una habitacin oscura veremos sobre la pantalla el mapa mudo
del hemisferio norte. Es posible demostrar geomtricamente que
en tal mapa. (ella se denomina mapa en proyeccin estereogrfica)
todos los ngulos entre cualesquiera lneas en el globo, en el
hemisfero norte, se dibujan en tamao natural.
Si se deja sin pintar el lado (curvilneo) de un ngulo cualquiera
PQR con vrtice en cualquier punto del hemisferio norte, en la
proyeccin estereogrfica este ngulo se dibuja en tamac natural
(dib. 30).

DIB.30

25. Hemos explicado como es posible obtener el mapa del

hemisferio norte conservando la magnitud natural de todos los
ngulos. Si la fuente luminosa (la lmpara), de donde parten Jos
rayos de proyec~i n, se coloca en el polo norte del globo y no
~n el polo sur, puede as obtenerse el mapa del hemisferio sur,
conservando las magnitudes naturales de todos los ngulos. Cada
uno de los mapas obtenidos por el mtodo indicado representa
s-10

66
una cierta figura plana; si la sotnetemos a una representacin
conforme, se transformar en otra figura la que tambin puede
considerarse mapa geogrfico. Como durante la representacin
conforme los ngulos no varan. en el nuevo mapa se conservarn
las magnitudes naturales de los ngulos entre las direcciones

DIB. 31

en la superficie terrestre. En el db. 31 se representa el mapa

de Groenlandia: en la parte derecha, en proyeccin estereogrfica
y, en la izquierda, el mapa que se obtiene del precedente si
a cada uno de sus puntos se aplica la transformacin segn
la frmula:
z' = lo~ I z 1 + i Arg z.
Aqu, como base de logaritmos se toma el nmero neperiano
e = 2,71828 ..., y Arg z se mide no en grados sino en radianes.
Sin dudas, , esta frmula tiene aspecto complejo y artificial.
No tenemos posibilidades de examinarla en detalle y comprobar
que la transformacin efectuada por esta frmula es. en realidad,
conforme. Diremos, solamente, que el mapa obtenido como resul-

67
tado de esa transformacin fue trazado por el cientfico flamenco
Mercator hace ya 400 aos. Desde entonces el mismo se emplea
ampliamente en la navegacin. Sus ventajas respecto del mapa
trazado en proyeccin estereogrfica consiste en que ~qu no slo
Jos meridianos sino tambin Jos paralelos se representan como
lneas rectas, representndose tambin como lneas rectas todos los
recorridos sobre la superficie de la Tierra, a lo largo de los cuales
la aguja del comps conServa su direccin invariable (las llamadas
loxodromias).
26. Las aplicaciones ms importantes de las representaciones
conformes estn relacionadas con problemas de la fsica y la
mecnica. En muchos casos, cuando se trata, por ejemplo, del
potencial elctrico en los puntos del espacio que rodea un
condensador cargado o de la temperatura dentro de un cuerpo
caliente o de Jas velocidades de las partculas de lquido o gas
en una corriente que fluye por un cierto canal, y que contornea
al mismo tiempo cjertos obstculos, etc, es necesario poder
calcular el potencial, la temperatura, la vel9Cidad, etc. Este tipo
de problemas puede resolverse sin grand~ dificultades cuando los
cuerpos que en e!Jos se consideran posean forma suficientemente
sencilla (por ejemplo, placas planas o cilindros circulares). Sin
embargo, es necesario saber efectuar el clculo en muchos otros
casos. Por ejemplo, para poder efectuar los clculos correspondientes al disear un avin se debe saber calcular la velocidad
de las partculas de aire en Ja corriente que contornea el ala
del avin l.
El corte transversal del ala del avin (o perfll del ala) posee
Ja forma expuesta en el dib. 32, a. Pero, por otra parte, el clculo
de velocidades se efttta con suma facilidad si el corte transversal
.del cuerpo aerodinmico es un drculo (es decir, cuando el cuerpo
mismo es -un cilindro circular) (dib. 32, b).
As, resulta que para reducir -el problema relacionado con las
velocidades de las partculas de Ja corriente de aire, que contornea
el ala -del avin, al problema ms sencillo del contorneo de un
~ilindro circular, es suficiente efectuar la representacin conforme
de la figura sombreada en el dib. 32, a (parte exterior del ala)
en la figura sombreada del dib. 32, b (el exterio:- de utUJ circun> Durante el vuelo del avin se desplazan tanto las
panculas de aire como la misma ala. No obstante. basndose en las leyes
de la mecnica se puede reducir la investigacin al caso en que el ala
es inmvil, mien1ras que la corriente de aire avanza hacia el ala y la
contornea.

68
ferem:ia). Esta representacin se lleva a cabo por medio de una
cierta funcin de variable compleja. Conociendo esta funcin es
posible pasar de las velocidades en la corriente que contornea
un cilidro circular a las velocid~des en la corriente que contornea
el ala del avin y, por consiguiente, resolver totalmente el problema
planteado.

o)

O)
DIB. JZ

La representacin conforme permite, de modo an logo, reducir

la resolucin de los problemas reljlcionados con el clculo del
potencial e"lcirico y fas temperaturas en el caso de cuerpos de
form a arbitraria (cualquier perfil de corte) al caso ms sencillo,
do nde el problema .ya ha sido resuelto. El paso inverso al espacio
que contornea los cuerpos electrizados (o calentados) originalmente
dados, se alcanza con ayuda de la misma uncin de variable
compleja que efecta la representacin conforme.
27. T odo lo dicho acerca de la aplicacin de la representacin
confoi:me en problems de cartografa, mecnica y fsica no fue
acompaado por ninguna demostracin. En este libro no podremos
dar estas demostraciones ya que su comp rensi!)n exigira del lector
conocimientos que slo se dan en los Centros de enseanza
superie5r.
Ahora, hasta el final de este libro, nos ocuparemos de las
funciones racionales ms sencillas, con ayuda de las cuales es
posible eectuar algunas representaciones conformes. He aqu las

funciones a que nos referimos: l) z'

fraccionaria lineal); 2) z' ==

z
2

3) z'

z-a
=-

=~

z -b

(llamada fimci11

(z + +) La ltima lleva

NIKOl. AY F.GOROVICH Z.H UKOVSKY (1847- 1 ~?1) UTIUZ AMPLIAMEJ\lfE LOS

"(!MEROS COMPLEJOS Y Rl:PRESENfACIONES CONFO RMES PARA EL C LCULO
DE AVfONE.'i

70
el nombre del conocido cientfico sovitico Nikolai Egrovich
Zhukovski ( 1847 -1 921.), a quien V. l. Lenin llamara con j usticia
padre de la aviacin rusa. Se denomina la misma funcin
de Zllul(ovski debido a que N. E. Zhukovski Ja aplic exitosamente
para resolver ciertos problemas relacionac;ios con la aeronutica;
en particular, l mostr cmo pueden obtenerse, con ayuda de esa
funcin, ciertos perfiles de ala de avin que presentan valor tanto
terico como prctico.
Ms adelante retornaremos a este aspecto de la aplicacin
de la funcin de Zhukovski.

P'

... ... ___ , ,. ,,,,,,, "

oia. 33

28. Comencemos con la funcin fraccionaria lineal z' =

z-u
= - -. Aqu a y b son nmeros complejos desiguales.
z-b
Demostremos que mediante esta funcin cada arco P I,Q de Ja
circunferencia que une los puntos a y b se transforma en cierto
rayo rectilneo P'L' que parte del origen de coordenadas y, adems,
el ngulo entre la direccin positiva del eje real y este rayo
es igual al ngulo entre la direccin baN y la tangente al arco
tle circunferencia en el punto a (dib. 33).
Supongamos que el punto z est situado en el arco PUJ
(dib. 33, izguierda); demostremos q ue su representacin (es decir,
el punte z'

z- a

= - - correspondiente
z- b

a l debe pertenecer al rayo

P'L' (dib. 33, derecha). Para trazar el vector z' es necesario conocer
la lo ngitud de este vector (1 z' 1) y el ngulo de inclinacin entre
el y la parte positiva del eje real (Arg z'). Pero t es el cociente

71
de los nmeros complejos z - a y z - b representados por los
vectores PR y QR. Por ello 1z'1 =

f z-al

lz- bf

y el Arg z' es igual al

ngulo SPR (los vectores PS y QR son iguales),

medido en la
,,,,,.......
,,,,,.......
direccin de PS a PR. Es evidente que SPR = QRP *1 y, por
consiguiente, se mide en la mitad del arco QMP . La mitad
de este arco tambin sirve para medir el ngulo N PT Por lo
~
,,,,,.......
,,,..._,
tanto Arg z' = SPR = QRP = NPT= <>. As, para cualquier posicin de los puntos z en el arco PLQ los puntos correspondientes
z' = ~ poseen un mismo argumento <p. Y esto significa que

z-b

todos estos puntos estn situados en un mismo rayo P' L' inclinado
bajo un ngulo q> hacia la parte positiva del eje real.

Esta conclusin tambin es vlida cuando PLQ no es arco de

una circunferencia sino un segmento rectilneo PQ. Entonces hay
que considerar el ngulo <> = 180? y el rayo P'L' coincidente con

180

~
L' R'
P'
x'
DIB. 34

la parte negativa del eje real (dib. 34). En realidad, si z est

situado en el segmento PQ, los vectores que representan a z - a
y z - b, estn contrariamente orientados. De aqu se deduce que
z-a
el cociente z' = - - es un nmero real negativo, es decir, z' est

z-b

situado en la parte negativa del eje real..

Hemos demostrado que las representaciones de los puntos del
arco PLQ estn situadas en el rayo P'L'. Pero stas llenan todo
el rayo P'L' o en este ltimo l:tay puntos que no son la representacin de ninguno de los puntos del arco P LQ? Demostremos
que Jas representaciones Unan todo el rayo.
> la notacin A'i? signjfica: ngulo ABC.

72
Empecemos con el punto P' (el origen de coordenadas); este
z-a
punto es Ja representacin del punto P, ya que z' = - - es
z -b
igual a cero cuando z = a. Tomemos un punto z' .cualquiera
en el rayo P'L' (dib. 35). diferente de P' (es decir, z' '#O). Resulta
evidente que z' no puede ser un nmero real positivo, ya que el
rayo P 'L' no coincide con la parte positjva del eje real.

P'
OIB. 35

z-a

Tomando z como incgnita, resolvamos la ecuacin z' = - ,

z- b
respecto a z; hallamos que zz' - z' b ::::: z - a, de donde z =
z'b - a
= - - - As. para cada punto z' perteneciente al rayo P'L'
z' - 1
existe un valor y slo uno de z tal que z'

z-a
z -b

= - -, es

decir, tal

que z' sea la representacin de z. Pero dnde est situ~do este

punto z? Puede ser que no se encuentre en PLQ? Cerciormonos
de que esto es imposible. Antes que nada, el punto z no puede
estar situado en la recta que es la prolongacin del segmento PQ
(fuera de este segmento). En caso contrario los argumentos de
los nmeros z - a y z - b hubieran sido iguales y z'

z-a
-
z-b

= -

hubiera sido un nmero positivo. Pero si z no est situado en

la rC(:ta indicada fuera del segmento PQ, entonces P y Q pueden
unirse mediante un arco de circunferencia de modo tal que este
arco pase por z (si suponemos que el punto z est situado en el

73
segmento PQ, en vez de un arco conviene tomar ese mismo
segmento). Designemos este arco por PL 1Q; como ste es diferente
de PLQ, su tangente en el punto P formar con la direccin baN
el ngulo cp 1 , diferente de <p (dib. 35). Por eso, el valor de la

z-a
z-b

funcin z' = - - en este punto debe representarse por un punto

del rayo P' L' inclinado hacia la parte positiva del eje real bajo
un ngulo q> 1 y, por consecuencia, no coincidente con P'L'.
Llegamos a un absurdo, pues obtuvimos que el punto ~. diferente
del punto P', debe hallarse tanto en el rayo P'L' como en el rayo
P'L'. As hemos demostrado que cada punto z' perteneciente a P'l'
es la representacin de un nico punto z

(z = zz''b-- 1a), donde z

pertenece a PLQ. De esa manera, s el punto z' recorre todo el

rayo P' L', el punto z correspondiente al primero, determinado
de la ecuacin z'

z- a

= --,
z-b

recorrer el arco PLQ .

Al fin demostremos que si z describe el arco PLQ, desplazndose

en una misma direccin desde el punto P hacia el punto Q,
el punto z' describe el rayo P'L' tambin en una misma direccin,
alejndose infinitamente del punto P'. Para esto es suf ciente demostrar
1z - a 1 PR
sen~
que la d istancia P' R' = 1z' 1=
= - - = - - (dib. 33),
1z - b 1 QR
sen a;
crece con el movimiento indicado del punto z, tomando valores
infinitamente grandes. Pero q> + <X+ P = 180'\ de donde p =
= 180 - (<X + <p), sen p = sen (o:+ <>) = sen <X cos <(> + coso: sen q> y,
sen a cos <p + cos a sen <p
por consiguiente, P'R ' = 1~1 =
= cos <p +
sen a
+ sen <p ctg <X. Cuando el punto z se desplaza por P'LQ desde P
hacia Q, el ngulo cx disminuye desde 180 - <P hasta cero y el
ngulo <P queda invariable. Por lo tanto la ctg a; crece desde el
valor -ctg <p hasta '+ oo y 1z' 1 cos <p + ctg ex sen q> tambin crece
(en virtud del valor positivo del nmero sen cp) desde el valor
cos q> - ctg q> sen q> =O hasta + oo.
29. Examinemos una circunferencia PLM que pasa por el punto
a, pero
pasa por el punto b (dib. 36). Sea igual a <> el ngulo
entre Ja tangente en el punto a y la direccin baN. Tracemos una
circunferencia auxiliar que pase por los puntos a y b, para la cual
la tangente en el punto a formara con la direccin baN un
ngulo <p + 90. Esta circunferencia cortar la primera circunferencia

no

74
en cierto punto

E~

designemos con e el nmero complejo que este

z-a
z-b

punto representa. Demostremos que mediante la funcin z' == -

la circunferencia PLM se transforma en la circunferencia P' L' M

(dib. 36) que . toma como dimetro el segmento P' E' donde el
punto P' representa el nmero O y el punto E' el nmero e' =

e- a
c-b

= - - . Con esto la tangente a la circunferencia

P' L' M' en el

punto P' forma con la direccin positiva del eje real un ngulo

Q)

q>.

b)
DIB.J

As, nos proponemos demostrar que para cada punto z pertez- a

neciente a P LM, el punto z' = - - correspondiente se halla en
z - b
la circunferencia P' L'M', para la cual los puntos O y e'

e.._ a

=--

t - b
son los extremos del dimetro. Evidentemente, es suficiente demostrar
z-a
que de cada punto z' == - - (si z pertenece a PLM), el segmento

z-b

P' E' se ve bajo un ngu1o recto, es decir, que el ngulo E' R' P'

75
es un ngulo recto *1 Pero el ngulo E' R 'P' formado
vectores E'R' y P'R' que representan los nmeros z' es igual al ngulo S' P' R' (los vectores P' S' y E' R' son
medido en la direccin de P'S' a P'R'. Este ltimo ngulo
z'
al Arg -.--. por ello, el ngulo P'R'E' que nos interesa

z -e'

por los
e' y z',
iguales),
es igual
tambin

/'...

coincide con el argumento del nmero - - - , es decir, P'R' E' =

z' - e'

= Arg

t -

. Transformemos la expresin

z-a
z-b

i
t - ~

sustituyendo

e-a
. Obtendremos :
c-b

z' por - - y e' por - -

z'

z-a (z-a e-a) =

z' - e' = z - b :

z - b -

e- b

z - a (z - e) (a - b)
z -a b- a
z"
= - -: ------ = - - : - - = z - b (z - b) (e - b}
z-c b-c
b"

z -a
z -c

b-a
b -c

Aqu tomamos que - - = z'' y - - = b". Es evidente que z"

es tambin una funcin fraccionaria lineal de z. Esta funcin
z"

z-a
z-a
se diferencia de nuestra funcin inicial z' = - - z- c
z- b

= --

slo en Ja sustitucin del punto b por el punto c. Para esta nueva

funcin es vlido lo desmostrado en el punto 28. O sea, si el punto
z se halla en el arco de circunferenca que une a con e, el punto z"
deber hallarse en un rayo recti1nco que sale del origen de
coordenadas. En este caso si la tangente al a rco de circunferencia
en el punto a forma con la direccin caU, un cierto ngulo, el
rayo rectlneo forma tambn con la direccin positiva del eje real
un ngulo a; en otras palabras, el argumento z" es igual a ex.
Como el punto z se encuentra en el arco de circunferencia PLE,
que pasa por los puntos a y e y el ngulo entre la tangente PT 1
a esta circunferencia y la direccin caU es igual a 3 + <> (dib. 36, a).

*' Porque los puntos del plano. de los cuales el

segmento dado se ve bajo un ngulo recto. pertenecen a la circunferencia
que tiene como dimetro este segmento.

76
z -a

entonces el argumento del nmero z" = - -

z-c

tambin debe ser

igual a f3 + q> para todas las posiciones de z en el arco PLE.

Por otra parte, el punto b pertenece al arco P VE de la circunferencia
que une los puntos a y c. La tangente PT 2 a esta circunferencia
forma con la direccin caU, en el punto a, el ngulo (~ + cp) - 90
(el valor absoluto de este ngulo es igua l a 90" - W + cp), pero
del dib. 36, a se infiere GUe en nuestro caso se mide en direccn
negativa y, por consiguiente, conviene tomarlo con signo menos).
Por eso, el

valor de

la

uncin

fraccionaria

que corresponde a z = b, es decir, el nmero b"

z-a
z-c

lineal - -

b- a
b-c

- -debe ser

representado por un punto del rayo que parte del origen de

coordenadas bajo un ngulo (~ + <p) - 90 respecto de la direccin

positiva del eje real, o sea, Arg b" = (~ + <1>) - 90,,,

Recordemos que queramos determinar el ngulo:
z'
P' R' E' = Arg - - z' - e'

DIB. 37

z'
z"
Hemos hallado que - -- = - y, a continuacin, que
z' - e'
b"

77
z''

de donde se deduce que Arg-

~
P'R'E'

= Arg -

= 90

(dib. 37) y

z"
== Argz' - e'
b"
z'
-

= 90.

As, el segmento P' E' se ve desde cada punto z'

z -a

= - -, bajo un
z- b

ngulo recto. Esto significa que el punto z' est situado en la

circunferencia P'L'M ', cuyo dimetro es el segmento P'E'
An es necesario demostrar que Ja tangente a esta circnferenc1a
en el punto P' forma con la direccin positiva del eje real un
ngulo c:p. Para esto es suficiente demostrar que el ngulo entre
el dimetro P' E' y esa direccin del eje es igual a q> + 90.
e - Cl
Este ltimo ngulo coincide con A,rg e'= Arg - - . Pero el

*'

c- b

punto e est situado en el arco de circunferencia P F.Q que une

"los puntos a y b. Como la tangente' a este arco en el punto a
forma con Ja direccin baN el ngulo 90 + c:p, el punto e' =

= -e-a
-

c-b

debe situarse en el rayo que tambin forma con la

direccin positiva del eje real el angulo 90~ + <>, es decir,

Arg e' = 90 + q, que es lo q~e h.a sido necesario demostrar.
30. En calidad de ejemplo hay que examinar en qu se transforma la figura sombreada en el dib. 38, izquierda, al representarla
mediante la funcin z' = z - 1 . Esta funcin tiene la forma

z+1
z-a
- - , siendo a = 1 y b = - 1. Como el arco PLQ pasa por los
z-b
puntos 1 y -1 y en el punto a= 1 forma con la direccin QPN
el ngulo q>, segn el punto 28 se transforma en el rayo P'L' que

> Durante la demostracin nosotros hemos lomado

el punto z en el arco PL E; en este caso el punto z' correspondiente
se encuentra en la semicircunfere ncia P'L 'E'. Si tomamos el punto
el arco EM P, Ja demostracin no varia ; slo hay que sealar
Ja direccin de la tangente a este arco en el punto a es contraria
de PT 1 Esto significa que Arg z" no ser igual ~ ~+~ sino a. l + ~ /"...
Po r eso, para el angulo P'R'E'

'
=Arg _z_'
z' - e

z en
que
a la
180.

obtenemos el valor (j} +

+ qi - 180) - (j} + q> - 90) = -:-90. Esto corresponde a la posicin del

punto z' en la semicircun fere ncia 'M'P'.

78
parte del origen de coordenadas y tambin forma con la direccin
positiva del eje real un ngulo <p. El arco PMQ une esos mismos
puntos l y -1 pero en el punto a = 1 forma con la direccin
QP N el ngulo <p - 180" (el valor absoluto de este ngulo es igual
a l 80c - <> ; sin embargo, hemos tenido en cuenta que l se mide
en la direccin de las agujas del reloj, es decir, en direccin
z- 1
negativa). Por ello, la funcin z' = - - transforma el ngulo

z+ 1
PMQ en el rayo P'M' que entra del origen de coordenadas

y forma con la direccin positiva del eje real el ngulo <p - 180.
Es evidente que los rayos P' L' y P' M' forman en conjunto una recta;
z - 1
por consiguiente, la funcin z' = - - transforma toda la cir-

z+

cunferencia PLQM (compuesta de los a rcos PLQ y PMQ) en toda

la recta M' P' L'.
Tracemos a travs de los puntos P y Q el arco de una circunferencia auxiliar, para la cual Ja tangente en el punto P for ma
con QPN el ngulo q> + 90. Este arco corta la circunferencia PRS
e n el punto E. Segn el punto 28, el arco PEQ se transforma
media nte la funcin z'

z- 1

= -z+ 1

en el rayo entrante del punto P'

e inclinado bajo un ngulo <p + 90 ~ respecto de la direccin

positiva del eje real. Con esto el punto E se transforma en cierto
punto E' de este rayo. Segn el punto 29, la circunferencia PRES

z -1

se transforma, por medio de la funci n z' = - - , en la circun-

z+

feren cia P'R 'E'S' que tiene P'E' como dimetro.

As, como resultado de la transformacin, la circunferencia
PLQM convierte en la recta M' P'L' mientras la circunferenda PRES,
tangente interior a la primera, se transforma en la circunferencia
P' R'.E'S', tangente a 1a recta M'P'L' en el punto P'. Podemos
considerar resuelto el problema de Ja transformacin de la figura
z- 1
sombreada por medio de la funcin z' = - - ? No, este proz+1
blema a n no ha sido resuelto hasta el linal, ya que nosotros
slo hallamos en qu se transforma el contorno de esta figura,
y- es necesario observar la transformaci n de los puntos de la
figura contenidos entre las circunferencias PRES y PLQM.
Para aclarar esta parte del problema, sealemos que toda la

79
figura sombreada podra llenarse con circunferencias. tangentes
a PLQM en el punto P y contenidas entre PRES y PLQM.
Estas circunferencias cortarn el arco PEQ en los puntos situados
entre E y Q. Del nmero infinito de dichas circunferencias en el
dib. 38 se exponen mediante lneas de trazas tres que cortan el

DlB.31

arco PEQ en los puntos E1t E2 y E 3 . S observamos con atencin

las lineas en que se transforman estas circunferencias mediante la
funcin z' = L.=...l, podremos darnos una idea acerca de la orma
z+1
de la ligura llenada con todas esas lineas. Esta ser la figura
transformada.
Pero, empleando las deducciones obtenidas en el punto 29,
tenemos que Ja circunrerencia PR 1 E 1S1 se transforma en la
circunferencia P'R~E'1 S', la circunferencia PR 2 E 2 Sl en P'R',, E',,S. etc.
Al final del punto 2is hemos demostrado que a medida que
el punto z se desplaza por el arco PQ, acercndose a Q, el punto
t correspondiente se desplaza por el ra)'o, alejndose del punto
inicial P'. De ~qui se de.duce que si el punto E 2 est situado
m'S cerca de Q que el punto Ett E; que es la representacin
del punto E 1 , estar situada en el rayo, pero ms lejos de P' que
E, la representacin del punto E1 Por .esto. el <ti'iimctro P'E
de la circunferencia P'RESl que es la representacin de la
circunferencia PR 2 E 2 S2 debe ser mayor que el dimetro P'E~
de la circunferencia P'R'1E'1S'1 que es la representacin de la
circunferencia PR 1 E 1Si. como se muest.ra en nuestro dibujo. Si

80
tomamos una circunferencia PR 3 E3 S3 que corte PEQ suficientemente
cerca de Q, es posible lograr que su representacin P'R'3 E3S3
tenga un dimetro tan grande co mo se quiera. Adems, puede
demostrarse que a cualquier circunferencia tangente a la recta M'L'
en el punto P' y situada en la parte so mbreada del plano
(dib. 38, derecha), le corresponde cierta circunferencia tangente a las
circunferencias PRES y PLQM en el punto P y que est situada
e n el interior de la figura sombreada (dib. 38, izquierda). Est
claro que todas las representaciones de circunferencias, tales como
'R 1 E 1 S i. PR 2 E 2 S 2 , PR 3 E 3 S 3 , etc. que llenan la figura sombreada
en el dib. 38, izquierda, llenarn a su vez la figura sombreada
en el mismo di bujo (lado derecho). Esta es la representacin
de la figura orig inal al efectuar la representacin mediante la funcin

z'

z-1
=-. As,

z+ l

la funcin z'

z-1

= -z +I

representa la figura limi-

tada por dos circunferencias (dib. 38, izquierda), en una figura

limitada por una recta y una circunferencia (dib. 38, derecha).
31. Ocupmonos ahora de la transformacin. por medio de Ja
funcin z' = z2 En Ja llamada al pie de la pg. 61, hicimos notar
al lector Ja posibilidad de excepcin de la regla general a cerca
de la conservacin d'e los ngu los al efectuar las transformaciones
por medio de funcio nes racionales y, precisando, que los ngulos
con vrtices en ciertos puntos exclusivos pueden variar en varias
veces. En el caso dado tenemos tal punto e xclusivo: el punto A
u origen de coordenadas. Demostraremos que con Ja transformacin
2
z' = z todos los ngulos con vrtice en A aumentan a l doble.
T omemos el rayo AM que pa rte del punto A y forma un ngulo
<p con la parte positiva del eje real (<lib. 39). Para cada punto :
situado en este rayo, Arg z = <p. Como e l vector z' = z 2 = z . z se
obtiene del vector z mediante su alargamiento en 1 z 1 veces y su
giro el ngulo Arg z = <>, entonces, 1z' 1 = 1z 1z 1 = 1 z 11 y Arg z' =
= Arg z + Arg z = 2q. Por eso, el punto z' deber estar situado
en el rayo A'M ' que parte del punto A' y forma con la parte
positiva del eje real el ngulo 2q>. Si el punto z se desplaza por
AM a partir del punto A, alejndose ilimitadamente de ella, el
punto z' respectivo se desplazar por A'M' a partir del punto A'
alejndose ilimitadamen1e de e lla; con esto. la distancia de z' a A'
siempre ser igual al cuadrado de la distancia de z a A (j z' 1 = 1 z 12 ).
De aqu se deduce q ue la fun cin z' = z2 transforma el r ayo
AM en el rayo A'M', inclinado respecto del eje A'x' bajo un
<ingulo igual a l doble respecto del ngulo de inclinacin originario.

81
Es fcil entender que el rayo A P que forma con Ax el ngulo

cp + -180 (AM y AP pertenecen a una m isma recta), se transforma,

por medio de la funcin z' = z 2 , en ese mismo rayo A'M '.
En efecto, si se duplica el ngulo cp + 180 se obtiene 2cp + 360;
bajo este ngulo, el rayo inclinado hacia A'x' coincide con A'M'.
Veamos en qu se transforma debido a la funcin ;:' = z2
la figura sombreada en el dib. 39, izquierda que se denomina

x'

' '\.

R'
OID.39

semplano. Es posible considerar el semiplano como formado por

innumerable cantidad de rayos que parten de A' y estn inclinados
respecto de Ax bajo ngulos mayores que q> pero menores que
q> + 180'>. Los rayos AM y AP forman el limite del semiplano
(una recta); no obstante, no vamos a adjuntar estos rayos al mismo
semiplano. La funcin z' = z 2 transforma los rayos pertenecientes
al semplano en todos los rayos posibles que parten de A' y que
estn inclinados hacia A'x' bajo ngulos mayores de 2q pero
menores de 2q> + 360.
De aqu se deduce que el semiplano limitado po r los rayos
A M y A P se transforma e n la figura limitada por un solo rayo,
el rayo A'M' (dib. 39, derecha). Esta ltima figura puede caracteri7.arse
como un plano del que se ha exluido el rayo A'M'. Expresndonos
de este modo queremos subrayar que esta figura est formada por
todos los puntos del plano excepto aquellos puntos que pertenecen
u A' M '. Si en el scmiplano to mamos dos rayos cualesquiera AQ
6- 10

82
y AR, inclinados respecto de Ax bajo los ngulos <p 1 y <> 2 (q> 2 > q> 1),
ellos forman entre s el nguJo <X= q> 2 - q>1 . Como resultado
de la transformacin z' = z1 estos rayos se convierten en A'Q'
y A' R' inclinados bajo los ngulos 2<> 1 y 2<> 2 respecto de A'x'.
Es evidente que el ngulo Q'A'R' es igual a 2cp 2 - 2<p 1 ~

= 2 (q>2

- <p,)

= 2<X.

De ese modo, los nguJos con vrtice en A se doblan con la

transformacin z' = z2 , en otras palabras, en el punto A se
transgrede la conformidad de la representacin.
32. Mostremos que los ngulos con vrtice en cualquier punto
z0 #O no varan con la transformacin z' = z 2 De aqu se inferir
que el origen de coordenadas es el nico punto en el que se altera
la confocmidad al efectuar esta transformacin.
Sea L una curva cualquiera que parte del punto z 0 Si tomamos
en L un punto z 1, diferente de z 0 , la direccin de la secante que
une z0 y z 1 coincidir con la direccin del vector Q0 Q 1 que
representa la diferencia z 1 - z0 (dib. 40, izquierda). Mediante la
funcin z' = z 2 la curva l se transforma en cierta curva L' y los
puntos z0 y z 1 en nuevos puntos, z 0 = z~ y z = zi, situados
en la curva L'. Es evidente que la direccin de la secante que une
z0 y z; coincide con la direccin del vector Q0R'., que representa
la diferencia z'1 - z0 (dib. 40, derecha). Comparemos entre s las
direcciones de las dos secantes ; para esto es suficiente comparar
entre s las direcciones de los vectores z'1 - z'0 y z 1 - z 0 Ya que
el ngulo entre ellos, medido desde el veclor z1 - z'O hacia el
.

vector z'1

z(, coincide con el argumento del cociente

Z1 -

toda la comparacin se reduce al clculo del Arg

Z - z'o
Z1 -

cociente

z'1 - z'o

Z' -

Zo

Z -

Zo

puede transformarse, sustituyendo zj y

Zo

El

Zo

por

sus expresiones z'1 = zi y z0 = z5. Obtenemos:

z~ - z~
Z
Zt -

Zo

Z -

Zo

+ Zo

Arg

z'1 -

Zo

Z -

Zo

= Arg (z 1 + z0 ).

Por consecuencia, el ngulo entre las direcciones de los secantes

a las curvas L ' y L. trazadas por los correspondientes pares de
puntos z0 y z 1 (en L) y z'0 = z5 y zi =
(en L') es igual
a Arg (z 1 + z 0 ). Pasando de las secantes a las tangentes, acercaremos
ilimitadamente, por la curva l, el punto z 1 al punto z0 . En este

zi

83
caso, tambin el punto z = zf, por la curva L', tender ilimitadamente
al punto z0 = z~. Por eso, nuestras secantes tambin se acercarn
ilimitadamente a las tangentes trazadas por Jos puntos z0 y z0
y el ngulo entre las secantes al ngulo entre las tangentes. Pero
el ngulo entre ta~ secantes es igual a Arg (z 0 + z1) y cuando z1
tiende a z0 ste tiende a Arg (2z0 ); adems este ltimo coincide
con Arg z0 . As., el ngulo entre las tangentes a las ci.irvas L'
y L trazadas en los puntos correspondientes z0 = z~ y z0 es igual
a Arg z0 Si, por ejemplo, z0 = 2, entonces Arg z0 =O; de aqu se
L'
L

DLS. 40

deduce . que la direccin de la tangente en el punto z0 :::: 2

a cualquier curva L , trazada por este punto, coincidir con la
direccin de la tangente er el punto z0 = z~ = 4 a Ja curva L '
en que la funcin z' = z2 transforma la curva L Si z0 = i, entonces,
el Arg z0 = 90, por consiguiente, la tangente en el punto z0 =
a cualquier curva L trazada por este punto y la tangente en el
punto zi = i 2 = - 1 a la representacin de la curva L', son
perpendiculares entre s.
Volviendo al caso general, podemos decir que cuando las curvas
que pasan por el punto z0 se transforman por medio de la
funcin z' = z2 las tangentes giran un ngulo igual al Arg z0 .
Ahora resulta fcil comprender por qu con esta transformacin
los ngulos con vrtice en z0 (z 0 ::/:O) quedan invariables. Si por
el punto z0 pasan dos curvas L 1 y L 2 que forman en este punto
un ngulo ot, esto significa que las tangentes a las curvas en este
punto forman entre si un ngulo a . Despus de la transformacin,
el punto z0 se convierte en el punto z = z y las curvas L 1 y L 2
en las curvas L'1 y L2. Las direcciones de las tangentes a )as
nuevas curvas, en el punto z0 , se obtienen a partir de las anteriores
direcciones de las tangentes, por medio del giro en un mismo

84
ngulo, igual a Arg z 0 Evidentemente el ngulo entre las nuevas
tangentes conserva su magnitud anterior a. Y esto significa que
a l producir la transformacin z' = z2 el ngulo entre las curvas
con vrtice en <:ualquier punto z0 :/: O no varia.

Sealemos que el mtodo por el cual hemos demostrado la

conformidad de la representacin z' = z 2 tambin puede ser
aplicado a o tras funciones como. p or ejemplo, a la fraccionaria

lineal z'

= :.._:__<~.. o
z- h

a la funcin de Zhukovski z'

= ~ (z + ~).

2
z
Slo en estos casos se o btendrn otras expresiones pa ra el ngu lo
d e giro de la tangente. As, para la 'funcin fraccionaria lineal se
obtiene que las tangentes a las curvas que pasan por el punto z0
(J -

11

Arg

giran un ngulo igual a Arg - --2 y en el caso de la funcin

(Zo - h)
de Zhukovski. un ngulo igual

(1 - z~). En el primer caso

es necesario. adems, suponer que z0

;/::

z- "
z- h

h (la expresin - -

en ese punto no tiene sentido} y en el segundo caso, que z 0 </: O

(por la misma causa) y, a dems, que z0 = 1 (en esos puntos
l -

~
zo

es igual a cero y. por consiguiente, Arg (1 -

~)
Zo

pierde

su st:ntido). Podra comprobarse que en el caso de la funcin

de Zhukovski, en los puntos -1 y + 1 se altera la conformidad:
como resultado de la transformacin los ngulos con vertice en
estos puntos aumentan al d o ble.
33. Examinemos en qu se lransforma, mediante la funci n
:' = :1 una circunferencia que pasa por el origen de coordenadas A .
Sea que la tangente a la circunferencia en ese punto fo rma con
Ax el ngulo cp (dib. 41 ). Es evidente que la circunferencia est
situada en el semiplano li mitado p or esa tangente. La funcin
z' = z2 transforma el _se miplano en un plano con el rayo A' M '
expulsado. Para hallar la representacin de la circunferencia
tracemos en el scmiplano, a partir de A, todos los rayos posibles
y en cada uno de ellos sealemos el punto de interseccin con
la circunferencia. Para precisar, en nuestro dibujo se dan siete
ra yos: todos 1os ngulos MAB 1, B 1 AB2 , B2 AB 3 , ... , B1AP son
igu<1les entre s

(e

iguales a 22-I"} La funci n z' = zi los transforma

85
en rayos que forman entre si ngulos doblados; cada uno de los
ngulos M'A'B'1t B'1 A'B, B2A'B3..., B'-,A'P' es igual a 45.
Calculemos a donde pasarn los puntos B ,, 8 2 8 3 , ., 8 1
Las distancias de ' sus representaciones B'17 B'2 , 8'3 , .., B~ desde
el punto A' sern iguales a los cuadrados de las distancias AB,
AB2 , AB3 , , AB7 . Pero del dib. 41 se ve que AB, = AB 1 :;;: AB4
1"
sen 22
= D sen 22 1 u (D es eJ dimetro de la circunf!rencia);

011 . ...

luego AB6 = AB 2 = D sen 45 , AB~ :;;: AB 3

Queda por sealar que sen 2 22 -

2 - 1,4142...
4

=cos 2 22

1o

== 0 ,1464...,

2 =1 -

sen 2 22

1o

= D sen 67 21 , AB4 = D.
1 - cos 45
2 - 12
u

sen 2 45

= 0,5000... ,

1o

4
1o
sen 2 67 2

= 0,8535... Por consiguiente, A'B? =

86

= A'B' = 0,1464D1 , A'B6 = A'B. = 0,5000D2 ,

A'B' = A'B'3 =
= 0,8S3SD2 , A'B4 = 0 2 : Por los puntos A', B't- B. 8],
..., B; pasa
2
1

la curva que en el caso de la transformacin z' = z. -, es representacin de la circunferencia. Para obtener una
ms exacta
acerca de ella podra haberse tomado mayor cantidad de rayos.
Esta curva es denominada cardioide (la palabra cardioide significa
en forma de corazn). Es fcil comprender que la figura sombreada
en el dib. 4 1, izquierda (se obtiene del semiplano mediante la
e:1pulsin del crculo), se transforma por la funcin z' = z2 en la
figura sombreada y que se muestra en la parte derecha del mismo
dibujo. Esta ltima est limitada por la cardioide y el rayo A'M'
que forma el. ngulo 2<p con la direccin positiva del eje real.
Puede demostrarse que el rayo A' M' est dirigido por la tangente
a cada uno de los dos arcos de la cardioide que parten del punto A .
Tracemos en el dib. 41, izquierda un rayo arbitrario AB y supongamos que B designa el punto de su interseocin con la
circunferencia; si el ngulo MAB = 0t, entonces AB = D sen a .
Mediante la funcin z' = z2 este rayo se transforma en el rayo
AB' (db. 41 , derecha). siendo que el punto B', la representacin
del punto B, cae en Ja cardioide. A base de las propiedades
conocidas de Ja transformacin z' z2 tenemos : M'A 'B' = 2o:
y A' B' = AB1 = 0 2 sen 2 a. Consideraremos el ngulo a variable
y le obligaremos a acercarse ilimitadamente a cero. Entonces,
el ngulo 2a entre A 'B' y A'M ' tambin tender en forma
ilimitada a cero, en tanto que el mismo rayo A'B' que es la secante
para la cardioide, girar en torno al punto A', acercndose
ilimitadamente a la posicin lmite A' M '. Con esto, el punto B',
que es el punto de interseccin de la secante con la curva ms
cercano a A', se acercar en forma ilimitada a A', ya que la
distancia A' B' = D 2 sen 2 ex tiende a cero cuando a. tiende a cero.
De aqu se deduce que A'M ', la posicin lmite de la secante,
es tangente al arco A'B~B2 ... en el punto A'. Tambin se puede
cerciorarse de que A'M' es tangente al arco A'B7B6 ... en ese mismo
punto A'.
34. Ocupmonos, por ltimo, de la funcin de Zhukovski

idea

z'

=+(z + +)

y apliqumosla a la transformacin de la figura limitada por dos

circunferencias : una que pasa por los puntos - 1 y + 1 y otra
que es tangente interior a la primera en el punto l; en el. dib. 42
esta figura ha sido sombreada.

87
Convenzmonos. en principio, de que la transformacin

puede reducirse a varias transformaciones ms sencillas, de tipo

ya coQocido por nosotros, efectuadas una tras otra. Con este fin
examinemos la relacin

z' -1
z' + 1
Sustituyendo en ella z' por Ja expresin

OIB. <ll

hallaremos que:

z2 + 1 - 2
+ 2z

= z2 + l
As, debido a que

=(:::y.

88
se deduce que

~::=(::~Y
Tambin es vlido el contrario : del segundo se deduce el primero.
Realmente, del segundo obtenemos :
z' -

)2 + (-z -- )1,

z- 1
l=z' ( - -

z+ l

z+l

de donde

y a continuacin

1
1-(-z-1)2

1+(-z
-1 ) 2
z+

z'=-- -- - -

+ 1)2 + (z (z + 1)2 - (z -

(z

1)2
1)

2z2

+2

4z

z+I

As, las relaciones

z'= (z + ~)

:, : :

= (:::

son equivalentes (una se deduce de la otra).

Por eso, la transformacin de Zhukovski

es posible presentar en la forma siguiente:

:, :

11

= (:: ~y.

El resultado obtenido debe ser el mismo. Pero ahora est claro

que el paso de z a z' puede efectuarse en tres etapas. Al princip io,

89
pasar de

a la variable auxiliar z 11 segn la frmula

Z1

z- 1
,
z+ t

= --

(1)

luego pasar de z 1 a z 2 por la frmula

Z2 ::::

Z~

(2)

y finalmente pasar de z2 a z' por la frmula

z' - 1

(3)

---=zi.

z' +

El lector puede cerciorarse fcilmente de que si ponemos la

z 1 de la frmula (1) en la (2) y despus Ja expresin
obtenida de z1 se pone en la (3), se obtendr la transformacin
necesaria :
expresin de

z' - 1

( z - 1)

--- = -;::- .
.....

-1

.......

DIB. ..

Qu sentido tiene la sustitucin de una transformacin, la

de zhukovski, por las tres transformaciones'(I ), (2) y (3) efectuadas
una tras otra? La idea consjste en que cada una de ellas es ms simple
que la transformacin de Zhukovski y que adems ya nos es
conocida.
As, aplicamos a la figu ra representada en el dib. 42 la trans
formacin (1). para aplicar a la que de esto se obtiene, la transformacin '(2) y, finalmente, aplicar a la que se obtiene luego, an
la otra transformacin (3).
Recordemos que en el punto 30 ya hemos hallado que la figura
representada en el dib. 38, izquierda (y ella coincide con la figura

90
del dib. 42). por medio de la funcin

z- l

z'i=--

z+ 1

(es decir, de la f4ncin (1)) se transforma en la figura expuesta

en el dib. 38, derecha. Esta ltima est limitada por una recta que
pasa por el punto O y forma con la direccin positiva del eje
real y una circunferencia tangente a esa recta en el punto l el
ngulo <>. Esta figura puede caracterizarse como un semiplano del
que se ha eduido el crculo. Transformemos esta figura por mt.dio
de Ja funcin z2 = zf (2). Una simple mirada al dib. 41 es suficirnte
para ver que esta tarea ya ha sido resuelta en el punto 33.
Al final de dicho punto sealamos que aqu debe obtenerse la
figura representada en el dib. 41, derecha; esta ltima est limitada
por un rayo y la cardioide. Por consiguiente, queda por aplicar
z' - 1
la transformacin - - - = z2 (3) a la ltima figura.
z' + l

-1

DIB. 45

De lo tratado en el punto 28 (con la nica diferencia que

aqu z 2 se considera como variable independiente y z' como funcin)
se infiere que cuando z2 describe el rayo A' M', que parte del origen
y est inclinado bajo un ngulo 2cp respecto de la parte positiva
del eje real, su punto correspondiente z' describe un arco de
circunferencia que une los puntos + l y - 1; la tangente a este
arco en el punto + 1 forma tambin con la direccin desde el
punto -1 hacia + 1, es decir, con la direccin positiva del eje
real un ngulo 2cp (dib. 43).
Por consiguiente, hemos hallado, gracias a la transformacin
~-1

- - - = z2 , la representacin del

r.'+ 1

rayo A'M'. Para hallar la

91
representacin de la cardioide podra examinar adonde pasarn
sus puntos, por ejemplo, los puntos B'i. B ..., B', . No realizaremos
aqul clculos voluminosos sino que nos contentaremos con exponer
en el dib. 44 la curva transformada en su forma final.
la figura que ella encierra (limita) tiene la forma del perfil
(es decir, del corte transversal) del ala de un avin. Este tipo
de perfiles fueron propuestos por vez primera por los cientificos
rusos S. A. Chapliguin y N. E. Zhukovski, por lo cual se los
denomina perfiles de Z hukovski - Chapliguin. Variando el ngul1 tp
de inclinacin de la tangente a Ja circunferencia en el punt'l l
(dib. 42) y el radio de Ja circunferencia menor pueden obten<:rse
diferentes perfiles. En particular, si el ngulo <p es recto, es drr.ir,
la circunferencia est trazada tomando el segmento entre -1 y + 1
como dimetro, el perfil correspondiente es simtrico respecto del
eje real (dib. 45). Este perfil suele denominarse timn de Zhukovski.
Los perfiles de Zhukovski- C hapliguin son los perfiles bsicos
en todas las investigaciones que trata.1 de la teora del ala de los
aviones.

EJERCICIOS Y PROBLEMAS
l. Demostrar que si dos nmeros complejos c 1 = a 1 + ib 1
= a 2 + ih2 son iguales, entonces. sus partes reales e imaginarias
por separado tambin son iguales: a 1 = a 2 y b1 = b2

y c2

Indicacin . Partir del hecho que los nmeros complejos iguales

se representan mediante vectores de igual longitud. paralelos
y orientados en un mismo sentido.
l. Empleando las leyes conmutativa, asociativa y distributiva
efectuar las siguientes operaciones con nmeros complejos :
a) (3 - 7i)

+ (- 2 + i) + (- t

b) (3 - 7i)(3

+ i) 2 :(1

d) (1

+ 7i);
- i)

e) (1
;

e)

+Si);

+ i)(l + i VJ);

(~ + i ~-J.
J/3>;

Respuestas: a) -i; h) 58 ; e) 1 -/3 + i(l +

d) -1; e) -l.
3. Demostrar que todo nmero complejo e= a+ bi .:O, cuya
magnitud absoluta es igual a r y su argumento es igual a ex puede
representarse en la forma
e= r (cosa. + i sen a )

(forma trigonomtrica del nmero complejo).

Indicacin . Expresar a y b mediante r y a con ayuda de un
dibujo en el cual e = a + bi est representado como vector.
4. Demostrar que si

c1

= r 1 (cosa 1 + i sen ix,) y c 2 = r 2 (cos a 2 + i sen a 2 ),

entonces,

I ndicuci11. Emplear la formulacin geomtrica de la regla

de la multiplicacin de los nmeros complejos o multiplicar c 1
por c2 empleando las leyes de la suma y la multiplicacin y luego
aplicar la frmula de la suma para el coseno y el seno.
5. Basndose en el resultado del problema anterior demostrar
que si
e = r (cos et+ i sen et)
(r es la mag nitud absoluta de e y a el argumento de c), entonces

93
e"

= rn (cos n<X + i sen 11ix)

(n es un numero natural). Deducir de aqu que

(cos ex

+ i sen cxr = cos 11<X + i sen ncx

(frmulu de M ofore ).
6. Empleando la frmula de Moivre (vase el problema S),
calcular:
a)

v
( -212

v )lOO ;

+ i -2-

b)

Vi

Indica cin. - - + i - - = cos 45

2
2
= cos 30" + i sen 30.

V3

Respuestas: a) - 1; b) - - +

(y/33 ~)21 7,
2

+ i sen 45 ;

i/3 + -i =
2
2

-.
2

7. Partiendo de la frmula de Moivre (vase el problema 5),

deducir las frmulas para el cos mi y sen 11cx para /1 = 2. 3 y 4.
l ndicadn. En la frmula de Moivre (cosa + i sen a)" = cos nix +
+ i sen 11ix, hay que devar cos :x + i sen a a la nsi ma potencia
mediante multiplicacin directa (por ejemplo, (cos ex + sen a) 2 =
= cos 2 <X + 2i .sen IX cosa - sen2 :x) y luego e n Ja frmula de Moivre
escribir que las partes reales e imaginaras del primer y segundo
miembros d e la igualdad son iguales entre si.
Respuestus: cos 2cx = cos 2 IX - sen 2 :x; se o 2ix = 2 sen IX cos -:x;
cos 31X = cos~ IX - 3 cos ex sin 2 :x:
sen 3ix = 3 sen :x cos 2 IX - sen 3 a;
4
2
2
cos 4<X = cos a - 6 cos a sen IX+ sen 4 (.(; sen 4:x = 4 sen a cos 3 a - 4 sen 3 ex cos C(.
8. En qu se transforma el tringulo con vrtices en los puntos
O, 1 - i, 1 + i como resultado de la transformacin :

,; C ul es el sentido geomtrico de esta transformacin?

Imlicadim . Comenzar con la aclaracin del senti<lo geomtrico.
Tambin es posible e mpezar con el clculo de los vrtices del
tri t ngulo transformado.

94
9. ,En qu se transforma el semicrculo ubicado sobre el eje
real y cuyo dimetro es el segmento con extremos - 1 y + 1, como

z-

resulrado de Ja transformacin: z' = - -'!

z+1
Respue.~w: En el ngulo recto limitado po r la parte superior
del eje imaginario y por Ja parte negativa del eje real.
10. En qu se transformar el ngulo a con vrtice en el
origen de coordenadas, como resultado de la transformacin z' = z3 ?
Respuesta: .En el ngulo de abertura 3CI con vrtice en el origen
de coordenadas.

FUNCIONES MARAVILLOSAS

Traducio del ruso por

Carlos Vega. Candidato a Doctor
en ciencias fsicomatcmticas,
Catedrtico de Matemticas Superiores

El camino ms corto
entre dos ve.rdades del campo real
pasa con fre.cuencia
por el campo complejo.

J . Hadamard
PREFACIO
Las funciones trigonomtricas destacan por su definicin
geomtrica e ntre las funcio nes que se estudian en la Matemtica
elemental. Sin detenerse en variantes insubstanciales de una misma
idea. se puede decir que el seno y el coseno se introducen como
coordenadas del punto de la circunferencia unidad; la variable
independiente se interpreta como ngulo o arco de la circunferencia.
En este libro se explicar cmo, partiendo de otras curvas
- la hiprbola equiltera y la lemniscata de Bernoulli (curva que
tiene la forma de un ocho)- , se pueden introducir funciones
importantes e interesantes, afines a las trigonomtricas, que de un lado
se asemejan a stas y de otro lado p oseen nuevas propiedades
maravillosas. Estas funciones se denominan hiperblicas y lemniscticas, respectivamente. Siguie ndo la analoga, denominaremos aqu
circulares las funciones trigonomtricas.
Consideramos todas estas funciones en tanto que casos particulares del seno generalizado que es la funcin inversa de la
integral de tipo
7

dz

= /1 + mz2 + nz4

El seno circular correspo nde al caso m = - l y n = O; el seno

hiperblico, al caso m == 1 y n = O, y el seno lcmnsctico, al caso
m = O y n = - J. Si m = -1 - k 2 y n = k 2 (O< k < l), la funcin
inversa de la integral es el seno de Jacobi; al estudio de esta
funcin conduce el problema del pndulo matemtico.
Pa ra estudiar la::; propiedades de todas estas funciones de un
modo uniforme, es necesario, ante todo, definirlas en tanto que
funciones de variable compleja y demostrar a con1inuacin el
teorema de adicin. Seguimos de esta forma el camino. que
a finales del siglo XV III el joven Gauss traz en su diario
matemtico.

97
El lector debe estar familiarizado con los elementos de la
geometra analtica y del clculo diferencial e integral que corres.
ponden aproximadamente al curso que se dicta en las Escuelas
Tcnicas Superiores. Todos los elementos necesarios referentes
a la integracin en el plano complejo, son explicados por nosotros,
aunque omitiendo las demostraciones.
El objetivo final que persigue el libro es familiarizar al lector
que no domina la teora de funciones de variable compleja. con
los representantes ms elementales de la clase de funciones elpticas
(las funciones lemnisctcas) as como con funciones ms generales
(las funciones elpticas de Jacobi).
Para concluir, advertimos al lector que este libro no tiene
carcter de pasatiempo: debe ser ledo teniendo el lpiz en la mano.
El autor.

CAPITULO 1
DEFINICIN GEOMTRICA
DE LAS FUNCIONES CIRCULARES.
HIPERBLICAS Y LEMNISCTICAS
l. En el curso esolar de matemtica se estudia la definicin
y las propiedades de las funciones circulares. Expondremos aqu
sucintamente hechos conocidos en la forma que nos conviene para
resaltar claramente la semejanza y la diferencia.
Partiremos de la circunferencia unidad:
x 2 + yz = l.
(1)

La longitud de un arco t que va del punto C a un punto A

(fig. 1) se determina con una exactitud de ~?tk, o sea. de un
mltiplo entero de la longitud completa de la circunferencia; aqu

k es el nmero de vueltas enteras alrededor del origen de coordenadas

que describe el punto mvil A antes de llegar de C a A; se
considera positivo el sentido de recorrido opuesto al movimiento
de la aguja de un reloj.
Las coordenadas x e y del punto A no dependen del nmero
de vueltas enteras y, por consiguiente, son unciones peridicas
de t de perodo 2n. Por definicin, ponemos

x = cost e y = sen r.

(2)

De aqu se deduce que para todo t

+ sen2 t = 1.

cos 2 t

(3)

De la simetra de la circunferencia respecto al eje Ox se

desprende que
cos(-t)=cost y sen(-t)= -sent.

(4)

Si se emplea tambin la simetra respecto a la bisectriz del

primero y tercero cuadrantes por cuyo efecto t se transforma
en

1t

2-

r, x se transforma en y e y, en x, encontraremos:

cos (

,.

t) = sen

y sen (; -

t)

cos r.

(5)

100
Cada una de las rmulas (5) permite reducir la definkin de
una funcin circular a otra, por ejemplo, definir cos t partiendo
del sen 1 definido anteriormente.
De las frmulas (4) y (5) se pueden deducir, como corolarios,
todas las dems frmulas de reduccin. As, por ejemplo, se
y

e "

FI G. 1

obtienen cuatro pares de rmulas, emplendose para la demostracin de cada par siguiente las frmulas anteriores :

cos(~

+r)=cos [ ; - (- r)] =sen (- t)= -sent,

sen (;

t) =sen [ ;

cos (n-t)

=cos [ ~

- ( -t)

+(; -t)] =

sen (tr-t)=sen[-~ +(~

cos (1t

+ t) = cos [n -

J= cos (- t) = cos t;
- sen(~ -t)= - cost,

-r)] =cos(; -r) =senr;

( -t}] = - oos (-t) = -cosr,

sen(1t+t) =sen(1t-(-t)] == sen(-t)= -sen t~

cos{2n + r) == cos [n + (n + r)] = - cos(n + t) = cost,
sen (2n + t) =sen [n + (n + t)) = -sen (n + t) =sen t.
Notemos que el segundo par de frmulas se puede deducir inmediatamente de la simetra de la circunferencia respecto al eje Oy;

101
el tercer par, de la simetra respecto al origen de coordenadas.
En cuanto al ltimo par de frmulas, expresan la periodicidad
de las funciones circulares de Ja que hemos hablado ms arriba.
La definicin (2) y la ecuacin (l) permiten dar una respuesta
a la pregunta sobre el nmero y el carcter de las soluciones
de ecuaciones de tipo:
sent =a o

cost =a,

donde a. es un nmero real.

Con.sideremos, por ejemplo, la ecuacin:
sent=o:.

(6)

Se puede afirmar que no tiene solucin ninguna para 1o:1 > 1.

Para I a 1 ~ 1 en el semiintervalo O~ r < 2n existe una solucin
por lo menos. A saber:

re
2'

si o:= 1, una solucin t = -

O< a< 1, dos soluciones t 1 y

1t

y -

si

a.= O,

< t 2 =re -

lt

1t

t 2,

siendo O< t 1 < -

< n;

dos soluciones t 1 =O y t 2 = n;

si - 1 <a< O, dos soluciones t 1 y t 2 , siendo n <

y
s

3Jt

< t2

= 3rc -

t1

3rc
2

<-

t 1 < 2rc;

..
3rc
una soluc1on t = - .
2

a""' -1,

Es evidente que en cada uno de los casos ex = 1 o oc= - 1

se puede hablar
dos soluciones que se confunden en un punto.
Si r 1 '# t 2 , los valores correspondientes del coseno son opuestos:

de

cos t1 = -cos li-

la solucin de la ecuacin (6) se reduce geomtricamente a la

determinacin de los puntos de la circunferencia (1) que tienen

Ja ordenada dada y = a y al clculo de la longitud de los arcos

que terminan en los puntos determinados (fig. 2).

102
Todo lo expuesto en este punto queda bien reflejado en las
grficas de sen t y de cos r; para construirlas es suficiente. basarse
en las definiciones aceptadas (fig. 3).
Notemos que el par metro t en la definicin (2) puede ser
interpretado geomtricamente no slo como la longitud del arco CA,
y
K

81

"

X COJ

ne. J

flG. 1

sino tambin como el rea duplicada del sector OCA :

t ""' 2 reas OCA.

(7)

El sector debe ser considerado ~qu como la figu ra que describe

el radio mvil al desplaiarse de la posicin OC a la posicin OA.
Si el radio realiza k vueltas enteras (k puede tener uno u otro
signo segn el sentidQ de ro tacin). el rea que describe es igual
a kft; por consiguiente, la definicin de t por la frmula (7)
comprende el sumando . 2k1t.
l. Tomemos ahora, en vez de la circunferencia unidad, l.~
hiprbola equiltera unidad
x2 _ yi = 1.
(8)
Entre las ecuaciones (1) y, (8) existe una s~mejanza mucho mayor
que entre las curvas que les corresponden (fig. 1 y fig. 4). Quiz
sea poco decir esto: las ecuaciones (1) y (8) difieren slo en el
signo de y2 , mientras que Jas curvas de las figuras 1 y 4 no se
parecen en nada. Sin embargo, ms vale dar crdito a las
ecuaciones que a su:> ojos. La semejanza entre ecuaciones trae
consigo una semejanza muy profunda entre las curvas lo que se
observa claramente a l comparar las func iones circulares e hper
blicas.

103
Designemos por t el rea duplicada del sector OCA :
t = 2 reas OCA;
consideraremos el rea OCA positiva si el giro desde OC hacia OA
se realiza en el sentido positiyo, y negativa en el caso contrario.
Si el punto A describe la rama de la derecha de la hiprbola
representada en la fig. 4 e y aumenta desde - oo hasta + oo,
entonces. tambin e aumenta de - oo a + oo, respectivamente. Las

,,,
,,

,,
''' '
' '

'' ' ' ' K

',
', ,,o' '
\

I
/

/
/ /
///

//

"

"

-,:

' ',,

''

/
/

//
//
/

FIG. 4

''

''

''

'

nG. 5

coordenadas x e y del punto A pueden ser consideradas como

funciones unvocas de t. Por definicin, ponemos
x =ch t e y= sh t.
(9)
Aqu ch y sh son las letras iniciales de Jas denominaciones
latinas cosinus hyperbolicus>> (coseno hiperblico) y sinus
byperbolicus (seno hiperblico), respectivamente.
De la definicin se deduce que para todo t
cb 2 r - sh2 t == l.

(10)

Empleando la simetra de la hiprbola respecto al eje Ox,

llegamos a Ja conclusin de que
ch(-t) = cht y sh(-t) = -sh1
( 11)
(vanse las grficas de ch t y sh t en la fig. 5).
La ecuacin
sh t = ex

( 12)

104
tiene una rai7,, y slo una. para cualquier valor real de oc;
la ecuacin
ch t

(13)

=(X

no tiene ninguna raz, si a < 1; tiene una raz r = O, si ll = l; tiene

dos races t 1 y t 1 ;= -ti. si a> 1.
Geomtricamente, la solucin de las ecuaciones (12). y (13) se
puede reducir a la determinacin de los puntos de la rama de la
derecha de la hip.rbola (10) que tienen la ordenada y y la abscisa
x ~ l dadas y al clculo de las reas de los sectores correspon
dientes a los puntos determinados (fig. 6).
3. Observemos, antes de definir las funciones lemniscticas, que
existe una interpretacin geomtrica de las funciones circulares
distinta de la expuesta en el punto 1. Consideremos la circunferencia
de dimetro 1 tangente al eje Ox en el punto O: x 2 + y 2 - y == O
(fig. 7). Es evidente que la cuerda OA, correspondiente al arco
y

flG. 1

FIC. 6

r:

homnimo de longitud t, es igual a sen

Por eso, podramos
edificar la teora de las funciones circulares, poniendo, por definicin
sen t = OA

y t =longitud OA.

(14)

De esta definicin se deduce que sen t aumenta de O a 1, cuando t

aumenta desde O hasta

1t

2;

si t contina aumentando, e.l seno

decrece y se hace cero para t = n (n es en las condiciones dadas

la longitud de la circunferencia).

105
Completemos nuestra definicin aceptando que sen t cambia de
signo cada vez que, al crecer 1, pasa por e l valor nulo. Entonces,
en la frmula (14) la lo ngitud de OA debe tomarse con el signo
- , si 1t < r < 2n; con el signo + , si 21t < t < Jn, etc. Slo
co n esta condicin suplementaria la definicin nueva coincidir
con la antigua y, en part1cular. obtendremos que el perodo de
sen t es 2n (y no lt como sucedera si se aceptase q ue la longitud
de la cuerda OA es positiva para todos los valores posibles del
arco OA que difieran en mltiples enteros de re}.
.La segunda funcin circular, el coseno, se deline a travs del
seno media nte la igualdad
(15)

cos t == sen ( ; - r}

F'IG . 1

4. Consideremos la lemniscata de Bernoulli representada en la

fig. 8. Es la curva formada por todos los puntos del plano para
los cuales es una constante el producto de sus distancias a dos
puntos dados llamados focos de la lemniscata. En el caso dado,
los focos se han escogido en los puntos (

~ , ~) y ( -

+ -+)

1
y la constante es igual a - . Por eso, la ecua cin de la lemniscata
2

tiene la forma:
1

=-

106
o, despus de efevar al cuadrado ambos miembros y simplificar,
(x 2

+ y 2) 2

2xy

= O.

(16)

De esta forma, la lemniscata de Bernoulli es una curva algebraica

de cuarto grado.
1ntroduzcamos las coordenadas polares r y q> tomando Ox
por eje polar; entonces
x

= r cos <P

e y

= r sen ip.

Por consiguiente, la ecuacin de la lemniscata en las coordenadas

polares tiene la forma
r2

Para

<p

= -1t4

=sen 2q>.

(17)

1
.
obtenemos el va or max1mo r

=L

De la ecuacin (17) (o (16)) se deduce que la lemniscata es

simtrica respecto al origen de coordenadas; adems, es simtrica
respecto a ambas bisectrices de los cuadrantes. En efecto, si x = a
e y= b satisfacen la ecuacin (16), entonces las coordenadas de
los puntos (-a, -b), (b, a) y (-b, -a) tambin la satisfacen.
5. Supongamos que el punto mvil M arranca del origen
y describe la parte de la lemniscata comprendida en el primer
cuadrante, desplazndose en el sentido positivo, o sea, opuesto
al movimiento de la aguja de un reloj. Puesto que al regresar
por primera vez al origen se desplaza por un arco tangente a Oy,
es natural exigir que, al continuar su movimiento a lo largo
de la lemniscata (en el tercer cuadrante), pase al arco tangente
a este mismo eje. Entonces, el sentido de recorrido de la parte
de la lemniscata comprendida en el tercer cuadrante habr que
considerarlo positivo si coincide con el movimiento de la aguja
de un reloj ; as lo haremos. Cuando el punto concluye el primer
recorrido completo de la lemniscata e inicia uno nuevo, pasa del
tercer cuadrante al primero a lo largo del arco tangente a Ox, etc.
Designemos por 2w la longitud de toda la lemniscata, de modo
()

que la longitud del arco OMC es igual a

. Lo

mismo que en el

caso de la circunferencia, aceptaremos que el punto variable M

pasa del origen O del arco a su extremo A despus de un nmero
de recorridos completos a lo largo de toda la lemniscata en uno
u otro sentido. En conformidad con esto, la longitud t de
cualquier arco OA se determina slo con una exactitud de un

107
mltiplo entero de 200; por ello, r - la longitud de la cuerda O ser una funcin peridica de t de perodo 2ro.
Completaremos la definicin de esta funcin aceptando que
cambia de signo cada vez que pasa por el valor nulo cuando t
aumenta continuamente.
Denominaremos la funcin, definida de esta forma para todos
los valores reales de t, seno lemnisctico (por analoga con el seno
circular) y la designaremos as:
OA

= r =si t.

(18)

A(t)

/(

'
A"(w+t)

'' '

'

FIG. '

Aqt1. si son las letras iniciales de la denominacin latina sinus

lemniscaticus. Observemos, en particular, que
(J)

si-= l.

(18')

De la simetra de la lemniscata respecto al punto O y de lo

convenido en cuanto a los signos, se deduce que si t es una
funcin impar (fig. 8):
sl ( -t) = -sl 1.

La simetra

respec~o

(l9)

a la bisectriz del primer (y tercer) cuadrante

da (fig. 9):
~~-~=~t

(~

Anlogamente, la simetra respecto a la bisectriz del segundo

y cuarto cuadrantes conduce a Ja relacin (fig. 9) :
si (ro+ t) = -si c.

(21)

108
Es verdad que (21) es un simple corolario de (19) y (20): en efecto :

sl(co + 1) =si (w - (-e)]= si (-t) = -si r.

El coseno lemnisctico se define a travs del seno mediante la
frmula

el t

= si[~ -

J.

(22)

De aqu se deduce, en particular,- que l tambin es una funcin

peridica de perodo 2c.o. Pero a diferencia del si r, la funcin el r
es par. En efecto, empleando sucesivamente (22), (21), (19) y otra
vez (22), enco ntramos

El lector comprobar fcilmente la validez de las igualdades:

cl (w-t)= - clt

y cl(w+t)= -cit.

(24)

La definicin de las funciones lemniscticas y la ecuacin (16)

permiten estimar el nmero y e l carcter de las soluciones de las
ecuaciones de tipo si t = a o el t = a, do nde ex es un nmero real.
Aqu tiene lugar una analoga completa con el caso de las
funciones circulares (punto 1).
Consideremos, por ejemplo, Ja ecuacin
si 1 = a .

(25)

Se puede afirmar que no tiene ninguna solucin para ja 1 > l.

Para 1a J ~ 1 en el semiintervalo O ~ t < 2ro existe una solucin
por lo menos. A saber :
()

si

si

a= I,

o < o:<

'

una solucin t

dos soluciones

y -

si

a= O.

< f2

=w

= -
2
(J)

11

y t 2 , siendo O< t 1 < -

- ta < (J);

<los soluciones 1 1 =O y c2 =ro:

109
si - 1 < a < O.

3ro
dos soluciones t 1 y r 2 , siendo w <. t 1 <-

3w

= 3w -

11

..

3w

Y-:< t2
si

=-

1, una soluc1on t = -

< 20>;

Es evidente que en cada de los casos a= 1 o a= - 1 se puede

hablar de dos soluciones que se confunden en un punto.
y

FIG. 10

Observemos, adems, que

de el t son opuestos :

s1 t 1

el t,

i:

t 2,

los valores correspondientes

= -el '2

Geomtricamente, la solucin de la ecuacin (25) se reduce a la

determinacin de los puntos de interseccin de la lemniscata (16)
y la circunferencia x 2 + y 2 =- (1.2 , a la seleccin de aquellos de estos
puntos para los cuales r = OA tiene el mismo signo que et y,
finalmente, al clculo de las longitudes de los arcos correspondientes.
Todo Jo expuesto en este punto queda reflejado en las grficas
de si r y de el e que recuerdan por su forma la sinusoide y la
cosinusoide (fig. 1O).

CAPITULO 11
SENO GENERALIZADO
6. Aqu estableceremos la posibilidad de un enfoque uniforme
del estudio de los senos (y de los cosenos tambin) definidos
geomtricamente en el primer capitulo. Con este fin consideraremos
todo seno en tanto que una funcin inversa de una integral.
Comencemos por el seno circular. Al final del . punto 1 se
seal que la variable t puede ser interpretada como el rea
duplicada del sector circular OAC (fig. 1). Si x c:....Ll las
coordenadas del punto A (y =sen t). entonces x = 1 - y2 y, por
consiguiente,

rea 6 OA.K == 2... y

2

v'l=Y2.

El rea del trapew ide OCAK se calcula mediante la frmula:

Integrando por partes, encontramos:

Jv1-~d~=v1-,.,+ Jv~~:. =

de donde
y

il V 1 - 1')2 dri

=-

.V~1
1 - y1 y + 2

f
,

'

dl)
V1 - ri2

111
Por consiguiente,

S = rea OCA = rea OCAK -arca

L10AK = - 1

f,
o

dri

.~

V t -112

o
(26)

Si y aumenta de - 1 a 1, entonces e aumenta de calcular

1'C

"2

1t

1t

2 ; para

obtenemos la frmula:
l

f Vi - "1
dTJ

1t

--~

(27)

1,5708.

7t

Recprocamente, si e aumenta de -

1t

2,

entonces y

aumenta de - 1 a 1. De esta forma. Ja funcin y

= sen e

= sen t
pucd_c

ser considerada en el intervalo ( - ; , ; ) como ta funci n inversa

de la integral (26). La funcin cos t la definiremos igual que antes
cos t = sen (

t)

7. Consideremos ahora el seno hiperblico sh 1; al definirlo

geomt ricamente (punto 2), la variable t 'ha sido interpretada como
el rea duplicada del sector OCA (fig. 4). Tenemos
S = rea OCA = rea OCAK - rea OAK.
Empicando la ecuacin x 2

y3

=l

de la hiprbola, encontramos :

.
1
1 .~
area OAK =-xy "" - v 1 + y 2 y
2
2
y
y

rea OCAK =

f i; dn = of ~ dT).
o

112

La integracin por panes da:

y

f i11+~ d11 = 11+7 .v - f Vi + ri2 d11 =

11 2

f
y

=VI+ .vz y - i11+~2 d11 + f V dri

o

1 + r2

de donde

--V
f

rea OC A K =

1 + 11 2 dri =

- -2

-V
1+ y
2

y +-

J
o

dT)

/1+112

Por consigu iente,

o
y

2S = fVl d:

T] 2 .

(28)

Si y aumenta de -

ct~

a +ceo, entonces t tambin aumenta de - ce

a +oo ya que

Recprocamente, si l aumenta de - oo a + oo, entonces tambin y

aumenta de - rx; a + oc. De esta forma, la funcin y::::- sh t se
puede considerar. en todo el eje numrico ( - oo, + co) como
funcin inversa de Ja integral (28).
8. En lo que sigue adoptaremos un sistema de exposicin en
el que las integrales (26) y (28) sern primaras mient ras que las

113
funciones sen t y sh t sern secu.ndaras: las definiremos como
funciones inversas respecto a las integrales. Es verdad que despus
de aceptar estas definiciones, las propias integrales se pueden
considerar en tanto que funciones inversas de sen t y sh t,
respectivamente, e introducir para ellas las designaciones

fV
,

f~ =
1

- arcsen y

dri

1 - T\2

1 + 112

arsh y. (29)

En el primer caso, las letras are son las letras iniciales de la

palabra arcus (arco). Efectivamente, en el circulo unidad un
mismo nmero es la medida del rea duplicada del sector OAC
y del arco AC. En el segundo caso, las letras an> son las letras
iniciales de la palabra rea. Para la hiprbola no existe una
relacin tan sencilla entre el rea del sector OAC y el arco AC
como en el caso del crculo.
Claro est que las frmulas (29) no ofrecen por ahora nuevos
medios para calcular las integrales respectivas. Por ejemplo, la
primera de ellas afirma sencillamente que la integral es una funcin
inversa de sen t; pero, sen t lo queremos definir precisamente como
funcin inversa de la integral!
Sin embargo, para Ja segunda de las integrales (29) se puede
dar una expresin analftica independiente de nuestras definiciones.
A saber, esta integral se expresa mediante la siguiente frmula
cuya validez se establece por diferenciacin :
1

,=

f
o

Vl dri+

= ln(y +Vi+ y 2).

(30)

T)2

Ello permite obtener para la funcin inversa y = sh t una frmula

que nos libera de Ja necesidad de recurrir a la integral (28) ca4a
vez que se trate del seno hiperblico. En efecto, de (30) se deduce:

Vl+f +Y= e',

de donde

1 - 10

114
Restando trmino por trmino la segunda igualdad de la primera,
obtenemos:
~ -e-r
y=sht=---

(31)

2
Luego, el seno hiperblico se poda haber definido desde el
principio mediante la frmula (31) como la semidiferencia de dos
funciones exponenciales.
Entonces, la frmula ( 10) da para ch t:
ch21 = 1 +

(e'~ e-r

J (e' e-1 y,
=

+2

e'+e-'

> O y ch t es tambin positivo (recordemos

2
que x = ch 1 es la abscisa del punto de la rama de la derecha
de la hiprbola (fig. 4)). resulta

y puesto que

e'+ e-'

cht = -- 2

(32)

Esta frmula define el coseno hiperblico como la semisuma de

las unciones exponenciales e' y e-. En el captulo 5 veremos que
las funciones circulares tambin se expresan a travs de las funciones
exponenciales pero con exponentes imaginarios.
9. Pasemos al seno lemnisctico sl l donde la variable t se
considera como la longitud del arco de la lemniscata. Para expresar
t. ..en fo rma de una integral emplearemos las coordenadas polares.
La diferencial de la longitud de arco en las coordenadas polares
tiene la forma . siguiente (fig. 11):
dt

= V(rdcp) 2 + drl =

Vr (:~Y+
2

En el caso considerado, la ecuacin ( 17) da;

<p

=-

arcsen (r2 ),

y de (29) obtenemos (para y = r 2 ):

dq>
r
-=--===dr
~

l dr.

115
por consiguiente,

de

= -r -4 + 1 dr =
1-r

dr

Vt-r4

de donde

dr

- f V1 _,4.

t -

(33)

Si r aumenta de - 1 a

+ l,

(J)

la integral (33) crece de

2'

TIG. JI

donde

tiene el valor:

~=
2

Ii/t l

dr

r4

1,3111.
(1)

Recprocamente, si t aumenta de - -

(34)

a -

2'

entonces r crece

de - 1 a l. De esta forma, la funcin y = sl t se puede definir

en el intervalo ( -

~ , ~) como la

funcin inversa de la integral

(33). La funcin el t la definiremos igual que antes mediante

la frmula:

116
10. Comparemos las definiciones de los tres senos propuestas
en este captulo: y = sen t (el seno circular) es la funcin
inversa de

f
fVi+

J' /
o

d~

1 - r2

y definida en el intervalo (-

~2 .!:).donde
2

~ = V dt)
2

l -

,,2 : y = sh t (el seno hiperblico) es la funcin inversa

de

dT]

y definida en todo el eje numrico; y

= si t

(el seno

T)l

" t1
"co} es (
. . .mversa
Jemnrsc
a "1unc1on

df
e
l

intervalo (-

~2 '

d1l

V' -TJ4
o

y dfi
e rm"d a en e1

(1))
donde ~ = J v' dr
.
2
2
1 - 114
o

Es evidente que quedarn abarcados todos estos casos si se

logra estudiar la funcin y = s (t) inversa respecto a la integral
de tipo
1

t=

dl)

v'1+mrl+nri4 '

(35)

donde m y n son unos nmeros reales. Denominaremos esta

funcin seno generalizado.
Para m = -1 y n =O obtenemos el seno circular; para m = 1
y n =O, el ~eno hiperblico. y para m =O y n = - 1, el seno
lemnisctico.
Si m = - (l + k 2) y n = k2 , donde O< k < 1, el polinomio
1 + m11 2 + nri 4 tiene la forma (1 - '1) 2 )(1 - k 2 11 2 ). En este caso
la funcin s(t) da la funcin elptica de Jacobi de mdulo k que
se denomina seno de amplitud y se designa as: sn (l, k) o brevemente sor.
La funcin sn t aparece, por ejemplo, en el problema del
pndulo matemt ico q ue consiste en estudiar las oscilaciones q ue:
realiza en el plano vertical una bola pesada de masa m suspendida
a un hilo lino de longitud l (lig. 12). Supongamos que el hilo
se ha seoarado en un ngulo 00 de la posicin de equilibrio

117
y despus la bola ha sido abandonada con velocidad inicial nula.

En la poscin correspondiente al ngulo

bola es

de

v =I -

mv- = m/- ( -d0 ) . Segn el teorema de las fuerzas vivas, ella

-

de la

mientras que su energa cintica (fuer7.a viva) es

dt

e. la velocidad

de

debe

ser igual en este caso al trabajo que realiza la fuerza de gravedad

(prescindimos de la resistencia del aire):
mg 8 0 8

Luego,

= mgl (cos O -

cos 00 ).

("

miz --)2 = mgl(cos 0 -2

di

cos 90 ),

de donde

l(T
dr = -

d0

V2i. Vcos e - cos

(aqu se ha tomado el signo menos porque el ngulo

decrece cuando t aumenta) o, integrando,

V v
- f

20

d0

cos e - cos 0 0

e primero

i (T I
de
= V28- Vcose - cos
9

=-

V'g.J V
e

d0

e
sen 2 -

'

scn 2

0
2

118
Efectuemos bajo el signo de la intgral el cambio de variable segn
la frm ula

00

sen -2 = sen - 2
es evidente que
a saber :

n
'l t

tiene una interpretacin geomtrica sencilla.

AC
r = - - .

AoC

Obtenemos:

Designando la constante

VH Vo Y

d~

r2) ( t - sen2

r2)

por t 0 (t0 es el momento en el que el pndulo pasa por primera

vez por la posicin de equilibrio), escribiremos la ltima frmula as:

de donde

119
y, por consiguiente,

Es decir, hemos expresado la magnitud 11 que caracteriza la separacin del pndulo en el momento t de la posicin de equilibrio
a travs de la funci ri elptica de Jacobi de mdulo k

=sen~.
2

11. Es natural exigir que el polinomio

P (r)

= 1 + mr 2 + nr 4

de Ja frmula (35) no sea un cuadrado perfecto. En el caso

contrario VP(r) tendr la forma 1 + qr 2 y la integral (35) se
expresar a travs del arco tangente (si q >O) o a travs del
logaritmo de una funcin fraccionaria lineal (si q < 0). En cada uno
de estos casos el estudio de la funcin inversa no da nada nuevo.
Por ello, en lo sucesivo aceptamos que
m2

4n ., O.

(36)

Desde aqu habr que distinguir dos casos.

l. P (r) no tiene ceros reales. Esto significa que el trinomio
de segundo grado 1 + mz + nz2 no tiene ceros reales (m2 - 4n < O)
o que sus ceros son nmeros reales negativos (m 2 - 411 > O, n > O,
m >O). En este caso P(r) >O para todo Tl (real). Por eso la
integral (35) es una funcin definida y estrictamente .~reciente en
todo el eje numrico. Designemos.
<()

d11

f V1 + mr2 + m14

por A. Para n =O esta integral diverge y A = oo; para n '#O,

converge y A es un nmero positivo finito. Si y aumenta continuamente de - oo a + oo, la integral (35) crece continuamente desde
-A hasta +A; por eso, la funcin inversa y = s (t} queda definida
en este caso en el intervalo ( -A, +A) y crece continuamente
en l de - oo a + oo. El ejemplo mas sencillo de este caso es el
seno hiperblico (para l A = oo ).

120
11. Entre los ceros de P (r) hay reales (dos o cuatro). Esto
significa que .m 2 - 4n > O y bien n <O, bien n > O y m < O. Sea et
el cero positivo menor. Entonces - a es el cero negativo de valor
absoluto menor y, por consiguiente, el polinomio P (11) no tiene
ceros en el intervalo ( - a, a). Por eso, P ('1) no cambia de signo
en dicho intervalo, o sea, permanece positivo ya que P (0) = l > O
(observemos que P (ri) se hace negativo cuando l1 pasa, al crecer,
por el valor a). La integral (35)
una funcin definida
y estricta mente creciente en el intervalo ( - a, a). Designemos

es

..

IV +
1

dri
mri

+ nri'

por a (a> 0). Si y aumenta continuamente desde - a hasta a,

la integral (35) tambin crece continuamente desde -a hasta a;
por ello, la funcin inversa y= s.(t) queda definida en este caso

en el intervalo (-a, a) y crece continuamente en l desde -a hasta a.

Los ejemplos ms sencillos de este caso son el seno circular
( para l

a=

i y a=

~)

y el seno lemniscitico

(ex = i

y a

=; )

En el caso de Ja funcin de Jacobi en el que

1 + mr 2

+ n11' = (1

- 1') 2)(1 - k 2 TJi)

(O < k < 1),

tenemos:

et. = 1

El ltimo valor se denomina integral elptica completa de primera

especie en la forrrui normal de Iegendre. Se designa as: K (k)
o brevemente K ; existen para ella tablas especiales. Notemos que ro
se expresa

sencill~mente a
1

2 =o

travs de K (

f
vt-7 = ri V

0).

En efecto,

tlT)

dn

2(

1(1 -11) 1 - -2

112) .

121
Poniendo ahora 1 - 11 2 =

f
JI Vi

y2, obtenemos :

(!)

l =

dy
2 (

(! - }' ) 1 - -

z)

2 .V

= JI

(
K

l )

/ .

As pues, si definimos las funciones sen 1, sh t, si t y sn (r, k)

como funciones inversas de integrales, slo sh t quedar definido
en todo el eje numrico. En cuanto a sen 1, si 1 y sn (r, k} quedarn
definidas tan slo en los siguientes intervalos finitos:
lt

7t

--~ri:;; - ;

(),)

()

- -2 ~
~ -
..... r "'2'

- K

s:.~ r s:.~

K.

En el captulo siguiente mostraremos cmo. sin abandonar

la concepcin aceptada de basur la expusidn en lct i11ve1sin
de integrales, se puede extender estas definiciones no slo para
valores reales cualesquiera sino incluso para valore.~ imaginarios
de r. Es verdad que en este camino no descubriremos inmediata
mente las frmulas de reduccin ni Ja periodicidad de sen t y de
si 1 de las que se trat en el primer capitulo. Pero el teorema
de adici n, que ser obtenido en et cuarto captulo, permi1ir
establecer fcilmente estos y muchos otros resullados que rebasan
ampliamente los mrgenes de todo cuanto se puede descubrir
limitndose a las definiciones geomtrcas de los senos.

CAPITULO 111
INTEGRACION
EN EL PLANO COMPLEJO

12. Se ha dicho ya que las propiedades de los senos, la semejanza

y la diferencia entre los mismos se pueden estudiar con plenitud

si se consideran stos como funciones de la variable compleja

t = a + i't (o y t son nmeros reales e i es la unidad imaginaria).
Por supuesto, no podremos entonces interpretar r como rea
o longitud de arco y los valores correspondientes de Jos senos
como ordenadas de un punto o longitudes de cuerdas. La definicin
se basar en la integral

...
dz

t == f Vl + mz2 + ~z4 '

(37)

cuyo extremo superior w es un nmero complc:jo: w

= u + iu

(u y v son nmeros reales).

Igual que en el segundo captulo. aceptaremos que m y n son

nmeros reales con la particularidad de que m2 - 4n ,: O.
La integral (37) es un caso particular de la integral de tipo:

"'f R (z, Va + a z + a 2 z2 + a z 3 + a 4 z4 )dz,

0
1
3

(38)

donde bajo el signo de la integral aparece una funcin racional

respecto a z y a la raz cuadrada de un polinomio de cuarto grado
todo lo ms. Tal integral se denomina generalmente eliplic1J
(siempre que el integrando no se reduzca a una funcin racional
respecto a z y a la raz cuadrada de un polinomio de segundo.
grado todo lo ms). En particular, para que la integral (37) sea
elptica es necesario que mi - 4n ':/; O y n .,: O. El propio nombre
de elptica se debe a que la longitud de un arco de la elipse
se expresa a trav.s de la integral de tipo (38). En efecto, si la
ecuacin de la elipse es x:

<=
b

t (b ::a), la longitud del arco

123
CA (fig. 13) se representa por la integral siguiente :

longitud

CA =

Ir.+ (~:Y

dx =

"

13. Detengmonos, ante todo, en cmo debe entenderse la

integral (37) en el caso en el que w es un nmero complejo y en

o
JI

flG. t3

FIC."

las propiedades generales que posee. Tendremos que aceptar sin

demostracin algunas afirmaciones; la argumentacin de las mismas
aparece en los libros de la teora de funciones de variable compleja.
Tomemos en el plano un sistema cartesiano rectangular de
coordenadas. Consideraremos que todo punto (x, y) representa el
nmero complejo z = x + iy; en lo sucesivo tambin aplicaremos
el trmino punto al nmero complejo que le corresponde.
Unamos el origen de coordenadas z =O y un punto w ==u+ iv
por medio de una curva continua L (fig. 14) de longitud finita
(el hecho de que la curva arranca precisamente del origen de
coordenadas no es su.bstancial para las consideraciones posteriores).
Dividamos L ~n arcos mediante tos puntos z0 =O, z" z2 , .. z.- 11
z,. = w, enumerados segn el sentido de recorrido a lo largo de L
desde O hasta w, y formemos la suma integral correspondiente

124
a la funcin

/l + mz2 + nz4

\ ' ---:-:==J= ==-(Z1 - Zk- t )

/ 1 + mz: + nzt

~=

(39)

Como /1 + mz2 + nz4 es una funcin biforme, convendremos

de los dos valores + 1 y - l que tiene la raz para z :::: z0 =O
tomar el valor + l y, una vez escogido el valor de la raz en
un punto zk- , tomar en el punto siguiente aquel de los dos
valores posibles que es ms prximo al encontrado anteriormente.
Entonces, para cada particin de la curva L , la suma (39) tendr
un valor totalmente definido. Pasemos ahora a particiones cada
vez ms pequeas de Lde modo que la longitud del mayor de Jos
.arcos tienda a cero. Se puede demostrar que la suma (39) tender
entonces hacia un lmite determinado que se denomina integral
de

a lo largo de. L y se designa p or el smbolo

/t + mz2 + nz4

fV1
L

dz

+ mz2 + nz4

(40)
.

Si el punto w se encuentra en el eje real Ox (o sea, w =u

y v = O) y s, adems, el segmento [O. u] no contiene ceros del
polinomio l + mz 2 + nz4 y L coincide con este segmento, entonces
todos los valores z0 =O, z., ... , z,. de z son nmeros reales
mientras que los valores de /1 + mzJ + nz1 son reales y posi
tivos y llegamos a ta definicin corriente da la integral

f~ V +

dx
mx 2

+ nx4

Por analoga, tambin en el caso general se

.

suele escribir ta integral (40) en la forma

..
dz
f Vt + mz + nz
o
2

(41)

sin indicar Ja curva La lo largo de la cual se realiza la integracin

125
(o sea, para los puntos de la cual se construyen las sumas
integrales (39)). Pero esta forma de escribir introduce cierta
indeterminacin. La cosa consiste en que las integrales (40)
correspondientes a dos distintas curvas L 1 y L 2 que unen los
puntos O y w, pueden tener valores que no coinciden uno con

,,,,.,,,, --.. . . . . . . . .
I

'\

1
1

82 1
\

""'

,,. .... w \\
/

1
1

ne. 16

ne. u

el otro. Sin embargo, en el curso de b teora de funciones de

variable compleja se demuestra que esto puede ocurrir slo si las
curvas L 1 y L 2 forman cierto nmero de vueltas alrededor de los
ceros del polinomio 1 + mz 2 + nz4 en los que se convierte en
infinito la funcin integrando (vase la fig. 15 donde ~. y [3 2
representan dos de los cuatro ceros de este polinomio; L 1 y L 2
forman dos vueltas en torno del par ~ 1 y ~ 2 ). En este caso
la diferencia entre los dos valores de la integral depende
de qu ceros aparecen dentro de las vueltas y del nmero
de estas vueltas. Gracias a ello, la integral (41) tiene para todo w
un conjunto infinito de valores distintos, o sea, rcpre~enta una
fu ncin multiforme F (w); designaremos por Ja letra t (1 es un
nmero complejo) cualquier valor de la misma :
w

- of ---;:===d=z===V1 + m:z: + nz = F(w).

t -

(42)

126
Supongamos que w 0 no coincide con ninguno de los ceros del
polinomio 1 + mw 2 + nw, o sea,

+ mw~ + nw~ '::/'O;

entonces, podemos describir en torno ,de w 0 un crculo K que

tampQco contiene ningn cero de este polinomio (fig. 16). Tomemos
una curva L 0 que une z =O y w 0 ; para Jos puntos w del circulo
K tomaremos las curvas que se obtienen agregando a L 0 el
segmento rectilneo que une w0 y w. Con estas condiciones
l>Uplemenlarias la integral (42) determinar en el crculo una
funcin uniforme de w que representar una rama uniforme de la
funcin F (w) en el crculo K. Su valor en el punto w ser igual
a la integral a lo largo de L 0 sumada con la integral a Jo largo
del segmento de la recta w0 w. Para pasar a otra rama, bastar
sustituir la curva L 0 por otra curva l 0 a la cual le corresponde
otro valor de la integral en el punto w 0 . Es fcil ver que las ramas
correspondientes diferirn, en K, en un sumando constante; se puede
demostrar que cada una de estas ramas tiene derivada en cualquier
punto w del crculo K siendo
dt

t -

- = lm - - - = --;======
dw -"' W1 - w
/1 + mw2 ~ nw"

(43)

En otras palabras, tambin para Ja integral compleja (42) resulta

vlido el teorema de que la derivada de una integral respecto al
extremo superior de integracin es igual al valor de la uncin
integrando en el punto correspondiente.
Adems, se puede demostrar' que los valores que toma nuestra
integral en un punto w 1 del plano no pueden coincidir con ninguno
de los valores que toma . la integral en otro punto w 1 (w 2 :I= w1) .
En otras palabras, a un valor dado t de Ja integral le corresponde
slo un w en tanto que extremo superior de la integral *1
Todo ello da pie para considerar w en la frmula (42) como
una funcin uniforme de la variable compleja t, o sea, para
considerar el extremo superior de la imegral conw funcin de la
propia integra(. Designemos esta funcin por
w = s (t)
(44)
> Una demostracin detallada de este hecho se puede
encontrar en Goursat E., Cours d'analyse mathmatique, vol. 11, 7 ed.,
1949, Gauthier-Villars, Pars (Goursat E., Curso de anlisis matemtico).
Es verdad que presupone el conocimiento de Ja teora general de las
funciones analticas y de los fundamentos de la teora de funciones
elpticas.

127
y continuemos denominndola seno generalizado.
De (43) se deduce que
dw

= Vt + mw2 + nw4 dt .

(45)

En cuanto a la multiormidad de la integral (42) . que se

manifiesta en que a un mismo w Je corresponde un conjunto
infinito de distintos valores de t , esta propiedad se convierte para
la funcin inversa (44) en la siguiente: un mismo valor w se obtiene
para un conjunto infinito de valores t . En concordancia con esto,
veremos ms abajo (captulo VI) que la funcin s (t) es una funcin
peridica de t.

/{

FIG. 11

14. Comparemos los valores de la integral (42) para dos puntos

y -w simtricos respecto al origen de coordenad.:s realizando
cada vez la integracin a lo largo de dos curvas recprocamente
simtricas L y L ' (fig. 17). Si la curva L es dividida en rcos por
los puntos z0 =O, Z, z2 , , z. = w y la suma integral correspondiente es
w

"

\'--;==='::::===-(Z1o - Z1t- ),
V1 + mz: + nzt
~

(46)

entonces la curva L ' es dividida en arcos simtricos por los puntos

simtricos - z-0 = O, - z" - z2, - z. = - w y la suma integraJ

128
correspondiente
(46')

difiere en el signo de Ja anterior. Pero la primera tiene el lmite

Jz

fV

1 + mz 2

+ nz4

'

+ nz'~

'

+ nz4

'

que es uno de los valores de

w

fV +

dz
mz2

y la segunda tiene el lmite

dz

f v' 1 + mz

L'

que es uno de los valores de

- w

dz

Jo V1 + mz

nz4

De lo dicho se ve que estos vaJores slo en el signo difieren uno

del o tro. En otras palabras, s

..

f
o

dz

V1 + mz

+ nz 4 .

= !,

entonces
- w

=-

dz

.of V1 + mz

4-

nz4

r'

129
(a condicin de que la integracin se realice po r dos curvas
recprocamente simtricas respecto al punto z = O).
De aqu se deduce que si al valor t de la integral le corresponde
el valor w del extremo superior, entonces al valor - t le corresponde
el extremo superior - w; d icho de otro modo:

si s (t) = w, entonces

.~ ( -t)

= - w,

o sea,
(47)

$(-r)=-s(f).

Esto significa que la funcin s (t) inversa tle la integral (42) e.~
impar.
15. En el punto a nterior se han comparado tos valores de la
integral a lo largo de dos curvas L y L', donde L ' se obtena
de L por erecto de un giro de ngulo n alrededor del origen
de coordenadas. Ahora compararemos los valores de las integrales
a lo largo de las curvas L y L", donde L" se obtene de L por
y

iw

"'

1Zn-t

fil(;. 18

efecto de un giro de ::ngulo ; a lrededor del origen de coordenadas

(fig . 18). Observemos que a este giro le corresponde la multiplicacin de cada punto de L(o sea, del nmero complejo que representa
este punto) por el nmero f.
Es obvio que si la curva L una O con el punto w, Ja curva L"
unir O con el punto w.
Dividamos la cur va L en arcos mediante los puntos z0 = O, z ,
z2 , . .. , z,,_ 1, z,, = w ; la suma integral correspondiente a la funci n
9 - 10

130

Vi+

mz 2

+ nz4

es :

~=-1

1
,======(Zk - zk _i).

(48)

V 1 + mz: + nz:

Los puntos que obtienen de los sealados por efecto de un giro

de

alrededor del origen de coordenadas, se encuentran en la

curva L". Son los puntos : iz0 =O, izh iz 2, ... iz"_ ,
la suma integral correspondiente a la misma
1
es de la forma :
4
2

Z11 =

iw;

funcin

---::====-=-==

\lt + mz

+ nz

(49)

Si la particin de la curva L vara de modo que la mayor de las

tiende hacia el cero, la primera suma
longitudes de los arcos
tiende hacia el lmite

Wa

dz

f V1 + mz

+ nz~ '

L.

que representa uno de los valores de la funcin multiforme

...

fV

tiz

1 + mz 2

+ n:4 .

La comparac1on de (49) y (48) muestra que (49) se puede

considerar com la suma integral formada para esta misma curva
pero para otra funcin, a saber, para la funcin
i
I

V1 -

mz~

+ nz!

131
Por eso, el lmite de (49) es igual a la integral
dz
i

fV

+ nz 4

1 - mz 2

que representa uno de los valores de la fu ncin multiforme

"'

f i/t o

dz

mz 2 + nz4

Por otra parte, este mismo lmite debe ser igua1 a la integral

f i/t

L.

dz

+ mz2 + nz 4 '

o sea, a uno de los valores de

ifw
dz

i/t + mz

+ nz4

(porque la suma integral (49) se ha formado precisamente para

la curva L" y para la funcin

l
) De lo dicho se
1 + mz 2 + nz4

deduce que a todo valor

iw

dz

f i/t + mz

nz4

le corresponde un valor igual

"'

fV
o

dz

+ nz4

l - mz1

'

y viceversa.

En otras palabras, si
iw

f Vt +

o
9

dz
mz 2

"'
= t

+ nz4

f vi - mzdz

+ nz4

t,

132
entonces t = it* con Ja condicin de que en la primera integral
la integracin se realiza a lo largo de la curva L" que se obtiene
de Ja cur va L (a lo largo de la cual se toma la segunda integral}
por efeclO de un giro de ngulo

alrededor del origen de

coordenadas.
Designemos por s (1) la funcin inversa de Ja integral
w

dz

f --;
V1 -

mz

+ nz4

es evidente q ue tambien s (1) es un seno generalizado.

De Ja igualdad

..

f v'I o

= 1,..

dz
mz

+ nz

se deduce que w = s* (t*). Adems, iw - s (1) y t

s(r)

= it * ;

por eso,

= s (it*) = iw =is* (t);

en deftnitiva. omitiendo en Ja designacin r:

:; (it)

= is (1).

(50)

Esta relaci n vincula Jos valores de Jos dos senos generalizados,

el primero de los cuales representa la inversin de Ja integral
w

d:

f i/1+ mz

+ nz 4

y el segundo, la inversin de la integral

w

dz

JV1 -

mz2

+ llZ'4

16. Basndose en los resultados expuestos ms arriba, consi

dcraremos en lo sucesivo cada uno de los casos part iculares del

133
seno generalizado como una funcin de varable compleja.
A saber : el seno circular w =sen t, funcin nversa de la integral
w

dz

- f ~

l -

= sh t,

el seno hiperblico w

funcin inversa de la integral

"'

dz

t=fVi+zl;
o

el seno lemnisctico

= si t,

funcin inversa de la integral

"'

t -

dz

- o Vt=7'

la funcin elptica de Jacobi (seno de amplitud) w = sn (t, k), Ja

funcin inversa de la integral

Si t toma valores reales, podemos afirmar que las funciones

sen t, sh t y si t aqu definidas coinciden con las funciones del primer
cap tulo slo, por ahora, en aquellos intervalos en los cuales Jas
ltimas eran inversiones de integrales correspondientes. P ara sen t
1C

1t

t::; t ~ - ;

(l}

(1)

t :;;; - ;
2
2
2
2
y slo para sh t no hay limitaciones porque en este caso la
inv~rsin se obtiene en todo el eje numrico a la vez (segundo
capitulo)
Del punto 14 se deduce que cada una de estas funciones es
impar:

esto significa que - -

sen (-t)

= -sen t,

sl(-c) = -slt,

para si t, que - -

sh(-t) = -shr,
sn(-t)= -snt.

t::;

(51)

134

Para emplear los resultados del punto 15, es necesario considerar,

aparte de s (t), la funci n correspondiente s* (t). El paso de s (r)
a s (t) corresponde al cambio de signo del coeficiente de z 2 en el
polinomio 1 + mz 2 + 11z4 que figura bajo el signo de la integral.
Para hacer ms cmodas las consideraciones. escribiremos la tabla
de las unciones s (t) y s* (t) correspondientes a los cuatro casos
particulares que aqu se analizan:
Integral

f Vl

Inversin

f Vi -

dz
mz 2

+ nz'

s (rJ

sen e
z2

f..
o

dz

sh t

f /1

dz

sen 1

+ z1

dz

+ rJ

sh 1

-z2

f Vi -

f /1

"'

s (t)

mz 2 + nz 4

dz

f Vl - d~
o

f VI

Inversin

Integral

dz
VI -

clz

sl 1

f Vo

si t

z'

"'

dz
sn (1, k)
V(I - z2)(1 - k1z2)

dz

+ z2)( 1 + kl z2)

sn (1 ,

k)

Aplicando a cada uno de -estos casos particulares la rmula

general (50), encontramos :
sen (it) = i sh r,
sh (it)

= i sen e,

sl (it) == i si r,
sn (it, k) = i sn* (t. k).

(52)

(53)
(54)

(55)

Es fcil ver que las rmulas (51) se desprenden de las ltimas

frmulas, Por ejemplo, de las frmulas (52) y (53), aplicndolas

135
sucesivamente, deducimos:
sen (-t) =sen [ (it)] = i sh (it) = i i sen t = -sen t.
17. Los resultados de los puntos 14 y 15 se pueden obtener
muy fcilmente si se da por demostrado que tambin es aplicable
a integrales de funciones de variable compleja la conocida regla
de sustitucin de la variable bajo el signo de la integral. En los
cursos de la teoria de funciones de variable compleja se demuestra
que esta regla efectivamente se puede aplicar en condiciones
bastante amplias que se cumplen para Jos ejemplos considerados
ms abajo.

...

Realicemos primero en Ja integral

fV1

--;:== d=z===- la sust+ mz 2 + nz4

lucin : z

=
1-

- ~.

Obtenemos

...
d:;:

- o V1 + mz

nz4

Pasando a las funci ones inversas, deducimos:

-w=s(-t),

o sea,

Si realizamos otra sustitucin: z

= - i(,,

w= s (t),

..
dz
( = Jv1+ mz

s(-t)= _:_ s(c).

o sea,

+ nz 4

=V

= iz,

obtenemos

;t1r,

ifM

\!1 -

mr, 2

+ 11(,4

Pasando a las funciones inversas, deducimos:

w = s (t),

iw =

s (l), o sea, s (ir) = is {r).

Empleemos tambin la regla de la sustitucin de la variable para

expresar la funci n sn* (t, k) inversa de la integral
M'

f v(I
o

dz

(O<k<I)

+ z2)(1 + kZzZ)

a travs de la funcin de Jacobi sor con el mdulo correspondiente. Con este fin realicemos la siguiente sustitucin de la

136
variable: z

v -~2. Despus de simplifi car, obtenemos

vT-

Pongamos k' =
> o (k' se denom ina mdulo complementario
J.:). Ent onces la igualdad

resp1?Cto a

"'
t =

f v(I
-

dz

- - - - -- - - ,
+ z2.) ( 1 + k2z2)

que significa que w = sn* (1 , k}, se puede escribir as :

de donde

o
w =

sn 2 (l , k ')
sn* (t. k) = --- - _

VJ-=- ~n

(t, k ')

Por eso, la iguald<ld (55) se sustituye por la siguiente:

Sil

donde k'

= ~.i.

Sil (t, k')

(it, J.:) = i -- --------,
sn 2 11. k ')

Vi --

(55')

CAPTULO IV
METODO DE EULER
OE DEMOSTRACIN DEL TEOREMA
DE ADICION
18. Toda la Trigonometra se basa en los teoremas de adicin:
sen (a + ll) = sen ex cos f}
cos (a

+ coso: sen f3,

(56)

+ ~) =cosacos P- sen a sen p.

Empleando la relacin existente entre el seno y el coseno, se

pueden escribir de modo que el valor sen (a+ (3) !e exprese
exclusivamente a travs de sen et y sen ~ y el valor <os (ex + {}),
slo a travs de cosa y cos P:

Vt - sen P +Vi - sen

sen(a + 13) =sen a

cos (i.x

+ !}) = cos ex cos (3 - /1 -

cos 2 a/1

a ser. f},

- cos1 ji

No escribimos aqu dobles si$nos delante de la raiz, suponiendo

que se toma el signo correspondiente al valor de la funcin
circular que expresa esta raz.. Por ejemplo,

V;- sen1 ~ cos~ = V3

V ~ = cos~= /2
6

I - sen 2

2 ,

2 '

etc.

Cada una de las frmulas (56) expresa algebraicamente el valor

de la fundn de la suma de dos nmeros a trav,~ de los valores
de esta misma funcin para cada uno de los sumando~. Precisamente frmulas de este gnero se denominan ieoremas algebraico~
de adicin y en cuanto a las funciones, para las cuales tienen lugar
semejantes teoremas. se dice que estas funciones poseen o cumplen
el teorema algebraico de adicin. De modo que el seno y el coseno
cumplen Jos teoremas algebraicos de adicin. Otros ejemplos son
la funcin lineal y = at o la exponencial y == e'. Efectivamente,
a (ex

+ 13) =

acx

+ ap,

e"+ P = e"' efl.

19. Nuestro objetivo inmediato ser deducir el teorema de

138

= s (t)

adicin para la funcin w

...

inversa respecto a la integral

d2

t -

- oJV1 + mz2 + nz

En particular, obtendremos los teoremas de adicin para sen t,

sh t, si e y sn (t, k). En este punto esbozaremos la idea de la
solucin de este problema.
Sean oc y P unos nmeros complejos y sea y= ex+ p. Pongamos

u = s (ex), v = s (!}) y w = s (\t. + P).

Esto significa que

oc=

,.
dy

13

f Jl1+myl+n y 4'
o

dy
=

fo Vi + my2 + ny4
(57)

y=

fVl

dy

+ my2 + ny4.

Si ex y j3 varan de modo que su suma y permanece constante:

a. + j3 = y = const,

(58)

entonces
<i(a.

+ Pl =o.

o sea,

,/y

f /t + my' + J- +

dy

/1 + my' + ny

=O,

o
du

---:-::====
+
4
2
il 1 + mu + 1111

dv

V1 + mv

+ 11v4

=O.

(59)

Esta es una ecuacin diferencial que vincula los valores u = s (oc)

= s (~) dada la condicin (58). Demostraremos ms abajo que

y t'

139
la ecuacin (59) posee una integral algebraica y la encontraremos.
Hablando con ms precisin, encontraremos una funcin algebraica
F (u, v) que se convierte en u para v = O (y en v para u = O) cuya
diferencial es igual a cero en virtud de la condicin (59) ( (58)).
En otras palabras, de (58) se deducir que

dF (u, v) =O y F (u, ti}= C = const.

(60)

e,

Para determinar la constante

pongamos p = O. Entonces V = s (P)
se convertir en cero y F (u, v) coincidir con u == s (ex). Pero si
p = O, enconces a = y en virtud de (58) y. por consiguiente, u = s (a) =
= s (y). de do nde

C = F(u. v)lp-o =

ul.,. 1 == s(y).

Luego,

F (u, v) = F [8(a), s (P})

= s (y) = s (a + p).

Esta relacin no depende del valor que tome la suma a + f3 = y.

Obtenemos, por lo tanto, el teorema algebraico de adicin para
la funcin s (t):
s(a.+P)=F[s(cx),

s(P)].

De esta forma, el problema de deduccin del teorema algebraico

de adicin para la funcin s (t) se reduce a la determinacin de
la integral de la ecuacin (59) que posee las propiedades mencionadas
ms arriba .
20. Para hallar la integral algebraica de la ecuacin (59)
emplearemos el mtodo que propuso Euler en su (<Clculo 1ntegral,
vol. l. (1768) >. Partiremos de la siguiente ecuacin algebraica
de cuarto grado que relaciona las variables u y v y q ue contiene
tres parmetros arbitrarios A, 8 y C :
u2

+ 1>2 + Au 2 v 2 + 2Buv -

C 2 =O.

(6 1)

Diferencindola, obtenemos:
(u + Bt1 + Auv 2) drl + (v

+ Bu + Au 2 1') dt) =O.

(62)

Pero. escribiendo (61) en la forma

(Av 2

+ 1) u1 + 2Bvu + (v 2

multiplicando ambos miembros por

l

At) +

C2)

= O,

1 y formando el cuadrado

Damos aqu a este mtodo una forma ms sencilla.

suficiente para alcanzar el objetivo que nos hemos planteado.

140
perfecto, encontramos:

[(A v2

+ l)u + Bv) 2

((C 2

v2 )(Av2 + 1) + B2 v2 ) =O.

de donde

u + Bv + Auv2

= {C2 + (8 2 + AC2 -

l) 112

Av4

(6l')

Tampoco aqu escribimos dobles signos suponiendo que de lo~

dos valores de la raz cuadrada se debe escoger aquel que coincide
con el primer membro (una observacin anloga se refiere tambin
a las frmulas consideradas ms abajo en las que figuran races
cuadradas).
La ecuacin (61) es simtrica respecto a u y v; cambiando u
y v, obtenemos de (61'):

Au1 v

r> + Bu+

= VC 2 + (82 + AC2

J)u 2

Au4

(61")

Introduciendo (61') y (61") en (62), encontraremos:

Vc

+ (8 2 + AC2

l) v2

Av 4 clu +

,-.~~~~~~~~~

+ i/ c 2 + (82 + AC 2

1)u

Au4 dv =O

du

Vc--======================
+ (82 + AC
l)u2 - Au
2

+
dv

VC

+ (8 + AC 2 2

1) 114

Av4

. =o. (59')

Puesto que la ecuacin diferencial (59') se satisface para todos los

valores u y v vinculados por la relacin algebraica (61), resulta
que (61) es una integral algebraica de (59').
Escojamos ahora A, B y C de modo que (59') sea idntica
a la ecuacin (59) del punto anterior.
Para ello bastar poner

B2 +AC2 -l=mC2

A:::: -nC2 .

Expresemos A y B a travs de m, n t C; entonces la ecuacin

(59') tomar (despus de multiplicar todos sus trminos por C)
la forma:

du

---;;=====
+
1 + mu 2 + nu

dv

Vl + mv

+ nv4

=o

. (59)

141
y su integra l (611

u2

+ v2

nC 2 u1 v2

+ 2V1 + mc2 + nC4 uv - c 2 =o,

(63)

donde C es una constante arbitraria.

Deseando representar (63) en la forma (60) (F (u, v) = C), resolvamos la ecuacin (63) respecto a C. Obtenemos sucesivamente
[u2

u2

(J - llu2v2)2 C4

(nu 2 u2

2 [(!

1) C 1]

= 4 (l + mC2 + nc4) u 2 v2 ,

+ nu2v2)(u2 +

v2 )

+ 2mu 2 v 2 ]

+ (u2

v2 ) 2

de donde, finalmente,
u

V1 + m v

+ nv4 + v V1 + mu 2 + nu4

- - -- - - - - "
------ =
1 - nu 2 v 2

c.

(64)

La funcin

) _ uVt + mu

F (u, v -

+ nv4 + v
1-

Vt + mu

+ nu 4

2 2

tlU V

es algebraica ; para v = O se convierte en u (y para u = O, en 11).

Dejamos al lector la comprobacin de que su diferencial tiene
la forma:

dF(u, v) = <l>(u, v)

(V

1 + mu 2

+ nu 4

V1 + mv

+ nv4

)
,

142

donde <I> (u, 11) es una funci n algebraica ~ O; por eso, la ecuacin
d iferencial (59) tra e tras de si, como corolario,

dF(u, v) = O o

F(u, vJ:=const.

De modo que hemos demostrado la existencia de una integral

algebraica de la ecuacin (59) que cumple las propiedades indicadas
en el punto 19. De aqu, como se ha explicado ya en el punto 19,
se desprende el teorema algebraico de. adicin para s (t) en Ja forma:

s (:x + 13)

= F [s (ex),

s (13)),

o sea,

s(ex+ J3) +

s (et) / 1 + ms2 (13) + ns" (J3) + s (p) 1 + ms 2 (a)+ ns4 (a.)

=
1 - ns 2 ( tt) s 2 (J3)
s2

(:x) -

sl

(J3)

(65)

21. Del teorema general de adicin (65), vlido para la funcin

s (t}, se obtienen como casos part icularei los teoremas de adicin
para sen t, sh 1, si t y sn (1, k). Al seno circular le corresponden
los valores 111 = - 1 y n = O; al hiperblico, m = 1 y n = O; al
lemnisctico, m =O y n = - 1, y a Ja funcin de J acobi, m =
= -(1+k2 )y11 = k 2 (O<k < 1).
Respccrivamcnte, de la frmula (65) se obtienen los siguientes
teoremas de adicin.
Para el seno circular:

sen (oc + ~)

= sen ix Vl -

scn 2 13

+ sen PVl -

sen 2 oc;

(65')

para el seno hiperblico:

sh (a

+ P) = sh ix V1 + sh2 ~ + sh PVl + sh2 ex;

(65")

pa rn el seno lcm oisc t ico :

si to:

si a \/ 1 - si~ J3 + si~/ 1 - s14 rx.

- --- - --2 - - 2 - --- l + sl :l. sl p

+ Pl =

sl 2 ex - sl 2

= si :x t/-=l=-= sl==B 4

si p

V1 -

.
si" tt

'

(6S"'}

143
para la funcin sn (e, k) :
sn(a+~)=

sn a

4
V_1_+_m_s_n_2 _P_+_n_s_n-f3
+ s.n f3 Vl + m sn 2 a
l - n sn 2 a sn 2 p

+ n sn 4 a

sn 2 a - sn 2 f3

=-sn - V-;================-- -;================

l + m sn f3 + n sn ~ sn ~V l + m sn a + n sn tt .
11

Para abreviar, escribimos sn (11

+ P)

en vez de sn (a

+ p,

(651V)

k), sn ot

en lugar de sn (a, k), etc.

Es importante sealar que a y f3 son aqu nmeros complejos

cualesquiera (es verdad que en las frmulas (65'") y (6srv) hay que
imponer a ot y p condiciones que excluyan la anulacin de los
denominadores de las fracciones).

CAPITULO V
ESTUDIO ULTERIOR
DE LOS VALORES COMPLEJOS
22. Para los valores reales de t se cumplen las frmulas:
cos t

= V1 -

sen 2 t

y ch t

=V l + sh

(66)

t.

donde a t igual a O le corresponde eJ valor de la raz igual a 1.

Estas frmulas permiten extender las definiciones de cos r y ch t
al caso de valores complejos arbitrarios de t. Entonces las frmulas
(65') y (65") tomarn la forma:

+ sen 13 cos ex,

sh (a+ 13) = sh ex ch p + sh 13 ch a.

sen (a+ 13) = sen (X cos 13

(67)

(68)

De stas y de Ja frmula (66) se deducen los teoremas de

adicin para los cosenos circular e hiperblico. A saber,
cos (o:+ 13)

=V1 -

sen 2 (e.e+ 13} =

= t/(sen 2 a.+ cos 2 a.)(sen 2 13 + cos 2 13)-(sen acos 13 + cos et sen .13) 2 =

=Vsen

et sen 2

13 - 2 sen a sen J3 cosacos 13 + cos2 a cos2 J3

=

(sen a. sen J3 -

cos . cos J3).

Para escoger el signo, basta poner aqu ~ =O; obtenemos que en

el ltimo miembro debe tomarse el signo - , o sea,

= cosa. cos 13 - sen a sen 13.

ch (a + J3) obtenemos primero

cos (a + 13)
Anlogamente, para

ch (ex+ 13)

(69)

= tf 1 + sh2 (ex~ 13)=

= V(ch 2 a - sh 2 t.X)(ch 2 13 - sh 2 13) + (sh a ch 13 +ch exsh f3) 2

=Vch

ach 13 + 2 ch et ch P sh a sh ~ + sh o:sh 13 =
= (ch ~ch f3 + sh o:sh 13);
para 13 = O obtenemos ch ex en el primer miembro y ch ex, en el
ltimo. Por consiguiente, en el ltimo miembro hay que tomar
el signo + :
(70)
ch (:x + ~) = ch ex ch 13 + sh ~ sh ~.
2

145
Votviendo a las frmulas (66), sustituimos t por it; obtenemos
cos(ir) = Vt - sen 2 (ir) = V.t+sh 2 r= cht.}
ch (it)

= /!+sh

V1 -

(il} =

(7I)

sen e = cos t
2

(en Jos ltimos miembros se ha tomado el signo + porque para

t = Otanto el coseno circular como el hiperblico se convierten en l).
De Ja frmula (66) se deduce que ambos cosenos son funciones
pares:
ch(-t) = V I +sh 2 t==cht.

cos(- t) =V"l= sen 2 t =cost,

(72)

DeJ teorema de adicin (67) deducimos seguidamente que Ja relacin

cos t =sen (

1) es vlida para todos los valores complejos de

1t

En efecto, poniendo o:= -

sen( ~

-t)=

y 13

-1

en (67), obtenemos

lcos(-t)+sen( - t)O=cost.
1t

Sustituyendo aqu t por -

cos (

t.

(73)

- t, encontraremos:

~-

t) = sen c.

(74)

De modo que las frmulas (5) del punto 1 son vlidas (y. adems,
para cuatesquiera valores de t, tanto reales como imaginarios)
si se define sen t como funcin inversa de la integral r =

...

f-Vi -

y cos t como

dz
z2

V1 -

sen 2 t (con la condicin de que

cos O= 1). Puesto que dada esta definici n, sen t es una funcin
impar (frmulas (5 J)) y cos r es una funcin par (frmtilas (72)),
tambin continan siendo vlidas las f rmulas (4) del punto l.
Pero de las frmulas (4) y (5), segn se ha sealado en el punto 1,
se deducen todas las frmulas de reduccin del punto I y, en
particular: la periodicidad de las funciones circulares. Por eso,
en Jo sucesivo se podrn emplear las frmulas del punto 1 pa.ra
10- 10

146
cualesqu iera valores complejos de t :

~ + L) = - sen t,

cos (

cos (7t - t)

+ t) = -cos t,
cos(2n + r) = cost,

r) = cos t;

sen (7t - t) =sen r;--

- cos t,

cos (n

sen ( ;

+ t) = -sen t;
sen (2n + t) =sen t.
sen (.lt

Resu miendo. podemos decir que las definiciones nuevas de sen t

(y cos r) aceptadas (a partir del captulo segundo) nos han conducido
para valores reales de t a las funciones (definidas en todo el eje
numrico) que en el punto 1 han sido introducidas partiendo de
consideraciones geo mtricas. Observemos que para las funciones
hiperblicas sh t (y ch e) no necesitamos semejante confir macin.
La diferencia entre las funciones circulares e hiperblicas se
manifiesta aqni en que sen t considerado como la funci n de variable

fR
y

real inversa de la integral t =

1 - 1"12

qued definido directa-

o
1t

1t

mente slo en el intervalo finito - - ~ t :::;, - e inicialmente no

2
2
tenamos informacin acerca de su comportamiento fuera de este
intervalo; en cambiola uncin sh t considerada como inversin
y

de la integral l

= f V d'fl
o

+ '1 2

ha quedado definida de una sola vez

en todo el eje numrico (vease el segundo capitulo).

. Poniendo en las frmulas {67), (68), {69) y (70) ci = cr y 13 = i-r,
donde o y 't son nmeros rea.les, y empleando (52). (53) y (71),
obtenemos:
sen (cr .+ i't) = sen o ch< + i s il< coso, }
cos {a + rt) = oos cr ch t - i sen o sh -r,
sh (cr
ch (o

(75)

+ it} = sh cr cos t + i sen t ch cr,

+ i-r) =ch cr cos t + i sh cr sen 't.

Estas frmulns..expresan las funci ones circula res e hiperblicas

para cualquier valor complejo del argumento t = o + i< a travs
de estas mismas funciones de variables reales o y t .

147
23. En el punto 8 hemos deducido las expresiones para ch 1

y sh t con t real a travs de la funcin exponencial:

e' - e -
e'+ e- '
c h t = - - - y shr = - - 2
2
De aqu se deduce que

e' =cht + sht.

(76)

Puesto que ms arriba hemos definido ch r y sh e para cualquier

complejo. la f rmula (76) permite definir tambin Ja
funcin exponencial para cualquier valor complejo de t. Aceptando
esta definicin, obtenemos por medio de las frmulas (75) :
t

= o + it

e+,= ch (C1 + iT) + i sh (o-+ i"t)

= cos
Pero ch cr

+ sh u = e"

=
(ch cr

+ sh cr) + i sen t

ei,.

+ sh o).

segn Ja frmula (76) y por eso

e' =e"+;,= e (cos t

Cambiando en (76)

(ch cr

+ i sen "t).

(77)

por it', enconlrarcmos:

=ch {it') + sh (it') = cos

1'

+ i sen r'

u, omitiendo la raya,

i'

= cos t + i sen r.

(78)

Esta frmula se debe a Euler. Cambiando aqu t por - t, obte ndremos

e-i =. cos t - i sen t.

(79)

De (78) y (79) deducimos otras dos frmu las de Euler :

cost = - - - y
2

sen t

= --2-i-

(80)

Comprobemos que para la funcin exponencial e' definida segn

la f rmula (76) tiene lugar el teorema de adicin:

(8 1)
donde tt y

eH 0 =

P son

ch (a+ ~)
= (ch ex ch

10'

nmeros complejos cualesquiera. En efecto:

+ sh (ex + P) =
ll + sh a sh ~) + (sh ex ch 13 + sh pch a) =
=(ch a + sh a)(ch ~ + sh ~) = e". eP

148
(hemos empleado las frmulas (70) y (68) y de nuevo la frmula (76)).
En particular, l =e= e- = t" e- ' ; de aqu resulta que e1 valor
e" es distinto de O cualquiera que sea el numero complejo a .
24. Consideremos el coseno kmnisctico el t. En el punto 5
esta funcin ha sido definida para todos los valores reales mediante

la frmula:

el t

('-) - )

= si

(82)

I .

Tomemos (82) como defi nicin de el t para cualquier t complejo.

Poniendo (X

w
y p= 2

=-

t en

(65 "') y observando que si -

= l

(18') y sl ( -t)= -slt (51). encontramos:

(

-2" - ,

el , = si (

i/~4 t

= ----~

l fl - sff(

V--;21 :

(83)

el valor de la raz debe escogerse de modo que P! t = O sea

clO = I.
La relacin (83) se puede escribir en forma simtrica:
si 2 r + el 2 r

De aqu i

.si t -Ob~ervemos que

+ si 2 t el 2 r = l.

(84)

~--cl2 1

(83')

+ c1i(

cambiando t por 1'1. obtenemos de (83) mediante (54):

el (ir)

+ sl 2 r
= -el t
l - sl 2 r

1 - sl 2 (ir)

1 + sl 2 (ir)

(85)

Adems, la sustitucin de t (complejo arbitrario) en (83) por

- t da mediante (51):

cl(-r)=

1 - sl 2 (-1)

l ..:.. sl 2 t
- - - =cit.
1 + s12 t

1 +sl 2 (-t)

(86)

De modo que el t es una funcin par. Mediante (83) las expresiones

(65"') toman la forma:
si(~ +

13) =

si (XCI j3(1

+ sl2 f3) +si 13 el <X (l + sl 2 ex)

1 + sl 2 cx sl 2 P
sl 2 a -sl 2

- slcxdf3(1

+sl 2

j3)-slPcla(I +sl 2 o:)'

(S?)

149
Para demostrar de la forma ms sencilla posible el teorema
de adicin para el coseno lemnisctico, cambiemos primero t por
(O

- - t en (82); obtenemos:

(82')

c1(;-t)=slt.
De (82) se deduce a continuacin:
el (et

+ P) = si [ ( ~ (.t)

Cambiando ex por - -

et)- P] = si [ ( ~ - ~)-aJ.
y

por -

O)

expresiones (87) y o: por -2 - ,fl y

13

en la primera de las

por -

:l,

en la segunda,

y empleando las frmulas (82) y (82'), encontraremos:

el (<X

+ ~) =

el o: d

P(1 + si 2 p) - si et si p (1 + el 2 et)
.=
l + cl 2 a sl 2 p
c1i 13 - s12 o:

- el cr. el 13 (1 + sli :'.l)

+ si o: si p (1 + cl 2 p)

(88)

A diferencia de las expresiones (87), las ltimas fracciones no

parecen simtricas respecto.a rt y p. Pero, por supuesto, las frmulas
permanecen vlidas s se cambian de lugares Cl y p.
25. Anteriormente hemos sealado ya que todas las frmulas
de reduccin de las fUnciones circulares son corolarios de las
frmulas (4), segn las cuales el cos t es funcin par y el sen t
es funcin impar, y de las frmulas (5) que expresan la igualdad
de los valores cost 1 y sen t 2 para t 1

+ t2

==

1t

2 . Pero las funciones

lemniscticas poseen propiedades anlogas: el t es funcin par y si t

es funcin impar (frmulas (86)'y (51)); adems, el t 1 y si r2 son jgtiales

. si r 1

+ t2

ro

= "2

(fqrniulas (82) y (82')). Luego, para stas deben

cumplirse las correspondientes frmulas de reduccin con el

150
cambio natural de sen por si, de cos por el y de

el ( :

t) =

-si t,

-el t ,

el (w - t)

si ( :

t) =

1t

por w:

el t;

si (ro - r) =si t;

+ t} = - sir:
si (2w + t) =si t.

el (w + 1) = -el c.
el (2c.o + t) = el t,

si ((J)

De aqll se deduce, en pa rticular, que las funciones lemnisctcas

son peridicas de perodo 2ro. Ahora se puede afirmar que para
los valores reales de t las funciones lemniscticas, definidas mediante
1

.
. . de l a .integra1 t =
la 1nvers1on

f
o

dri

111 - l14
V

, co1. nc1"d en en to d o e1

eje numenco con las funciones lemniscticas definidas de forma

geomtrica en el punto 5.
La relacin (84) muestra que para t real los valores de las
funciones lemniscticas

x=clt e

y=slt

se pueden considerar como coordenadas del punto A que se encuentra

en la siguiente curva de cuarto grado (vase la fig. 19):
(84')

Consideremos juni o al punto A (x. y) el punto A' (l;, y), donde

1
= -. Tenemos, de acuerdo con (85) y (54),
X

1
; = -

1
- -

cJt

= el (ic) e

Es evidente que t;. e

y =

si t

= --;-1 sl(it).

y satisfacen la ecuacin que se obtiene

de (84) cambiando en ella x por - y conservando y:

1
y2
~
- + y2 + - = 1 o , 2 - ..2 - :.2y2 = l .
~2

t,2

-,,

(84")

Hemos obtenido de nuevo una curva de cuarto grado (est

formada por dos ramas infinitas representadas en la fig. 19); las
coqrdena das de cualquier punto A de la misma se expresan a travs

151
de los valores de las funciones lemnisctcas de argumento
imaginario puro ir:
~ = el (it)

y = --:- si (ir).

Es fcil descubrir el significado geomtrico de t. A saber, de

las ecuaciones (84') y (84'') tenemos :

lX=

\'2
-

I;=

V - y4

1 + l'l
..

~, i - y4

(para concretar hemos tomado puntos de abscisas positivas). Por

y

FIG. 19

eso, para las reas de los trapezoides OC AK y OC A' K obtenemos

rea OCAK =

)'
f
y
f

x dy

f~ l - 11 2

= /

rea OCA'K =

l;dri

Ir
o

dr,

1 - r"

v +
l

r Z
- r 4 t111.

de donde
1

= 2 [rea

OCAK +rea OCA'K).

152
Tal es la interpretacin geomtrica de t para este modo de
representar las funciones lcmniscticas que abarca los casos de
parmetro real (1) y de parmetro imaginario puro (ir).
Los teoremas de adicin permilen expresar los valores de las
funciones kmniscticas par<i cualquier valor complejo t = cr + 't
a travs de estas mismas funciones de variables reales <1 y t.
A saber, poniendo a. = a y 13 = ir en la primera de las expresiones
(87) y 'm plcando las frmulas
si (it)

= i si t,

(54)

el (it) = ... - '

el

(85)

obtenemos

sl (cr

.
si cr ( 1 - sl 2 t) + i si t el cr ( 1 + s1 2 o)
+ rt) = -------------..
-...-...... .
2
2
1 - si cr sl

Cambiando aqu. segn la frmula (84), 1 - sl 2 t por cl 2 t(I

obtenemos despus de simplificar en el t:
.
si u el T (\ + sl 2 t) + i si t el cr (1 + slz a)
si (cr + 1t)
1 - sl 2 o sl 2 t

== - -------

An logamente, wn oc
(87) da:

= cr y p = it

( 89)

la segunda de las expresiones

sl 2 cr

si (o + rr) = -

+ sl 2 t),

+ sl 2 t

(89')

slcrclt(I +sl 2 t)-1sl-rclcr(I +sl 2 cr)

De un modo semejante deducimos de las frmulas (88) que

el (o

ir)

clcrd-r(I +sl 2 t)-islcr slt(I +cl 2 cr)

1-cl 2 crsl 2 r

l - sl 2 crcl 2 t
;

clcrclt(I +sl 2 o)+islcrslt(I +cl 2 -r)

~~

26. Detengmonos tambin en las frmulas para las funciones

elptica s de Jacobi. Partiendo de la funcin principal sn (t, k) se
definen otras dos

en (r, k) =V 1 - sn 2 (t,'-k),

dn (t, k)

=V 1 -

k2 sn 2 (1, k). (91)

Aqu se toman los valores de las races cuadradas que para

t = O (sn (O, k) =O) se convierten en 1 y se prolongan despus al

153
plano complejo de modo que quede garantz.uda la conlnuidad
y dferenciabilidad de las unciones. De esta forma
en (O. k) :;: dn (0, k)

l.

'Las relaciones (91) se pueden representar en la forma :

sn 2 (1, k) + cn 2 (1, k) = 1, k 2 sn 2 (t, k) + dn2 (1, k)

= l.

(91')

De las frmulas (91) se deduce que cn(r, k) y dn(r, k) son

funciones pares:
co (-r, k) =en (r. k)

dn ( -r. k) =<lo (1. k).

(92)

Las designaciones de las fun'ciones de Jacobi. sn 1 y en t.

subrayan la semejanza de h1s mismas a sen t y cos 1, respectivamente. Si el mdulo k "' O. estas funciones se convierten en sen r
y cos r; Ja funcin do t degenera en este caso en 1.
En efecto, para k = O 'la integral

I
"'

,=

dz

o
se convierte en
w

= f.v,d~ z2 ;
o

por eso, la funcin .i.nversa

11

= sn (t ,

k)

se transforma en w =sen t .

.La~ frmulas (91) dan:

cn (t, O).= cos t y

dn (t , 0)

= l.

Empleando (91), la frmula (55') se puede representar as:

sn (r. k')
sn (it, k) = i
,
(93)

en (1, k')

donde k' = l - k 2 es el mdulo complementario (respecto a k).

Las frmulas (91) permiten ahora expresar en (ir, k) y dn (ir, k}
a travs de las f~ncions correspondientes de mdulo complementario:
----- ......

sn 2 (t k')
J
cn(ir.k)=i/l-sn2 (i1,k) =
1+
=
;
'
en 2 (t , k')
en (r, k')
:

(94)

154
sn:: (1 k')
1 +k2-2- ' - =
en (r. k')

dn(it, k)=Vl - k 2 sn 2 (ir. k}=

k') + (l

Jll--='Sn (t.

- k' 2 ) sn 2 (1 , k')

-=

en (t. k')

dn (1. k')
en (1. k')

(95)

Cambiando en las frmula s (93). (94) y (95) r por ir (y, en

consecuencia, ir por -1), obtenemos :
.
sn (ir. k')
sn(f. kl = - i
.

en (ir. /.;')
1

cn(I, k) =

y dn(t, k)

en (it. /.:')

dn(ir. k ')

en (ir, k')

Observando que para k = 1 el mdulo complementario k' se

convierte en cero, obtenemos mediante las frmulas (52) y (71):
sn (1 , l)

. sn (it , O)

-1

en (it, O)
1

cn (t, l) =
dn(r, 1)

. sen (it)
-1 - --

cos (ir)
1

sh 1

= - -;
ch r

= - - - = --;
cos(it)
l

chr

dn (ir, 0)

en (ir, O)

cos (it)

ch t

cn(ir, 0)

. = - - = - -.

Por consiguiente, para k = 1 las funciones de Jacobi se transforman en cocientes de funciones hiperblicas. Las grficas correspondientes (para valores reales de r) aparecen en Ja ig. 20.
De esta forma, cuando el mdulo k varia continuamente desde O
hasta 1, las funci ones de Jacobi so (1, k), en (t, k) y dn (1, k) forman
como un pue'nte entre las funciones circulares sen t y cos t (a las
que se agrega tambin Ja constante idntica 1) y las funcio nes
sh 1
1
1
hiperblicas - -, - - y - -.
ch t ch r
ch 1
27. Empleando las funciones en (e, k) y dn (r, k), el teorema de
adicin (651V) para sn (1, k) toma Ja forma :
so (o:

+ ~.

k)

sn (ex, k) en (p, k) dn (13, k)

2

+ sn (p,

k) en (et, k) dn (a, k)

1 - k sn (o:, k) sn (J3, k)
sn 2 (ex, k) - sn 2 (13, k)
sn ('.X. k) en (13. k) dn (f3, k) - sn (13. k) en (a, k) dn (a, k)

=
(96)

155
Para deducir de (96) los teoremas de adicin para en (t, k)
y dn (t; k), emplearemos las identidades siguientes cuya validez se
comprueb~ por medio de las frmulas (91'):
(sn o: en

Pdn P,+ sn pen cx dn a)2 +

+(cnacnP-snocsnpdncxdnJl)2

::::

= (dn a dn P - k sn a sn Pen ex en IW" +

+ k2 (sn cx en pdn p + sn (3 en ex dn a) 2 = (1 - k 2 sn 2 ex sn2 (3) 2
1

-----------

-~ - ---------

sh t

sn ( l, 1)-Ci\"f

o
flG. 10

Obtenemos :

en (e:t + !}, k)

= V1 -

i/(1 - k

sn 2 ( + 13. k) =

sn 1 tt sn 2 (3) 2

(sn ex en p dn

l - k 2 sn 1 a sn 2

p + sn p en cx dn cx)2

en a en p - sn ex sn P dn ex dn 13
1 - k 2 sn 1 a sn 2 13

dn (a + P. k),..

V(1 -

(97)

-- - - -V1 - k sn (ex + p, k) =
2

k2 sn 1 a. sn 2 P) 2

k2 (sn o: en ~ dn p + sn p en ex dn o:) 2

t - k2 sn 2 cx sn 2 p

dn tt dn

p-

k2 sn ex sn P en ex en 13

=
(98)

156
Los teoremas de adicin encontrados permiten expresar los
valo res de las fu ncio nes elpticas de J acobi para cualquier t = cr +. it
complejo a travs d e estas mismas funci ones de variables reales
cr y t. Para ello habr que hacer uso tambin de las frmulas
(93), (94) y (95). La primera d e las expresiones (96) da:
so (o-

+ it, k) =

sn (cr, k) en (t, k) dn (i-r, k)

2

+ sn (it, k) en (cr, k) dn (cr, k)

1 - k sn (cr, k) sn 2 (it, k)

+ i sn (t, k') en (t, k') en (CJ, k) dn (cr, k)

(t, k') + k2 sn 2 (cr, k) sn 2 (t, k')

sn (cr, k) dn (t, k')

cn

(99)

=V 1 -

k 1 . La segunda de las expresio nes (96) permite

representar este mismo resultado en otra forma :

donde k'

:.n (cr

+ it,

k) =

sn 2 (cr, k) cn 2 (t, k') + sn 2 (t, k')

= --- - -- - - - - - - - - - - - - - -

(99')

sn (cr. k) dn (t, k') - sn(t, k')cn(t, k')cn(cr, k)dn(cr. k)

Del mismo modo exactamente encontramos, empleando Ja

frmula (97), que
cn (cr + ir.. k) =
cn l~. k)cn(t, k')- isn(cr. k')sn(t, k')dn(cr. k) dn (t. k')

cn 2 (t, k')

+ k 1 sn 2 (o,

k) sn 2 (r, k')

(100)

El lector puede comprobar. empleando (91). que este mismo

resultado se representa en la forma:
cn(a

+ it,

k)

=
cn 2 (cr, k)

= en(;:

kf~n ('t~kf.+

+ k' 2 sn 2 (cr.

k) sn 2 (t, k')
isn(cr, k}sn(t, k')dn (o, k)dn (t, k')

(to<)')

Anlogamente, para la funcin dn r obtenemos:

dn (o- +ir, k} =
dn (cr, k) en (t, k1 dn ('t, k') - ik 2 sn (cr, k) en (cr, k) sn (t, k')
c n 2 (t, k')

+ k 2 sn2 (cr,

k)sn 2 (t, k')

k cn (a, k) + k' cn 2 (t, k')

- dn (cr, k) en (t. k') dn (t, k') + ik 2 so (cr, k) en (cr, k) sn (t, k')
(101)
1

157
28. Pongamos

(102)

donde la integracin se efecta a lo largo del segmento del eje

real que une los puntos O y 1 de modo que K (k) es un nmero
real positivo. De (102) se deduce:
sn (K(k), k] = ! ;

( 103)

por eso.

en [K (k), k]

v'l=Sn 2 [K(k),kj =O

y
dn [K (k), k]

= /1

- k 2 ~;;i- [K (k), k]

=VI - k = k'.
2

(104}

Omitiendo el mdulo k para abreviar las designaciones,

pongamos Q'. = K y fi = - t en las frmulas (96), (97) y (98).
Obtenemos:
sn(K-t)=

sn K en r dn t - sn ten K dn K
l - k 2 sn 2 K sn 2 t

en t dn r

=1en(K - r) =

en K en t
l -

en r
= - -;
k sn t
dn r
2

+ sn K sn t dn K dn t
k2 sn2 K sn2 t

k' sn t dn t

= 1dn(K-t ) =

(105)

k sn

sn r

= k' ;
dn t

(106)

+ k2 sn K sn t en K en e
=
1 - k2 sn 2 K sn 2 t

dn K do r

k'

k' dn t

=--~-=--

! - k sn

dnt

( 107)

158
Cambiando aqu t por - t, encontraremos:
en t

sn(K

+ r) = - - = sn(K -

en (K

+ t)

dn (K

+ t) = -

dnt

sn e

= -k' -

dn t

k'

dn t

t);

= -en (K -

t);

(108)

= dn (K - t).

En la teora de las funciones elpticas de Jacobi, las frmulas

de (105) a (108) desempean un papel semejante al que desempean

las frmulas de reduccin en la Trigonometra.

Si en las frmulas (108) cambiamos r por t + K, encontraremos
otras c<frmulas de reduccin:

sn (r + 2K ) = - sn r, }

+ 2K) = -cnr,
dn (r + 2K) = dn t .
cn(r

(109)

De la ltima frmula se deduce que dn t es una funcin

peridica de perodo 2K. Finalmente. cambiando t por t + 2K
en las d os primeras frmulas (109), obtenemos~
sn (r

+ 4K) = sn r

en (t

+ 4K) =en c.

(110)

Por consiguien1e, sn r y en e tambin son funciones peridicas

de perodo 4K.
29. Las frmulas del punto anterior permiten, sm realizar
clculos adicionales, explicar plenamente el comportamiento de las
funciones de Jacobi de variable real. Comencemos por la funcin
y = sn (t, k) (O< k < 1). De su definicin como funcin inversa de

la integral r

= V
o

dr

(1 - ri2)(1 - k2r2)

, se deduce que crece mon-

tonamente de O a 1 cuando t aumenta desde O hasta K (k)

fVo - n2H1 o

lcomprese con el punto 11 ). La primera

k2ri2>

159
de las rmulas (l08) muestra que la grfica de y= so (1, k) es
simtrica respecto a la recta i = K y, por consiguiente, tiene Ja
forma de una semionda en el intervalo O~ e ~ 2K (fig. 2 1, a).
Despus, la primera de las frmu las (109) da, al cambiar t por - t,
sn(2K-t)= -sn ( -r)=snr.
Comparando sn (2K

+ t) y sn (2K - t), obtenemos:

+ t) = -sn (2K - r).

sn (2K
y

o)
y

b)

y
dn(f.t)

e)
f1C. l t

Esco significa que la grfica de y = sn (r. k) es simtrica respecto

al punto (2K, O) y, por consiguiente, tiene en el intervalo O :s::; r ~ 4K
la misma forma q ue la onda de la sinusoide en el intervalo
O ~ t ~ 2n (fig. 21, a). Despus de esto, la grfica se traza basndose
en la periodicidad de sn (t, k) (el periodo es igual a 4K).
Par~ determinar el carcter de la grfica de la funcin y = en (t, k)
se puede partir de la relacin en (t, k) = 1 - sn 2 (t, k~ de donde

160
se deduce que cst:i funcin decrece monotonamente e n el intervalo
O ~ t ~ K desde 1 hns1a O. Despus de esto, la grfica st: obticnt:
de l misma forma que antes empleando las frmula s ( 108), ( 109)
y ( 110). Obtenemos que esta grlica tiene la forma de la cosinusoi dc
(fig. 2 1, h).

Anlogamente obtenem os la forma ~ e !~~rfica _de la funci n

k). La frmula dn (t. k) ::: / 1 - k2 sn 2 (t. k) muestra pri
mero que esta funcin decrece en el intervalo O ~ 1 ~ K desde 1
hasta ~ - k 2 = k'. La prolongacin de la grafica en todo el eje
numrico se obtiene empleando las respectivas relaciones (1081
y (109). La grafica obtenida aparece en la fig. 21.c.
Del anlisis realizado se deduce que todos los ceros reales de
sn (1. k) (o sea. las raiccs reales de la ecuacin sn (l. k) = OJ se
reducen a los puntos 1 = 2mK (k). do nde m es un nmero entero

= dn (t.

cualquiera.
Aniilogamcnte, los ceros reales de en (r. k} son de lu formu
t

= (2111 -

1) K (k).

En cuanto a la funci n dn (t, k). no tiene en a bsoluto ceros reales

< l ).
30. M ostre mos que el seno generalizad o s (t) puede ser expresado

(si O < k

en todos los casos a travs de las uncines sen t , sh t o las

4
funciones de Jacobi. A saber, si " =O (11 es el coefi ciente de :
4
2
en la expresin l + mz + nz ), se expresa a travs de sen; o sh r,
y s n <F O, a travs de las fu nciones de Jacobi.
Si 11 = O y m # O, entonces 1 + m::2 se puede representar e n la
forma t ;l.. 2 z2, donde /, > O. Representando en este caso la
relacin w = s (t) en la forma

"'

f -

dz

- V1 "-2z2
o

realicemos el siguiente cambio de la variable de tntegradn :

= ),z. Obtendremos:

de donde l.w =sen (A.t) o bien ;l..w

= sh (A.1).

De modo que en el

161
caso considerado
1

s {t)=-:-sen(AI) o

s(t)=-:-sh(AI).

Sea aho ra n :FO y, como siempre, m2

(111)

4n ~ O. Consideremos

los dos casos principales:

l. m2
l. m2

,411 > O; II. m2

4n <O.

4n > O; las races x 1 y x 2 de la ecuacin

x2

+ mx + n = O

son reales y distintas. Tenemos: x 2 + m.x + n = (x - x 1) (x - x2 )

1
o, cambiando x por 2 : l + mz 2 + nz4 =(l - x1 z2 )(1 - x1 z2 ).
z

Aqu hay que distinguir, a su vez, tres casos:

a) x 1 y x 2 son positivos; b) x 1 y x 2 tienen signos distintos
y e) x 1 y x 2 son negativos.
En el caso a) podemos poner que x 1 y x 2 tienen los valores
A.1 y 2 , donde ). > > O. Entonces
1 + mz 2

y, por consiguiente, la

= (1 - ),..2z2 )(1 - 2 z2),

relacin w = s (t) toma la forma:

+ nz4

Realizando la sustitucin

f /
~

t = -

A.

...

= A.z de la variable, obtendremos

d~

(1 _ ~2) (l _ k 1~2)

, donde. O < k = -

A.

< 1.

De modo que en el caso a)

w=

.~ (t)

= - sn (A.t, k).
A.

(1 12)

En el caso b} los valores de x 1 y x 2 se pueden representar

en la fo rma A. 2 y - 1 , donde A.> O y >O. Obtenemos la
11 - 10

162
siguiente descomposicin en factores:
l

+ mz 2 + nz" = (l - x 1z2 )(1 - x 2 :: 2 ) = (1

J..2z 2)(1 + 2 z2 ).

Realizando en la integral

la sustitucin (,

= /1 - A.2z 2 , encontraremos:

donde
O<k =

. < l.
~l

Poniendo

obtenemos en el caso b):

~-

K -

ih. 2 + il 2 t =

V 1 -f>. ..... ---;:= = =d=C= = =I - ~2)(1 - k2~2)

t/(

(veasc ( 105)), de donde

= .~(1) = -A

cn 2 ( J.. 2 + 2 t. k)
1 - dn2 <VA. 2 + 2-;:;}

/(

=T

sn nh..2 + 2 t, k)
dn <VA..2

+ 2 r, k)

163
Observando que en este caso

k'

= Vl=k2 =

).

ih.2+2

podemos escribir el ltimo resultado en la forma:

1
sn(VA. 2 + 2 t, k)

w=s(l)=

Para A.

= = 1 la

+ 2 dn<Vt..l + 2 t,

VJ..2

(113)

k)

integral

coincide con

"'

fVi -z.
dz

por eso,

-~ (r)

=si e y obtenemos:
si = _ l_ sn
1

lf

*)0)

(Vir,

dn(Vt,

(113')

Para el r encontramos:

el t

1 - st 2 r
1 + sl 2 t

De modo que las funciones lemniscticas se expresan a travs

de las funciones de mdulo

v'2l .

164
En el caso e), en el que x 1 y x 2 son negatvos, sus valores
se pueden representar en la forma -A. 2 y - 2 , donde se pueclc
aceptar que A. > > O. Por eso,

+ mz2 + nz4 = (l

x 1 z 2 )(1 - x 2 z 2 )

= (1 + A.2z 2}(J + :Zz 2}.

Realicemos eo la integral

la sustitucin de variable ~ =

A.z

/ l + 1'.2z2

clculos del punto 17, donde A. = J y

ne

(comprese

= k)~

con

los

obtendremos:

aqu
A.w

----;:==== sn (A.t,
2 2

/ t

k)

+ A. w

w = s (e)

sn (A.t, k)

1 sn (A.t, k)

--::=====- = --A. -A. / l - sn (A.r, k)

en (Al, k)

=-

( 114)

Resta considerar el ltimo caso.

JI. m2 - 4n < O (ooviamente aqu n > 0). Puesto que las races
x 1 y x 2 de la ecuacin
'x2

+ mx + n =O

son imaginarias, las races de la ecuacin

~4

+ m;2 + n = O,

ligadas a las anteriores por las relaciones

~f = ~~

= X1

~~

= ~: = X2 ,

tambin so n imaginarias y, adems, sus partes reales son distintas

de cero (de lo contrario, los cuadrados de estas races seran

165
nmeros reales). Observando que 1; 1, C, 2 C, 3 y C, 4 tambin deben
ser conjugados dos a dos y cambiando en caso de necesidad
Ja numeracin de los mismos, tendremos :
/;1 = -s2 = oc+ i~ .

Cambiand o
~

s por -z1

S3 =

-;4 =a - i~

(a> O,

1~

>O).

en la descomposicin

+ m~ 2 + 11 = ! ~ -

s1 )(C,

- s2HC, - C,3l <~

- (,4)

obtendremos la siguiente descomposicin en fact ores:

1 + nrz 2 + nz4 =
= [l +(a + ij3)zJ(I + (a - i~}z)(l - (:x + ij3)z)[I - (a - i~)z]
=

(1 + 2az + (a + J3 ) z ) [ l - 2:x: + (a + J3 ) z2];

2

es obvio que Cl'. 2 + 1~ 2 = lt -n {de donde O < :x <

nuestra integral tiene la forma

"'
V
n). Por consiguiente,

l
r, - 1
7.- - - - que se
Vn ~+I
reduce a uno de los casos considerados anteriormente. En efecto,
realizando la sustitucin, obtendremos

e am probemos

1
. ..
.
med iante a sust1tuc1on : =

-;i:

,l."'
. ...w
v~

t=

), =

~~ + a
4

----

V11 - ~

> :::::

VV;~

4 ~
--

J/n+:x

>

o.

166
Pongamos

entonces

.!'

f .\'

Pt +A=

tr

.-r -!ii+i,,~(1

+ ,')

Hemos llegadl) al caso

c). Por eso, segn la frmula (114):

4 -

1 + V11 w

0i w

1 sn (Pt

- ~-- =-

1-

+ A,

k)

A. en (~1 + A, k)

donde

y de aqu finalmente

= s(t) = <rr
V11

snlllt +A , k)- :>..cn(J}I + A, k)

sn (131 +A, k) +A. en (pr

+ A,

k)

Hemos comprobado. pues. en este punto que el seno generalizado

se expresa para 11 #: O a travs de las funciones de Jacobi de mdulo
correspondiente k y para n = O, a travs <le los senos circular
e hiperblico. Todo esto nos concede e l derecho de limitarnos
en lo sucesivo al estudio de tres senos (y sus cosenos correspondientes) solamente : el circular, el hiperblico y el de Jaeobi (seno
de amplitud). Sin embargo. adems de stos, consideraremos tambin
las funciones Jemnisctcas ya que en este caso particular se
manifiestan con mayor claridad las propiedades de las funciones
de Jacobi.

CAPITULO VI
CEROS Y POLOS.
PERlODlCIDAD SIMPLE
. Y DOBLE.
.
NOCION DE FUNClON ELIPTTCA

31 . La comparacin de las frmu las (75), obtenida"s anteriormente para las funciones circulares e hiperblicas, con las frmulas
(89), (89') y (90) para las funciones lemniscticas, as como con las
frmulas (99), ( 100) y (101) para las funciones de Jacobi, pone
de manifiesto la diferencia substancial entre unas y otras. A saber,
las funciones circulares e hiperblicas se representan mediante
expresiones enteras respecto a sen cr, cos c:r, sh y ch T, mientras
que las funciones lemnscticas y de Jacobi son fracc-ionales
respecto a sl cr, el o, si y el las primeras y respecto a las
funciones de Jacobi de variables reales cr y t, las segundas.
Debido a ello, las funciones sen t, cos t, sh t y ch e estn
definidas y toman valores finitos para cualquier valor complejo
de r: en cambio las funciones si t, el r, sn (t. k), en (t. k) y dn (t, k)
no estn definidas para aquellos valores de t en los que se anulan
los denominadores de las fracciones.
Considecemos ms de cerca esta circunstancia y comencemos
por si t. El denominador de la fraccn en la frmula (89) es igual
a 1 - sl2 cr sl 2 t: se anula cuando, y slo cuando,
slcr slt =I.

(115)

Pero si cr y si t son nmeros reales que no pasan dt: 1 por su

valor absoluto (recordemos del punto 5 que si o es la longitud
de una cuerda de la lemniscata. tomada con un signo determinado).
Por eso. (1 15) equivale a dos relaciones:
sl cr=l y sl't = I.

(116)

De esa misma representacin geomtrica de si cr se deduce que

(t)

si cr = 1 equivale a la condicin: o= - + 2mro, donde m es un

2

numero entero cualquiera (2w es el perodo de si cr). Puesto que

si cr es funcin impar, la condicin si a = - 1 e~uivale a la condicin
o

ro

= - -- + 2m(I).
2

Luego, el denominador de la fnccin (89) se

168
anula en tod os Jos puntos de coordenaaas
Ol

<>

= +- -2

+ 2mro.

'f

= +- -2 + 2nw

(m=, 1, 2.. .. ; n=O, 1, 2.. .)

y slo en estos puntos.
Los correspondientes nmeros complejos e = cr
recogidos en Ja f rmula:

+ i'f quedan

(J)i

(!)

r=(4m+ l)-+(4n+ 1)-.

2
1
Pero si m recorre todos los nmeros enteros O. l, 2, 3, ... ,
entonces 4m 1 recorre todos los nmeros impares 1, 3, 5, . : .
Por eso. los valores encontrados de t se pueden representar
definitivamente en la forma:
(J)
wi
( 117)
1 =(2p-1)2+(2q-1)2.
donde p = O,

1. 2.... ; q=O,

1,

2, ...

Consideremos cualquiera de estos puntos.

)

Si cr = (2p - l)

. entonces

si cr

= (- l)P- 1

como se deduce

fcilmente de las consideraciones anteriores; por eso, sl 2 C1

y la frmula (83) da d cr =O. Anlogamente, para

= (2q -

=1
(l)

1) 2
tenemos sl t = (- l)q- 1 y el t =O. S introducimos estos valores
en el segundo miembro de la frmula (89), es evidente que no
slo el denominador sino tambin el numerador se anula y no
podemos directamente decir nada acerca del comportamiento de
l
roi
si t cuando t _. (2p - l ) - + (2q - 1)- . La frmula (89') permite

'f

salir de la si tuacin. Aqui el denominador de la fraccin sigue

siendo igual a cero, pero el numerador sl 2 cr + sl 2 t = 2 es
distinto de cero. De aqu se deduce que si t tiende hacia oc cuando

<o

wi

r --. (2p - 1} + (2q - 1) -

(aqu nos basamos en la continuidad

de las funciones lcmnisclicas de variable real). Ahora podemos

completar la definicin de sir poniendo

s1[12p - l) ~ +(2q -

1)

'~]= .:ic.

169
p=O, 1, 2, .. . ; q=O, 1, 2. ...

(118)

Si se denomina polo de una funcin al punto del plano complejo

en el que la Func.in se convierte en co (es decir, la funcin
tiende a oo cuando Ja variable tiende hacia este punto). podemos
decir ahora que la frmula ( 118) determina codo el conjunto

infinito 'de los polos del seno lemnisctico.

Anlogamente, de las frmulas (90) se podran determinar
todos los polos del coseno lemnisctico. Pero es ms sencllo
partir de la frmu la (82):

el r ==si ( ; -

1)

De ella se deduce que el t tiende a co si t tiende hacia un punto

a cuando, y slo cuando, si (

~-

t)

(1)

tiende hacia co si -

- t

tiende hacia -

- a. De aqu, segn Jo expuesto anteriormente.

fil

2- - a= (2p -

ro

1)2' - (2q - 1) -

es decir,

+ 1) - + (2( -q +

a = 2(-p

1) - 1] -

Cambiando aqu - p + 1 por p' y - q + 1 por q', obtenemos

q ue todos los p olos de el t se representan en Ja forma
t

= p'w + (2q'

- 1)

CJli

(119)

donde p' y q' son nmeros enteros cualesquiera.

32. Oc un modo anlogo se determinan los polos de las
funciones de Jacobi. Comencemos por sn (t, k) (O < k < 1). El
denominador de la frmula (99) tiene la forma

cn 2 (r, k') + k2 sn 2 (cr, k) sn 2 ("r, k').

( 120)

Puesto que para a y t reales tambien son reales los valores

de las funci o nes de Jacobi, la condcin de anulacin de esta suma

equivale a dos condiciones:

'

en (t. k')

=O

sn (o, k) sn (t, k') = O.

170
Pero si cn(r, J.:')= O. cmonces sn(t, k')
obtenemos qut: ( 120) se anula cuando,
mente

c..:n (t. l<'J

=O

= J (vease (91}). Por e8o,

y slo cuando, simultnea-

y sn (<T.

k)

= O.

( 121)

Segn el punto 29, de aqu se deduce que

= 2mK (k)

= (2n -

1)

K (k'),

es decir,
t

= 2mK (k) + .i (2n -

1) K (k').

Designando K (k) por K y K (k') por K', escribamos los valores

encontrados en la forma :

t = 2mK

+ i{2n -

1)

K',

(122)

donde m y n son nmeros enteros cualesquiera.

Pero si introducimos en la frmula (99) los valores encontrad os
de cr y t, veremos que se anula oo tan slo el denominador sino
tambin el numerador (ya que sn (cr. k) =en (1. k') 0). Por ello,
esta frmula no permite j u:r.gar directamente acerca del comportamiento de sn (r, k) cuando t--+ 2mK + i (2n - l) iK'. Viene en ayuda
la frmula (99'). Como para en (t, k') =O el valor sn (t, k'}
1
(la primera de las frmulas (91)), se tiene sn 2 (t. k') = 1 y la frmula
(99') muestra que sn {t , k) -> oo cuando t tiende hacia cua lquiera
de los puntos (122). Por consiguiente, los valores encontrados para
r representan polos (y, adems, todos los polos posibles) de la
funcin de Jacob so (r. k).
De un modo anlogo es posible persuadirse de que los valores
(122) dan as mismo todos los polos de las funciones en (t. k)
y dn (t, k). Es verdad que este resultado sobre la coincidencia
de los polos de estas funci ones con los polos de sn (r, k) se desprende
de las identidades (9 l).
33. Para lo sucesivo es necesario conocer tambin los ceros
de las funciones que estamos estudiando, o sea, todos aquellos
puntos del plano complejo en los que se anulan las funciones.
Comencemos por el seno circular. Segn la primera de las
frmulas (7 5).

sen t = sen (cr

D.e

lll~ui

+ i1) =sen cr ch t + i sh t

cos cr.

(75')

se deduce que la ecuacin

sen t =O

(123}

171
equivale al sistema de ecuaciones

sen cr ch T = O, }
sh t cos o = O.

{124)

Co nsideremos la primera ecuacin ( 124). Puesto que ch t =! O

(recordemos la representacin geomtrica de ch t (punto 2);
a este mismo resultado condui::e tambin Ja frmula {32) : ch t =

= -e' +
i-e-),

deducimos que sen cr =O. Luego, cr

= mn,

donde

m =O, 1, 2, ... , y por consiguiente, coso= (- I)"' .,,::O.

La segunda de las ecuaciones (124) da : sh t =O, de donde t =O
{recordemos la representacin geomtrica de sh (punto 2); al
mismo rcsuhado conduce la frmula (31 )). De este modo

r = cr + iT

= mn,

= O. L 2, . ..

(125)

F-~ta expresin rnmprende todos los cero~ de seor. Va1r'Js que

entre ellos no hay puntos imaginarios : al extender la definicin
del seno circu lar al plano complejo no aparecen i::eros nu<"vos.
Pro ponemos al lector, a ttulo de ejercicio, comprobar m1:diantc
la segunda de las frmulas (75) que todos los ceros de cos t quedan
comprendidos en l<t expresin :
1C

t = cr+it=(2m - l )-, 111 = 0. 1. 2, ...

2

(126)

Desde luego. por esta misma va se pueden hallar los ceros de las
funciones hipc:rblicas. Pero es ms sencillo partir de las relaciones :
sen (it)

= i sh t y

cos (il) =ch t.

De la primera se deduce que la ecuacin sh 1 = O equivale a la

ecuacin sen (i1} =O. Por eso. it = nm, de donde
1

= (-m)rci = mri.

donde 11 es de nuevo un nmero emcro cualquiera. Del mismo

modo exactamente obtenemos que todos los ceros de ch t estn
comprendidos en la frmula :
'!fi

1=(211-l)--.

donde

11

es un numero entero cualquiern .

172
34. Determinemos los ceros del seno lemnisctico.
Empleando la frmula (89'), deducimos que sir =si (O'+ ir)= O
implica sl2 cr + sl2 -r = O, o sea, obtenemos dos ecuaciones

sl o= O,}
sh = O.

ni?)

De aqui cr = mw, t = nw (m y n son nmeros enteros cuales

quiera) y, por consiguiente,

t = mro + nroi, m=O, 1, 2 .. . ; n =O, 1. 2 ...

(128)

Pero el denominador de la fraccin (89') se anula para si cr O

= O; por ello la frmula (89') no permite juzgar sobre los
valores de si 1 en los puntos hallados. Consideremos la frmula (89)
para si (<:r + it) ; aqu el numerador de la fraccin, dad.is las
condiciones (127). es igual a <--ero y el denominador es igud a L
Por Jo tanto si (mw + nmi) =O y, en consecuencia, Ja . frmul~ ( 128)
representa efe<itivam entc ceros de si t (adems, todos los ce. os ya
que d e Ja frmula (89') se deduce que las condiciones hdla das
son necesarias para la a nulacin de si e).
Para encontrar l9s ceros de el t, lo ms sencillo es partir
de la frmula (82) :
y si t

el t

= si (~ -

e).

De ella se deduce que la ecuacin el 1 = O equivale a la ecuacin

si (; t

1) = O. Por

= [2 ( -

eso

- e = mw + n(J)i. de
0)

m + 1) - I] 2

+ ( -11) wi

= (2m' -

d~ndc
(J.)

1) -

+ n'<>i. (129)

donde m' y n' son nmeros enteros cualesq uiera. La fr mula (129)
comprende lodos los ceros de el t .
35. Para hallar los ceros de sn (t , k) es cmoda la frmula (99').
De ella se ded uce que para Ja anulaci!l de sn (a + it. k) es
necesaria la condicin: sn 2 (o. k) cn 2 (C1, k') + sn 2 (t , k') =O, o sea,
dos ecuaciones :
sn (o, k en (t, k' )) =O.

sn {t. k') = O.
Pero de la lt ima c1.uacin. por medio de (91 J. se deduce que
en 't, k ') 1 #:O: po r eso. las condicio nes necesari<1s de an ulacin

173
de sn (cr

+ i't) toman la forma :

sn (cr, ~) : O, }
sn (t, k) - O.

De aqu (vase e\ punto 29):

cr == 2mK (k) y

(130)

= 2nK (k'),

o sea,
( 131)
t = 2mK + 2niK',
donde m y n son nmeros ente~os cualesquiera.
Sin embargo, la frmula (99') no sirve para calcular sn (t, k)
en los puntos encontrados ya_ que, dadas las condiciones (130),
se anula no slo el numeridor sino tambin el denominador
de la fraccin q ue representa sn (t, k). Por eso consideramos la
frmula (99). Aqu el numerador es igual a cero. pero el deno minador
es distinto de cero (recor demos que en ('t", k') = 1). De modo
que la frmula (131) representa ceros de sn (r. k) (y, adems, todos
Jos ceros).
Empleando las frmulas (100') y ( 100) el lector comprobar que
t

= (2m -

1) K

+ 2niK'

{132)

da todos los ceros de en (t, k). y empleando (101). que

t

= (2m -

1) K

+ (2n -

l)iK '

(133)

da todos los ceros de dn (1, k) {m y n toman aqu todos los

valores enteros posibles).
36. Al hablar <le la periodicidad de las funciones consideradas,
hemos sobreentendido hasta el momento slo Jos perodos reales
de las mismas. Pero cuando la definicin de fu ncio nes se hace
extensiva a la variable compleja, pueden surgir tambin perodos
imaginarios. Un ejemplo de esta ndole es Ja funcin exponencial.
A saber, la funcin exponencial e' (que no tiene perodo si se
considera como funcin de variable real) resulta que tiene un
periodo imaginario puro 2rti. En efecto, sea t = cr + ti, donde cr
y 't son nmeros reales. Entonces, segn la frmula (77),
e'= e., .. ,,= e (cos t + i seo t).
Cambiemos t por 1 + 2ni; como t + 2ni = cr + ('t"
equivale a cambiar < por 't + 2n. Obtenemos :

+ 2n) i, esto

+ 2n) + i sen (t + 2n)) =

= e" (cos + i sen t ) = e' (para cualquier

e'+ 2 = e" +!+ 2 "1 1 = e [ cos (t

t).

174
De aqu se deduce que 2rt es un perodo de la funcin e'.
Recordemos que el nmero A se denomina perodo de una
funcin /(t) si la igualdad

f(t +A) =f(t)

se cumple para cualquier

(para el cual esta definida la funcin).

Si f (t) tiene al menos un perodo distinto de cero, se denomina

funcin peridifa. De la definicin se deduce .que si A es un

perodo de f (1). entonces cualquier mltiplo entero de A tambin
es periodo de f (t).
En el punto 22 se ha demostrado que 2n es un perodo
de la funcin sen 1 considerada como funcin de veriable compleja.
Por consiguiente, cualquier mltiplo entero de 2n es tambin un
perodo de esta funcin. Demostremos que es vlda as mismo
la proposicin recproca: cualqt~ier perodo de sen t es un rr ltiplo
entero de 2n. En efecto, sea A un perodo de sen t. De la identidad

obtenemos para

sen (r

+ A) = sen 1

sen A

= sen O = O.

=O:

Por consiguiente, A es un cero del seno circular; segn la

frmula (125), A debe ser igual a un mltiplo de 1t: A = mn:.
(ndiquemos por k el resto que se obtiene al dividir m por 2;
entonces m = 2p +' k, donde p es un entero y k es igual a O o bien a 1.
Por eso,
sen (t

+ A) = sen (t + kn: + 2prc) = sen (t + krc).

Como A es un perodo de sen t, resulta que

sen (t

+ k1t)

= sen t

para cualquier 1. Si k =O, esta condicin se cumple; en cambio,

si k = 1, no puede cumplirse idnticamente ya que sen (t + 1t) =
= - sen t. Obtenemos, en definitiva, que k = O, o sea, A = 2pn que
es lo que queramos demostrar.
Anlogamente se demuestra que cualquier perodo de cos t es
un mltiplo entero de 21t.
Resumiendo, se puede afirmar que, al estudiar las funciones
circulares, el paso a Ja variable compleja no conduce a Ja aparicin
de perodos nuevos.

175
Distinto es el caso de las funciones hiperblicas. Para alcan1.ar
cuanto antes el objet ivo, recu rriremos a las frmulas (52) y (7 l ):
sen (ir)

= i sh 1

cos(i1) =ch t

o
sh 1 = - i sen (i1)

ch 1 == cos (it).

De aqu, para cualquier nmero complejo A,

sh (1 +A)= - 1sen(i1 + iA) y ch(1 + A)= cos(ir

+ iA).

Por eso, A es un perodo de las fum.:iones hiperblicas si, y slo

s, iA es un perodo de las funciones circulares, o sea, iA = 2pn,
donde p es un nmero entero, o A = (- p) 2ni = 2nip', donde
p' =O, 1, 2, 3, . . . Por consiguiente, las funciones hiperblicas
sh r y ch t son funciones peridicas y sus perodos quedan abarcados
en la fr mula A = 2p'ni, donde p' es un nmero entero cualquiera.
Vemos que el paso a la variable compleja ha descubierto
la periodicidad de las funciones hiperblicas {estas no son peridicas
si se consideran corno funciones de variable real).
37. Aunque los perodos 2pn de las funciones circulares son
nmeros reales mientras que los perodos 2p"ni de las funciones
hiperblicas son nmeros imaginarios puros (todos, a excepcin
de uno que es igual a cero), lo comn de ambos casos es que
cualquier perodo de la funcin es un mltiplo entero de un mismo
nmero. Este numero es 2n {O - 2rc) para las funciones circulares
y 2rci {o - 2ni) para las funciones hiperblicas. Una fun cin
peridica tal que cualquier perodo suyo es mltiplo entero de un
mismo perodo, llamado prir>do primitivo, se denomina .funcin
uniperidca o fu ncin simplemenre peridica. De modo que las
funciones circulares e hiperblicas son 'funciones uniperidicas.
Consideremos las funciones lemniscticas y comencemos de nuevo
por el seno. Observando que si ro

~) = - sl ~2 = - 1,

= sl ( \
2

=O

y el w

= si (

~-

w) =

obtenemos de la primera de las

expresiones (87):
sl(t + w) = - slt.

(!34)

176
Vemos que l no es perodo de si 1. De la frmu Ja (134)
se deduce seguidamente:
si (1

+ 2w) =si ((t + w) + w]

= - si (1 +ro)= si l.

(135)

Por eso 2w es un periodo del seno lemnisctico (este hecho

se ha sealado ya en el punto 25) y cualquier mltiplo entero
de 2w tambin es un periodo. Sin embargo, los perodos de tipo
211w
abarcan todos Jos perodos de si r. Para persuadirnos
1
de ello, observemos que si (roi) = i si w =O y el (wi) =-- = - 1;
el (1)
poniendo et = t y P= iw en la primera de las expresiones (87),
obtenemos:

no

si (t

+ wi) = -

(136)

si l.

De aqu se deduce que wi no es un periodo de si t ; pero de esta

misma frmula ( 136) deducimos que

si (t

+ 2n>I) = sl [(t + ro) + wi]

= - si (t

+ wi) = sl t,

( 137)

o sea. 2roi y, por co nsiguiente, cualquier mltiplo entero de 2wi

es un perodo de si 1. De modo que el seno lemnisctico tiene
un conjunto infinito de periodos reales y un conjunto infinito
<.le perodos imaginarios puros. Oc ello se deduce que si 1, siendo
una funcn peridica, no es una funcin uniperdica. Efectivamente,
si se supone que cualquier periodo s11.vo es un mltplo entero
del perodo primitivo a. (cr: '#O), deben cumplirse las igualdades
de tipo

2co

= met

2wi

= net,

donde m y n son nmeros enteros (distintos de cero).

De aqu resultara que

l=-

es un nmero real lo que es falso . De modo que si 1 pertenece

a una clase especial de funciones peridicas, distintas de las
uni peridicas.
Empleando las frmulas ( 134) y ( 136). deducimos que
si (t +ro+ fro) = si [(t

+ iw) + w) = -si (t +

iw) =si 1.

Por eso, w + i0> es un perodo de si t y tambin lo es cualquier

mltiplo entero de <1> + iw.

177
38. Por medio de adicin se pueden obtener de los periodos
encontrados otros nuevos.
Por ejemplo, puesto que 2mw es un periodo de si< (m es un
entero) y n {o>+ iro) tambien es un perodo de si e (11 es un entero):
se deduce que

2nm> + n {(I) + (J)i)

(138)

tambin es un periodo de si 1.
Demostremos ahora que todo periodo A de la funcin si 1
se puede representar en Ja forma ( 138) para determinados valores
enteros de m y 11. Por supuesto, esto es evidente para los periodos
que hemos encontrado anteriormente :

= 2 1 ur+ O-( (w + CJJi),

2wl = 2 - l c1> + 2 (w + rni).
2ro

11)

+ wi == 2 O <l +

1 (l + >i),

lm=l,n=O} ;
(m

=-

(m == O.

= 2):
= 1}.

1, 11
11

Pero nuestra propos1c1on tiene un carcter general : de ella se

deducir que si t no tiene ms periodos que los comprendido::.
en la frmula (138).
Supongamos, pues. que tenemos la identidad

si (1 + A) = si 1.
Poniendo aqu

(139)

= O, encontraremos:
si A =0,

de donde se deduce que A es un cero de la funcin si 1. o sea,

(vease ( 128)).
A = mro + ncu,
donde m y n son unos nmeros enteros. Representemos A en la
forma:

= (m -

+ 11 (w + wi) = pw + n (W + 1oi)
la divisin de p por 2 : p = 2r + k

n) w

y sea k el resto de
numero entero y k =O 1). Entonces
A

si (r

12-10

es un

= 2rw + n (CD + wi) + kcu;

introduciendo este valor en (139) y observando que 2rl

es un perodo de tipo ( 138). ded ucimos que
idnticamente.

(r

+ k<u) = si t

+ /1 (> + tJ}i)

178
La ltima condicin se satisface slo para uno de los dos
valores posibles de k, a saber. para k = O (k = 1 no sirve, como
puede verse de la formula ( l 34)).
Luego, cualquier perodo A de la funcin si t tiene Ja forma :
A

2nu

+ /1 (<u + ro)

que es Jo que se queria demostrar.

El anlisis realizado ha permitido ver que cuaJquier periodo
de si t se puede representar como una combinacin con coeficientes
enteros de los dos perodos primitivos 2w y w + wi. Las funciones
peridicas que poseen semejante propiedad se denominan doblememe
peridica.~. De modo que si t es una funcin doblemente peridica
con dos perodos primitivos 2w y ro + roi (comprubese que tambin
se pueden tomar como perodos primitivos de esta funcin , por
ejemplo, cu - wi y ro + wi).
Empleando la frmula

clt=sl(~ -r}
el lector deducir cilmente de lo demostrado que el t es tambin
una funcin doblemente peridica con los mismos perodos
primitivos.
39. Un anlisis anlogo se puede realizar para las funciones
de Jacobi. Consideremos, por ejemplo, sn (e, k). En el punto 28
qued demostrado que
sn(t+2K)= -snr.
de donde

se

deduce que
so (e+ 4K) = sn t,

o sea, que 4K es un perodo (real} de s o t. Mostremos que sn t

tiene tambin periodos imaginarios. De la frmula (1J1) que
determina lodos los ceros de sn(!, k), vemos que t = 2iK' tambin
es un cero, o sea,
Sil (2iK'.

k) =O.

( 140)

Despus, de las rmulas (94) y (95) obtenemos para 1 = 2K':

cn(2iK' k)
'

= -en (2K
-- ', -k'I'. .

do (2K'. k')
dn(2iK'. k) = - ....- - .
en (2K ', J.:')

(141)

179
Pero de las frmulas (100) se deduce para I =O:
en (2K, k) = -en O= - l y dn (2K, k) = dn O= 1

o, sustituyendo k por k' y, por consiguiente.

K

Jo v'o _

por K' =

,2)(1 - kic2)

en (2K', k') = - 1 y

I'

v'o - t2)(1 o

dn (2K', k')

= 1.

y dn (2iK', k')

= 1-.

k'212).

Por eso, las frmulas (141) dan:

en (2iK', k) == -1

(142)

Poniendo a = t y ~ = 2iK' en la primera de las expresiones

(96), obtenemos mediante (140) y (142) :
sn {t

+ 2iK',

k)

= sn (r,

k) en (2iK', k) dn (2iK' , k) = sn (t. k),

(143)

de donde resulta que 2iK' es un perodo de sn (1, k).

De Jo expuesto en este punto se deduce que

= 4Km + 2iK'n,

(144)

donde m y n son nmeros enteros cualesquiera, es un periodo

de sn (t, k). Mostremos que los nmeros (144) abarcan todos los
perodos posibles de sn (t, k). Aqu se puede razonar igual que
en el caso del seno lernnisctico (punto 37). Sea A un perodo
cualquiera de s11 (t. k). Ento!'lces

sn(t+A)=snr

(145)

idnticamente. Poniendo aqu t =O, encontraremos

sn A= O,
o sea, A es un cero de la funcin snt; por eso, (vase (131))

A= 2mK

+ 2iK'11,

donde m y 11 son unos nmeros enteros. Indiquemos por r el resto

de la divisin de m por 2:
m
{p es un nmero

y ,.

=O
A

= 2p + r

1). Entonces

= 4pK + 2niK' + 2rK .

Introduciendo en (145) y observando que 4pK

12

+ 211iK'

es un

l80
periodo. encontraremos:

sn (1 + 2rK) =so t.
Esta relaci n no puede cumpl irse idnticamente si r"" 1 ya que
sn (r + 2K) = - sn l; por eso. r = O, de do nde
A .= 4pK

+ 2niK'

que es Jo que se queria demostrar.

T

211.

1
1
1
1

1
1
11t4 11 1

16 11'
1
1

+---r--:
411.

,2~
1
1
1

1
1

1
1
1

Jo

t'S

1
1
1

..IC. 22

De lo demostrado se deduce que sn (t, kl es una funcin

doblemente peridica y que 4K y 2iK' pueden tomarse como
perodos primitivos de la misma. Anlogamente se puede demostrar
que en (t, k) es una funcin doblemente peridica de perodos
primitivos 4K y 2K + 2iK' (tambin es cmodo tomar como
perodos primitivos de en (e, kJ los nmeros 2K - 2iK' y 2K + 2iK')
y que dn (1, k) tambin es una funcin doblemente peridica
de periodos primitivos 2K y 4iK'.
40. Marquemos en el plano, cuyos puntos representan los
nmeros complejos (plcmo complejo), todos los perodos de sen t
y tracemos por los puntos marcados rectas para lelas. Dividirn
el plano en fra njas. (fig. 22) que se denominan .fi:mijas de perodos.
Es evidente que dichas franjas cubren, sin dejar vacos, to do el
plano y no se superponen. La inclinacin de las recws puede ser
cualquiera ; optando por el caso ms sencillo, trazamos todas las
rectas paralelamente al eje imaginario. Si el punto r, desplazndose,
describe una de las franjas de los perodos, el punto t + 2prc
(p es un entero), dcsphizandose de modo corrcspondi~nte, describe
otra franja de perodos. Puesto que sen r toma valo res iguales en

181
los puntos r y t + 2prt, todos los valores que loma el seno circular
en una de las franjas se repiten en otra cualquiera. Por eso, digamos,
para hallar las races de la ecuacin
(146}

sen t =A,

donde A es un nmero complejo fijo: A =<X + if3 (:x y ~ son

nmeros reales), hasta hallar todas sus races pertenecientes a una
de las franjas. Las dems races se obtendrn de las encontradas
mediante desplazamientos: t' = t + 2pn (p es un entero); ocupan
en cada una de las franjas la misma posicin que tienen las races
encontradas en Ja franja inicial.
Mostremos que cualquiera que sea A = o:+ i~ la ecuacin (146}
tiene en cada franja de periodos dos races, y slo dos (que pueden
confundirse en un punto, caso de raiz mltiple). Es necesario,
entonces, convenir en asignar Ja recta, comn a dos franjas
vecinas, a una de estas franjas. A saber, asignaremos toda recta
de este tipo a la franja que se encuentra a su derecha de modo
que los puntos de la franja correspondiente sern caracterizados
por las desigualdades:

21tp

~ O'

< 21t (p + 1) ( -

00

<

<

+ ('f.)).

Por ejemplo, los puntos t = O y t = i pertenecen a la franja

O ~ o < 2n, mientras que los puntos 2rt y 2n + i, a la franja
siguiente a la derecha 2n ~ cr < 4rt. Representando sen t de acuerdo
con la primera de las frmulas (75), escribiremos la ecuacin (146)
en la forma:
sen cr ch t + i cos e; sh t

= a. + i~t

(146')

Queremos demostrar que existen slo dos races t = cr + i"?: que

satisfacen la condicin O~ cr < 2n. Es obvio que la ecuacin (146')
equivale al siguiente sistema:
sen o . ch t'

= a,

cos ('f sh t

= ~

(146")

Pongamos sen cr = x y sh t =y; entonces estas ecuaciones tomarn

la forma: x /1 + y 2 = a. y ~y = f3
x2 + x2y2 = cx2 e y2 - x2y2 = 132.
(147)
Buscamos races reales de (146"); por eso, O~ x2 ~ l y O~ y2.
Estas condiciones se satisfacen slo para los valores siguientes :

y2

2 + 132 -2

+ 0\

x2 =

r:/ + ~2 + i
2

0i '

(148)

182
donde
t.= (o: 2

+ p2

1) 2

+ 413 2

= (cr 2

+ 1}2 + 1)2

4a 2

(149)

yA

significa el valor aritmtico de la raz cuadrada.

De (J49) se ve inmediatamente que los valores encontrados no
son negativos. Para comprobar que x 2 ~ 1, consideremos la
diferencia 1 - x 2 :

J-

/i1 - (cx2 +13-1 )

2

De ( 149) se deduce que tampoco es negativa. La ecuacin

y2

= sh2 t

Cl'.2

+ pz _ l + {L\

= - -- ----2

determina dos valores de t que difieren s lo en el signo. Les

corresponden dos valores opuestos del seno hiperblico, sh t
y -sh i:, y un mismo valor del coseno hiperblico.
La ecuacin

r-

x = scn

(X 2

O"

+ 132 + t - Vf\

= - - - - - -2

se satisface para dos valores de sen cr; pero de stos, como

muestra la primera de las ecuaciones ( 146") hay que tomar slo
aquel cuyo signo coincide con el de et. (ya que ch i: ~ l > O);
designemos por x0 este nico valor posible de sen o:

sen o

= Xo.

1Xo1 ~ l.

Ahora bien, en el intervalo O ~ cr < 271' al valor encontrado

de sen cr Je corresponden dos valores <J 1 y cr 2 de cr con la
particularidad de que los correspondientes val ores de cos o 1 y cos o 2
difieren en el signo: cos cr 1 = -cos C12
Puesto que el producto cos cr sh t debe ser igual a P. resulta
que el cambio de cr 1 por cr 2 en la segunda ecuacin (146") debe
ir acompaado del cambio de un valor de t por el opuesto -i:.
Hemos comprobado, pues, que existen dos pares de valores de cr
y "t, y slo dos pares, que satisfacen (146") (146) dada la condicin
adicional O ~ cr < 21t:

183
Los puntos correspondientes

son:

+ i1:

f =O'

t2

= 0"2 + i1:.

(150)

Aqu cr 1 y cr 2 se determinan de las condiciones:

sen cr1 =

+
-

cx2 + p2 + 1 2

(.1

donde el signo de sen cr1 coincide con el signo de ex, O~ e>; < 2n:,
j = 1, 2, mientras que t se determina de la condicin

sh t

cx2 + p2 - 1 + ~

No daremos las frmulas explicitas para cr y t aunque no es

difcil hacerlo.
Observemos que para a > O los puntos t 1 y t 2 sern simtricos
JI:
o . . ' .
31t
respecto a
y para a< . seran s1metncos respecto a
.

Un anlisis semejante podra realizarse tambin para el coseno

circular

(10 ms sencillo es valerse de que cos t = sen (;

t)}

Sealemos brevemente cmo cambiarn los resultados si en

iugar del seno circular se considera el seno hiperblico. Aqu
todos los periodos, a excepcin del cero, son imaginarios puros:

O, 2ni,

4ni.

. ..

Por eso, apareceran como franjas de perodos las franjas paralelas

al eje real (fig. 23). De la relacin
sen (it)

= i sh t

se deduce que la ecuacin

sh t = A.

= cr + it,

O<

2Jt,

equivale a la ecuacin

sen (it) =sen ( - t + icr)

= sen [(21t -

t) + icr]

= i A,

donde O ~ cr' = 2n - t < 2n, que hemos estudiado ms arriba.

Empleando el resultado encontrado para sen e, obtendremos que
la ecuacin sh t = A cualquiera que sea el complejo A tiene dos
races, y slo doi;, en cada una de las franjas de perodos del seno

184
hiperblico (esias races pueden confundirse en una raz de
mult iplicidad dos).
41 . Marquemos en el plano todos los periodos del seno
Jemnisctico:

2mcu + 11 (w + iw),

m y n son enteros.

Partiendo de los perodos del seno circular (o h iperblico), en

el punto 40 hemos dividido el plano en franjas de perodos.

t l+4 1f1
1

--------- -----,.---- 4Jt l

- - - - - - - - 2!'- ----L----1

,_,

o
--------

-----------

- 2it i

J'JC. 23

Aqu, en el caso de una funcin doblemente peridica, en lug.r

de las franjas de periodos aparecen de un modo natural los
paralelogramos de perodos. Una forma posible de escoger el sistema
de los paralelogramos de perodos para si e viene indicado en la
lig. 24. Si el punto t describe uno de estos paralelogramos. el punto
r + 2mw + n (Ct> + i(I)), donde m y 11 son unos nmeros enteros fijos,
describe otro paralelogramo. Puesto que si [ t + 2mw + n (w + i(l))]
=si t, los valores que toma si L en uno de Jos paralelogramos
se repiten en otro cualquiera. Por eso, por ejemplo, para hallar
las races de la ecuacin

si t =A.

( l 1)

donde A es un nmero complejo dado : A =a+ ij3, basta hallar

todas sus races pertenecentes a uno de los paralelogramos,
digamos, al paralelogramo con los vrtices O, 2ro, 2ro + (ro + o>),
co + iro. Las dems races de la ecuacin ( 15 l) se obtienen de las
encontradas mediante desplazamientos e' = t + 2mcu + 11 (ro + iw);
ocupan en cada paralelogramo la misma posicin que tienen las
races encontradas al principio en el paralelogramo inicial.

185
Mostremos q ue cualquiera que sea A =el + i~, la ecuacin (1 51)
tiene dos races, y slo e.Jos, en un paralelogramo (que pueden
confundirse en un punto, caso de raz mltiple). Es necesario,
entonces, convenir en asignar a un slo paralelogramo los puntos
fronterizos comunes de varios paralelogramos. A saber, usignaremos

,/

1' t

/1

--+---+- _____ __ ,..... ____ __

/#

,'

/---+----1'--
--11-----+--- *4 -----
I

,,. !.<-4ui +(w+1w)

11

--;"- --- -1'---7;4- - --,11---

,
I

r---

--- ---------,.

/4w

'-2w

--+ - ---JI-- -- -I

- ; -- - -~ ----jlr-

-/'~---4 //

/1

o ,
IV
111 1
/ 2w
4w
/
____ _.... ____ _..... -~ - 1"

/ D

O /f

E /C

11111

-- -- ~ ---- 11 ---

IA

"

,1

...1 ; ,. ._ ______ 1

,'

e ,/

wi 1---~-,,,.....~~-- -+- ~-;7

/

,/

2w
FIG. 2S

a todo paralelogramo solamente Jos puntos pertenecientes a Ja base

inferior (a excepcin del extremo de la derecha) as como
los puntos del lado lateral izquierdo (a excepci n del extremo
superior).

186
Consideremos, por ejemplo, los paralelogra mos 1, 11, III y IV
de la fig. 24; el punto A pertenec1: a 1; B, a 11 ; C y O, a IU
D y E, a rv.
Retornando al teorema enunciado ms arriba, demostremos
primero la proposicin siguiente:
en el rectngulo O~ cr < 2w, O~ 't <ro (fig. 25) la ecuacin (151)
siempre tiene dos races, y slo dos.
De ella se deducir precisamente la proposicin enunciada al
principio, ya q ue en el tringulo OAB, que no pertenece al
paralelogramo OBEC, Ja funcin si t, debido a la periodicidad,
toma los mismos valores que tiene en el tringulo CDE.
Expresando si t = sl.(cr + h) segn la frmula (89), sustituyamos
(151) por el sistema equivalente:
si o d

't ( l

+ sl

1} =

1 - s12 cr slz t

}
( 152)

sl t elcr(l +sl cr)

1 - sl 2 a sl 2 t
= j3.
Expresemos los valores de el <J y el 't a travs de si cr y si 't,
respectivamente, empleando la frm ula (83), y pongamos si cr = x
y si 1 =y. Entonces el sis1ema tomar la forma:

:~ ~ ~2::

~.

( 152')

.r /1- x4

-;====P.
/1 - x2y2
Buscamos exclusivamente soluciones reales de este sistema que
cumplen las condiciones 1x1 ~ 1, O~ y< l (ya que si -r ;:?!: O para
o~ t < (t)).
Elevando al cuadrado miembro por miembro cada una de las
ecuaciones (152') y sumndolas primero y dividindolas despus.
obtendremos el siguiente sistema:
x2 + Y2 =(~2 + ~2)(! - x 2y2),
{Xzy2 (1 - x4} - pz x2 (1 - y)=

O.

(153)

Observemos que se t ransforma en s mismo si a la vez cambiamos

de lugares x e y y a y p. Eliminando x 2 de ( 153), encontraremos
pi y _ ((a2 + 132)2 _ 1] y6 _ 2 (2a2 + pz) Y4 +
+ [(al+ p2)2 _ l] yz

+ ~i

= o.

(154)

187
Dividiendo todos los trminos por
1
- y2
y2

y'.

realcemos la sustitucin:

=u'

obtend remos para u la ecuacin cuadrada :

p2u2 + ((ci2

+ p2)2 - t] u -

4ci2 =O.

(155)

Puesto q ue por las condiciones del problema se admiten slo

valores de y que son reales y no mayores de 1 en cuanto al valor
absoluto, resulta que u

=~
- y 2 debe ser un nmero no negativo.
y

Por eso. de ( 155) obtenemos slo un valor admisible de u:

V [(-xl + p2>2 _ , Jl + 100 2~2 _ [(a2 +

2p2

~2)2

:;;i:

o.

{ 156)

Ahora para determinar y tenemos Ja ecuacin

y4

+ uy2

1 = O.

(157)

Tambin aqu para y sir ve slo una raz, Ja pos1t1va.

Obviamente, es la menor en cuanto al valor a bsoluto de las dos
races (porque la suma de los dos valores posibles d'c y 2 , igual
a - l f , no es positiva) y, por consiguiente, no pasa de la unidad :

o ~ .1:2 =

/u2 + 4 - u
2

~ 1.

( 158)

Como y = si t ~ O (O ~ t < oo), encontramos de aqu un nico

valo r de -'"
Empleando la simetra del sistema ( 153) subrayada anteriormente,
1
obtenemos de un modo anlogo, poniendo - 2 - x2 = v :
X

(159)

y un nico valor posible para x 2 :

O~x

/v 2 + 4- v
2

~ l.

( 160)

188
A partir del valor encontrado para y= sir :

",. ~ v ~
encontramos en el intervalo O ~

4- " ,

< w dos valores

t 1

t 2

de

't,

(1)

siendo ambos valores simtricos respecto a

o~ t1 =

dt

fVi y

r4

()

O bservemos que los correspondientes valores el t 1 y el t 2 son

recprocamente o puestos (vase el punto 5). Supongamos. para
concretar, que y= el t 1 =si t 2 >O (proponemos al lector analizar
el caso y = O). Entonces de la segunda ecuacin del sistema ( 152)
se dedu<.o'C que el signo de el cr coincide con el signo de. f3.
P or eso, de los dos posbles valores o 1 y o'1 tales que
si cr 1

, yvr> +4-v

= si cr 1 =

cr 1 ~O, cr ~O, cr 1 + cr'1 = w, hay que escoger slo uno; sea ste
el valor cr 1 que satisface la condicin: los signos de el cr 1 y de 13
son iguales. De un modo anlogo escogemos uno de los dos
valores <:r 2 y cr'.i tales que

. vv'r+4-

si cr 2 =si cr 2

=-

w ~ o 2 , ro ~o, cr 2 + <>2 = 3ro; sea ste el valor a 2 que satisface

la condicin: los signos de el o 2 y de 13 son iguales.
De lo expuesto en el punto 5 se puede ver que 0 1 + a 2 = 2ro
(partimos de que O~cr 1 ~ID, w~cr 2 ~2w, sencr 1 = -sencr2
y el O" =et <12)En resumen, hemos probado que al sistema ( 152) le pueden
satisfacer, dadas las condiciones O~ cr < 2ro y O~ t <ro, s_lo dos
valores t 1 y t 2 de -r tales que
si t 1 =si t

= y> O, O< el 1 = - el t 2 (t 1 + -r 2 = (1))

189
y dos valores cr 1 y cr 2 tales que
si 0"1

- si 0"2 >O, el <11 =el 02

(cr 1 + cr 2 = 2ro),

con la particularidad de que el signo de el cr 1 (y de el cr 2 } coincide

con el signo de 13.
Como de la primera ecuacin del sistema (152) se deduce que
el signo de si cr. el i: coincide con el signo de. i:x, resulta q ue los
signos de si a y el 't <lepen ser iguales (si o: > O) u opuestos
(si cx < 0). Esto signilca que el valor cr 1 es compatible slo con
uno de los dos valores t 1 y t 2 ; a saber: con 't si o:> O y con t 2
si ex< O; respectivamente, el valor o 2 es compatible con t 2 o con t 1

FlC. 26

En resumidas cuentas, en el rectngulo O ~ o < 2w, O ~ t < w

existen dos puntos t 1 y t?t y slo dos puntos, que satisfacen
la ecuacin (151). En cada uno de los casos posibles:
r1

= o 1 + it 1 ,

C1 =<r1+2.

t 2 = cr 2

+ it 2

= (2l - cr 1)

+ i(l -

ti)

(ex> O),

!2=02+it1= {2m -cri)+i (w - 2)

(i:x< O)

los puntos 1 1 y t 2 estn situarlos simtricamente respecto a l centro

iw

ro + - del rectangulo.
2
Si ambos puntos no pertenecen simultneamente al paralelogramo OBEC, uno de ellos, por ejemplo t , pertenece al tringulo
OAB y el o tro, t 2, al .paralelogramo OBEC (fig. 26).
Pero en este caso el punto t'1 = t 1 + 20> aparece en OBEC
y nuevamente obtenemos en este paralelogramo dos races de Ja
ecuacin (151), esta vez simtricas respecto al punto 2l

iw

+- .

2
42. Un anlisis semejante podra realizarse tambin para la~
fu nciones de Jacobi de mdulo cualquiera. Podramos persuadirnos

190
ento nces de que para cualquier A cada una de las ecuac10nes
de tipo ;
sn-(t, k)

= A,

en (t, k)

= A,

dn (t, k)

=A

tiene dos races, y slo dos, (que pueden confu ndirse en una raz
mltiple) en el correspondiente pa ra lelogra mo de perodos. Pero
esta demostracin exigira clculos voluminosos y no la harem9s.
Preferimos concluir nuestra exposicin con un breve resumen
de las definiciones y propiedades generales de las funciones
eliptcas q ue representan u na generalizacin sucesiva de las funciones
aqu estudiadas. Se tomar por base el concepto de funcin
entera de variable compleja 1).
U na funcin f (t) de variable compleja se denomina entera si
est definida y es <liferencable en todo el plano complejo. C omo
ejemplos de funciones enteras pueden servir cualquier polinomio,
la funcin exponencial (e'), las fu nciones circulares (sen r y cos t),
et c. Se puede demostrar que la clase de funcio nes enteras coincide
co n Ja clase de fu nciones represenia bles mediante series de potencias
que convergen en todo punto:

J (!) =

ao

+ (l f + Ozl 2 + 031 3 + ... + llnf" + .. .

Una funcin q> (t) de variable compleja se denomina fraccionaria

(o meromorfa, de las palabras griegas meros y mo rfos que significan
fracci n y forma) si se puede representar como cociente de dos
fu ncones enteras :
q>(f)

g (e)

=-

h (t)

Son ejemplos de fu nciones fraccionarias cualquier funcin

racional (cociente de dos polinomios), las funcio nes sec t =
1
sen t
= - - . tg t = --. Resulta que si t, el r, sn (t, k). en (l, k)
cos r
cos t
y dn (r, k) tambien son fu nciones fraccionarias. Sin embargo, esta
afirmacin req uiere una demostraci n especial y no se d educe
directamente del hecho de que estas funcio nes se representan
mediante fracciones de tipo (89), (90), (100) y (101). El hecho es
que los numeradores y denominadores de estas fracciones no son
funciones enteras de la variable compleja t = cr + ii:. La demostra1 ' Vase nuestro libro Uen ble <!>yHX llKH. 3JJeMeHr ap11i,1 o qepK>}, HayKa, MocKaa, 1965 {Funci ones enteras. Ensayo
elemental}.

191
c1on de que las funciones lemniscticas y de Jacobi se pueden
representar corno cocientes de funciones enteras y la determinacin de
estas funciones enteras, es una cuestin especial que rebasa los
mrgenes de nuestro libro. Desde luego, toda funcin entera f (t)
se puede considerar como un caso particular de la fraccionaria

f (t) p ero ta1 1unc1on

r . .'
.
.
puesto que f (t) = --.
tiene
v a1 ores fimitos
para
t

todos los t sin excepcin, mientras que la funcin fraccionaria

g (t) .

q> (t) = - - tiene, en general, polos en los que se convierte en oo.

/ (!)

Es evidente que todo punto i = r0 en el cua_l h (t 0') ;::: O y g (t 0 ) =O

es un polo de la funcin fraccionaria.
Una funcin fraccionaria doblemente peridica se denomina
elptica. Vemos ahora que las funcknes lemniscticas y las funciones
de Jacobi son elpticas.
Uno de los teoremas principales de la teora de funciones
elpticas afirma que toda funcin elptica, distinta de una constante,
debe tener no menos de dos polos (que pueden confundirse en
un polo mltiplo) en cualquiera de sus paralelogramos de perodos.
De aqu se deduce, en particular, que ninguna funcin entera, que
no sea igual idnticamente a una con.stante, puede ser elptica
(o sea, doblemente peridica).
Denominemos el nmero de polos de la funcin elptica en
el paralelogramo de perodos orden de la funcin elptica. Las
funciones elpticas de Jacobi sn (t, k), en (1, k) y dn (t, k) (en
particular, las funci ones femniscticas si t y el r) son funciones de
segundo orden.
Teniendo funciones elpticas de los mismos perodos primitivos
2ro 1 y 2ro 2 y realizando con ellas cualesquiera operaciones
racionales - adicin, sustraccin, multiplicacin y divisin ob'tendremos nuevamente funciones elpticas de los mismos periodos.
Por esta va se pueden obtener funciones elpticas de rdenes tan
grandes como se quiera.
S el orden de la funcin f (t) es p (p ~ 2), se. puede demostrar
que la ecuacin
f(t) =A
para cualquier A complejo tiene un mismo numero p de races
en cualquier paralelogramo de periodos (entre las races pueden
haber mltiples).

192
Vemos que los teoremas sobre el nmero de races de las
ecuaciones

si

= A,

el t =A. sn (1, k) =A, en (l, k}

=A

y dn (1, k)::: A

en el paralelogramo de perodos son casos particulares de una

regularidad general.
Sin detenernos en otras propiedades de las funciones clplicas,
sealemos para concluir que toda funcin elptica posee el teorema
algebraico de adicin. Weierstrass demostr que es vlido el
teorema inverso en cierto sentido del anterior : si una uncin
fraccionaria <> (t) posee d teorema a lgebraico de adicin y <> (r)
no es radonal respecto a t o respecto a la funcin exponencial
de tipo e"' (a es una constante compleja), entonces es necesariamente
una uncin elptica (vease, por ejemplo, nuestro libro men;ionado
en la pg. 190).
Todos los senos maravillosos. estudiados aqu, poseen el eorema
dt? adicin. Son fu nciones elpticas (como si / y sn (t, k)) o fun-

e'' - e ;,
ciones racionales de ta exponencial ( como sen 1 = - 21"sht

= e'---e)
- .

2
Estos resultados se pueden considerar como una confirmacin del
teorema d e Wcierstrass.

A NUESTROS LECTO RES:

Mio> edita libros SOVICllCOS traducidos al espaol, ingls, rancs,

rabe y otros idiomas e:dr'dnjeros. Entre ellos figuran las mejores obras
e.le las distintas ramas de la ciencia y la tcnica: manuales para los
centros de enseanza superior t escuelas tecnolgicas; literatu ra sobre
ciencias na turales y mdicas. Tambin se incluyen monografas, libros
lle divulgacin cientifica y ciencia ficcin. Dirijan sus opiniones a Ja
Editorial Mir, 1 Rizhsk1 pcr., 2, 129820, Mosc, 1-110, GSP, URSS.

.
.

~
lecciones populares
;
.

da

matem~tlcas

Obras de nuestro sello editorial

A.N . Kostovski

Construcciones geomtricas mediante un comps

A.O. Guelfond

Resolucin de ecuaciones en nmeros enteros

A.S. Smogorzhevski

Acerca de la geometra de Lobachevski

G .E. Shlov
Anisis matemtico en el campo
de funciones racionales

: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~-:

: Edltarlal MIR

Mosc

..

~~~~~~~~~~~~~~~~~~~~~~~~~~~~-