)

i-

I
-

SECCION DE MATEMATICA EDUCATIVA DEL CINVESTAV

IPN.

HISTORIA DE LOS CONCEPTOS LOCARITMO

EXPONENCIAL
)

Ricardo

'Cantoral.

Rosa

Ma

Farfn

Fernando Hitt.

Miiela Rigo.
1

983

'"

""'.

'

:l

J
,

HISTORIA DE LOS CONCEPTOS LOGABITMO Y EXPONENCIAL

t
,_'
,
-,
,

DE NAPIER A LEIBNIZ Y JOHN

(1614 -1712)

"**O"l'-'

'.

Logaritmos de nmeros posrtivos

-,
)

_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.

El tliifiti lu.guithmo'unqtmtis tlr'ttrtlttitt2

l.
Z

F. Ktern, 'Elementarmathematttk pt,t hoh. orOunkte aus. l, Leipzig, 1908, p. 325.

Una reimpresin de todo el Dcscripttu se encuenlra en Maseres' Sciptores logaithmici . Vol.
6, Londres, 1807, pp. 475 - 624.

-,
,

,
,
)

-,
,
-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

involucrn la ide de logaritmo. Aunque no explotaron las posibilidades de esta idea ni

concibieron y ejecutaron el plan de operar un par de series correspondientes suf rcientemente
densas para su uso prctico en clculos. A prtir de ciertos pasajes de l obra de autores como Stifel I , uno puede intentar decir que et concepto de logaritmo realmenle existi antes
del tiempo de Napier y Brgi. Con todo. gran parte de lo novedoso de los logaritmos de
Napier fue, para los ms eminentes matemticos de sus dii, el poder darse cuenta de su utilidad por el entusismo con que hombres como Briggs y Kepler Io emplearon sobre nuevos
tpicos. De es manera, los nuevos y originales logaritmos hicieron que Briggs viajara de
Londres a Escocia para visitar a Napier, el inventor. Briggs se dirigi asi:
"Seor, he emprendido este largo viaje con el propsito de verle y entender por cul
sutil agudeza o ingeniosidad, usted fue el primero en pensar en la ms excelente ayuda para
la astronomia, a saber. los logarilmos".

Napier estableffie que un punto

-,
,

-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

"El logaritmo de un seno dado

es aquel nmero que se incrementa aritmticamente con

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

'

rica y aritmtica, respectivamente.

(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

'

Haciendo , - 10 ?, las series geomt

notacin moderna como sgue:
U,
)
)

_)
,

J
)

u(l-l/u),

0.

r rc

dr

mt ica de Napier pueden expresrse en

,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

les esos logaritmos son negativos.

--)

t
_,
D

_D

t
I
D

_0

!
t

En el Descriptio se define a los logaritmos de la siguiente manera'. "Lugurrtltmt'sunt

numei gui proportionalibus adjuacti acguales servant diffcrcntias". (Los logaritmo: son
nmeros que corresponden a nmeros proporcionales y tienen iguales diferencras). Los nmefos proporcionales son los trminos de la progresin geomtrica; los numeros que lienen
igyales diferencias son los trminos de la progresrn aritmtica. La palabra "logaritmo" es de
origen griego y srgnifica "nmero de raones". La idea es la siguiente: la expresin
v (l - 1/uln se obtiene de multiplicar la u por n sucesivas aplicadones de l razn (l - 1/u).
De ah que n, el logaritmo, indica "el nrrero de razones". Napier d, en 16i4, la def inicin: "Logaithmi dici Possunt numeroTttm proportionalium comites aequitliffcrentcs".
(Los logarrtmos pueden ser llamados nmeros equidiferentes que acompaan a nmeros pro-

&\t*

t"^ " ",*i?

Ji

porcionales).

No solmente la definicin de logarrtmo de Napier es diferente de la def rnicin actual, a,'r

sino tambin la nocin de "base" es inaplrcable a su sistema. Para introducir en su srstema \
el concepto de "base", debemos f69 lguns modficaciones.- Si se divide cada nmero

en ambas progresrones de Napier por 10? . el O ser el logaritmo de 1, y as 1 es el logaritmo

de (l - l/10? )o , lr cual es tnuy cL!,c..rro d r' I . ltn l [.:u dul si:tcrrr r.tur.1. Uc lr
qu la base de los logaritmos de Napier, modilrcados como aqu se indica, est muy prxima

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'

i't ' '

t' ''

forman virtualrnete,,en los as llambdos "logaritmos naturales de hoy".

_l

Esas

(Z

rculo que proporciona valiosas notas histr'ics relaconadas con Brgi.

En los valores de n debe inctuine dl;s, para que as tenga log (l0E

(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.

A parttr de la presenocin hecha por f . Caori de los logaritmos de liapier

se podra pensar que ste obtiene su deftttctorr de logaritmo mediante el uso
det modelo geomtrico - mecnico del movimiento de puntos,y que posterior'
mente utiliza las relaciones entre las series geomt rica y aritmtica correspon'
dientes para legirimarla. Sin embargo. el proceso fue precisamente al revs,
puesto que primero mediante el estudio de las relaciones entre las series geom'
trica y aritmtica asociadas, defin al logaritmo y construy sus tablas Y, pos'
teriormente, debido a que el proceso anterior sto le oroporconaba valores ais'
lados, ide un modelo que contemplara como caso partcular a los valores dis'
cretos an(eriores y q.ue le permitiera "hacer continua su tabla". Es pues de es'
ta forna, que resulta, por lo dems, mucho ms plausible, como Napier, constru/ sus tablas. Veamos a continuacin algunos aspectos de tal construccin.l

motiv el uso de los logaritmos fue la

de "reducir" las operaciones de multiplicacin y divisin a las de suma Y resta
Como sabemos, ta idea central que

respectivamente, mediante la identficacin entre una serie aritmtica con una

geonttrica. Por ejemplo, en las siguientes series:
Serie

artimtica:

Serie

geomtrica:

0,

2,

1,

4,

2,

3.

4,

8,

16,

5,

6,

32,

64,

se tiene quernulti,plicar 4 '16 en la sere geomtrica equivale a s:tmar2 + 4 en

la serie aritmrica, esto es:
n

t,,

t6

= 64

.?=2u/

En la serte goemtrica del ejemplo anterior, la razn es el nmero 2, Y por

eso sus trminos quedan muy espaciados. Para evitar ese problema, y oblener
asiseries ms densas en trminos, Napier escogi como razn al nmero,

0.9399999 =1 - f /101
que co.mo se observa difiere en

(f

/ t0'

de ta

unidad.

Con

esa

razn obtuvo la

en -1 S()urc( Boohin rtfathcntatics, l2U0' ItiUU de

D.J. Struik, publicado por Harvard lJniversity Press, 1969;y en The Htstorcal Deuelop'
,(.t uf tltr (.ulculus de C.H. Edvtrds Jr., tublcado por Springer' Vt:rltg, New Yur.' '
lnc., 1979.

Para mayores referencias,consulla;

-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.

9N9 999 9oo

3 . !N9 999 900

99 . 997 000

50-

9.995 001 . 224 804

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,"...

Finalmenrc,su Tercera Tabla formada por 2l filas y 69 columnas, tiene (si

la imaginamos como una matriz, lo r.r) donde f <p Ql V / -(g ( 69) en
la p .sima fila de Ia q - sima columna al elemento ao,, dado por la siguiente
relacin:
op.q

= 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

9 900 473 . 578 0

a. fila

2a. fita

69a. columna

2a. columna
.

000 0
000 0
475 0

B)t 468. 842 3

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,

y entre cada dos de

esos

porcin de 10 000 a

trminos tiene veinte nmeros interpolados en la pro995".

Y por ltimo, para calcular los logaritmos de los nmeros de su Tercera

Tabla, Napier aproxim sus valores mediante un proceso de interpolaciones lineales. Presentamos a continuacin una reinterpretacin de tal proceso.

(l)
I

Esto aparece en The Histon'cal Det,clotntent of tht'Calculus de C.H. EdwardsJr., Cap.

6, p. 146, Springer - Verlag, New York, lnc., 1979.

El logarrtmo naperiano del eleme.tt() que est en ta p-sima lita y en ta

q4sima columna est :

9.*U01 (1

t/200qp*1 (t

- t/t00)s-tl.(t-t)Q.*1101 (t-tM)l+fq_/)qN lt0,(t.t/t0o)l

o bien 2, no usando ta notacin exponenciat, rcndrtamos:

9n (oo.o) = (p- 1) Qn (g gg5 000)

| fq :

i)QN (g g0O 000)

Asi que para calcularel logarttmo de cualquier elemento de su Tcrcera Ta.

bla, le bastaba con conocersu posicin y tos valores de Qn (g ggs 000) y
Q* (9 900 000). Para calcular los valores de tales logaritmos construy sus dq
primeras tablas.

Extrapolando linealmente det ltimo elemento de la Primera Tablai , se ob.

tiene:

(l)

Para comprobar la veracidad de la relacin indicada, basta hacer uso de ta

logaritmonaperiana,asaber,que \. = t^^ siqx= 107 (l

como sabemos, existen nmeros reales s y s tales que,

l/101

)v.

definicion de
Enelecto,Dues-

It-1200) =(l-101 )d y (t-t/to7) =fi-.t/t)P

por lo cual
Q* [707 (1

1/200qp'1

(1 - t/tAqc'' l = t* 1107 (t - t/t7r )(P't)a +(q,,ll=(p.t)a

Asi que solo falta expresar a a y p en trminos de valores conocidos. Como

1/2 000) = (l - 1/101 )o entonce.s o= Q* It07 (l
- tp00ql,y antogamenrc

(l 0=

Q* [101

9.N1101

(l - 1/100)L

(1- t/2000)p'1(t-

Por to que ftnatmente obrcnemos:

1/llTs''

l = (t,

t)1101

1.1/20m))+(q.t)tt0i (t.t/100)

Usando la notacin de Napier.

Enrelidad,noseextrapola linealmentedemaneradirecta*tr etgrerttr&tatabla,sino a piriir e los puntos de ta grltca

f

/r.

t*/ e F,'lr=

101

l1

1/10')'. =0, t,2,3,...,001

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

- 9N(g ggg glT

y extrapolando line.almente a partir

9N (9 995

000)

de

50 (t0O.O0Oqg) =

este valor, se

5 000.024

75

obtiene finalmente,

SLD| .245 06

Del mismo modo, del ltimo trmino de la primer columna de la Tercera

Tabla, se obtiene:

9N(9900473.578) = 20(5001.245) = 10O024.9,

Y

por otra parte,

pN (9 895

523.34) =

!N [/9 900473.58)(0.999 5)l

100024.9 +5001.25

105026.15.

lnterpolando linealmente entre esos rlos ltimos logaritmos, se obtiene:

?.N

(9 90O 000)

Por

lo tanto, el logaritmo naperiarto de cualquier nmero en la Tercera Ta-

100 503.36.

bla, se obtiene con la relacin:

Qn

(op,r)= b - 1)(5 00t .245 06) + (q - t)(100 503.36).

.Yaobtenidaslastablasanteriores,ylamaneradecalcularsusrespectivosloga.rimos,mnstra.mediante un ingenioso proceso de aproximaciones, que su

""..

I
tf
:

l0

modelo geomtrico- mecnico es en efec(o una extensin de su definicin ante.Ft

rior. A partir de su definicin de logarrtmct y de la figura siguiente
Ts

'l

T.l

bl

bo

b1

T,

b3

se obtiene que

u(7") : u(7");; f.S: IrS

posicin T
Y puesto que tanto
u(To) como TS son numricamente iguales a 1A7 , se concluye que u(7'rr) es nu donde

u(Tr') representa a la velocidad en la

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

lo que muestra la completa concarcndcin entre sudefinici) ditrreta y su mo

delo continuo | .

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

=- tdx/x",peto lacambiaensutbladeerratasgor"d- lx=

- 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

Philosophical Transactions, Londres, No. 215, p. 58.

Logarithmo
'l'cchnia, l768. as:Est enim logan'thmus nihil aliud, guam numerus ratinculurutn cctlcntarurn in ratione, guam absolutus guistut ad untatem obtinct.
G. Enestrom indica que la delinicin de Halley lue dada primero por N. Mercator en 5u

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

articulo "Logaritmos", en la segunda edicin (1743)

del ly'eu.r A'lathematt'cal Dictionary de E. Stone, ya que afirma la dependencia de Cotes sobre
Halley teferente a la "medida de una razn",1 cual posee uno que no haya rdo ms all del
Es interesante la siguiente cita del

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

mcdida dc uaa ra:n, a partrr de las condiciones del problema en si..."

"Logaritmos, la medicin de razones", es referido por Saunderson en su,4 lgcbras, y

pbr W.J.G. Karsten de Halle en un importante articulo sobre logaritmos,y porJ.F. Lorenz en
su Elervnte Ccr lluthcmatihs , pero en general. esta definicin careci de influencia en el
pensamiento mtemtico del siglo dieciocho.
Las primeras explicaciones sobre el uso de los logaritmos, consideran muchos casos especiales. Los teoremas log a * log = logab, loga-log = loga/tt,logdn= m loga,
fr-eronestablecidoaexplcibrrente por Oughtred (no en smbolos algebraicos, como qu apare-

ce, sino slo en palabras) en su folleto l)t'actuutiuum affeclarun rtsolutiott,in numtns,

que fue publicado en 1652, en un volmen.junto con su Clau tVathctnutica. La edicin del
Clauis de 1631 no proporciona esos teorems.
El punto cje vista terico de los logarrlnros f ue ampliaio durante el siglo diecisiete con
la rcprcsurrtcirr grjf ica en coordenad.r: rr:ctongulrcs y polares, de un vrit-le y su resl)ectiv variable logaritmo. As fueron inventadas la curva logarlmica y la esoerial logartmi-

(1)
l2l

El.trmino system standard se tradufo como sistema patrn.

K1ein, Uotting Nachichten , 1827, No. 17 y lvluthctn. Annlen, Vol. 4.

187 l, pp. 573 t 25. Es posible

que an anles de Halley, esa idea de la medrla de una razn, hubiera sido concebida por Kepler, pues l habla de "proportio, cjusqucrnntu"a. loganthmus." Ver Kepler, Tabula Rudolphina, Ulm, 1627,

(3)
,\

lll, p. 11.

De hecho, Charles Hutron en su Philosophical and Mathcmaticol Dictionory, Londre,

"Exponentes",menciona
"la iclea de medicinde razone.como maneiada por Kepler, -.
18'l 5, Art.
Mercor, Halley, Cotes, etc.".
Sclect Parts of Profcssor Saudcro's Element ol Aigebra,3a. Ed., Londres. 1171,p. a02.
Cap

,._-L,.--_J

\/

17A.e

.l

I3
l

ca.

La rpresentcrn grfica de funciones f ue penas el inicio hacia el entendrmrento. Es

muy probable que l curva logartmica fuera sugerida por muchos pensadores. Por ello, no
fue posible averrguar con cerleza quien lue su prrmer inventor. Hutton dice lque la curva
puede ser atribuida Edmund Gunter, unque Hutton no pudo encontrarla en los escritos
de Gunter. Muy probablemente, el rumor se debe a la confusin entre la "curva logartmica" y la "linea logaritmica" inventada por Gunler y conocida como l precursora de la regla
de clculo. Se puede pensar que la primera referenci de la curva logartmica fue hecha por
el italino Evangelista Torricelli en una crta del ao 1544 2 , aunque Paul Tannery asegura
que es muy probable que Descartes conocieia la curva en 1639.3

l
I

un trabajo de J. Gregory del ao 1667 t , y.s explicada cla

ramente en la segunda edicin (i690) de un libro escrito por el matemtico frncs C.F.M.
Dechales. En el mismo ao Christiaan Hurygers mencion, sin probarlas, las hermosas propiedades de la curva logartmica 5 ; tales propiedades fueron posteriormente probadas por
G. Grandi y G. Fontana ? . Teoremas sobre l cuadratura de esta curva fueron dados por
Torricelli. Huygens y J. Craigs Esta curva tambin fue discutida por J. Bernoullie . Por
primera ocsin. su rectificacin fue explicada por el ly'arqus L'Hopital en una crta de
1692, drrigida a Leibniz 10. Debemos notar que durante el siglo dieciochor, la curv logartmica jug un papel central en la discusin de la teorfa de logaritmos, y que eso ayudo a ensombrecer ms que esclarecer el problema a resolver.
Esa curv se encuentra en

La curva que es la representacin grfrca en coordenadas polares de la relcin entre

una vriable y su logaritmo fue inventada por Rens Descartes. El l describe en una carta
dirigida P. Mersenne en 1638 t . Descartes no da su ecuacin, ni la retaciona con logarit
mos. L describe como la curva que forma ngulos iguales con todos los rdios trazados

Continua ds l 5rgurenle pgina.

(5) J F. Lorenz, Elctnentc , l. Theil, Leipzig, I793. p. 1a0.
(6) H. Bosmns, "La premire dition de la Clavis Mathemarica d'Oughtred",.4n.r.aks tlt la Sscic'ti 5cinf.

dt 9rurcll,,, T.35, llParte, p.38.

(1) C. Hurron. ,\toth. Tabb:!, Londres, IBl l,lnrroduccin, p. g4.

(21 G. Lorr en Eibliotecamathcmotic,3a. S., Vol. l, I900, p.75.
(3) L'interndtae des mathmaticin, T. Vll, 1900, p.95. Tannery se ref ere a una cart de Descarres.
fechada el 20 defebrero de 1639 (Ed. de oescarres. 1617,vol. rr, carta 71).
J'
{41 GrcEory, (icutne troc Patt urlucltoli, Veoeoa. 1667, Ver Montucla, f{istoire Cts mathc:mctque, ll,
(5)
(6)
(7)

-)
)

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.

mos, es el segundo -slo despus de Descarter en estar incuestionablemente asocido con

la historia de la curva logaritmica. El nombre. rspiral logartmica, lue inventado por Pierre
Varignon en un articulo presentado a la academr de Paris en 1704, y publicado en 1722.r
En lnglalerra, esta espiral llam la atencin de Oughtred, Collins, Wallis y Barrow.2

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

actulmente en lorma loga-

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

y una serie aritmtica.

El folleto de Nicolaus Mercator, el Logarithmcttcchnia, Londres, 1668,

se constituy

como una publrcacin importante. En l escribi la ecuacin de la hiprbola en la lorma

y = | l(l + c),donde 1+ ces laabscisa,yv la ordenada. Por mediodeladivisin,expnde I l(1 +c) en una serie infinita (una empresa novedosa por s misma),

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-

Loria, op. cit., 9.444.

A. Favaro, Bbliothca'Mathcmatica, N.F., 5, 189 1. pp. 23-25.
Kar8opp, "Dre Kegetschnitre d. Gregorrur a St. Vrcenrio", Leiprig, 1907,

Gcsch.

en

Abhandt.

:.

d.'

math. llus. (M. Cantor), XX He{t.

K. 8opp, op. ctt., p.265,Propos. CXXX en el libro sobre la Hiprbola. Una form diferenre de establecerlo se da en la ProPos. CXXV.
pp'
Solutio Problemati a R.P. Marino Mrsen4o propositt,1649, Ver Cntor, op. cit., Vol. ll.2a. ed ,
7 14.7

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-

neoentrelasordenciasy- 1 y | = 1+ 1.1es.095310i81. Repiteesteprocesopar

= .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

integracin, unque nuevamente di los valor-es'nurnricos correspondientes unos cuantos

de los primros terminos de l nueva serie para u = .1. De esa forma obtiene ls vlores de
+ a) da , paraa = ,1. Esos resultrJos se encuentran al final del folleto de Mercator,
-frontl
bajo el subtitulo lnt,cnire summatn Iogaithmorum. Tropfke es de la opinin que el fracaso
de Merctor al escribir la serie logartmrca general, se debi a una prctica an prevaleciente

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.

La notacin exponencial moderna.

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

(1) La gomittic lc Rcn bccarlcs. Nouveile Edition. Paris. 1886, p.2

l2l Chuquet, "Le Triparty", Bullettino Lbn(onpasn;, Tomo Xll, Roma, 1880, p.740.
(3) Harriotlrt analy ticat praxt, Londres. 1631 , p. 156.
(4) Matthiessen, Oruntl:ugc tlcr Anttkrn r.. ,\lolrrtt(tt Algrbro, Leipzrg, .l878. p. 551.
(5) C. Huygens, (L,uvres, T.1.. La Haye. llt88, p. 24.
(6) John Hudlenii, Epist. ! d.c d,ucttone aquatoaum. Amsterdam, 1658. Matthiessen, op. cit.,p.374'

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.

int,olt,riit, un proceso que l llam irr,o,/r,ircrr. Una

corregida y aumentada por John Pell, fue hecha por Thomas Brancker y
La espiral signif ica

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.

Es interesante el siguiente pasaje del Ltnit,osal ritltmctich de Newton (que consta de

conferencias pronunciadas en Cambridge en el periodo 1669-i685, e impresos por primera

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

exponencial moderna. La explicacin de Joseph Raphson de su mtodo Ce aproximacin a

las races de ecucrones numncas, impreso en la edicin latina del .4lgcbra de John Wallis
en 1693, ne ulrlrzs exponentes enteros positivos; Raphson coloca las potencias degencima
de ella, gD , pero en ningn mornento escrrbre, a la maner3 de Harriot, por separado cada
uno de los factores.

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)

Ver C..\Yertherm en la Eibltothcco mothtntatt, a 3d S Vol lll. 1902, pp. I13.126

t'hilosophicol Ttanactons, Vol. lll, del ao 1668, impresa en 1669, p.647
La lJiuersol Arthmctici do Newton, Lodre!, 1728. p.7 .
(Lut,res d l'crmat, Ed. Paui Tannery et Charles Henry, T.l. Paris. 'l 891, p.91. pie de pgina.

l8

stevin y otros, aunque el simbolismorno'd.rno se debe a walris y Newton.

En

infinitorum, Oxf ord. 1656. Walls utiliz exponentes enteros positi"ndices"

vos y habla de
negalivos y fraccionarios.t Aunque no escribe, como ahra se hpor
ce, a-t
l/a . P por vGr ,sinodiceque ta serie l/r/T,t ,f,t/y' .etc.,
tiene el "ndice - 112".la serie 1,4, 9, ... tiene ef '"indice 3/Z" t. Nuestra ciual notacin
contiene exponentes fraccionarios y negativos que fueron formalmente propuestos cerca de
una docena de aos antes. El 13 de junio de.1676, Newton le escribi a H. Oldenburg entonces secretario de la Real Sociedad de Londres, una carta que le fue enviada tambin a
Leibniz. L cart conten el teorema del binomio, y explicaba el uso de los exponentes negativos y f raccionarios:
su Arthmetico

Serl

cxttoclioncs radicum multuttt abbcuiotur per hoc Thcorcna

-F11" = r* + fr
ubi

eQ+

Lr;r- l(+ #

ce+.wL-t-

DA

&

,-i--

P + PQ significat quantitatem,

cujus radi,x,uel eliam dimensio quauis, ucl

adix dimensionk, inuesliganda est; P, primum terminum quant;tot;s ejus; e
reliquos terminus diuisos per pimtnn. E,
+, numeralem indicem dimc-nsionis
ipsius P + PQ: siuc dimensio lla ittteqra st: siue, ut ita loguar, fracta; siuc
affirmaliua, siuc ncgotiua. Nam, sicut analystac, pro aa, aaa,Uc sciberc solcnl

, o', c
pro l/a,

sic ego,

pro J;,

t/ r'

1/aa, 1/aaa, scribo a-t , d2

,/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

ilittturut,t, 116. p. U0, Prur. CVl.

Lasiguientecilaaparecepresenlada 9orf .P. Nunn.en lal!othematica!Gazcttc,Vol. t, 1912.p.255:
"Aqwllo'orr estn al tarno de.lrx traios de J. Wa I lrs, recordarn q ue invent los nd ice s ne gat inos y f rac- |
cionarios'en el curso de us invesligaciones sobre los mtodos de evaruacin oe reas, etc. Enconlr que
i lac ordenadas de una curva siguen la ley y = Lx^, u tea rigue la ley A = ltxn+l n * /J, iend,o n (necrimente) un cntrro poritivo. Erra lcy c tan notablemente rimpla.y tan potnte como mdtodo, quc
Wallis e pregunt i ls rot. en las que ls ordenadas sign ley:s lales como = h/x" y y = l^,,/-r, no I
podran traarse denlro de este etquema. Encontr que la exlensin de es ley podria rer potible si h/x"
re pudiera escribir como Ax', y "Gcomo lx l/^. Apnir de loarnrior. de otrs mucha: nota hirtri.
J. Wll, rith,t'tita

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

1651 , en el que aprcen unas cuantas

exiresiones

como t/ o ll d = R, AR^ x A ll"=.1 2m+ n. I

L leor de los exponentes que involucra valores positivos, negativos y fraccionanos es

explicada y usada libremente en el Anulyst dctnontrcc de Charles Reyneau, Pris, i708. La
I

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.

la iqtaresante pregunla, cundo y dnde tuvo lugar la unin de los

conceplos exponencial y logartmico? Eso no ocurri sino hasta el siglo diciocho. Como
debe de ser, hubo todo un periodo de cortejo. El cual se remonta hasta el tiempo de Walls
En el capiulo XX de su Algcbra, 1685. Wllis desarrolla la teora-de logartimos, iniciando
Luego generaliza tomando las pro'
con dos progresiones 1,2,4, B, ... y 0, 1,2,3, -..
Surge entonces

gresi o nes

1, r, rr, f3, f4 , 15 , r 6, ctc.,

0, 1,

2,3,4,5,6,

ctc.

y en{atiza que "cJoJ cxPoflcntcs llamudos lo.qarilntos los cuales son nmros artif

rcrles, co-

rresponden a nmeros naturales, si como la adicin y substraccin de esos nmeros corres-

ponden con la multiplicacin y la divisin de nmeros naturales". A pesar deello, \{allis

no vislumbr f irmemente la def inicin moderna de logaritmo y us sta.
Continua de la pgina anterior.
(3) lac Newton . Opera, (Ed. S. Horsley), Tomo

lV, Londres, 1782, p.525.

La traduccin del pasaie sera:

de races se reduce mucho ms con el rcorema

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

Gor. Gyl. Leibniii et Jolran Eernoulli, Comnterttutn philotophicum ct mathcmaticum, T. l, .l745, p. g.

Leibnitii e.t Eernoulli, Corn. Phil. t Math., T. l, p. 10.

I
,

2T

ll.

DE LEIBNIZ Y JOHN BERNOULLI 1A EULER

(t712- 1747)

lntentos sin xrto en la crecin de una teorfa de logaritmos de nmeros negatrvos.

XVlll

la lendencia de induciriugru, solamente de un caso especral y aplicarlleg

a ser ms fuerte de lo que haba sido anteriormenle. Esta tenlas a casos generales.
dencia se le llamo en el siglci XIX "El principio de permanencia de formas equivalentes" o,
mejor todvia, "El prrncipio de permanencia de leyes formales". En nuestros ds mrramos
estas extensiones como cosas en las que estamos n libertad de hacer o no, segn queramos.
Si encontrmos conveniente en una investigaoon dada, rechazar nmeros negalivos o complejos y restringirnos a nmeros positivos, podemos hacerlo pero estamos suetos a declarar
nuestra posicin claramente. y mantenerla. En los siqlos XVlly XVlll no hubo un sentido
claro en el que lgrcamente se tuviera la libertad de extender o limitar el concepto de nmero. Nmeros negatrvos llegaron a ser usados libremente, an y cuando la extensn del dominio fue hech con dudas, lo que se demuestr por los nombres aplicados a ell65. iales como nmeros lakos o defectuosos, numen' fictti. Un sentimiento de disconlormidad toda
v ms pronunciado lue hacia o a * b :tales nmeros fueron llamados tma.qtnar.os o
imposibles. Se sntro que la validez de los nmeros negativos y complejos deberaser pro.
bada, no supucsta: eue las reglas de operacin con tales nmerol eran una maleria que requeria de una datnostracin. Asi, los matemticos del siglo XVlll, incluyendo an, hombres de la calidad de Laplace, trataron de probar la regla de los signos en la mulrplicacin de
dos nmeros negatrvos. Las "demostraciones" ddas fueron estrrles, ellas descansan sobre
un silogismo sin un nrayor premisa. Esta diferencia de punto de vista debe quedar en mente en la hrstoria de l extensin del concepto logaritmico de nmeros negativos y compleos.
Ella ayudar a explrcar cmo fue que la controversia sobre este tema permanecrera por un
siglo entero y alcanzara el siglo XlX,

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

Ver Canior, op. ctt. Vol. lV, 1908. p. 79-90.

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

En+nrzo l6 de I712, ontes de la'!paricin del artculo. Lebniz le nrencion el tema

en una carta John Bornoulll. Efa carta suscit una amistoSa controverrra ntre los dos
hombri sobre los logaritmos de nmeros negativos e lmaginarios. En su correspondencia
ellos debatieron :-tlatiuestin drante l6 meses. En este tiempo, eran los nicos intertisdos
f.
en esa guestin;.de hecho fueron los primeros a los que el problema de la exrstenci o no de
logaritros de meros frlgativos les afect. La controversia mostr un nmero de puntos
ms intercsantes y di entrda a conceptos algebraicos que en esa poca no hubieran sido
obtenido .fdcilmente por cualquier otro camino. - - Por brevedad, permitanos que + n +x
indique un''hmero positivo", - n ' - x, un 'in-"ro pgr'tirg", log ( + n).el "logaritmo de
iil- .. :; r-run nmero ositiro", log (-n) el "logaritmo de un niiir negativo", i i n, un "nmero

imaginaio".
Lo siguiente
l
.f.
)

s una sinopsis de l correspondencia

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

ilayo 25,'1712. J. Eernoulli r Lcibniz: Bernoulli rechaz l demortrcin de Lcibniz dc

que la razn 1: - 1, -1 : I c imaginaria, por el hecho dc guc -x tiene un logeritmo.
Tcnemo dx * x = -dx=-x;,porintegracin, logx:lo!(-x).
Lrcurvrlogry
rtmica = log x tiene entonc do rma imtrica rl eje Y, irto como lr hiprbola
'L.

lunli

172.

'

r J. Birnoulli: Leib;riz repre ru lrgumenlo de que log (-2) no exi.

' te. porqG i exi:tiera umitad err igual alog \r/T,una imporibilidad. Lrregh de ''r.dlerenciacion, dlogx - dx= x,nocrrplicable2 I -x. Enhcrjrvalogarfunicr.
'. y : bg x, x no puede decrecer a cero y Gntonct pasar rl hdo oprrrto, ys qu l qrv
.,.no. pyq{9 ort., .l eie Y, el cual i rsinrtico a ta.

:
I

I
I
I

I
I

tiene dos ramls opuestai.

30,

LciUnz

Agolo

.,

'

1712. J. Bernoulli

Leibniz: El ergumento de que loS (-2) no exite, porqu

cxite, no c vlido. Yo niego que log I JT et l mitd de log {-2}, rn
currCo e verdad quc log ,,8 : 112 log2- L dilercrci ,tqu"r,/T
c mcdr
!1i:roporcional entre 1 V 2; :.Eno c medi proporcional cntre -1 y -2. Jro como
bo \,t1 .2 = 112 tos2, as b c tos\4-iijl) : 1t2 toc (.2i. E eci.,
log fi-:1/2 log2 =1t2log (-2). Pando de * x ! -x en una curva, no r nca.
rario que ella corte al cje Y. Ejemplo de ello cr la hilrboh conjugada a.lyas rbrcisa
rcn comuner r ordenadas pottivar y negaliyrs pcro nunc re lnulan. En y = log x ,
unr rrma de curve pasa r la otrr cn rl inf inilo, cuando x : 0, de l mism maner co.
r* .n la conchoide de Nicomedef y otrrs curv?:.

13,

bg y';-no

:_

(1)
(2)

Got. Gul.'tcUnr ct.lofrin Bernoulli Comracium Photophcum

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

diflctcatial oisua pcr n!ncrurn dat diffcrcatolc lojcithm\ et quoo

dc logarithmontm nlura
trac

olct

ct construct;onc

^on

hobcl locum in uacris ncgalv, ut rcpric4 ubi

t l mo*.

a',

lr-.

\\,_

rl

.--t.v

),

\, I r-i' l, v t-:..:'.
'l

,cr.

rptinrr 18,1772. Lrlbnlz r J Srrnoulli: Lo logrhrnor on nnrror rn ogrli5a

. . ltrrfth, cqnpoodlnt nrnrro rn prograln gro*trlcr d. lo. cr,rh rn dnrro p{J.d. a.t 1 ,l otro purdt rr crllquhr n(rnrro polllrc. E.por.rrna log I r 0
V lag 2 - 1. En h progroin gconr{trlcr por trnto limttd, - n trE grdr r
rniir, o lptrt cr.fitr tlrcrrlu proporclorlcr rfl fornrdr. En l rrh t,2,
' 1, b rrrdb propordorul mtr. I y 4 eitrnto +2 conn i . ProlrrFrd..rtr
l mim prograln pomtricr guc contcnc r * 2; cr drlr, nh&t nlor dr
. anmph wt -2 -'2 t r = loe (.2). por tmto, o rxlu rl loe.ritrno dr Q. y tnr
.qrry.. - logx qurrgtlfuchporr= I y :2.nop{J.darrtH<pr
t - -2. Vrto d. otrr rn n ra, l 2 thr un logritmo. .ntorEr l rtad d. art, bgr
ritro .xitr y .r d logrdtrno dr \ff . Prro tF
arm &rro lmpqblr; rr
y
(.21
conccrrrrir, l mltd d. lof
e imporblc rl todo be (il), ltpoe . Otro
purto: rn lr tor?r logrrftmlcr, n. :[f
ertn rprrrrrtdo por (log nl r .
*n
nn
lognh,rlrpcctlv.nEnl;
n
!nrcprcrnttdorPor b3 tbgn.tg*
tivrrrnu; n rtl rrgrcrntrdo por log n : p.ro, lqul a lo qrr rprrrotr <r? tlo
fuy mrrrr dc repracnts a -n brjo lor yr rrcmbrrdor. t{uvrrrnta, Eptndo al
gritetp'a cuc h! (-2) xlrtc, rc rlguc quc lq l/-.2 r l nrltd de &r. pcto lrFa
b rn di. proporciorul ntrc *'l y .2; rn conrundr:

4 {n = (bs 1 + tos {'2}) + 2 = lft toc ('2).

&

I
I

En ata poca, la definlcln y propicdada dc lu lqartmq orr. c.tttio*.

pqitivu s cncontrrbdn bien aablecida, libu do contridur, *to

dc h uola matemtica oxltante, Sn cmbargo,lc nxl*t dt nt*p tgrtio

prwntsbs probloma; por complo, cuando Lcibnl kma qn l. pryHet
1 : - I : : - 1 : 1 a lmpulblc paro "manejeblc", 6 mxtrlrldon c4rr b lnttr-

prain & lu proporcont pera nmerq pxty Phrd, ttldo at lq

gttivu, yt quo no a pulble concabir quc .lgo tt.yor .nt dgo mlrtor
lgrtl t ttgo menor cntrc tlgo mayor.

Por otra psrto, perE iottrar quo cl logaritmo de la

Wya cn la roo<ide de log (-l ) y en la lgwaldtd:

t*
a

run - I : I rro.xrtt

i
j
j

i
I
I
I

I
I
I
I
I
I
I

i
I

loe

-/l = tos (-l):

log

(1)

los

l-l)

Htes (tuo Gn aa lgualdad at etticendo la rtgla'dcl togeritmo'do un *

citttttt, otttattditJu uttlun tlo para ttnrcrus ptxitlvu. Ttl ditgcl't hu/rem
do cviuda va la ldenficxin de le ran -l : I y cl nmcro -l
rrt-ta
-attrc
mitma
c
lncluto
con
ol
utablecimicnto
lt
igutldtd
dc h
awcic
do
t*
t,no on la cntcndcmot

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

como un obstculo en la extensn del conceoto de logaritno a cantdades ne

gativas.

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.

Posteriormente seala una "contradiccin" t se rupone su existencia;

para ello dice: 'Si telmente existiera el logaritmo de -1, su miad sera el log*
ritmo del nnero imaginaro ,/:l
, una conclusin que considero absurda".
que
la existencia significa para Leibniz -fuera de interpretacioAqu notamos
nes filosficas-- , la conserucin de las propiedades de lo establecido oara los
positivos, algo ai como la presenca de un cieno orincipo de.oermanenciasegn el cual debern ser heredadas a los logailtnos extendidos, la propiedades
de los logaritmos para nmeros positivos. Sin embargo,la obj*in anterior se
sustenta no en argumentx matemticos, sino en considerxiones de carater
metaf sico, puesto que en princioio, no se puede imposibilitar que log 1/-t- sea
real como ! lo hace. Pan justificar lo anterior se elude a argumentos como:
es ms natural que un inconcebible sea tambin inconcebible.

A Bernoulli no le preocupa;y no acepta, que la razn 1: -l - 1:1 sea im+

ginara, y da otro argumento a favor de su posicin:

de + = '4
'
-x se obtiene
x
por integrxin que log (x) - log (-x) ,lo que coloca a los logaritnos de nm*
ros negativos como reales. Por tanto, la curva logartmica tiene dos rama simtricas con respecto al eje
.Y.

La respuesta de Leibniz es anloga a la realizada en un principio de la dis'

cusin, pero ahora con la cantdad -2, es decir, log ,/--2 = tn tog (-2).
Bernoulti rpq la gualdad, aduciendo que {--2 no es media proporcional
l2log('t)+ t2toq ('2)
de-1 y-2yquetog
= t2tog (-l)('2)
= t 2 tog (-2); es decir, log
= | /2 tog Q) = 1/2 tog ('Z).

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

Novierrra g, 17 12. J. Benouli Loibni: Eernoulli le dico quc l rrc rc ndc cn

u lti.
m cn que pruebe lr imposlbilidad de log (.n). El admite qu no hay trunrcin de
un rie (9eomtric) de rrminos po:itivos una de trmino negativor y
(-n)

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.

+n. EI reitera gue log n = log -n. prra pro.

liene do ramas. l usa la hiprbola rectangulrr pOGpqg y conridera
sF y EH proporcionares a las dreas hiperbrrcs RSop y REGp. sean pR y GE cons.
tante y FS variable. Cuendo S toma el valor T, FS e lnfiniu y cl Irea e infinir.
micas e srguen tanto para -n como pra

bar que

= log

_l

(1) Hoc unua

.

ut osreadas non doi traaitum cx eti t'acor1tm affinna.

tiuoum in teriim ncgaliaorum, hoc cst, atrupla uitatc (aempc * 1) pro iitb crki nutncrourn, nu .
llum nutcrum ncgatiuum cr illo cric inucniri pottct adcoguc nullot corum logaithmot hoc cosu rritnc;
guod guidcm non n.go. Scd hoc ,to ;7nPcdit, guioainus aunai acgativi arnm pcculbcm conttitunt
tcricm, utupta pro contm iitio unitale ncgatiua, (neapc _ l),
ef/i'cis omabut Tuk argumcis,

I
i

27

Ahor bien, de cuerdo l mima lcy de generacin de l curv RFH, permitrmol cl

.yance del punto S hcia c (lpuede impedireleT) . El ree obr Re cr prrcialnrntc
* yparcialmente - ,cigurl aEPIel reaBEGPJ',cundoTE =Tc. Tenemo
por trnto EH= ch . Similcrmente, i T =TS, rntonce l -SF. Gonerlndoe l
l rma hfr l cul, con HFB conrtiiuyen un! curvr logarftmica. SiTB = +1. Tr= '1
TS- + n, Tr:-n,.ntonc5SF=logn. f =log('nl. ComoSF =rf,debemo
tcner que log n = log ().
Enero de

1713.

r J. Bcrnoulli: Suponiendo 7= x,ri x: I cntonc r=0,i

= 1. Cuando.x = -1, c no puede detcrminere.

Leibniz

x =2 cntonces c

Febrero 28, 17 13. J.Eernoulli .t"tniz' Si en vt: xuponemor x=2 y G =l,l!m'

bin x :1. y c =0,cnloncr,cr.ndo x:.1 verdsderamentenopueder:ignrrele
valor alguno ! e. Dado que etas rupo:icione on rbitrurias, cmbimola de ll
uee que cuando e = 0. x= -'l , cnloncrr c puede determinare parr cuclquier . x.

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

-1, +1, \/1 , {1 ,{lT,

2o tne un nmero infinito de rigniliodo, ber:

crc. Arnenosque20 eamultivaludatendrcov..

lores. Si 2 0 : * 1, ntonce 2 0e univluda y no rurge rl dif icultad. Tcrcero: i

x . = -2, x2:+ 4,geroenatrnsicinde -n ! +n uited mimo l rechaza. Cuarro:

Si log (.n) er real, cntonceJ log \-es real;

nrneror imposiblel tendrn logarit.

posibles. La suporicin de gue olo * n liene logaritmo nule csle problema.

Ouinto' del inicio usted admti qu no podemor lener 2' =1 yT= -1 l mismo tiem.
po. Pero si usted pone 20= -1, enlonce (2 9l= 2 = * 1. As, 20- 1 y 20 = .'l ,
mos

para

e:0.

Lo cual e contradictorio

u ruposicin.

Todo lo anterior demuerra que ru hiptesis concerniente a log(-n) er !nlinatural, in.

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

(') Nots del traducror.

(1) Ex quiburialclligetur,inQsrci

Analyticac fundamcnt aliquo adhuc ncgleclafusc,

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.

Segundo: yo niego que 2o

zo

ri x' =.2,enlonces rlt= +4. L crrva logortmica demue.

que
no
e5o
es verdad. Do veces log (..n)'no es log n . La tercrr progorcional de
1r
.n es obrenida de -l : -n = -n : x. Ai, i x' = -2, ntoncsr x2'= (.211-2) :.1: r4.
Terceo: urtede dc que

Conecuenlemente no hay cruzamiento

de -n

Cuarto: mi definicin de media proporcional de -n no permite llegar rl bsurdo reulta.

do de que rn riene un logaritmo posible.

20 = 'l , entonces 22'o no es igual a *'l ,rino a (-1)(-l):-1 =.1. Por

tanto, el resultadoabsurdonoprovienedeque 2o reasimultneamente+ I y .'l .

Ouinto:

sr

i
i
I

3. Leibniz a J. Eernoulli: no tengo tiempo para relutar rus obieconer a m

doctrin que e5tablece que si log ies imposible, que el doble de imposibles es imposible
que log n es el doble de log J;
Si usted rupone logaritmos en lo5 cuales esto no
es as, ellos no tienen ningn significado para mi. Llamo ms natural, no al que er
ms usual sino aquel gue ert ms cerca de l naturaleza y ci ms rimple.

Junio 28, 17'l

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).

y J. Bernoulli no pudieron ponerse de acuerdo sobre log (-n),

ya que ellos diferian en la definion de "media proporcional" y "tercera proporcional",
cundo se aplicaba a nmeros negativos. No hay necesidad de nuestra parte para introducir
en un minuto la discusin sobre la valdez de los rgumentos presentados. El argumento de
Bernoulli involucrando reas infinitas entre l hiprbola y5us asintotas fue duramenle critiEs lcil ver que Leibniz

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

mayora de ls veces con el concepto de la exponencial como se ha expresado en la notacin

exponencil del presente tlempo. Leibniz hace poca referencia a la geometra;J. Eernoulli

(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

ll, Geneve,1778. p. 19.20. Ea dcmostracin fuc rcsprada por Johann - -

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.'^

Su construccin de la curva logarttmica para cantidades positivas como

gativas en notacin moderna, est dada por la siguiente funcin:

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.

Conttnua de la pgrna anlerbr.

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

Schulu, Vrsuch ciner geaauen Theoric c Unendlichen, Konrysctg

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

Trans.CambrrdgePhil.Society,Vol.Xl,Partet.pg 158. Estefuetraducidovpublicdopor\YiW.John

tonenel AnaMst(DesMoines,Vol. lll, 1876,p 103). VerCajori,Tach.uHutolMath.inU..1890.
p. 379.

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
)

en el contexto en que Bernoulli lo usa, dicha diferencia es cero.

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.

A lo largo de la correspondencia Leibniz - Bernoull,se puede notar

que el

nivel de discusn es completamente diferente, los argumentos de uno no son

"entendidos" por el otro quien ms que contra-argumentar o sealar contradicciones, da una respuesta inspiradaen su conocimiento anterior,en su filosofia e
'incluso en las deas preconcebidas que sobre el tema en cuestin se tienen. La
diferencia esencial radica en que mientras Eernoulli tra de hacer una extensin en la funcin logaritmica a partr de la suposicin log n =log (-n) confeccionando en el camino las "reglas" de operacin que considera "arbitrarias" en
tanto no le produzcan contradcciones y le eviten considerar nmeros comple.
fos, Lebniz, en contraste, se nega a dicha extensin, sin proponer otra, y en
consecuencia se limita a sealar las contradiccines generales por la extensin
de Bernoulli con sus concepciones filosficas y con sus conocimientos matem-

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

Otro problema es la ausencia de un mtodo de validacin afn a la comuni.

dad cientfica, mediante la cualsea posible rliscernir si una nueva teora es aceptada o no.

Esta ausencia de mtodo tampoco es gratuita, el problema de extender los

logeritrnos a tnteros negarivos est dentro d' la misma teora matemtica sin
)

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

orden estrictamente terico, como el que aq+t tratamos, $e hace necesaria la

construccin de "herramienta de validacin" que garantice la consistencia interna de le propia matemtica; este proceso de construccin se presenta en el gerado al cual nos referimos y en l enmarcams la controyenia.
Continuemos con los comenbrios. de Cajori:
Existen olras investigaciones

qr. ttu*.n nuestra atencin.

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 )*

despus de la muerte de Cotes. este

artculo fue publicado en su Harmonia

,flerLsuatun El introduce l "medida

de una razn (mensura rationis) el logaritmo de la

razn, multiplicada por un constante o mdulo. Como Braunmhl sel, esta "measure
of a rato" lue por largo tiempo perdida de vista, pero fue nuevamente introducida en el:iglo XlX. Hemos llamado la atencin al hecho de que Cotes misrno fue anticipado por
Edmund Halley en el mismo modo de medir la razn.

i
I

li

Sin detenerse en explicar cmo "la medida de la razn" figura en la derivacin de la

frmula de la Cotes para i g ,su proceso puede escribirse rigurosamente en nolacin moderna como sigue: el rea de la superficie generada por un arco de la elipse b 2 x2+ a2 y2=a2 b2 ,
cuando se gira alrededor del eje Y y tomada entre los lmites y= 0, y = y puede ser expresada en dos caminos. a saber,

S:arff
S

a?rlY

a2b4

b?

fi:Hr.#,1

log (v

.*s-'lr

,.*+r

donde

--._
(t)

obtuviera c5te relacn f ue diclo por Timtschenko en su Histoia dc b Tcotta dc Fuacionct",

tigS IRusia], p. 519 .522. Tambln e enfatiz en un artculo de A. V. Brunnmhl en.Bibof hcca *{a'
thcaatica, 3d. S., Vol. V,'19O4, p.355.365. lCmo et po:ible quo un tcor6m. to lmrrcrtanto frcrm.no'
cn qtr Corr
cer en los ecrito de Cotes por 185 os in er delestado?, podra inferirc por lr mrncrl
tiauaqut '
X
habcot
C
dctcriptut,
riauttt
CE
tadio
"Nem
quadraatu
guilibct
atcut,
tit
cculi
lo cnunci:
XCV'1
EX
crt
atioa
r,tcr
po
arcu
Modulo,
adium
CE
conglchcndi cd guadrantcm XE; sumcado
ct CE mc.l.:xn ducta i nfT ",
a :
Oue. Cotes

i
,,

32

2-

=iy

sen9=y

b4

h2

, cosg =

I +

a2

'.b2 ,rl

b{

Comparando las dos expresiones para S. tenemos:

ig= log(iseng +cosg) "

Mientras John Bernoulli I se anticpaba a Cotes al.establecer una relacin entre el logaritmo de un nmero imaginario y una fincin trigonomtrica, Cotes, a su vez, re anticipaba
al mundo matemtico en la derivacin de i g = log (cos 9 * i sen ,p ). Fue mucho ms
tarde, en una cart de ctubre l8 de 1740, que Euler le afirm John Bernoulli I que

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.

Por otro ladc, ni Cotes ni Euler en su Introducrio, ha

cen intento alguno pra usar esla relacin en la discusin de la teora de logaritmos de nmeros complejos. Ambos estaban enterdos de la periodicrdad cJe las f unciones trigonomtri

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.

La teora de logarrtmos de nmeros negatrvos fue lratad incidentalmente por Euler

muy tempran edad. en su correspondencia con John Bernoullr l. La correspondencia entre
ellos que abarca desde 1727 hasla 1731 ha estado en posesin de la Academi de Ciencias de
stocolmo y, por frrrmera vez h sido publicada completanente por G. Enestrm en i902t.
Una traduccin del original en Latn al Alemn f ue relizada por

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

logaritmos se ref iere:

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.

Enero9, 1728. J.Bernoulli aEuler:

_)

1728.

Euler Bernoulli: Tengo argumenos simultneamente a favor y en

conra de la igualdad 1, = !(.x). S; ?xx = , tenemor 1/22=9\f;.
Pero .fii
'= (-x).
e5 tanto -x como * x. As,1122 = Q ;<
Se puede objetar el que xx tenga
Q
dos logaritmoi, pero si e afirm que tiene cros se debe afirmar que tiene un nmero in-

Diciembre 10,

finiro

Argumento en contra: De la igualdad de las deferenciales no podemos inle-

rirlaigualdaddelasintegrales. Porolrolado, l(-x) = Px *!(.1);as P(.x)=! x

1.por
? ( l) =0. Nuevamente.s, Qx . Q(.1).entoncesx=-x y,,/-a=
prenso
que
puede
concluir la igualdad de
lo que
de la igual,3ad Ce !os logarrtmos no se
los numeros Su exprq5 uara et rea de un seclor circular2 de radio a es:

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.

piensa usted de estas contradrccrones?

1129 J. Bernoulli a Eulel Cuando yo drgo eu I = t ( x)se debe etender

corno ?.(x),yno Q(-x). Entonces. Q (*)l 'esred,:.erL, \1.*ta)e5,magi.
narro. El area del sector circular es cero. cuando x = 0. oor rrrs aue 1 sea rgual a

Abrl 'l 8.

un cuadranle. Sea la conslante O un cuadrante. enlonces uotlemos escribir el rea del

secor en general como
)

-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
;

))

En este caso debemos

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)

Pottet quidem objeci, xx habcrc duos logarithmos, sed hoc qui

)i

-l

O.

a31,

lere outtliafinitos adjudicarc dcbc-

rc l,

(3)

Para laciliar la derivacin de esta expresn, nota.mos que:

ru'-

*'l-tndr=-i f

u'- a2ft ndr=i

tog {x

:t;1[,:;il;t_l

+tF-T\ +,

;,"_,,,:;,':;]

J'

I
,

34

lvlayo

, 16. 1729

Euler

J. Eernoulli:

L drf erencra enlre

I (x) y ! (-x) no me es clara

La ex gresr on

aa P (\
a t/-t

consrCerada como constante, a

'I

mf se me presenla como creciente pueslo que para

nulo. No veo el por qu nO debe agregars. Si n ouede ser

ser 1/4 o cualquier otro nero. Serfa superf luo el demostrar

0 se tiene un sector

/2, rambn puede

que

4 \/.

nLil$1
x-y v-

representa un sector, si slo nO es suficienle para representar cualesquier

guno de nosotros debe caer en paradoxismos.

En esta correspondencia entre John Bernoulli I

y L. Euler,

seclor

Nin'

Bernoullr sostuvo el punto

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

diferenciales, la igualdad de las integrales resultantes. En su ar!umento sobre sectores de

rea (abril 19, 1729), l confunde integral definida con la integral general. Su distincin

entre Q (-x)'2 y 9 (-xtn ) no es clara.

ser ! (-*)t a , cuando x misma es positiva.

Tal vez, signif ica sumplemente

que I (-* ''

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,

nErpsdosdefinidores de multiplicacin, a saber. un producto vectorial a x b, y un producto

b.

escalar a

nemente?

La cuestin a considerarse es, ipueden usarse las dos definiciones simult-

ZPueden tomarse las dos definiciones sin que den una

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.

Previo a la correspondencia Euler - Ber-

se hban sealado.contradicciones reales en est

:

teora.

Fue Euler quien di el

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

inito de vlores. Pero no persigue esta idea hasta tiempo despus.

La frmula utilizada en nuestros das, para expresar el rea de un sector

--

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

El comentario de Caiori en retacin a

la

carta de Euter

del l0 de diciembre

de l72E (ver pie de pgina correspondiente a la carta),es que la frmula deBernoulli

se puede obtener

cos 0

I
I

a travs de las siguientes consideraciones:

= :d

0 = arc cos

x
a

, diferenciando

I
,

!
I

do--

dx

yx, -a,
I./-:---a-

(')

La qurvalencra enlre la frmula de Bernoullr v A(S)=

=a cos 0,Y = asenS ya'0 =aord * r sen .

cones

.^7
A(s) =

,"pueCe hacer pur rrredro

i,* til#l=*,* (:r.frf*-#l)

= i+,"n {$" I =f os e'|groe e-'0

= .;4, J,o -(-i

o)l:;

-2
a2d
osc , ,on (-lll)
, ,_iy t - 2. =A(S)

rJe las

considera'

36

La

funcin u)= arc cos t/a tiene invena en el intervalo cerrado

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:

I du = rea del secrcr circular.

Or

en el cambio de variable

por tanto, para

d-:

, los limites de integracin cambian,

t = a cos 0. Puesto que a cos 0 lo - -

-Lu) = o, t = ,, , Lr*T:it.

hemos representado como x se tiene:

g.l--- futol8'
oJ a" \fV-=7 -

e = fuor

1.

l,onr*+r/x, -a, )- ]rosu

pero y = {

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,

= 7. tos x + ..iv + -1- tog a, _ Jbg,

t
x-ty
2t

2i

roe,

,ff

rosJ,

sg

ros,

37

_t

x+ iv
- x-ty

toQ

Por tanto, el rea del sector circular estaria Cada por:

a1 o

4i
"

x*iv
loo
"
x-iy

Creemos entonces, que

Bernoulli estaba atterando su resultado, aumentndo'

le arbitrariamente el sumando nO.

LA UNION DEL CONCEPTO LOGARITIICO Y EXPONENCIAL.

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.

Tropfke nombra a William Gardiner como el pri-

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 def inicion es la siguiente: "El logaritmo comn de un nmero es el ndice de

la

nmero". Es prcticamente cierto que la definicin no se

debe a Gardiner, sino a William Jones. "La explicacin de las tablas", dice Grdinet,"...
Yo he recolectado completamente de los rtculos de W. Jones, Esq." Maseres I . quien reimprime esta "Explrcacin" en 179I, atribuida entermente ella a Jones. El profesor W.W.
potencra de

i0

et cual es igual al

Beman, me informa que la exposicin de los logaritmos de Jones, como se haya en su

Synopsis palrnunctratn matheseos, 1706, estaba bsada en el tratdo de Halley de 1695, pero
un artrculo pstumo de Jones, publicado en la Philosophical Transaclt'uu en el ao 1771, da

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-

ponenle frccionario, explicacin rara vez encontrada en los tratados de matemticas de l

poca.. Que l nueva definicin de logaritmo estaba en cada camino a un escaln de avance
h srdo puesta en dud por algunos

escritores. Lo cierlo es que ella involucr dificultades

internas de naturale za seria.

(1)
(2)

Troplke, op. cit., Vol-

ll,

'1903,

p.142, Noa 576'

38

HISTOBIA DE LOS COIJCEPTOS EXPONENCIAL Y LOGARITMICA

ll

l.

La creon de un teora logartmica de nmeros comple.ios por Euler.

(r7 47-r749r..

Es deseable mirar atrs,'pbr el momento, sobre los treinta

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.

Su discusin se llev entermente a cabo por crta; la correspondencia no fue pu-

blicada en esa
I

poca.

Ni artculos ni memoris sobre la controversia llegaron a imprimirse.

La cuestin no habia atrado la atencin del pblrco matemticcj.

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

en 1745 cuando complet su manuscrito

1s5 os ms

tarde.

sobre

el

In*od.q.tio.,

el cual sali de la imprenta

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-

bre el tem, el ao en que los escribi y el ao de su publicacin. Las primeras dos. ya

las

revisamos.

(1)

l'roru c'c-lbcrt.

Cot. CuL 'Lcibnitf

Lousane t Ccneuae, 1745.

et Johan Bernoutti commercium philophrcum et mathematicum.

39

Tiempo

de

Escritura

I 745

1727 - 29

I 902

Correspondencia Leibniz - John Bernoulli

l.

Correspondencia Euler - John Bernoulli

2.
3.

lntroductro in analysin de Euler

17

Cartas de Euler a D'Alembert

t747 - 48

Articulo de Euler "Sur les logarithmes"

t7 47

4.
5;

Cartas de Euler a D'Alembert

Publicacin

1712 - 13

0.

T iempo de la

45

I 748

1886r y 1907
I 8621

Dic. 27, l74B

Ene. 3, 1750

Julio 26, 1763

I 7694

Dic. 20, 1763

lg1lr

6
7.

Cartas de Euler a D'Alemebert (Feb. 15 de 1748)

Feb.J 5,

Artf culo de Euler "De la controverse entre

Mrs. Leibniz et Bernoulli".

t749

I 751

8.

Artculo de Euler "Recherches sur les racines

t749

l75i'

imaginaires".

748

De l carla de Euler dirigida a D'Alembert de abril 15 de 1747,escrtla en f rancs, se ve

del conlexto que es una respuesta a un argumento mencionado por D'Alembert en otras carts ahora perdidas. La correspondencia entre los dos hombres en ese tiempo, parece haber
sido bastante animada. Damos la sinopsis de cinco cartas escritas por Euler desde Eerln.
Abril 15, 1747. Euler a D'Alembert: Yo debo oponerme a su argumento de que elpuede
lener un valor positivo y uno neg4ivo. Yo admito que el valor sea arbrtrarro. diga'
mos l0 2718
,perotanpronocomosleasignea e en y=e',unvalordeii'
nido, el srrlema de los logaritmo de todos los nmeros es liio, as como la curva y= '.
No e le puede asignat a

. simulraneamente, dos valores dilerentes sin hacer que

la

(1) Eullttino Eoncomporni Vol. XlX,'1886, p.'136'148

(2\ E. Lampe in Fsrschr. x. Fcir. d.200. Ceburittages L. Eulett, Leipzig und Berlin, 1'J07, p. 125'135.
(3) Euler , Operc Posthuma,l , 'l 862, p. 269.28'l .
(41 D'Alembert, Oputcules Mathcttatiqua, Vol. lV, Paris, I768, pp 342-343,146, 162.
(5) 8blothca Mathematica, 3d.., Vol. Xl, 1911, p. 220-226.
(6) lttml le l'ota,lem. tlc c, d Brlin, Vol. V, 1749, 1741 ,9.139 179.

(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

r "imposiblet", ningn valor de x puede er encontrado el cul haga

c, | - xl1 * xxll.2 + ,..negativo. Austedtepareceparadiicoque
q y = I (.y}, pero para cualguer vator de a tenemos dl ky) = d( la v) en parlcular
gata a =

-'1

{ i=

Elargumento por el cual usted prueba

0; puesto aue fi'

qu"
Zg\/-.7. 1/2loS( +l) y 9\fi
g

fi

que t( 1)= 0

= -1; ured riene

= l/4 log(+ t = g.

lfi+

le permte probar
? ("1}=

V '

Utedadmitiruelo

logaritmor de nmeros imaginario: no son reales; de otro modo (l

podria expresar la cuadratura del crculo. Sea ( { l[-.ltX/ -1'="

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

imaginario. porque e (+1)= 2Q (-l)= 4 ? {1

= 3l ('1 +G i2= ... E.
10 es exactamenle lo que afirmo, para Q ( +l) hay un nmero infinito de valores dife.
renres, de los cuales todos son imaginarios a excepcin del 0. Si Q ( + 1). 0, r

_:

A,l , ,8,...,

I
I
I

1l2a ,112 1,1l2E,...sonloslogarrtmostJe.1,

porque se tiene 112 P = a ,1/2 6 = A

Similarmente, para los togarirmos
de las rarces cblics de la unidad , puedo dar los valores ac'tuales. Pem'Iamo que
,f sea la crrcunferencia de un cfrculo de radro unitario, los valore de log ( + ll on. 0, -

*i

entonces

rodos imaginarios; no toda mitad de los valores de 9( +1) es un valor de Q(.1);por.

que .l es slo uno de los valores , { +l . Elotro valor, * 1 ,liene los logaritmos
1/2 'O, 1/2 0,1/2 6,..., locualessonlosmismoscomo0, a , ,I . .8 ,...

f
!

,r{1- . t zttfT. xgnlfi,...

Losde Q(.1}son: + t/2r{l.t3t2r,f
t 5/2 t[1, . . . ; En general: Q(1o = z (mp +n) r/- l, lt-ll' = t 11l2p+-p

_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

acuerdoalafrmula2P(.1)=Q (* 1)= 0 endrfamorque {nfl=0 y 9.112f.f +y[

= 0. Usred dice que en e'= y, y puede ser positiva como negaliva, cuando x = 112. Pero,puestoquee'represenlael valorde laserie 1* x* x2/fi' 2) + ... Yome.
apoyo f rrmemente cuando digo que e' manliene su valor, el cual es positivo. aun cundo
x

es

lraccionario.

Los logaritmos de nmeros negativos e rmaginarios han estado

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

e'comoel valordelserieexponencial, I +x *x2 /(l .2) +...,

yconellol tomaun

punto de vista, el cual desde entonces, ha encontrado adopcin en la teoria de funciones.

I

L:

respuesta de D'Alembert a la carta de Euler no es conocida. Puesto que muchos de los

resultados de Euler, en la carta anterior, fueron afrrmciones sin demostracin, no es una

sorpres sr D'Alembert no estaba

convencido. Alguna idea de la posicin

de D'Alembert

puede entresacarse de la sigu iente carta de Euler.

Euler a D'Alemten: En su artculo sobre integrales, recientemente publicdo en el segundo volumen de nuestrarmEmorias, he boriado el prrafo sobre [('x),.'
como usted lo sugiri. Su afirmacin de que P(-x) puede desarrollarse en una serie cu.

Agosto

19,1747.

es rei,.me es incomprensible. Cuando usted dice que e debe ser consrderado,

no como un parmetro de la curva logaritmica.sino la ordenada cuando x = l, que por tanto, e puede rer tanto positiva como negativa; entonces yo puedo ef irmar que la curva logaritmica no slo tiene dos ramas, sino cualquier nmero de ellas. Si x- t(+ y) y
x = Q(.yl producen dos rmas, entonce5 la ecuacin diferencial x = !(my), que es la mis'
m paa todo valor de m, forma una rama para cada uno de lodos los posibles vatoref de
m. En e' usted toma x = k/g. donde k ig = ,., nmero mpar =un nmero pat Con'
igual derecho podemos tomar k *g = un nmero par = un nmero impar, oitual a un nu.

yo valor

un nmero impar, de tal forma que se llega a conclusiones discrepanles con'

lo: suyos Sus argumentos fallan al establecer Q(+x) = Q(-x). Con respecto a tSlJAa1,
yo rostengo que no puede lener olros valores que 1/2(4n * 1)zr, donde n es cualquier en.
tero, .lt la circunferencia de un clrculo de dimerro unitario; de aqul que la lrmula nun'
mero par

ca puede ser cero. He enviado a la academia una memoria

I

!
I

que, me parece, elimina

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)

afirma que el cero perrenece a los logaritmos de

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-

Me enier a traves del seor Maupertius que ha .

suspendido sus investigaciones matemtics a f in de recuperarse de su mala salud No'
quisiera. por tanlo, molestarlo con 3suntos sobre loganlmos imaginarios. Prcticamen'

Diciembre

30,1747. Euler a D'Alemberl:

'
,' 'te no hay nada que aadir a lo que antes dije.
resuelva odas sus inquietudes.

Yo dutJo que mi artlcuo sobre el ema,

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

nidad de puntor aislados y no una curva continua. y =

nua sobre el eje de lar x y pun or aislados por debajo.

x1

/(1.2)

+. . ., adoptada

par este cambio de

da una inli-

representa una curva conti

e' como la suma de la serie I * x *

en su carta de abril 15 d.e 1747 El no menciona razn alguna

Es claro que Euler retrocede en su

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.

Es mr esperanza con la presente investigacrn, el poner en orden en la controversia

sobre los logrrtmos de nmeros

negativos.

Revisndo los argumentos de Leibni y John

Eernoullr. Euler oUserva que las objeciones de Lerbnr al argumento de Eernoulli _que

l(+ x) = !(-x)
contrar

puestogue d! x=d !(.xl = dxlx. sobre la basedeque la regla paraen-

se cumple slo cuando x es positrva

sacude los fundamentos del anlisis, cu-

yas reglas de operacin son tomadas como generales y aplicables a cantidades de toda clase.

El error de Bernoullr estriba en afirmar que lx = ll (-x) basndose en que dQ x = d Q (-x);

el mismo argumento estblece el bsurdo de que Q nx= t x. La afirmacin de Bernoulli de
Xt-e la curva

_1

(1)
tll

(3)

logarrtmica es doble, involucra el argumento justamente menciondor

!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

asntota5 a la curv logaritmica es un drmelro de eila, diciendo que dx

=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

custin de ia duplrcidad de la curv logaritmica no est necesariamente conectada con la

cuestion de que si Q (-x) es real o imaginario. uler def ine al logaritmo, si x = Q y, en-

I
i

tonces

y= e',

e siendo una constnte.

I
I
I

"Por lo tanro, el logaritmo x de un nmero propuesto igual a

exponenle de la potencia

de e

que es igual al nmero V

no es otra cosa que el

".|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

es inf inrtamente pequeo, entonces (

tmente no es una verdad general.

"Pero. en lo que concierne a la ambigedad de la frmula ex , en el caso donde x e
una fraccin de un denominador par, yo no se si se le pueda admitir en los logaritmos PresIo que. tieniendo en cuenta la naturaleza y uso de los logaritmos, parece que a cada logarrt.
mo slo puede corresponderle un nmero". lp. 27al .

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:

"Toda la cantidades ron igualer entre ellas"

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)

no es cero, este debe ser rmagrnario. Entonces

e, si como de sus dos races cbicas imaginarras. Pero Bernoulli hizo un bello descubri-

44

;que conduce que ptt.t debe ser imagrnarro y que

no puede ser verdad. Si permitimos que !(-l)-= p ,g imaginario. encontra-

miento de que

9\ = 0
mos que !
corrnantes.

2Q

{-l

tr,t

= ! (+l) - 2p= 0, lo cual es contrario

que ! y'L : 0.
('1)2

a la hiptesis y se debe concluir,

"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

de los logaritmos esuviera completamente llena de contrdiccignes, que fuera imposiUe de

encontrar una concilfacin ". b.275ll

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.

"Esta explicacin me Parece extremadamente paradlica e insostenible, sin embargo,

meno absurda que las contradicciones que yo hubiera estado obligado a admirir en la teora
de los logaritmos de los nmero negtivos e imaginarios" lp.276l .

Pero el pensamiento

frtil de Euler no hab extenuado

todas las posrbilidades; y surge

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

irmar que los logaritmos de nmeros negativos son

imaginarros. El prueba sus resultados con productos, cocientes y potencias de nmeros poaf

sitivos, negat;vos e imaginarios, y seala:

".. uno enconrrar constantemente un maravilloso acuerdo con la verdad,,. (p. 2g0).

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.

donde m y n 5on cualesquier enteros.

Srgurendo la hrstoria de los logaritmos despues <)e 1 z47. el lector no debe olvdar que el

artculo precedente de Euler no fue publicado hasta l862 De haberse publicado en el

tiempo en que fue escrito,-hubiera contribuido. sin ltrgr duda, a una conciliacin ms r
pida en la gran conlrevg5i. Como veremos. Euler reescrrbi este artculo y prepar uno
ms la,go y exhaustivo, aunque en cierta forma rnerros convrncente que el publrcado en las
memonas de Berlin, en el ao de

recfa.

1749.

EI artculo rte I /47 no recibi l atencrn rlue me-

exr:terrcral. Lampel es de la opinin

de que et rticulo de ll47 es el que se publico en 1749 Felix Mllerl af rma que la publi'
ccin de 1862 es una continuacin del artictrlo de l/49, alirmacin vista como deseclHe
por cualquiera que haya leido ambos articulos 5ur9e 'a pregunta interesante: LPor que no
Cantor parece que no estaba enteradc de su

fue publ,cado et prrmer articulo inmediatmente desnus de ser enviado a la academra de

Berlin. en lugar de ser aparentemente hecho a o latlti par una publicacin postuma? Podemos solmente conjeturar las razones de

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 :

log (cosg + r sen 9) tlalrd trr impresin de inapropiado pa-

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

cmo 2 9 (-a) es rgual a t r . y 2 ! ( +a) es rgual a Qa2, y

ms aun, cmo 2 t. (-a) no es igual a 2Q ( +). rr la publicacin de 1749 esto est explicado complslrrrqs. Si examinamos las carta5 de Euler enviadas a D'Alembert. encon'

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)

Cantor, up. ct!,. Vol. lll,2,aufl.,1901 , 9. 722.

Fettschr.. Ferer d.200. FGeburist. L. Eulers, 1907. p. 120, 131.
!,ferrt' / .\t\.h.,r!t,P'.A7,

46
rnos de nmeros negatvos. Ello fue hecho a peticrn de

D'Alembert.

ria ntural que Euler retuviera en la imprlnta su propro rliculo, si lo

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

cuestin. La funcin e' la expresa como

una sere de ,ootencias y la funcin logaritmica tiene una infinidad de valores

para cada punto.

Euler admite la logartmica para cantrdades negativas y afirma que, segn

que toma log(-1) n7''- y
ta frmuta de Bernoutli uno de los infinitos
en general, tog(.) es igual

.valores

a ! t/2r J.t, !3/2r r/ 1, t5/2.,/7,....

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-

(dominio) y que tiene una infinidad de valores para ca.

da punto (contradontinio, los complelos). Por otro lado, e\ mantiene su ca.
des positivas y negativas

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

=]

rtprcrenta una curva continua sobre el ele de

las x, pero si x= 1lZ,

Acepro que exrste un punto conjugado balo el eje de
l> x. lottarrJo x = n l. l\ltll '1. L:c1o el dl Lr ll x. urr trilrcro lrrllnlto de tolsr
uuilto) c.
paradOs unO de Otros. L cc\,\:rn y= (.21'se compone de una infinidad de punto, aisentonce.s

v= + tfZ'Y \' - - .. Z

.l

47
ladol y no de un curva continua;
las x y puntos ailado por abaio".

y y =e'reprelenta

una curva con!;nua lobre el ee de

Aqu es importante sealar el embrollo de ideas ya que Euler mismo deca

eu ^= I +x +x|/l .2 +... espositivoparax positvo,ancuandox fue'
ra fraccionario positivo. Tal vez en esta parte Euler no estaba seguro del uso
de las s.eires infinitas, de hecho, cttando Leibniz argumenta que a partir de la se'

rietogll +x) =x--l/2xl +lRx3-... si x=-2,entonces

togll) - -2 - 4/2 - B/3'..., Y en consecuencia log(-l) no puede ser cero (recor'
demos que Leibniz siempre sostene que

log(-l) no existe). La respuesta

de

Euler a este argumento es la siguiente:

-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:

"Reesrablecer el orden y la armonia en un tema lleno de contradicoones

.. y construir

el anlisis sobre bases f irmes".

En

esrc

sentido, se establece una diferencia cualitativa en trmtnos meto-

dolgicos. La diferencia estriba en que Euler trabaia tratando de dar

consis-

tenca interna a los hechos matemticos sin hacer alusin a argumentos extra

matemticos a diferenci por eiemplo, de Leibniz que alude a argumentos de

"ms natural'', "ms usual", etc.; es en esrc sentido que el trabao de Euler
rompe con sus antecesores en la disputa sobre logaritmos, situndose ms en el
siglo

XIX poca del rigor matemtico que en el periodo

en cuestin.

A1 seguir de cerca la historia

de 1os logarj-tmos des-

, el lector no debe olvidar que eI artfculo preSi se hubiera

cedente de Euler fue publicado hasta 1862.
pus de

11 47

publicado aI tiempo en que fue es'crito, sin duda alguna

hu

biera contribufdo a dirimir 1as diferencias expresadas en 1a

gran controversia. Como 1o veremos despus, Euler reescribi este artfculo .y. prepar otro ms largo y exhaustivo, aun
que en algunos aspectos, menos convincente que eI que se imprimi en las memorias de Berlfn, en 7149.
E1 artfculo de
l7 47 no recibi

l-a atenci6n merecida.

ner conocimiento de su existencia

(1).

Cantor parecfa no te
Lampre (2), es de

Ia opinin que e1 artfcul-o de 1147 es el publicado en 1749.

FIix Mller (3), afirma que 1a publicacin de 1862 es conti
nuacin del artfculo de 7749, una afirmacin que parece inco
rrecta a todo aguel que ha lefdo ambos artfculos.

La

CueS

tin interesante que surge es eI por qu e1 primer ar;culo

no fue publicado poco despus de que fue enviado a 1a Academia de Berlfn, en lugar de haberlo dejado para una publica
cin pstuma.
nes.

Nosotros s61o podemos preguntarnos ]as razo

La intenc j-n de Euler era, como l- mismo 1o expresaba,

poner orden y armonfa en una materia que estaba llena de con

tradicciones.

Nuestra duda es gue si Euler estaba insati-s

fecho con este artfcuLo.

Posiblemente eI uso del c1culo

LII, 2 anpl., 1901, p. 722.

(2) Fetclt. z. Fiez d . ?.00. Gzbunilsf . L. EuLe,. 1907, pp. l2O ,131 .
(3) Fe,sf,schtdt, p. 97 .
(1) Cantor ,0p. cif.

volumen

r,

en Ia relacin:

integral

= log(cosp + i seng

pareciera inapropiada para una cuestin que parecfa ser un t

pico elemental.

En e1 artfculo

mismo, 1 expresaba Ia duda

de cmo 1a doble rama de 1a cutva logarftmica afectaba la teo

rfa Ce 1os logarilmos.
EI u.tf"rfo no explica amplj-amente
como ?Ll-al es igual u I-oZ , y ZI-l+a es igual a I-aZ , y sin
embargo Zt-(-a) no es igual a ?-l+q
En e1 escrito de
1749, esta cuestin es explicada ampliamente.
exanr-inamos 1as

Si nosotros

cartas de Euler a DtAlembert, encontraremos -:-

que eL 19 de agosto de 1147, Euler escribi- que 1 habfa eliminado de un artfculo

de D'Alembert, enviado para su publica-

cin en las memorias de Ber1fn r n prrafo sobre los logaritmos de nmeros negativos.
Esto fue hecho a instancias deI
propio

'Alembert.

En consecuencia, gu podrfa ser ms na

tural que el nr-ismo Euler retuviera en la imprenta su artfculo

por considerarlo incompleto?
E1 30 de diciembre de 1747, Eul-er expresaba a DrAlembert su temor de que su propio artfcu
1o no removiera todas sus dudas.

EI 28 de septienre

1748, Euler afirma que no es capaz de repliar

de

rigurosamente

a arsunas observaciones recientes de D'Alanbert y que debe

perar hasta reexaminar el asunto.

es

Desafortunadamente, e1 segundo escrito de Euler no contie

ne todas las cosas buenas de1 primero.

En este prj-mero toma

a1 lector
corazn

como

confidente, y establece una pItica corazn

Le permite ver aI lector c6mc se enfrenta a Ia pro

Cuando demues
!.1emtica, cmo lleva a cabo su experimento.
tra que ?-og(-1) no puede tomar un valor real, pero tamDoco ima

ginario,

pareciera como si todas las posibilidades ya han si-

do consideradas r pro 1 persi.ste y ahora entra a experimentar

1a suposicin de que d.os de 1as rafces cbicas d,e un n.mero
positj-vo tienen cada una un logaritmo imaginario, mientras
tercera raiz tiene un logaritmo rea1.

Esto l-e 1leva a

1a

un

resultado que considera poco menos absurdo que los anteriores

pero a pesar de todo , abauttdo
la posibilidad

de que eI error se da a1 suponer que un

resultados

nmero

Entonces 1 intenta el camino

tiene slo un logaritmo.

que existen

Finalmente, Euler conjetura

un n.mero infinito

de

de e11os y esto Ie da buenos

Qu fci1 result-a todo esto al lector moderno,

pero qu duro fue para Eu1er

Su trabajo en esta investigacin

nos recuerda 1as dificul

tades en los trabajos de Kepler con rel-acin a Ia rbita

I'Iarte.

Existe una diferencia,

de

seguramente, Kepler debfa

construir una teorfa que estuviese en concordancia con los

chos de 1a naturaleza revelados por el telescopio de Tycho

he

Brahe; Euler tenfa que construir unateorfa que atendiera Ias

necesidades de consistencia en Ia 16gica.

e1 procedimiento era e1

rnismo.

"Aparte de esto,

Kepler hizo sucesj-vas supo-

siciones' de cmo podrfa ser 1a rbita de Marte, s61o para rle

gar a que dichas suposiciones eran incorrectas.
Fialmente,
se Ie ocurri tratar con una e.Updz i encontrando de esta ma-

nera gue sta era Ia suposicin correcta.

E1 lector de los

trabajos de Euler ha1lur qlr" en otros trabajos matemtj.cos

particularmente en 1a Teorf a de Nmeros, Euler cc-ntinuamente

utilizaba

mtodos muy similares a 1os de los estudiosos de

las Ciencias Naturales.

Y sin embargo, Sir wil1iam Hamil-ton

y Thomas Huxley intentaron hac.ernos creer que 1a matemtica

es

una ciencia gue nada tiene ge ver con Ia observacin y Ia expI icacin.

EI escrito de Euler de 1749 l1eva por

nombre

nLt l"ln. Leibvvi-fz e.t Eenoulil (i,L I-QA Logani-tlvnus

vo-hA

negaltd,s e imginalte.a"

(i

recuento de 1a historia

l-a eanfno-

de,t nonbus

Comienza con un crftico

de Ia controversia.

tamente constructi-va de1 artfculo,

cuatro problemas.

,'DL

La parte estrj-c-

consj-ste de un teorema y

E1 teorema establece que txitvt una in{i

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

de l7 49 , 1a denostracin est basada sobre

Ia suposicin de que Z( I + u) I = os, donde es- infinitamente pe
queo.

l'1uy probablemente es+r-a

relacin estaba sustentada

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.

t9't4, Berln, 7975, pp.

La prueba dada por Eu1e.r en 1749 jug6 un importante papel

en Ia teorfa logarftmica durante la sigui-ente mitad de1 sig1o,
Como veremos des
asf que ser aquf reproducida totalmente.
pus, 1 argumentacin de Euler fue poco convincente.
prueba es como sigue

La

"Yo me ]imitar aqu a los J-ogaritmos hi.perb1icos porque,

como se sabe, 1os logaritmos de todas las otras clases estn en
una relacin coistan:e con las primeras.
As, cuando el loga

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

cierto we xl /2 tiene dos valcres diferentes;

,t/3' ri.. /.-l/4 , rt y.. as
sucesivanente, ser igualmentec:ertoque
l/n
debe tener una infinidad de valores diferentes, puesto que
X
nes un nmero infinito.
En consecuencia, esta infinidad de
Dado que es

valores distintos i. x 1/n ori.gi-r',.r una inf j.nidad de vaLores , tm

brn disti.ntos, para .LX d,e suerte que el nmero X debe tener -una infinidad de logaril'ros.

Haciendo en U -

(/+

nxl/n - ,i. = -x , x = 1, I obtiene

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

Tom:ndc como base de su sistema de

togaritmos at nmero e,
y cons i de rando a La exponenc.iaL como inversa
de La

togarit_

(1) Posiblemente Euter deduce que eo = 1 + <.;(o que Log.(1 + cd ) = c.. )

de Lo siguiente: Euter habia desarroLLado con anterioridad La expresin en series de potencias para cos x y sen x:
sen B

--o

-*..*-#....

02+ e4- +
cos0=- 1 - zt.
uJ 6J ."''
Adems de que conoca
pubLi cada en 1714:'

manejaba

Ia frmu[a encontrada por De Cotes,

e'' = cos 0 + i sen8.

Sustituyendo Las series para senx y cos x, nos queda:

2! 3t 4!
"'o=1+io- -'jj-ld*-t--.
es

dec

i r:

"io I

f (l=g l'* (i...{2o *

o * (,=?
2t * 3!
4T

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;

Por eL desarroLLo deL binomio de Newton se t.iene:

(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.

pero para k = 1, se tiene:

1+x*

?31

i * i. fi + ...

que por 1 es La expans'i n encont rada para ts x

so oart'i cular de a = I + k o-r c,-lanrio k = 1.

Asi eo= 1 *.ces eL ca

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

gno igua-t- j uega. en La ecuac in

:

Lc.Z

2-c

x1/? tiene dos races, *1/r

t iene r rai."r, g"n"ra Iiza esta propiedad y conc Luye que *1 /n ,
con 11 infinitamente grande, tiene un nmero in-fin'i to de ra'i ces. De esta 'forma, xgresando a / = -x en trminos de Las inf.initas raices de X I 9/ = {-x = nx1/n - tt1 eL Logaritmo
de un nmero se ve expresado/ en trm'i nos expLicitos/ por una
infinidad de vaLores (el nmero infinito de raices de x).
Conociendo eL hecho de que

En este importante teorema/ EuLer no soLamente se concre

ta a demostrar su enunciado inicial, sino

que tamb'in caLcuLa

expticitamente Los vaLores de aLgunos Logarjtmos lLog(1,1 ,

cLcuLos que ya habia hecho anteriormente y que ahora Le sirven para rect'ificar sus resuLtados por otra via, comprobando
asi La coherenci a en su construccin.
de Log (1), EuIer presupone un manejo especf i co y coherente de Los Inf inites'ima Les (1) .
En eL cLcuLo

(1

) Part jendo de que en un nguLo infinites'i maL eI arco se confunde con

Ia tangente y La cuerda, se tiene que si eL circuLo es unitario, eL arco es
= sen
t y cos = f.

En (1

2\'
I. sen -l,
tiene:

+I)n

despej ando La

't

Y=n(cos

sen

).= O,

\' * 1).
n

i n es infini tamente grande, entonces

tesimaL, asi que:

2 X;r

cos

t \.
n

Sust'i tuyendo estos vaLores

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).

+)
,-

Es pLausibLe que EuIer haya eLegido aL nmero e (nmero

de Euler) como base de su sistema de Logaritmos por que de g + 2\n t
= cos 6' + i sen 0, tomando eL valor ms generaL

"t0
- 0, ! 1r!?,

..-,

i(0+ 2).r =

sB obt'i ene:
Log (cos

0 +'i senB ),

expresin para eI logaritmo en base e de un nmero complejo

(expresado en su forma poLar) con mduLo unitario, que para
eL caso part.i cular Q = -1 = cos r + 'i sen' nos da
Log(-'l )

), k=0,!1,
= i (t!Tir
3iri, i5i
= !irt

!2,

resuLtando congruente con eL que se deduce de La expresin en

contrada por BernouLLi para eL rea deL sector circuLar, fcmuLa mane )ada y aceptada en La teoria matemtica existente;
.a ?

t,/3

L(x + iy)
L(c - iy)

es La expresin

Para e L

rea de un sector c i rcu La r de radi o a.

10

S'i x = o, de La frmuLa se obtiene eL rea pura de un cuadrante deL clrcuLo, esto es 4

sust ituyendo en La frmu
$
La Los

va
2

--i4 J-t
de

"2,

Lores correspondientes queda:

t(-1)

rz

=7d,
.t

donde

(-1) = n.ir

que coincide con uno de Los vaLores que se obtienen de Ia frmu

La generaL expuesta anteriormente -

Euler pasa a encontrar 1a frmula oara t-oE(tal

donde !

y 7 son reales enteros.

artfculo

se considera exponentes complejos.

,!-og(a+b

,/:i rPl'r

En ninguna parte de este

Euler maneja con especial cuidado y claridad l-as relaciones

nes entre {a, L(-a), Zl-a, ZL(-al , y
ro par y q un impar, S tiene:

LoZ

Tor,.ando F coso

un

nme

I
I

i
I

i
I
I
!

L(*al

i
I
i

L(-a) =A ! c{n /,.

(i,

i
i
I
I

Asf,

i
I

L(+alz

2t-(+al

2A

ln

Zp r/--.

t,

L(-atL =2{-(+a} =2A=Zc1 n/1.

(1) Nota del traductor:' Presentamos

textos actuaLes, de que si

La derivac'i

n,

como

se hace en

Los

.= Logz, entonces <,e LoSlzl * i (arq z +? k), k =0, 1j,...

Como c = log z, entonces z = eo

sea z = l.1", arq z

l"'i arq eo
"- = 1..
.;

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

z I es un reaL posit.i vo y Re(c.r) es un reaL, se tiene:

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,

arqeo=Im(c) +Zrm con n-0,+1,*2,

Asi

* 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

Sin ernbargo, nosotros tenemos la frr.rula general:

?-

{.A' = 2A t p r /-1

por l-o tanto,

.:
i

t)

2Ll-al = Lo.':,

2{-(+al = LoZ

I.

tomando
cJrnLr,o,n

ctuz

l
I

eL digno

i = plntl
'2

mztca.l cluz Loa valonea

nfe t-o valone,s d tn

ZL(-a) = LL(+al .

Agrega

n-o

Ll-(-al q Zl-(+al

Un comentarj.o superf icial

,5 n

li
i

ta.bnia e,lfanznf.z,

i,

sobre esto podrf

ser el que en este punto, cosas iguales a 1o mismo

'
rl

:
lr

rlo

lt

son igua-

les entre si.

La razn de por qu ZL(-al y Zf-l+a no son igual-es, es porque ciertamenLe 2q nunca es el nismo nmero que 2p
a pesar de que ambos pertenecen a Ia cl-ase ms general P
ler apunta otra dif icul-tad.

Eu

Si nosotros tomaros I-(-c-12 ={-oZ en

it;l
!,

.l
il

il

ti
it
i1

ii

el- sentido de oue

ii
l1

i,

?Atzctr /1-=ze!pt

Jj

iI
t

entonces tendrfamos
Zl-(-al = 2L(al

a pesar de gue -a no es L(-al

Un comentario superf icial

so

bre esto ser{a gue aquf se infringe

e1 axioma -iguales civi<iiEuler est manejando en este

por iguales, da iguales-.

caso, ecuaciones oue en e1 siglo XIX se llamaron inecnpleios, en
ias que cada valor de un lado de Ia ecuacin es igual a algn

. dos

13

jo qu condiciones ?.a = ?L(-a) se

transforma en una ecuacin comp?-e.ta. Sean p y p' nmeros pares, ya sean i-guales o distintosi sean Q y q' nmeros j-mpares,
res, iguales o distintos.
Entonces tomamos:
Euler procede a.nostrar

ba

+p.l tr t/i

Z-l+a1 = ZA !. (p

Z-l-o.t ='ZA

t (q + c,lr Ji

an ms, selectionamos los nmeros tal que

p+p'=Cl+Cl'

Entonces

se

2L(-al =

obtiene una ecua.cin completa:

2L(+ai

En cov'tazcuencia, n esfz,:enLLdo az puzdz Aoyfe-neh qu

= Zll+a ,sin cluz .ten -(+al = L(-al

zL(-a) = -

E1 concepto de ecuacj-n completa e incompleta creada

por Euler no habfa sido atribufda antes a 1.

Euler no introdujo para 1as ecuaciones completas un noinbre especj-al ni
tampoco una notacin especial.

Cuando se analiza su ecua

cin completa 2I-(-0.) = Z{-(al , se ve fcilmente que exige que

p + p' = cl + q' condicin que no es prctica en un tgebra de
guritn',o= generales.
O?A

L(-a)' , Lo', La'.

1o

Euler discurre de manera similar para

1A
j't

Lo habJamos apuntado anteriormente/ en este escrito EuLer

anaLiza con bastante detat t Las reIac'iones entre L(c.)Z , 2Lt-a) y 2I-(+q; dichas reLaciones sirvieron de base a Le'ibniz como a Bernou
Como

tti para argumentar tanto a favor como en contra de Los Logaritmos

de cantidades negativas. Leibniz acepta que f-og(-1)2 =2Log(-11, s'i n embargo BernouL Ii sostena que d.i cha frmula no era vL'i da y Lo
o
correcto er La 'iguaLdad 2Log(-n) = Log - (n)'.

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
,)

ras que para La funcin definida en Los reaLes posit.i vos,

se tiene La i gua I dad :

mi

ent

'tLa =

,1

Lla)

ic:ntidad que era aceptada desde un sigLo atrs.

Desde eL pun
to de v'i sta de Los conjuntos, eI cornentario de ca jori, en cuanto
que se trasgrede.la transitividad, carece de sent.i do, ya que EuLer,.anque sLo tc'itamente, se referia a contenciones (ecuacjo
nes incompLetas) y no a igua ldades estrictas.
Esta caracterizacin de La Logartm'i ca fue muy novedosa y ny poco comprend.i da
en su momento, ya que, como se ha visto, Euler est aLudiendo no

15

a di stintas propiedades de d'icha funcin, sino tambin

at concepto de ecuciones incomptetas, idea desconoc.ida para La
soLamente
poca.

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

cos de su poc a, presupone cri terios de vaLidac'i n cons'i stentss

en La no contradi ccin dentro de La matemt'ica concebida nonoLiticamente/ es decir, como un todo, criterios que pocos aos despus entrarn en cris'is, por La crisis misma de Los Fundanentos
deL C LcuLo y de La Geomet ria.

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

dLo ltatl que. fomlh un ahco de cncuto

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

.!

cuLa Ios ant'i-[ogaritmos de stos:

rt+e/-1
_-f
r'
e.
= e' e"s\/4

f.
= e' (cos S + \/ -1 sen g).

16

Comentarenos ahora eI tercer escrito

ut

Le-

de EuIer

nanu inaginainea du e4uatiora" (,1).

que en algn escrito histrico

mencin de ste.

"Rcheche,l -

No hemos encontrado

sobre 1os logaritmos se

haga

E1 objetivo de dicho trabajo consiste en

dar dos pruebas del teorema gue establece que toda ecuacin
tiene rafz.

Fue discutida pof C.F. Gauss en memorable di-

sertacin inaugural de 1799 (2) .

En Ia segunda prueba Euler

demuestra que toda' expresin, an aquellas que involucren ope

raciones aritmticas muy complicadas y extraccin de rafces,

siempre pueden ser llevadas a Ia forma m + n.,/-f .

Esta par-

te contiene nuevos desarrollos sobre logaritmos, pero Gauss,

en su crftica
Logarftmica.

a Eu1er, no tiene ocasin para retomar la Teorfa

Cantor, fl su gran historia

(3), es abierto

seguidor de Gauss, asf que no hace referenci-a a los logarit-mos

Lampe parece haber ignoraCo por completo es.,e artfcu-

1o de Euler.

Tampoco hemos encontrado alguna alusin a s-

te en Ia discusi6n del medio siglo siguiente

Euler generaliza sus resultados previos, consJ-derando ra

potencia general, D 1a cual Ia base y el exponente son ambos
complejos. Considera

(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

donde x y q son variables desconocidas que se deben encontrar.

e1 logaritmo en ambos lados y diferencia despus los

bros de la ecuacin resultante, considerando a, b, x, y I

miem

Toma

variables.

como

Haciendo:

t/ aa + bb = c

, Atanl =9,e-n 9=vb

I obtiene , igualando 1as p..i"=

-no
X = C'me. '''

C7,slm

V * nlC)

y las imaginarias:

reales
U=

'

co Y

m -nq
i"'"

n(mg

* nlcl

Escribiendo en lugar de g el valor ms general I

tiene fodo Lo valolel

po^ibt-5

2)\t , L

ob

que 1a potencia general puede tomar:

"dando sucesi-vamente a ). los valores, t

, 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

ble resuLtado para su poca-.

de Ia frmu1a general obte
n / 2o.2o i8795763507,
=.-2\n

Considerando casos particulares

nida, encuentra que ( /li/-1

para ). = 0 ,

"eA

nLdad d valoea

fwtto

md nofabLz cluz a tal U qu nciute- una

indi-

aLu L{Qhnfu".

Finalrnente, inoependientemente de sus resultados previos,

1 dedica media ogina a encontrar los logaritmos de un

complejo. El

nmero

que .{-la+ bJ-t) =x+ q./':7, donde x y

son desconocidas; despuS 1 diferencia e iguala 1os reales
asurne

LJ

18

y los imaginarios.
I

De esta manera Se encuentran l-os valores

para x y U, expresados en trminos de arcc seno y arco coseno.

Asf, eI punto gue se debati durante un siglo fue satisfactoriamente resuelto en menos de un par de docenas de Ifneas.

Comunicarfa Euler sus res.ul"tados sobre logaritmos a su

viejo y respetado maestro John- Bernoulli

I?

Pero hay ndicios

res no dan informacin sobre este puntc.

de que Euler 1o hizo.

Los historiado-

Pessuti, italiano

que tom Parte

en

Ia controversia, afirma haber encontrado a Euler en St. Petes

burgo y que ste Ie hizo saber gue habfa comunicado sus resul
tados a John Bernoulli poco antes de su muerte, respondindole gue ya podfa morir contento porque por ffn vefa reconcilia
do 1o que parecfan ser paradojas irreconciliables,

esto sr

todas aquellas contradj-cciones que habfan dado lugar a 1a gran

di-sputa sobre logaritmos de nmeros negati-vos, entablada por
largo tiempo entre Leibniz y 1 mismo".
Si-n embargo, Calandrelli

(1)

reproch a Pessutti que esa hi-stc

ria no podrfa ser cierta ya que Bernoulli m.uri6 en 1748, y

artfculo

de Euler fu enviadc a Ia Academia de Berlfn en

e1

11 49

Sin embargo, ahora sabemos que en 7141, Euler tenfa ya comple-

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-.

pone/ sobre todo en su demostrac'in, pero tambin en su algo

ritmi ca, una seri e de conceptos det .cLculo de Los 'i nf initesimaIes y deL [gebra, que en. aLgunos casos no son aceptados
deL todo o conocidos en su poca, o que in'cLuso trastocan o
cuest'ionan ta vaLidez de ci".i", propiedades de Ia func in Logaritmo. Lggra/ con esta nueva definic'in, construjr una
teor e coherente, retomando resu Ltados gene ra Les cje La matemt'i ca, pero en part'i cu Iarl resuLtados y tcni cas de mane jo
que en La poca se habian desarroLLado sobre Los nmeros/ en
espec'i aI sobre Los nmeros compLejos/ construccin de gran betLeza que hasta Ia fecha es vigente, pero que por esta --gran cantidad de'ideas nuevas que invoLucraba no fue compren
d'i da en su poca, si tuac'i n por Ia cua L e L debate continu durante e! med'i o sigLo restante.

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

sido totalmente aceptada en su poca? creemos que no ex.iste

un nico argumento que La justifique, sin embargo, no podemos
infe-ir aLgunas de Las razones que motivaron su rechazo a pal
tir de La revisin deI trabajo de s. D rALembert, t.ituLado - "Su -QA rogL<flrnea d.5 qua,l),t6,t negafive-:,, . rnc Luirnos -por esta razn una traduccin de dicho articulo (*).

(*)

Art i cu Lo t raducido por BLanca ilargar.ita

Educ at i va deL C-I-E.A. deL I.p.N-

parra

1,.

Secc'in lbtemt'ica

-,

20

OPUSCLES MATHEMATIQTIES, 6. mr:roire .

"Sur 1es logarithnres des guanti,ts n6gatives".

(Sobre 1os logaritmos de cantidades negativas)

D"AIembert

_)
)
1

,
)

J
)

J
)
)

J
)

J
)
t

J
-1
)
,

_t
)

-l
t
I

En 7747 y 1748 tuve, con eI clebre Sr- Euler, una disputa

rcr carta sobre J-os }ogar j.tnos de cantidades negativas, sobre l-as cuales este gran gemetra prtende que son imaginarias y yo
creo gue son reales, o a1 &enos que se puede suPoner que 1o son.
Despus 1e, en.una disertacin del S:. Euler sobre ese tema, impresa en 1751 en las i'lenorias de .La "Academia Real de Ciencias
de Prusia para e1 ao 1749, gu esta misma cuestin haba sido
antao tratada entre los seores Leibniz y BernouLli; suPe, Ircr
e1 escrito del Sr. Euler que e1 Sr- Bernoulli sostena e1 mj-smo
sentimiento que yo, y que se agoyaba, en parte, sobre 1as mis mas razones; esto yo 1o ignoraba absolutamente, Las cartas de estos grandes hombres que cita el Sr. Euler, han cado entre mis
manos slo despus de 1a lectura de La Memoria del Sr. Eule: y
despus de todas l-as reflexiones que yo haba ya hecho sobre es
te tema. Pero, aparte de 1as dificultades de1 Sr. Bernoulli,
sobre }as que me reencuentro con ese sabio matemtico, todava
voy a proponer aI Sr. Euler muchas otras que me parecen bastanE1 Sr. Euler, en su Hemoria, trata de resolver te fuertes.
alg-unas de estas objeciones y deja otras sin respuesta, no juzg{ndolas, ta1 vez, suficienternente sIidas.
La lectura de la
}lemoria de1 Sr. Euler ha recordado mis ideas sobre 1os logaritnros de cantidades negativds r y creo que debo exponer aqu 1as dificultades a Las cuales esta materia me parec-e susceptible,
sin emlcargo, me abstengo de pronunciarme; me limito a hacer ver
que el asunto no est tan decii,j-Co comc se oudiera creer.

'Se .Llama logaritmo a una sucesin de nmeros en progresin

aritnlica eua!-qLLLeiA, qve respond,e a una sucesin de nmeros =
en progresin geomtrica eualcluLelu. Se supone, para mayor facilitad (puesto que esta sucesin es arbitraria) , gu el nme

2t

ro que representa 1a unidad en Ia progresj-n geomtrica, tenga

cero por logarj.tmo. Por io dems, J-a progresin geomtrica es absolutamente a voluntad y puede seguir J"a ley que uno quieNo solamente La progresin aritmtica que responde a una

progresin geomtrica propuesta (rcr ejemplo, 7,2, 4,8, etc.)

es arbitraria, puesto que no hay ninguna relacin necesaria entre esas dos progresiones; sino ,qrre adems, y Por la misma razn, J.a progresin geomtrica que responde a una progresin arit
mtj.ca propuesta. fcomo O, D, 2n,3n, etc.) es arbitraria tambin.
Por ejemplo, estos nmeros !, -2, 4, -8, 16, -32, etc., que estn en progresin geomtrica puede suponerse que tienen rc: J-ogari-tmos Los nmeros de 1a progresin 0, n, 2n, 3n, etc.
Es ms que evidente que, imaginando una progresin aritmtica cualquiera donde eI primer trmino sea cero y donde los --

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

- -

D'A,temebert, se obtenCr una progresin continua.

Es segn esta teora Ce logarit^nos que Ios gemetras han

i-rnaginado una clrrva BMN que e11os. llaman logarf tmic, Y en Ia cual las ordenadas AB, PM, ZN Tv,.etc-, estn en Progresin - aritmtica; AB sienCo supuesta f y fa abscisa que Ie corresPonSe ha encontrado que esta de en A siendo j-gnra] a 0 (cero) .
curva tiene una subtangente constante PR; y que e1 logaritmo de
1a razn de NZ a AB es igual al nnero que est designado por La razn de 1a a-bscisa AZ a Ia subtangente PR.

= 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

D'ALembert hace aLusin a dos propiedades sobre La curva

Logarjtmi ca (que no demuest ra en e t art'l cu Lo) 1tr

La subtangente

&

En base

La

La curva es constente (1).

- x
fiqura- too
'-"a-E.'

La curva cumple con que I # , atirma DrA[embert. Di

cha iguaLdad, que tampoco demosi.E O,Alembert, se puede demostrar en base a tap dos propiedades antes mencionadas:

cb

LomoLoo
'c -=a

x-x
---Loo
ob"ca

-=

= 1, se tiene
lsgc

,i,"o

Por ta propiedad 2, se tiene que:

Log

de

Lco
"x ,crxlb
a

donde

(1

yx
;-b-

k/b
_c
- -n76
a

En base a los d'i ferenc'i ales se puece derostrar que

Ia curva es constante.

ta

subtangente

I
I
I

t'

I
I

Po

semej anza de

"'Ln "

dy
dx

tringutos se tiene que:

x

_z _a
-V,
v

de donde

xn
a na

LLts.

".-.-

24

Para e;tablar preferentemente }a cuestin de los logari-t

negativas, he aquf a Ic que se reduce - Sea

imaginada 1a sucesin de todos Los nmeros naturales, desde cero hasta el infinito, tato positj.vos como negativos - t
.-., -2, -7, O, l, ?, 3, ..., r I sdrl irnaginados a.bajo de
.Los nmeros 1, 2, 3, ..., etc., sus' logaritmos o, p, g, etc.,
Es un princilos cuales formarn una sucesin cualquiera.
pio evidente que e1 logaritmo deT Ser infinito; y que el 1o
garitmo de O ser igual aI logarilmo infinito de tomado negativamente. Per.o, cu1es sern 1os logaritmos de los nn,e
ros -1, -2, etc.? o 1o que es 1o mismo, qu pasar con 1a
serie de 1os logaritmos, respondiendo por su centro a cero y
terminndose de una parte y de otra por dos nneros infinitos,
uno positivo y el otro negativo? Expondr prj-mero las razones puralnente metafsicas, las que autorizan a pensar que 1os
logaritnos de catidades negativas pueden ser consideradas co
mo reafes.
A estas razoneS agregar otras puramente georntricas y 1as cuales ne parecen demostrativas y, finalrnente,
responder a las objecj-cnes.
mos de cantidades

I
I
I

En prj-rner 1ugar, parece difcil

concebir cmo una serie

termj-nada de una parte y de otra por oo y - puede pasar de 1o real- a 1o imaginario, cuando x no tiene ms que un sl_o va
lor en y, como se supone en la logartmica; al_ menos ese pasa
je no puede tener lugar en 1as curvas geomtricas (a).
Yo decl-aro que a 1a logartmica, no siendo una curva geo
mtrica, esta conclusin no puede aplicrsele con todo rigor;

(a)

paia x nc te-nga. m! qu un 6!-o valo,\ en LJ, ?A neeaLro

valott de x zxpttea.ado en tj no con/cenga nir,gn ld-Lcal pan. E^
to .aupuetto, et- v&Lon d x no volve6- .<naginatio l^and..o q ngafivg.' Po I-o tnnr.o, no pue.dz haben clivaa -gecm6,f-,ea,t imanet
a l-a.logafnLca, faf- como La upone-n Lo,s cuz"nirt-an a Lo^ LoganLt-no^ dz ruineo negaLLvo^ cono hna.giranLo; e decii, Quz no iuede l"bn! c.u/rva geontuLca n La ctal hacLe.ndo U = * , ae iengo- x, * , U
hanl'o a = * , e-n L0. guol, en (in, x no fnga iatnd,s
quz un 6
^6q
.0. valon zn u, t7 tin entbarcgo e vueiva inaainnL eunxd.o
nega
Lva.
^Q.a
Pue,ato^ ctue-

que- ?a

I
I

25

pero, al menos, es sufj-ciente para hacer Presunir que una can

tidad, tal como 1a representa la abscisa de esta curva, no sa
tss mas sl-mbra pasar bruscamente de - m a 1o imaginario.
p1e pensar que Ia serie de 1os logaritrnos que exPresa los diferentes valores de x, y q.ue se vuelve -cuando y = O, regre
sa sobre sus pasos cuando y se vuelve negatj-va; y que repasa
de -oo a -100,..., -3, -2, -7t Or 1, 2, ...,ccetc. y Ce all a
a, mientras que la serie que -ipresa a1 infinito los diversos
etc-, recorre -valores negativos da y, a saber -1, -2,
por su lado sutreiivamente todos los nmeros negativos rcsibles
desde0hasta-e.

Esta suposicin es bastante natural".

En efecto, primero: puesto que los logaritrc.os correspondientes a una progresin
de nmeros cualesqui-era son arbitrario, quin puede irapedir eI suponer que 1as dos progresiones
-1
1

-2 -3
23

-l

etc.

consideradas cono progresiones diferentes e independientes

de Ia otra tengan 1os mismos logaritmos o, p, gr etc.?

una

Segundo, en la serie de los nmeros naturales - @,

-2,
@
-1, 0, 1, 2, . .. , sean tomados los nmeros -1 y 1, se tenCr
1:-1::-1:1, por tanto -t2 = 12 y po. 1o tanto, 2 Log(-1)=21og1

= 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

rios de sus escritos, expone Las razones de el sent'ido especiaL

que ta iguaIdad toma en diih, ..r..in, sin embargo, D'ALembert
no responde en el mismo terreno; apeta, ms bien, en sta como
en otras di scusiones sobre e L tema, a v'i e jas argumentac'i ones, cLaramente superadas por EuLer.

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.

Este razonaniento es fcil de refutar.

En efecto, supon
gamos que uno requiera una curva en la cual 1as abscisas estn
en progresin geomtrica, y Las ordenadas sean entre el-1as como
los cuaC'ados de esas abscisas, se probara por 1a misma razn,
que esta curva no podra tener ordenadas reales corresponciendo
a las abscisas negativas.
Puesto que, se Cira, desde que se
supone gue 1as abscisas forman una progres j_n geom-"rica, no se
sabra suponerlas positivas y negativas sucesivamen-"e; luego ra
curva n. se extender rns que deL l-ado de Las x y 1as y positi'''3' .
Sin embargo, esta curva sera la parbol_a ordinaria - _
)
. x , en Ia cual x negativa da y positiva y reaI.
Es 1o mj.s
mo para una infinidad de otros casos.

21

Se Cir, tal vez, que.cambiando e1 enunciado del problema se

ve entonces que 1a curva y = x' tiene ordenadas reales del lado po

sitivo y del negativo de las x; por ejemplo, si se prolrcne el prg

blema as'- -aa abci,sa e.fando en ph-oyLeain atui-frnfiu., zncon fru ta. cJruva en -a cu-al t-al ond,enad.o ean como Lo cua.dt-o.d,o delo ruinUto| qu lLepnea"nf.an -a ab.cUa. pero en ese caso se
podra tambin enunciar e1 problema de ]a logartmica, Ce la mane

ra siguiente:

u)iva en la unl fat abaciaaa , ufair

do en pLogneaLn atui-hdlLca o en pnoge.in cua-t-quLelta, Lc-a ond.ena
da,t etd-n comc -0,5 Logani-bno^ d eaaa abca o, md gwre,tal, eo
econf)Lai una

mo !-aA ea co'niespond,Leytf.

f1

Un enunciado parecido har desaparecer enteramente

la difi cultad sacada de la imposi.bilidad de las cantidades negativas en

}a progresin geomtrica O,7,2,4,etc. Dificultad por otra parte
ilusoria, puesto que las ordenadas de la logartmica formando una
sucesin contiua y no interrumpida desde 0 hasta el infinito, no
constituyen ms una progresin geom6trica que otra progresin cual
guiera

l
i
I
I

Por tanto, no hay necesidad alguna de que 1a progresin, 3,4,1,0,

-1, -2, etc. pertenezca a una progresin geom trica contj-nua; es suficiente que 0, Itimo trmino de la progresin positiva, sea el inicio de otra progresin O, -1, -2, ... etc., que regresa, por as decir, en sentidc contrario sobre Ia pri.:nera r ! eue es como el eonp-ennto Ae esta progresin geomtri
Puesto que si se busca una media proporcional entre I y 4,
ca.
por ejemplo, se encontrar igualmente e1 nmero 2 de Ia progresin
positiva y el nrnero -2 de l-a progresin negativa.
De donde se
ve: primero, cue la progresin negativa es eJ- compJ_emento de la
rcsitiva, puesto gue esas dos progresiones juntas dan tocas Las medias posibles, seg:undo, que e1 J.ogaritrno de 2 y el logaritmo d" .-? deben ser. los misnos, porque haciendo log 1 = O y 1og 4 = p
se'tendr log 2 y log -2 =
,
La objecin propuesta no prueba, por 1o tanto, nada contra
1a opinin de 1a cual nosotros intentamos exponer aqu 1as prue--

28

bas; y an esta objecin profundizada se vuelve, ella misma, una

Pero como Ia ecuacin y = *2 da Ia
prueba de nuestra opinin.
6
figura entera de 1a parbo1a yearnos si la ecuacin x = Jy
fq
adv
dx = 9, de 1a logartmica, podr proporcionarnos algunos arguv
mentos en favor de 1os logaritmos reales de Is cantidades nega
Es aqu que comienzan nuestras pruebas dj-rectas y geotivas.

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 --

EuLer, sin emera asociada a una (o dos) geomtricas.

bargo, p[antea La probLemtica desde una perspectiva mucho ms compIejal se trata de construir una teorla Logartmica que vaya
en concordancia con eL manejo que ya, desde medio sigLo atrs, vienen haciendo det concepto Logaritmo/ uso que por cierto, es sLo et resuLtado de una idea manipuLativa (es deci r, no-onto[cuatqu'i

gica), esto es/ se busc una construccin que no se contraponga

a Los resuLtados o conc lus'i ones que de esta manipuLac'i n haban
deri vado.
D'ALembert reduce esta probLemt'ica mtemtica a una dzdir
6n, y atgunas veces recurre, para vaLidarL a criterios, ideo-

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 --

=AN;1aa esas reas ser Ia --

curva buscada.
Se encontrar fcilmente gue a una abscisa cualquiera y, po-

sitiva o negativa, corresponde el mismovalor del rea. Porque

sea Ar., = AN y Ar = AR; eI ea correspondiente a fa abscisa A, se
r t.pOe + AnpG + npsr. Pero siendo l-as reas AnpG y npsr negati
vas respecto al rea NPOAr eu es negativa ella misma con respecto al rea NPOA se sigue que el rea correspondiente a la alscisa negativa Ar, es decir, la ordenada x correspondiente a esta
abscisa, equivale a La cantidad sigruiente:
-NPOA

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

Es ci.erto que en el- caso de n = 1 La integracin no tiene .l_u

gar.
Fero ef mtodo que acabamos de Car para construj.r l_a cur"td,
va dx = --;cuadratura de la hiprbo1a, cuyas ordenaCas -, pgr
n
vt
porgue 1a hj.prbola or
sean igua.l-es a l suita toca difj-cultad.
v"
dinaria, cuyas rdenadas =o., I estn precisamente en eI mismo caso
v
que las otrasi y es imposible de estabrecer cualquier cosa sobre las reas correspondientes a las abscisas de aguellas, que no convenga igr:almente a 1a hiprbola ordinaria.

-)
)

30

D'Atembert pretende pasar

tas y geomtricas

al terreno de Las pruebas 'girec

".

rntenta demostrar/ en base a eL arco bajo La hiprbota equi

[tera xy=1r eu [a curva Logartmica tiene dos ramas simtri cas. La curva que representa esta rea tiene La propiedad ca ractcrlstica de ta curva Logarltmica: esto es, gue m.ientras Las

)
")

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

mostrar que La Iogaritmica t.i ene dobte rama.

La 'interpretacin grf ica de La .idea de D'Alembert es

gui ente

La

s'r

I
I
I

i
I

I
i

i
i

_l

Y La representacin grfica de La Iogarltmi ca segn D rALembert:

_l

)i

31

0bserve que D'Alembert tiene cIaro que et rea negativa es

infinita para eL caso n=1', sin embargo, su argumentac'i n lLeva
impLicito que La sustraccin de reas infinitas es iguaI a cero.
Por gtro tado, aunque para eL caso n) 1, n irnpar, La integracin
" *
nos cja una curva simtrica con respecto aL e)e y, de esta
yt'
integracin nos resulta un poLinomi.o t y t\o aLgo que tenga que -ver con La curva Iogaritmica. D'ALembert/ sin mediar expticacin extrapoIa eI comportamiento cuaLitativo de La curva f | v
J Yn
con n)1 impar, a La crrv" f' g iy.
Jy
La 'funci iogartmica que D'ALembert presenta (to9 | x | ) es
t bien de{inida no obstante no se poda tomar. como La (funcin)
Logartmic , y que entraba en cont radj ccirnes con resuLtaCos an
teriores.
La tarea de EuLer, como ya Lo hemos apuntado ante
riormente/ es La de constru'i r otra Iogartmica que resolviera to
dos aquel Los resuLtados antagnicos.

El ejemplo aportaio por eI Sr. Euler,de la curva

4t {
Y = \/ ax + V a- (b + x) , que pierde sbitamente un dimetro en el
caso de b=0, no concluye nada sobre este caso, puesto que se ve
claramente en este ejemplo, la razn por la cuaL la curva pierde
su dimetro ; y que al contrario, la construccin precedente, sa
cada de la consideracin de lasnreas hiperbricas, prueba demos
jL
trativamente que la curva = 3
debe conservar su dimetro en
por otro:-a51, no es inti} remarcar cue si
todos los casos.
la curva y = /;; * /J O * *l pierde su dimerro en e1 caso de b = 0, no es porq'ue y supuesta negativa, d x imagi_naria, corno eI
Sr. Euler pretenie que eso debe ocurrir a J_a logartmica; es por
-a-que 1a ecuacin ie octavo grado que resulta de y = \fax + Va'(b
+ x)
se divide entonces en dos ecuaciones racionales de cuarto, ! eu,
Por consecuencia, la ecuaci6n pertenece entonces reaLnente a1 sis
tema de dos curvas diferentes, pero reares, relacionadas al mismo
eje... As, Io que uno podra, a lo ms, concluj-r de este ejenrplo, es que para tener los logaritmos de las cantiCades::e-oativas
se necesitara tazar bajo e1 eje A1', otra logartmica, similar e
''

32

iguat a 1a pri-u,era, que en verdad no formara con e]la una sola

y Ia misma curva, pero:.a tual no representara menos los loga
ritmos de 1as cantidades negativas; logaritmos que sera imposible, en ese caso, expresar de otra manera que suponiendo dos -curvas diferentes.

En una palabra, se seguira a 1o ms, del ejemplo del Sr.

Euler, que la ecuacin general gue encerrar.a 1os logaritmos de
'negatj-wos,
pertenecera aI si-s
los nmeros tantc positivos corno
tema de dos curvas diferentes; oero no sera menos cierto gue -

los logaritmos a" f." cantidades negativas seran o podran ser

s, en Ia ecuacin *=VV"^+
supuestos realesVV si se
hace y negat.i';a, x seguier siendo realr pro las dos ecuaciones
x = y t.ua+yy y x = -y t/aa+yy perteneceran aI sisterna de
dos curvas diferentes.
)

Pero no tenemos necesidad Ce recurrir a esta consideraci6n;

y me parece demostrado, por las reas de 1e hiprbo1a equiltera
apoloniana, que Ios Cos logaritmos que representa, segn yo, -1os )-ogaritmos de las cantidades negativas y positivas, pertenecen a un mj-smo sistema, a un misma curva y a una misma ecuacin,
y gue 1a logartmica est realnente compuesta de dos ramas igua1es y sinilares; similarmente localizadas encima y debajo de su

eje o asntota.
)

He aqu una nueva prueba de esta proposici6n.

i
I
I

I
I

eue se considere la ecuacin y = .* d" la logartmica, en 1a cual 1a subtan

gente se supone igual a 1, y gue se tonre | = + , n y m expresan
rm
do nmeros impares cualesguiera; se tendrn seguramente dos valo
Y
res para c , uno positivo y uno negativo, puesto que entonces -:Vc
y = -./-rDe donde se sigue gue hay aI menos una inf iniclaci
de.valcres de x, a Ia cuaL coresrcnden dos valores de y iguales
y
contrarios; y que, as como se ve, la logartnica de
i..signos
be, al- menos, tener bajo su eje una infinidad de puntos conjugados tan cerca unos de otros corr.o uno quiera; es tancin en ro -que conviene el Sr. Euler en una de sus cartas.

33

Pero yo

pregunto si. una sucesia de tales puntos conjuga

dos no representa bien una curva continua? Se dir tal vez -que los dos valores Ce no ti.ene lugar en todos los casos, pol
t/3
gue y-c- 3- c?'-,
rcr ejemplo, no da ms que un valor real de
A esto puede responderse que en la
fr 1l as de muchos otros.

me

x. debe surcnerse que i tiene dos valores iguales,

ecuacin y = c'uno positivo y uno negativo.. Porgue c es el nmero cuyo logaritmo es ]a unidad: pero hay, segn yo, dos nmeros, uno positi
Sera equ.!
vo y eI otro negativo gue tienen 1. como logaritmo.
vocado decir .aguf que yo sulrcngo 1o que est en cuestin, yo sg
Ianente me propongo mostrar que surcniendo dos valores a c se salvar 1a contradiccin de que una curva compuesta de una infi
nidad de puntos conjugados, cuya distancia es menor que cual -quier 1nea dada, no sea u-na curva contj-nua.
Del resto, aqui
mismo he expuesto las pruebas directas que se pueden aportar a
favor del carcter real de los logarihnos de cantidades negativas y, en consecuencj-a, de Ios dos valores de c.
Se pueCen confirmar esta reflexiones por otra, sea Q un pun
to cualquiera tomado en eI eje o asntota de La logartmicai yo

digo que siempre corresponder a ese punto dos coordenadas igua

les y de signo contrario QS, QR.
Porque habiendo tomado a voLuntad sobre e1 eje las pa:tes -

iguales entre s, y trazado 1as ordenadas BA, PM, es cla

ro que 1a ordenada al pun'Lo Q ser media proporcional entre BA y
PM; pero esta media proporcional es igualnente + 1./ea
y
=" = QS
- / BA . PM = -QS 6 qn;por Lo tato, etc. - Es as oue en ,ine
parbola La ordenada gue es siempre media proporcional entre eI
parmetro y 1a abscisa, es igirralmente posi,tiva y negati-va.
AQ

i
I
I

QP

El Sr. Euler objeta en La carta que ha hemos mencionado, que

1a.'curva cuya ecuacin es y = -2x (i.e. y = (-2)x) , en general, - y=-aX (i.e. y= (-a)x) est compuesta de una infinidad de puntos
conjugados infinitamente cercanos, y gue, sin embargo, esta curva
no es continua, puesto que, por ejemplo, la ordenada ec imagina r1e cu;,noo * =,1

34

Yo respondo que y = -aX no es ms que la ecuaci6n ce una par

*
te de 1a curva.
Porqu" V = -u a^ I-q':<l- a, pero --a y L+a
siendo iguales, se sigue que se tiene igualmente I-y=xL-a
y -

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

darIe coherencia a su teorla considerando a La exponenciaL

como una

to

y = 6x

curva de dobIe rama, continuas y s'imtricas con respec-

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.

las razones que pueden aportarse en favor de Los 1o

garitmos reales de 1as cantidades negativas; razones que dan , me parece, mucho peso a aquella der Sr. Bernoulli; no ser intiI
examinar d,e una manera ms particular las pruebas aportadas por
ese gran gemetra y las respuestas que se les han dado.
He aqu

A 1a prirnera raz6n Cel sr. Bernoulli, sacaca de cue -dx - dx

-x -x
y que, por consecuencia, Z -x=.Lx, se objeta que por la misma ra_
yo convengo, pero no veo 1o que
zn se probara gue tnx=zx.
esta.consecuencia pueda tener de chocante.
En efecto,
gar.r.tmr.ca
I
!
I

iqu es {c, mirando x cono 1a ordenad.a de una Io

Es el logaritmo de La razn de x a una ordenaaa l

35

que se toma como unidad. Qu es el- 1og de nx? Es, en gene

ral, el logaritmo de ]a rain de nx a \]na lnea cualquiera c que se toma como unidad.
Si se hace c=b, se encontrar fcilmente que ros 5=Z|+Z$
6 fnx=Lx+{n, pero si se haCDI)
L! = -*.
ce c = nb, se tendr *=
nD

En general, es evidente que si se toma Zn por cero, o, Lo

que es lo mismo, si se toma ri. para rePresent3r 1a unidad,.Lnx ser iguat al'logaritmo de x.' Por qu entonces, tomando -1
para representar La unidad, es decir, como eI nmero cuyo - -1og = O, no se tendra Znx = L - x = Lx? Por otra parte, se pue-

de observar: 1o que h:ciendoZnx={x no se le da una j-nfinidad

de ramas a 1a J.ogaritmca como 1o cree eI Sr. Euler, puesto -que {nx y Lx, supuestos iguales, pertenecen a la misma logart
mica, cuyo origen solamente se supone en puntos diferentes;
igual gue yy = , b representa, propianente hablando, una soJ.a
y nica parJroLa, en La cual el origen de las abscisas est ms
o menos.avanzado; 2" que cuado .Lnx y Lx, supuestos iguales, pertenecieran a logartmicas diferentes, no se seguir por esto
que sea 1o mismo para & y L- x, puesto que hemos probado por
la construccin de las reas de Ia hiprbola equj.l.,era, que -Lx y l- - x dan a J-a logartmica dos ranas iguales y si.milarmente
situadas con relacin a1 eje.
En cuanto a 1o que objeta e1 Sr. Eulerr eu si }og-1 fue:a = o, se tendra tambin rogfr = 0 y ,og jM=2
o, 1o que trastorna, segn 1, toda la doctrina Ce }os imaginarios, yo no
veo en ou punio esta consecuencia sera absurda.
En efecto, todo sisterna oe logaritnos es arbitrario en s;
y es claro que 0, O, O,..., etc., fornando una progresin aritmtica, yo puedo, bajo una progresin geomtrica cualquiera, irna

ginar una sucesin de ceros que seran,.cada uno, el rogari.tmo

del nmero que 1e corresponde. As, poniendo 0 por logarilmo
L:l=
de 1y de -1 se tendra o por logaritrno de /-J v a.

36

Por otra parte, se puede probar por 1a logartnica misma,

que Ios logartmos de cantidud.r j.maginarias pueden ser reales.
En efecto, la media proporcicnal entre AB y J.a negativa QR es
imaginaria y esta media proporcional tiene por logaritmo - - Pero, se dir gu6 pasar entonces con esa proposi
oo=Tcin de que e1 radio es a la circunferencia .orno 1,/:1 es a -4l \/--n
Yo respondo que si en esta proposi.cin t- .'/'-1 nc es
=0 sino imaginario, esto viene del- sistema de logaritmos que se supone en La ecuacin entre los arcos de crcu1 os Z y sus -

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

Esta ecuacin pertenece a un sistema de logaritmos ta1 r 'lo

1
que la subtangente de Ia logartmica que Ia representa sea
\/-t
es decir, inaginaria; ?o, que e1 logaritmo de --f::sea imaginario, dando a x todos 1os valores posiblu,* v".J i-,.=au
la unidad. Es un sistema de logaritmos particular, que no tiene nada en comn con }a ecuacin de la logartmica x=l-y, en La
cua] ]a subtangente es real, y en 1a cual y se cupone sienpre -rea 1
He aqu, por tanto, me parece, salvada La contradiccin

/'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

Antes de ir rns lejos, obser-vara que las reducciones. de

Ios logaritmos en series no puedan probar nada, ni por ni con
tra los logaritmos reales de Las cantidades negatj.vas: 1" pol
que esas reducciones no dan todos los valores posibles de 1a
cantidad sue se Cesarrolla de tal suerte i 2o , porque Ia serie
es frecuentemente divergent , y por consecuencii, falible.
Ahora es necesari-o pasar a ]as pruebas. posi-tivas, por -1as cuales eI Sr. EuLer trata de establecer que los logaritmos
de 1as cantj-dades negativas son imaginarios.
Esas pruebas
estn basadas sobre que t(f + (, )n = c..r representa, segn 1,
tcdos los logaritmos, suposicin que me parece se puede con tradecir, pues siendo c^i-nfinitamente pequea, y p infinita mente grande, como J- supone, (1+ c)n no sabra representar
ms gue nneros positivos.

Por otra parte, admiti-endo esta suposicin me parece evi

dente que 1a ecuacin:

+In =

cos

2\-1
n

i + J-

sen

2tr-1
n

a 1a cual lIega e1 Sr. EuLer y en 1a cual z = 180o, y = Iog - 1

y X es un nrnero entero cualquiera, da no solamente - y=i(2 I -1) , t/-I como quiere el Sr. Euler, sino tambin -y= 0; puesto que suponiendo y= 6 y n=c. en la ecuacin 1,
etc. , se tiene 1= 1. Adems, en esta r,isma ecuacin:
1+1 =

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.

As, y = 0 es uno de 1os valores de que da

la ecuaci6n
-y.
= -c., encontrada por e1 Sr. Euler.
De acuerdo

a Ias reglas que Eu.ter estabIece para eL

de tos infinites.imaIes, se tiene:

1+Ln I

i
I

ti ."n !2trn -1)"

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

= cos (2) cos (JL)

+ sen (22) sen ,*)
n

i ( sen (22 ) cos (A)

n

cos (2n) sen (4)

n

Como

a es un inf in'itesima

cos (a) = 1.

sen ()
tt

1+L=1.i*

't
I

_if

, se tiene

donde LG1)=y= ri,

uno de los va[ores dados por EuLer para

LG1). D ,ALembert posibLemente pudo conc Lui r de lo anter.i
or que {(-1 ) = 0 es uno de
sus vaLores, porque supuso que

sen (I)

de

Ly

= 0.

' '"" fin' me'parece que el sr. Euler no

responde de una manera
satisfactoria a l_a cuestin sacada de que
z{_Ga) = 2L(_a). Esta
frmula significa (o es necesario
renunciar a todas r.as dominacio
nes analticas) que el doble de1
logaritmo de +a es igual aI do_
bre de1 logaritmo de -a y no q:re 1
suma de dos logaritmos dife

_t

39

rentes de +a es igual a la suma de dos logaritnros diferentes En efecto, sean i r.'dos

Ce -a.
nmeros positivos y rea les que tengan O y P por logaritmos.
Es evidente, co.r.o ya 1o hemos dicho r {ue }a media prorcrcional entre 1 y a sern -igualmente, a y -a, y que el logaritmo corresrcndiente ser
DD^D
Luego
i.
l= L+ a y 5 =L- " . . No hay argrrxoento ni clcu1o, por muy sutil que 1 pueda ser, que sea capaz de trastor nar una proposi-cin tan simple.
De todas estas reflexi-ones se sigue, me parece, que se pug

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

=.L a - !-a= p - q y as deI resto-

{
40

VI: DE EULER

;- SS:L

;-

Y ARGAND

!1 19

l'ledio siglo de discusiones esterife=

:::e

1800

LoEa ritmos

En un ensayo "Su Lea Logathnea dea o-ui-rtj--: r.4ci-t-sq" (1),

'corresoon==:::'a
ie L1 47 Y
DtAlembert hace referencia a s
L748 con Euler sobre este tema, manifesia::::

do el artf cul-o de Euler escrito en e1

l-a cuestin no estaba an resuelta.

q-le habfa 1ef-

, ==3 gensaba que

En s--=, D'ilembert ex
49

pone alqunos argumentos de carcter rn--1t=-'=a, anaLftico

geomtrico que cubrieron aI tema de una o=::::= ;:':ebLa y pro

piciaron que 1a controversia se prolonga=a -:==--a eL final
del siglo.
Definiendo a los logaritmos e:: :se a dos proque los
J-ogaritmos de 1os n,meros negativos no so:l '-= si:lar j.os, Si-

gresiones, como Napier 1o hizo, D'A1e::-i:e:-- a:'=-a

no reales, o ms bien, gu pueden ser :=====a---ad.cs ya

como

reales, ya como imaginarios, puesto gue --cia =epende de1

sistema de logaritmos que se elija.
Cc--c =:=--::e--.o metaff sco contra la conclusin de Eu1er, esc:'-=

=:e es improbable que Ia curva logarftmica U = x pase == :- = = a valores

imaginarios.
Como

(1)

razones geomtrj-cas, argumenta q:= --=.ja= ''l as curvas

)puacuLe,s mailtenafiQu%,

T. f ., paris, 1i'c'i, _=- :=i-2,i9.

1
41

I
I

para 1as cuales o')7"

CLLJ

o* con n impar, tienen dos ramas

gue

I
I

son sj-mtricas con respecto a1 eje x, y que para un solo va-

lor de x, se' obtienen dos valores , U y - A. Afirma que como

su prueba es general, s entonces vlida para el caso n = 1.
Esta conclusin, comenta Karsten'(.1 ), se basa en un error en
e1 srgno, tan simple,que es dudoso que DtAlembert estuvj.era
realmente convencido de su argmentacin.
Et desacuerdo entre DrAlembert y Karsten fue debido ala
carencj.a de una definicin

de reas negativas clara )' consistente, y a1 manejo de reas que involucran 1a forma inde-

terninada

@.

sin duda alguna, DrAlembert y cualquier otro tenfa dere

cho de asumir dos ramas para Ia curva logarftmica,

si asf

1o

deseaba; finalmente la cuestin depende de 1a suposicin que

se haga. Si se est de acuerdo en gue ser interpretada

de

tal forma sue para todo valor fracci.onario de x con denomna

dor par, sern tomadas las dos rafces reales, entonces la
curva tiene dos ramas, naturalmente; si se est de acuerdo
en restri.ngirse

solamente la ralz positiva,

entonces habr

sola:nente una rama. Pero 1o que 1a mayorf a de los matemtj.-

cos de Ia poca no lograron comprender, fue la observacin

hecha por Euler en el sentido de que 1a cuestin de una o

dos ramasr o tenfa de hecho nada que ver con 1a naturaleza

(1) w. J. G. Karsten, "Von den Logarithmen Verneinter Grossen", I und 2
Abtheilung, Abft. {unch Acad., v, 1769, s. 55.

42

de los logaritmos de n.neros negativos. La primerar s

una

cuestin de involucin, mientras que la segrunda es de logaritmacin;

la primera hace referencia a una de 1as dos in-

versiones de la involucin,

1a 61tima a 1a otra inversj.6n.

En su escrito de 7749, Eu1er habfa elegido explfcitamente

eL sj.stema con 1a base positiva y habfa conclufdo que 1os
logaritmos de n.meros negativbs son complejos. D'Alembert
selecciona una.bgse negativa, tomando 1a serie geomtrica
l, -2 | 4, -8,

y 1a serie aritmtica 0, l,

3,

De este modo 1 obtiene algunos nmeros negativos a 1os que

les corresponden logaritmos reales.

Cuando Euler afirma

que de 1( a) = 1(-a) se obtiene cero para eL logaritr,ro

todos 1os nreros complejos de m6dulo unitario,

de

DtAlembert,

en respuesta, cambia nuevamente su sistema de logari-tmos

uno en el que la serie aritmtica es 0, 0, 0/ 0/ ,,, y re-

cuerda aI lector que a ste se le puede asociar arbitrariamente cualguier serie geomtrica.

Para eI mismo sistema

de logaritmos, D'Alembert selecciona las dos series

-2n-n0n2n
. ?
L/b'L/b1bb-

.2

en e1 cual la base es arbitrariamente cambiada a1 pasar

de

-1 a t/b esto se hace para demostrar qu-e (bm) = (-b)m

Qu otro matemtico Ce renombre cambi de base tan continuamentef con e1 propsito de defender una teorfa maten:-

tica

A pesar de que se public6 hasta 7767, este escrito

de

A')
AJ

DrAlembert fue escrito algunos aos antes, y con seguridad

a Ia publicaci6n de un artfculo

fue anterior
,

Foncenex, publicado en L759, "Rz(Lecrus

tr,aginatnel (1) .

,5Lt/L

de Daviet

de

t-e,l cluanfi.t6-s

Este artf cul-o resulta ms interesante, por-

que su autor, alumno de Lagrange, manifiesta que su maes-

tro 1e habfa comunicado sus puntos de vista sobre Ios loga

ritmos de n.meros negativos'. Lagrange riiismo nunca public
algo sobre este tema. De Foncenex da una prueba elemental
para 1og (cos \r+ j. senp ) = v/A despus escribe
seng = a + /-1

cosg+ /1

y toma parap,

+ 2),.

En-

tonces

(s + 2lr)

//:T = log (a + b /=

(2)

Este resultado cotesiano (3) 1o vuelve a derivar de

cenex con 1a ayuda de ia hiprbo1a, fa misma curva de
gue J. Bernoulli

dictorios

a esto.

Fon

1a

habfa deducido algunos resultados contra

Af j.rma que

Bernou1li no puso suf iciente

du
atencin en el- aspecto de Ia continui.dad. En d='
zut = Or'
finito cuando u pasa de
el- elemento de superficie
"=
+ @ a -@
Argumenta que, .-o*o af elemento de superfi.cie
cambia su signo sin pasar por eI ceror rro hay una transi-

cin continua de Ia superficie positiva de la hj.prbola a

Ia negati-va; como z = a' d" d,u = d-'
paso cono hay un pas
. , .o
(1 )

I'Lt

sce,t-tanza. Pwoacplti-eo-ne.t!rcna,tica soe,ta.LLt p.zit,at

.Tautl.inensi.d, t

1759,

pp. l'3-146.

se

,i ) Esta es una derivacin de La frmula de Logaritrno para nmeros --

\Z

(3)

compLejos de mdulo unitario. N. del T.

De Cotes pubLic este resuLtado en

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
-

DrAlembert escribi6 e1 artculo ,,Loganit,nm,' para

Encqcl-opd- ou

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

quarutif n-gafivzt como un apndice aI Tt,ait{.

compl-ef d'a,lif.iwe,tique-,Parls

y Versalles , 778I, escrito por

padre. EI joven afj.rmaba, con suficiente

razn, gu si

partfa de 1a progresj.n geomtrica -2, -4, -8,

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,.

el logaritmo de un nnero negativo

A pesar de la influencia

de D'Alenbert, la teora de Eu-

ler adquiri6

en FrancJ.a, a finales de sig1o. En los aos de 7797-7799t apareci en paris eI gran

tratado sobre el- clculo de Lacroix, en eI que se presentan
a Ios logaritmos desde e1 punto de vista euleriano (1) .
Es j.mportante hacer mencin que no se ha encontrado

una

sora investigacin que haya sido publicada en rngraterra

este siglor y gue aborde er t6pico bajo discusin.

en

podrfa

deberse esta situacin aI alejamiento entre 1os matemticos

i.ngleses y los continentales provocado por la controversia

Newton-Leibniz sobre 1a invenci6n deI cIculo?
En A.Lemania aparecieron entre l-750 y illO tres escrito-

res de adoptaron e1 punto de vista euleriano, en exposicio

nes desacostumbradamente claras. Nos estarnos refiriendo a
(1) S, F. Lacroix, Tr,art- du cu/-iu(- 1,. et
T. I.,1E10, Introduction, 81-82

cai-cul

ini.

seccnoe i.,'

Charles Walmesley, un prelado ingls de l-a iglesia Cat.liI

ca Romana, quien fue miembro elegi.do de 1a Acader.ria de Be!

lfn, y que contribuy6 con un artfculo a sus I'lemorias; J.
A. Segner, profesor de Halle y W. J. G. Karstenr profesor
de Butzow y posteriormente de Halle. Walmesley escribi
un artfculo de cuatro pginas hl'hod.z dl,toune l-e,s fogat.lwtz,s
de ehaquz nombn poai.fi{, nega-{ ou munq- inpoaaib|z (t) , el cual
contiene una breve derivacin por medio de1 c1cu1o inte-

gral de 1a f6rmula o-e/tT = +Log(LJ !u{:T } donde ac es un

arco de1 cfrculo uni.tarj.o, y U, u son el coseno y el seno
de1 arco. Basnclose en esta f6rnula y en Ia consideracin
de 1a periodicidad de 1as funciones triqonomtricas, WaImesley deduce los valores eulerianos para 1og 1- | 1og -L ,
1og t/4 , 1og(a + b /=Tl , En este artfculo, como en eI de Euler, del 49, A y u{:I son tomados tcitamente sobre
lfneas perpendiculares. Para encontrar 1os logarj.tmos de
a + S{:f , I.lalmesley 1o cambia a 1a forrna:
o
o - 1lc
{a' *.b'l- ','

ETI; donde, 1 afirma , tz debz fcmo.n el ahc0

za u q cuqo cote-no ea A; entonces, si el arco
d cieulo cut/o
^eno
es q y Loq(0.2*b2)l/Z - C tenemos para t-ogla+b {:Tt l-o s
valores C + qfr, ( + (p* 21 /:T, r,r (2).
(1)
(2)

(q

htc. d L'acad. tLotj. de e. ei belie,s Lef . (t:ncitl , anne

f i53, tserln, 115':-, pp. 397-4OO
Ntese que es ta misma frmuLa euIeriana para e L logar i trno de un n
mero compLejo:'
ur = a+ i b ntonces su expresin en forma
n.= | *l (cos,p + i sen g), donde,

Si

111

po La

est

dada po r

=r"r*;

= arc tanb/a

y Logw=togiwl 1 /4( =2; k) k=0, !1, !2,

N. d'-t I

1
A-

Suponemos que

el diagrama atribuido a liessel y Argand es-

taba ya en las mznz de los matemticos nucho antes de

fuese impreso en papz..

que

Walmesley termina con algunos sea

lamientos generales manifestando un sentimiento de inconodidad hacia los negativos e imaginaros.

Afirma gue es in-

correcto hablar de la razn entre una cantidad positiva y una

negativa, yd que La raz6n r,mpica solo magnitud, Do calidad.
l"lezcIar estas dos ideas es como considerar densidaC, peso, etc. , a1 comparar los voImenes de dos slidos.
Segner pone un nfasis desacostumbrado en Ia poca, sobre

el tratamiento de imaginarios, y e1 primero gue introduce

en un texto escolar los logaritmos de 1os n6meros complejos
de Euler - E e1

Cw-tu

ma.thenafi, PanLs 7V , Ha!-o I'lagdeburtgigoe,

1763, de Segnerr s da una discusi6n sobre las rafces de la

unidad, utilizando

1a frmula de De Moivre, seguida por

un

completo tratamiento de 1os logaritmos de los nmeros comple

jos. Aquf, 1a posicin de Euler es asumida abiertamente
E1 tema se enfatiza en Patti V 117681, en una seccin de

ua inaginattcnun.

El tratamiento de segner es anarftico y- libre de relacin

con el entonces arduo problema de 1a curva loqarftmica y la
hiprbola.
Karsten public6 un Amplio artfculo de 1Og pginas en eI
gue Ios errores de D'Alembert se sealan de rnanera muy clara.
sin embargo Karsten coincrde con D,Alenbert en una cuestin,

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

ya que (1 * uln donde

uJ

es inf initesimal

parece ser. siempre positi.vo; la controver -

sia, sim embargo, se relciona con 1os nmeros negativos.

De hecho, Eul-er no hace ta1 restriccn;

incluso como un imaginario.

1 considera a

Su ni.co error consj-sti en no

haber dado una explicacin suficientemente exhaustiva para

su tj.empo. Karsten est probablem.ente en 1o correcto

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-

garrtmos reales; no obstante, el tema a discusj.n era eI

dilucidar

qu eran Los logaritmos de nmeros negativos en

el sistema naturalr s decir con Ia base e = 2.1L8.

ms interesante en e1

Lo

artfculo de Karsten es una representacin de los logaritmos infinitanr.ente m1tip1es de un nme

ro. No hemos encontrado nunca alguna referencla a esta in
geniosa construccin ni por 1os contemporneos de Karsten,
ni. por los hlstoriadoresPareciera ser como si. l-as transacciones de las academias pudieran ser eI lugar ms seguro
para e1 ocultamiento, 1 pb1ico cientffico, de los rtfculos sobre cienci.a.

50

AI seguir la construccin de Karsten, debe ser recordado

que I esc=ibi6 29 aos antes que Wessel. En 1a hiprbo1a

10-?2
x' - tJ' = I y e1 cfrculo xL + z' = 1, donde Karsten toma
A a z tr:1- el "cfrculo es una parte i.maginaria de la hipr
boIa" y vieeve-tL^a.
Un arco AG de eI cfrculo pugd ser considerado como un
Cada uno de Ios cuatro ar

arco imaginarj,o de i-a hiprbola.

cos que inciden en A o en B, son una continuacin de cada

uno de 1os otros, ya que todos estn expresados por una
ecuacin en comn. Entre cada dos puntos
innunerables arcos distintos:
MAG

+ 2),n, y tambin

fAHBG

llAG,

11

MAGBFAG,

y Gt exj.sten
y n general, -

+ 2),t, donde I - 0, l,

2,

A cualquier abscisa x 1e corresponden entonces no solamente

innumerables arcos, sino tambin innumerables sectores coSea un sector de 1a abscisa

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

1^ Loglx * rJ) da 1as reas sectoriales correspon

--T-

dientes a los arcos

S1o e1 sector

imaginario.

ACM

Sea

AM

). (AGBFA)

es rea1.

Si

, esto es -Lr1 = D.r f-L

x

x = CQ, entonces

4 J-, entoces x + tJ
_T -og(x +
1

reas sectorj-ales cuyos arcos son A Gt

AFBG

2tr.ir.

2\-"

tJ

tr-l ,

es

) n,ide 1as
6

/-L

Todos estos arcos

y sectores

son

imaginarios.

De esto,

.t

51

I
vemos que t

log (-1) es representado por los sectores ima-

ginarj.os cuyos arcos son A EB + ), (BFAEB) o tambin

Estos valores estn todos incluitos
A-FB + I (BEAIB) .
1a frmuIa 1og(-1) = 1(2

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).

sj-bles, como para daile total cnfirnacin

(1) .

En esta

representaci6n de 1o'garitmos se estabLece una doble corres

: pondencia: una entre puntos en e1 plano y x y t/ , 1a otra
- entre puntos en el p1ano, y x y zt donde !! = z{:T
El pafs donde nuestra controversia se l"1ev6 a cabo con
ms deleite

durante 1a segunda mitad de1 siglo KVIII fue

Ya hemos hecho referencia anteriormente a dos es-

Italia.

critos de De Foncenex. Pocos aos ms tarde, 1a cuestin

fue retomada por fos hermanos Vicenzo Riccati y Giordano
Rccati. ', .Fueron hijos del cIebre Giacomo Rj.ccati, de
Venecia, creador de las ecuaciones diferencial-es de Riccati.

Vicenzo Riccati ense matemticas en Ia Universidad

de Bolonia.

En 11 67 I envi cinco cartas a Jacopo

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,

(1) r.rrtn , op. 1.- p. to3.

(2) P. Riccardi, Bibliotzea matenfica lialiana,
VoI. II, P- 369-

(3)

Nuovo gioanoLz

pp.

i37-219.

Modena, 1893, pt.

dz 'Leffea-: d'lto.tia.', Modena, 1719, T. >/r,

ll

52

Euler y De Foncenex fueron discutidos. Como resumen, Ricca

ti consi.dera 1as crfticas de Euler a D'Aler.rbert vlidas t -cuando Eul-er toma

.u
) +

-.-n

co

(2r.--llr t/-T
n

donde y es el r.( - I ) requerido,

L(-l )

-1)nCT-

zn

deriva de 1, Para n = -,

D'Alembert modifica e1 proceso I =

,t
1
'),!./:Tznl|--!-l
=co^(ZL
n
n'

I+

= Q en eI miembro de Ia derecha, pero no

en eI de 1a izquierda, 1 obtiene l**=n
I U=0 = t-l-11.
Haciendo +n

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.

Ya hemos visto que Euler no plantea lfrnite en el

sentido oe que

L0

sea real o rmaginario y no afirma en ningn

momento que para eI (t* u)/1 representa un nme.o positivo.

De hecho, Euler toma despus (l + u)n = x = -l !' de esto en-

cuentra (-1).

La falta de explicacin,

por parte de Euler,

en torno a esta proposlcin, pusieron a Riccati y a otros contra 1.

_1

53

R.iccati escribe -1 - re s J-ugar de 1 + N, haciendo

f-(-t-wl = Nt y Ilegando, necesariamente,a L(-tl = 0.

l'1s

a6n, encontr dos ramas para la curva logarftmica. Los

puntos de vista de DrAlembert y J. Bernourri prevalecieron.
Vj.cenzo Riccati escribi6 una carta a Joachim pessuti, quien
habfa estado en San Petersburgo y era amigo de Eu1er. pe-

ssuti era entonces editor de 9os revstas literarias, 1a

Anf.h.o Lo gia tLomanl.
.y E [ [eme-nidi Ltte/Laniz I y despus de t1B7
fue profesor d.e matemticas aplicadas en el- CoIlegio della
Sapienza en

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,

Una rp1ica a Pessuti, hecha por V. Riccati., apareci6 en

forma an6nima (1)

Los ataques de Riccati a Eule.r fueron respondidos, a su
vez, por un segundo escritor, influfdo por 1os puntos de
vj.sta de san Petersburgo, eI as.trnomo alemn Friedrich
Theodor v. Schubert en un .ttf ",rto "Ueber di.e Logarithmen
En el ao de 1776, Giuseppe Calan
veneinter Grossen" (2).
drelli, profesor de maternticas de e1 Collegio Rornani, ataca a Pessuti y a Euler en un panfleto Sa4gio analificct
^opn-a.
la ,duzionz dzgl-taheli cicotmt- ai Logatiini inaginani, Roma t 1718,
Como

V. Riccati Io habfa hecho antes que 1, Calandrelli

emite dudas acerca de la veracidad de la relacin Euler/=T- = t-(-l-) sustentando su argumentacin en

2L(-l-) = (1) . La misrna ]fnea de argTumentacin fue soste-

Bernoulli

nida por P. M. Caldani, ufl alumno de V. Riccati y profesor

en BoLonia.
EI escrito de Calandi 9el-la pn-opcnziat"Leane.to

la

cittcondennza

EeincLL&ana {r'a

iL --

del clteolo e dcx l-oga,t-Lri, Bolonia,

L182, caus que DrAlembert declarara a CaLdani eI primer

temtico ital-iano (3) .

ir.la-

Caldani objet, como Biccati 1o ha-

(1) Nuovct Sic,tt-ol dz' Le,tLu,a,ti d' Lfi,tia,

144-204. Vase tain T. XVIII, pp.

T. XV, Modena, 1118,

107

pp.

(2) Este artculo d,e Schu-bert se notifica en el Goffingi,sehe Anzeigzn

von gelelur-.tzn Sachut, 1794, 2 6d., p . 'i 313 como respuesta a un -artcuro de Riccati en l.{moiz della Soc. Tta!.iana, T. rv, p. 166.
(3.)

Frres

c,'!), c.t.

A-t Ca!-dani.

I
55

= 0, cuando z=0.

bfa hecho, 1a afirmac6n.de Pessutj. z{J

Caldani escribe 0:0 /-lT,t

se si.gue a = q ,/-71
pus un artfculo

ahora, si 0 = 0 /=1-

a , afll-

E1 escribi des-

una imposibilidad.

que no hemos revisado: dle,aaiorLi opit un --

opLtlcu/';o d.et Pad.nz Fancoctninc Ba,ttua-bila, de,t- Logaii,ni

gafivi,

Modena

dz'rume^i nz-

1791.

incluyendo a Pessuti, coinciden en

Estos escrilofes,

que

Ia prueba de1 teorema fundamental de Euler, no es claro

)

Cuando Euler escribe {(l + wl =

u,

donde

ar

es un infinitesi-

ma1, 1 obtj.ene t-(1) -- 0 cuando u) = 0, y no puede afirmar

a1 mismo tiempo, dicen l-os crfticos,

4r lT,

gu -oglll = ?r /:T-,

QA.e.

lluchos a. estos puntos son discutidos d,e manera muy in-

^-l

teresante por et jesuita espao1 Juan Andrs D su libro

al- que anterormente nos ref erimos.

En

L7

66, cuando

l-os

jesuitas fueron expulsados de Espaa, 1 march6 hacia Ita-

1ia y se interes en las discusiones filosficas

debatfan.

Se inclin

que ahf

se

por las conclusiones de Euler, pero

pens que si I = zo = eZnG-T, entonces debfesemos tener

0 =

Zr

{:1- = 4i;,/:T ,

e-fc.

De un ms alto nivel es Ia j.nvestigacin de Gregorio Fon

tana, profesor de l-a Unversidad de Pavia.

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

mafenatica e di,sica- dotla Soe,ti lta-tiana,

'1782, pp. 183-202.

r. r.

verona,

56

ia teorfa sobre pruebas ns simples y rigurosas

)

/:1-

Primero, 1 toma x : vn^g Y obtiene

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

x = 0, t-ogll) = t?n/-1Una segunda prueba conienza de x = coA g e involucra in

tegraci6n,

Una tercera prueba similar,

funciones trigonomtricas.

Fontana razona con una claridad

que es poco usual en los artfculos

aq-ue11os

tiempos,

i4anj.f

involucra varj.as

sobre Los logaritmos

iesta cmo en cierto rnomento te-

nfa pruebas absolutas de la falsedad de 1os resultados

Eurer.

de

de

En u{-og('| = - a 1 pensaba que rog (-a) debf a ser

real siempre que -a fuera real.

De hechor- af iri.a, nosotros

tenenos que !-l-a) = lTn - t l /-:T

+ [-cg a.

Finalmente, Fontana deriva i-os teorernas sin emplear el

c1cu1o integral; util-iza seres infinitas,

atencin a cuestiones de convergencia.

pero no pone

-t
57

Este acertado artfculo no impidi la aparicin de cinco

',pruebas" de que 1og (-z) = 1og (z) en Ia Tzonia de,j-' Analiai,
En 1795, Gianfrancesco
Roma, 1792, de Pietro Franchini,
de Ia Universidad de Ferrara, discuti- extensamen

I'talfatt,

te Ia cuestin de si 1a curva logarftmica tiene una o dos

La ecuacin q dx-= dq tj-ene un nmero infinito
ramas (1) .
de x ' 0 euando
Para cqa^lquier constante n, nx = qn da lugar a

de integrales incluso bajo Ia restriccin

q = 1.

una ecuacin di.ferencial

dx = dU,

Antes de integrar,

debe acordar el n.mero de valores que y deber tomar.

Si

tomara solamente un valor se obtendr x = U; si toma dos va

lores se tiene

u2* = Uz

lx

- ul

lx + t1l =

0.

EI que zx = u

tenga slo una rama se desprende de consideraciones

geom-

tricas y analfticas.
En los libros de texto de rnatemticas,1a falta de acuer-

do en torno a

1og

(-1) era tan marcados como en 1os artfcu-

1os especfficos del tema.

(1)

I'lznonio.

, I,

dlla

teo.Le aecadenia

u,.zl

. 2-54. Este artcuLo es

conocido por noso:ros .a travs

de una muy val-iosa monografa hj.strica Ce Bernard F. Thibant,
Dt-,sent-al-io ln todiam confhovznie- cLlc nurnn otu)m nzgafivoru-m ef
inpod.tibiliun Logattifhnoa ,sLsfzna, Gortingen, 1191 , p. 20.
El- artculo Ce MaLafatties reseado en eL Gottingi.achz Anzeigen - vonge-zlttienSacltzn, 1796,2. 8d,, p. 1212.
el GoflingLsehe Anze-t-gell para 17t6, 2. 3d ., p. 1029, hace referencia a otros artculos sobre el tema, especialmente e\ De Logaluitfur,e nunQ.,\Orum nZgfvOnLur, por Frid.rich t{a1let, profesor de
upsala, gue fue impreso en eI Nova Acia Rzg. Se'nf . Up,sa-!-tzrusi.a,
T-

pp

vpr. rV,

1784, Pp. 2O5-22O.

1
58

Odoardo Gherli (1) se. basa en gue Ios n6meros negativos

dif j.eren de 1os positivos,

si-mplemente porque han sido to-

mados en sentido contrario,

y que 1os logaritmos no toman

conciencia de tal contrariedad.
Pietro PaoLi. (2) deriva
"el famoso Teorema del Seor Euier", pero consj.dera,

usar series infinitas

para asegurar rigor.

en su lgebra (3), muestra familiaridad

debe

Paolo Frisi,

con Ios escritores

destacados sobre. ltogaritmos; deduce los resultados estable

cidos por Euler, pero no les si-mpatizan.

I-luchos resulta-

dos Ie parecen absurdosr por ejemplo, Lag(-l): IT = ,

EI objeta tambin que 0 . /-T- = 0 y afirma gue un cero

l.
irna

ginario representa una magnitud real diferente de cero.

En un extenso Volumen IV

(4)

, publicado en l1B2

en

Flcrencia, Petro Ferroni dedica un capftulo a logaritmos

de nmeros negativos, s1o para Ilegar a la conclusin
que consideracones analfticas,

conti-nuidad dan Ll+ll

t trp,[f
na pura. ( purio,zz ,tegionz)
nGr.erc real

= LtJ

de

= L(-l).

El- argumento de Eul-er

lo tanto Ll-,J)

asf como geomtricas

de

A(-11 = CLtl ' g:)"t:/:T , y Por

es ref utable, :'a gue por doctr i

LJ =

se t:l.ene -Y=-C',

).,

Y -L(-Y) un

-L.,

Ferroni basa s u teora de fogaritrnos

gene-

(1) GU elenznLi .ctn-ico-p,ta-Ltci, r. rr., Modena, 1771, p. 2g1

Q) E{-Enn. d' A-gzb,t-a. T. t. , pisa, 17s4.
(3 ) Pautt-i Fnirsi }pelun f.cnu,s p,'c.tnu, Mediolani , i82 , p. .l Bg ,
1

(4) P. Ferroni, l'lagrvilttnun zxponentiolun Loga.,ti,thmorutn,

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

rales sobre Ia relacin

alguna en este proceder,

A. =

! Cx sin percibir inconsistencia

Los signos de deadencia son visibles

nia.

tambin en Alema-

El alto nivel alcanzado qn ese pafs a mediadcs del

sig1o, declin hacia el- final del mismo.

Kastner (1),

de

1a Universidad de Gottingen, demuestra, partiendo de la

teorfa de 1as razones, que no =a pr"a"n tener logaritnos
reales de cantidades negativas.

I. A. C. Michelsen, se-

gui.dor de Euler, profesor del "royal gimnasium', de Berlfn,

guien en 17BB trajo a Alemanj.a Ia traduccj.dn del famoso
lnfttoducfio de L748 de Eu1er, aadi6 notas a 1a traducci6ry
que indican que Michelsen no alcanzd a entencer completamente 1os argumenos de Euler (2); sostenfa, por ejemplo, que a cada n.mero, sea positivo o negativo, 1e correspon-

de uno y slo un logaritmo.

En L795, G. S. KJ-ugeI (3) se

man j.f iesta como sigue : "81 Lo g ( - xZ I es impos j.b1e, s j.n embargo el Log(-xl es posible, asf que debe ser demostrado
que alguna condicj.n no permite que x sea ton'.ada negativamente. "

La posibilidad

de los logaritmos de nneros ne-

gativos descansa sobre 1a posibilidad

tivos mismos.

de los nmeros nega-

EL inters en la di-scusi6n de los logarit-

mos se demuestra en noticras ocasionales ,r" aparecfan en

(f )

d. nnz u. ar7a.et. l,la-tlL. Such rv, 1?: <?1

vase tanbin, Cantr, 0p. cif. IV, 1908, p. 313; B.F.
C'p.. ct t. p . 21 (2) Eulzn, Eint-eiLuna in d. Ar.f-t,tit d. llnendUchen, 1788, ?. 503 .
(3) Hndenbunq A,zebLv, 1'195, : nft, pp.'309-319; 4 Heft., c: . .i / u-.1
Le,t-pzgen f.lactazin

t 9

e.

JJ

60

e1 Gof,ngch Anzgzn von .ge.Lzhrtzn Sachen ( 1) .

Una nota del

ao 7186 manj.fiesta que los oponentes a Euler trataban

decidir La cuestj.n mediante frmulas de integracin,

de

radios

de curvatura, etc.,

esto es, intentando pasar sobre conceptos fundamentales por nedio de sisternas de notacin, cuando,

Ce hecho, 1os conceptos deben'ser determinados pri.nero -

tes que l-os sistemas de notacin sean introducidos.

Los

oponentes de Eu1er. eran ca1cu11stas, ms que filsofos.

En conclusi6n, nos preguntarnos, cul fue eI resultado

de medio siglo de dscusin?

EI sentimiento prevaleciente hacia 1a teotfa de logaritmos de

n6meros negat(vos fue de duda.

En 1199, Christian

profesor de matemticas en Estrasburgo, expresaba dudas (2 ) sobre la validez de Ia frmula Ll-xl = L(-lI * Lx.
KaII'.p

En 1801, Robert lloodhouse, de Caius CoIleqe, public un

artfculo

"on the necssary truth of certain conclusions ob-

taines by means of imaginary quantities"

(3).

EI afirma (4):

"Las paradojas y contraoicciones discutidas entre todos 1os matemticos comprometidos en Ia controversia concerniente a

(1)Vase 2 tsd., 1'786, p.1029; 2F,d,.,1792,

-op. 1185; 2 Bd., 1i94, pp.
1029-1313; 2 Bd., 1796, p. 1212.
(2) .tontfgrrj-er's, Oic. d.. enc, maf,r,,, T. II., Paris, 1836, p. 185,
Art -"Logarithrae".
(3) "Sobre la verdad ;iecesaria de ciertas conclusiones obtenidas por necio de cantidades imaginarias,,.
(4) Piuilc,sc:piie T;tarutac-Lictp,s, 801, p. I l 1.
1

I
61

1a aplicaci6n de logaritmos a cantidaCes negativas e inpo)

sibles,

deben ser ernpleadas como arguentos contra eI uso

de dichas cantidades en 1a investigacin".

)

En 1803, L. bi, Carnot decfa en su

Gzome,Lz de poai.Lion,

p I1I, gu eI largo debate no habfa podido aclarar Ia para_l

_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

o no, igual a LLog (21 , exponindoLo de 'rane

ra nagistral; sin embargo, la discusi6n de 50 aos involus

craba Ia cuestj.n ms elemental, de si 1og x es o no igual

I

1og

(-x) .

Por qu eI brillante

no fue convincente?

escrito de Eul-er de 1749

Por tres razones:

1.- Euler no explicit

logaritmica
,

que la cuesti6n, de si la curva

tiene una o dos ramas, en realidad no tiene

que

ver de manera fundamental con }a teorfa de logaritmos de

meros negativos y complejos.

2.- La prueba que Euler ofrece para su teorer,la fundanen-

es decir, gu log x tj.ene un infinito

taI,

nmero de valo-

res, no fue explicado exhaustivamente para lograr una con,

vicci6n general
3.

- La nayorfa de los matenticos no habfan aprendido

trabajar con cuidado 1as operaciones inversas mltiple valua

das

-y' 1as enf ad.osas cuest j.ones de discontinuidad.

Tampoco

evitaron e1 pej-igro de 1a confusin resultante a1 consiCerar

,

simultneamente logaritmos de diferentes bases.

62

Hay una caracterfstica

que merece atencin.

aceptada como suficiente

I

notable en esta larga discusin

Generalmente una prueba genuina es

para establecer una verdad

matem

tica con absoluta certeza; ningn argumento puede ser dado

contra taL prueba. Pero, como una reglar la discusin
de 1os logaritmos de nmeros'c.omplejos se argumentaba tanto a favor de una posici6n como de la otra, de tal rnanera
que la decj.si6n'pareciera descansar sobre 1a preponderan cia de los argumentos o 1a preponderancia de 1as probabi lidades, asf quq a todos aguellos partidarios de una concepci6n u otra, parece como si les conviniera promover tan
tas "pruebas" como fuera posible.
ticularnente

Esta actitud fue par-

notabl-e en los debates por corresponoencia.

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

La ampli adopci6n de Ia definici6n de logaritmos como ex

ponentes, en Ios libros de texto de 1as escuelas, fue debi-

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

se asocia con su norrbre; 1 reconocfa que tomaba

I'f-T l'-'
infinitos valores distintos.
Cuando el exponente es reaL y
raclonal, 1os mltip1es valores de am/n fueron reconocidos
por Euler y algunos otros r n 1os artfculos de investigacin.
Como una regIa, estos raulti-valores no fueron discutidos en
1os libros de texto de1 siglo XVIII, como son las lgebras
de saunderson, Blassiere y Lacroix; o los textos matemticos
de La Ci1le, J.F. Haseler, Abb Saurj", Karsten, Reyneau, Bzout, Gher1i,, Ri-vard. y Bertrano; o 1os diccionarios matemticos de E. Stone y Ch. Wo1f.
(1) L.'Euler,
.Cap.

(2)

21

AruLe/)tng Lun

Mgebla, St. petersburg, 11iO, 1. Theil, --

c. r. KussLer,

Leltae von dn Loga,ti-thn0[, Tabingen, .rEo8. prefacio.

{
i(

"t

64

La relaci6n

l
l

*oga se deducfa fcilmente de Ia nueva

definicin de 1'ogaritmo y fue empleada por muchos escritores de este siglo, ta1 como G. Fontana 1o hj.zo en 1782.
a-