32

Por ello las reas de los rectngulos obtenidos son iguales a las
de los rectngulos originales. Por lo tanto, las reas de dos
figuras-escalonadas son iguales como son sus lmites, es decir,
las reas de los trapecios curvilneos:
qb
qa

Hemos demostrado la propiedad, suponiendo que a<ib.

No obstante, es vlida tambin, cuando a=b y cuando a>b.
En efecto, si a=b, entonces aq=bq, y las dos integrales se
reducen a cero de modo que la igualdad sigue siendo vlida.
Si a>b, entonces aq>bq; en este caso se verifica la igualdad
aq

bq

(ahora b<ia y por eso b y a cambian de lugares). Pero, segn

b

lo convenido en el p. 8, para el caso en que >b, f f ( x ) d x

b
.
significa \ f(x)dx. Por consiguiente:
a
bq

aq

aq

bq

y, como los segundos miembros de estas correlaciones son

iguales, deben ser iguales tambin los miembros primeros:
bq

aq

As pues, la correlacin comprobada queda vlida, cualquiera que sea la correlacin entre a y b: a<b, a=b cOb.
b

12. Hagamos a=l y examinemos \x~^dx. Si b>\, la

i
integral indicada expresa el rea del trapecio curvilneo
ACDB (fig. 24). Si 6=1, la integral se reduce a cero. Por fin,
si es 0<?<1, entonces el lmite inferior de la integral ser

33

FIO. 24

F1G. 25

menor que el superior y en este caso tenemos:

6

\x- dx = \x~ldx.
1

Esto significa que la integral se diferencia del rea del trapecio curvilneo B'D'CA slo por el signo (fig. 25). En todo
caso posible, para cualquier nmero b positivo la integral
b

x~ldx tiene valor bien determinado. Este valor es positivo,

cuando b>\, es nulo cuando 6=1, y es negativo para b<\.

34
u

Es evidente que la integral \ x~[dx es una funcin de b.

i
Esta funcin desempea un papel muy importante en las
matemticas; la llaman logaritmo natural del nmero b
y designan as: Inb. Las letras / y n significan las primeras
letras de trminos latinos logarithmus y naturalis. As:

Indiquemos algunas propiedades del logaritmo natural.

Ante todo, tenemos:
, si
; ln.l=0;
, si
Obtengamos ahora, la propiedad fundamental del logaritmo:
logaritmo de un producto es igual a la suma de logaritmos de
los factores, por ejemplo: In6=ln2+ln3. En el caso general:

\n(bc)=lnb+\nc,

es decir,
be

c
1

En efecto, segn lo demostrado anteriormente:

c

<?c

para cualquier <p>0. Hagamos q=b, entonces tenemos:

c

be

= \x~i-dx.
Por eso,
b

be

x-1 dx.

- dx -f ^ x- dx =
1

Segn la propiedad sacada en el p. 8, la ltima suma puede

35
be

ser sustituida por la integral \ x~*dx, as que

be

~l dx + x-1 dx =

que es lo que tenamos que demostrar.

De esta propiedad se pueden sacar algunos colranos.
Sea b>0, entonces, segn lo demostrado, tenemos:

y, como lnl=0, tenemos: lnfe+ln-r-=0, de donde:

In -r- = Inb.

Por ejemplo, In-^- =In2. Luego, si fc>0 y c>0, entoncesv

-rO

\nb;

en otras palabras el logaritmo de un cociente es igual a la diferencia entre los logaritmos del dividiendo y divisor.
La propiedad fundamental del logaritmo se ha formulado
para el producto de dos factores. Pero es tambin vlida para
el producto de cualquier nmero de factores. As por ejemplo,
contando con tres factores, tenemos:

\n(bcd)=\n[(bc)d] = \n(bc)+lnd=(\nb+\nc)+\nd=\nb +
+\nc+\nd.
Es evidente que el logaritmo de un producto es siempre igual
a la suma de logaritmos de los factores, sea cual fuera el
nmero de stos.
Aplicaremos esta propiedad a un logaritmo de la potencia
cuyo exponente k es un nmero positivo.
Encontramos:
. . . +lnb = k \nb.
k veces

ft veces

Por ejemplo, Inl6=ln2 4 =41n2.

36

Sea c=i/l>; entonces ckb, y, por lo tanto

de donde
ln

Por ejemplo,
ln

Si c=>y, donde p y q son nmeros enteros y positivos,

conforme a las propiedades demostradas tenemos:
l
p
*/
n ~i = n]/
= -

n pP- l

= j

Por consiguiente, la propiedad

es vlida no slo para k entero y positivo, sino tambin cuando
k es una fraccin del tipo .
1
Es fcil ver que la misma propiedad es vlida, cuando k
es negativo (entero o fraccionario). En efecto, si k<S), entonces fc>0 y en este caso tenemos:

Y, por fin, esta propiedad es vlida para k=0:

ln& = l n l = 0 = 0 - l n & .
As pues, para cualquier k racional (positivo, igual a
cero o negativo, entero o fraccionario) se puede afirmar que
Podramos comprobar que esta correlacin es vlida tambin para k irracional; por ejemplo,
ln
= K2 ln b.
Aceptemos esta ltima afirmacin sin demostrarla y en lo
sucesivo hagamos uso de la propiedad siguiente: el logaritmo