Nmero de Bernoulli

En matemticas, los nmeros de Bernoulli (denotados

por Bn y, a veces, por bn con el n de distinguirlos de los n [( ) ( ) ]
1 2 2 2 1 1 n2 + 2 1/
nmeros de Bell) constituyen una sucesin de nmeros k = 1+2+. . .+n = B0 n + B1 n =
2 0 1 2
racionales con profundas conexiones en teora de nme- k=1
ros. El primer algoritmo para la generacin automtica de n-
Fueron llamados as por Abraham de Moivre, en honor de meros de Bernoulli fue descrito por primera vez por Ada
Jakob Bernoulli, primer matemtico que los estudi. Los Byron en sus notas del ao 1843 sobre la mquina anal-
nmeros de Bernoulli tambin aparecen en la expansin tica de Charles Babbage.
de las funciones tangente y tangente hiperblica mediante
series de Taylor, en la frmula de Euler-Maclaurin y en
las expresiones de ciertos valores de la funcin zeta de 2 Denicin de los nmeros de Ber-
Riemann. noulli
Se pueden denir de diversas formas equivalentes:
1 Introduccin
Como los trminos independientes de los
Histricamente, surgieron de los intentos de obtener una polinomios de Bernoulli Bp (x) correspondientes,
forma cerrada de la suma de potencias de nmeros natu- es decir, Bp = Bp (0)
rales:
Mediante una funcin generatriz G(x), en este caso:

n x xn
G(x) = = Bn : si |x| < 2
k p = 1p + 2p + . . . + np e 1 n=0
x n!
k=1
donde cada coeciente Bn de la serie de Taylor es el n-
Las formas cerradas de la expresin son siempre simo nmero de Bernoulli.
polinomios en n de orden p + 1 . Se obtuvo una de dichas
formas mediante polinomios de Bernoulli y otra mediante
el uso de nmeros de Bernoulli: 3 Algunos valores

p ( )
A continuacin se ofrecen los primeros nmeros de Ber-

n
(n + 1)p+1 p Bk Bp+1
noulli (n +
(las 1) Bp+1
sucesiones (0)
completas de numeradores y de-
p
k = + (n+1)pk+1 =
p+1 k pk+1 nominadorespen + OEIS
1 son, respectivamente, A027641 y
k=1 k=1
A027642):
Y los polinomios de Bernoulli se pueden calcular a
Se puede demostrar que Bn = 0 para todo n impar dis-
partir de esta frmula: tinto de 1. La peculiar forma del valor de B12 = 2730
691

parece sealar que los valores de los nmeros de Bernou-

p ( )
p lli no tienen una descripcin elemental; de hecho, esen-
Bp (n) = Bk npk cialmente son valores de la funcin zeta de Riemann para
pk
k=0
enteros negativos y estn asociados a propiedades profun-
Donde los Bk son los nmeros de Bernouilli. Y sabiendo das de la teora de los nmeros y, por ello, no se espera
que B0 = 1 , los dems nmeros se calculan mediante la que tengan una formulacin trivial.
siguiente frmula recursiva:

4 Identidades relacionadas
(
k1
k
)
Bi
Bk =
i=0
i k+1i Leonhard Euler expres los nmeros de Bernoulli en tr-
minos de la funcin zeta de Riemann con la expresin
Por ejemplo, si p = 1 , tenemos que: siguiente:

1
2 7 ENLACES EXTERNOS

esto lo que nos indica es que la funcin zeta de Riemann,

(2k) (2k)! con 1pz extrados de la frmula del producto de Euler, es
B2k = 2(1)k+1 continua tanto en los nmeros p-dicos como en los n-
(2)2k
meros enteros negativos congruentes mdulo p - 1 con un
a concreto tal que a1 (mod p1) , lo que permite exten-
5 Propiedades aritmticas der el resultado a una funcin continua p (z) para todos
los enteros p-dicos Zp , en lo que se denomina funcin
zeta p-dica.
Como ya se ha indicado, los nmeros de Bernoulli pueden
expresarse en trminos de la funcin zeta de Riemann, lo
que implica que en esencia, son valores de la funcin zeta
para los enteros negativos. As, se puede esperar que ten- 6 Vase tambin
gan propiedades aritmticas de ndole no trivial, un hecho
que fue descubierto por Ernst Kummer en sus trabajos Polinomios de Bernoulli
sobre el ltimo teorema de Fermat.
Las propiedades de los nmeros de Bernoulli relacio-
nados con su divisibilidad se relacionan con los grupos 7 Enlaces externos
de clases ideales de campos ciclotmicos gracias al teo-
rema de Kummer y se refuerzan gracias al teorema de The Bernoulli Number Page
Herbrand-Ribet; tambin se relacionan con los campos
Weisstein, Eric W. Nmero de Bernoulli. En
cuadrticos gracias al las proposiciones de Ankey-Artin-
Weisstein, Eric W. MathWorld (en ingls). Wolfram
Chowla. Tienen tambin conexin con las teoras-K alge-
Research.
braicas; si cn es el numerador de B2nn , entonces el orden
de K4n2 (Z) es c2n si n es par y 2c2n si n es impar.
Adems, relacionada con la cuestin de la divisibilidad,
existe un teorema (von Staudt-Clausen) que nos indica
que si sumamos 1/p a Bn para todo nmero primo p tal
que (p1)|n , el resultado es un nmero entero. Este hecho
nos permite caracterizar de forma inmediata a los deno-
minadores de los nmeros de Bernoulli Bn distintos de
cero como el producto de todos los nmeros primos p
tales que (p1)|n . En consecuencia los denominadores
estn libres de cuadrados y son divisibles por 6.
Finalmente, otro resultado (la conjetura de AgohGiuga)
postula que p es un nmero primo si y solo si pBp1
1 (mod p) .

5.1 Continuidad p-dica

Una importante propiedad relacionada con la congruen-
cia de los nmeros de Bernoulli es la denominada propie-
dad de la continuidad p-dica. Esta propiedad dice lo
siguiente: si b, m y n son enteros positivos tales que m y n
no son divisibles por p - 1 y mn (mod (pb )) , donde ()
es la funcin de Euler, entonces:

Bm Bn
(1 pm1 ) (1 pn1 ) (mod pb ).
m n
Y, puesto que Bn = n(1 n) , tambin puede escri-
birse como:

(1 pu )(u) (1 pv )(v) (mod pb )

donde u = 1 - m y v = 1 - n, de forma que 'u y v ni son
positivos ni son congruentes con 1 (mod p1) . En esencia,
 3

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Nmero de Bernoulli Fuente: https://es.wikipedia.org/wiki/N%C3%BAmero_de_Bernoulli?oldid=99639141 Colaboradores: Pino,
Cdlfd, Ascnder, Tano4595, RGLago, Desatonao, FAR, Rembiapo pohyiete (bot), RobotQuistnix, Yrbot, BOTijo, YurikBot, Eskimbot,
Gtz, CaStarCo, CEM-bot, Rastrojo, Hichokei, Thijs!bot, TXiKiBoT, AlnoktaBOT, VolkovBot, Technopat, AlleborgoBot, Muro Bot,
J.M.Domingo, SieBot, Cousteau, Marcelo, Dnu72, Gato ocioso, Alexbot, Juan Mayordomo, Raulshc, Gizbot, MastiBot, Erud, D'ohBot,
Jerowiki, ZroBot, Grillitus, Javier37, Cristhian.camacho, Addbot y Annimos: 14

8.2 Imgenes
Archivo:Commons-emblem-question_book_orange.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1f/
Commons-emblem-question_book_orange.svg Licencia: CC BY-SA 3.0 Colaboradores: <a href='//commons.wikimedia.org/wiki/File:
Commons-emblem-issue.svg' class='image'><img alt='Commons-emblem-issue.svg' src='https://upload.wikimedia.org/wikipedia/
commons/thumb/b/bc/Commons-emblem-issue.svg/25px-Commons-emblem-issue.svg.png' width='25' height='25' srcset='https:
//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/38px-Commons-emblem-issue.svg.png 1.5x,
https://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/50px-Commons-emblem-issue.svg.png 2x'
data-le-width='48' data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/File:Question_book.svg' class='image'><img
alt='Question book.svg' src='https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/25px-Question_
book.svg.png' width='25' height='20' srcset='https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/
38px-Question_book.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_
book.svg.png 2x' data-le-width='252' data-le-height='199' /></a> Artista original: GNOME icon artists, Jorge 2701

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0