Teora de nmeros

Entrega 1: Funciones multiplicativas

Versin 2003-05-10

Copyright (c) 2003 by F. A. Gonzlez de la Hoz.
This material may be distributed only subject to the terms and conditions set forth in the Open Publication License,
v1.1 or later (the latest version is presently available at http://www.opencontent.org/openpub/).

CONTENIDO

PRESENTACIN
Sobre la notacin

PRELIMINARES
Divisibilidad
Mximo comn divisor
Algoritmo de divisin de Euclides
Nmeros primos

FUNCIONES MULTIPLICATIVAS
Definicin de funcin multiplicativa
El producto de Dirichlet
Funciones multiplicativas y series infinitas
Series de Dirichlet
Buscando funciones multiplicativas
Temas avanzados: sumas de dos cuadrados
Funciones Tau
Funciones de Mbius y de Mertens
Transformacin de funciones
Funciones completamente multiplicativas
Funcin Lambda de Liouville
Funciones sigma
Comportamiento asinttico de las funciones sigma
Nmeros perfectos, nmeros de Euclides y primos de Mersenne
Funcin de Euler
Comportamiento asinttico de la funcin de Euler
Series de Farey


APNDICES
Nmeros de Bernouilli

Frmula de sumacin de Euler-Maclaurin

EJERCICIOS PRELIMINARES
EJERCICIOS FUNCIONES MULTIPLICATIVAS
EJERCICIOS APENDICES


Temas de las prximas entregas: Congruencias, La funcin zeta de Riemann, El teorema de Dirichlet,El teorema
de los nmeros primos, Nmeros algebraicos.



PRESENTACIN

Estos apuntes son una primera entrega que tengo intencin de ir completando
progresivamente. Tratan de la teora elemental de nmeros y son el resultado de ir recopilando
diverso material guiado por mi curiosidad y de organizarlo segn mi propia visin. He procurado
presentar los temas de forma sistemtica y sugerente, con especial inters en incluir las
demostraciones de todos los resultados que se mencionan.

Cada tema tiene dos partes: la teora y los ejercicios. Realmente los ejercicios son la parte
de la teora que contiene demostraciones y clculos que se ponen aparte para no romper el hilo de
la exposicin. Los conocimientos de base requeridos equivalen a algo as como un curso de
clculo y otro de variable compleja, y supongo que es los que se puede adquirir con el material
usual de estudio de cualquier carrera de ciencias.

Debo advertir que hay partes de las demostraciones y de los clculos que las he realizado
yo mismo a modo de ejercicio y no estn revisadas, de modo que podran ser poco rigurosas o
contener algunos errores. As pues, invito al lector a que dude de todo y utilice estos apuntes para
desarrollar su propia visin de los temas. Tambin agradecer cualquier correccin y observacin
al respecto que me pueda hacer llegar a mi e-mail: matdelahoz@cmp.es.

Esta entrega trata de las funciones aritmticas bsicas: al estudiar la teora elemental de
nmeros aparecen varias funciones con propiedades tiles (la funcin sigma, la funcin phi de
Euler, la funcin u de Mbius, ...) pero frecuentemente en las introducciones a la teora de
nmeros se presentan de forma bastante inconexa. Aqu veremos que pueden obtenerse
sistemticamente y que muchas de las demostraciones, aunque puedan ser algo laboriosas, se
reducen a clculos cuyo resultado es muchas veces previsible de antemano. Las clave es la
propiedad de una funcin de ser multiplicativa. Esta propiedad permite explotar el hecho de que los
nmeros pueden factorizarse como producto de potencias de nmeros primos y, tal como aqu se
muestra, esto es suficiente para justificar la definicin y el estudio de todas estas funciones. Estas
cuestiones aparecen de forma natural al estudiar el producto de Dirichlet y aqu las caracterizamos
por medio de una transformacin, que representamos por M . Veremos que las funciones
multiplicativas son las que quedan invariantes ante la transformacin M , que la transformada Mf
de cualquier funcin siempre ser multiplicativa y que el operador M es distributivo para el
producto de Dirichet.

Para animar al lector a explorar este punto de vista, veamos un ejemplo: el siguiente es un
resultado de Liouville de 1857, que en los libros de texto suele aparecer como


=
n d n d
d d n d d
|
2
|
) / ( ) (
Aqu se expresa poniendo y su demostracin es un simple clculo
2
* *
1 ) ( x x =

*
) ( x ) 1 ( )) 1 ( ((
* * *
*
x x x =
( =
x x x
* *
2
*
*
1 ) ) 1 (( =
1 )
*
2
*
x x 1
*
2
*
x = =
1 ) 1 (
*
2
* *
*
x x x
2
*
1 x
= = = 1 ) ) 1 1 ((
*
2
*
*
*
x x


El concepto de funcin multiplicativa tiene un amplio campo de aplicacin cuando se
relaciona con las funciones analticas complejas definidas como series se potencias de nmeros
enteros (series de Dirichlet). Ese doble punto de vista es una herramienta muy potente: la potencia
del anlisis de variable compleja se utiliza para estudiar el comportamiento asinttico de las
funciones multiplicativas, y, por otra parte, las propiedades aritmticas de las funciones aportan
informacin sobre las propiedades analticas de las funciones complejas. La funcin zeta de
Riemann ) (s es un caso especialmente importante que veremos con detalle en las siguientes
entregas. La famosa identidad en la que Riemann bas su trabajo sobre la funcin zeta


= =

= p
s
s
n
s
p
p
n
s
1
1
) (
1

es un claro ejemplo de estas ideas. Actualmente las propiedades de la funcin Zeta son uno de los
temas ms importantes de investigacin matemtica. Recordemos que el problema de la
demostracin de la hiptesis de Riemann sobre la localizacin de los ceros de la funcin zeta, que
fue presentado por Hilbert a principios del siglo veinte como uno de los principales retos para la
comunidad matemtica, an no se ha resuelto.


SOBRE LA NOTACIN

Puesto que estudiamos principalmente funciones reales o complejas definidas sobre el
conjunto de los nmeros enteros mayores de 0, es decir, funciones , por defecto
supondremos que las funciones son de este tipo sin mencionarlo expresamente.
R N f
*
:

El nombre para las variables enteras ser normalmente o y a veces utilizaremos la
variable
n m
x para nombrar funciones que usualmente estn definidas para los nmeros reales. Esto
es, identificaremos el nombre de las funciones por su expresin en x . Por ejemplo, pondremos
para representar el nombre de la funcin que cumple y as, llevando
esta notacin hasta el extremo ltimo, se entender que . Naturalmente,
procuraremos no abusar de esta notacin donde pueda crear confusin y nicamente la
utilizaremos donde sea ventajosa y clara. Las funciones ms usuales sern las siguientes:
) 2 (
2
+ x f 2
2
+ = n f
2 2
2
+ = n
) (n
) )(n (x
2
+
1 ) ( 1 = n (funcin unitaria constante)
k n k = ) ( (funcin constante)
n n x = ) ( (funcin identidad)
k k
n n x = ) ( (funcin potencia)
n x
a n a = ) ( (funcin exponencial)

Como es usual, utilizaremos el smbolo para indicar que es divisible por , y
para indicar lo contrario. El mximo comn divisor de dos nmeros lo representaremos como
.
a b | a b
a b |
/
MCD ) , ( b a

En las expresiones que utilizaremos ser frecuente el uso del smbolo de suma o de
multiplicacin limitada por condiciones que normalmente aparecern bajo el signo del sumatorio.
Por ejemplo

n d
d
|
representa la suma de todos los nmeros que dividen a d n

=

>
+ + = =
5
2
5
4
) 5 ( ) 4 ( ) 3 ( ) ( ) (
3
i
i
i
f f f i f i f

! 2 1
1
n n i
n i
= =

L

A veces se necesitarn realizar sumas para los nmeros primos, normalmente
reservaremos la letra p o para indicarlo. Por ejemplo:
i
p

30 5 3 2
60 |
= =

p
i

Cuando interese que las condiciones aparezcan como un factor multiplicativo en funcin de
las variables las pondremos entre corchetes y entenderemos que el corchete vale 1 si las
condiciones se cumplen o 0 si no. Por ejemplo:

) 4 ( ) 2 ( ) 4 ( ) 5 ( ) (
5
3
4
5
2
f f f f n f
n n
n
n
+ + + =
)
`

> +

=



La descomposicin de un nmero en sus factores primos se har usualmente con la
siguiente notacin siendo primos diferentes y

=
=
r
i
i
i
p n
1

r
p p , ,
1
L
r
, ,
1
L enteros.

Para un nmero real r definimos la funcin parte entera | | r como el mayor entero que es
menor o igual que r . (Obsrvese que, si r es negativo y no entero, su parte entera es mayor que
su valor absoluto, contrariamente de lo que ocurrira si r fuera positivo).

PRELIMINARES

En estos apartados se revisan algunos resultados muy elementales sobre nmeros
enteros, incluyendo las demostraciones muy bsicas. Como seguramente sern ya conocidos por
el lector, puede repasarlos por encima haciendo hincapi nicamente en los resultados ms
importantes que aparecen enmarcados.

DIVISIBILIDAD

Sean y d dos nmeros enteros, siendo y . n 0 n 0 > d

Se define el cociente entero de entre como el mayor nmero que cumple la
desigualdad y lo representaremos por
n d 0 c
d c n | | d n c / = .

Est claro que este nmero siempre existe y es n c 0 .

Se define el resto entero de entre d , como n | | d d n n d n = / % .

El resto entero cumple d r < 0 , dado que si fuera 0 < r
r
no podra ser y si, por
otra parte, supusiramos que r , entonces sera
d c n
c d d d r d c d c n + + + = + = ) 1 ( ) 1 (
c
( )
en contradiccin con la definicin que hemos dado de como cociente entero.

En resumen, se deduce que siempre podremos poner r d c n + = siendo y
tales que y .
| | b a c / =
d n r % = 0 > c n 0 > r d

Observemos que de forma equivalente tambin podramos haber definido el resto de
entre como el menor nmero positivo (mayor o igual que cero) que puede expresarse en la
forma para algn c positivo. Se observa que es tambin el nico nmero positivo
menor que que cumple la relacin r
n
d
r d c n =
d d c n = para algn c positivo, ya que si d c n r = es
otro nmero positivo, debe ser entonces mayor que el mnimo r , luego habr de ser c c > , y
entonces tenemos d d c d d c r d c c c r d c r = + = + = 1 ( ) ) ( .

Diremos que divide a , que es divisor de , que d es un factor de o que
es mltiplo de , cuando sea
d n d
0
n n n
d % = d n
n
y lo representaremos por . En caso contrario,
pondremos . De lo visto anteriormente se deduce que divide a si y solo s existe un
nmero entero c tal que . Tambin es fcil comprobar que los divisores de un nmero
entero positivo no pueden ser mayores que dicho nmero.
n d |
n n d |
/
d
c d =


Mximo comn divisor

Sea P una propiedad aplicable a ciertos enteros positivos. Si la propiedad P es tal que
cuando se da para dos positivos, y b , tambin se da para su suma a b a + y, en caso de que los
nmeros sean distintos, tambin para su diferencia positiva b a , diremos que la propiedad P
se mantiene con la suma y resta de enteros positivos. (Ejercicio MCD1)

Para toda propiedad P que se mantiene en la suma y la resta de enteros positivos existe un
entero r tal que todos los enteros positivos con la propiedad P son exactamente sus mltiplos.

Dados dos nmeros enteros positivos, definimos su mximo comn divisor
*
, N b a
d b a MCD = ) , ( como el mayor nmero entero que divide simultneamente a y a b ,
*
N d a
es decir, que puede cumplir simultneamente las igualdades = d a y = d b con algunos
nmeros enteros y .

Existe otra forma, muy til, de caracterizar el mximo comn divisor de dos nmeros. Los
nmeros que se pueden poner en la forma n b a n + = u para algunos y u enteros
diremos que son una combinacin lineal con coeficientes enteros de y . Resulta que el
mximo comn divisor es tambin la mnima combinacin lineal positiva. Este doble aspecto hace
del MCD un concepto muy til (Ejercicio MCD2):
a b


Sea el mnimo entero positivo que puede ponerse como combinacin lineal con m
coeficientes enteros de y b . Entonces m a ) , ( b a MCD = y cualquier combinacin lineal con
coeficientes enteros de a y b ser mltiplo entero de . En otras palabras, siempre que existan m
dos enteros y u tales que b a n + = u , existir tambin un entero tal que
) b MCD n = , (a .


Observemos que MCD m = es un mltiplo de todos los divisores comunes entre a
y . En efecto, sea
) , ( b a
b g un divisor comn de y b . Podremos poner a = g a y = g b y
entonces g a m g g b + = + = + = ) ( u u u .

Si a y b son positivos, los valores y u se pueden escoger de modo que el signo de
uno de ellos sea el que queramos. En efecto, ya que b a a b b a n + + = + = ) ( ) ( u u
siempre se puede incrementar un coeficiente a costa de disminuir el otro.


Algoritmo de divisin de Euclides

Este algoritmo se utiliza para calcular el mximo comn divisor de dos nmeros.

Sean y dos nmeros enteros siendo y sean m n d 0 > d n ) , ( d n MCD = , | | d n r / =
y . d n c % =

Si r se tiene que . 0 = d m =

Si es mayor que 0, vemos que todos los divisores comunes de y d son
tambin divisores de
d c n r = n
r , luego divide a m r , y, por tanto, divide tambin a .
Tambin se observa que los mltiplos comunes entre
m ) , r (d MCD
r y son mltiplos de n , y entonces es
mltiplo de , por lo que es un divisor comn de n y y, por tanto, ser
un divisor de . Como es mltiplo y divisor de , se concluye que .
Vemos que en este caso el problema de obtener se ha reducido al de obtener
con la ventaja de que y
d
(
n
(d
) , ( r d MCD
m
) r
) , r (d MCD
d
d
) , r (d MCD m
, n
) , r MCD m =
) d MCD
, (d MCD r son nmeros mas pequeos que y d
respectivamente.
n

En conformidad con el resultado anterior, el algoritmo de Euclides consiste en dividir los
dos nmeros cuyo mximo comn divisor buscamos. Si se obtiene un resto igual a 0 se da por
terminado el proceso, tomando como resultado el denominador. Si el resto no es 0 se vuelve a
repetir la operacin tomando como numerador el antiguo denominador y como denominador el
resto.


NMEROS PRIMOS

Se dice que un nmero entero p es primo cuando es y sus nicos divisores son 1 > p p
y . Un nmero positivo que no es primo se dice que es compuesto. Se ve fcilmente que para
que un nmero sea compuesto es necesario y suficiente que existan dos nmeros y tales
que siendo y n .
1
n d c
c d n = 1 > > c n 1 > > d

Si un nmero primo p divide a un nmero compuesto , entonces divide a alguno de sus n
factores.
(Ejercicio Primos1)

Diremos que un nmero se descompone como producto de una combinacin con
repeticin de determinados factores, si se obtiene como resultado de multiplicarlos todos ellos.

P.1.- Todo nmero positivo mayor de 1 se descompone en forma nica como producto de
una determinada combinacin con repeticin de factores primos.
(Ejercicio Primos2 )

El resultado anterior muestra que todo entero positivo, , lo podremos expresar en la
forma siendo diferentes nmeros primos y siendo los exponentes
n

=
=
r
i
i
i
p n
1

r
r
p p , ,
1
L
,..., ,
2 1
enteros no negativos. Tomando los nmeros primos ordenados de mayor
a menor y los
r
p , ,
1
L p
r
,...,
2
,
1
todos distintos de , la descomposicin anterior es nica y nos
referiremos a ella como representacin cannica de como producto de nmeros primos.
0
n

En este punto es fcil percatarse de que existen infinitos nmeros primos. La
demostracin se hace por reduccin al absurdo: si supusiramos que solo existiesen los nmeros
primos , el nmero entero positivo
r
p p p ,..., ,
2 1
1 ...
2 1
+ =
r
p p p m no podra ser divisible por
ninguno de ellos, ya que si dividiese a tambin dividira a
i
p m 1 ...
2 1
=
r
p p p m , pero
ningn nmero primo divide a 1, y llegamos a una contradiccin con el resultado anterior, que nos
dice que tiene que ser un producto de nmeros primos. m

Sean enteros, y sea
r
a a a ,..., ,
2 1
x un entero que es coprimo con cada uno de los ,
i
a
entonces x es coprimo con el producto
r
a a a ...
2 1
.
(Ejercicio Primos3 )

Sean a a enteros distintos de cero y todos ellos coprimos dos a dos. Si
r
a ,..., ,
2 1
x es
divisible por cada uno de los a entonces tambin es divisible por el producto .
i r
a a a ...
2 1
(Ejercicio Primos4 )

FUNCIONES MULTIPLICATIVAS


Un punto de vista que inspira de forma natural los conceptos que aqu se tratan partira del
estudio de las series de sumas infinitas, investigando cual es la relacin entre tres funciones , f g
y que cumplen h


=

=
= |
.
|

\
|
|
.
|

\
|

1 1 1
) ( ) ( ) (
n
x
n
x
n
x
n n h n n g n n f

La respuesta a esta cuestin nos llevara a definir el producto de Dirichlet. El hecho de que
en ese producto el trmino aparece en funcin de sus divisores nos invitara al estudio de la
descomposicin en factores primos de las expresiones, dando paso a la siguiente cuestin clave,
esto es, ver bajo que circunstancias se da una relacin del tipo
n

=

= p
x
n
x
p F n n f ) ( ) (
1

Aqu la respuesta pone de manifiesto la conveniencia de la definicin de funcin multiplicativa.

No obstante, el seguimiento de esa lnea de exposicin sera poco eficiente, de modo que
aqu nos ahorraremos algn trabajo empezando por el final.



DEFINCIN DE FUNCIN MULTIPLICATIVA

Dada una funcin definida sobre los nmeros enteros mayores que 0 y tal que
, definimos la funcin por
) (n f
Mf 0 ) 1 ( f
1

=
=
r
i
i
f
p f
n Mf
i
1
) 1 (
) (
) (


donde es n siendo diferentes nmeros primos.

=
=
r
i
i
i
p
1

r
p p , ,
1
L

Obsrvese que el producto anterior est definido sin ambigedad, dado que cualquiera que
sea la forma en que se presente la factorizacin del nmero , es decir, an cuando incluyramos
en el producto algunos trminos adicionales correspondientes a primos que no dividan a n ,
esto es, elevados a cero, el resultado no cambiara.
n
i
p

El siguiente ejemplo aclara la definicin anterior: Sea ) cos( ) ( n n n f = , entonces, como
, tendremos 5 2 20
2
=
) 1 cos( 1
) 5 cos( 5
) 1 cos( 1
) 2 cos( 2
) 20 (
2 2

= Mf



1
Debemos advertir al lector que el operador M que se ha definido aqu, as como la notacin que
utilizaremos para representar la funcin inversa en el producto de Dirichlet, son una nomenclatura utilizada
para estas notas que no sigue ningn convenio normalizado.
*
f
A partir de la definicin de M se deducen las siguientes identidades (Ejercicio M1):

1 ) 1 ( = Mf
Mf Mf M = ) (
k k
x Mx =
1 = Mk
Mf f k M = ) (
Mg Mf g f M = ) (
Mg Mf g f M / ) / ( = (supuesto que 0 Mg )
) sgn( )) (sgn( Mf f M = ( donde sgn( representa la funcin signo ) ) x
| | | | Mf f M = ( donde | representa el valor absoluto de | x x )


Obsrvese que siempre ser Mg Mf g f M + + ) ( (basta hacer el clculo en ). 1 = n

Una propiedad importante es la siguiente (Ejercicio M2): Si entonces
. Vemos entonces que la funcin queda totalmente determinada
conociendo los valores que toma en todas las potencias de nmeros primos diferentes. El
conjunto de funciones con esa propiedad es importante:
1 ) , ( = b a MCD
) ( ) ( ) ( b Mf a Mf b a Mf = Mf
f

Diremos que una funcin es multiplicativa si f Mf f =
Esto es, es multiplicativa si f

=
=
r
i
i
f
p f
n f
i
1
) 1 (
) (
) (

donde siendo
diferentes nmeros primos.

=
=
r
i
i
i
p n
1

r
p p , ,
1
L

Existe otra caracterizacin de las funciones multiplicativas que es la que tradicionalmente
se hace (Ejercicio M3):

Una funcin es multiplicativa si y solo s no es idnticamente igual a 0 y adems cumple
) ( ) ( ) ( b f a f ab f = para todos los nmeros y b con a . 1 ) , ( = b a MCD

Como entonces Mf f = | | | | | | f M Mf f = = , as pues, si es multiplicativa,
entonces tambin lo es .
f
| f |

Un caso particular de funciones multiplicativas lo constituyen las funciones completamente
multiplicativas. Diremos que una funcin es completamente multiplicativa si no es idnticamente
nula y cumple que para todos los nmeros y . En otro apartado se
estudiarn con ms detalle estas funciones.
) ( ) ( ) ( b f a f ab f = a b


EL PRODUCTO DE DIRICHLET

Dadas dos funciones y f g cualesquiera, se define su producto de Dirichlet , , por g f
*

=
n d
d n g d f n g f
|
*
) / ( ) ( ) (

Recodemos que esa suma se realiza para todos los divisores de n y tambin podamos
haber puesto
d

=
=
n ab
b g a f n g f ) ( ) ( ) (
*
.

Las propiedades inmediatas que se deducen de esta definicin son (Ejercicio M4):
f g g f
* *
=
h f g f h g f
* * *
) ( + = +
g f k g k f
* *
) ( = donde es una constante k
h g f h g f h g f
* * * * * *
) ( ) ( = = donde se define

=
=
n ijk
k h j g i f h g f ) ( ) ( ) (
* *


La ltima igualdad muestra que los parntesis son innecesarios para marcar la precedencia
en ese producto.

Definimos la funcin

=
=
1 0
1 1
) (
n si
n si
n

Se observa que (Ejercicio M5):

= M ( es multiplicativa)
= = ) 1 ( f f f
f f f = =
* *


Esto significa que la funcin acta como unidad del producto de Dirichlet. Definamos
ahora la correspondiente operacin inversa:

Dada una funcin definimos la funcin de forma que sea (en caso de que
tal funcin exista). Resulta que la funcin existe si y solo s
f
*
f =
*
*
f f
0
*
f ) 1 ( f , en cuyo caso su valor
viene dado por la siguiente ley de recurrencia (Ejercicio M6):

>
=
=

<
1 ) / ( ) (
) 1 (
1
1 ) 1 ( / 1
) (
|
*
*
n si d n f d f
f
n si f
n f
n d
n d


El resultado anterior muestra que es nica y, gracias a la conmutatividad del producto
de Dirichlet, de la definicin , se deduce que .
*
f
=
*
*
f f f f =
* *
) (

Se observa a partir de la frmula de inversin, que . = = f f f
*

Existe un caso particular en el cual la frmula anterior se reduce sustancialmente. Sea
una funcin multiplicativa definida por sus valores para las potencias de nmeros primos a partir
de otra funcin G como
f
) ( p

=
=
=

p n si p G
n si
n f
) (
1 1
) (

donde observamos que para todos los primos ) ( ) ( p f p f =

p y exponentes 0 > . Entonces

se tiene que (Ejercicio M6.B):
( )

=
=
=

= =

r
i
i
r
i
i i
i i
p n si p G p G
n si
n f
1 1
1
*
)) ( 1 ( ) (
1 1
) (



Otro resultado til es (Ejercicio M7):

) ( ) ( ) (
*
*
* *
*
g f g f =

La estrecha relacin entre el producto de Dirichlet y las funciones multiplicativas, queda
clara viendo las siguientes propiedades (Ejercicio M8):

Si y f g son multiplicativas entonces tambin lo es la funcin g f
*
Si y f g no se anulan en 1, se cumple que ) ( ) ( ) (
* *
Mg Mf g f M =
* * *
) ( ) ( Mf f M Mf = =
La funcin es multiplicativa si y solo s lo es f
*
f
Si entonces Mf f =
* * *
) ( Mf Mf f = =

Para terminar con esta lista de propiedades, observemos que ( ) ( ) ( )
*
*
* *
*
g f g f =


Funciones multiplicativas y series infinitas

Como ya hemos comentado, la idea de definir el producto de Dirichlet surge de forma
natural al estudiar operaciones con sumas infinitas. En condiciones de convergencia absoluta se
tiene (Ejercicio MS1):


=

=
= |
.
|

\
|
|
.
|

\
|
1
*
1 1
) ( ) ( ) (
n n n
n g f n g n f

Las funciones multiplicativas permiten expresar algunas series de sumas como series de
productos de funciones de nmeros primos (Ejercicio M13):
Si es multiplicativa y

converge absolutamente, entonces f

=1
) (
n
n f

=

= p n
p h n f ) ( ) (
1
donde .

=
=
0
) ( ) (

p f p h

La funcin p h as definida podr ser calculada de forma explicita en muchas ocasiones,
proporcionando resultados muy compactos.
) (


Series de Dirichlet

Se denominan series de Dirichlet a las que presentan la forma

=
=
1
) (
) (
n
s
n
n f
s F
donde es una funcin aritmtica y C N f : C s .

En el caso que la serie anterior converja para algn , existirn tres nmeros
tales que
s
<
a u c
c c c
Para todo 0 > la serie no converge para algn con s
c c
c s c ) Re(
La serie converge para todos los valores con Re( s
c
c s > )
Para todo 0 > la serie no converge uniformemente en el conjunto { } ) Re( :
u
c s s
Para todo 0 > la serie converge uniformemente en el conjunto { } ) Re( : +
u
c s s
Para todo 0 > la serie no converge absolutamente para algn con s
a a
c s c ) Re(
La serie converge absolutamente para todo con s
a
c s > ) Re(
Si la serie converge para entonces s 1 } Re{ + s c
a
y en concreto 1 +
c a
c c
(Ejercicio SDir1)

Dada la convergencia absoluta, para todo C s con la serie se puede derivar
trmino a trmino de modo que
a
c s > ) Re(

=
=
1
) ln( ) (
) ( '
n
s
n
n n f
s F

Supongamos que exista un tal que k 0 ) ( = s F cuando , entonces k s ) Re( 0 ) ( = n f
(Ejercicio SDir2.1).


El resultado anterior tiene como consecuencia la unicidad de las series, esto es, si
tenemos

=
=
1
) (
) (
n
s
n
n f
s F y

=
=
1
) (
) (
n
s
n
n g
s G tales que ) ( ) ( s G s F = siempre que Re( ,
para algn valor real , entonces
k s > )
k ) ( ) ( n g n f = para todo entero . (Ejercicio SDir2.2) 0 > n


Las series de Dirichlet se relacionan con el producto de Dirichlet conforme muestra el
siguiente resultado:

Si

=1
) (
) (
n
s
n
n f
s = F y

=
=
1
) (
) (
n
s
n
n g
s G convergen absolutamente en , entonces a s

=
=
1
*
) (
) ( ) (
n
s
n
n g f
s G s F tambin converge absolutamente en . a s


Si la funcin es multiplicativa, entonces en la zona de convergencia absoluta ) (s f



=

=
= =
p a
as
n
n
s
p
p f
n
n f
s F
1 1
) ( ) (
) ( .

Y, ms concretamente, si la funcin es completamente multiplicativa entonces se
tiene
) (s f

=
|
|
.
|

\
|
= =
p
s
n
s
p
p f
n
n f
s F
1
1
) (
1
) (
) (

La unicidad de las series de Dirichlet, junto con estas propiedades permiten obtener
cmodamente frmulas para el clculo de las funciones como producto de nmeros primos.
En el captulo dedicado a la funcin Zeta de Riemann veremos varios ejemplos.
) (n f



BUSCANDO FUNCIONES MULTIPLICATIVAS

Adelantaremos aqu la definicin de algunas funciones aritmticas importantes, aunque
muchas de ellas las veremos luego con ms detalle. La propiedad comn de casi todas estas
funciones es que se construyen sistemticamente aplicando los operadores
*
y
*
a funciones
multiplicativas elementales y por tanto todas ellas tambin lo son. Las mas sencillas se obtienen
recursivamente como potencias de la funcin identidad 1 : ) (n

Definimos para todo entero las funciones s ) (n
s
por

<
>
=
=
+

0
0
0
1
1
1
1
*
*
1 *
s
s
s
si
si
si
s
s s

La funcin ) (
1
n es la cantidad de divisores de n y tradicionalmente se suele representar
por ) (n . La funcin
0
es la funcin identidad. La funcin =
1
es la funcin delta. La funcin
tiene una representacin tradicional como
*
1 =
2
u y se denomina funcin de Mbius.

Un grupo interesente de funciones multiplicativas se obtiene a partir de las funciones
potencia (recordemos que aqu , representa a la funcin ):
k
x
k
n n f = ) (

Para todo valor real definimos la funcin . k ) ( 1
*
k
k
x =

Observemos que es

=
n d
k
k
d n
|
) (
n
, de modo que esta funcin representa la suma de las
potencias de orden de los divisores de . El caso k 1 = k es el que tradicionalmente se define
omitiendo el ndice =
1
. Obsrvese tambin que =
0
.

Otra funcin fundamental es la funcin de Euler x
*
u = , que, como veremos, cuenta el
nmero de enteros coprimos. Esta funcin aparece en la demostracin de varios teoremas
importantes relacionados con la teora de grupos.

Hay una funcin que aunque no es multiplicativa tiene relacin con las anteriores. Es la
funcin + = 1 x
n
. Esta funcin representa la cantidad de nmeros entre 1 y n que no son
divisores de ni tampoco coprimos con . Tambin tiene inters la funcin n
+ = + = + = + = 1 1 1 1 1 1 1 ) 1 ( 1 1
2 2 *
*
* * * * * *
x x x x .

Es tambin importante una grupo de funciones completamente multiplicativas conocidas
como caracteres
2
de Dirichlet mdulo . Se trata de funciones complejas de la forma m
) / 2 exp( ) ( m n i n = . Veremos que tienen el papel protagonista en la demostracin del
Teorema de Dirichlet acerca de la existencia de nmeros primos en las series aritmeticas .


Temas avanzados: sumas de dos cuadrados

Mencionaremos aqu otra funcin multiplicativa: Si representamos con a la funcin
que cuenta la cantidad de distintas parejas de enteros tales que , entonces la
funcin
) (n f
2 2
b + ) , ( b a a n =
) (
4
1
n f es una funcin multiplicativa. Concretamente, se puede demostrar que
( )

=

n si
n si
n f
n
| 2 ) 1 (
| 2 0
) (
2 / ) 1 ( * 4
1
u

, siendo esta una funcin completamente multiplicativa.

A diferencia de las funciones del apartado anterior, la funcin no parece estar
construida con una filosofa que garantice de forma evidente su propiedad de ser multiplicativa y
surge la pregunta de por qu esa funcin tan particular lo es.
f

Por ahora no podemos presentar una demostracin de estos resultados, pero lo
justificaremos dando unas cuantas pistas sobre las posibles ampliaciones de lo que hemos
obtenido a fin de motivar al lector en el estudio de futuros temas:

El concepto de nmero entero admite una generalizacin: los enteros algebraicos. Un
ejemplo de conjunto de enteros algebraicos son las soluciones de ecuaciones del tipo
donde y b son enteros usuales. Esas soluciones son nmeros complejos con
parte real y parte imaginaria racionales que se denominan enteros gausianos. Algunos de estos
nmeros son tales que su inverso es tambin solucin de una ecuacin de este tipo, es decir, es
otro entero gausiano. Entonces se dice que ese nmero es una unidad. Resulta que entre los
enteros gausianos existen cuatro unidades, concretamente:
0
2
= + + b ax x a
{ } 1 , 1 , 1 , 1 .
3
Los nmeros
que nicamente son divisibles por si mismos, por las unidades o por el producto de ambos
funcionan como nmeros primos desde el punto de vista gausiano y resulta que entre los enteros
gausianos existe la posibilidad de factorizacin nica (salvo unidades) en producto de estos
primos gausianos.

2
El concepto de carcter se define de forma general para un grupo. Bsicamente un carcter es una funcin
compleja con origen en el grupo que cumple ) ( ) ( ) ( b f a f ab f = . El conjunto de todos los caracteres de un
grupo es otro grupo. Muchas de las propiedades del grupo inicial se corresponden a propiedades "duales" en
de su grupo de caracteres. Esta idea constituye una herramienta valiosa en la teora de clasificacin de grupos
continuos.

3
Desde este punto de vista los nmeros enteros usuales tienen realmente dos unidades: 1 y -1 y nosotros
hemos sorteado esta circunstancia hablando exclusivamente de enteros positivos.

Con toda esa infraestructura se puede construir un nuevo concepto de funcin
multiplicativa que mantiene la mayora de las propiedades que hemos estado estudiando. En ese
sentido, cmo definiramos la funcin 'tau gausiana'? Podra ser algo as como

= =
n d
n n
|
*
1
4
1
) ( 1 1 ) (
donde la suma se divide entre cuatro ya que cada divisor de n debe identificarse con los otros
cuatro que se obtienen multiplicando por las unidades gausianas. Si no lo hiciramos as se
tendra que
d
d
4 ) 1 ( = , cuando lo que nosotros queremos es que sea 1 ) 1 ( = para que la funcin
sea multiplicativa.

Si el nmero gausiano , que en general ser complejo, es un entero usual, entonces
implica que
n
n d | d d n = donde d
(
es el complejo conjugado de . Esto es, s ser
y con eso se puede ver que por cada divisor gausiano de existe una forma de
expresar como suma del cuadrado de dos enteros usuales y biceversa. La funcin que cuenta
estas posibilidades es la funcin
d bi a d + =
2 2
b +
n
a n = n
) n 4 que entonces resulta ser igual a la funcin con la
que comenzbamos este apartado.
) (n f

En resumen, la funcin es conceptualmente semejante a la funcin tau, y el misterio
de su propiedad multiplicativa se debe a que se construye con otro tipo de enteros.
) (n f


LAS FUNCIONES TAU
k


Para k entero definimos las funciones ) (n
k
por

<
>
=
=
+

0
0
0
1
1
1
1 *
*
1 *
k
k
k
si
si
si
k
k k

Una propiedad evidente, que se deduce de esta definicin, es
1 * + +
=
m k m k


La definicin proporciona directamente las funciones inversas: dado que
, ser = = =

1 1
*
*
1 2 * k k
2
*

=
k k


Tambin est claro que todas estas funciones son multiplicativas. A continuacin
calcularemos la expresin que les corresponde a partir de sus valores para potencias de primos.

Se observar una propiedad interesante: los valores nicamente dependen de los
exponentes
i
y no del primo concreto , de modo que todas estas funciones toman el mismo
valor para dos nmeros si y solo si estos tienen la misma estructura en su descomposicin como
producto de factores primos.
i
p

La funcin ) (n
k
, siendo donde son diferentes nmeros primos,
vale (Ejercicio Tau1):

=
=
r
i
i
i
p n
1

r
p p , ,
1
L

<
< <

|
|
.
|

\
|
|
|
.
|

\
| +
=

=
=
0 ,
0 ,
0
0
) 1 (
1 ) (
1
1
k k
k k
k
gn al si
todo si
si
k
k
k
n
i
i
r
i i
r
i
i
k
i

En concreto, la funcin ) (
1
n , que tambin se representa como ) (n y proporciona el
nmero de divisores de n , vale (Ejercicio Tau2):

=
+ = =
r
i
i
n n
1
*
) 1 ( ) ( 1 1 ) (
donde se supone que es y que los son nmeros primos diferentes.

=
=
r
i
i
i
p n
1

r
p p , ,
1
L

Utilizando la funcin parte entera | | r obtenemos una expresin alternativa para
) (n (Ejercicio Tau3): Como

| |

= =
=
n
j
n
i
j n i
1 1
/ ) (
se tendr que
| | |


= =
=
1
1 1
/ ) 1 ( / ) (
n
j
n
j
j n j n n |


Comportamiento asinttico de ) (n

La funcin ) (n es altamente oscilante, concretamente se tienen los siguientes resultados
(Ejercicios Tau4 y Tau5):
A) Dado un 0 > existe una constate tal que para todo es

C n

C
n
n
<
) (
.
B) Para cualquier nmero real existe un entero , que se puede coger tan grande
como queramos, tal que .
0 > c
c
))
n
n n (ln( ) ( >

El primer resultado indica que ) (n crece ms lentamente que cualquier potencia de n ,
por pequea que sea, y el segundo resultado indica que ninguna potencia del logaritmo de , por
grande que sea, crece ms rpidamente que
n
) (n . Puesto que ) (n toma el valor infinitas 2
veces (concretamente cada vez que es primo), se deduce que n ) (n tiene grandes oscilaciones.
En consecuencia, en lugar de buscar aproximaciones para ) (n , nos limitaremos investigar su
valor medio. En este sentido, Dirichlet demostr el siguiente resultado (Ejercicios Tau6):
( +
57721566
r
) primos r
factor
( g = ) (
n
s g
*
1
=
) 1 ) nm , (s

( ) x O x n
x
x n
/ 1 ) 1 2 ) ln( ) (
1
+ =

cuando x
donde

=

= =
n
m
n
n
m
1
... , 0 ) ln(
1
lim es la constante de Euler.


LAS FUNCIONES DE MBIUS Y DE MERTENS

La funcin de Mbius viene dada por (Ejercicio Mob1):

= =
ntos disti de producto es n si
cuadrado gn al tiene n si
n n
1 (
0
) ( 1 ) (
*
u

La importancia de u reside en que, al ser 1 , esta funcin aparecer en muchas
frmulas de inversin especialmente sencillas.
*

Por ejemplo, en la demostracin del Teorema de los Nmeros Primos se hace varias veces
uso de la transformacin , cuya inversa es , conocida
como frmula de inversin de Mbius. Relacionada con esta transformacin esta tambin la serie
con la cual Riemann concluye su famoso artculo sobre la distribucin de nmeros primos

=
=
1
/ 1
) ) (
n
n
s s G

=

1
/ 1
) ( ) (
n
s G n u

=1
) (
) (
n
x Li
n
n u
, y, ms sencillamente, en relacin con la funcin zeta de Riemann, se obtiene la
igualdad
) (
1 ) (
1
s n
n
n
s

u
=

=
.

Asimismo, la propiedad hace que la funcin = u u est estrechamente relacionada con
las funciones completamente multiplicativas, pues, como veremos, la inversa de una funcin
completamente multiplicativa es .
f
u f f
*


La funcin de Mertens es el valor acumulado de la funcin de Mbius. Se suele
representar por .

=
x n
n x
1
) ( ) ( u

TRANSFORMACIN DE FUNCIONES

La funcin de inversin estudiada con el producto de Dirichlet puede utilizarse para definir
formalmente diversas transformaciones invertibles de funciones (Ejercicio MT1):

Sea un parmetro complejo, un parmetro entero positivo y sean las funciones s n
) , ( n s h tal que s s h = , ( y ) ), , ( ( h m n s h h =
) (n f tal que 0 ) 1 ( f
) (s g tal que converge la suma

=
=
1
)) , ( ( ) ( ) (
n
n s h g n f s G
entonces se tendr

=
=
1
*
)) , ( ( ) ( ) (
n
n s h G n f s g


A partir de aqu tambin pueden buscarse nuevas relaciones de transformacin derivando
las expresiones anteriores:

=
=
1
1
) , ( )) , ( ( ) ( ) (
n
n s h D n s h Dg n f s DG
) , ( )) , ( ( ) ( ) (
1
1
*
n s h D n s h DG n f s Dg
n
=

=

as, poniendo y W ) ( ) ( s Dg s w = ) ( ) ( s DG s = encontramos

=
=
1
1
)) , ( ( ) , ( ) ( ) (
n
n s h w n s h D n f s W

=
=
1
1
*
)) , ( ( ) , ( ) ( ) (
n
n s h W n s h D n f s w

Esto sugiere que podra ser , en cuyo caso la
transformacin anterior se reduce a la transformacin inicial. Segn veremos, eso se cumplir si la
funcin es completamente multiplicativa respecto al parmetro n, esto es, si
, lo cual, dadas las propiedades de , ser vlido
cuando .
*
1 1
*
)) , ( ) ( ( ) , ( ) ( n s h D n f n s h D n f =
) , (
1
n s h D
)
1
h D m =
, ( (
1
n s h h D
) , ( ) , ( , (
1 1
m s h D n s n s h D
) , ( ) ),
1
m s h D m =
) , ( n s h

El problema a la hora de construir estas transformaciones suele ser el estudio de la
convergencia de las series implicadas. En muchas ocasiones esto se puede resolver haciendo
que la funcin lleve a h g a valores nulos de manera que las series pasan a ser sumas de un
nmero finito de sumandos. Por otra parte, muchas de estas series pueden dar lugar a desarrollos
en serie de funciones complejas que son analticas, permitiendo aplicar las tcnicas de variable
compleja al estudio de propiedades de funciones aritmticas. Resumimos a continuacin algunas
transformaciones ms tiles:

T0.- La transformacin de partida:

=
=
1
)) , ( ( ) ( ) (
n
n s h g n A s G

=
=
1
*
)) , ( ( ) ( ) (
n
n s h G n A s g

donde es un parmetro complejo, un parmetro entero positivo y las funciones cumplen s n
) , ( n s h tal que s s h = ) 1 , ( y ) , ( ) ), , ( ( nm s h m n s h h =
) (n A tal que es una funcin aritmtica 0 ) 1 ( A
) (s g es tal que convergen las sumas

T1.- Frmula de inversin de Mbius: Como f g
*
1 = g f
*
u = , tendremos

=
n d
s f s g
|
) ( ) ( ( ) ) ( ) ( b g a s f
n ab
=

=
u


T2.- Partiendo de T0 y tomando la funcin s n s h = ) , ( y 1 ) ( = n A se llega a

=
=
1
) ( ) (
n
s g s G

=
=
1
) ( ) ( ) (
n
s G n s g u

T3.-

<
|
.
|

\
|
=
x n
n
x
f x F
0
) (

<
|
.
|

\
|
=
x n
n
x
F n x f
0
) ( ) ( u

Obsrvese que si entonces 1 < x 0 ) ( = x F de modo que la expresin anterior solo es
vlida cuando x es un nmero real mayor o igual que 1.
Se trata de un caso particular de T0 tomando
n
s
n s h = ) , ( , poniendo 1 ) ( = n A
) ( ) x F n =
y
definiendo en estas condiciones G

<

1 0
1 ) (
) (
x
x x f
x g
| |
/ ( ) (
1
x f x
x
n
=

=
/ ( )
1
n x g
n
=

=

T4.- El conjunto de enteros positivos menores que son menores y coprimos con se denomina
sistema reducido de residuos mdulo n y forma un grupo con la multiplicacin. Estudiaremos
con ms detalle este conjunto en el capitulo dedicado a las congruencias.
n

Existe una transformacin que relaciona una suma normal con una suma en el sistema
reducidos de residuos:

Para cualquier funcin se cumple (ejercicio MT2) f

=
< =
=
n d
d b MCD
d b
n
a
d b f n a f
|
1 ) , (
0 1
) / ( ) / (
lo que da lugar a la transformacin

) (
|
n g
n
d
f
n d
=
|
.
|

\
|

) (
*
1 ) , (
0
n g
n
d
f
n d MCD
n d
u =
|
.
|

\
|

=
<



FUNCIONES COMPLETAMENTE MULTIPLICATIVAS

Recordemos que una funcin es completamente multiplicativa cuando no es
idnticamente nula y cumple
f
) f a ) ( ( ) ( b f ab f = .

Es fcil comprobar que si y f g son funciones completamente multiplicativas, tambin lo
sern y . Como ejemplo de funciones completamente multiplicativas sencillas
podemos mencionar a las funciones unidad 1, potencia , signo sgn() y valor absoluto| .
g f g f o
k
x | x

Se tiene que si es completamente multiplicativa y si f g y son dos funciones
cualesquiera, ser
h
) ( ) ) (
* *
g h f g h f ( f = . (Ejercicio CMul2)

Si en esta igualdad ponemos 1 = h y u = g obtenemos
u u = = = = ) 1 ( ) 1 ( ) ( ) (
* *
f f f f f ,
esto es,
u = f f
*
.

Aplicando ese resultado a las funciones se tiene que .
k
x u =
k k
x x
*
) (

Otra consecuencia inmediata es que si es completamente multiplicativa y f g es una
funcin cualquiera con , tendremos 0 ) 1 ( g
) ( ) (
* *
g f fg =
lo cual se comprueba por clculo directo:

= = = = = 1 ) 1 ( )) ( ( )) ( ( ) (
*
*
*
*
f f g g f g f fg .

Esto nos lleva tambin al resultado .
* *
) ( g x g x
k k
=

Tambin conviene destacar que si es completamente multiplicativa y f g es una funcin
cualquiera con , se cumple 0 ) 1 ( g Mg f f M o g o = ) ( (Ejercicio CMul3). Como corolario de lo
anterior, si es completamente multiplicativa y f g es multiplicativa, entonces todas las funciones
, , , ... sern tambin multiplicativas. Al recordar esa regla debemos
ser cuidadosos con el orden de composicin, ya que, a pesar de que sea completamente
multiplicativa, podramos tener
g f o g f f o o f o f o g f o
f
f Mg f o o ) ) g M( ( . Pero hay una excepcin notable:
) ( ) ( ) (
k k
x Mg x g M o o =
de modo que si la funcin g es multiplicativa, tambin lo ser la funcin .
k
x g o


Funcin Lambda de Liouville

Como las funciones signo y valor absoluto son completamente multiplicativas, por la
propiedad de la composicin anterior sabemos que son multiplicativas las funciones | | | |
k k
M =
y )) (sgn( ) sgn(
k k
M =

=
=
r
i
i
i
p
1

0 > k
. Detenindonos en esta ultima relacin podemos observar que si
y la funcin n
k
toma valores negativos, siendo . Esto
motiva la introduccin de una nueva funcin:

=
r
i
i
1
) 1 (

=

n
k
)) ( sgn(

Sea n con nmeros primos distintos , entonces se define la funcin

=
=
r
i
i
i
p
1

r
p p , ,
1
L

=
=
r
i
i
n
1
) (


La funcin es la cuenta de factores primos, distintos o iguales, en que se descompone
un nmero como producto. Dado que

0 ) 1 ( = , esta funcin no es multiplicativa, pero tiene una

propiedad evidente muy til (Ejercicio CMul4):

La funcin donde es un nmero cualquiera, es completamente multiplicativa.

= a f a

Con esto podemos presentar un prototipo de funcin completamente multiplicativa:
donde y son constantes complejas cualesquiera.
) (
) )( (
n k k
a n n a x

= a k

Por su construccin, las funciones estn relacionadas con las funciones multiplicativas
que en su desarrollo para las potencias de nmeros primos contienen factores que son
potencias de constantes, . El caso particular de funcin completamente multiplicativa del tipo
anterior con es especialmente til y tiene nombre propio:

k
1 = a

Se denomina funcin lambda de Liouville a
) (
) 1 ( ) (
n
n

=

Volviendo al caso de las frmulas de
k
, sea , tenemos que 0 k
=

) )( (
1

p m
k

>

|
|
.
|

\
|
k si
k si m
k
i

0
) (

donde lo que aqu aparece es un termino del desarrollo del binomio de Newton para ( .
Podemos tratar de construir el desarrollo completo al objeto de obtener algunos resultados
compactos. Por ejemplo, encontramos que
k
m) 1

k
k
k k
m p m p m ) 1 ( ) ( ) ( ) ( ) (
0
1
0
1
= =

=

O tambin, dado que todos los primos que dividen a n lo pueden hacer con exponente
mayor que k , podemos poner
k
=

k
k
x m o )) ( 1 (
1 *

k
m) 1 (

donde hemos introducido otra nueva funcin:

La funcin se define tal que ) (n es igual a la cantidad de factores primos diferentes que
dividen a . n

Cuando 1 = k lo anterior se reduce a

=

) ( 1
*
u m

) 1 ( m

y el caso nos proporciona la siguiente relacin con la funcin 1 = m de Liuouville:

1

u u 2 | | 1 ) (
* *
= =

Obsrvese tambin que para es sgn( . Esto nos permite obtener
cmodamente la expresin de | sin tener que recurrir a la frmula de inversin (Ejercicio
CMul5):
0 > k 1 ) 1 ( ) =

k

*
|
k

Para se cumple que concretamente,

0 > k
2 2
*
) 1 ( | |

= =
k k k

= = = ) 1 (
0

= | | | |
*
2
*
u

Otro resultado interesante acerca de la funcin de Liuouville es (Ejercicio CMul6):

=
exacto cuadrado un es no n si
exacto cuadrado un es n si
n
0
1
) )( 1 (
*


Al igual que ocurra con la funcin , la funcin tampoco es multiplicativa, pero,
manteniendo el paralelismo, esta tambin resultar til para obtener funciones multiplicativas
(Ejercicio CMul7):

La funcin , donde es un nmero cualquiera, es multiplicativa.

k 0 k

Las funciones del tipo k estarn relacionadas con las funciones multiplicativas que en su
expresin para potencias de nmeros primos incluyan el producto por la constante k . Veamos
cuales son las funciones inversas (Ejercicio CMul8):

Para y k se tiene que donde 0 k 1

= ) 1 ( ) (
*
k m k

1
=
k
k
m .
Algunos ejemplos particulares de esto son:

Para se obtiene que ( , esto es, ( 2 = k

= ) 1 ( 2 ) 2
*

= 2 ) 2
*
Para se obtiene que 2 / 1 = k ( )

= 2 1 ) 2
*
(
Para se obtiene que ( 1 = k
*
) 2 ( ) 1

=


FUNCIONES SIGMA

Las funciones sigma se definen como

=
n d
k
k
d n
|
) (
de modo que representan la suma de las potencias de orden de los divisores de . Aqu el
valor de puede ser el de un nmero complejo cualquiera. Las funciones con valores positivos y
negativos de se relacionan por
k n
k
k
) (
1
) (
| |
n n
d
n
d
n
n
k
k
n d
k
k
n d
k
k
= =
|
.
|

\
|
=



Esta definicin equivale a poner , de modo que estas funciones son
multiplicativas. Para , y poniendo , la funcin con la que nos encontramos es la
cuenta de los divisores de un nmero que ya vimos al estudiar las funciones
) ( 1
*
k
k
x =

=
r
i
i
i
p
1

0 = k = n
k
y que vale
r

=
+ = =
i
i
n n
1
0
) 1 ( ) ( ) ( .

Cuando , para una potencia de un nmero primo se cumple que 0 k

p
1
1
) ( ) (
) 1 (
0

= =
+
=

k
k
i
k i
k
p
p
p p

de modo que, debido a la propiedad de ser multiplicativa, en el caso general se tendr

=
+

=
r
i
k
i
k
i
k
p
p
n
i
1
) 1 (
1
1
) (



Cuando estamos hablando de la suma de los divisores, y queda 1 = k

=
+

=
r
i i
i
p
p
n
i
1
1
1
1
) (



Las funciones inversas sern
) ( ) ( 1
*
* *
*
* k k
k
x x = = u u
esto es

=
=
n ab
k
k
b b a n ) ( ) ( ) (
*
u u

Para la potencia de un nmero primo

= + = =

=

k k ik
i
i i
k
p p p p p p p p p p
) 1 ( 1 0
0
*
) ( ) ( ) ( ) ( ) ( ) ( ) (

u u u u u u

=
= +
=
= =

3 0
2
1 ) 1 (
0 1
) ( ) (
) 1 ( 1

u u

k
k
k k
p
p
p p p p
Se observa entonces que si tiene algn factor al cubo y que 0 ) (
*
= n
k
n
k
k
n n = ) (
*

si todos los factores de son cuadrados, lo cual nos recuerda una propiedad semejante de la
funcin de Liuouville mediante la cual se obtiene
n
k
k
x = ) 1 ( ) 1 (
*
*
*



Comportamiento asinttico de las funciones sigma

Una acotacin sencilla se obtiene observando que para real k
) (
1 1
) (
1 | |
k n
d
n
d
n
d
n
n
k
i
k
k
n d
k
k
n d
k
k
= =
|
.
|

\
|
=


=

) (
1
) (
| |
n n
d
n
d
n
n
k
k
n d
k
k
n d
k
k
= =
|
.
|

\
|
=



Cuando el resultado anterior no dice nada, pero en este caso 1 = k
)) ln( 1 (
1 1
) (
1 | |
n n
d
n
d
n
d
n
n
n
i n d n d
+ < = =

=



El comportamiento medio de ) (n queda determinado por el siguiente resultado (Ejercicio
Sigma1):

)) ln( (
12
) (
2
2
x x O x n
x n
+ =

cuando x


En general (Ejercicio Sigma2):

=
x n
k
n) (
1
1
) 1 (
1
+
+
+ +
+
k
k
x o k
k
x
cuando x

Nmeros perfectos, nmeros de Euclides y primos de Mersenne

Un nmero perfecto es aquel que es igual a la suma de sus divisores distintos de s
mismo. Esto es, n es perfecto si n n 2 ) ( = .

No se conoce ningn nmero perfecto impar ni tampoco ninguna demostracin de que no
existan. Se sabe que de existir alguno tendra ms de cinco factores primos distintos y sera mayor
que 10 .
14

Por otra parte, los nmeros perfectos pares son los llamados nmeros de Euclides, que
tienen la forma 2 donde tanto ) 1 2 (
1

p p
p como 1 2
p
son nmeros primos. (Ejercicios Perfe1)

Los primos de la forma 1 2
m
se denominan primos de Mersenne. Resulta que los
nmeros primos de Mersenne son los nicos nmeros primos en la forma a con , y
adems, en este caso tambin debe ser m un nmero primo.
1
m
1 > m

Los primeros nmeros primos p tales que tambin 1 2
p
es primo son 2, 3, 5, 7, 13, 17,
19, 31, 67, 127 y 257.


FUNCIN DE EULER

La funcin de Euler es

) ( ) (
*
n x n u =

que en forma de producto se puede poner como

|
|
.
|

\
|
=
n p i
p
n n
!
1
1 ) (

y resulta entonces que esta funcin cuenta la cantidad de coprimos (nmeros sin factores primos
comunes) con que hay entre 1 y n . (Ejercicio Eul2) n

La funcin de Euler resultar muy til cuando estudiemos el tema de congruencias.


Una propiedad importante que se deduce de su definicin es (Ejercicio Eul1)

=
n b
b n
|
) (

En la expresin anterior se observa que cuando ser . 0 > m ) ( ) (
1
n n n
m m


=

Tambin la expresin anterior facilita el siguiente resultado (Ejercicio Eul3):
donde con los (

=
=
r
i
i
p n
1
*
1 ) ( )

=
=
r
i
i
i
p n
1

0 >
i


Como corolario, observemos que solo depende de los factores primos de y no de
su potencia, de modo que .
) (
*
n
) (n
n
) (
* *
n
m
=


Comportamiento asinttico de la funcin de Euler

Para estudiar el comportamiento asinttico de la funcin de Euler podemos comparar su
expresin como producto con el de la funcin sigma, entonces se observa que (Ejercicio Eul4):

2 2
) ( ) (
2
1
n n n n <
y recordando que )) ln( 1 ( ) ( n n n + < , y dado que n n ) ( , se encuentra
)) ln( 1 ( 2
) (
n
n
n n
+
> .


Series de Farey

La serie de Farey de orden , , se define como la serie ascendente de todas las
fracciones irreducibles entre 0 y 1 cuyo denominador no excede . Esto es, la fraccin
pertenecer a la serie de Farey de orden si
n
n
F
n b a /
n n b a 0 y 1 ) , ( = b a MCD . Los nmeros 0 y 1
se incluyen en la serie con denominador 1.

Las series de Farey cumplen las siguiente propiedades (Ejercicio Farey1):

A) Dos trminos consecutivos de , y a , cumplen que
n
F
i i
b a /
1 1
/
+ + i i
b
n b b
i i
> +
+1

B) Si entonces en las fracciones consecutivas no tienen el mismo denominador. 1 > n
n
F
C)
4
Dos trminos consecutivos de , y , cumplen que
n
F
i i
b a /
1 1
/
+ + i i
b a
1
1 1
=
+ + i i i i
b a b a
D) Tres trminos consecutivos de , a , y a cumplen que
n
F
i i
b /
1 1
/
+ + i i
b a
2 2
/
+ + i i
b
2
2
1
1
+
+
+
+
+
+
=
i i
i i
i
i
b b
a a
b
a


El nmero de fracciones irreducibles con denominador n m < 1 es ) (m , de modo que
el nmero total de fracciones en la serie es y la suma de todas ellas vale

=
+ =
n
k
n N
1
1 ) ( n) (
) (
2
1
n N . La demostracin de esa suma se basa en la observacin de que es simplificable si
y solo s lo es , adems y
n / a
n a n / ) ( n a / n a / ) n ( se simplifican con los mismos factores, y por
tanto, las fracciones de se distribuyen simtricamente respecto al trmino 1 , que es el
trmino intermedio para , y se pueden asociar en parejas formadas por dos fracciones con el
mismo denominador y tales que su suma es 1. La excepcin la constituye la fraccin 1 que se
empareja consigo misma. Como el valor medio en cada pareja es 1 , el valor promedio de las
fracciones es precisamente 1 y su suma es ese valor por la cantidad de ellas que hay.
n
F
1 > n
2 /
2 /
2 /
2 /

Las series de Farey tienen inters terico al estudiar las posibilidades de aproximacin de
cualquier nmero real mediante fracciones cuyo denominador est acotado por un valor mximo.

4
La demostracin de la parte C) muestra el modo de encontrar la fraccin siguiente a una dada.




APNDICES



NMEROS DE BERNOUILLI

Como la funcin +
+
+ + + + =

)! 1 ( ! 3 2
1
1
3 3
n
n x x
x
e
x
es analtica y distinta de cero en
, debe existir un desarrollo en serie de potencias para su inversa en la forma 0 = x

=
=

0
! 1
n
n n
x
x
n
b
e
x

El radio de convergencia de esta serie est condicionado por el valor complejo mas
cercano al origen que anula el denominador, y por tanto vale 2 .

Se encuentra que b cuando es impar mayor que 1 y as (Ejercicio Brnll1) 0 =
n
n

=
+

+ =

1
2 1
)! 2 (
) 1 (
2
1
1
n
n
n
n
x
n
x B x
e
x


donde hemos definido los nmeros de Bernouilli como (esta forma de definirlos
no est generalizada y algunos autores usan otras variantes). El factor se introduce para
que con esta definicin los nmeros de Bernouilli sean siempre positivos (Ejercicio Brnll3.2). Para
facilitar algunos clculos, nosotros aadiremos a la serie un trmino negativo adicional
n
n
n
b B
2
1
) 1 (
+
=
(
1
) 1
+

n
1
0
= B .

Los nmeros de Bernouilli se pueden calcular mediante (Ejercicio Brnll2):

0
1
0
=
|
|
.
|

\
|

=
n
m
m
b
m
n

o, lo que es equivalente,
| |
0 ) 1 (
2
2 / ) 1 (
0
=
|
|
.
|

\
|

=
n
k
i
k
B
k
n


Los primeros valores son 6 / 1
1
= B , 30 / 1
2
= B , 42 / 1
3
= B , , ,
, , .
30 / 1
4
= B 66 / 5
5
= B
2730 / 691
6
= B 6 / 7
7
= B 510 / 3617
8
= B

Frmula de sumacin de Euler-Maclaurin

Varias funciones elementales tienen un desarrollo en potencias que est relacionado con estos
nmeros, por ejemplo, (Ejercicio Brnll3.1):
1 2
1
2 2
)! 2 (
) 1 2 ( 2
) tan(

=
n
n
n
n n
z
n
B
z

No obstante, su origen histrico y su nombre provienen del siguiente resultado descubierto
por Bernouilli (Ejercicio Brnll4):

=

=
m
n
k
n
1

=
+ +
+
|
|
.
|

\
|
+ +
+
k
n
n
n k k k
n k
b m
n
k
m
k
m
2
1 1
1 2 1
| |

=
+ + +
+

|
|
.
|

\
|
+ +
+
=
2 /
1
1 1 2 1
1 2
) 1 (
2 2 1
k
n
n
n n k k k
n k
B m
n
k
m
k
m


La frmula anterior permite poner las sumas de potencias de orden de enteros como
polinomios. Con se obtiene la formula para la suma de los trminos de una serie aritmtica.
k
1 = k

El hecho de que la frmula anterior permita sumar potencias sugiere que los nmeros de
Bernouilli estarn relacionados con frmulas de suma de polinomios y, dado que las funciones se
pueden aproximar segn sus polinomios de Taylor, existir una frmula general vlida para un
amplio rango de funciones. Para llegar a esta frmula se definen los polinomios de Bernouilli
como

=

|
|
.
|

\
|
=
n
k
k
k n n
x b
k
n
x
0
) (
los primeros son 2 / 1 ) (
1
= x x , , , ... 6 / 1 ) (
2
2
+ = x x x 2 / 3 ) (
2 3
3
x x x x + =

Algunas de sus propiedades son (ejercicio Brnll5):
n n
b = ) 0 (
n n
b = ) 1 ( cuando 1 > n
) ( ) ( '
1
x n x
n n
=
) 1 ( ) 1 ( ) ( x x
n
n
n
= cuando 1 > n

Definimos ) (x
n
como la funcin de periodo 1 tal que ) ( ) ( x x
n n
= cuando 1 0 < x
se tiene que es una funcin es +continua cuando y es par si es par o impar si es impar. 1 > n n n

Entonces se cumple la siguiente identidad denominada frmula de sumacin de Euler-
Maclaurin (ejercicio Brnll6)

= +

=
n
k
k x g
0
) ( ( )

+ +
=

+ +

+ +
1 (
1
1 ( 1 (
1
!
) ( ) (
) ( ) 1 (
!
) (
n x
x
N
N N
k
k k k
n x
x
dt
N
t x t g
x g n x g
k
b
dt t g



EJERCICIOS - PRELIMINARES


Ejercicio MCD1
Para toda propiedad P que se mantiene en la suma y la resta de enteros positivos existe un
entero r tal que todos los enteros positivos con la propiedad P son exactamente sus mltiplos.

> Observemos que existe de un entero positivo r mnimo con la propiedad P , debido a que
en todo subconjunto no vaco de enteros positivos hay un mnimo.

A partir de las hiptesis, por induccin, tomando r a = y sucesivamente
se ve que cualquier mltiplo positivo r k r r b ) 1 ( ,..., 2 , = r k ha de cumplir la propiedad P .

Supongamos ahora que es un entero positivo con la propiedad n P , entonces r n y
ser donde y

s r k n + = | | r / n k = r s < 0 . Pero, si fuese podramos tomar 0 > s n a = y

y se tendra que tambin a r k b = s b = cumplira la propiedad P en contradiccin con que
r es el mnimo. Se deduce por tanto que 0 = s y n r k = .
<


Ejercicio MCD2
Sea el mnimo entero positivo que puede ponerse como combinacin lineal de y b . m a
Entonces y cualquier combinacin lineal de y ser mltiplo entero de m. ) , ( b a MCD m = a b
En otras palabras, siempre que existan dos enteros y u tales que n b a + = u , exitir
tambin un entero tal que ) , ( b a MCD n = .
>
Las posibles combinaciones lineales de y b seguiran siendo las mismas si a alguno de
estos dos nmeros se le cambia de signo, de modo que, sin perder generalidad, podemos
centrarnos en el caso de que ambos sean positivos.
a

Dado que la propiedad de ser combinacin lineal de y b aplicada a enteros positivos
se mantiene con la suma y la resta, existir un valor positivo mnimo
a
b a + m = u tal que todos
los nmeros enteros positivos que expresables como combinacin lineal de y b son mltiplos
de . Naturalmente los nmeros y b estn en ese caso, de modo que ambos son mltiplos
de m, con lo cual, si ponemos
a
m a
d a MCD b = ) , ( ser d m . Pero como = d a y = d b ,
se tiene m d + = ) ( u , de modo que es mltiplo de y por tanto . De las
condiciones y se deduce que
m
d
d d m
d m d m m = .
<

Ejercicio Primos1
Si un nmero primo p divide a un nmero compuesto , entonces divide a alguno de sus n
factores.
> Vemos primero que se cumple para dos factores:

Sea . Si b a n = p dividiese a ya se cumplira el resultado. Supongamos, por el
contrario, que
a
p no divide a a . Como divide al nmero primo ) , ( a p MCD p solo puede valer 1
o p . Como adems debe dividir a a no puede ser p , de modo que solo queda la opcin de
1 ) , ( = a p MCD . As pues, habrn de existir dos enteros y que proporcionen una
combinacin lineal de y a p que tome el valor anterior, es decir, que cumplan p a + = 1 .
Multiplicando ambos miembros de la ecuacin anterior por b se obtiene b b p b a + = ,
pero , de modo que b b a n = p b p n p b n + = + = / ( ( ) ) , y como es un
entero, vemos que es mltiplo de
) / ( p n
b p .
n 1 + k
k
a a
1
) ... ( a a n
k
= ' a = = ... '
1
p
k
a n '
k
a
k
n
n
' n
a ,...,
1 k
a
p
<
>
s
s
<
s s
s a < s b < <
a
s
s
s
a b
a
p
p
p
p
p
p p
<
a
1
a
2
x
i
a
x
r
a a a ...
2 1
> x
r
a ... a
2 1
a
x p
j
a
j
a

Para demostrarlo en el caso de un nmero mayor de factores, aplicaremos la induccin.
Supongamos que ya hemos visto que el resultado se cumple en el caso de k factores, y
supondremos que es producto de factores. Podremos poner entonces
siendo n
0 0
n a . Como divide al producto , dividir a
alguno de estos dos factores, si divide a , este es el factor de que buscbamos, y si divide a
, como hemos supuesto que el teorema se cumple para factores, habr de dividir a alguno de
los factores de , y ese es tambin un factor de . En cualquier caso concluimos que
hay un factor de que es divisible por
' n
n .


Ejercicio Primos2
Todo nmero positivo mayor de 1 se descompone en forma nica como producto de una
determinada combinacin con repeticin de factores primos.
Primero veamos, que existe al menos una descomposicin en factores todos ellos primos.
Ello es cierto para los nmeros 2 y 3 y en general para cualquier nmero primo. Supongamos que
sigue siendo cierto para todos los nmeros menores que un nmero dado, . Debemos demostrar
que tambin se cumple para . Si fuera primo el asunto ya estara demostrado. Consideramos
entonces que no es un nmero primo. Luego deben existir dos nmeros 1 y 1
tales que sea y como y se descomponen en producto de factores primos (por ser
menores que ) , ser el producto resultante de multiplicar todos esos factores de y de b .
b =

Ahora demostremos que la descomposicin es nica. Lo haremos por reduccin al
absurdo. Supongamos que existe algn nmero que admite dos descomposiciones diferentes. Se
obtendr entonces una igualdad con dos trminos en los que cada uno de ellos es un producto de
de nmeros primos. Simplifiquemos la igualdad eliminando de los dos miembros los factores que
puedan aparecer repetidos. Entonces, dado que se ha supuesto que haya diferencias entre las dos
descomposiciones, en alguno de los dos miembros deber quedar algn nmero primo que no
quede en el otro. Entonces debera dividir al producto que queda en el otro miembro. Est claro
que el otro miembro no puede ser 1, porque al menos debe ser igual a , por lo tanto debe ser un
producto de nmeros primos, todos ellos distintos de . Pero, segn se demostr anteriormente,
si divide a ese producto tambin dividir a alguno de sus factores, en contradiccin con el hecho
de que ningn nmero primo distinto de puede ser divisible por .


Ejercicio Primos3
Sean enteros, y sea
r
a ,..., , un entero que es coprimo con cada uno de los ,
entonces es coprimo con el producto .
Basta con observar que si no es coprimo con el producto , entonces
algn nmero primo p divide a y al producto. Pero entonces divide a alguno de los factores,
digamos y entonces x no sera coprimo con .
<

Ejercicio Primos4
Sean a a enteros distintos de cero y todos ellos coprimos dos a dos. Si
r
a ,..., ,
2 1
x es
divisible por cada uno de los a entonces tambin es divisible por el producto .
i r
a a a ...
2 1
> Consideremos los productos sucesivos definidos como y
r
P P ,...,
1 1 1
a P =
k k k
P a P = .
Tenemos que divide a
1
P x . Demostraremos por induccin que tambin lo divide.
Supongamos que divide a
r
P
1 k
P x , entonces ser
1
=
k
P y x
k
con entero. Como cada es
coprimo con (por el resultado anterior) y dado que a divide a
y
1 k
P
k
a x , tendr que ser divisible por
. Entonces existe un entero tal que
y
k
a z
k
a z y = de modo que
k
P z
k k
P a z = x =
1
. Luego
x es tambin divisible por .
k
P
<


EJERCICIOS - FUNCIONES MULTIPLICATIVAS


Ejercicio M1
Propiedades de M
>
1 ) 1 ( / ) 1 ( ) 1 ( / ) 2 ( ) 2 ( ) 1 (
0 0
= = = = f f f f Mf Mf


= = =
= = = =
r
i
i
r
i
i
r
i
i
n Mf
f
p f f p f
Mf
p Mf
n Mf M
i i i
1 1 1
) (
) 1 (
) (
1
) 1 ( / ) (
) 1 (
) (
) )( (



k
k
r
i
i
r
i
k
i
r
i
k
k
i
n p p
p
n Mf
i i
i
=
|
|
.
|

\
|
= = =

= = = 1 1 1
) (
1
) (
) (

1 1 ) (
1 1
= = =

= =
r
i
r
i
k
k
n Mk

) (
) 1 (
) (
) 1 (
) (
) )( (
1 1
n Mf
f
p f
kf
p kf
n kf M
r
i
i
r
i
i
i i
= = =

= =



) ( ) (
) 1 (
) (
) 1 (
) (
) 1 ( ) 1 (
) ( ) (
) )( (
1 1 1
n Mg n Mf
g
p g
f
p f
g f
p g p f
n fg M
r
i
i
r
i
i
r
i
i i
i i i i
=
|
|
.
|

\
|

|
|
.
|

\
|
= =

= = =



Poniendo y aplicando el resultado anterior se tiene g f h / = Mh Mg h g M = ) ( y ser
Mg h g M Mh / ) ( = , esto es Mg Mf Mg g f g M g f M / / )) / ( ( ) / ( = = .

)) ( sgn( )
) 1 (
) (
sgn( )
) 1 (
) (
sgn(
) 1 ( sgn
) ( sgn
) )( (sgn
1 1 1
n Mf
f
p f
f
p f
f
p f
n f M
r
i
i
r
i
i
r
i
i
i i i
= = = =

= = =



| | ) sgn( )) (sgn( ) ) (sgn( | | Mf Mf Mf Mf f M f f M f M = = = =
<

Ejercicio M2
Si 1 ) , ( = b a MCD entonces ) ( ) ( ) ( b Mf a Mf b a Mf =
>
Sea a y donde los nmeros son todos distintos
(pueden escogerse as dado que y no tienen factores comunes). Entonces:

=
=
r
i
i
i
p
1

=
=
s
i
i
i
q b
1

a b
s r
q q p p , , , , ,
1 1
L L

) ( b a Mf ) ( ) (
) 1 (
) (
) 1 (
) (
) 1 (
) (
) 1 (
) (
1 1 1 1
b Mf a Mf
f
p f
f
p f
f
p f
f
p f
s
j
j
r
i
i
s
j
j
r
i
i
j
i
j
i
=
|
|
.
|

\
|

|
|
.
|

\
|
= =

= = = =

<

Ejercicio M3
Una funcin es multiplicativa si y solo s no es idnticamente igual a 0 y adems cumple que
) ( ) ( ) ( b f a f ab f =
para todos los nmeros y con a b 1 ) , ( = b a MCD
>
La necesidad de la condicin se desprende de las propiedades de que ya hemos
demostrado, por tanto solo queda demostrar la suficiencia:
Mf

Observemos que poniendo 1 = b en la expresin ) ( ) ( ) ( b f a f ab f = se llega al resultado
de modo que tomando un que cumpla que ) 1 ( ) ( ) ( f a f a f = a 0 ) ( a f encontramos 1 ) 1 ( = f .
Sea

= n tal como en la definicin de . Entonces, dado que para todo

=
r
i
i
i
p
1

Mf r j < 1
se cumple que , se tiene 1 ) ,
1
=
j
i
j i
p p

(
1

=
j
i
MDC

( )
|
|
.
|

\
|
=
|
|
.
|

\
|
=
|
|
.
|

\
|


=

= =
1
1
1
1 1
j
i
i j
j
i
i j
j
i
i
i
j
i
j
i
p f p f p p f p f

lo cual nos lleva a
( ) = =

=
1
1
) ( ) (
r
i
i r
i r
p f p f n f



=

= = = =

r
i
i r r
r
i
i r r
i r r i r r
p f p f p f p f p f p f p f
1
1 1
2
1
1
) ( ) ( ) ( ) ( ) ( ) ( ) (
1 1 1

L L

y como , se concluye que 1 ) 1 ( = f

) ( ) ( )) 1 ( / ) ( ( ) ( ) (
1 1 1
n Mf p Mf f p f p f n f
r
i
i
r
i
i
r
i
i
i i i
= = = =

= = =

.
<

Ejercicio M4
A) f g g f
* *
=
B) h f g f h g f
* * *
) ( + = +
C) f donde k es una constante g f k g k
* *
) ( =
D) f h g f h g f h g
* * * * * *
) ( ) ( = =
> A) = = = =

= = n de n de n d
d f e g e g d f d n g d f n g f ) ( ) ( ) ( ) ( ) / ( ) ( ) (
|
*

) ( ) / ( ) (
*
|
n f g e n f e g
n e
= =

B) = + = + = +

)) / ( ) / ( ( ) ( ) / )( ( ) ( ) ))( ( (
| |
*
d n h d n g d f d n h g d f n h g f
n d n d

) ( ) ( ) / ( ) ( ) / ( ) (
* *
| |
n h f n g f d n h d f d n g d f
n d n d
+ = + =


C) ) )( ( ) / ( ) ( ) / ( ) ( ) ))( ( (
*
| |
*
n g f k d n g d f k d n g k d f n kg f
n d n d
= = =


D) = = =

n d d i n d d i
i d h i g d f i d h i g d f n h g f
| | | |
* *
) / ( ) ( ) ( ) ) / ( ) ( ( ) ( ) ))( ( (
= = =

= = n ijd n d d ij
j h i g d f j h i g d f ) ( ) ( ) ( ) ( ) ( ) (
|

= =

=n ijd
i g d f j h ) ( ) ( ) ( ) )( ) (( ) ))( ( (
* * * *
n h g f n g f h =
<

Ejercicio M5
A) = M
B) = = ) 1 ( f f f
C) f f f = =
* *

> A) 1 ) 1 ( = M por definicin de M .
Supongamos que . Entonces seleccionando un desarrollo con todos los
valores
1 > n

=
=
r
i
i
i
p n
1

0
i
y se 0
1
0
) 1 (
) (
(
1 1
= =

=
r
i
i
i
p
M

) =

=
r
i
n .

B) ) ( ) 1 (
1 0
1 ) 1 (
) )( ( n f
n si
n si f
n f =
)
`

=
=

C) = + = =

=
<
n d
n d
n d n d
d n d f d n d f d n d f n f ) / ( ) ( ) / ( ) ( ) / ( ) ( ) (
| |
*

) ( 1 ) ( 0 ) (
|
n f n f d f
n d
n d
= + =

<


<

Ejercicio M6
Verificacin de la expresin para la funcin inversa
*
f
> implica que . ) 1 ( ) 1 ( ) / 1 ( ) ( ) 1 )( ( ) 1 ( 1
*
1 |
* *
*
f f d f d f f f
d
= = = =

) 1 ( / 1 ) 1 (
*
f f =
Sea ahora . Tendremos: 1 > n


<
+ = = = =
n d
n d n d
d n f d f n n f n f d n f d f n f f n
|
*
|
*
*
*
) / ( ) ( ) / ( ) ( ) / ( ) ( ) )( ( ) ( 0
y despejando se encuentra el resultado buscado. ) (
*
n f
<

Ejercicio M6.B
Calculo de en funcin de
*
f ) ( p G
> Dado que estamos tratando con funciones multiplicativas, bastar verificar el resultado
para potencias enteras de nmeros primos.

Aplicando la frmula de clculo recursivo de se tiene:
*
f



=

<
= = =
1
0
*
1
0
*
|
* *
) ( ) ( ) ( ) ( ) / ( ) (
) 1 (
1
) (

i
i
i
i i
p d
p d
p G p f p f p f d n f d f
f
p f

donde para 1 = se obtiene

=
= =
0
0
0 * *
) ( ) ( ) ( ) (
i
p G p G p f p f

y para 1 > se observa el comportamiento de recurrencia de una serie geomtrica:

= = =

) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
1 * 1 * 1 *
2
0
* *
p G p f p f p G p f p G p f p f
i
i

1 1 1 * 1 *
)) ( 1 ( ) ( )) ( 1 )( ( )) ( 1 )( (

= = =

p G p G p G p f p G p f
<

Ejercicio M7
) ( ) ( ) (
*
*
* *
*
g f g f =
>
g f g f g f g f
* *
*
*
*
* *
*
*
*
) ( ) ( ) ( )) ( ) (( = ) ) (( ) ) ((
*
*
* *
*
g g f f =
*
= =
<

Ejercicio M8
A) Si y f g son multiplicativas entonces tambin lo es la funcin g f
*
B) Si y f g no se anulan en 1, se cumple que ) ( ) ( ) (
* *
Mg Mf g f M =
C) ) ( ) (
* *
f M Mf =
D) La funcin es multiplicativa si y solo s lo es f
*
f
> A) Supongamos que y son dos nmeros tales que , entonces a b 1 ) , ( = b a MCD

=
=
ab
g f ab g f

) ( ) ( ) (
*

=
=
=
b
a
g f
2 1
2 1
) ( ) (
2 2 1 1



y, por ser y f g multiplicativas y dado que 1 ) , ( ) , (
2 2 1 1
= = MCD MCD , se tiene

) (
*
ab g f

=
=
=
b
a
g g f f
2 1
2 1
) ( ) ( ) ( ) (
2 2 1 1




= =
=
b a
g f g f
2 1 2 1
) ( ) ( ) ( ) (
2 1 2 1

) ( ) (
* *
b g f a g f =

y eso quiere decir precisamente que la funcin es multiplicativa. g f
*


B) Como tanto la funcin como la funcin son multiplicativas,
quedarn unvocamente determinadas por los valores que toman en las potencias de los nmeros
) ( ) (
*
Mg Mf ) (
*
g f M
primos, y para demostrar su igualdad bastar comprobar que coinciden en esos casos. Sea p un
nmero primo, entonces
= )
1
=
= ) )( (
*
i
p g f M =
) 1 )( (
) )( (
*
*
g f
p g f
i
=

) 1 ( ) 1 (
) ( ) (
0
g f
p g p f
i
j
j i j
=

=

) 1 (
) (
) 1 (
) (
0
g
p g
f
p f
j i i
j
j
) )(
i
p =

=

) ( ) (
0
j i
i
j
j
p Mg p Mf = (
*
Mg Mf
C)
) ( ) ( )) ( ( ) (
)) ( ( ) ( ) (
) (
* * *
*
*
*
*
*
*
*
f M Mf f M Mf
f M Mf f f M
M f f M
= =
)
`

=
= =

D) Es consecuencia inmediata de C.
<

Ejercicio MS1
|
.
|

\
|
|
.
|

\
|
=


=

= 1 1 1
*
) ( ) ( ) (
n n n
n g n f n g f
>
= = |
.
|

\
|
|
.
|

\
|


=

= 1 1 1 1
) ( ) ( ) ( ) (
n m m n
m g n f m g n f

= = 1 1
) ( ) (
n m nm s
m g n f =

=
=
1 1 |
( ) (
n s s n
n
s
m
m g n f
) (
*
s g = =

= 1 1 |
) / ( ) (
s n s n
n s g n f

1 | s s n
= ) / ( ) ( n s g n f
1
f
s

=

<

Ejercicio M13
= f Mf


=

=
=
p n
p f n f
0 1
) ( ) (

>
La idea de la demostracin es ir sacando de la suma los trminos de mltiplos de
potencias de cada nmero primo. Para indicar esto realizaremos algunas definiciones auxiliares:

Definimos } | : max{ ) ( n p n
p

=
Con esto las funciones multiplicativas cumplen que ) ( ) ( ) (
) (
) (
n
n
p
p
p
n
f p f n f

= .
Definimos la funcin mnimo primo divisor como } | : max{ ) ( n p p n mpd = si y la
identificaremos con infinito si , de modo que sea 1
> n
1 = n 0 ) 1 ( / = mpd .

Si definimos la serie de los nmeros primos como ) (n p 2 ) 1 ( = p , , 3 ) 2 ( = p 5 ) 3 ( p ,
, ... tendremos 7 ) 4 ( = p
=

=
=

=

r k m
k
k
i p
m
r i p f
i p m r
m k
i p m mpd
m f i p m mpd
, ,
) (
) ) ( (
) ( /
) (
) ( ) (
) ( )} ( ) ( {
=
)
`

=
=

r k
k
i p
r i p f
i p r mpd
r
,
) (
) ) ( (
) ( ) (
) ( 0

= + =

r k
k
r f i p r mpd i p f
,
) ( )} 1 ( ) ( { ) ) ( (
|
.
|

\
|
+ |
.
|

\
|
=

) ( )} 1 ( ) ( { ) ) ( ( m f i p m mpd i p f
m k
k


Aplicando este resultado de forma recursiva se tiene:
=

=1
) (
m
n f =

m
m f m mpd ) ( } 2 ) ( { = |
.
|

\
|

m k
k
m f m mpd f ) ( } 3 ) ( { ) 2 (
... ) ( } 5 ) ( { ) 3 ( ) 2 ( = |
.
|

\
|
|
.
|

\
|
=

m k
k
k
k
m f m mpd f f

+
|
|
.
|

\
|
=
= m
n
i k
k
m f n p m mpd i p f ) ( )} 1 ( ) ( { ) ) ( (
1



La demostracin termina tomando lmites y teniendo en cuenta que



= =

=
p k
k
n
i k
k
n
p f i p f
0 1
) ( ) ) ( ( lim
y que
1 ) 1 ( ) ( } 1 { ) ( )} 1 ( ) ( { lim = = = = +


f m f m m f n p m mpd
m m
n

<

Ejercicio SDir1
Propiedades de convergencia de las series de Dirichlet
>
Supongamos que la serie converge para i b a s
0 0 0
+ = , entonces los trminos
0
) (
s
n
n f

deben estar acotados y por tanto existe C tal que C
n
<
0
)
n
f
s
(
, esto es,
0
) (
a
n C n f < . Para todo
tal que s + + = 1 ) Re(
0
a s , donde 0 > , se tiene
+ +
< =
1 1
1 ) ( ) (
0
n
C
n n
n f
n
n f
a s
y entonces

) 1 (
1 ) ( ) (
1
1
1 1
u
u
+ =


=
+

=
C
n
C
n
n f
n
n f
n n
s
n
s

converge absolutamente
5
. Del resultado anterior se deduce que existen los valores

} ) Re(
) (
: inf{
1
x s con s todo para converge
n
n f
x c
n
s
c
> =

=

y
} ) Re(
) (
: inf{
1
x s con s todo para nte absolutame converge
n
n f
x c
n
s
a
> =

=
.

Las dos primeras y las dos ltimas condiciones son ahora evidentes. Para probar las
otras dos condiciones restantes, supongamos que se han fijado dos reales 0 > y 0 > ,
entonces, dado que

=
+
1
) (
n
c
a
n
n f

converge absolutamente, debe existir tal que 0 > N

<

+ =
+
1
) (
N n
c
a
n
n f

y entonces,


=
)
`

+


= =

a
n
s
N
n
s
c s
n
n f
n
n f
) Re( :
) ( ) (
sup
1 1

)
`

+ =

a
N n
s
c s
n
n f
) Re( :
) (
sup
1



<
)
`

+


+ =
+

+ = 1 1
) Re(
) (
) Re( :
) (
sup
N n
c a
N n
s
a
n
n f
c s
n
n f

con lo cual queda demostrada la convergencia uniforme en { } ) Re( : +
a
c s s .

Entonces tiene que existir el valor
} } ) Re( : {
) (
: inf{
1
x s s en nte uniformeme converge
n
n f
x c
n
s
u
=

=

y ser +
a u
c c para cualquier positivo, esto es, c
a u
c .

El resto de las condiciones se verifican ya sin dificultad.
<

Ejercicio SDir2.1
0 ) ( = s F cuando implica k s > ) Re( 0 ) ( = n f
>
C
No se quita generalidad si suponemos k . Es fcil ver que debe existir una constante
tal que
0 >
k
n C n f < ) ( y entonces, para todo + + = 2 ) k s Re( , con 0 > , y todo entero
se tiene 0 > N

+ +

+ +

=
+

=
+ +

=
+ = +


1 2 2 2 2 2
) (
) (
N
C
N
C
t
dt
C
N
C
n
C
n
n f
n
n f
N
N n N n
k
N n
s



5
La funcin

=
=
1
1
) (
n
x
n
x es la funcin Zeta de Riemann.

0 ) ( = s F = ) 1 ( f

2
) (
n
s
n
n f
de modo que
+ +

=
+ =

1 2
2
2 2
) (
) 1 (
C C
n
n f
f
n
s
y haciendo tender
se obtiene . Supongamos 0 ) 1 ( = f 0 ) ( = j 1 0 f cuando < m j , se cumple que
=
s
m
m f ) (

+ =

1
) (
m n
s
n
n f

y por tanto
+ +

=
+ =

1 2
2
) (
) (
m
C
m
C
m
n
n f
m m f
k
n
s
s
. Nuevamente, haciendo , se llega
a y entonces el resultado queda demostrado por induccin. 0 ) ( = m f
<

Ejercicio SDir2.2
Si siempre que , para algn valor real , entonces para ) ( ) ( s G s F = k s > ) Re( k ) ( ) ( n g n f =
todo entero 0 > n
> Se aplica el resultado del ejercicio anterior a la funcin

=
1
) ( ) (
) )( (
n
s
n
n g n f
s G F .
<

Ejercicio Tau1
Clculo de las funciones
k
como producto
>
En la tabla que sigue se muestran algunos valores de . ) (

p
k

Obsrvese que existe una relacin de recurrencia genera una doble aparicin del triangulo
de Tartaglia, manifestando de forma evidente el resultado que buscamos, en contraste con lo
engorroso que es el clculo detallado posterior de esto mismo.

k

0 1 2 3 4 5 6 7 8 9 10 11 12
-14 1 -13 78 -286 715 -1287 1716 -1716 1287 -715 286 -78 13
-13 1 -12 66 -220 495 -792 924 -792 495 -220 66 -12 1
-12 1 -11 55 -165 330 -462 462 -330 165 -55 11 -1 0
-11 1 -10 45 -120 210 -252 210 -120 45 -10 1 0 0
-10 1 -9 36 -84 126 -126 84 -36 9 -1 0 0 0
-9 1 -8 28 -56 70 -56 28 -8 1 0 0 0 0
-8 1 -7 21 -35 35 -21 7 -1 0 0 0 0 0
-7 1 -6 15 -20 15 -6 1 0 0 0 0 0 0
-6 1 -5 10 -10 5 -1 0 0 0 0 0 0 0
-5 1 -4 6 -4 1 0 0 0 0 0 0 0 0
-4 1 -3 3 -1 0 0 0 0 0 0 0 0 0
-3 1 -2 1 0 0 0 0 0 0 0 0 0 0
-2 1 -1 0 0 0 0 0 0 0 0 0 0 0
-1 1 0 0 0 0 0 0 0 0 0 0 0 0
0 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 2 3 4 5 6 7 8 9 10 11 12 13
2 1 3 6 10 15 21 28 36 45 55 66 78 91
3 1 4 10 20 35 56 84 120 165 220 286 364 455
4 1 5 15 35 70 126 210 330 495 715 1001 1365 1820
5 1 6 21 56 126 252 462 792 1287 2002 3003 4368 6188
6 1 7 28 84 210 462 924 1716 3003 5005 8008 12376 18564
7 1 8 36 120 330 792 1716 3432 6435 11440 19448 31824 50388
8 1 9 45 165 495 1287 3003 6435 12870 24310 43758 75582 125970
9 1 10 55 220 715 2002 5005 11440 24310 48620 92378 167960 293930
10 1 11 66 286 1001 3003 8008 19448 43758 92378 184756 352716 646646
11 1 12 78 364 1365 4368 12376 31824 75582 167960 352716 705432 1352078
12 1 13 91 455 1820 6188 18564 50388125970 293930 6466461352078 2704156
13 1 14 105 560 2380 8568 27132 77520203490 49742011440662496144 5200300
14 1 15 120 680 3060 11628 38760116280319770 81719019612564457400 9657700


Como las funciones son multiplicativas, es suficiente hacer el clculo para las potencias de
nmeros primos .

p n =

Distinguiremos dos casos, que trataremos por induccin partiendo del resultado evidente
para dado en la definicin: . 0 = k = ) (
0

p 1
0
=
|
|
.
|

\
|
CASO 1, cuando k : 0

Suponiendo que
k

) ( cuando
|
|
.
|

\
| +
=
k
k
p

m k se tiene


= =
+
|
|
.
|

\
| +
= = =



0 0
* 1
1 ) ( ) ( 1 ) (
i i
i
m m m
m
i m
p p p

La igualdad

se obtiene agrupando trminos gracias a la relacin

=
|
|
.
|

\
| +

0 i
m
i m
|
|
.
|

\
|
+
+ +
=
1 m
i m

|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+
=
|
|
.
|
\
|
+
+ +
m
s m
m
s m
m
s m
1 1
1

de los nmeros combinatorios segn mostramos a continuacin:

=
|
|
.
|

\
| +

0 i
m
i m
=
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+
=
|
|
.
|

\
| +
+
|
|
.
|

\
|
=

= =

1 1
1
1
i i
m
i m
m
m
m
i m
m
m


...
1
2 1
1
1
2 2
=
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+
=
|
|
.
|

\
| +
+
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+
=

= =

i i
m
i m
m
m
m
i m
m
m
m
m


=
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+
=

=

s i
m
i m
m
s m
1
... =
|
|
.
|

\
| +
+
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+

+ =

1
1
s i
m
i m
m
s m
m
s m


...
1
1
1
=
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+ +
=

+ =

s i
m
i m
m
s m

=
|
|
.
|

\
| +
+
|
|
.
|

\
|
+
+
=

i
m
i m
m
m
1
|
|
.
|

\
|
+
+ +
=
1 m
i m


De modo que la relacin es tambin vlida para 1 + = m k . Con esto concluye el caso 1.

CASO 2, cuando : 0 < k

Para = 0 es inmediato que . 1 ) 1 ( ) ( = =
k k
p

Cuando 0 > se tiene , y recordando
que

+
= =


u
0
*
*
) 1 (
) ( ) ( ) ( 1 ) (
i
i i
k k k
p p p p
1 ) 1 ( = u , 1 ) ( = p u y se obtiene la ley de doble recurrencia 0 ) = (

u p

) ( ) ( ) ( ) ( ) ( ) ( ) (
1 1 0
) 1 (

+
= + =

u u p p p p p p p
k k k k k


Debemos comprobar que aplicando esta ley a partir de las condiciones de frontera en
0 = y se construye la expresin que pretendemos demostrar: 0 = k

Para se tiene 0 = k 0 1 1 ) ( ) ( ) (
1
0 0 1
= = =

p p p
Para y 1 = k 1 = se tiene
|
|
.
|

\
|
= = = =

1
1 2
) 1 ( 1 1 0 ) ( ) ( ) (
1 0
1 1 2
p p p
Para y 1 = k 1 > se tiene 0 0 0 ) ( ) ( ) (
1
1 1 2
= = =



p p p

Para y 2 = k 1 = se tiene 2 1 1 ) 1 ( ) ( ) (
2 2 3
= = =

p p =
|
|
.
|

\
|

1
1 3
) 1 (
1
Para y 2 = k 2 = se tiene = 1 0 ) ( ) ( ) (
2
2
2
2
3
+ = =

p p p
|
|
.
|

\
|
=
2
1 3
) 1 ( 1
2
Para y 2 = k 2 > se tiene 0 0 0 ) ( ) ( ) (
1
2 2 3
= + = =



p p p
Para y 2 < k 1 = se tiene = =

) 1 ( ) ( ) (
1 k k k
p p
1
1
1
) 1 (
1

|
|
.
|

\
|
=
k
|
|
.
|

\
|
= =
1
1 ) 1 (
) 1 (
k
k
Para y 2 < k 1 > > k se tiene = =

) ( ) ( ) (
1
1

p p p
k k k

|
|
.
|

\
|

|
|
.
|

\
|
=

1
1
) 1 (
1
) 1 (
1


k k
|
|
.
|

\
|
=
|
|
.
|

\
|
=


1 ) 1 (
) 1 ( ) 1 (
k k
Para y 2 < k = k se tiene = =

) ( ) ( ) (
1
1
k
k
k
k k
p p p

|
|
.
|

\
|

= =

k
k
k k
1 ) 1 (
) 1 ( ) 1 ( 0
1

Para y 2 < k < k se tiene = =


) ( ) ( ) (
1
1

p p p
k k k
0 0 0 =
<

Ejercicio Tau2

=
+ = =
r
i
i
n n
1
*
) 1 ( ) ( 1 1 ) (
>
La funcin

= = =
n d n d
d n d n n
| |
*
1 ) / ( 1 ) ( 1 ) ( 1 1 ) ( es, efectivamente, la cuenta de los
divisores de . n

El producto se puede obtener directamente como el caso 1 = k en la formula demostrada
anteriormente .

= = =
+ =
|
|
.
|

\
| +
=
|
|
.
|

\
| +
r
i
i
r
i
i
r
i
i
k
k
1 1 1
) 1 (
1
1

Pero en est aocasin hay tambin otro mtodo sencillo y fcil de recordar, que adems
vale de verificacin:

Como la funcin es multiplicativa, el resultado basta comprobarlo para las potencias de
nmeros primos, y se obtiene observando que tiene exactamente
i
i
p

i
+ 1 divisores distintos,
concretamente los nmeros 1 .
i
i i i
p p p

, , , ,
2
L
<


Ejercicio Tau3
| |

= =
=
n
j
n
i
j n i
1 1
/ ) (
>
Pensemos en el nmero de veces que se da la relacin n i j a = siendo todos los
nmeros implicados enteros positivos:

Se puede calcular como la suma de la cantidad de divisores de i parai . Esto es el
primer trmino de la igualdad que deseamos demostrar.
n

Tambin se puede calcular como el nmero de mltiplos de j menores o iguales que
para
n
n j . Dado que entre 1 y hay n | | j n / mltiplos de j , esto nos proporcionar el segunda
trmino.
<

Ejercicio Tau4
Dado un 0 > siempre existe una constate tal que para todo es

C n

C n n <

) (
>
Dado que n n < ) ( , podemos suponer que es 1 < .
Sea n un nmero mayor que 1 siendo diferentes nmeros primos.

=
=
r
i
i
i
p
1

r
p p , ,
1
L

Se tiene que

=
+
=
r
i i
i
i
p n
n
1
1 ) (


.
Los factores del producto pueden ser de dos tipos, si ocurre que se tiene que
/ 1
2 2
i
p

) 2 ln( ) 1 ( ) 2 ln( 1 2
) 2 ln(


i i i
i i i
e p + > + > =
de modo que
) 2 ln(
1 1

<
+
i
i
i
p

o, por el contrario, si es entonces 2

j
p 1
2
1 1

+
i i
i
i
i
p



En conclusin se obtiene que

<

/ 1
2
) 2 ln(
1 ) (
p
n
n

donde el segundo miembro, que nicamente depende de , proporciona la constante
correspondiente.

<

Ejercicio Tau5
Para cualquiera nmeros reales y existe un entero tal que 0 > c 0 > M M n >
c
n n )) (ln( ) ( >
> Sea m un entero tal que 1 2 + < m c m y pongamos ( )

1 2 1 +
=
m
p p p
2 +
n donde
son nmeros primos distintos, alguno de ellos mayor que
1 + m 2
, , , p p
1
p M , y donde
. Se tiene que

+
=
>
1
1
ln(
m
i
p )
i
1 > , de modo que tambin n y adems M >
c
( ) ) ( ) 1 ( ) 1 ( ) ( ) ln( ) ln(
1 2 2
1
1
n p n
m c c
m
i
i
c
= + < + < < |
.
|

\
|
=
+
+
=

<


Ejercicio Tau6.1:
( )

+ + =
x n
x O x
n
/ 1 ) ln(
1

> Se tiene
| | | |
| | = + = + =
|
|
.
|

\
|
+ = |
.
|

\
|
+ =

x
x n
x
n
x n
x
n
x n x n
dt t
t x
x
dt
t x
x
dt
t x x n x n
1
2 2 2
1 1 1 1 1 1 1 1

| | | | | | | | | |

+ +

+ + =
x
x x
dt
t
t t
dt
t
t t
x
x
x x
dt
t
t t
dt
t
t
x
x
2
1
2
1
2
1
2
) ln( 1
y como
| |
x x
x x 1
0

>

| |


= <

<
x x
x
dt
t
dt
t
t t 1 1
0
2 2

| | | |
=

+ =

=
+
=

=
+

=
+
1
1
1
1
1
2
1
1
2
1
2
) ln( lim 1 1 1 1
N
n
n
n t
N
n
n
n
n
n
n
t
n
t dt
t
n t
dt
t
t t
dt
t
t t

=

+
+ =

+
+ + =


=

=

1
1
1
1
1
1
) ln( ) 1 ln( lim 1 1 ) ln(
1
) 1 ln( lim 1
N
n
N
N
n
N
n
n n n
n
n
n
= |
.
|

\
|
= |
.
|

\
|
+
=

=

=

N
n
N
N
n
N
N
n n
N
1
1
1
) ln(
1
lim
1
1
) 1 ln( ) ln( lim 1
queda

+ + =
x n
x
x A
x
n
) (
) ln(
1

donde . 1 ) ( 1 < < x A

<

Ejercicio Tau6.2:
x O x x x n
x n
+ + =

) 1 2 ( ) ln( ) (
> La idea de la demostracin se entiende bien con una representacin geomtrica: fijado el
valor de , x si se dibuja la grfica , cada punto con coordenadas enteras positivas
que no queda por encima de la grfica cumple que
) / , ( y x y ) , ( b a
b a x . Cada uno de estos puntos se
corresponde unvocamente con cada uno de los divisores de un nmero entero, , menor o igual
que
ab
x , de modo que

coincide precisamente con la cuenta de esos puntos (la relacin

univoca entre divisores y puntos queda clara si pensamos en los puntos ordenados en grupos
segn los valores de y, dentro de cada grupo, segn los valores de ). Puesto que la grfica de
la funcin es simtrica respecto a la diagonal y como el punto de interseccin de
la grfica con la diagonal ocurre cuando
x n
n) (
ab a
) / , y x y ( ) , ( y y
y x / y = , esto es, x y = , la cuenta total de puntos ser
igual a los que hay en el cuadrado de lado | | x con un vrtice en el origen ms el doble de los
que hay en la zona que hay en la parte de encima del cuadrado hasta la grfica. El resto de los
detalles queda claro en el clculo:
| | | | ( ) | | = + = + = =

>

2
,
/ 2 1 1 2 1 ) ( x x a x n
x a
x a
x b
x ab
x a
x b
x ab
b a x n

| | | | | | | | | |
2 2
/ 2 2 / 2 x a x x x a x
x a x a x a
= + =




Se tiene que | |
2 2
2 + = x x x donde es | | 1 < = x x 0 , adems ocurre
que '
1 1
=
|
|
.
|

\
|

x
a
x
a
x
a
x
a
x
a
x
x a x a x a x a
con 1 ' 0 < , y, finalmente, por el
ejercicio anterior, que

+ + =
x n
x
x
n
' '
) ln(
1
1 con 1 ' ' < < .

Por lo tanto:
=

x n
n) ( = + |
.
|

\
|
+ +
2
2
1
2 ' 2
' '
) ln( 2

x x x
x
x x
= + + + =
2
) ' ' ' ( 2 ) 1 2 ( ) ln( x x x x
x x
B A x x x x + + = ) 1 2 ( ) ln(
donde y 0 . 4 2 < <
x
A 1 <
x
B
<

Ejercicio Mob1

=
ntos disti primos r de producto es n si
cuadrado factor gn al tiene n si
n
r
) 1 (
0
) ( 1
*

> Sea y tal que con nmeros primos distintos afectados de
exponentes
1 > n
0 >
i

=
=
r
i
i
i
p n
1

r
p p , ,
1
L
.

Entonces, dado que la funcin u es un caso particular de funcin
k
, en concreto
2 *
1

= = u , podemos aplicar las formulas ya deducidas para obtener su expresin en forma de
producto:

<
|
|
.
|

\
|
=

=

2 0
2 ) 1 (
1 2
) (
1
2
i
i
r
i i
gn al si
todo si
n
i

esto es:

>
= = =
|
|
.
|

\
|
=

= =

1 0
1 ) 1 ( ) 1 ( ) 1 (
1
1
) (
1
1
1
2
i
i
r
r
i
r
i
gn al si
todo si
n

<

Ejercicio MT1
Transformacin inversa

=
=
1
)) , ( ( ) ( ) (
n
n s h g n f s G

=
=
1
*
)) , ( ( ) ( ) (
n
n s h G n f s g
>
= =


=

= 1 1
*
1
*
)) ), , ( ( ( ) ( ) ( )) , ( ( ) (
n m n
m n s h h g m f n f n s h G n f
= =

= 1 1
*
)) , ( ( ) ( ) (
n m
m n s h g n f m f
= = =


=

=
= 1
*
*
) (
1 |
*
)) , ( ( ) )( ( )) , ( ( ) / ( ) (
a
m n a
a a m
a s h g a f f a s h g m a f m f
) ( )) 1 , ( ( ) 1 ( )) , ( ( ) (
1
s g s h g a s h g a
a
= = =

=

<

Ejercicio MT2.1
Para cualquier funcin se cumple que f

=
< =
=
n d
d b MCD
d b
n
a
d b f n a f
|
1 ) , (
0 1
) / ( ) / (
< Consideramos el conjunto de fracciones racionales
n
a
con n a 1 . Cada una de estas
fracciones tiene una forma reducida
d
b
donde y donde b y son coprimos y n d | d d b 1 .
Del mismo modo, cada fraccin reducida de la forma
d
b
donde , y son coprimos y
es igual a una nica fraccin del tipo
n d | b d
d b 1
n
a
, concretamente aquella con . Se
deduce entonces que en las dos sumas se est recorriendo el mismo conjunto de fracciones.
) / ( d n b = a

<

Ejercicio MT2.2
) (
|
n g
n
d
f
n d
=
|
.
|

\
|

) (
*
1 ) , (
0
n g
n
d
f
n d MCD
n d
u =
|
.
|

\
|

=
<

> Poniendo

=
<
|
.
|

\
|
=
1 ) , (
0
) (
n d MCD
n d
n
d
f n h se tiene
) (
*
1 ) , (
0
n g
n
d
f
n d MCD
n d
u =
|
.
|

\
|

=
<
) ( ) (
*
n g n h u =

=
< n d
d b MCD
d b
b f
|
1 ) , (
0
/ ( = ) = =
n d
d n h n h n g
|
*
/ ( ) ( 1 ) ( d)

y el resultado se deduce del ejercicio anterior.
<

Ejercicio CMul2
Si es completamente multiplicativa ( f ) ( ) ( )
* *
g h f g f h f =
>
= = =

n d n d
d n g d h d n f d f d n g d n f d h d f n fg fh
| |
*
) / ( ) ( ) / ( ) ( ) / ( ) / ( ) ( ) ( ) )( ( ) (


= =
n d n d
d n g d h n f d n g d h d n d f
| |
) / ( ) ( ) ( ) / ( ) ( ) / (
) )( ( ) ( ) / ( ) ( ) (
*
|
n g h n f d n g d h n f
n d
= =


<

Ejercicio CMul3
Si es completamente multiplicativa y f 0 ) 1 ( g entonces Mg f g f M o o = ) (
>
) )( ( n Mg f o
|
|
.
|

\
|
=

=
r
i
i
g
p g
f
i
1
) 1 (
) (

=
|
|
.
|

\
|
=
r
i
i
g
p g
f
i
1
) 1 (
) (

=
= =
r
i
i
g f
p g f
i
1
)) 1 ( (
)) ( (

=
=
r
i
i
g f
p g f
i
1
)) 1 ( (
)) ( (

) )( ( n g f M o =
<

Ejercicio CMul4
La funcin es completamente multiplicativa.

= a f
>
Como los factores primos que aparecen en un producto de dos nmeros, y , son los
que aparecen en m ms los que aparecen en , se tiene
m
) n
n
n ( ) ( ) ( m n m + = , luego
) ( ) ( ) ( ) ( ) ( n m n m n m
a a a a
+
= =
<

Ejercicio CMul5
Para k se cumple que 0 >
2 2
*
) 1 ( | |

= =
k k k

>
Recordemos que =
2 * k k

= ) 1 ( )
k

y miremos lo que se obtiene multiplicando cada miembro

de esta igualdad por : sgn(

) ) 1 (( | | ) ) 1 (( ) ) (sgn( ) ) 1 (( ) ) 1 (( ) ( ) 1 (
2 * 2 * 2 * 2 *

= = =
k k k k k k k k k



= = = 1 ) 0 ( ) 1 ( ) 1 (

Esto es : | =

) ) 1 (( |
2 * k k
<


Ejercicio CMul6

=
exacto cuadrado un es no n si
exacto cuadrado un es n si
n
0
1
) )( 1 (
*

>
Un nmero es un cuadrado exacto si y solo s cada una de las potencias mximas de los
primos que lo dividen es par. De ello se deduce que la funcin definida en la parte derecha es
multiplicativa.

Dado que
*
1 tambin es multiplicativa, bastar probar el resultado que buscamos para
las potencias de los nmeros primos . Se trata de un clculo simple:

p n =
1 (
0 0
* *
1 1 1 ) 1 ( 1 ) 1 ( 1 ) ( ) ( 1
+
= =
+ = = = =

L
i i
p p
En esa suma hay 1 + trminos que se cancelan dos a dos si es impar. Si es par se
cancelan todos menos un 1 que queda sin emparejar.
<

Ejercicio CMul7
La funcin es multiplicativa
) (n
a

> Si m y n no tienen factores comunes, los factores primos que los dividen son distintos y
entonces ) ( ) ( m n m) (n + = y por tanto
) ( ) ( ) ( ) ( ) ( m n m n m n
a a a a

= =
+
<


Ejercicio CMul8

|
.
|

\
|

= ) 1 (
1
) (
*
k
k
k
k

> Resultar suficiente con demostrar el resultado anterior para las potencias de nmeros
primos. Lo hacemos utilizando la frmula de inversin y aplicando la induccin sobre el exponente.

p

Pongamos, para abreviar, y . Entonces: ) ( ) (

p k A = ) ( ) ( ) (
*
p k B =

Para 0 > 1 ) ( ) ( = = B A se deduce de las propiedades de ser multiplicativas.

Para 0 > y, aplicando la frmula de inversin, k k k A
p
= = =
1 ) (
) (

=
= =
1
0
1
0
) ( ) ( ) ( ) (


i i
k i B i A i B B

Esto es, para 1 = ser k k B B = = ) 0 ( ) 1 ( , y, para 1 >
) 1 ( ) 1 ( ) 1 ( ) 1 ( ) ( ) 1 ( ) (
2
0
= + = =

=


B k B k B k i B k B B
i


Esto demuestra que ) ( B sigue la ley de una progresin geomtrica de razn ( , de
modo que
) 1 k
) (
) ( 1
1
) 1 (
1
) 1 (
1
) 1 ( ) (

p
p
k
k
k
k
k
k
k k B


|
.
|

\
|

=
|
.
|

\
|

= =
<

Ejercicio Sigma1.1:
6 / ) 2 (
2
1
2
= =

a
a
> Esto se demostrar en los ejercicios referentes a la funcin Zeta de Riemann
<

Ejercicio Sigma1.2:
)) ln( (
12
) (
2
2
x x O x n
x n
+ =

cuando x
>

=
x n
n) ( =
|
|
.
|

\
|

+ + + = = = =

x a x a a x r x a
x n
n a x a n a x n n a
a
x
r
a
n
a
n
a 2 ` 1
/ | | |

=
|
.
|

\
|
+
|
.
|

\
|
=
|
|
.
|

\
|
+

=

x a
a a
x a
a
x
a
x a
x
a
x
1
2
1
2
1


( ) ( ) = + + =

x a
a a
x a
a
x a
a
x
a
x
1
2
1
2 1
2
1
2
1
2
2

( )


+ + =
x a
a a
x a
a
x a
a
x
a
x
1
2
1
'
1
2
1
2
2
2


Suponiendo 2 x
| |
| |
| | x x
dt t
a a a
x
x a a x a
2 ( 1 (
2 1 (
1
2
1
2 2
2
) 2 ( ) 2 ( ) 2 (
1 1 1

= = = =

+ =

=

) ln 1 (
1
'
1
4 ( 3 (
x
a a
x a x a
a
+ = =



( )
6 ( 5 (
2 2
1
1
x
x a x a
a a

= =
luego queda

=
x n
n) ( ( ) = + + +
2 ( 6 (
2
1
4 ( 4 (
2
2
2
) ln(
2
) 2 (
2

x
x
x x

) 2 ( ) 1 (
2 2
) ln(
12

x x x
x
+ +

donde se hace uso de la igualdad y adems se tiene y 6 / ) 2 (
2
= 1 0
) 1 (
<
4
3
1
) 2 (
< < .
<

Ejercicio Sigma2:

=
x n
k
n) (
1
1
) 1 (
1
+
+
+ +
+
k
k
x o k
k
x
cuando x
>

=
x n
k
n) ( =
|
|
.
|

\
|

+ + + = = = =

x a
k
k k
x a a x r
k
x a
x n
n a
k
k
x a n a
k
k
x n n a
k
a
x
r
a
n
a
n
a 2 ` 1
/ | | |
6


6
En relacin con la evaluacin de
k
k k
a
x

+ + +2 ` 1 el lector puede consultar el cpitulo dedicado a los

nmeros de Bernouilli

| |
| | | | =
|
|
.
|

\
|
+ +
+
=

+
x a
k k
k
a x O a x
k
a x
1
1
/ /
2
1
1
/

| |
| | | | = + +
+

+
+
=

+ +

+
+
x a
k
x a
k
x a
k k
x a
k
k
a x O a x
k
a x a x
a k
x
1
1 1
1
1
/ /
2
1
1
/ ) / ( 1
1


=
k
k
ox k
k
x
+ +
+
+
) 1 (
1
1

<

Ejercicio Perfe1.1
Los nmeros perfectos pares son de la forma donde es primo ) 1 2 ( 2
1

+ n n
1 2
1

+ n
>
Sea un nmero perfecto par, entonces donde es un nmero impar. Se
tiene entonces utilizando la frmula en forma de producto de
N b N
n
= 2 b
que
) ( ) 1 2 ( ) (
1 2
1 2
) ( ) 2 ( ) (
1
1
b b b N
n
n
n
=

= =
+
+

y esto debe ser tambin igual a . As pues, . Como b y
son impares, de la expresin anterior se deduce que ser donde a es
un entero y quedar b . Si fuese a , entonces al menos 1, y b seran
divisores enteros de , y sera ,
una contradiccin. Por tanto, debe ser
b N
n
=
+1
2 2
a ) 1
1 ) ( a b +
1
) ( ) 1 2 ( 2
1 1
b b
n n
=
+ +
a b
n
=
+1
2 ) (
a
2 1 ) 1 2 (
1 1
a a
n n
+ = +
+ +
) 1 2 (
1

+ n
n
=
+
2 (
1
b
1 >
1 a + = ) (b 1+ b = +
= a , esto es y . Entonces 1 2
1
=
+ n
b 2 ) (
+
=
n
b
1

<
+ +
d
b d
b
1
|
1

= =
b d
d
|
)
<b
d
<
+
<
+ =
d
b d
n
b
d
1
|
1
2
+
=
n
b
1
( 2 de modo que 0
1
|
=

< < b d
b d
d y esto es que
debe ser primo.
b
<

Ejercicio Perfe1.2
Si 2 es primo, entonces es perfecto. 1
1

+ n
) 1 2 ( 2
1

+ n n
>
En efecto, aplicando la frmula del producto:
=
+
)) 1 2 ( 2 (
1 n n

1 2 2 2 1
1
2 1 1
2 2 2 1 ) 1 2 (
1 2
1 ) 1 2 (
1 2
2 2
+ + +
+
+ +
= =

n n n
n
n n
) 1 2 ( 2 2
1 2
=
+ n n

<

Ejercicio Perfe2
Si es primo, entonces es 1
m
a 2 = a y es primo. m
>
Como
1
1
...
1 2

= + + +

a
a
a a
m
m
1 > m
1 + a resulta que es divisible por . Y por ser
primo y , solo queda la posibilidad de que sea
1
m
a
1
1 a
1
m
a 1 = a , esto es, . 2 = a

Si ahora ponemos se tiene s t m =
1 2
) 2 ( ... ) 2 ( 2 1
1 2
1 ) 2 (
1 2
1 2

+ + + + =

s t t t
t
s t
t
m

que es un entero. Como por nuestra hiptesis 2 1
m
1
es primo, el denominador ser o bien
con lo cual , o bien 1 1 2 =
t
1 = t 2 1 2 =
m t
y entonces 1 = s . En cualquier caso vemos
que no puede tener dos divisores distintos de 1 concluyndose que debe ser primo. m
<

Ejercicio Eul1.1
7

|
|
.
|

\
|
=
n p i
p
n n x
|
*
1
1 ) ( u
> Puesto que tanto u como x son multiplicativas tambin lo es x
*
u .

Veamos los valores que esa expresin toma para potencias de un nmero primo p :
1
0 |
*
) (
1
) 1 ( ) ( ) ( ) (

=
= + = = =

u u u u u

p p
p
p
p
p
p
p
p
d
p
d p x
k
k
k
p d

El caso general para se deduce de ser

=
=
r
i
i
i
p n
1

multiplicativa:
= = =

= =

r
i i
i
r
i
i i
p
p p p x
i i i
1 1
1
*
)
1
1 ( ) (

u

= = =
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|

|
|
.
|

\
|
r
i i
r
i i
r
i
i
p
n
p
p
i
1 1 1
1
1
1
1

=
<

Ejercicio Eul1.2

|
|
.
|

\
|

n p
p
n
|
1
1 es la cantidad de nmeros menores y coprimos con n
>
1
a
En nmero de enteros menores o iguales que que son divisibles por es . Si
y son primos entre s, entonces el nmero de enteros menores o iguales que que son
simultneamente divisibles Si y es
n
1
a |
1
/ a n
n
|
2
a
1
a
2
a | |
2 1
/ a a n
n
. En general, si son coprimos entre
s, la cantidad de nmeros menores o iguales que que son divisibles simultneamente por todos
ellos ser .
k
a a a ,..., ,
2 1
| |
k
a a n ... /
1

Aplicando el principio de exclusin, se tiene que el nmero de enteros menores o iguales
que que no son divisibles por ninguno de los nmeros est dado por n
k
a a a ,..., ,
2 1

7
Los apartados del ejercicio Eul1 son independientes, en el sentido que para cada uno de ellos no utilizamos
los resultado de los otros y no damos por supuesto que x
*
u sea igual a la cantidad de coprimos menores que
representada por n ) (n . El objetivo es poner de manifiesto en el ejercicio Eul2 los distintos modo de
demostrar esta equivalencia

+ +

+ +

< < < < < < k
k
k i i i i
t
k j i j i k i i
a a
n
a a
n
a a
n
a
n
n
t t
...
) 1 (
...
) 1 (
1 ... 0 0 0
1 1


Supongamos que los nmeros primos que dividen a son ,entonces, aplicando
el resultado anterior a estos nmeros, se obtiene que la cantidad de enteros menores y coprimos
con n , esto es
n
k
p p ,...,
1
) (n , vale
=

+ +

+ +

< < < < < < k
k
k i i i i
t
k j i j i k i i
p p
n
p p
n
p p
n
p
n
n
t t
...
) 1 (
...
) 1 (
1 ... 0 0 0
1 1

= + + + + + =

< < < < < < k i
k
k i i i i
t
k j i j i k i i
p p
n
p p
n
p p
n
p
n
n
t t
...
) 1 (
...
) 1 (
1 1 1
... 0 0 0

= + + + + + =

< < < < < < k i
k
k i i i i
t
k j i j i k i i
p p
n
p p
n
p p
n
p
n
n
t t
...
) 1 (
...
) 1 (
1 1 1
... 0 0 0


+ + + + + =

< < < < < <

k
k
k i i i i
t
k j i j i k i i
p p
n
p p
n
p p
n
p
n
n
t t
...
) 1 (
...
) 1 (
2
1
... 1 1 1
1 1

=
|
|
.
|

\
|
+ + + +

< < <

<

k
k
k i i i i
t
k j j
p p
n
p p
n
p
n
n
p
t t
...
) 1 (
...
) 1 (
1
2
1
... 1
1
1 1 2 2

=
|
|
.
|

\
|
+ + + + +
|
|
.
|

\
|
=

< < < < < <

k
k
k i i i i
t
k j i j i k i i
p p
n
p p
n
p p
n
p
n
n
p
t t
...
) 1 (
...
) 1 (
1
1
2
1
... 1 1 1 1 1 1

=
|
|
.
|

\
|
+ + + + +
|
|
.
|

\
|

|
|
.
|

\
|
=

< < < < < <

k
k
k i i i i
t
k j i j i k i i
p p
n
p p
n
p p
n
p
n
n
p p
t t
...
) 1 (
...
) 1 (
1
1
1
1
3
1
... 2 2 2 2 1 1 1

|
|
.
|

\
|
=
|
|
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|
=
n p k
p
n n
p p p
| 2 1
1
1
1
1
1
1
1
1


De esta expresin deduce que ) (n es multiplicativa.
<


Ejercicio Eul1.3
n d f
n d
=

|
) ( f x =
*
u
> Como
) ( 1 ) (
*
|
n f d f
n d
=

se tiene que n d f
n d
=

|
) ( x x f x f
*
*
* *
1 1 u = = =
<

Ejercicio Eul1.4.1
x =
*
1
>
Aplicando la relacin

=
< =
=
n d
d b
d b
n
a
d b f n a f
|
1 ) , (
0 1
) / ( ) / (
a se obtiene 1 = f


= = =
=
< n d n d
d b
d b
n d n
|
*
|
1 ) , (
0
) ( 1 ) ( 1
<

Ejercicio Eul1.4.2
x =
*
1
>
Supongamos que y definamos para cada uno de los divisores d de el conjunto 0 > n n

{ } d n k MCD n k k n d = = ) , ( , 1 ) , (

Cada uno los valores { , digamos , se encuentra en uno y solo uno de estos
conjuntos, concretamente en con
} n i,..., ,..., 1
) , ( n d
i
, (i ) n MCD d = . De este modo vemos que
U

es una unin de conjuntos disjuntos que contiene exactamente elementos .
n d
n d
|
) , (
n

Para cada divisor de y cada d n ) , ( n d k existe un par de valores nicos y
tales que y n con
a b
a d k = b d = 1 ) , ( = b a MCD . As pues a ) / , 1 ( ) , 1 ( d n b = . Del mismo
modo, fijado un divisor b de y un valor a n ) , 1 ( b , existe un nico y un nico
tal que (Esto se deduce de que
b n d / =
1 ) , ( ad k = ) , n (d K k = b a MCD MCD d bd ad = ) , (
). MCD d n k = ) , (

Las observaciones anteriores demuestran que se puede establecer una biyeccin entre las
uniones de conjuntos:
U
.
U
n b n d
b n d
| |
) , 1 ( ) , (

Como cada conjunto contiene ) , 1 ( b ) ( 1
1 ) , (
1
b
b i MCD
b i
=

=

elementos, y, dada biyeccin
anteriormente mencionada, como debe existir el mismo nmero de elementos total es , de modo
que se llega a
n

=
n b
b n
|
) (
Como 1 ) 1 ( = , el resultado anterior es vlido para todo n y se puede poner como
x =
*
1 .
<

Ejercicio Eul2
x
*
u =
>
Mtodo 1: se deduce de Eul1.1 y Eul1.2
Mtodo 2: se deduce de Eul1.4.1 y Eul1.3
Mtodo 3: se deduce de Eul1.4.2 y Eul1.3
<


Ejercicio Eul3
( )

=
=
r
i
i
p n
1
*
1 ) (
> Observemos que la funcin se puede definir como la funcin
multiplicativa dada por
(

=
=
r
i
i
p n f
1
1 ) ( )
)

= =
=
=

p n si p p G
n si
n f
1 ) (
1 1
) (

Entonces, segn una frmula ya demostrada, para se tiene que 0 > n

( ) ( = = =

=

r
i
i i
r
i
i i
i i
p p p G p G n f
1
1
1
1 *
)) 1 ( 1 ( ) 1 ( )) ( 1 ( ) ( ) (


( )

= =

|
|
.
|

\
|

= =
r
i
i
i
i
r
i
i i
i i
p
p
p
p p
1 1
1
1
) 1 (

i
i
r
i i
p
p

|
|
.
|

\
|
=

=1
1
1 ) (n =
<

Ejercicio Eul4
2 2
) ( ) (
2
1
n n n n <
> Partiendo de las expresiones como producto

= =
+
=
+
=
|
|
.
|

\
|
=
|
|
.
|

\
|

=
|
|
.
|

\
|

|
|
.
|

\
|
=
r
i i
i
r
i i
i
i
i
r
i i
i
r
i i
i
p
p n
p
p
p
p
n
p
p
p
p
n n n
i
i i
1 1
1
1
1
1
1
1
1 1
1
1 1
) ( ) (



y como se tiene

=
|
|
.
|

\
|

r
i i
i
p
p
i
1
1

=
=
r
i
i
n p
i
1

y tambin

= = = =
= |
.
|

\
|
>
|
|
.
|

\
|
=
|
|
.
|

\
|
>
|
|
.
|

\
|

r
i
i
r
i i
i
r
i i
i
i
r
i i
i
n
p
p
p
p
p
p
p
p
i i
i
i i
1 1 1 1
2 2
1
1
1
1
1

el resultado se deduce ya fcilmente.
<

Ejercicio Farey1
Propiedades de las series de Farey
>
A) Sean a / y a dos trminos consecutivos de . Se tiene que
i i
b
1 1
/
+ + i i
b
n
F
i i
i i
i
i
i i i
i i i i
i
i
i i
i i
b b
a a
b
a
b b b
b a b a
b
a
b b
a a
+
+
=
+

=
+
+
+
+
+
+
+
+ +
+
+
1
1
1
1
1
1 1
1
1
) (

de modo que
i i
i i
b b
a a
+
+
+
+
1
1
es el valor medio entre a y . Si fuese b entonces
esa fraccin, o su equivalente simplificada, debera estar en la serie y entonces y
no podran ser consecutivos, por tanto, b
i i
b /
n >
1 1
/
+ + i i
b a n b
i i
+
+1
i i
b a /
1 1
/
+ + i i
b a
b
i i
+
+1
.


B) Sea > n y sean y dos trminos de con el mismo denominador siendo 1
i i
b a /
j j
b a /
n
F
i j > . Se tiene que cumplir que
i j
b a a
i
< +1 , pero entonces, dado que
) 1 )( 1 ( 1 + = + <
i i i i i i i i
a b a b a b b a
ocurre que
i
j
i
i
i
i
i
i
b
a
b
a
b
a
b
a

+
<

<
1
1
y la fraccin
1
i
i
b
a
debe estar en la serie, de modo que
y no pueden ser trminos consecutivos.
i i
b a /
j j
b a /


C) Puesto que MCD , deben existir enteros 1 ) , ( =
i i
b a x e tales que b . Dada
una solucin e a esta ecuacin podemos obtener otra nuevas poniendo
y 1 = x a y
i i
x x
0
x
0
y
i
b k + =
0
1 = x a
i
e
para cualquier valor entero de . Adems la ecuacin implica que
de modo que la fraccin
i
a
1 =
k y y + =
0
) , ( y x MCD
k y b
i
x
y
est reducida. Tomemos | |
i
b x / )
0
n ( k = , entonces
, esto es, n b
i
k x b n
i
+ <
0
n x n b
i
< 0 de manera que
x b b
a
x b
x a
x
y
i i
i
i
i
1 1
+ =
+
=
de aqu se tiene que
i
i
b
a
x
y
> de modo que debe ser
1
1
+
+

i
i
b
a
x
y
. Si suponemos que
1
1
+
+
>
i
i
b
a
x
y

tendramos
i i i i i
i
i i i i
i
i
i
i
i
i
i
i
xb b xb
n
b xb
x b
b b xb b
a
b
a
b
a
x
y
b
a
x
y
x b
1 1 1 1
1 1 1 1 1
1
1
1
>
+
= +
|
|
.
|

\
|
+
|
|
.
|

\
|
= =
+ + + + +
+
+
+

esto es una contradiccin, de manera que debe ser
1
1
+
+
=
i
i
b
a
x
y
, pero entonces
1
1 1
=
+ + i i i i
b a a b

D) A partir de C) se obtienen las relaciones

=
=
+ +
+ +
1
1
1 1
1 1
i i i i
i i i i
b a a b
b a a b

Multiplicando la primera por y la segunda por se llega a
2 + i
a
i
a

=
=
+ + + +
+ + + + +
i i i i i i i
i i i i i i i
a b a a a b a
a a b a a a b
2 1 2 1
2 2 1 2 1

Sumando se obtiene b
i i i i i i i i
a a b a a a a + =
+ + + + + 2 2 1 2 1
, esto es:
i i i i i i i
a a b a a b a + =
+ + + + 2 2 2 1
) (

De forma semejante:

=
=
+ + + +
+ + + + +
i i i i i i i
i i i i i i i
b b a b a b b
b b b a b a b
2 1 2 1
2 2 1 2 1

2 2 1 2 1 + + + + +
+ = +
i i i i i i i i
b b a b b b b a

2 2 2 1
) (
+ + + +
+ =
i i i i i i i
b b b a a b b
Y el resultado se obtiene dividiendo las expresiones obtenidas.

<



EJERCICIOS- APNDICES

Ejercicio Brnll1.1
1
0
= b y 2 / 1
1
= b
> Por clculo directo aplicando la regla de LHopital se tiene que
1
1
lim
1
lim
0 0
0
= =

=

x
x
x
x
e e
x
b
y que
2
1
1
lim
2
1
) 1 ( 2
lim
) 1 (
1
lim
1
lim
0 0
2
0 0
1
=

=
|
.
|

\
|

=

x
x
x x
x
x
x
x x
x
x
x
e
x
e e
xe
e
xe e
e
x
D b
<

Ejercicio Brnll1.2
0 =
n
b cuando es impar mayor que 1. n
> Se tiene que
x
e
e
x
e
e e
x
e
x
x
x
x
x x
x
2
1
1
1
2
1
1
) 1 ( ) 1 (
2
1
1

+
=

+
=

y despejando
1
1

+
x
x
e
e


=

=
+ = |
.
|

\
|
+ = |
.
|

\
|
+ =
2
1
2 0
!
2
!
1
2
! 2
1 2
n
n n
n
n n
n
n n
x
n
b
x
x
n
b
x
x
n
b
x
x


Observando que
1
1
1
1

+
=

x
x
x
x
e
e
e
e
es una funcin impar, deducimos que todos los
trminos correspondientes a potencias pares del desarrollo anterior se anulan
<

Ejercicio Brnll2
0
1
0
=
|
|
.
|

\
|

=
n
m
m
b
m
n

> Se tiene que


=

=
|
|
.
|

\
|
=

= = =
1
1
0 1
1
0 0 1 0
!
1
! )! (
1
! ! !
) 1 (
n
n
n
m
m
n
n
n
m
m
n
n n
m
m
n
n n x
x b
m
n
n
x
m
b
m n
x
n
b
m
x
x
n
b
e x
de modo que, igualando coeficientes, cuando se encuentra 0 > n
0
1
0
=
|
|
.
|

\
|

=
n
m
m
b
m
n

proporcionando una ley que facilita el clculo recursivo de los .
n
B
<

Ejercicio Brnll3.1
1 2
1
2 2
)! 2 (
) 1 2 ( 2
) tan(

=
n
n
n
n n
z
n
B
z
>
Se tiene que
2 / 2 /
2 / 2 /
0
2 1
2 1
1
2 2 1 )! 2 (
) 1 (
x x
x x
x
x
x
n
n
n
n
e e
e e x
e
e x x
e
x
n
x B

=
+

+
=

+
= +

y poniendo se llega a iz x 2 =
) tan( ) ( 2
) cos( 2
)! 2 (
) 2 (
0
2
z
z
z sen i
z
iz
e e
e e
iz
n
z B
iz iz
iz iz
n
n
n
= =

+
=

Como
) 2 tan(
2
) 2 (
) 2 cos(
) cos( ) (
) ( cos ) (
) (
) cos(
) cos(
) (
) tan(
1
) tan(
2
1
2 2
z z sen
z
z z sen
z z sen
z sen
z
z
z sen
z
z

=

= =

se tiene que
) 2 tan(
2
) tan(
1
) tan(
z z
z =
1 2
0
2 2
0
2 2
)! 2 (
) 1 2 ( 2
)! 2 (
) ) 2 ( ) 4 (( 1

=


=

=
n
i
n n
n
i
n n
n
z
n
B
n
z z B
z

esto es,
1 2
1
2 2
)! 2 (
) 1 2 ( 2
) tan(

=
n
n
n
n n
z
n
B
z
y la serie converge con radio 2 / .
<

Ejercicio Brnll3.2
Signo de los nmeros de Bernouilli
>
Puesto que la derivada de la funcin tangente es , se deduce por
induccin que las derivadas sucesivas de la funcin tangente sern siempre polinomios de
con coeficientes positivos, de modo que nunca proporcionarn derivadas negativas en . Esto
implica que los coeficientes del desarrollo de Taylor obtenidos anteriormente son siempre positivos,
y en consecuencia, tambin lo son los nmeros de Bernouilli tal como los hemos definido.
1 ) ( tan ) ( tan'
2
+ = z z
) tan(z
0 = z
<


Ejercicio Brnll4

=
m
n
k
n
1
| |

=
+ + +
+

|
|
.
|

\
|
+ +
+
=
2 /
1
1 1 2 1
1 2
) 1 (
2 2 1
k
n
n
n n k k k
n k
B m
n
k
m
k
m

> Se tiene que
= |
.
|

\
|
+

= 0
1
1
!
1
k
k m
n
k
k
x
n = +

=
1
1 0
!
) (
1
m
n k
k
k
nx
= = +


=

=
1
0
1
1
1
m
n
nx
m
n
nx
e e
=
|
|
.
|

\
|
|
|
.
|
+

=
+
0
1
! )! 1
s
s
s
t
s
x b x

\
|
=

=0
( 1
1
1
1
t
t
x
mx
x
mx
t
m
e
x
x
e
e
e

! 1 )! 1 ( !
0 0
1 1
0 0
k
x
n k
b m
n
k
n k
m
n
b
x
k
k
k
n
n
n k n k
k
k
n
n k


= =
+ +
= =
+
|
|
.
|

\
|
=
+
=
e igualando los coeficientes se obtiene
=

=
1
1
m
n
k
n

=
+
+
|
|
.
|

\
|
k
n
n
n k
n k
b m
n
k
0
1
1

=
+ +
+
|
|
.
|

\
|
+
+
=
k
n
n
n k k k
n k
b m
n
k
m
k
m
2
1 1
1 2 1

sumando n esto queda
m
=

=
m
n
k
n
1
=
+
|
|
.
|

\
|
+ +
+

=
+ + k
n
n
n k k k
n k
b m
n
k
m
k
m
2
1 1
1 2 1

| |

=
+ +
+
|
|
.
|

\
|
+ +
+
=
2 /
1
2
1 2 1
1 2 2 2 1
k
n
n
n k k k
n k
b m
n
k
m
k
m

| |

=
+ + +
+

|
|
.
|

\
|
+ +
+
=
2 /
1
1 1 2 1
1 2
) 1 (
2 2 1
k
n
n
n n k k k
n k
B m
n
k
m
k
m

<

Ejercicio Brnll5.1
2 / 1 ) 0 (
1
= , 2 / 1 ) 1 (
1
= y
n n n
b = = ) 1 ( ) 0 ( cuando 1 > n
>
Los valores ) 0 (
1
y ) 1 (
1
se pueden calcular directamente.
Utilizando la defincin = ) (x
n

=

|
|
.
|

\
|
n
k
k
k n
x b
k
n
0
con 0 = x nicamente queda el primer
trmino de la suma, de modo que . Cuando
n n
b b
n
=
|
|
.
|

\
|
0
n
= ) 0 ( 1 = x y se tiene, utilizando
el resultado del ejercicio Brnll2, que
1 > n
= ) 1 (
n

=

|
|
.
|

\
|
n
k
k n
b
k
n
0
n n
n
s
m n
n
m
m n
b b b
s n
n
b b
m
n
b = + =
|
|
.
|

\
|

+ =
|
|
.
|

\
|
+ =


= =
0
1
0 1

<

Ejercicio Brnll5.2
) ( ) ( '
1
x n x
n n
=
>
= ) ( ' x
n
=

=
|
|
.
|

\
|

=

n
k
k
k n
n
k
k
k n
x b
k n k
n
x k b
k
n
1
1
1
1
)! ( )! 1 (
!
=

=

1
0
1
)! 1 ( !
!
n
k
k
k n
x b
k n k
n

=
|
|
.
|

\
|
=

=

1
0
1
1
n
k
k
k n
x b n
k
n
) (
1
x n
n


<

Ejercicio Brnll5.3
) 1 ( ) 1 ( ) ( x x
n
n
n
= cuando 1 > n
> La relacin se cumple cuando 2 = n ya que no
cambia al sustituir
6 / 1 ) 1 ( 6 / 1 ) (
2
2
+ = + = x x x x x
x por 1 . x

Obtendremos el resultado por induccin, supongamos que es cierto para , entonces 1 n
) 1 ( ' ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) ( ) 1 ( ) ( '
1
1 1
1
1
x x x x x
n
n
n n
n n
n
n
n
= = = =

de modo que
= + =

=
=
= + =



x
n
n
n
x
n
n
n n
ds s b
ds dt
s t
dt t x
1
1
1
0
1
) 1 )( ( ' ) 1 (
1
) 1 ( ' ) 1 ( ) 0 ( ) (
= + =
x
n
n
n
s b
1
1
) ( ) 1 (
n
n
n
n
n n
n
n
n
n
b x b x b ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( + = +

si n es par, entonces, y si es impar 0 ) 1 ( = =
n n n
n
n
b b b b n 0 =
n
b . En cualquiera de los
dos caso queda . ) 1 ( ) 1 ( ) x
n
n
= (x
n

<

Ejercicio Brnll5.3
) ( )) 0 ( ) 1 ( (
!
) ( ) (
1
1 ( 1 (
1
0
0
m E g n g
n
b
dt t g n g
N
N
n
n n n
m
m
n
+ + =

=

+
=

>
Si
(
f existe y es integrable en
1 + N
| | x a, , el teorema de Taylor establece que

=
+
+ =
N
n
x
a
N
N
n
n
dt t x
N
t f
a x
n
a f
a f x f
1
1 ( (
) (
!
) (
) (
!
) (
) ( ) (
Aplicando esta frmula a con
k
f
(
1 + = a x se obtiene

=
+

+ +
+

+ = +
k N
n
a
a
k N
N n k
k k
dt t a
k N
t f
n
a f
a f a f
1
1 1 ( (
( (
) 1 (
)! (
) (
!
) (
) ( ) 1 (
de modo que
= +

=
N
k
k k k
a f a f
k
b
0
( (
)) ( ) 1 ( (
!


+
=

+
=

=
+
+

1
0
1 (
0 1
(
) 1 (
)! ( !
) (
! !
) (
a
a
N
k
k N
N
k
N
k
k N
n
n k
k
dt t a
k N k
t f b
n k
a f b

+
=
+

= + =
+
|
|
.
|

\
|
+

=
1
0
1 ( 1
0 1
(
!
) (
) 1 (
)! ( !
) (
a
a
N
k
N
k N
k
N
k
N
k s
s
k
dt
N
t f
t a b
k
N
k s k
a f b

+
=
+

= + =
+
|
|
.
|

\
|
+
|
|
.
|

\
|
=
1
0
1 ( 1
0 1
(
!
) (
) 1 (
!
) (
a
a
N
s
N
s
s N
N
k
N
k s
s
k
dt
N
t f
t a b
s
N
s
a f
b
k
s

+ +
= + =
+ +
|
|
.
|

\
|
=
1 1 ( 1
0 1
(
) 1 (
!
) (
!
) (
a
a
N
N N
k
N
k s
s
k
dt t a
N
t f
s
a f
b
k
s

+ +
=

=
+
|
|
.
|

\
|
=
1 1 (
1
1
0
(
) (
!
) (
!
) (
a
a
N
N N
s
s
k
k
s
dt t a
N
t f
b
k
s
s
a f

+ +
+ =
1 1 (
) (
!
) (
) ( '
a
a
N
N
dt t a
N
t f
a f
as pues,

+ +
=
+ =
1 1 (
0
( (
) (
!
) (
)) ( ) 1 ( (
!
) ( '
a
a
N
N N
k
k k k
dt t a
N
t f
a f a f
k
b
a f

+ +
=
+
+
=
1 1 (
0
1
1 (
) (
!
) (
) (
!
a
a
N
N N
k
a
a
k k
dt t a
N
t f
dt t f
k
b


y entonces

=

+
=
n x
x a
a f ) ( '

+ + +
=
+ +
+

1 1 (
0
1
1 (
) (
!
) (
) (
!
n x
x
N
N N
k
n x
x
k k
dt t x
N
t f
dt t f
k
b

( )

+ + +
=
+ +
+ + + =
1 1 (
1
( (
1
) (
!
) (
) ( ) 1 (
!
) ( '
n x
x
N
N N
k
k k k
n x
x
dt t x
N
t f
x f n x f
k
b
dt t f
poniendo se tiene ' f g =
=

+
=
n x
x a
a g ) ( ( )

+ +
=

+ +

+ +
1 (
1
1 ( 1 (
1
!
) ( ) (
) ( ) 1 (
!
) (
n x
x
N
N N
k
k k k
n x
x
dt
N
t x t g
x g n x g
k
b
dt t g


<