Todo sobre p

TODO LO QUE SIEMPRE QUISISTE SABER SOBRE

D. Julin Aguirre (*)

3,141592653589793238462643383279502884197169399375105820974944
5 9 2 3 0 7 8 1 6 4 0 6 2 8 6 2 0 8 9 9 8 6 2 8 0 3 4 8 2 5 3 4 2 11 7 0 6 7 9 8 2 1 4 8 0 8 6 5 i 3 2 8 2 3 0 6 6 4 7
0 9 3 8 4 4 6 0 9 5 5 0 5 8 2 2 3 1 7 2 5 3 5 9 4 0 8 1 2 8 4 8 111 7 4 5 0 2 8 4 1 0 2 7 0 1 9 3 8 5 2 11 0 5 5 5 9
644622948954930381964428810975665933446128475648233786783165
271201909145648566923460348610454326648213393607260249141273
724587006606315588174881520920962829254091715364367892590360
0 11 3 3 0 5 3 0 5 4 8 8 2 0 4 6 6 5 2 1 3 8 4 1 4 6 9 5 1 9 4 1 5 11 6 0 9 4 3 3 0 5 7 2 7 0 3 6 5 7 5 9 5 9 1 9 5 3
0 9 2 1 8 6 11 7 3 8 1 9 3 2 6 11 7 9 3 1 0 5 11 8 5 4 8 0 7 4 4 6 2 3 7 9 9 6 2 7 4 9 5 6 7 3 5 1 8 8 5 7 5 2 7 2 4
8 9 1 2 2 7 9 3 8 1 8 3 0 11 9 4 9 1 2 9 8 3 3 6 7 3 3 6 2 4 4 0 6 5 6 6 4 3 0 8 6 0 2 1 3 9 4 9 4 6 3 9 5 2 2 4 7 3 7
190702179860943702770539217176293176752384674818467669405132
000568127145263560827785771342757789609173637178721468440901
2 2 4 9 5 3 4 3 0 1 4 6 5 4 9 5 8 5 3 7 1 0 5 0 7 9 2 2 7 9 6 8 9 2 5 8 9 2 3 5 4 2 0 1 9 9 5 6 11 2 1 2 9 0 2 1 9 6 0
8 6 4 0 3 4 4 1 8 1 5 9 8 1 3 6 2 9 7 7 4 7 7 1 3 0 9 9 6 0 5 1 8 7 0 7 2 11 3 4 9 9 9 9 9 9 8 3 7 2 9 7 8 0 4 9 9 5 1
059731732816096318595024459455346908302642522308253344685035
2 6 1 9 3 11 8 8 1 7 1 0 1 0 0 0 3 1 3 7 8 3 8 7 5 2 8 8 6 5 8 7 5 3 3 2 0 8 3 8 1 4 2 0 6 1 7 1 7 7 6 6 9 1 4 7 3 0 3
5 9 8 2 5 3 4 9 0 4 2 8 7 5 5 4 6 8 7 3 11 5 9 5 6 2 8 6 3 8 8 2 3 5 3 7 8 7 5 9 3 7 5 1 9 5 7 7 8 1 8 5 7 7 8 0 5 3 2
1 7 1 2 2 6 8 0 6 6 1 3 0 0 1 9 2 7 8 7 6 6 111 9 5 9 0 9 2 1 6 4 2 0 1 9 8 9 3 8 0 9 5 2 5 7 2 0 1 0 6 5 4 8 5 8 6 3
278865936153381827968230301952035301852968995773622599413891
2 4 9 7 2 1 7 7 5 2 8 3 4 7 9 1 3 1 5 1 5 5 7 4 8 5 7 2 4 2 4 5 4 1 5 0 6 9 5 9 5 0 8 2 9 5 3 3 11 6 8 6 1 7 2 7 8 5 5
8 8 9 0 7 5 0 9 8 3 8 1 7 5 4 6 3 7 4 6 4 9 3 9 3 1 9 2 5 5 0 6 0 4 0 0 9 2 7 7 0 1 6 7 11 3 9 0 0 9 8 4 8 8 2 4 0 1 2
858361603563707660104710181942955596198946767837449448255379
774726847104047534646208046684259069491293313677028989152104
7 5 2 1 6 2 0 5 6 9 6 6 0 2 4 0 5 8 0 3 8 1 5 0 1 9 3 5 11 2 5 3 3 8 2 4 3 0 0 3 5 5 8 7 6 4 0 2 4 7 4 9 6 4 7 3 2 6 3
914199272604269922796782354781636009341721641219924586315030
286182974555706749838505494588586926995690927210797509302955
3 2 11 6 5 3 4 4 9 8 7 2 0 2 7 5 5 9 6 0 2 3 6 4 8 0 6 6 5 4 9 9 11 9 8 8 1 8 3 4 7 9 7 7 5 3 5 6 6 3 6 9 8 0 7 4 2 6
542527862551818417574672890977772793800081647060016145249192
1 7 3 2 1 7 2 1 4 7 7 2 3 5 0 1 4 1 4 4 1 9 7 3 5 6 8 5 4 8 1 6 1 3 6 11 5 7 3 5 2 5 5 2 1 3 3 4 7 5 7 4 1 8 4 9 4 6 8
438523323907394143334547762416862518983569485562099219222184
272550254256887671790494601653466804988627232791786085784383
8 2 7 9 6 7 9 7 6 6 8 1 4 5 4 1 0 0 9 5 3 8 8 3 7 8 6 3 6 0 9 5 0 6 8 0 0 6 4 2 2 5 1 2 5 2 0 5 11 7 3 9 2 9 8 4 8 9 6
0 8 4 1 2 8 4 8 8 6 2 6 9 4 5 6 0 4 2 4 1 9 6 5 2 8 5 0 2 2 2 1 0 6 6 11 8 6 3 0 6 7 4 4 2 7 8 6 2 2 0 3 9 1 9 4 9 4 5
047123713786960956364371917287467764657573962413890865832645
995813390478027590099465764078951269468398352595709825822620
522489407726719478268482601476990902640136394437455305068203
496252451749399651431429809190659250937221696461515709858387
410597885959772975498930I61753928468138268683868942774155991
855925245953959431049972524680845987273644695848653836736222
...
(*) Profesor de la UPV. Departamento de Matemticas.

Septiembre 2001 Iraila 2001

107

Julin Aguirre

INTRODUCCIN
Una mirada superficial a la historia del pensamiento humano revela que determinados asuntos han merecido la atencin de los pensadores, filsofos e intelectuales desde el nacimiento
de la humanidad hasta nuestros das. En general se trata de cuestiones que no han recibido
una respuesta satisfactoria a gusto de todos. Sirvan como ejemplo las preguntas quienes
somos?, de dnde venimos? y a dnde vamos? Si esta realidad es descorazonadora, podemos consolarnos volviendo nuestra mirada hacia otros problemas que, si bien de naturaleza
distinta, han ocupado mentes sapientsimas durante siglos y han sido completamente resueltos.
Uno de esos problemas es el de la cuadratura del crculo. Consiste en construir un cuadrado
con un area igual a la de un crculo dado. Junto con la duplicacin del cubo y la triseccin
del ngulo, es uno de los tres problemas clsicos planteados por los matemticos de la Grecia
antigua. Es importante comprender que el trmino construir debe entenderse en el sentido de
construir usando exclusivamente regla y comps. Aunque hoy nos pueda parecer un poco
extraa esa insistencia en el uso exclusivo de la regla y del comps, debe tenerse en cuenta
que para los griegos los nmeros eran razones entre magnitudes que se representaban
mediante segmentos, reas o volmenes. La historia de la cuadratura del crculo como problema cientfico se extiende en su totalidad ante nosotros. Podemos rastrear sus orgenes en
la antiguedad y seguir el desarrollo de los mtodos e ideas para resolverlo hasta llegar por fn
a su completa solucin. Podemos ver tambin como el progreso hacia la solucin se ha visto
afectado por la labor de algunos de los ms grandes matemticos que ha dado la humanidad,
como Arqumedes, Huyghens, Euler y Hermite entre otros.
No solo los cientficos muestran inters por estas cuestiones. La Poetisa Wislawa Szymborska,
Premio Nobel de literatura de 1996, escribi un poema titulado El nmero p, que puede leerse
el diario El Pas del 4 de octubre de 1996 (1).

1. DEFINICIN DE p
El nmero p se define como la razn de la longitud de la circunferencia al dimetro.
Esta definicin plantea dos preguntas:
1. Como se define la longitud de una lnea curva?
2. Como sabemos que esa razn es la misma para todas las posibles circunferencias?
Todos tenemos una idea intuitiva de lo que es la longitud de una lnea, pero dar una definicin
matemtica precisa es un problema distinto. La identificacin del conjunto R de los nmeros
reales con la recta real nos permite definir la longitud de un segmento rectilneo. Para una lnea
curva, se define por aproximacin mediante lneas quebradas inscritas. Este proceso puede llevarse a cabo para las llamadas curvas rectificables, de las que la circunferencia es un ejemplo.
De hecho en este caso, lo usual es definir su longitud como el lmite del permetro de polgonos regulares inscritos o circunscritos cuando el numero de sus lados tiende a infinito.

108

SIGMA N 50

Todo sobre p

Esta definicin nos d tambin la respuesta a la segunda pregunta. Por el teorema de Tales, si
en un tringulo duplicamos dos de los lados y unimos los extremos de los lados duplicados,
resulta un tringulo semejante al inicial, y el tercer lado tambin se ha doblado. Evidentemente lo mismo es cierto para cualquier otra razn de semejanza. Supongamos ahora que
tenemos una circunferencia dada y duplicamos el radio. Por lo anterior, vemos que el permetro de los polgonos regulares inscritos se duplica, y pasando al lmite resulta que la longitud de la circunferencia se multiplica por dos.
El nmero p tambin aparece en la frmula para el rea del crculo de radio r, que viene dada
por pr 2. Podemos llegar a esta frmula a travs de la aproximacin del crculo por polgonos
regulares. Si pn es el permetro del polgono regular inscrito (o circunscrito) y an su apotema,
entonces su rea es pnan /2. Haciendo n tender a infinito se tiene que pn converge a la longitud de la circunferencia, es decir a 2pr, y an al radio, de donde resulta la frmula del rea.
Para llevar a cabo este proceso he dado por supuesto que el rea est bien definida como
lmite del rea de polgonos inscritos. El problema de definir el concepto de rea para regiones del plano llev sucesivamente a la definicin de la integral y la teora de la medida.

2. HISTORIA DEL CLCULO DE p

El calcular cifras de p es un ejercicio que ha atrado desde siempre a matemticos y cientficos en general. La razn primera es de tipo prctico, ya que el valor de p es necesario para
poder calcular con precisin reas de crculos y volmenes de cuerpos cilndricos (por ejemplo almacenes de grano). Sin embargo la aplicacin ms sofisticada necesita no ms all de
30 cifras decimales, que ya fueron calculadas Ludolph van Leuden (1540-1610). Por qu
entonces ese ansia de calcular ms y ms cifras? Por una parte est la satisfaccin personal
que una persona puede alcanzar al batir un nuevo rcord de cifras calculadas (como otras disfrutan haciendo "puenting" o subiendo al Everest por una ruta nueva). Pero la razn fundamental es en mi opinin el estudio de las propiedades estadsticas de la distribucin de los
dgitos 0, 1, ..., 9 en el desarrollo decimal de p, claro que tambin cabe preguntarse para qu
quiere uno llevar a cabo ese estudio. Finalmente, en los ltimos aos el clculo de unos cuantos millones de cifras de p se ha convertido en una prueba estndar para comprobar el "hardware" de los ordenadores.
2.1. La antiguedad.
2.1.1. Egipto. El valor de p documentado ms antiguo, y tambin el ms preciso hasta el
advenimiento de Arqumedes, es el que se deduce del mtodo usado por los antiguos
egipcios para calcular el rea de un crculo y que est explicado en un papiro conocido
por el nombre del anticuario que lo compr en 1858.
El papiro Rhind fue encontrado a mediados del siglo pasado en las ruinas de un pequeo
edificio contiguo al templo funerario de Ramss II, y se encuentra en la actualidad en el
Museo Britnico en Londres (salvo pequeos fragmentos que se hallan en el Museo de
Brooklyn).

Septiembre 2001 Iraila 2001

109

Julin Aguirre

Fue escrito por el escriba Ahmes alrededor del ao 1950 A.C. (ms exactamente en el
cuarto mes de la estacin de inundaciones en el ao 33 del reinado del Rey Apophis).
Consta de una serie de tablas matemticas y problemas junto con su mtodo de resolucin. En los problemas 41-43 se calcula el volumen de un granero cilndrico. En los problemas 48 y 50 se trata de reas de terrenos circulares. El nmero 48 va acompaado de
un pequeo diagrama.
La regla para calcular el rea de un crculo es la siguiente:
1. tomar el dimetro del crculo
2. restarle una novena parte
3. elevar al cuadrado
Esto equivale a asignar a p un valor
8 2 256
) = 81 = 3,1604938...,
9
y representa un error del 0,6% en el clculo del rea de un crculo. Cmo llegaron a este
valor tan preciso es un misterio sobre el que solo cabe especular.
4(

2.1.2. Babilonia. Los babilonios usaban la aproximacin menos precisa p = 3, con un

error en el clculo del rea de un crculo del 4,46%. Este valor est probablemente relacionado con su descubrimiento de que el lado de un hexgono regular inscrito en un crculo es igual a su radio.
2.1.3. La Biblia. El valor p = 3 aparece tambin de manera implcita en la Biblia. En el
libro primero de los Reyes, captulo 7, versculo 23 y en el libro segundo de las Crnicas,
captulo 4, versculo 2, puede leerse la descripcin de un depsito de agua para el palacio del Rey Salomn:
Hizo el Mar de metal fundido que tena diez codos de borde a borde. Era enteramente
redondo y de cinco codos de altura; un cordn de 30 codos meda su contorno.
Estas lneas han supuesto no pocos quebraderos de cabeza a los fundamentalistas que
creen en la Biblia de manera literal.
2.2. Grecia. Los griegos demuestran un gran inters en el nmero p y en el problema de la
cuadratura del crculo, cuya solucin llegara dos mil aos ms tarde.
2.2.1. Los primeros matemticos griegos. Debemos a los matemticos griegos, los creadores de la geometra como ciencia abstracta, el primer tratamiento sistemtico de la
cuadratura y rectificacin del crculo.
Los ms antiguos matemticos griegos Tales de Mileto (640-548 A. C. y Pitgoras de
Samos (580-500 A.C.) introdujeron la geometra egipcia en Grecia, pero se desconoce
si trataron la cuadratura del crculo. Segn Plutarco, Anaxgoras (500-428 A.C.) se entretuvo en prisin cuadrando el crculo.
Alrededor del 420 A.C., Hippias invent una curva (la cuadratriz) que permite la construccin de p. Desgraciadamente (o afortunadamente), la curva es tan difcil de construir
como el propio nmero p.

110

SIGMA N 50

Todo sobre p

Los sofistas consideraron el problema, pero los primeros avances se deben a Antfonas y
Bryson, contemporneos de Scrates, y que con sideraron por primera vez polgonos inscritos y circunscritos en la circunferencia.
Hipcrates, que vivi en Atenas en la segunda mitad del siglo V A.C., estudi formas
geomtricas curvilneas que admiten cuadratura exacta. Intent reducir el problema de
la cuadratura del crculo a la de ciertas lnulas (regiones entre dos circunferencias).
2.2.2. Arqumedes. El primer hito en la bsqueda de cifras de p, y el primer tratamiento
del problema verdaderamente cientfico, lo pone Arqumedes (287-212 A.C.).
Considerando polgonos inscritos y circunscritos de 96 lados, obtiene la aproximacin
3,140845 = 3

10
1
<p<3
= 3,142857. . .
71
7

El mtodo puede usarse en principio para calcular p con cualquier nmero de cifras.
Variaciones de este mtodo son las que se usan en los siguientes 1.800 aos para calcular p, culminando con el trabajo de Ludolph van Leuden (1540-1610) que calcul 34
cifras correctas. Las limitaciones del mtodo son una convergencia lenta y la necesidad
de calcular races cuadradas.
2.2.3. Los ltimos matemticos griegos. Con posterioridad a Arqumedes, Hiparco (180125 A.C.) calcula la primera tabla de cuerdas de un crculo, fundando la trigonometra.
La mayor contribucin en esa direccin se debe a Ptolomeo (87-165 D.C.), cuyas tablas
de cuerdas estuvieron en vigor durante 1.000 aos. Fue adems el primero en obtener
una aproximacin de p mejor que la de Arqumedes:
p = 38'30" = 3+

8
30
+
= 3,14166...
60 3.600

2.3. Oriente.
2.3.1. India. ryabhatta (alrededor del ao 500 D.C.) conoca el valor
p=

62.832
= 3,1416.
20.000

El mismo valor en la forma

3.927
1.250
fue dado por Bhskara (nacido en el 1114 D.C.), quien lo describe como exacto, en contraste con el valor inexacto
3

1 22
=
.
7
7

Obtuvo este resultado como Arqumedes, calculando los permetros de polgonos regulares inscritos en una circunferencia de 12, 24, 48, 96, 192 y 348 lados.
Brahmagupta (nacido en el 598 D.C.) da como exacto el valor
p==10 = 3,1622...

Septiembre 2001 Iraila 2001

111

Julin Aguirre

2.3.2. China. Los matemticos chinos ms antiguos, de la poca de ChouKong (siglo 12

A.C.) usaban la aproximacin p = 3. Hasta el siglo tercero de nuestra poca hay varios
"cuadradores del crculo" que determinan diversos valores para p, entre los que se
encuentran
=10 (Chang Hing, muerto en el ao 139 D.C.),
142 = 3,1555. . . (Wang Fau) y
45
157 = 3,14 (Liu Hui, 263 D.C.)
50
La ms interesante de todas las determinaciones es la del astrnomo Tsu Ch'ung-Chih
(nacido en el ao 430 D.C.), quien prueba que
3,1415926 < p < 3,1415927
y encuentra los dos valores
22 y 355 = 3,1415926. . .
7
113
El primero de ellos es el valor dado por Arqumedes, pero el segundo, de gran precisin,
no fue hallado ni por los indios ni los griegos, y fue redescubierto en Europa ms de mil
aos despus por Adriaen Anthonisz (1527-1607).
2.3.3. Los rabes. En la Edad Media los rabes introducen las matemticas griegas e
indias en Europa, principalmente a travs de traducciones de las obras de Euclides,
Ptolomeo y Arqumedes. En el siglo noveno Al Warizmi da para p
el valor griego 3

1
y los indios
7

62.832 =
y 10.
2.000

2.4. El renacimiento.
2.4.1. Leonardo Pisano, alias Fibonacci. Vivi en Pisa a finales del siglo XII. Mejora los
resultados de Arqumedes con las aproximaciones
1.440
1.440
<p<
458 49
458 15
Toma la media de la estimacin superior e inferior para obtener
1.440
p=
= 3,1418...
458 13
En este perodo no hay prcticamente avances. Algunos autores posteriores creen que
3 17es el valor exacto de p. George Purbach (1423-1461) conoce los valores de Arqumedes y los matemticos indios, y duda de que exista un valor exacto.
2.4.2. Nicols de Cusa. El Cardenal Nicols de Cusa (1401-1464) obtuvo el valor
p = 3,1423 que crea exacto, lo que le vali el sobrenombre de "cuadrador del crculo".
Por cierto que Aristfanes utiliza en su obra "Los pjaros" el mismo trmino "cuadrador
del crculo" para referirse a quien dedica su vida a una tarea imposible. En cualquier
caso, gran parte del desarrollo de las matemticas entre los griegos se produce como
consecuencia de intentar resolver problemas imposibles.

112

SIGMA N 50

Todo sobre p

2.5. Los siglos XVI y XVII. Coprnico y Kepler entre otros introducen grandes avances en la trigonometra, que servirn como base para los desarrollos analticos del siguiente perodo.
Leonardo da Vinci y Alberto Durero, ambos grandes artistas, dedicaron parte de su tiempo a la
cuadratura del crculo sin ningn logro reseable. Andrea Anthonisz (1527-1607) redescubre
el valor chino 355 .
113
2.5.1. La frmula de Vieta. Francisco Vieta (1540-1603) da la primera expresin explcita
de p en forma de producto infinito:

2
=
p

= 12 = 12 + 12 = 12 = 12 + = 12 + 12 = 12 ......

La obtiene por mtodos todava geomtricos. Tambin calcula p, usando polgonos de

6 216 = 393.216 lados, con 9 cifras decimales.
2.5.2. Ludolf van Ceulen (Colonia, 1539-1610). Realiza el ltimo clculo con el mtodo
de Arqumedes, llegando hasta 34 cifras, que orden esculpir en su tumba. En Alemania
se conoce an hoy a p como nmero de Ludolph.
2.5.3. Snelliuss y Huyghens. Willebord Snellius y Christian Huyghens llevan hasta el
lmite el mtodo geomtrico. A travs de una serie de 16 teoremas, Huyghens obtiene a
partir de el tringulo los valores para los que antes eran necesarios polgonos de 96
lados, y con el hexgono obtiene 9 cifras decimales exactas, mientras que el mtodo de
Arqumedes proporciona 3 < p < 3,464.
2.5.4. Descartes. Modifica el mtodo de Arqumedes, expresndolo como una iteracin
para dos sucesiones, en una manera que se asemeja al algoritmo de la media aritmticogeomtrica de Gauss.
2.6. La irrupcin del clculo. Uno de los efectos del nuevo clculo diferencial e integral desarrollado por Newton (1642-1727) y Leibniz (1646-1716) fue el de reemplazar los mtodos
geomtricos para el clculo de p por mtodos analticos.
2.6.1. Frmula de Wallis. John Wallis (1616-1703), mediante un clculo complicado que
precisa de una prodigiosa intuicin numrica, encuentra el producto infinito
p = 2 2 4 4 6 6 8 8 ...
2
1 3 3 5 5 7 7 9 ...
Tiene la ventaJa sobre la frmula de Vieta de que solo necesita operaciones racionales.
2.6.2. La fraccin continua de Lord Brounker. Unos aos rns tarde Lord Brounker (16201686), primer presidente de la Royal Society, lo reescribe como una fraccin continua:

Septiembre 2001 Iraila 2001

113

Julin Aguirre

(1)
4

p=

1+

2+
2+

25
2+

49
2 +...

El mtodo ms utilizado en la prctica para el clculo de p (al menos hasta la dcada de

los 80) lo establece el matemtico escocs James Gregory (1638-1671) al obtener el
desarrollo en serie de potencias de la funcin arctan:
`
arctan x = S

n=0

3
5
7
(-1)n 2n+1
x =x x + x x +...
2n + 1
3
5
7

vlido para 1 x 1. Poniendo x = 1 se obtiene

p
1
1
1
=1
+

+ ...,
4
3
5
7
conocida como serie de Leibniz, quien la descubri en 1674 y la public en 1682. Sin
embargo ya era conocida por Gregory y Newton. En cualquier caso no es muy til como
mtodo prctico de clculo debido a lo lento de su convergencia. Si sumamos 500.000
trminos obtenemos solo 5 cifras decimales correctas. Sin embargo tenemos el siguiente
fenmeno. En la suma de esos 500.000 primeros calculada con 40 cifras decimales, se
tiene
499.999

4 S
n=0

(-1)n = 3,14159 0 6535897932 4 04626433832 6 9502884197,

2n + 1

y las nicas cifras incorrectas son las recuadradas.

Es claro que cuanto ms pequeo sea x ms rpidamente converger la serie. A principios del siglo XVII, Abraham Sharp, bajo la direccin del astrnomo E. Halley, obtuvo 71
cifras usando la serie del arctan con x =1/ =3, que corresponde a p ,
6
1
p
y con x = 2 =3 =
, que corresponde a
12
2 + =3
El mismo Isaac Newton calcul 15 cifras de p mediante la frmula
p=

3 =3
1
1
1
1
+24(

... ),
4
12
525
2827
7229

confesando sentirse avergonzado por ello.

2.7. Leonard Euler (1707-1783). Euler ha sido uno de los ms grandes analistas (y cientficos) de todos los tiempos. Presentamos algunos de sus resultados ms relevantes en
relacin con el nmero p.
La forma moderna de la trigonometra es debida a Euler. El introduce las funciones sen,
cos y tan como razones de los lados de un tringulo rectngulo y por tanto como funciones de una magnitud angular. La costumbre de usar los smbolos p (introducido por
William Jones en 1706) y e es debida a l. Esta forma de considerar las funciones trigonomtricas como funciones analticas del ngulo, llev a Euler a uno de sus grandes

114

SIGMA N 50

Todo sobre p

descubrimientos, la relacin entre las funciones trigonomtricas y la funcin exponencial. Fruto de ella es la siguiente identidad, en la que figuran los nmeros ms importantes:
epi+1 =0.
Tambin calcul cifras de p, y demostr varias frmulas en las que interviene el nmero
p. En 1775 obtuvo una nueva serie para arctan:
(2)

arctan x =

donde S =

24 2 246 3
x
2
{1 +
S+
S +
S + . . . },
357
35
1 + x2
3

x2
.
1 + x2

Esta serie es ms eficiente computacionalmente que la de Gregory por ser de trminos

positivos y porque S < x2. En conjuncin con la frmula
p = 20 arctan 1 + 8 arctan 3
7
79
le permiti calcular 20 cifras de p en menos de una hora.
Encontr varias frmulas notables en las que aparece p, entre las que merece la pena
destacar las siguientes series, cuya suma Bernoulli no pudo lograr:
`

n=0

1
p2
2 =
n
6

n=0

1
p4
4 =
n
90

2.7.1. La frmula de Machin. John Machin (1680-1752) halla en 1706 la frmula que
lleva su nombre:
p
1
1
= 4 arctan
arctan
,
239
5
4
Junto con la serie para el arctan proporciona un mtodo eficiente de clculo. La segunda
serie converge rpidamente, mientras que la primera puede reducirse a clculos con
denominadores potencias de 10. Machin calcul as 100 cifras en el ao 1706.
En los siguientes 200 aos hay pocos cambios en los mtodos de clculo de p, que se
basan fundamentalmente en variaciones de la frmula de Machin. Por ejemplo, en 1884
Johann Dase us la frmula
p
1
1
1
= arctan
+ arctan
+ arctan
4
2
5
8
para calcular 200 cifras de p. Dase poda calcular en la cabeza productos de nmeros
de 100 cifras en un tiempo de unas 8 horas. A recomendacin de Gauss, la Academia
de Ciencias de Hamburgo pag a Dase para factorizar los enteros entre 7.000.000 y
10.000.000. Como dice Beckmann en su libro sobre la historia de p:
Parece que Gauss, quin ha sido el primero en obtener resultados en muchas ramas de
las matemticas, fue tambin el primero en pagar por tiempo de CPU.
El zenit de los clculos a mano se alcanza con Wiliam Shanks (1812-1882), quien
publica primero 607 cifras (1853) y ms tarde 707. Sin embargo comete un error en la
cifra 528, error que pas desapercibido hasta que en 1945 D.F. Ferguson, en una de los
ltimos clculos hechos a mano, halla 530 cifras. En 1947, usando una calculadora de
mesa, calcula 808 mediante la frmula:

Septiembre 2001 Iraila 2001

115

Julin Aguirre

p
1
1
1
= 3 arctan
+ arctan
+ arctan
.
4
4
20
1.985
2.8. La poca moderna. Con la aparicin de los ordenadores el clculo de cifras de p cobra
una nueva dimensin. Los rcords van cayendo uno tras otro. Los primeros clculos utilizan
todava la frmula de Machin o similares.
En Junio de 1949, Metropolis, Reitweiser y von Neumann calcularon y analizaron
2.037 cifras de p con el ENIAC (Electronic Numerical Integrator and Computer)
mediante la frmula de Machin. El clculo dur 70 horas.
En 1959 se calculan 16.167 cifras en un IBM 704 en 100 minutos.
En 1961, con una frmula tipo Machin, D. Shanks y Wrench pasan la barrera de las
100.000 cifras en un IBM 7090 en un tiempo de 9 horas.
El milln de cifras lo sobrepasan Guilloud y Bouyer en 1973 en un CDC 7600, todava con una frmula tipo Machin.
A partir de aqu se introducen nuevos algoritmos basados unos en la media aritmtico-geomtrica de Gauss y otros otros en la teora de transformaciones de integrales elpticas descubierta por S. Ramanujan. Los hitos son los siguientes:
Kanada, Tamura, Yoshino y Ushiro (1983), 16.000.000 de cifras en un HITAC M-280H
en menos de 30 horas, usando un algoritmo basado en la media aritmtico-geomtrica
de Gauss y multiplicacin rpida basada en FFT (Fast Fourier Transform, transformada
de Fourier rpida).
W. Gosper (1985), 17.000.000 usando la fraccin continua de p y la siguiente frmula debida a Ramanujan y que se basa en una identidad modular de orden 58:
=8 ` (4n)!
1
=
S
p
9.801 n = 0 (n!)4

1.103 + 26.390 n
.
3964n

El clculo detect ligeros errores de diseo del hardware en el ordenador (un

Symbolics 3670) que haban pasado desapercibidos en clculos a menor escala. De
hecho en la actualidad el clculo de unos cuantos millones de cifras de p se usa para
comprobar el estado del hardware de un ordenador.
En Enero de 1986 D. H. Bailey calcula 29.360.000 cifras de p en el CRAY-2 del Centro
de Investigacin Ames de la NASA. Utiliza 12 iteraciones de un algoritmo debido a
Borwein & Borwein de orden 4 para 1/p, usando como comprobacin 24 iteraciones
de un algoritmo de orden 2 descubierto tambin por los Borwein.
En septiembre de 1986 Kanada recupera el rcord al calcular 225 = 33.954.432 cifras,
reduciendo el tiempo de clculo a una quinceava parte del utilizado en 1983. Utiliza
para ello un algoritmo de orden 2, debido a Gauss pero hecho explcito por Brent y
Salamin. En enero de 1987 extiende el clculo hasta 227 cifras, superando la marca de
los 100 millones. En enero de 1988 calcula 201.326.000 cifras en un supercomputador Hitachi S-820.

116

SIGMA N 50

Todo sobre p

La ltima hazaa de la que tengo noticia es el clculo por los hermanos Chudnovsky
de ms de dos mil millones de cifras. Utilizan para ello la siguiente frmula tipo
Ramanujan, que no fue descubierta por l:
`
(k1 + nk2 ) (6n)!
1
1
=
S (-1)n
p
(n!)3 (3n)! (8 k3 k4)n
53.360=640.320 n = 0

donde k1 = 13.591.409, k2 = 545.140.134, k3 = 1.001.000.025 y k4 = 327.843.840.

El ordenador fue diseado especialmente para el clculo.

3. MTODOS DE CLCULO DE p

3.1. Dos mtodos experimentales para aproximar p. No se conoce en muchos casos la manera en
que se lleg a los diversos valores de p usados en la antiguedad. Yo voy a proponer dos posibles mtodos, que no necesitan ms conocimiento matemtico que el de medir, dividir y contar. Ambas son experimentales, y se basan en la relacin de p con la longitud de la circunferencia y el rea del crculo.
La primera consiste simplemente en medir la longitud de una circunferencia, medir el dimetro y calcular su cociente. El resultado ser evidentemente aproximado debido a los errores de
medicin y a la imposibilidad de construir una circunferencia perfecta.
La relacin de p con el rea del crculo proporciona el segundo mtodo para su clculo.
Tomamos una hoja de papel cuadriculado y trazamos con un comps un cuadrante de circunferencia de radio por ejemplo 10 cuadrados. El rea del cuadrante ser de 100p/4 = 25p
cuadrados. El nmero de cuadrados totalmente contenidos dentro del cuadrante dividido por
100 ser una aproximacin (por debajo) de p, y el nmero de cuadrados que tienen interseccin no vaca con el cuadrante dividido por 100 ser otra aproximacin, esta vez por arriba.

FIGURA 1. Mtodo elemental de aproximar p

Contando cuadros en la figura 1, resulta que hay 69 dentro y 86 que tocan.
Por lo tanto
2,76 =

69
86
<p<
= 3,44
25
25

Podemos mejorar esta aproximacin de dos maneras:

1. aumentando el nmero de cuadrados;
2. calculando a ojo qu fraccin de los cuadrados que tocan la circun ferencia cae dentro del crculo.

Septiembre 2001 Iraila 2001

117

Julin Aguirre

3.2. Mtodos geomtricos. Son mtodos que utilizan la definicin de la longitud de la circunferencia como lmite del permetro de polgonos inscritos o circunscritos. Su convergencia
es lenta y precisan del clculo de races cuadradas.
3.2.1. El mtodo de Arqumedes. Sea Pn un polgono regular de n lados inscrito en una
circunferencia de radio 1 y sea ln la longitud de su lado. El permetro ser entonces nln y
podremos aproximar p por
pn = nln .
2
La idea de Arqumedes es partir de un polgono cuyo lado es conocido e intentar calcular a partir de l el lado del polgono con el doble nmero de lados. Su mtodo est ntimamente unido al mtodo de exhaucin, que le permite demostrar (con un rigor homologable al exigido actualmente) que la longitud de la circunferencia puede aproximarse
tanto como se quiera por el permetro de polgonos inscritos y circunscritos. Obtiene
adems una estimacin inferior y otra superior para el valor de p. En todo momento es
consciente de que no obtiene el valor exacto de p, sino aproximaciones. La figura 2
representa los polgonos regulares de n y 2n lados inscritos en una circunferencia de centro O y radio 1. En ella
OA = OB = 1, AB = l2n y AC = ln.

FIGURA 2. El mtodo de Arqumedes

Calculamos el rea del tringulo OAB de dos formas distintas. Por un lado, la longitud
del lado OB es 1, y la altura sobre ese lado es ln /2, de donde resulta
rea de OAB =

1
ln.
4

Por otro, el tringulo es issceles, siendo la longitud de sus lados iguales 1 y la del otro
lado l2n. La longitud de la altura, por el Teorema de Pitgoras es =1 - (l2n /2)2, y por tanto
rea de OAB = 2

1
2

=1 ( l )
2
2n

l2n =
4 l2n
2

( )

Igualando las dos expresiones y despejando l2n, queda

l2n =

118

=2 =4 (l

)2

2n

SIGMA N 50

Todo sobre p

lo que permite calcular por recurrencia el permetro del polgono de 2kn lados conocido
el del polgono de n lados.
Arqumedes comenz con el hexgono P6, para el que l6 = 1 y p6 = 3.
Tenemos entonces:
p12 = 6

=2 =3 = 3,105828

p24 = 12

=2 =2 + =3 = 3,132629

p48 = 24

p96 = 48

= =

=2 + =2 + =3 = 3,139350
2+

=2 + =2 + =3 = 3,141032

En realidad no obtuvo estos valores, sino que evita el clculo de races cuadradas utilizando desigualdades, para obtener
3

1
10
<p<3
.
7
71

Descartes considera polgonos regulares de n lados (n 3) y de permetro fijo 2.

Llamando r y R a los radios de los correspondientes crculos inscritos y circunscritos tenemos
2pr < 2 < 2pR

1
1
<p< .
R
r

Como en el mtodo de Arqumedes, en primer lugar obtendremos los radios de los crculos inscrito y circunscrito del polgono regular con el doble nmero de lados y tambin permetro 2, que llamamos r* y R*. Se tiene entonces
1
r* = (r + R) y R* = =Rr* .
2
=
Fijemos ahora como polgono inicial un hexgono, para el que r = 1 y R = 3 .
3
6
Construimos las sucesiones {rn} y {Rn} de manera recurrente por las frmulas
r0 = 1
rn+1 = 1 (rn +Rn)
3
2
n 0.
=3
R0 =
Rn+1 = =Rn rn+1
Entonces
6
1
1
<p<
,
Rn
rn
1
1
y las sucesiones { } y { } convergen a p. Adems
Rn
rn
1 1 pRn ( 1 1 ).
rn+1
Rn+1
4
rn Rn

Septiembre 2001 Iraila 2001

119

Julin Aguirre

pRn
<1
4

Puesto que

el mtodo converge linealmente, y (asintticamente) en cada iteracin el error se divide

por 4.
3.3. Mtodos analticos. Con el nacimiento del clculo infinitesimal surgen nuevas herramientas para el clculo de p. La frmula de Wallis (como la de Vieta) si bien dan una expresin cerrada para p, no son muy tiles para su clculo. El primer avance serio se produce con
el descubrimiento por James Gregory de la serie de potencias para la funcin arctan:

arctan x = x

x3 x5 x7
+

+ ...,
3
5
7

_x_ < 1.

La serie converge absolutamente para _x_ < 1, y condicionalmente para x = 1. Dando valores particulares a x podemos obtener frmulas para p. La convergencia de la serie ser ms
rpida cuanto ms pequeo sea x. Abraham Sharp calcul 71 cifras usando x = 2 =3 = 0,
267949.
Hay toda una coleccin de frmulas que permiten aproximar p mediante la serie de Gregory
usando valores pequeos de x, lo que acelera la convergencia del mtodo. Algunas de ellas
se han usado para calcular millones de cifras de p. A continuacin presento las ms eficientes para el clculo. Con el fin de simplificar la escritura, usaremos la notacin
[x] = arctan
p
= [2] + [3]
4

1
.
x

Euler

= [2] + [5] + [8]

Daze

= 2 [3] + [7]

Clausen

= 4 [5] - [239]

Machin

= 8 [10] - [239] + 4 [515]

Klingestierra

= 12 [18] + 8 [57] - 5 [239]

Gauss

Son conocidas como frmulas tipo Machin. La ms sencilla es la de Euler

(3)

p
1
1
= arctan 1 = arctan
+ arctan
.
4
2
3

Hay dos maneras de probarla. Una analtica usando la frmula para la tangente de una suma,
y otra geomtrica, que se expone a continuacin. En la siguiente figura, el tringulo ABC es
rectngulo en B e issceles.
Por lo tanto el ngulo A mide p/4 radianes, mientras que

a = arctan 1
2

b = arctan 1 .
3

Las frmulas ms eficientes, en funcin del nmero de trminos que se debe evaluar son la de
Machin, la de Klingestierra y la de Gauss. En la prctica es habitual realizar los clculos con
dos de ellas como comprobacin. Las de Machin y Klingestierra tienen la ventaja de que las
series [5] y [10]

120

SIGMA N 50

Todo sobre p

FIGURA 3. Demostracin geomtrica de la igualdad (3)

son de clculo casi inmediato en base decimal. Sin embargo la de Gauss, cuando se utiliza
junto con la serie de Euler (2), es ms eficiente, pues
x=

1
1
x2
S=
=
18
1 + x2 325

x=

1
1
x2
S=
=
57
1 + x2 3.250

Desde un punto de vista prctico, esto quiere decir que basta con calcular los trminos de la
serie [18], ya que los de la serie [57] se obtienen multiplicando por potencias negativas de 10
(lo que implica un desplazamiento a la derecha de las cifras decimales).
Los trminos de la serie se calculan de manera sucesiva de forma recurrente:
a1 = 1, a2 = 2 S a1 , a3 = 4 S a2 ,..., an+1 = 2n S an ,...
2n + 1
3
5
3.4. La media aritmtico-geomtrica de Gauss. La media aritmticogeomtrica fue descubierta por Lagrange, y redescubierta por Gauss a la edad de 14 aos. Nueve aos ms tarde
public un artculo exponiendo muchas de sus propiedades.
Sean a > b nmeros reales. Las medias aritmtica y geomtrica son respectivamente
a+b ,
2

=ab.

Geomtricamente, si a y b son los lados de un rectngulo, la media aritmtica de a y b es el

lado de un cuadrado con el mismo permetro que el rectngulo original, mientras que la geomtrica es el lado de un cuadrado con la misma rea. Llamamos a1 a la media aritmtica de
a y b y b1 a su media geomtrica. Definimos de manera recurrente una sucesin
an+1 = an + bn ,
2

bn+1 = =an bn .

Es fcil comprobar que {an} es una sucesin decreciente, {bn} creciente y que ambas convergen a un mismo lmite, la media aritmtico-geomtrica de a y b, que denotamos por M(a, b).
La convergencia de las sucesiones es adems cuadrtica. Definimos
cn2 = an2 bn2 .

Septiembre 2001 Iraila 2001

121

Julin Aguirre

Se comprueba fcilmente que

cn+1

1
c2n .
4M(a,b)

La media aritmtico-geomtrica est ntimamente relacionada con las funciones elpticas. Una
de las relaciones (debida a Gauss) que tiene que ver con el problema que nos ocupa es

2 M (a,b)

p/2

dx
=a2 cos2 x + b2 sen2 x

=p

Esta frmula y otra debida a Legendre permiten obtener la siguiente frmula para p :
p=

4M2 (1,1/=2)
` 2n+1 c2n
1 Sn=0

donde a = 1, b = 1/ =2 y cn se define como antes. En 1976 Salamin redescubri la frmula,

estableciendo un algoritmo cuadrtico para el clculo de p.
Debe compararse el algoritmo de la media aritmtico-geomtrica con el de Descartes, muy
parecidos formalmente, pero uno de convergencia cuadrtica y el otro lineal.
La media aritmtico-geomtrica puede utilizarse tambin para el clculo de numerosas funciones especiales.
3.5. Identidades modulares. Existe una ntima relacin, que yo no dudara en llamar bella,
entre la teora de transformacin de funcion es elpticas, las funciones theta, ecuaciones
modulares y la aproximacin de p. El primero en hacerla explcita fue el matemtico indio
Ramanujan, quien en 1914 public un artculo en el que entre otras aparece la siguiente frmula:
`
1 = =8 S (4n)! 1.103 + 26.390n
9.801 n = 0 (n!)4
p
3964n

El primer trmino de la serie proporciona

p

9.801
= 3,14159273001 ...
1.103=8

La convergencia de la serie es muy rpida. Una serie similar descubierta por los hermanos
Chudnovsky es
`
(k1 + nk2) (6n)!
1
1 =
S (-1)n
p
=
53.360 640.320 n = 0 (n!)3 (3n)! (8k3k4)n

donde k1 = 13.591.409, k2 = 545.140.134, k3 = 1.001.000.025 y k4 = 327.843.840.

El primer trmino da
p=

13.591.409
= 3,14159265359 ...
53.360=640.320

Cada nuevo trmino aade 14 decimales correctos.

El inters de Ramanujan era el de obtener aproximaciones al gebraicas de p. J.M. y P.M.
Borwein construyen algoritmos iterativos, ntimamente relacionados con el anlisis de
Ramanujan. David H. Bailey calcul en 1988, 29.360.000 decimales de p mediante el
siguiente algoritmo:

122

SIGMA N 50

Todo sobre p

Sean a0 = 6 4 =2 e y0 = =2 1. Se definen de manera recurrente

4 1/4
yn+1 = 1 (1 y n)
1 + (1 y4n)1/4

an+1 = (1 + yn+1)4 an 22n+3 yn+1 (1 + yn+1 + yn+12 )

Entonces an converge con orden 4 a 1 y
p
n
0 < an 1 < 164n e2p4
p

Cada iteracin cuadruplica el nmero de decimales correctos. Adems el mtodo es autocorrector. Esto tiene la ventaja de que no es necesario hacer todas las operaciones con la precisin deseada al final. Basta realizar cada iteracin con una precisin igual a los decimales
correctos que van a obtenerse.
3.6. Multiplicacin rpida. El clculo de tantas cifras decimales hace necesario tener rutinas
altamente eficientes para aritmtica de precisin. La mayora de los compiladores actuales son
capaces de trabajar en precisin cudruple (unas 32 cifras decimales), lo que es suficiente en
casi todos los casos. Sin embargo estamos tratando con problemas que exigen multiplicar,
dividir y extraer races cuadradas de nmeros de varios millones de cifras. Las dos ltimas operaciones citadas pueden llevarse a cabo mediante multiplicaciones y un algoritmo iterativo.
Los mejores algoritmos de multiplicacin en multi-precisin utilizan versiones de FFT (transformada rpida de Fourier).
3.7. Fracciones continuas. Lord Brounker dio el primer desarrollo de p como fraccin continua (ecuacin (1)) alrededor de 1659. El desarrollo en fraccin continua regular (o sea, con
todos los numeradores iguales a 1) es
1

p=3+
(1)

7+

15 +

1+

1
1 +...

No hay ninguna regularidad en la sucesin de denominadores, y la nica manera de calcularlos es a partir del desarrollo decimal de p. Otros desarrollos (no regulares) pero con regularidad en los numeradores y denominadores son:
1

p=4+

12

1+
3+

22
5+

Septiembre 2001 Iraila 2001

32
7 +...

123

Julin Aguirre

12

p=3+

32

6+
6+

52
6+

72
6 +...

Este ltimo es debido a L.J. Lange en 1999.

3.8. La ltima frmula. En 1995 D. Bailey, P. Borwein y S. Plouffe descubrieron la siguiente
frmula:

`
p=S

1 (
k

n = 0 16

4
2
1
1 ).
8k + 1 8k + 4 8k + 5 8k + 6

Lo ms chocante de esta frmula es que permite calcular la n-sima cifra de p en base 16 sin
necesidad de calcular las anteriores. En todos los mtodos mencionados anteriormente, se calculan de golpe todas las cifras desde la primera a la n-sima. Desafortunadamente no se
conoce ninguna frmula similar que permita hacer lo mismo en base 10.

4. LA CUADRATURA DEL CRCULO

El problema de la cuadratura del crculo consiste en construir un cuadrado con un rea igual
a la de un crculo dado. Era bien sabido ya por los griegos que es un problema equivalente a
la rectificacin de la circunferencia. La solucin debe dar los vrtices del cuadrado mediante
un nmero finito de las operaciones que pueden realizarse con regla y comps para determinar un punto. Llevadas estas a la prctica darn una solucin fsica del problema, que ser
inexacta debido a la imperfeccin de los instrumentos, el grosor de las lneas dibujadas, etctera. Es probablemente este error de la solucin fsica lo que llev a muchos cuadradores del
crculo a creer que haban resuelto un problema que hoy sabemos que no tiene solucin.
Adems de la historia cientfica del problema, tiene una historia de otro tipo, debido al hecho
de que en todo tiempo, pasado y presente, ha atrado la atencin de personas que, sin los
conocimientos necesarios para comprender la naturaleza del problema, se dedican a su resolucin con devocin y entusiasmo. Como norma general man tienen la validez de su solucin
pese a los esfuerzos de de genuinos matemticos para sacarlos de su error. El tipo de soluciones que propugnan los "cuadradores del crculo" va desde los intentos ms ftiles que traslucen una total falta de capacidad para el razonamiento lgico hasta aproximaciones ingeniosas que demuestran una gran inventiva. Las sociedades cientficas y las secciones de cartas al
director de los peridicos reciben con frecuencia escritos de estos aficionados, generalmente
acompaadas de quejas de incomprensin y conspiracin en su contra. Ya en tiempos de los
griegos el trmino ttragoniz (el que se ocupa en la cuadratura) se utilizaba para designar
a quien se dedica a tareas imposibles (por ejemplo, en la obra "Los pjaros", de Aristofanes).
En el ao 1775 la Academia de Pars se vio obligada a aprobar una resolucin por la que no

124

SIGMA N 50

Todo sobre p

se examinaran ms soluciones de la duplicacin del cubo, triseccin del ngulo o cuadratura

del crculo, y lo mismo se aplicara a mquinas de movimiento continuo. Es curiosa la seguridad de los matemticos de la poca en la imposibilidad de esas construcciones, cuya prueba
tard todava 100 aos en llegar.
4.1. Thomas Hobbes. De entre los innumerables cuadradores del crculo destaca el filsofo
ingls Thomas Hobbes (1588-1679). Un punto clave en el desarrollo de su pensamiento filosfico se produce alrededor de 1629, cuando lee los Elementos de Euclides. Queda tan impresionado por el mtodo deductivo que le parece el nico posible para el avance de la ciencia
y la filosofa. Esto le enfrenta a los que abogan por el mtodo inductivo-experimental, entre
los que se encuentran Roger Bacon, el astrnomo Seth Ward y el matemtico John Wallis.
La publicacin de "De Corpore", en la que influenciado por Galileo pretende explicar todos
los fenmenos fsicos en trminos de movimiento y en el que incluye un mtodo para cuadrar
el crculo, da pie a Wallis para refutar sus matemticas, y de paso ridiculizar sus teoras filosficas y polticas. Hobbes replica traduciendo su libro al ingls y aadiendo un eplogo de
ttulo "Seis lecciones a los Profesores de Matemticas de Oxford". La polmica contina por
ambas partes con algunas interrupciones hasta la muerte de Hobbes a los 90 aos. Entre tanto
publica "De la Cuadratura del Crculo, la Duplicacin del Cubo y la Triseccin del ngulo".
4.2. El valor legal de p. Otro insigne cuadrador fue Edward Jonhston Goodwin (1828?-1902),
mdico de Solitude, Indiana. En 1892 publica "Desigualdad Universal es la Ley de Toda la
Creacin", en la que incluye el comentario:
En la primera semana de Marzo, 1988, el autor fue enseado de forma sobrenatural la medida
exacta del crculo ... ninguna autoridad en la ciencia de los nmeros puede decir como fue
descubierta

Patent sus resultados en U.S.A., Inglaterra, Alemania, Blgica, Francia Austria y Espaa. En
1984, primer ao de existencia del American Mathematical Monthly, publica "Cuadratura del
Crculo", con la nota "Publicado a peticin del autor". El Dr. Goodwin convenci a su representante en el Parlamento de Indiana para que presentase una proposicin de ley cuyo texto
era casi idntico al del artculo del Monthly. Comienza as:
Una proposicin de ley introduciendo una nueva verdad matemtica ofrecida como contribucin a la educacin y para uso exclusivo del estado de Indiana libre de todo costo, siempre que sea aceptada y adoptada por la legislatura de 1887. ARTICULO 1. Se legisla por la
Asamblea General del estado de Indiana que ha sido hallado que un rea circular es al cuadrado de lado igual al cuadrante de la circunferencia como el rea de un rectngulo equiltero es a uno de sus lados....

Esto parece querer decir que p D2/4 = (p D/4)2, de donde p = 4.

Septiembre 2001 Iraila 2001

125

Julin Aguirre

ARTICULO 2. Adems, ha revelado la razn de la cuerda y arco de 90, que es como siete
a ocho, y tambin la razn de la diagonal y el lado de un cuadrado, que es como 10 a 7.

Segn esto =2R : p R/2 = 7: 8, de donde p = 16=2/7 = 3,232488...,

y =2 = 10/7 = 1,428571...
La ley estuvo a punto de ser aprobada. Y si no lo fue no es porque se esgrimieran argumentos
cientficos, sino porque la materia de la que trataba no era susceptible de legislacin.
4.3. Ejemplos ms cercanos. Como ejemplos ms cercanos citar tres casos de este siglo y en
Espaa, para terminar con una ancdota reciente del examen de selectividad. El primero es el
de un maestro de Alcantarilla (Murcia) de nombre Frez, que public un libro en la Editorial
Nacional en el que entre un sinfn de disparates probaba por un razonamiento ontolgico que
p es racional.
El segundo es un personaje cuyo nombre no recuerdo, y que a raz de una visita del matemtico sovitico Nikolski a la UPV/EHU, public una carta en el peridico El Correo Espaol
y el Pueblo Vasco en la que deca haber cuadrado el crculo y apostaba un milln de pesetas
a que ni Nikolski ni ningn otro matemtico eran capaces de refutar su prueba.
El ltimo es un "escrito" enviado por Imanol y Juan Aizpurua al Departamento de Matemticas
de la UPV/EHU y titulado Mtodo operativo simplificado en la resolucin de ciertos problemas sobre cuerpos geomtricos. Y breve comentario sobre la cuadratura del crculo. En el se
dicen cosas como que segn para que se use, p puede valer una cosa u otra.
Para terminar este apartado quiero relatar el susto que me llev cuando en la prueba de selectividad de 1993 vi con horror que uno de los problemas de dibujo peda rectificar la circunferencia. El profesor de la disciplina me tranquiliz diciendo que se peda una construccin
geomtrica basada en la siguiente aproximacin de p:
p = =3 + =2 = 3,1462...
Si la circunferencia tiene radio 1, entonces los lados del tringulo equiltero y cuadrado inscritos tienen longitud =3 y =2 respectivamente.
4.4. La solucin del problema. El primer paso en la demostracin de la imposibilidad de la
cuadratura del crculo lo dio J. H. Lambert (1728-1777). En un artculo publicado en 1768
prueba que p y e son irracionales. Una demostracin accesible a quienes han hecho el curso
de Anlisis I se encuentra en el libro Calculus de M. Spivak.
Esto no dice nada en cuanto a la constructibilidad de p, pues muchos irracionales son constructibles, como descubrieron con gran sorpresa los griegos. De hecho, los nmeros constructibles son aquellos que pueden obtenerse mediante un nmero finito de operaciones
racionales y races cuadradas.
Charles Hermite da en 1873 una nueva prueba de la irracionalidad de p y p2, de inters por
ser el germen de la demostracin de la transcendencia de p. Nmeros transcendentes son
aquellos que no son raz de una ecuacin polinmica con coeficientes enteros. Si bien casi
todos los nmeros son transcendentes, el primer ejemplo explcito se debe a Liouville en

126

SIGMA N 50

Todo sobre p

1840. En 1873 Hermite prueba que e es transcendente, y en 1882 Lindemann enuncia su teorema del que se deduce que p es transcendente, y por tanto la cuadratura del crculo imposible.
Se sabe que ep = (1)-i es transcendente, as como p + log 2 + =2 log 3. Sin embargo no se
sabe si p + e, p /e o log p son irracionales. Otros nmeros famosos sobre los que se sabe poco
son la constante de Euler-Mascheroni

g = lim (1 + 1 + ... + 1 log n)

n

n `

y los valores de la funcin z de Riemann:

`

z (x) = S

k=0

1 , x > 1.
kx

Se sabe calcular z(2n), que es un mltiplo racional de p2n. Se sabe que z(3) es irracional, pero
no si es transcendente. No se sabe nada de z(2n + 1) para n 2.

5. p Y EL AZAR

El nmero p tiene una extraa tendencia a aparecer por lugares insospechados, como en
diversos problemas de probabilidad. Uno de los ms conocidos es
5.1. La aguja de Buffon. En 1733, Georges Louis Leclerc, Conde de Buffon, plante el
siguiente problema: dada una aguja de longitud l y una rejilla infinita de rectas paralelas a una
distancia comn d, hallar la probabilidad p de que la aguja, arrojada de forma aleatoria, corte
a una de las rectas. Si l d, se calcula fcilmente que
p=

2l
pd

Esto permite calcular p de manera experimental, dibujando las lneas en el suelo y arrojando
una aguja un nmero suficientemente grande de veces.
5.2. Un mtodo probabilstico de calcular p. Junto con el mtodo experimental de tirar una
aguja al suelo, este es el ms irracional de los mtodos para calcular p. Partimos de un cuadrado de lado 1 en el que est inscrito un cuarto de crculo de radio tambin 1. Si tiramos
N_TOTAL dardos a esa diana de manera aleatoria y N_ACIERTO caen en el crculo, entonces
N_ACIERTO
N_TOTAL

'

p
rea del cuadrado
=
.
4
rea del crculo

Si el nmero de lanzamientos es muy grande, entonces podremos aproximar

p'4

N_ACIERTO
.
N_TOTAL

Naturalmente no podemos tirar 100.000 dardos a la diana. Por eso se hace una simulacin
mediante nmeros aleatorios. Los resultados de un experimento de 20.000 lanzamientos
usando Mathematica son:

Septiembre 2001 Iraila 2001

127

Julin Aguirre

ACIERTOS

2.000

1.568

3,136

4.000

3.154

3,154

6.000

4.727

3,15133

8.000

6.303

3,1515

10.000

7.897

3,1588

12.000

9.450

3,15

14.000

10.993

3,14086

16.000

12.588

3,1395

18.000

14.098

3,13289

20.000

15.673

3,1346

5.3. Es p normal? Un nmero real x se dice que es normal en base b si en su representacin

decimal en base b todos los dgitos 0, 1,..., b 1 aparecen asintticamente el mismo nmero
de veces. Adems, para cada n, las bn combinaciones de n dgitos deben aparecer asintticamente con la misma frecuencia. Un nmero que es normal en todas las bases se dice que es
normal.
Casi todos los nmeros son normales, pero no se conoce explcitamente ninguno que lo sea.
El nmero

0,123456789101112131415161718192021...

es normal en base 10

(D. Champernowne).
La aparente aleatoriedad de las cifras de p plantea la cuestin de si p es normal o no. Lo nico
que podemos hacer en esta direccin es un anlisis estadstico de las cifras decimales conocidas de p. Esto fue realizado por David H. Bailey con 29.3600.000 cifras. En la siguiente
tabla se ve la distribucin de los dgitos del 0 al 9. La tercera columna se ha obtenido dividiendo la desviacin de la media por la desviacin estndar, y como cabra esperar de una
sucesin aleatoria de dgitos, est distribuida normalmente con media cero y varianza 1.
DGITO

128

FRECUENCIA

Z-score

2.935.072

-0,5709

2.936.516

0,3714

2.936.843

0,5186

2.935.205

-0,4891

2.938.787

1,7145

2.936.197

0,1212

2.935.504

-0,3051

2.934.083

-0,1793

2.935.698

-0,1858

2.936.095

0,0584

SIGMA N 50

Todo sobre p

Lo mismo sucede con las 100 posibles combinaciones de dos dgitos (del 00 al 99), las mil de
tres dgitos, etctera. Esto no quiere decir nada, pues la uniformidad puede romperse por
ejemplo a partir de la cifra un trilln. De hecho, no sabemos si en el desarrollo decimal de p
aparecen los dgitos del O al 9 infinitas veces. La sucesin de dgitos de p pasa todos los tests
de aleatoriedad. Por ejemplo, si contamos el nmero de veces que cada uno de los dgitos
aparece de una tacada n veces seguidas, se tiene el siguiente resultado:
TACADA DE
Dgito

308

29

281

21

272

23

266

26

296

40

292

30

316

33

315

37

295

36

306

40

Las frecuencias caen dentro de los lmites de la aleatoriedad. Llama la atencin la tacada de
9 sietes seguidos. Sin embargo, la probabilidad de que un dgito aparezca nueve veces seguidas en 29.360.000 dgitos aleatorios es del 29%, por lo que tampoco es de extraar.

Septiembre 2001 Iraila 2001

129

Julin Aguirre

El Nmero PI

El nmero Pi es digno de admiracin

tres coma uno cuatro uno
todas sus cifras siguientes tambin son iniciales
cinco nueve dos, porque nunca se termina.
No permite abarcarlo con la mirada seis cinco tres cinco
con un clculo ocho nueve
con la imaginacin siete nueve
o en broma, tres dos tres, es decir, por comparacin
cuatro seis con cualquier otra cosa
dos seis cuatro tres en el mundo.
La ms larga serpiente despus de varios metros se interrumpe
Igualmente, aunque un poco ms tarde, hacen las serpientes fabulosas.
El cortejo de cifras que forman el nmero Pi
No se detiene en el margen de un folio,
es capaz de prolongarse por la mesa, a travs del aire,
a travs del muro, de una hoja, del nido de un pjaro,
de las nubes, directamente al cielo
a travs de la total hinchazn e inmensidad del cielo.
Oh, qu corta es la cola del cometa, como la de un ratn!
Qu frgil el rayo de la estrella que se encorva en cualquier espacio!
Pero aqu dos tres quince trescientos noventa
mi nmero de telfono la talla de tu camisa
ao mil novecientos setenta y tres sexto piso
nmero de habitantes sesenta y cinco cntimos
la medida de la cadera dos dedos la charada y el cdigo
en la que mi ruiseor vuela y canta
y pide un comportamiento tranquilo
tambin transcurren la tierra y el cielo
pero no el nmero Pi, este no,
l es todava un buen cinco
no es un ocho cualquiera
ni el ltimo siete
metiendo prisa, oh, metiendo prisa a la perezosa eternidad
para la permanencia.
Autora: Wislawa Szymborska (Premio Nobel de Literatura, 1996).
Traduccin: Fernando Presa Gonzlez.
(Extrado del diario EL PAS con fecha 4/10/96).

130

SIGMA N 50