Documentos de Académico
Documentos de Profesional
Documentos de Cultura
i-
I
-
IPN.
EXPONENCIAL
)
Ricardo
'Cantoral.
Rosa
Ma
Farfn
Fernando Hitt.
Miiela Rigo.
1
983
'"
""'.
'
:l
J
,
t
,_'
,
-,
,
(1614 -1712)
"**O"l'-'
'.
-,
)
_t
)
-)
)
I
_)
)
-!
_)
)
-)
Los siglos diecisiete y dieciocho fueron notables en la historia del lgebra por los im'
portantes avances en la notacin y las ideas que marcan su actual tratamienlo. Elestudio
en este periodo sobre lgebr es ms que un mero pasatiempo. En palabras de Felix Klein:
"Si verdaderamente deseamos avanzar hacia el completo entendimiento de la teora de los
logaritmos. lo mejor es seguir en delalle la hrstoria de su creacin".
Los logaritmos fueron inventados antes de que nuestra actual notacin exponencial,an.
fuera introducida en el lgebra. Seguramente, el uso de simbolos algebraicos. ms o menos
diferentes de los smbolos modernos. para indicar potencias y races de un nmero fue sugerido antes de la llegada de los logaritmos. aunque tales sugerencias permnecieron desatendids; el hecho es que los inventores de los logaritmos no usaron la notacin exponencial moderna ni se familiarizaron con el concepto de exponencial, el cual juega ahora un papel fundamenlal en el desarrollo de la teora logaritmica. iCules fueron entonces las consideracone5 bsrcs en el desarrollo de los loganlmos que entretuvieron a sus inventores, John
Napier y Joost Brgi?
de John Napier se present en l6l4 en
Edrmburgo, y su llcrtlfici loWitntoruiltcrt'u,,ttt . (),t\lrrt(t() se presdnt como un trabajo psN.rricr lrs sts
Irrrrrr r,n l6lQ. unrluc cscrilo r'lnlr", rl .ll rtu',nto ltrttrro rlrr cl l)rsrril,lir.
cxLlrcJLrtne::obrr.: Jos considcrcrorrti5: (l) Ll corrcu.rtc.r geclmitrico mecnico del movi'
nrenlo de'puntos. y (2) las relacrorres que errstert entre ls series geomtrica y artimticas.
l.
Z
-,
,
,
,
)
-,
,
-t
Diversos escrrtores anteriores a Napier llamrorr la atencrn 50bre ciertas relciones entre los
trminos de una serie geomtrica y los trmrnos de una serie aritmticr I , tales relaciones
-,
,
-t
t
t
-_,
,
_,
lo largo de la lnea
75 con una
velocidad decreciente, de tal forma que su velocidad enl"sea a la correspondrente en d, como
la distncia IS es la distanciadS. Al mismo tiempo, un puntoc se mueve a lo largo de la linea bc (la cual es de longitud indefinida) con una velocidad uniforme e igual a la velocidd
inicial del puntog. Si dos puntos inicin su movimrento en el mismo instante. y sig est en
d cuando est en c, entonces la longitud c es definida como el logaritmo de dS. Napier
construy tblas para clculos trigonomlricos. Con ese f n, establece 75 como el radio
asignndole el valor de 10 7 , mientras que establece a dS para el seno dado. En ese liempo, las funciones trigonomtricas no se consrderaban estrictamente como rooncs. En el
leguaje de Napier. la definicin de un logaritmo es como sigue:
se mueve a
def nid
T5
d3
t-
tIJ
_t
--,-
o
--e
o
a
fa
velocidad constante e igual que aquella con l cual el radio empieza a decrecer geomtrcamente, y en el mismo tiempo en que el radro decreceiacia el seno dado".
(l)
L'o que para Cajori son series geomtrica y aritmtica,para nosotros son progresiones
geomt
'
(21 Troplke, C'sclt. d. Elcnctttar tllutltrttttttk. Vol. ll.'1903, pp. l4l - l4b.
( 3) 7'hc Cututrut tion of thc l4onderlul (.att't ol l.ogan'thms. By John Napitr .
Latn al lngls por W.R. Mac Donld. Edrmburgo y Londres, 1889, p. 19.
Ttaducido del
-i
f
f
'
_)
,
J
)
u(l-l/u),
0.
r rc
dr
,ll-l/u)2
I
2 ,...,
u (1
- | /t,l'
u ,.
Los nmeros en la serie superior repre5etn los valores sucesivos de los serrs. los
nmeros en la serie inferior representan a los togartmos correspondientes. De esa manera,
log 10? =0, log (lO:- 1) = {, yen general. tog (IO?11- 10? l1:
", donde n:0, 1,2,..
Napier tuvo un motivo para hacer el logaritmo del radio, 107 , igual a cero. Busc este
arreglo par economizar esfuerzos, considerndo la frecuencia con que aparece el radio en
multiplicaciones y divisiones en los clculos lrrgonomtricos. Hizo que la serie fomtrica
decrezca mientras que la correspondiente serie aritmtica crece. Esto hace que los logarito
mos de los senos de cualquier ngulo entre d y 90 sean positivos; en nuestras tabls actua-
s
.
Olo
-t
!,
Jlq-
t2
--)
t
_,
D
_D
t
I
D
_0
!
t
&\t*
porcionales).
ae'.
-l
"
,
4
Un hecho muy conocdo es que Joost Burgr rnvent los logaritmos independientemente
de Napier, aunque perdi todo derecho de prroridad por publicar su trabajo cuando ya el
xito de los libros de Napier resonaba en tod Luropa. Para el ao 1620, aparecin en Pra' lo:;, r
ga el Progress .,Tabule, que contena las tablas de logaritmos de 8rgi, solo que omita las l#"
explicaciones anunciadas en su portada . Por sta razn sus logaritmos fueron inintelegi'
bles para el lector comn. En las tablas de Burgi los nmeros de la progresin aritmtica
fueron impresos en rojo, los nmeros de la'progresin geomtrica en negro. La relcin en'
tre los logaritmos de Brgi, lOrr, y sus antilogantmos se expresa en notacin moderna por la
Del mismomodoqueen
ecuacn l07r = log[10E(I + 1/l0o)" l,r=1,2,3,...2
las tablas logaritmicas de'Napier, la nocin de "base" en el sistema de logaritmos de Br9i3'
no existe de manera natural. En ninguno de ambos sistemas se tiene log I - 0. En ese
sentdo, sus conceptos logartmicos fueron ms generales que los de hoy en da, pues para
pasar de una progresin otra podan elegir al azar cualquier nmero psitivo como aquel
cuyo logaritmo fuera cero. Como vimos, Naper originalmente eleqi loq 107-0 mientras
que Brgi eligi log ld= 0. En sus tablas los logaritmos eran nmeros enteros. Ms que
eso, los trminos de las dos series pueden incrementarse voluntad, en la mis.ma direccn o
en direcciones opuestas. Estoes,si m )n, se puede hacer que logm(log n o logm)logn
justo como se elija. .Napier originalmente eligi la primera opcin, Brqi la segunda-
**
Se sabe que Napier y Briggs acordaron modificar los logaritmos originales de Napier
En el apndice del trabajo de Napier, el Construciio, sesugiere una mejora, "se adopt l cero como el logaritmo de la unidad y a 10 OOO 0OO 000 como el logaritmo de un dcimo de la
unidad o bien de diez veces l unidadi'. Eluso subsecuente de las lracciones decimales en
las tabls'logarrimicas,condujo,e,los.logarrtmos comunes, en;los que log 1= 0 y log i0 = 1.
Un reajuste'de,bs'logaritmos'origihales de Napier se mostr en el Neu Logaithmesa de
John Speidell.,publicado hacia'1619 en Londres, por medio del cual los logaritmos se trans'
_l
Esas
(Z
(3)
-I
xplciciones iiron lmpresir por prrmera v'eten Grunert's Archiu, Vol.26, p. 323, en un ar'
(1)
)=
0'
El engaora la cteclracin de M. Koppe:.". ... drc Eyrgschen Ilogarithmen]hauen zur 8si (1 + 10-{10000
d.h. eine ralionale Zahl, die m.it e aul 4 stellen uberenslimm t" lBibliotheca mathematica ' 3ds" Vol'
3..1902, p. 151), astambin como la declaracrn de Felrx Klein: ". . . dass die Brgische Basis
mitr'beruituf 3 Dczimale tcreintimmt"' (F'Klcin.
(l,.OOOlto oo0
2,718146.
'
'.
'l:/r'rrt'tt!ar'
mthi.natik uon hh. Standpunhtr'aus.l. Leipig. 1908, p.333). .De las tablas de Briggs copia'
mos log 134983856 =3 00O0. Se nota lclrnrrre qrre fa base c=2.718 no es aproprada aqu.
l4,t Et libro de John speidell lu reimpreso en Maseres' sciptores logaithmici , vol.6. 1807, 9p'728'
,
I
759.
artimtica:
Serie
geomtrica:
0,
2,
1,
4,
2,
3.
4,
8,
16,
5,
6,
32,
64,
t,,
t6
= 64
.?=2u/
0.9399999 =1 - f /101
que co.mo se observa difiere en
(f
/ t0'
de ta
unidad.
Con
esa
razn obtuvo la
-tt
:
6 900 0O0 sustracciones. Por esz razn construyo dos tablas ms que le per.
m.itirian cumplirsu obfetivo sin tener que realizar tal cantidad de pasos.
Segunda Tabla
,x
'
000.000 000
100.000 000
9 999 900:000 000
99 . 99s 000
9 999 800.001 000
. 99,998 000
9 999 700.003 000
10 000
Qn,
o .!* I
999 900
.!N9
999 900
2.
99 . 997 000
50-
QN
ggg g00
Esta Segunda Tabla, como se puede observar, corresponde con los primeros 51 trminos de la serie geomtrica stiguiente:
101
,10'(1 -1/l7s)
101
(l -l /l0s)7,...,10'(t-
1/105
)s,"...
= t01(t'
/2000)P- t (t
- t /t00)s'l
Asi que una veRin simplilicada cle su Tercera Tabla sera la siguiertte'
:'
Tercera Tabla
I
a. columna
3a fila
t0 000 000.000 0
9 995 000. 000 0
9 990 002 . 500 0
I 900 000
I 895 050.
I 890 102.
2/a fila
a. fila
2a. fita
69a. columna
2a. columna
.
000 0
000 0
475 0
5 UB 858 890 0
5 U6 334.460 5
5 U3 8t t.293 2
'4
ggl
609.403 4
Co,no se ,cuede notar de es Tercera Tabla, cada fila est constituda por
los primeros 69 trminos de una serie geomtrica con razn igual a (l - l/1n) ,
y del msmo modo, cada columna est formada por los piimeros 21 trminos de
una serie geomtrica con razn igual a (l - | / 2 000). Por otra parte, debido
a que el ltimo elenento de cada columna es aproximadamente igual al primero
de la columna siguiente, se tiene a este arreglo como una sola serie geomtrica
con razn (t -. | /2 000/2oy que va desde t0 000 000 hasta aproximadamente
5 000 000. De esta fcrma se tiene, como dice Napier t , "en la Tercera Tabla
lentre 10 000 000 y aproximadamente 5 000 000)usted tiene sesenta y ocho
nu'neros interpolados,en la proporcio de 100 a 99 pntre trminos sucesivosl,
esos
porcin de 10 000 a
(l)
I
9.*U01 (1
t/200qp*1 (t
| fq :
(l)
l/101
)v.
definicion de
Enelecto,Dues-
1/200qp'1
(l 0=
Q* [101
9.N1101
(l - 1/100)L
(1- t/2000)p'1(t-
1/llTs''
l = (t,
t)1101
1.1/20m))+(q.t)tt0i (t.t/100)
/r.
t*/ e F,'lr=
101
l1
en la cual, la primera entrada de cada uno de sus puntos corresponde a los elemenlos de
la prime ra Tabla.
(q
-l)g.
eN (s
sss s00)
r0 00a 000 _
l;grn
,*
uoo
ass
(t0
000 000
s sss s00)
: |ffi.000495.
Det ltimo elemento de la segunda Tabta, se tiene,
2N(g gg5 A01.22)
= 50
000)
de
50 (t0O.O0Oqg) =
este valor, se
5 000.024
75
obtiene finalmente,
SLD| .245 06
523.34) =
100024.9 +5001.25
105026.15.
(9 90O 000)
Por
100 503.36.
""..
I
tf
:
l0
'l
T.l
bl
bo
b1
T,
b3
se obtiene que
mricamente igual a IrS . Por otra parrc, considera intervalos sucesivos de - (iempo, todos de magnitud l/107, razn por la cual el punto b que se mueve-con una velocidad constante de 107, se desplaza una distancia I en cada interva-
lo de tiempo, marcando as los puntos bo,br, bt, bt,... donde bsb^= rr. Ahora bien, durante el primero de esos intervalos de tiempo, el punto T se desplaza
de 7'o a T, con una velocidad inicial decreciente de 107, pero debido a lo peque--l - 101 (1.1/101 ).
o det inrcrvalo de tiempo,se tiene que TsT,
= 1 y TtS - 101
Durante el segundo intervalo de tiempo, la velocidad de Tes aproximadalnente
igual a101 (t--l/107),asTrS = /0?(l -l/107)x(1 -l/107)=t01 (t-1/101 )2.
Continuando de esta manera, se tiene que TnS = 10't ( - | /101 )" y de esa for ma el logaritmo naperiano de 101 (l - 1/101 )n es aproximadamente igual a n,eso
es.'
9*
f101
(l -
1/101
)"l=n
Puesto que el trabtajo de Burgi es en mucho muy semefante a la primera -parte del trabajo correspondiente a Napier, no lo comentaremos en esta seccin.
(1
En trmilos del clculo,se tene que el movimiento del punto T se rige por la ecuacin
-dzdt
- -*
conlacondicininicialx(01=107;cuyasolucineslogx=-t*logl01 ,obien---t-- log 101 /x. El movimiento det punto b est dado por y = 107 tog 101 /x, as que de
la definicin de logaritmos naperianos se obtiene
?.x=tO|
loq4
ll
Debido a que en ese tiempo tos togarrtmos eran estudiados en conexin con algunas
progresiones geomtricas con trmino inicial posrtrvo y razn positiva tambin, los trminos
negatrvos no aparecian en tales progresiones, esta cuestin, en s misma, no obligo considerar lo que deberian ser los logaritmos de nmeros negativos. Hasta donde lenemos noticia,
ningn escritor del siglo diecisiete trat esta cuestrn. Sabemos que Leibniz lo trat en el
ao 1712. No es sorprendente que esto apareica temprano. Charles Reyneau en su
Analysc dmuntrc, Paris, 1708, Vol. ll, pg. 802, da la frmula para la drferencracin,
"dP -x
- ldx/x".
ZFall Reyneau al aceptar la sugerencia de lcr: impresores " 9- x"? En el siglo diecisiete
la teoria de los logaritmos, realmente estuvo sobre bases muy satisfactorias. La def inicin
de logaritmo se restrngi'eri su aplicacin, solmente a los nmeros positivos; todo nmero positivo corresponde uno y slo un logaritmo. Se requera slo para clculos prcticos.
No existia l necesidad de extender el conce.lto de logaritmo hacia los negativos o los complejos.
Una revisin de la definicin de Naprer dei logaritmo de nmeros positivos fue hecha
por f dmund Halley, quien en 1695 us estas palabras: "La antigua definicin de logaritmo
qu ellos son Numerorum proportionaliun acquidt),ffercntes comits, es demasiado simple para definirlos totlmente: Es mucho ms apropiado decir que son Numcn Rationum
"As, si se supone que hay entre I y 10 una escla infinit de medias proExponrntes "
porcionales, cuyo nmero se 100 000, etc.. in infinitutn,'entre I y 2 deber haber 10 102,
etc., de tales Proporcionales, y entre I y 3 habr 47 7l2,elc., de ellas, cuyos Nmeros por
tanto sern los logaritmos de las Razones, de i a 10, 1a 2y I a 3;y no como propiamente
son llmados los Logaritmos de 10, 2y 3". El artculo de Halley que hemos citado est escrito obscura e inadecuadamente, aunque tiene el mrito de dar la primera derivacin, por
procedimientos divorciados de la geometria (la hiprbola), de series infinitas para el clculo
de logaritmos.
La idea de logaritmo'de "razones" de Halley involucra un punto interesante que los historiadores tienen hst ahora completamente olvidado. Halley se anticip a Roger Cotes
por diecinueve aos en la introduccin de una cierta forma de medicin de razones. Halley
Sin embargo, el orrgen de la rdea de
consider a la razn como " quanita sui ecneris' '.
Halley se encuentra en las razones de ls distancias de dos punto! en movimiento de Napier.
Halley dice2 : 'suponemosque esas razones son medidas por el Nmero de Ratinculae contenidas cn cad uno". Este es el nmero que se tiene para el logaritmo de la rzn. Aun'
que "los logarrtmos as producidos pueden ser de tantas forms como se desee". Si en lugar
(1)
t2t
1?
de 100 000 medras proporcionales entre I y iO. turnamos 230 258de ef las, entunces err lugar de los logarrtmos comunes obtendremos lr.rs lugritmos naturales. Cualquier sistena de
logaritmos difiere por un factor constante de algun srstema elegido como patrnl Puesto
que pra una rzn dada el nmero de ratrnct,lle es arbitrario; es igual al nmero en el sistema elegido como patrn multiplicado por un constante. En otras palabras, la mt,ltda de
una ran cs un nmcro cot:stantc dc ucccs t'l ldgaritnto patrn de esa ra:n. Esta es la
idea expresada aqui por Halley, elaborada despus por Cotes y abadonada durante mucho
tiempo hasta que en el siglo diecinueve. F..Klern la introduce de nuevo a fin de establecer la
validez de los procesos de la geometria prgyctrva como hiptesis de la geometra no euclidean.2
concepto elemental de
media.
Stone
af
irm:
"Tambin el Sr. Cotes, al principio de su llarmon Mensur, trt ete asunlo en imrt.
cin del Dr. Halley, aunque ms corto, con la misma obscuridad: yo apelo a cuaiqr:ier, a ni.
vel de sus ms grandes admiradores, si ellos saben lo que quiso hacer en su primer Problema,
a saber,
ncontdr
la
(1)
l2l
(3)
,\
lll, p. 11.
,._-L,.--_J
\/
17A.e
.l
I3
l
ca.
l
I
-)
)
I 799. p. 85.
C. Huygens. De la caus dc la pcnsalcur, publrcda en 'l 690 como un apndice del'lrat de la Lutniire.
Ceomclrica.!(monslratio lhcorematum llugentorun cica logislicam scu logarithmcam, Floren, 1701,
Sopro il ccntro di gravita'dclla lo;stica finita et! infinrramentc lungo, Torino, Mem. X y Xl. Ver rambin
Loria,Cnc lrrucn, Deutsche Ausgabe von F. Schutte, Leipzig, 1g02, p.543.
(8) lhc q'ua,l,u!ure ol thc logorthmic curut e y!15olth.'fransactioz,. No. 242, '1698.
{9) .le tt Ltu,!tt,tru,n,1696, P.216.
(10) Lerbnr, ll'orhc, Ed. Gerhardt, Vol. ll. p.216.
(rr) (Luqrs dc l)cscortcs, Ed. Cousin, V11.Paris,1824,9p.336.337; Ed. Adam etTanoery,ll,
p 360, Ver rambin G. Loria, Ebenc.funtca, Lelpzig, 1g02,p0.44g.456.
Paris, 1898.
l4
desde el
ongen.
Poco despus, esa espiral f ue renventada por Torricelli, quierr, como vi.
No menos imorlante en la historia de los logarrtmos es una tercera curva, llamada la hiperbola. La cuadrtura del espacio entre la hrpdrbola y sus asntotas fue hecha por Gregory
St. Vicent en el Libro Vllde suOpus gcometricun, Antwerp, 1647.3
Esta rea, para la hiprbola rectangular
x1'= l, se expresa
rtmica como log >,0 fy,'el'rea as indicada est acotaCa por el eje x, las ordenadas )' y I t ,
y el arco hiperblrco. No obstante, esta investigacrn de Gregory St. Vincent, hablando estrictamente. no frgur en la hi${ria de los logantmos. El no menciona los logaritmos. Su
lesultado es puramente geomtrico y hubier permanecido inalterada en todos sus aspeclos,
si los logaritmos no se hubieran inventado. Lo que l estbleci fue simplemente el leore'
ma que dice, si las paralelas de una asntota son trazadas entre la hiprbola y la otra sintota,
de tal forma que las reas sucesivas de los cuadrilteros mixtilneos as formdos sean iguales,
a
entonces las longitudes de tales paralelas forman una progresin geomtrica.
Aparentemente el primer escritor que eslablece este leorema en el lenguaje de los logarimos fue el jesuita belga Alfons Anton de Sarasa5 , quien defendi a Gregory St. Vincent de
los ataques hechos por Mersenne. Esta presentacin fue un paso muy natural a seguir, en
vista del teorem de Gregory St. Vincent que, en una hiprbola xy=l , el rea asintiica vara en ran aritmtca cuando y o x varin en razn goemtrica, y d la definicin de logaritmo de Napier la cual establece una correspondencia uno-a-uno entre una serie geomtrica
se constituy
i
l*a
)
(2)
(3)
(1
(4)
(5)
:1 - n J- nn - nJ
D una explrcacin burda del procercl rle sumtcria que ahora indicariarncs
cc.n l cx-
Gcsch.
en
Abhandt.
:.
d.'
15.
I5
presin x" r/.r - .r n+I f fu I 1), y entonces rnleqra los trminos de la serre nterior. Uno
J
esperaria que escrbrera la sere logaritmica que te es tribuida, como log (l + a) = a .. aa/? *
+ a3 /3 - ... , srn embargo eso no fue as. En su lugar escribe los valores numricos de los
primeros trminos de la serie; tomando a = .1 ottiene que el rea del cuadriltero mixtil-
= .2|t
Es muy probable que, usando lr.rs resultados oblenidos por Gregory St. Vrncent
Itrlercator
Sarasa,
relacionara f inalmente sul resultados con los logaritmos. Es evrdente
que a partir del srgurente paso, usci realmente la serie logartmica. la cual debi haberla obtenido por la integracin de los trminos de l':erre. l'lo escribi el resultado general de esa
en sus dias, y que consista en solamente insinuar sus resultdos para as mantener un ven'
taj a sobre los otros.2 No consideramos este motivo como cierto, puesto que cualquier lector
puede repetir el clculo de res de Mercator. partrr de todo la explicacin dada. Su desarrollo est probablemente previsto por un concepcin diferente al propio estilo de la exposicin, lo cual favoreci al caso concrelo especil para la frmula general. Wallrs fue el primei'o en establecer la serie logartmica de Mercator en forma general.3 No obstante las investigaciones debidas a Gregory St. Vincent. it.4ercator y algunos otros coadyuvaron rlormemente a mejorar los mtodos del clculo de logaritmos por series infinitas, y a expresar teoremas geomtricos en el lenguaje de logarrtmos. el concepto de logaritmo no se modific como resultado de esas investigaciones.
En un manuscrito de Julio de 1676, Leibnizaderiva la integral ar'/t.-Erru surge en el
f
estudio del problema que Florimond de Beune propuso a Descartes quien contest en una
carta del 20 de febrero de 1639J . El problema consiste en encontrar la cuadratura de esa
cua en la cual la ordenada es a la subtangente como un segmento de linea dado es a la diferencia entre l ordenada y la abscisa. En este manuscrito de i676, as como en el rtculo
publicado, los h\cua llethodus6 , Leibniz conduce este problema a la ecuacin w/a4.u/dx
Toma a dx como una constanle b, y obtrene r,= a/b . du; es decir, las ordendas son proporcionales a sus incrementos. Si las x's se incrementn en progresin aritmtica, entonces
las correspondrentes ."s son los trmrnos de una progresin geomtrica. Por tanto, las x's
son los logaritmos de las 's; concluye sr qrle la curva es una logartmica?. Para 1675
E
Leibniz us la notacin "Log )"', en la ecuacrn "o2 - yx - 2y' Log y".
(1)
Ver Maseres, Sctiptorcslogarithmici, Vol. l. Londres. 1791. p. 194. laseresreimprimio aiel Logar
thmo . .!echnro comPletO..
Tropfke. op. cit.,ll. 1903, P. 182.
Masseres. op. cit., Vol. l, p.229;Phil.7rans.. No 38. ao 1668.
l2l
(3)
(4) C.l.Gurhardtf.akcLuagdcrDiflcrctc:ulr,'rrrung durchLcibni:,Halle, 1848.pp 5354
(5) Cantor, Cre chichte da Mathcmath, Vol ll, 1892, p.781.
(61 ,ls !'.ru<lrtor"rr, 1684 = Leibni, llcrhr, Vrl V, 1858, pp. 220.226.
(7) Canto. op. cit.,lll,1898, pp.187'188
(8) Gerhardt, og. cit., P.35.
l
)
l
)
l
)
)'
El simbolismo moderno para potencias de nmeros fue introducido por Ren Descartes
en su obra La gomt'tir, Paris, 1637. El escribe'ua ott or pour multipliero par soimme; et
a 3por le multiplier encore une fois par a, el ainsi l'infini". I As, mientras que Vieta repte'
senl At por "A cubus" y Stevin x3 por una f igura Jdentro de un crculo pequeo. DescarEn su Cotnctie no hace uso de exponentes negativos y fraccionarios. ni
tes escribe a3
de exponentes literales. Su notacin fue el resc.ltado del perfeccionamiento de la notacin
empleada antes que l por Chuquet, Le Tripart,.t:i la scit'ncc dcs normbrcs, 1484. se expre'
Erespectivamente.
sn l2l y 10x5, y s, producto 120x s, por los smbolos 12r, I05, 120
Chuquet va ms all , s56r5e2 j.2xo y 7x-lcomo 12o,71^. Representa el producto de Bx3
y Jx-t por 56(2). Brgi, Reymer y Kepler usaron los numerles romanos para los smbolos
exponenciales. Brgi escribe l6x2 .o*o ib. Thomas Harriot simplemente repite las letras;
escribe 3 a4 '- IO24a7 + 6254a como: aaaa -'1024 aa * 6254 a.
La notacin de Descartes se extendi rpidamente. Fue usada por Fr. v. Schooten en
su comentario sobre La Gorntnc de Descartes, en la edicin que apareci'en Amsterdam
en 16494. Esta notacin fue usada por Huygens y Mersenne en 1646 en su mutua correspondencia5 ,y pr Hudde en i6586 . Oughtred no us los exponentes en ninguna de las ediciones de su C/au llathcmatica (Londres, i631, 1648, 1652), aunque si Rigaud reprodujo
fielmente la notacin en las cartas originales, se sigue que Oughtred us exponentes enteros
positivos en su correspondencia ya en 16421. Pra el 5 de febrero de 1666-1667. Wallis le
escribi a John Collins, a propsito de la nueva edicin del Clauis de Oughtred que inicia con
l discusin: "Es cierto que as como en otras cosas, en mtemticaslasrrnds diariamente
se alteran, y asi como el Sr.Oughtred las design con letras maysculas puede ser ahora designada por otros con letras minsculas; de esa forma un futuro nutemtico. con la misma fa'
2
cilidad y ventaja, entender Ac. a3 ,o aaa".E John Pell escribi r7 y t en un carta escrita
en Amsterdam el 7 de agosto cte 1645e. Pascal hizo un libre uso de exponentes enteros
positivos en varios de sus articulos, prlrcularmente en el Ptlrstatum numcicarutn sumtna
de 1654. G. Kinckhuysen us exponentes enteros positivos en 1660, en su lv!ccl Konst, y
en 1661 en su Algebra
to
_t
17
El l)ttttst'lt<' .ltgcbra de J. H. Rhn,', -rr"ro en Zurich en 1659, contiene cJos notaciopotencias enteras'positivas, una usanclo los exponentes crtesianos, d , .tl, la otra
para
nes
consrste en escribir una espiral pequea entre l base y el exponente al ldo derecho. As
o J
srgnif ica o
I.
traduccin al rngls,
publicada para 1668 en Londres.l En el mrsmo aho los exponentes enteros positivos f ueron usados por Lord Brouncker en uno de los primeros volmenes dela Philosuphical l^ransactions de Londres.2 En es5 memorias no aparece ninguna de. las notaciones pre-cartesianas
para potencias, excepto en unas cuantas ocasiones en un articulo de 1714, escrito por John
Cotes.
en 1707): "Asi .r/ O+ oenota al 8; v ,'/;''Sq enota al 4....Hay algunos que para denotar el cuadrado de la primera potencia, hcen uso de q,y de c para el cubo, gg, para el bicuadrado y qc para el cuadrado-cubo, etc., ... Otros hacen uso de otra clase de notas, aunque estn ahora fuera de moda".l En una edicin de I679 de los trabajos de Fermat, la notacin algebraica de Vieta, originalmente seguirla por Fermal, es descartada en favor de los
exponentes de Descartes.a Pareceria de to que se ha citado, quecerca de 1660 1670 los
exponentes enteros'positivos conquistaron un indisputado sitio en la notacin algebraica.
Aunque generalmente adoptados, esto no fue universalmente s. Un gran volumen, el
Cursus matht'tnoticus de P. Gaspa'is Schotti, Frankfurt a M., 1661, y la segunda edicin de
Diophantus por Bachet de Miriac (Toulusse, 1670), no contienen indicios de la notacin
vez
Por mucho trempo, exrslreron dos notciones distintas para expresr el cuoclrado de una
letra. Algurro: escrrbrerorr au; oltosul Srn emt-:argo, seria muy dif icil arreglrselas para
argumentar en favor de a2 aunque algunos se basron en el argu-mento de mayof economa
de espacio. El simbolrsnlo .rri lue uref elclo por Descartes, Huygens, Rahn. Kersey, Wallis,
Newton, Halley, L. Euler, / tJc lrgsll(,. pr), r'rrrclrt5 escr rtores de la segurrc,J rrrrtad dcl siglo
XVll y del siglo XVllt; o2 fue preler tdo uor Lebnrz, Oeanam, David Gregory y otros. Por
olra tarle,l notcin para exponcolc: r,cg,vos y frccicnarios fue sugurirla -ror Chuquet,
{1)
l2l
(3)
(4)
l8
En
Serl
-F11" = r* + fr
ubi
eQ+
Lr;r- l(+ #
ce+.wL-t-
DA
&
,-i--
P + PQ significat quantitatem,
, o', c
pro l/a,
sic ego,
pro J;,
t/ r'
,/r;1
a-7
.3
scn'bo
orn, o-
i,
, asl ;
- :)ir
noviembre de 1676, Leibniz reuni en un rticulo algunos de sus resultados, ahi us la nota
Se sbe tambin que el uso de exponentes litcralcs, fue sugerido por el
' -J , -la
Teorema del Binomio de Newton, y que tales exponentes vinieron a ser comnmente usados
al final del siglo XVll por Newton, Leibniz y sus seguiCores. Pos-iblemente. la primera ocasin en que aprecen los exponentes literales es en el ,\lothesis unucsalis de Wallis, Ox{ord,
cin
y de observaciones sicolgicas generales. concluy que la extensin era posible ya que :e requera pa.
raalgunos resuhador qlcreloty. posteriormente el criticismo lgior vino a asegurar la valid de u uo"
cas
Vale la pena notar que los actuales exponentes fraccionarios fueron rigirulrrente intro
ducidos por Newton en la carta que conliene su Teorema del Binomio, inventado por l un
poco antes de 1669. Newton tambin us exponentes lraccionarios negativos. En no-
(1)
(21
tr
'-
tI
l9
exiresiones
teora se explica en la introduccin del primer volumen. Esto se hace asi porque los trata'
dos -entonces en uso- sobre Algebra, usualmente no la contenan. Reyneau usa las siguientes palabras: "Le seul calcul qui n'est pas expliqu dns les Traits d'Algebre dont on
vient de parler, est celui des exposant des puissances"2 Derivando reglas para diferenciacin3 Reyneupasadext =a a xlx = 9:a,yde.1x'= ylY a x' I x = y' 9y.
gresi o nes
0, 1,
2,3,4,5,6,
ctc.
y en{atiza que "cJoJ cxPoflcntcs llamudos lo.qarilntos los cuales son nmros artif
rcrles, co-
Laesraiol!
TToli = p* + :# Ao + T
Bo
+ nffm
+at'
oa
* etc.
en donde P + O representa una cantidacl cuya raz o potenc-ia, o cuya raz de una potencia va a encontrarse, siendo P el prinu trmino de esta cantidad y O los trminos'restanet ndice numrico de las potencias de P * PQ.
tes diviclidos por el primer trmtno y +
Este puede ser un nmero enfero o, po'i asdecirlo, un nmero quebrado,'un nmero positvo o acgatva. Pues asi como los analstas escrtben 32 ,3) , etc., por aa, aaa, etc., - ast parcv a .\ E:r/*r,
erc., yo escribo atn, a3n, d5, tc., y cara I /a, I /aa, I /aaa, yo
-a
-r
-a
escflbo,d',d',a'.
{4)
(t )
l2l
(31
'1899, p.230.
C.l. Gerhardt, Dcr Etiefwchsclu. G. 14. Libniz nit Mathemariln,8.d. 1., Eerln,
G. Encstrom, Bibliothcca mathcmlica, 3d S., Vol. lX, 1908'1909.p. 329.
Ch. Reyneau, Analysc dcmontre, Vol. l, Pais, 1708, p. xvit.
Aaalvse dtmontt, Vol.
ll.
1708, p.806.
20
Un purrto de vista similar fue dadorpor Joln Eernutrllr len una carta dirigida a Leibniz
, ulculi prccurentis", terminolon mayo de 1694. Eernoulli presenta una "rdem novi
gia descartada posteriormente en lvor del clculo de "cntiddes exponenciles". El habla de la construccin de curvas exponenciale: .t' = l por medio de l curva logartmica
ordinaria. de l cual se dice que es en si una curva de e:e lipo, con ecuaci d^ =y. Bernoulli
supone a la curva logaritmica como dada y la usa para la?a la grfica de la ecucin x'= ).
Supone un valor de x , luego sin dif icultad, mide l ordenda log x r sobre la curva logaritFinalmente, encuenlra
mica y construye geomlricamente el produclo x, log x, = log y
de nuevoconayudadelacurvalogartmica,el antilogaritmol, Estay,. juntoconel va
lor supuesto de .r I , produce un punto sobre li curva x' = y. De esa mnera. la curv puede
ser construida punto a punto. Desde nuestro punto de vista, lo interesante de este pruceso
yace en el hecho de que [a curva logartmica, y por ende los logaritmos en si mismos, se coAqui la x de encima, es vista como el logaritmo de 1,.
nect con l ecuacin o' = l.
Bernoulli no hace aqui mencin de progresiones aritmlica y geomtrica. Su procedimrento
envuelve la def inicion moderna de logaritmo, la cual sin embargo, no la establece explicita
mente. El proceso muestra que Bernoulli pas de x' = ), x log x = log y. aunque realmente no escribi esta ltima ecuacin. En unio de 1694, Leibniz envi en respuesta a
un carta a Bernoulli, en la cual escribe2mbas expresiones x = \' y x logx= log y. A
luzgar por lo anterior, notamos que tanto Lerbniz como Eernoulli comprendieron en su
tiempo la funcin exPonencial.
I
I
I
I
)
12\
(I
I
,
2T
ll.
XVlll
En el siglo
Varros matemt,cos de primer orden del srglo XVlll, particularmente Euler, us rmagrnarios lrbremente; otros mraron los imaqinanos con suspicacia. Por doquier, en el siglo
XVlll, los matemtrcos se pronunciaron fuertemente contra el uso de ambos. los negativos y
los magrnariosl Es interesante el lenguae usdo por Leibniz en 1702. El habl de los
factores imaginarios de x{ * aa como "un recurso elegante y maravilloso del intelecto drvr'
(l
22
no, un nacrmiento ant-natural en el reino del pensamiento, casi un anlibio entre el 9er y noMs extraordinario fue el resultado alcnzado2 en 1702 por John Bernoullir(1667ser" t
1748). Elexplic la transformacin de la drferencial adz + (bP+ z2) en -adt * 2bt \ET,
pormedrodelaelacin z =(t-1) by'-1 ; (t + 1) yconellodemostrquelaintegral puede ser expresada tanto como un arco tangente como un logaritmo. De esta manera,
l sealo un reiacron entre el logaritmo de un nmero imaginario y el arco tangente. Este
logarithmc imaginuirc, como Eernoulli lo llam, foe tan novedoso y extrao para el pensamiento de la poca que caus pocos coment.arios.
En una carta del mismo ao (1tOZ),;cc)n fecha junio 24 y dirigida a John Eernoulli,
Leibni coment acerca de los logaritmos imagrnarios en conexin con los problemas de inEs peligrosg asignar demsida importancia a los pasajes de esia clse. Para
tegracrn a
Leibnre y J. Bernoulli, frecuentemente un imaginario significaba simplemente no-existencia.
Si logarrtmos de nmeros imaginarios se hubiesen credo existentes, no hay nada aqui que
pueda exlraerse como el origen de tales logaritmos.
I
I
I
La controversia sobre los logaritmos que agit a los matemticos por ms de un siglo,
no surgi de las drscusiones sobre los nmeros imaginarios, sino ms bien scbre los nmeros
negativos. iSon los nmeros negativos menores que nada? Si lo son, entonces en una proporcin1:-i::.1:1,e|
nmeromsgrandeesal menorcomoel menoresal grande,una
imposibilidad. Este asunto fue discutido por muchos escritores, incluyendo a Leibniz,
Newton, D'Alembert, Maclaurin, Rolle y Wolf. Leibniz public en 1712 un articulos sobre
este tema. El consider, de hecho, como imposible la proporcin de arrba pero sostu.vo
que tales proporciones pueden ser usadas con la misma ventaja y seguridad como otras cantidades inconcebibles son utilizadas. Leibniz dice que una razn puede ser consrderada imaginaria cuando ella no tiene logaritmo. La razn - I + 1 no tiene logarrtmo: pues. resulta
que log (-lli) - log(-1) - lo9 I = log(-l). Leibniz declar que - I no trene logarrtmo real,
ya que, en primer lugar tal logaritmo no podria ser positivo pues a un logartmo positivo le
corresponde un nmero mayor que l;en segundo, el logaritmo no podria ser negativo, pues
a un logaritmo negativo le corresponde un nmero positivo menor que la unrdad. La nica
alternairva posrble, por consiguiente, es el declarar que el logaritmo de. I no es realmente
verdadero, sino rmaginario. El llega a l mrsma conclusin de la consrderoon de que si
relmente exrstrera el logaritmo de -1, entonces l mitad de este sera el logarrtmo del nmero imag,narro / - l,unu conclusin que consrdera absurda. Notamos en las af rrmaciones
de Lerbn un doble uso del trmino rmagrnario: (l)en el sentido de no exrstencr, (2) en el
5sf ido de un nmero de tipo fi.
(1)
(2)
(3)
(.t)
(5)
Leibniz. llrk. Ed. Gerhardt,3 F., Bd. V, 1858. Berlin, p.357: Itaque elcgans tc ntabilc zflugium.
tcPcrt't in illo Arul ,-rot miraculo, idca! mundi noattro, pcnc intcr Ens ct non L,at Anrphibio, quod
t adi c e m imagnariom ai pe llamus,
John Eernoullt, Opera, Vol. l, Laus. er Genen. 17a2, p. 399.
l'aro ,!utin,onet futura!, John Bernoulli es lrecuentemenle nombrado como John Eernoulli l.
Lrlr(rt J ltcr rruulli Conmcrc, I'htl. tt Alth..l l.l, l/.15, p.Ul
tc! Lrutttorutn,lT 12, p. 167-169; W<rht,3F., Ud. V. Halle, 1858, p.387 389
--
l-'
I
l
23
imaginaio".
Lo siguiente
l
.f.
)
Marzo t6. 1712. - Loibniz r J. 8cnoulli: Ert cr l! crrtr ya rclcridr. Lcibni dicr
,, cr maginario. pwrto que no tiene logarilmo.
;'1 ',
qu
-'l11
lunli
172.
'
:
I
I
I
I
I
I
30,
LciUnz
Agolo
.,
'
1712. J. Bernoulli
13,
bg y';-no
:_
(1)
(2)
ct Mathcraaticum,Tomu Scanrdr,
Luannae er Gnevre, 1745,9.2@,2jG,27B,2Bz,2Bj ,292,296,299,303, 3os, 312, 3t5.
Sd hacc rcgula,'quod
dc logarithmontm nlura
trac
olct
ct construct;onc
^on
t l mo*.
a',
lr-.
\\,_
rl
.--t.v
),
\, I r-i' l, v t-:..:'.
'l
,cr.
&
I
I
t*
a
run - I : I rro.xrtt
i
j
j
i
I
I
I
I
I
I
I
I
I
I
i
I
loe
log
(1)
los
l-l)
21
25
Los argumentos anterol p7nen de nanifiesto la imprecisin gue sobre la
nocin de nneros negativos se tenia en la poca, situacin que se constitua
La argumenracn tobe la no existencia.de log (-l) se epoya en la certteristicas & los lopritmas para nmeros itositivos (vzr la comentarios de
Cajori a la cana de Leibniz de marzo l6 de l712). Ah Leibniz apoyndae en
el conocimiento de la poca (logaritmos slo de nmeros paitivos), niega la
existencia de logartmos de nmeros negitivos, o mejor dcho, niega su exten-
sin.
fi-l)(-?
fi
l')
\ts. (tt:lctt,ttltt:Jl tlc lt ltliutcttt. ttadlvtrt",,lc ;.:tttto. Oleotpr, lta,lut t'iitn tlo la Soc.
ci?t l!tern tica E ducativa, I gB3,
En lo .nteror, nientras Leibnt trata rle mostrar gue las propiedadu gera
la rama izquierda producen incoherencia dentro de la teorla, Bemoulli ua la
propicdades conocidas sobre logaritmos de cantidades postivas pare las nqatluas. Sin embargo, el aevera gue log ,/:T + I D tog (-2), En grtrposf*
riorcs, l "aclara" un poco esta posicin aducenco gue el radical afecta a la
antidad ms no al signo, es decir, gue para Be.rnoulli lD log (-2)=tos.{ i.
Con ello queria evitar el tratar con nmeras imaginarias
En la respuesta de Leibniz (eptiembre.lb de t7r2), po, pr-rru yez Gude a dos argumentos: no coffespondencia entre progresiones y que ningn valor
de e cumple con -2 - 2' e = log (-2). La segunda alude a car*terstica de
una funcin que tiene invena, de hecho la ecuacin - 2 = 2. no tene solucin
rcal. Bafo este punto de vista,los argumentos de Eernoulli no *tafun exentr
de contradicciones. Con el trabaio de Euler sobre la teorfa de nmerx compleios que l desarrollaba, veremos que estas contradicciones se podian susa
nar de alguna manera. Pero continuemos , por el momento, con la corrcsponden cia L ei bn i z. 3 ern oul I i.
_2
rf, log
cn efte crso no existet. Sin embargo, lo nmeros ncaativos determinan ru propir
re.
rie peculiar comenzando con -'l , en lugar de +.l. As, los mismas propiedades logarft.
bar que
= log
_l
I
i
27
1713.
Leibniz
x =2 cntonces c
Abril 26, 1713. Leibniz a J. Eernoulli: Usted dice que mi valores p6r! e y x en 2'= t
rcn arbitrarios. Usted establece x = .1 para e = 0. Lo mo es ms natural. Por
olro lado, el considerar: primero, que no podemor tener multneamenle rmbo,
logn y los (.n),porquei log(.1) =0,entoncel log(-l)2: log('t )=2x0 = 0 y
log y'.t = O/2 : O. E decir, el mismo logarirmo es obtenid pan *1 , -l , e i.
Segundo, baio rus ruporicioner
para
e:0.
Lo cual e contradictorio
u ruposicin.
ril e inadmisible. He monrado, por otra parte. que las proporciones no pueden rer
lormadas involucrando -n. Si e cierra la igualdad de las lraccione *1/-1 ,t -11+
observo que las lracciones no ron las misma como razones. E evidente de todo eslo
que cada f undamento con aspecto enalitico ha sido descuidado
1
Junio 7, t713. Eernoulli a Leibniz: tou e lo que usted entiend por natural? i lo nIural e lo que concuerda con lo usual, entonces log(-n) es menor nalural que log (+ n].
La primera de ur cinco objeciones a log (-n) esquealgunos+ n,.n, in puedentenor ol mrno logeritmo , Yo rdmito olomrrto quu log( * n) = loC(.n). La mitrd
.:
:
!
I
I
28
de cualquier logrritmo no ct neces!riamente el logarrtmo de l iz cudreda, m bien,
cl el logaritmo de l medir proporcional cntre + I y +n, .1 y -n. Lr medra pro.
porcional cntr -'t y -l cr /(-lil-l)=
+ r - {+1. Nohaynrddb.
urdo en eto.
Puer jurto vengo rexpticar que
- { I - {l,"rr.
eto
rdicater rcn iguater !\I
T.qdo
erc.
,,/T]lJ1l:
1,/1-1.
=
t l. No hay decuerdo cn ste resultado.
zo
de -n
Ouinto:
sr
i
i
I
i
i
I
I
I
Julio 29. '1713. J. Eernoulli Leibni: usted no niega la ruporicin de que * I es arbitrario,
y que -1 e permiible. De cuerdo a lo regundo, loq(-'l ) = 0. De erto re tigue todo
lo que previamente he dicho en relacin con log(-n).
cdo durante el srglo XVlll, pero nunca lue golpeado en su punto vulnerable, es decir, la hiptesis de que c - -= 01. Es intersante notar que los logari!mos son lgunos veces conectados con las dos progresiones, como en l def inicin de Napier de un logaritmo, pero la
(1)
Demostraciones involucrndo la comparacin de reas inf initas en el plano, recurre a nuestr. intuicin
cnrr mayhr luerTa. Ella fueron aceptarlar cnmo vlida por algunor escritore del riglo XIX rl gual .
quc lo del rrglo XVlll. Loui Eerthantl c tso crr lalct comprracione cn tu doilr(Jrtrdutn dGl putu.
la.Jr-r tl Euclrcjt obro le paralolas Vr L. lJur tott!, l)cucluppcncnt ouucau dt lo garttt clc,Jet!a.
t dct tnatheaatiguct, T,
I
I
I
i
us curva5 repetrdmente, como si pudieran scr de la f igura lo que est puesto en ella.
Leibniz insiste en que log (-1)y log ( ,/---T. n) no existe. ,,Nonpotert dari logaith..
mus \/' f ". La no existencia se basa en lo inconcebible. Veremos ensegurda que Euler
d una interpretacrn diferehte a Ios argumentos de Leibniz; l representa a Leibniz como
aquel que concibe que log (-l) es imaginario. no como no existente. Esta correspondencia
entre l y John Bernoulli durante los aos 1712 y 1713 no se public antes de 1745. Hast
que los logarilmos de nmeros negativos ocuparon la atencin de los matemticos en general
Eernoulli en su carta delsde noviembre de lTl2,propone otra manera de
construir la logartm.ica delps.ramas con la ayuda de rea baio ta curva de la hiv
p rbo I a eq.u it te ra.'^
f(x)=loglx |
n*
logx si x)0
=
log-x si x10
Tal funcin cumple con las prooiedades de una funcin logaritmica. Ntese que ella no tiene inversa.
Schulz. Ver
I
I
I
I
I
I
LcryzQ, 1788,
hecho, la demostracin de Louis Berlr and lue publicada annimamente en el Journl Crelle en 1834. Eru
lueaceptada como vlida por A. De Morgan. Yet !) Morgansobre "lnfinidat!y sryr.o dc lpoldt'c';'
I
I
aad
rv. Raonamientos similares lueron endosados por Johan Heinrich Lamben. Yer l-ombctt, DcutP. r
schet gclehrte, Eriefucchscl, 8d.,1, Eerln, 1781, p. 1'l 8, en una cra con fecha 2 de lebrero de 1766, De
30
Eneso parte, Calori hece unluerte nfasis sobre el mal uso de reas infinitai. El comenta gue las criticas hacia Bernoulli, de parte de los matemticos
del siglo XVlll sobre el uso de reas infinitas y sus asntotas, dej de lado su
punto vulnerable, gue es la hiptesis * - * -- C. Agu discrepamos con Cajorl, si bien es ciefto que en general la diferencia entre infinitos no es ero (porgue hay infinitos de diferente naturaleza: infinito numerable o no numerable),
l
)
El punto vulnerable, desde nuestro punto de vista, es que la funcin construida por Bernoulli no tiene invena. De hecho, Leibniz alargumentar con la
funcin exponencial se contrapona a los argumentos de Bernoulli.
que el
ticos.
)
--i
t.
La diferencia en el nivel de discusin no es gratuita, ambos tienen problemas de conceptualizacin acerca de los nmeros y las funciones cuyas definiciones precisas se establecen en la teora matemtica hasta elsiglo XlX.
I
i
I
I
i
I
I
3l
conexin aparente con el mundo tsico. Para entonces era usual la comprobacin de las teoras en la realidad circundante, an y cuando existieran modelos
que permitieran interpretar la naturaleza. Con la aparcin de problemas de
En un artculo en la Philosophical Tratuactons'de Londres, publicada en 1714, Roger Cotes desarrolla una frmula
importante que en notacin moderna es:
ig =
En 1722,
log(cosg
* iseng )*
i
I
li
S:arff
S
a?rlY
a2b4
b?
fi:Hr.#,1
log (v
.*s-'lr
,.*+r
donde
--._
(t)
i
,,
32
2-
=iy
sen9=y
b4
h2
, cosg =
I +
a2
'.b2 ,rl
b{
i
I
I
I
I
eranmbasintegralesdelaecuacindiferencil
y - ?cosx y y= e*'6 + "''6
d2y + y = 0; que las integrales eran iguales pues podian expanderse n la misma serie infiHn. Euler hace anotaciones de las cuales se sigue que l saa en ese tiempo, la correspon
Ambas expresiones son dadas por el en Muccdiente expresin exponencial para sen x
llanea Bcrolincnsia, 1743 y nuevamente en su Introductio in analyim, Lausanne, 1748. Vol.
-
sen v.
l, p. 104, donde l da tambrn la lrmula importantsima, "+ " = cos , +y'
e-".f; = cosv- {-i senv. DelafrmuladeCotes ig= log(cosg* iseng),
I
i
1722, a la forma exponencial de Euler es uri paso lcil, sin embargo transcurri ms de un tercio de siglo entre un publicacin y la otra. Es interesante observar que
ni Cotes ni Euler parecieron excitrse o recurri l uso de log(cosg * isen g ). involucrando
dada en 1714
I
I
os.
el logaritmo de nmeros
complej
Si Cotes hubrera aplicado la idea de periodicrdad a r g = log(cos rp + isen p). podr haberse anticrpado a Euler en muchos os en la demostracin de que el logaritmo de
un nmero tiene un nmero inf inito de vlores drf erentes.
cas.
E. Lampe2.
Recurdese
que Euler fue alumno de John Bernoulli I y fue acompaado de dos hijos de Bernoullr (Daniel y Nicolus I tambin matemticos ] ) a St. Petesburgo. Euler en es poca teni 20
aos y John Bernoulli 60. Lo siguiente es una sinopsis de la correspondencia, por ahora lo
que
(1)
t2t
Yer Eibliothca Mathemhtica, 3d. S., Vol. lV, 1902, p.3a -388. lnlormacin sobre estas c.ta: tam.
bin es dad en la misma revista,2d. S. Vot Xl. 1897, p.51.56; Vol. Xlll. 1899, p.46.
Felch . Feicr d.200 Gcburttager L. Euler, Lr:rrr19 and Belin, 1907, p. 119.137.
-]
33
Euler a Bernoulli: La ecuacn y = (-t)' es dif cilde lraur, puesto
e5 unas veces posi(iva, otras negativa o imaginaria. Ella no representa una l.
nea con!,nra l.
Noviembre 5.
--)
1727.
que y
Si y=('nf ,entonces!y=xP(-n) y
(+n);poreued?(.2)
dyly= dx
dx.
I
!(-n) =
= 4z/-z=+dzl+z = dQz. ln(t'l
As y tegrando. (y=x ?n,deah y=n'
)' llegaarer lx= 1,oray=1.
_)
1728.
Diciembre 10,
finiro
sdosr
)
---33r-. P ( .t-Y-{!
4V l
x-n/
'e (1).
que llega a ser para un cuadranle x. sendo por anto O, fYl
Asi.si
y
Mi
1
0.
debemos
clebre
seor.
tener l/- = 0 tambin =
lqLre
Q(.1) = 0.
Abrl 'l 8.
-je_
4 t/-1
(-r+vfi)
x
y.
V. l
na
de tal suerte que el primer trmtno se anul, cundo el secior llega a ser un cuadrante. n
puede ser seleccionada para que nO sea un rnltrplo g 5lt[:nultrol< del cuadranle que
necesrran)os Paraun semcruadrante lerrurnos
e t/ 1 . el cuat es 0. trur.:sto
que yrfT=
i
;
))
t'?i
tu*ai =l
tZ
(1)
En eta sinopsrs seguimos la notacin usad en ls cnar exceplo enflucstro uso de la linea rnclrnada
para denorar lrccrones y parntesis necesarios.
t2)
)i
-l
O.
a31,
rc l,
(3)
ru'-
*'l-tndr=-i f
tog {x
:t;1[,:;il;t_l
+tF-T\ +,
;,"_,,,:;,':;]
J'
I
,
34
lvlayo
, 16. 1729
Euler
J. Eernoulli:
La ex gresr on
aa P (\
a t/-t
'I
0 se tiene un sector
que
4 \/.
nLil$1
x-y v-
y L. Euler,
seclor
Nin'
n= loq (-n). Esta mism frmuf que defendi dieciseis aos antes, en
su correspondenci con Leibniz. Ahora, como antes, Bernoulli induce de la igualdad de las
de vista de que log
El argumento de Euler, que uz/2 = + x produce log x = log (-x), incluye un punto interesante. Cuandoescribimos ab': c y definimos b=log. c,aycsonambostomados univaluados. Euler omiti esta restriccin sobre c. El toma e't2: t x , de tal suerte
z/2 = log (t x), realmente aumenta a dos definiciones z/2: log x y zl2 = log (-x). Ahora bien, no hay
objecion, a pnon', de las dos diferentes definiciones. En anlisis vectorial tenemos por lo
que la definicin sobreentendida en su modo de proceder, es decir,
b.
escalar a
nemente?
teoria logartmica de nmeros complejos no contradictoria? La conclusrn es extraida de'las dos def rniciones y de
las roglos crrlirrri: do oporocin, quo totlas ls ricus tjo *1 y -l , o on otras palabras, to
dos los nmeros complejos de mdulo unitario, tienen a cero como su logaritmo. futo es
ciertamente muy simple, tambin bastnte
noulli, no
intil.
teora.
35
I
I
i
;
j
golpe mortal, sealando que log ,/:-I = O estaba en conllrcto con la frmul
[1 n = 29. \/ - | , resultado obtqnido por Bernoulli para el rea de un sector circular.
El golpe asestdo por Euler no fue considerado ftalen esa poca. lntegrales defrnrdas no
fueron. todava, definitivamente.comprendidas. La teoria de logaritmos de J. Bernoulli
continu encontrando defensores. Euler hieo otro sealamiento importante en su carta del
10 de diciembre de 17281l seala por primera vez la verdad de que log n trene un nmero
inf
--
circular, viene dada por el producto dei rea del crculo por la fraccin del ngu-
lo correspondiente al sector con respecto a 2 , es decir, para un crculo de radio a y un sector circular cuyo ngulo correspondiente sea 0, se tene:
I
i
I
Als)
=rur.
(')
I
I
I
I
la
carta de Euter
del l0 de diciembre
se puede obtener
cos 0
I
I
= :d
0 = arc cos
x
a
, diferenciando
I
,
!
I
do--
dx
yx, -a,
I./-:---a-
(')
cones
.^7
A(s) =
o)l:;
-2
a2d
osc , ,on (-lll)
, ,_iy t - 2. =A(S)
rJe las
considera'
36
La
el ngulo c varia de A a
t0,"L
Asi,
lincluyendo a tos extremos). Para obtener el rea de un sector circular con ngulo 0, tendramos que la variable us vara de 0 a 0,es de-
cir:
Or
en el cambio de variable
d-:
-Lu) = o, t = ,, , Lr*T:it.
g.l--- futol8'
oJ a" \fV-=7 -
e = fuor
1.
a2
- x2 = ir,/x1 -
l; ,onk + iv)
oU-
-]
a2
, entonces
,"n u =
= i,,on (x +iv)2 - |
*'"\'ff
x * i,v
4.t too
- x-ty k2 + yr)_]
- *,
'on
*f
(x + iv)tx
+ tos(x2
- u))
J- sg
=-l:tog x*iv + I bs\/Vi
+Y7)- !tog,
I
x..iy
J-
tos,
2i
roe,
,ff
rosJ,
sg
ros,
37
_t
x+ iv
- x-ty
toQ
4i
"
x*iv
loo
"
x-iy
i
!
t
l
)
i
I
i
I
I
I
I
I
I
I
:
j
i
I
I
I
I
I
I
I
I
I
:
La posibilidd de definir logaritmos como exponentes fu" r"lono.ida por John Wallis
en el srglo XVll. pero no antes de 1742, donde se encuentra una exposicin sistemtica de
logaritmos basada en esta idea. En relcin a la poca, se lleg a reconocer que la involu'
cin tiene dos rnversas, de diferente clase, a:aber, evolucin y logaritmizacin;en la primera
invers suponemos, en aP = c, b y c dadas y a por encontrarse; en la segunda rnversa, supurEnrrs a
dadas
y b como incgnita.
rro en dar la nueva definicin de logaritmo y la base de la teora logartmica generada por
ella. Esto se encuentra en la introduccin de las tablas de logaritmos de Gardiner, Londres,
1742.
la
i0
et cual es igual al
la nueva definicron. En todo caso, todavia est indeterminado si Jones public esta definicin antes de Gardrner. El primero cuya inlluerrcia lue mucho mayor en enfatizar la nueva
visin es Euler. quien en su Introductio, 1748, capituto V1,4102, da la def inicin involucrando exponentes y presta atencin a los mltiples valores de un nmero, teniendo un ex-
(1)
(2)
ll,
'1903,
38
ll
l.
(r7 47-r749r..
y cinco
aos de historia de
los logaritmos de nmeros negativos y complelos. Hasta aqu, solamente tres mtemticos
hn tratado de desenmaraar los misterios sobre este tema, a sber: Leibniz, John Bernoulli,
y Euler.
blicada en esa
I
poca.
La divulgacin de este tema comenz en 1745. En ese ao fue publicada la correspondecia entre Leibniz y John Bernoulli ll. Su lectura actu como un tremendo estmulo sobre Euler. Cuando joven, de 20 aos, l mrsmo como ya hemos visto, tuvo correspondencia
sobre el tema con su venerado maestro, John Bernoulli l. La correspondencia dej claras,
serras dificultades en relacin al tema, pero no las quit de enmedio. Desde entonces,
Euler ya haba descubierto la expresin exponencial para sen x, cos x, cos x + rsen x;y habra adquirido una visin ms profunda de las propiedades de los nmeros imaginarios. Fue
tarde.
sobre
el
In*od.q.tio.,
Dos aos despus (en 1747), continu sus investigaciones clsicas so-
bre la teora logaritmica. Discuti el tema en su correspondencia con D'Alenbert. Algunas cje ls cartas de Euler sobre el tema han srdo publicadas recientemente. Por tal razn,
ni el ensayo histrico de Lampe est basdo sobre un estudio de todo el nraterial del
alror se
dlspone.
que
Por conveniencia para las referencias, damos de-los trabaos de Euler so-
las
revisamos.
(1)
l'roru c'c-lbcrt.
39
Tiempo
de
Escritura
I 745
1727 - 29
I 902
l.
2.
3.
17
t747 - 48
t7 47
4.
5;
Publicacin
1712 - 13
0.
T iempo de la
45
I 748
1886r y 1907
I 8621
I 7694
lg1lr
6
7.
Feb.J 5,
t749
I 751
8.
t749
l75i'
imaginaires".
748
la
(ll
Altttto uolrr,,rr',,,
l.
2lO '288-
..-,..
2l
curva resullante eit compuesta por dos curvar drslints Sr e = I + I + lill'
+ 1ll1 . 2.31 +...,entonceiesclaro que ios logarirmos de nmerosnegatrvotde&n
-'1
{ i=
fi
que t( 1)= 0
= l/4 log(+ t = g.
lfi+
le permte probar
? ("1}=
V '
Utedadmitiruelo
r,/ll {t
no
., entonce!
2 r/- = , ,,fi
, el cual es imaginarro. Ahora. s e {tr es imaginarro. lpor
qu no debiera serlo 2 2 {l
= 9t/ -1 7 Similarmente, re leguira que el logaritmo
de una rarz cbica imaginaria de l unidad sera cero, como lo on I ( + l), e {'1) ,
qf 1 , erc. Erto er insorteible. Usted replicar que tambin Q (+lldebe er
_:
A,l , ,8,...,
I
I
I
*i
entonces
f
!
_l
f-1
donde m y n son enteros positivos o negativos. Asi, toda las dificultades desaparecen,
y que ellas rurgen del inlento de hacer el logaritmo de nmeros negativos, reales. De
es
lraccionario.
bal
o tJrscuson, por
pe-
por unos cuantos matemticos por alrededor de 35 aos, pero la carl "ror de
Euler D'Alemburt es la primera nvestigacin la cul realmente profundr er el tema y es.
tblece resultados substanciales. El teorema fue enunciado all como Log n tiene un nriodos.
morr rrrlrnrto dn loqaritmos los cuales son todos imaginarios, excepto cuan<Jr n es un nme-
ro l)osrtivo; en tal caso uno de. la infinitud de nmeros es real, Tambin e5 'nteresrte obgervdr que Euler da en esta carta una. rrueva delinicin de la exporrencial e'. Ll reprcserrta
r
4l
yconellol tomaun
L:
de D'Alembert
Agosto
19,1747.
yo valor
!
I
todas
las dif iculrades sobre el tema, las que en tiempos pasados me dejaron enormemente per.
ple1o.
P.D. Ustedadmilequelr(+
1)=!Lntr{l
sinembargo,
=t(2n -fiTrt,
- 1 . Puesto que el doble del logarrt'mo de - 1 es !(* ll, tendrfamos que l(* t)-- !Znnr/ i y tambin que l(*1)=
:!l2n- llry'.J. UsedacepraCue Qrl =!.1t2 t4n t l)n ,IT , y .....
9l-\/al - ! 1l2l|nt 1) ?ry'; , pro asegura que esras lrmulas no producen'todos
y?(.1)
I
I
los logarrtmos. pues omiten el logarit,mo cero. Sr es asr. entonces e(+1) t( +.1 t +
+ l/ (- y'-l!, pueden ser iguales a1- 1/214n t 1|
. Usred alirma que cero puede
"J.\
ser el logarrtmo de la raiz imaginara de la unidad ms alta. As, Q(+ 1) podra ser re.
presentado
go, ot/1
, donde o es cualquier
nmero.
Consecuentemenle, l(+
I )po
..
dra esrar tolalmen indeterminado. Esta conclr.sin destruye sus argumentos. Mis .
resultados es!n, unos con otrot, en perfecla armonia y no conducen a indetermnacio-
Diciembre
'
,' 'te no hay nada que aadir a lo que antes dije.
resuelva odas sus inquietudes.
42
Febero 15,1748. Euler a D'Alemberr: La ecuacin y - 2' da una curva continu arriba.
del eje x. perosi x= ll2,entoncer v= +{2 v -t/Z-,y aceptoque existe unpun.
to conjugado bajo el eie x. Tomando x =1i2, existe una inf inidad de tles puntor por
debao del eje x, que on islado unos de
otrorl
La ecuacin y
x1
/(1.2)
+. . ., adoptada
da una inli-
er
= l-2i''
definic;n ae
punto de vista, ni explica cro esla admisin afecta la cuestin bajo con-
troversi.
Sepriembre 28.1748. Euler a D'Alembert: El tema de logaritmo: lmaginarios no est u.
f icientemente aclarado en mi mente como para poder responder rigurosamene a rut recientes ob:ervaciones. Debo esperar hasta que pueda examinar este malerial en olra ocasin.
El articulo que Euler reporta en su cart de agosto 19 de 1i47, co^o envido a la Academia de Berln, es sin duda el articulo' quu fue publicado por primera vez en i862 y titu
3'. Euler lo inicia refirin
lado "Sobre los logaritmos de nmeros negativos e imaginarios"
dose a la "gran controversia" entre Liebniz y John Bernoulli l, ella finalmente no encajaba
con estos grandes hombres quienes estabn en perfecta armona en todas las otras partes del
anlisrs. La gloria de infalibilidad de esta ciencra Ila matemtica] recibir un severo golpe,
si ella presentaba cuestiones en las cules fuera rmposrble asegurar la verdd fuera de toda
disputa.
negativos.
Eernoullr. Euler oUserva que las objeciones de Lerbnr al argumento de Eernoulli _que
l(+ x) = !(-x)
contrar
yas reglas de operacin son tomadas como generales y aplicables a cantidades de toda clase.
_1
(1)
tll
(3)
!x=
(x)
Yo pre!endo qpe cada uno de esos puntos es aislado in relacrn con sus vecidos, an y cuando su ditncias ean inliniamen!e pequeas".
Ver F. EnestroTr', "Verzcichnis d. Schriften L. Euler, Leip:tg, 1910, Jahresber. d. dcutschen Math, -Vcreng., Ergentsb., IV, Bd., 1 Leif , p.42.2O2, Nos. 168, 807.
L. Euleri, Opeta potthuma, Tbmus prior,Petropoli,1862, p. 269 281.
43
nx = 9* , y la curva tiene un nunrero rnf inito de ramas Un ecuacin dferencral siempre da por integracin un tanrrla de cr-.rrvas. Bernoullr y otros afir-
entonces similarmente
ngn
qr.,e ls
=dy/y
"
origina una curva que en general tiene un dimetro cuando n es impar y por consiguiente lo
Euler explica este punto y se acerca a la nuev afirmcin de que la
tiene cuando n = I
I
I
I
i
tonces
y= e',
I
I
I
exponenle de la potencia
de e
".|p.213],.
i
I
I
i
I
I
i
I
I
I
(l+ r.:)=, y
Si y es negativo, no hay valor rel de x que satisfaga y = e^ Para estar
e = 2.7 18...
seguro, cuando x= l/2, y= ty'e-; pero cuando x= 2, no es verdad que y- te ' e y que
x- P r e.e. Asi la afirmacin de que los logarrtmos de nmeros negativos son reles, cierEn logaritmos hiperblicos,
si i
Sr alguien
ice
que eo=e0"4=r/-l-=tl
, entonces por
el mr5mo argumen-
io xr -x2.2 = 1x,
"...ademsdeque
a+x
serfaigual que
a-x"
de aqui el absurdo:
x puede ser el logaritmo de solamente un nmero y, gue 5 confrmado por l serie ie' = I * x + x7 /(l' 2)+
+ ... 'Sr se insiste en que para x = t/2, e^ = i/.-'r. sigue qu]e los logaritmos de nmeros
i-ag,nai,s son reales; pero, cuando x = l/3, 1/3 es el logarilmo de la rarz cbica real de
Pero
sr
ll
(-l)
e, si como de sus dos races cbicas imaginarras. Pero Bernoulli hizo un bello descubri-
44
miento de que
9\ = 0
mos que !
corrnantes.
2Q
{-l
tr,t
"E1as son, por tanto, contradiccione basrante palpables que e encuentran en cualquier lado de donde se mire; ... serfa sin duda una tare indelebte en anlisis, si la docrrin
Euler establece la conjetura de que los logaritmos de las tres raices cbics de y sean
diferentes, a saber: iguales a x/3,'x;/3 y x"/3. De estos tres logaritmos, el primero es real, y
los otros dos son imaginarios; pero el cubo de cada uno debe ser x.
Pero el pensamiento
idea plena:
"Despus de haber sopesado todas las dilicultades que
acabo de sealar, he encontrado
que ella: provienen de la consideracin de que cada nmero tiene un rlo logaritmo".
qe. 2761.
Admitiendo que un nmero puede tener muchos logaritmos, de hecho un nmero infinito, toda dificultad desaparece. Pra demostrar que este nmero es realmente infinito,
Euler toma el circulo en lugar de la curva logaritmica, como la figura ms apropiada para el
estudro de los logarltmos; el desarrollo con la ayuda del clculo integral de l ecuacin
tfLlrr=Q (cos,p + \/-iseng)tomando a g patavaloresmsgeneral esg!2rrr ,nsiendo cualqurer entero. De esta frmula se obtiene los logaritmos de 1, - l, .
, y seala que Lerbniz estaba en lo correcto al
",r/j
45
Usando el teorema de Moivre, l obtiene lrnlmenle,
Q1!tv=
j- G ? y m !
zvnfi:/-.1
l1)ttl'
: f,y t
2um* Zv "nJ.
recfa.
1749.
ello
Euler asprraba, como ei drcB. traer orden y armonia en un tema el cual haba estdo llero de (ontradicciones. Nuestra hiptesis
es que Euler estba rnsatisfecho con este artrculo p15'lrsrns1e el uso del clculo integral
en el e:rbls6nrsrrto
dp ig :
ra lo que parecia ser un tpico elemental, En e, rt,cul<. mismo, l expres una duda de c
mo la duplrcrdd de la curva logartmica afectaba la leorra de logaritmos. El articulo no
explrcaba completamente
tramos que en gosto 19 de 1747, Euler escnbo que el elrmino de un rticulo de D'Alembert envrdo pf a publicacin en la memo'ria de Berln. un prrafo correspondiente a logarit
(1)
l2l
(3)
46
rnos de nmeros negatvos. Ello fue hecho a peticrn de
D'Alembert.
Con tocio,
ino
se-
pens rncompleto?
En diciembre 30 de L74-/,Eular expres su temor a D'Alembert, de que su artculo no resolveria todas las dudas de D'Alcmbert. En septiembre 2B de 1748, Euler hace la sorprendente af irmacrn de que l no era capaz de resporrder rigurosamente a algunos de los recientes
5ealamrentos y que l debera esperar hasta que pudrese reexaminar el tema.
Despus de la correspondencia Bernoulli -Euler (1727-1729), pN un pe-
riodo de "calma", el cual ternin con el stigimiento rlel mismo problema entre
Euler y D'Alembert (/ 747-f 748). Como he,nos visto, slo se tienen las cartas
de Euler enviadas a E'Alembert; en ellas se puede apreciar el avance de Euler
con respecto a los contenidos en
.valores
escri be:
"... De este modo. todas las dificulrades desaoarecen ya que en ellas surgen por el in
lento de hacer reales lo: logaritmos de nmeros negalrvos... Usted dice que en en = y si
x = 1/2 enlonces y puede er tanto positrva como negativa; sin embargo e'representa el
Yo me apoyo firmemente cuando digo que e
valor de la serre I + x + x 2/l
2
mantiene su valor positivo, n cuando x sea fraccionario".
De hecho, Euler cree en la construcctn de una logartmica para cantida-
racter de funcin inrcrsa de la logaritmtca con valores positivos para todo punto.
En su carta del l5 de lebrero de 1748, Euler cambia de opinin:
La ecuacin y
=]
v= + tfZ'Y \' - - .. Z
.l
47
ladol y no de un curva continua;
las x y puntos ailado por abaio".
y y =e'reprelenta
de
-ll*x -1-x*x7-*+x4-...
parax=-3seobtiene-12 =l +3 +9 +27 +...yparax= | tendremos
12 = I - I + I - I + .., ysumando ambas expresiones: 0=2 +2 +10+26+...
si
Euler conc/uye as que los argumentos basados en series rto truebart nada
ni a favor nien contra. El deseo de Euler al escribir el articulo,era en sus propias palabras:
.. y construir
En
esrc
consis-
tenca interna a los hechos matemticos sin hacer alusin a argumentos extra
en cuestin.
11 47
hu
(1).
Cantor parecfa no te
Lampre (2), es de
La
CueS
volumen
r,
en Ia relacin:
integral
= log(cosp + i seng
En e1 artfculo
Si nosotros
cin en las memorias de Ber1fn r n prrafo sobre los logaritmos de nmeros negativos.
Esto fue hecho a instancias deI
propio
'Alembert.
EI 28 de septienre
de
rigurosamente
es
a1 lector
corazn
como
Cuando demues
!.1emtica, cmo lleva a cabo su experimento.
tra que ?-og(-1) no puede tomar un valor real, pero tamDoco ima
ginario,
1a
un
resultados
nmero
un n.mero infinito
de
de
he
e1 procedimiento era e1
rnismo.
"Aparte de esto,
E1 lector de los
es
una ciencia gue nada tiene ge ver con Ia observacin y Ia expI icacin.
nombre
vo-hA
negaltd,s e imginalte.a"
(i
recuento de 1a historia
l-a eanfno-
de,t nonbus
de Ia controversia.
cuatro problemas.
,'DL
La parte estrj-c-
consj-ste de un teorema y
nmano.
La prueba de este teore
ma fue basado en el artfculo de l74l sobre Ia relacin:
tuinan dz
Inganilnot poia
ca-d,a
i0 = 1og(cos 0 + i sen0.
En el artfculo
en
la serie:
.1og (11x) = x -x 2/2 + x3/3
(f) HLstoL't d. t-' aealz. de e. eL beLLu Le-t1
?o-'r'lo
L I
LJJ
J.
La
ritmo hiperblico de1 nmero X se Ie llama 4 , e\ logaritmo tabular de ese mj.srno nmero sera ig:ual a 0 .4342944819 LJ
Aho
ra bien, e1 fundamento de 1os logaritmos hiperblicos es crue si
t.rpignifica un n:nero infi-itamente pequeo, e1 logaritno de1 nmero 1 + u ser igual a e, o sea, Lll + c)= u:.
De all resulta que I ll + c,:)2= 2-, I-(L + t:)2 = 3 u, y en generar, - - ^n + c )-- = n c(") .
No obstante, puesto que (, es un nmero
-(t
infinitamente requeo, es evidente que eI nmero (1 + <,.ln ,,,r.r',ca 1rcdra ser un nnero propuesto , X , d menos que e} exponente,
Sea, pues, ,1 un nrero inf inita
n , sea un nrero infinito.
rnente grande ta1 gue X = (1 + a )n ; Lx se deisgn a Wr t:l ,
con LJ = n u).
De La frrnula anterior tenemos que (1 + c) = x h
I/n
'] (,)= x -'" - 1; si substitumos este valor por el de c en la
prinera frmu1a (*), tendrernos:
1/n
U=ttx=n=LX
1/n
es claro que eI valor de 1a frmu1a nx - n se aproximar tanto *s Zx cuando eI nmero 11 -se tome grande. Si
"
para <,.l se considera un nmero infinito sta frmula dar el verdadero valor de f-x
De donde
Haciendo en U -
(/+
LJlr,)n - 1= 0.
.
Los factores .de cual-quier frmu1a binomial p" - qn = O pueden ser obtenidos de:
2\,tr + Yl-7ae-n
,
/p=q tco
n
donde \ = !1 , !2 ,
t + U/n =.
co^
2Xz
Por 1o tanto:
t /-
^zn?]A
; q =r2tr2/ -r ..,.r,io il
=co
EnestoSarticuLosde1717y1719,eSdondeEuLerconcreta/
en base a pruebas rigurosas, la construccin de ta funcin Logaritmo para cant'idades negativas que desde aos atrs v'iene conci
biendo. En La demostracin deL teorema que estabIece que a un
nmero Le corresponden una infinidad de Logaritmos, uti Liza su mtodo de analoga, en base aI cua L extrapola el comportamiento
y Las propiedades de cantidades finitas a las inf initas (infinitamente grandes e infinitamente pequeas).
Parte deL hecho de que si x es una canticjad fin'ita, sta se
puede expresar como x = (1 * ,)n, (con inf inites'imai y n inf ini
tamente grande); o si y es una cantidad finita/ entonces y se -puede
.
escribir
como
LJ
=tr.s
L":"'''
(1
togarit_
--o
-*..*-#....
02+ e4- +
cos0=- 1 - zt.
uJ 6J ."''
Adems de que conoca
pubLi cada en 1714:'
manejaba
2! 3t 4!
"'o=1+io- -'jj-ld*-t--.
es
dec
i r:
"io I
o en general:
ex = 1
23
* x * i.
+ ...
otro Lado, EpLer supone, QUiz en base a La continuidad de La funcin a^ que si au = 1, entonces u- = 1 + k o.r, donde k depende de a;
(expone expLlcitamente La reLacin funcionaL entre k y a) y <,. Lo toma
como un nmero infinitamente pequeo. De esta forma se tiene que:
aX = (" -)N = (1 + ko,)N = r +
Por
$lN;
(1 +
+)N = 1
ax = 1
***Il!2+
,2 ? ,3 3
KX
KX
i(x +-2-T-*-sT-
N-14
Ya que -- . = 1
N-2_"
.2
kx 2
-----
N(N
N.
.l-
-',l)
3l
(N
2) ,3
Knr
t"
**r1
= i, etc.
1+x*
?31
i * i. fi + ...
EuLer puede concLu.i r que Logl * <,.r) =s ; extrapo Lando La propiedad de Los Logaritmos de cantidades positivas, que
mi
ca.
estabLece que s'i Loga = b, entonces Log o.L =n-b, LLega a que
^
(1 + c ) tL ,= tt o).
(Euter dedica varios prrafos de su
L1g
escrito, como se ver ms adeLante, a aclarar eL sentido parti
cu
Iar
que
s'i
Lc.Z
2-c
(1
En (1
2\'
I. sen -l,
tiene:
+I)n
despej ando La
't
Y=n(cos
sen
).= O,
\' * 1).
n
2 X;r
cos
t \.
n
en La frmuLa
. 2 ).zr
Y=n(1 t 'l-_- n - 1)
ES
un infin'i
ztr' _ 2trzr
nn
Sen
! 1, 2?,...
2
_=+/
nos queda:
).lr
Xzr
) = +
= L(1).
+)
,-
"t0
- 0, ! 1r!?,
..-,
i(0+ 2).r =
sB obt'i ene:
Log (cos
0 +'i senB ),
), k=0,!1,
= i (t!Tir
3iri, i5i
= !irt
!2,
t,/3
L(x + iy)
L(c - iy)
es La expresin
Para e L
10
va
2
--i4 J-t
de
"2,
t(-1)
rz
=7d,
.t
donde
(-1) = n.ir
artfculo
,!-og(a+b
,/:i rPl'r
LoZ
Tor,.ando F coso
un
nme
I
I
i
I
i
I
I
!
L(*al
i
I
i
(i,
i
i
I
I
Asf,
i
I
L(+alz
2t-(+al
2A
ln
Zp r/--.
t,
La derivac'i
n,
como
se hace en
Los
Asi,
arq t
arq ei arq e'
= l"tl
l, I .i
=
"i
"R"(ore
(ya que e- = e*"iy , ,i u- (x + iy.
IguaIando partes reaLes e
Re(o)
l, I= e
Como I
..
y
as, se tiene:
e'i arq z =
- e^i arq eo
imag.i nar.i
Log
l, l= Re(c.r) ;
arg z
i arq eo se puede concLuir
por otro Lado, si
="
"i
arq e-= arq z + 2n, con = 0, +1r+2,
Pero ccmo,
* 2n = arq Q) +?nnr
Im (c) = arq (z) + 2n con k - 0, t1,
!?,
En conse cuenc i a, s i cJ = Log z, entonces:
Im.'('<,.)
togz=G)=togfzl+
1(arq z + Zkr)
conk=0rt1r!2,
que
{.A' = 2A t p r /-1
t)
2Ll-al = Lo.':,
2{-(+al = LoZ
I.
tomando
cJrnLr,o,n
ctuz
l
I
eL digno
i = plntl
'2
ZL(-a) = LL(+al .
Agrega
n-o
Ll-(-al q Zl-(+al
,5 n
li
i
ta.bnia e,lfanznf.z,
i,
'
rl
:
lr
rlo
lt
son igua-
Eu
it;l
!,
.l
il
il
ti
it
i1
ii
ii
l1
i,
?Atzctr /1-=ze!pt
Jj
iI
t
entonces tendrfamos
Zl-(-al = 2L(al
so
. dos
13
ba
+p.l tr t/i
Z-l+a1 = ZA !. (p
Z-l-o.t ='ZA
t (q + c,lr Ji
Entonces
se
2L(-al =
zL(-a) = -
1o
1A
j't
lo\t
\U
La func i Logari tmo para Las cant jdades nega
.1; r^1
tivas, de hecho extiende eL dominio de La funcin a Los nmeros com r t'$"'l
1'
pIejos/ construyendo un mapeo muLtivaLuado defin'i do deL pLano com - t' . ('
pLejo; esta nueva func'in demuestra que EuLer no hereda, de manera "r*J s{
estricta, Las propiedades de ta logartmica definida para Ios pos'i- " )'
+
tjvos; en part'i cuLar para La funcin extendida, se tiene:
AL defini
r Euter
,)U
\
2L(al
?t-(-a)
t-(aJZ
c Z l-otL
Asi:
2I-(l
C?l-nl
cll
*/
2I-(al
lr
2t-(-a.l = la'
- tly
,)
mi
ent
'tLa =
,1
Lla)
15
objetivo de Euter, como L nismo Lo expL'i cita/ es poner orden y armon{a en un terreno ptagado de contradicciones; para EuLer esto significa, (se puede suponer por su trabajo sobre eL
tema tratado) construir una teora coherente/ es cjec'ir, congruen
te con los resuLtados conocidos y aceptados en La matemtica; es
to nos ILeva a pensar que EuLer, a diferencia de otros matemti
EL
El cuarto problema de Euler consiste en encontrar el anti-logaritmo x, dado un logaritmo. donde x es real- o complejo. si
el logaritrno dado es g flT, y g es un ml-tip1o de r( , entonces x es 1 o -1. si g no es un mltipro de r pota enconfhanlo
igual a g, bi
u iguct a ut7o.
LJ
e- tienz {- zno t1 Ql eoetto, el nnteo buca/,0 Q^d. x= caa !* f I
^i
^ng.
si er logaritmo es 6 * g J 1, entonces x es el producto de dos
nneros, uno teniendo el logaritmo ( , y eI otro el logaritmo
e.L r,ad,Lo
s'/-1'
EuLer da, en La parte finat de su arti cuLo, el aLgoritmo ,.
ra e I cLcuLo oe los anti-Logaritmos de Ios nreros cor,rplejos.
1A
En. b.ase a La frmuLa encontrada por Cotes: e'=cos0 +i sen0
Y
a'La expresin en coordenadas poLares de un nme ro comp t e j o, c
.!
f.
= e' (cos S + \/ -1 sen g).
16
ut
Le-
de EuIer
"Rcheche,l -
No hemos encontrado
haga
dar dos pruebas del teorema gue establece que toda ecuacin
tiene rafz.
Esta par-
(3), es abierto
1o de Euler.
(a* b'/l)^*nt/ll
)
(2)
x+ u\/'j
HLstpi d.e l-'acadam. n. d. nc. e,t belle .ell.. anns t't49, Bertn
1751, pp. 222-288.
V6.a.t }fuuall.'d Kal-Uihe, No . !4, Leipzig, 1890, causs , U)Qhl, Vo1.
III, 1876, pp. 1-30 (3)
,t{. Ca'nfon, op. cit . Vol . III , 2 anf 1 .,1901, pp.601-604.
(f
t7
miem
Toma
variables.
como
Haciendo:
t/ aa + bb = c
C7,slm
V * nlC)
y las imaginarias:
reales
U=
'
co Y
m -nq
i"'"
n(mg
* nlcl
po^ibt-5
2)\t , L
ob
, t 2, etc. ,
donde ea u
diznfz a,si4nan a em t6-o valones rLe-olet po^i.vo^ paha que- 'A' e,sf(. deLyda. Notamos aquf que Euler no dudaba al tomar el logaritmo
de la potencJ-a general, involucrando nmeros complejos y encon
trando esta potencia general como infinitamente
valuada -nota
"eA
nLdad d valoea
fwtto
indi-
aLu L{Qhnfu".
complejo. El
nmero
LJ
18
y los imaginarios.
I
I?
Los historiado-
Pessuti, italiano
en
esto sr
(1)
e1
11 49
to su primer artfculo
En los
tres articuLos
menc'ionados anteriormente
por Cajori,
escritos por Euter entre 1717 y 1719, presenta ste Los eLementos.'suficientes, -esto es/, una demostrac'i n rigurosa y una se (1) G. Calandrelli , Sa4gio afio{i,fico, Qfc. Rorna, 1778, pp.
14
19
rie de aLgoritmos sobre eL cLcuLo de Logaritmos que'invoLucran nmeros comptejos-, pi." qr" se pudiese resolver La -Iarga disertacin sobre Los Iogaritmos de cantidades negati-
vas.
Sin embargo,
como
to
hemos hecho
notar,
EuLer presu-.
bre
s,
Despus de anaLizar La construccin que EuLer hace so Los Logaritmos de nmeros reaLes no nulos, oabe preguntar
cuL es La justificacin de que taL construccin no haya
(*)
parra
1,.
Secc'in lbtemt'ica
-,
20
D"AIembert
_)
)
1
,
)
J
)
J
)
)
J
)
J
)
t
J
-1
)
,
_t
)
-l
t
I
2t
trminos respondan a 1os de una progresin geomtrica cualquiera, uno podr enconcrar 1os J.ogaritmos de todos los nmeros com
prendidos o sobreentendj-dos en esta progresin; por ejemplo, si
la progresin geomtrica es una progresin de nmeros enteros -cual-esquiera como 1, 2, 4, 8, etc., uno podr encontrar los Logaritmos de todos l-os n.leros medios proporcionales aI infinito
puesto que estos nmeros pueente 1 y 2, 2 y 4, 4 y 8, etc.
den suponerse como pertenecientes a una progresin geomtrica continua.
^01?3n
Sea
a , a, a, t
a,
una progresin geomtrica
cua Lesquiera; dados dos e lementos a lternados de- sta progresin/
la med'ia proporcionaL ser el eLemento que se encuentra entre eLLos: Dados
eLementos de La progresin, La media pro
"n, "n*2
porcicnaL est dada por:
a_x
- - lr+Z
a
de donde,
22
2n+2
de donde x
Si este
n+2
--T -
-d
proced'i miento se
n+1
repite ad infinitum,
af irma
- -
= x, pM = y; La ecuacin y = .* ur 1a que 1os gemetras dan para J.a logartnica; el).a significa que si'se Llama
b a la subtangente, (I' a la 1nea que toma por unidad, y c a 1a
ordene a la cual corresponde una abscisa igual a b, se tendr
xlD
que se cambia en y = cx haciendo a = 1 y b = 1.
=
:
i7"
Sea Ap
La curva que D'ALembert toma como togarJtmica, es Lo que actuatmente se cons'idera como L exponenciaL.
23
La subtangente
&
En base
La
- x
fiqura- too
'-"a-E.'
cb
LomoLoo
'c -=a
x-x
---Loo
ob"ca
-=
= 1, se tiene
lsgc
,i,"o
de
Lco
"x ,crxlb
a
donde
(1
yx
;-b-
k/b
_c
- -n76
a
ta
subtangente
I
I
I
t'
I
I
Po
semej anza de
"'Ln "
dy
dx
_z _a
-V,
v
de donde
xn
a na
LLts.
".-.-
24
I
I
I
(a)
que- ?a
I
I
25
-2 -3
23
-l
etc.
una
= 0, luego, si 1og-1 = 0, se sigue, segn e1 Sr- Euler mismo -(y eso es muv fcil de probar) , 9ue los J-ogaritmos de nneros negativos son reales o pueden suponerse reales.
Todo se rei.u
ce, pues, a dejar bien establecido que log(-f) - O o pueie supo
nerse igual a 0.
I
i
I
I
I
I
I
I
I
I
I
I
' Esta
por Bernoul li
40 eos antes, muestra Lo poco que DtAtembert comprendi (o acep
t) a Euler, en particuLar en Lo relativo a La ecuacin incom pleta ?Llal = .L(alZ (", dec'ir , zl(el C ilolL> .
EuLer, en vaargume.ntac'in de D'Atembert sosten'ida
26
I.a prueba que acabamos de dar parece ser muy sencilla y sin
rplica; tratar de hacer ver', en 1o que s.igue de este escrito,
1a poca solidez de 1as respueStas q:re se han guerido hacer a es
ta prueba; pero antes de examj-nar estas respuestas voy a discutir una objecin a Ia cual yo no s que se haya pensado y gue,
sin embargo, merece algn exa$en.
La progresin de nmeros naturales, 1, 2 , 3, etc. , podra
decirse, no se suDone que tenga logaritmos ms gue en virtud de
<rue se pueda observar siempre esos n6meros 1,2,3, etc. como
pertenecientes a una rogresin geomtrica, en Ia cual se han omitido los trminos intermediarios. Pero una progresin tal
no sabra extenderse ms all- de los lmites, 0 de una parte es
de.l-a otra; ella no pasar jams a J-o negativo, y ninguno de
sus trminos puede suponerse tener (-) , ( .'. ) , etctera.
21
ra siguiente:
mo !-aA ea co'niespond,Leytf.
f1
l
i
I
I
28
mtricas.
Para D'AIembert eL protitema de ta togarltm'i ca es un problema de definici.n o de suposicin, que en este caso especifico se
reduce a escoger arbitrariamente progres'iones, una artimti ca --
I
I
Logizantes/ esto es, con cierta carga metefjsica o fi losfica: ". . . es ms simple mensar que la curva 1og. . . que se vuelve - e
cuando y = 0, regrese sobre sus pasos cuando y se wuelve negatiV.. -", contraponindose a argumentaciones ya obsotetas/ como -ejempLo, aqueLLa que sostenia Leibniz en 1712, a cerca de La imposibi Lidad de que una progresin geomtric de trminos positivos, se extienda hacia Los negativos.
Para Euler eL terreno de La discusin es La curva ax = y, y
en.particutar'qu vaLores tom x
y cuando y es negativa
"n "t =
dejando en segundo trmino Ia propiedad especlfica de estas curvas, de que sus ordenadas estn en progr-esin geomt.icu .ranjo
sus abscisas estn en progresin ariimti c, y por ende pasando
a segundo trmino La di scuc'in de Las progresiones.
!
29
- :' , siendo n un n
Para esto, supongarnos en general dx = "td'
mero entero positivo e impar i es cierto o,r. I" podr .onrarui. ]
la curva a la cual esta ecuacin pertenece.
Es necesarj.o, prirr.ero, trazar Las hiprbolas OPV,
es
PN =
cuales l-as abscisas AN = y
In11 "rd"nada
f,, ,
enseguida, buscar eI rea f +gX correslrcndiente a una
Jy
cualquiera AR, suponiendo que esta rea sea.0 cuando Y
cur..,a cuyas ordenadas sean profc."ion.1"=
Gr en Ias
necesario,
abscisa --
curva buscada.
Se encontrar fcilmente gue a una abscisa cualquiera y, po-
NPOA
NPSP.
NPRS
de donde se sigue gue a dos valores d y iguales y de signos diferentes, corresponde un gismo valor de x.
Por 1o tanto, toda -curva en la sual dx = 3#
, siendo n ur nmero entero impar cual
vquiera, tj-ene dos ramas igual-es, sj-milares y similarmente situa das Ce una parte y otra de Ia lnea de las x.
Es as como se reconoce :or Ia integracin de esta ecuacin, cono el Sr. Euler conviene.
-I
I
I
-)
)
30
tas y geomtricas
".
)
")
x's forman una progresin geomtr.ica, Las y!s forman una artimt'ica- Gregory de saint Vicent'pubL'ic este resuttado en 16tl y
BernouLLi, adems. de demostrar por mecio ce series que e[ rea bajo La hiprboia es'infinita, se basa tambin en eLta para de -
\
I
I
La
s'r
I
I
I
i
I
I
i
i
i
_l
)i
31
32
eje o asntota.
)
i
I
I
I
I
33
Pero yo
me
i
I
I
QP
34
Ly=*.Lu, en consecuencia Ly = xL a; as, }a ecuacin de Ia -clrrva completa s y = a*. No se tiene ms derecho de tomar -y=a x-x y= -a por ecuacin de toda 1a curva que eI que se ten dra para considerar y = +.,/ x a t = - /x como ecuacin de Lrna parbo1a entera
Basndose en eL hecho de que log(x) = Log(-x) (eL que para D'ALembert est ya suficientemente bien fundamentado); .intentaba
to
y = 6x
eje
x.
Ya Euler habia apuntado en una de sus cartas <1727) que - y= G1)x no es continua, sin embargo DrAlembert considera "contra
d'ictorio eL hecho de que una curva compuesta de una infinidad de
puntos conjugados/ cuya d'istancia es meior que cuatquier Llnea -
dada, no sea conti r1t)a t'. y trata de f undamentar matemti camente su idea, exponiendo esenc'iaLmente La misma argumentacin que Ber
nou t L'i sostuvo en 1728.
35
36
sinus X.
dz=
de
En
efecto,
../J
Vx'- 1
ax
dx
,-V1 -x
-dx
donde se obtiene:
Z=-
v-1
log
t/- t
r-Tx+ Vx
-1
/'z-
Tratando de superar la contradicc'in que EuLer le marca a BernouLLi, D'ALembert concIuye que ex'isten tantos sistemas de lo
garitmos como sea necesario. DrALembert, ccnsecuentemente/ no
Dodla sostene.r que Iog(x) = log(-x) como propiedad de Ios Iogari!
,or, ,ino solamente como una propiedad especfj ca de su s.i stema.
37
+In =
cos
2\-1
n
i + J-
sen
2tr-1
n
cos
(2 tr - 1)r
ll
sea.\=n=
,**=
I
I
I
co
: V-1
, se tendr,
cos 2 1/-
sen 2r
sen
(2,\ - 1) ;
n
1+I=1
n
,*;
3B
por 1o tanto y =
O.
1+Ln I
i
I
cos
cos t An
-alt
i
n
sen
.2),
Supongamos que
oo=
, para y= log(-1).
n.
I
I
maneJ
n/ se tiene:
= cos (Zn - a)
t i sen (? - a)
n
n
Como
a es un inf in'itesima
cos (a) = 1.
sen ()
tt
1+L=1.i*
't
I
_if
, se tiene
sen (I)
de
Ly
= 0.
_t
39
den suponer, 'indiferentemente, o reales o imaginarios los logaritmos de 1as cantidades neqativas.
Todo depende nicamente
pero no creo que se
del sistema de logaritmos que se eligir.
est obligando a sos+-ener, exclusivamenter ! n generalr eu -1os logaritmos de todas 1as cantidades sean irnaginarias; como no se podra sostener, en general, ni que los logaritmos de 1 es necesariamente igual a 0, ni gue e1 logaritmo de una cantipol
dad positiva y real es siempre y necesariamente positivo.
que se puede suponer una sucesin de nmeros imaginarios en pro
gresin aritmtica, que correspondan a nmeros positivos y rea1es en progresin geomtrica y que, por consecuencia sean los J-ogariros de escs nmeros. No hay ningn lazo necesario entre una sucesin de nmeros y 1a sucesin de logaritinos que J-es
corresponden. Pero cualquiera gue sea la sucesin de logaritmos que se suponga, las proposiciones fundamentales de Ia teora de 1os logaritmos sern siempre verdaderas; a saber, cue si
se hace 1og = 6, log = p, J-og b = o, se tendr log ab = - =
p + q, L;
l
.l
{
40
VI: DE EULER
;- SS:L
;-
Y ARGAND
!1 19
:::e
1800
LoEa ritmos
como
(1)
)puacuLe,s mailtenafiQu%,
1
41
I
I
gue
I
I
de reas negativas clara )' consistente, y a1 manejo de reas que involucran 1a forma inde-
terninada
@.
si asf
1o
de
entonces habr
42
una
versiones de la involucin,
y 1a serie aritmtica 0, l,
3,
de
DtAlembert,
cuerda aI lector que a ste se le puede asociar arbitrariamente cualguier serie geomtrica.
.2
de
tica
de
A')
AJ
fue anterior
,
,5Lt/L
de Daviet
de
t-e,l cluanfi.t6-s
cosg+ /1
y toma parap,
+ 2),.
En-
tonces
(s + 2lr)
//:T = log (a + b /=
(2)
dictorios
a esto.
Fon
1a
I'Lt
.Tautl.inensi.d, t
1759,
pp. l'3-146.
se
\Z
(3)
1711. N. deI T
44
entre e1las, sin usar procesos de integracin. EI encuentra que la ordenada B de la evoluta LJ=zx es l2q2*11+q.
No satisfecho con esto, 1 considera t *
que Bz = l4u -
rJZ
= LL.y encuentra
-tl + (l-u). por 1o tanto, afirma, existen dos valores para B, es decir, existen dos ramas de la
evoluta, ambas simtrjcas con respecto aI eje x. Como 1a
evoluta tiene dos ramas, 1a .rrrr. misma debe tenerl-as
D'Alernbert admit. '.i,or. 1a aseveracin
a que
u2
en cuanto
1as
dos ramas estn conectadas algebraicarnente. A continuacin,
se da a la imposible tarea de armonizar resultados escrr-
biendo I /-T- = Log( ! c0^ t n I /:T), con Ia idea de que ersigno debe ser escogido para cada caso especial. Es notorio que De Foncenex se inici6 en 1a controversia con posiciones muy..i.u..=.las
de Eulerr pro se alej de eI1as
considerablemente a travs de sus estudios de continuidad
de curvas y de su farsa interpretacin de rafces de una ecua
cin cuadrti-ca
-
c_tionnaie uaLtcnnd.,
g, paris,
1r]
.l
65 de Diderot.
Este artfculo fue incorporado ms tarde en la gran Encyc!-cttd.u'z mh'oquz, 1785, cuya parte natemtica fue traducid,a ar- ita
liano en 1800. En r-o que se refiere aI tema de ros logaritn,,.os de nineros negativos, se presenta 1a posicin
de Bernou_
lli en Igar de Ia de Eu1er. El otro francs que parti.cip
en la discusi6n antes de concluir e1 siglo xvrrr fue Louis charles Trincano, quien contribuy6 con una limo.(e uz {-u
45
Logan:'rnes Ces
I
compl-ef d'a,lif.iwe,tique-,Parls
razn, gu si
su
se
o de -2,
tendrfan logarftmos reales. . De acuerdo a 1a primera progresin, 1os nmeros positivos no tendrfan logaritmos reales.
En 2 ,
es quim6.ieo
, 8,.
A pesar de la influencia
ler adquiri6
una
en
podrfa
cai-cul
ini.
seccnoe i.,'
(q
Si
111
po La
est
dada po r
=r"r*;
= arc tanb/a
N. d'-t I
1
A-
Suponemos que
que
Cw-tu
unidad, utilizando
un
ua inaginattcnun.
49
I
en 1a prueba del teorema.fundamental daCa por EuLer; 1a demostracin de este teorema que afirma que 1og x toma una in
finidad de valores es objetable en.el siguiente sentido: EI
teorema conlleva Ia idea de que todo logaritmo pertenece a -
un nmero positivo,
y n es infinito
uJ
es inf initesimal
1 considera a
a1
afirmar que podrfa haber resultado mejor gue EuIer utilizase en su prueba una definj.cidn ms elemental de logaritmo.
En contra de D'Alembert, Karsten arguye, convincentemen-
te, que ste matemtico se concret a mostrar la posibilidad de sistemas en 1os que los nneros negativos tienen 1o-
Lo
50
+ 2),n, y tambin
fAHBG
llAG,
11
MAGBFAG,
y Gt exj.sten
y n general, -
+ 2),t, donde I - 0, l,
2,
rrespondientes.
.t
-:-Z' Loq( x + q) = y/:T- -A- a;Lc co x . G1- ^e-c co^ x
Si x>1, digamos x=CP,
donde el sector es 0 cuando x = 1.
1
entonces
imaginario.
ACM
Sea
AM
). (AGBFA)
es rea1.
Si
x = CQ, entonces
4 J-, entoces x + tJ
_T -og(x +
1
2tr.ir.
2\-"
tJ
tr-l ,
es
) n,ide 1as
6
/-L
y sectores
son
imaginarios.
De esto,
.t
51
I
vemos que t
en
+ 1) /a .
"La Geometrfa entonces se antepone un tanto a l-a concepcin leibniziana, es decir que Los logaritmos de nmeros negativos son inpo).
(1) .
En esta
Italia.
de Bolonia.
Pellizzar,l, profesor en Treviso, cartas que sabenos t -fueron impresas junto con una carta de Giord-ano Riccati (2),
Fueron reimpresas stas, doce aos despus (3)
Los argumentos
de
Leibniz, J. Bernoulli,
D'Alembert,
(3)
Nuovo gioanoLz
pp.
i37-219.
ll
52
.u
) +
-.-n
co
(2r.--llr t/-T
n
L(-l )
-1)nCT-
zn
deriva de 1, Para n = -,
I+
Riccati rechaza, il este punto, Ia revisin que DrAlembert hace a Euler, pero concuerda con Ia crftica de D'A1embert a Euler, al escribir L(t + w) tr = nw, n inf inita y L0 infinitesimal,
como involucrando todos 1os logaritmos, ya que
ll * luln debe ser un n6mero positivo ( ), por 1o tanto t frN no representa en su anlisj.s 1os logaritmos de n.meros negativos.
sentido oe que
L0
cuentra (-1).
La falta de explicacin,
_1
53
l'1s
Roma.
Pessuti defendi6 1os puntos de vista de Euler en un escrito, titulado Udletaioni ana-lif,cch.e-, Lvornor 1171 (1), derivando los principales resultados de Euler en base a 1a
frmu1a
u = Jrdzl^
, - ,-
,-,
"os
1+z,f:T
1-z/=f
(2)
(1)El escrj-to de Pessati nos es conocido solamente por las referencias encontradas en la respues'ua de Calandrelli, contenidas en eI libro -ploaoplcit ei. nafhenafici, Matriti , i789, p. 215, esDz .st-t
crito por Juan Andrs y en Freres (Hoefer), ,Vouv. 9iog. Gdstr-a!-2.
(2) Esta es La frmuLa generat para eI sector c'ircuLar, encontrada por
J. I. Bernou(L'i . N. deL T
54
Poniendo Z - O, 1 obtiene
LL
= n, dondz ft= 0, l,
2,
Bernoulli
la
cittcondennza
EeincLL&ana {r'a
iL --
ir.la-
pp.
Frres
c,'!), c.t.
A-t Ca!-dani.
I
55
= 0, cuando z=0.
ahora, si 0 = 0 /=1-
a , afll-
E1 escribi des-
una imposibilidad.
gafivi,
Modena
dz'rume^i nz-
1791.
Estos escrilofes,
que
u,
donde
ar
es un infinitesi-
gu -oglll = ?r /:T-,
QA.e.
^-l
En
L7
66, cuando
l-os
Se inclin
que ahf
se
0 =
Zr
{:1- = 4i;,/:T ,
e-fc.
El adopta la
posicin de Eu1er.
cuanfi,t. nzgafiv
I
(1)
I'lernotLtz.
En un artf culo
z dap, gl-'inaginanJ
(1)
Sop.ta
i Loga;ifri dellz
, 1 preterdi, fundarentar
r. r.
verona,
56
/:1-
tres pruebas.
DA
=-
dx
fvX .ZX
=(
xdx -
dx
Integrando, obtiene
)
e
)
/:T- = Log(t
haciendo
tp= 0
eundCt X =
para x = 2, Lcg{-i)
= t (2n
llr /-:1-,
para
tegraci6n,
funciones trigonomtricas.
tiempos,
i4anj.f
involucra varj.as
de
de
+ [-cg a.
pero no pone
-t
57
I'talfatt,
dx = dU,
Antes de integrar,
Si
lores se tiene
u2* = Uz
lx
- ul
lx + t1l =
0.
EI que zx = u
geom-
tricas y analfticas.
En los libros de texto de rnatemticas,1a falta de acuer-
do en torno a
1og
(1)
I'lznonio.
, I,
dlla
teo.Le aecadenia
u,.zl
pp
vpr. rV,
1
58
debe
Paolo Frisi,
I-luchos resulta-
l.
irna
(4)
, publicado en l1B2
en
t trp,[f
na pura. ( purio,zz ,tegionz)
nGr.erc real
= LtJ
de
= L(-l).
lo tanto Ll-,J)
de
LJ =
se t:l.ene -Y=-C',
).,
Y -L(-Y) un
-L.,
gene-
erc
e,t l,,tigono
Lubnu th.zontb. non-l, metltodo pU-tnacfa.ta. Ftorentiael
1782, Cap. IX.
mQ.f.LL cz
-t
I
1
59
A. =
tambin en Alema-
Kastner (1),
de
I. A. C. Michelsen, se-
La posibilidad
(f )
t 9
e.
JJ
60
de
radios
de curvatura, etc.,
esto es, intentando pasar sobre conceptos fundamentales por nedio de sisternas de notacin, cuando,
Los
En 1199, Christian
profesor de matemticas en Estrasburgo, expresaba dudas (2 ) sobre la validez de Ia frmula Ll-xl = L(-lI * Lx.
KaII'.p
artfculo
(3).
EI afirma (4):
"Las paradojas y contraoicciones discutidas entre todos 1os matemticos comprometidos en Ia controversia concerniente a
I
61
sibles,
Gzome,Lz de poai.Lion,
_l
doja consistente, eur mientra s Log(=212 = Logtl.l2, no se puede escrlbir 2-og(-2lr = TLog(21, Este punto Euler 1o
'gt
ac1ar6 en L7 49,
habfa hecho suposiciones bajo Las cua1es 2L(- 2l
1og
(-x) .
Por qu eI brillante
no fue convincente?
que
taI,
nmero de valo-
vicci6n general
3.
Tampoco
62
matem
Y se debi6, fundamentalmente, a la carencia de una definicin cLara de 1os trminos y a 1a imposibrlidad de discriminar entre lo que es asumido sin prueba y 1o que debe sujetarse a una denostraci6n rigurosa.
63
LA UNI ON DE LA
EXPONENCI
AL
LA
LOGARI TI'1I CA
do, principalmente, a la influencia y ejemplo de L. Eu1er, quien 1a expuso en su An.Litung Zutt Algzbrto. (1) . Durante
e1 siglo XVIfI, 1a definicin .Neperj.ana,'basada sobre 1as
dos progresiones, continu siendo 1a definicin prevaleciente, Hasta 1E08, C. F. Kaussler expres6 decida preferenci.a
por e1la, una nueva definicin que ofrecfa a 1os principiantes "vacfos y obscuridades" {2) ,
visto que Euler extendj. la exponencial j.ncluso a
1os exponentes imaginarios, Hemos visto que Ia expresin
Hemos
(2)
21
AruLe/)tng Lun
c. r. KussLer,
{
i(
"t
64
La relaci6n
l
l