Viaje a travs de la cuadratura del crculo

F. JAVIER PREZ FERNNDEZ*

Efectuamos un recorrido histrico por el problema de la cuadratura del crculo, con sus
mltiples relaciones, desde sus orgenes hasta su resolucin en 1882, de la mano de
Lindemann.
Introduccin
Cuando los organizadores de estas Jornadas me proponen que pronuncie la conferencia que
ahora se inicia, les manifiesto mi total disponibilidad. Podran haber elegido otro tema, tal
vez de mayor oportunidad; por ejemplo y sin salirnos del mbito de la Historia de las
Matemticas, hubiese sido un buen momento para hablar sobre las Disquisitiones Arithme-
ticae de Gauss ya que, como saben, este ao es el del bicentenario de su primera edicin. En
particular, en esta pieza clave en la Historia de la Teora de Nmeros Gauss estudia y resuel-
ve las ecuaciones ciclotmicas en el ltimo captulo que termina con el Teorema de carac-
terizacin de polgonos inscriptibles en la circunferencia, un campo con interesantes deri-
vaciones pedaggicas. Tambin se podra haber optado por hablar sobre la Introductio in
Analysin Infinitorum de Euler, aprovechando que la Real Sociedad Matemtica Espaola y
la Sociedad Thales han coeditado su edicin facsimilar con la primera traduccin caste-
llana anotada y estudio crtico (Euler, 2001), que como saben es considerada la obra que
marca el punto de partida del anlisis matemtico.
Muchas otras cuestiones pudieran haber sido tratadas, pero la que hoy nos ocupar (uno
de los grandes problemas de la matemtica griega que se remonta al siglo V a. C. y que per-
manecer abierto hasta 1882) no por conocida resulta menos interesante.
Los trabajos de Beckman (1971) y de Klein (1962) a finales del siglo XIX, forman un
excelente referente para acercarnos al estudio de la evolucin histrica del problema de la
cuadratura del crculo. Incluso mucho antes, en 1754, ya Montucla (1831) haba descrito
una historia del estado de la cuestin hasta aquella fecha. Mucho ms recientemente la edi-
torial Springer (Berggren y otros, 2000) ha publicado un libro de fuentes sobre el tema.
Es probable que mucha gente piense que el problema de la determinacin de , salvo un
inters histrico y pedaggico, no requiera actualmente la menor atencin, pero ello est
lejos de ser cierto. La determinacin de cualquier cifra de , sin acudir al clculo de las ante-
riores, mediante un algoritmo recientemente obtenido y que nace de un desarrollo en serie,
ha abierto nuevos campos de inters e investigacin.
Un viaje a travs de la cuadratura del crculo nos permitir realizar un itinerario por su
historia ciertamente peculiar, pues encontraremos importantes nexos entre diversos proble-
61 X JAEM. Confrencia Plenaria CP3, pp. 61-84
mas y entre distintas partes de las matemticas, desde las ms elementales, hasta algunas
otras ms sofisticadas.
As, partiremos de la geometra eucldea, para ir al anlisis matemtico, pasaremos por
el complejo proceso de comprensin de los nmeros reales, nos acercaremos a la teora de
series, a los productos infinitos y a las fracciones continuas y tendremos ocasin de avistar
el clculo diferencial e integral. El lgebra nos coger de camino, acercndonos a las ecua-
ciones algebraicas y a las extensiones de cuerpos. Asistiremos a un bello paraje de la teora
de conjuntos. Y, finalmente, de la mano del anlisis volveremos a la geometra.
Haremos un itinerario intensivo. Nuestro autobs ir parando en algunos de los lugares
ms significativos y al final del viaje tendremos una sucinta visin de conjunto de algunos
bellos rincones y recoletas plazas del casco histrico (hasta el siglo XIX) de sta nuestra ciu-
dad Las Matemticas. Y a usted viajero, eso espero, le gustar recorrer nuevamente los mis-
mos lugares ms pausadamente y con la incontenible necesidad de adentrarse en calles y
vericuetos callejones. Ser entonces cuando empiece a disfrutar.
Definicin del problema
Comencemos por definir el problema. Cuadrar una figura no es otra cosa que construir un
cuadrado con rea igual a la de la figura dada.
La cuadratura del crculo hay que inscribirla dentro de los grandes problemas de la geo-
metra griega, junto con la triseccin del ngulo, la duplicacin del cubo y la inscripcin de
polgonos regulares en una circunferencia. En la antigua Grecia se saba cuadrar cualquier
polgono.
62 F.J. PREZ
A
O B E H
G
F
C D
Figura 1
Por ejemplo, para cuadrar un rectngulo ABCD (Figura 1), se procede como sigue: 1) se
prolonga el lado AB y se determina sobre l el punto E tal que los segmentos BC y BE sean
iguales; 2) se determina el punto medio O del segmento AE y se traza la semicircunferen-
cia de centro O y radio AO; 3) por B se traza la perpendicular a AE, siendo E el punto de
corte de sta con la semicircunferencia; 4) el segmento FB es el lado del cuadrado buscado.
En efecto, los tringulos ABF y FBE son semejantes, por lo que FB es media proporcio-
nal entre AB y BE, de donde FB
2
= ABBE = ABBC.
Anlogamente, la cuadratura de un tringulo es muy simple; pasa por determinar un rec-
tngulo del mismo rea y cuadrar este ltimo, como antes se ha indicado. Naturalmente
siendo posible cuadrar el tringulo, se pueden cuadrar los diversos polgonos, sin ms que
dividirlos en tringulos.
Pero esta construccin de un cuadrado igual en rea al de una figura dada, haba que
hacerla con regla y comps; es decir, dentro del marco axiomtico-deductivo de la geome-
tra griega, de la que los Elementos de Euclides (s. III a. C.) es el paradigma metodolgico.
Las construcciones con regla y comps estn determinadas por los siguientes Postulados
de los Elementos:
Postulado 1: Dados dos puntos distintos se puede trazar una recta que los une.
Postulado 3: Dado un punto y una longitud, se puede trazar una circunferencia con el punto como centro
y la longitud como radio.
Y por ello, requiere que se pueda realizar, en un nmero finito de pasos, haciendo uso
slo de las siguientes acciones:
1. Trazar una recta que una dos puntos.
2. Trazar una circunferencia de centro y radio arbitrarios.
3. Intersecar dos de las figuras anteriores (recta con recta, recta con circunferencia o
dos circunferencias).
Por tanto, como dicen Courant y Robbins (1971: 129)
el problema no es el de dibujar figuras en la prctica con cierto grado de exactitud, sino el de demostrar
que sin otra ayuda que la regla [no graduada] y el comps la solucin puede hallarse tericamente, supo-
niendo que nuestros instrumentos tienen precisin ideal.
Es sobradamente conocido, que todas las operaciones racionales entre segmentos son
posibles; as, dados dos segmentos de longitudes a y b se pueden construir fcilmente los
segmentos de longitudes a + b, a b, ab y a/b. Tambin se puede efectuar la extraccin de
races cuadradas (Figura 2); es decir, dado un segmento de longitud a, construir otro de lon-
gitud a

, de hecho, este ltimo no es otro que la media proporcional entre a y 1

(Proposicin IV. 13 de Los Elementos).
63 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
E
A
B
F
1 a
Figura 2
Observemos, desde una ptica actual, que cuadrar el crculo de radio la unidad, se redu-
ce a construir (con regla y comps) un cuadrado cuyo lado x verifique que x
2
= ; es decir,
se trata de determinar la media proporcional entre y 1 y, toda vez que sta es perfecta-
mente realizable una vez construidas las otras dos magnitudes, la cuestin se limita a cons-
truir el segmento de longitud .
La bsqueda de una solucin a este problema no tuvo siempre el mismo enfoque, ni sus-
cit siempre la misma atencin, aunque en todas las pocas anteriores a 1882 (fecha en la
que queda probada la irresolubilidad del mismo) hubo cuadratores impenitentes y an des-
pus de esta fecha hubo insensatos desinformados que continuaron insistiendo con peregri-
nas ideas. Pero, a lo largo de la historia de las matemticas, bien por un inters directo, bien
por una conexin circunstancial, este tema estuvo presente hasta su solucin negativa.
Siguiendo a Bold (1982) distinguiremos tres grandes etapas, que seguidamente comentamos.
Primera etapa
La primera etapa queda caracterizada por la bsqueda de , ya sea de forma exacta o apro-
ximada, mediante procedimientos geomtricos, y abarca el periodo comprendido entre el
siglo V a. C. hasta mediados del siglo XVII.
Como se ha indicado, los matemticos griegos desde muy pronto supieron cuadrar cual-
quier figura poligonal, mediante simple triangulacin. Era natural intentar cuadrar otras
figuras planas no rectilneas. La primera figura destacada en este empeo ser Hipcrates de
Quos (s. V a. C.) quien aproximadamente sobre el 440 a. C. consigui realizar la primera
cuadratura de una figura curvilnea. Al cuadrar algunas lnulas
1
, Hipcrates consegua cua-
drar parte de un crculo. As, por ejemplo, consigui probar que la lnula AEBD (Figura 3)
es cuadrable y su rea es igual a la del tringulo AOB.
64 F.J. PREZ
El descubrimiento de Hipcrates no es sino un caso particular de otros espacios circula-
res cuadrables, as la cuadratura de figuras curvilneas puede generalizarse a otras compues-
tas total o parcialmente por lnulas.
Estos resultados abran, sin duda, una esperanza (vana) para conseguir cuadrar la totali-
dad del crculo. Hubo muchos intentos, por clebres gemetras griegos, y muchas solucio-
nes ingeniosas, entre ellas la de Dinostrato (s. IV a. C), quien consegua cuadrar el crcu-
A
B
O C
D
E
Figura 3
lo mediante la cuadratriz (una curva descrita mecnicamente y que a su vez no era cons-
truible con regla y comps).
Pero la contribucin ms importante es la de Arqumedes (siglo III a.C.), cuya Opera
puede verse en este hermoso ejemplar de 1615 (ROA) (Foto 1).
65 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
Foto 1. Portada de Archimedis Opera, 1615
Foto 2.
Teorema I sobre
el rea del crculo
Foto 3.
Teorema III sobre
el valor de
En su escueto tratado De la medida del crculo (Arqumedes, 1615), que consta de slo
tres proposiciones, aparte de dar el valor del rea del crculo (Teorema I), proporciona
(Teorema III) un mtodo para determinar con el grado de aproximacin que se desee, que
de hecho prevaleci hasta el siglo XVII.
Arqumedes prueba que la razn entre la longitud de la circunferencia y su dimetro es
mayor que 3 y 10/71 y menor que 3 y 1/7. Para ello se basa en que el permetro de un pol-
gono regular de n lados inscrito en la circunferencia es menor que la longitud de sta, mien-
tras que el permetro de un ngono semejante circunscrito a la circunferencia es mayor que
su longitud. Tomando el nmero n de lados suficientemente grande, los dos permetros se
acercarn a la longitud de la circunferencia tanto como se desee. Partiendo del exgono y
mediante sucesiva duplicacin del nmero de lados, hasta llegar a un polgono de 96 lados,
obtiene el resultado indicado, o equivalentemente que 3,14085 < < 3,142857, resultando
la primera aproximacin aceptable de , con dos cifras decimales exactas.
Podemos establecer un procedimiento sistemtico para la determinacin de los sucesi-
vos permetros, partiendo siempre del inmediatamente anterior. As, si consideramos el caso
de los polgonos inscritos, podemos buscar la relacin entre los lados del ngono y del
2ngono como sigue
2
.
66 F.J. PREZ
A
O C
E
B
D
Figura 4
En el caso de los polgonos inscritos, por ejemplo, conociendo el lado del polgono de n
lados, DE = l
n
, en la circunferencia de radio unidad OD, podemos determinar el de 2n lados
(obtenido bisecando cada lado del anterior), que en la Figura 6 es DB = l
2n
. Mediante unas
simples deducciones geomtricas elementales obtenemos
l l
n n 2
2
2 4 =
que facilita el proceso de clculo del permetro y, por tanto, de la cota inferior de .
Partiendo del exgono tendremos.
l
l
l
6
12
24
1
2 3
2 2 3
=
=
= +

Anlogamente podemos proceder para los polgonos circunscritos.

Aunque la aproximacin de Arqumedes, mediante este mtodo poligonal, prevaleci
hasta el siglo XVII (coexistiendo con algunos burdos intentos de cuadradores geomtricos),
no obstante, la incorporacin del sistema de numeracin hind-arbigo, el uso de las fraccio-
nes decimales y de la trigonometra permitieron obtener evidentes ventajas en el clculo.
Al final del siglo XVI, Pierre Mtius
3
obtiene con siete cifras decimales, como resul-
tado de hacer = 355/113, y Ludolph van Ceulen (1540-1610) obtuvo 20 cifras decimales,
partiendo del polgono regular de 15 lados y llegando a duplicar el nmero de lados hasta
37 veces.
67 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
Foto 4. Portada de Vietae Opera
Pero, realmente el primer avance significativo no llega hasta Vite (1540-1603), en
1593. Aunque el planteamiento de Vite no es realmente nuevo, pues bsicamente es an-
logo al de Arqumedes, pero comenzando con el cuadrado, su contribucin tiene el especial
valor de que obtiene , por primera vez, como un producto infinito (Vietae, 1646: 400), en
el que intervienen operaciones algebraicas.
Esencialmente, su procedimiento consiste en relacionar el rea de un polgono de n
lados con el de 2n lados obtenido por biseccin de los lados del anterior. Con alguna peque-
a variacin en el proceso y actualizando el discurso, podemos exponer el hallazgo de Vite
como sigue.
Si en la Figura 5, AB es el lado del n-gono, y si denotamos por a
i
el rea de un polgo-
no regular de i lados y por a(AOB) el rea del tringulo AOB, tendremos que a
n
= na(AOB).
68 F.J. PREZ

O A
B
C
1
Figura 5
Un simple clculo trigonomtrico nos permite obtener
a
n
= na(AOB) = n sen cos
Anlogamente,
a
2n
= 2na(OCB) = n sen
De aqu que
a
a
n
n 2
= cos
Doblando el nmero de lados k veces, tendremos
a
a
a
a
a
a
a
a
n
n
n
n
n
n
n
n
k
k
k
k
2
2
2
4
2
2
1
1
2
2
= = L L

cos cos cos

Ya que
lim
k
n
a k

=
2
=

1
2
2
2
2
1
n sen
k

cos cos cos

L L
se sigue que
Cada coseno del denominador anterior es expresable en trminos del que inmediata-
mente le precede como factor, mediante la frmula trigonomtrica del ngulo mitad
cos
cos
2
1
2
=
+
Comenzando con el cuadrado, para el que vale 45 grados, se tiene
69 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
cos =
1
2
y, haciendo uso sucesivamente de las frmula del ngulo mitad, tendremos finalmente
=
+ + +
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
2
L
Esta expresin es ms importante desde el punto de vista terico que prctico, pues su
convergencia es muy lenta.
En la primera mitad del siglo XVII se produce la primera modificacin considerable, del
procedimiento poligonal de Arqumedes para la aproximacin del valor de , de la mano de
W. Snellius (1580-1626). En las proposiciones 27 y 29 de su obra Ciclometrycus, de 1621,
proporciona una mejora de las acotaciones del arco de circunferencia dadas por los polgo-
nos inscritos y circunscritos. La justificacin que da Snellius no es suficiente, pero C.
Huygens (1629-1695) da una demostracin de ellas en De circuli magnitude inventa de 1654
(Huygens, 1724: 376), junto con catorce teoremas ms sobre el tema con todo el rigor eucl-
deo. Las referidas proposiciones proporcionan una cota inferior y otra superior:
D B C A
E
F
G
d b c a
f
g
e
l
Figura 6
Cota inferior: Si se prolonga el dimetro AB de un crculo, en D, de manera que BD sea igual al radio, toda
lnea trazada con origen en este punto y que corte a la circunferencia del crculo, determina de la tan-
gente AG un segmento AF menor que el arco contiguo AE (Figura 6); es decir, AF < AE.
Cota superior: Pero si df es trazada de manera que el segmento dl sea igual al radio, en este caso, el seg-
mento af de la tangente ser ms grande que el arco ae (Figura 6); es decir, af > ae.
La mejora sobre las cotas de que estas propiedades proporcionan quedan en evidencia
con slo considerar el exgono; con l, el procedimiento de Arqumedes proporciona la aco-
tacin 3 < < 3,464, mientras que con el de Snellius se tendra 3,14022 < < 3,1416, que
resulta tan bueno como el obtenido por Arqumedes utilizando un polgono con 96 lados.
No podemos terminar este breve repaso por las diversas contribuciones habidas sobre el
tema, anteriores a 1650, sin referirnos a Gregorii de Saint Vicent (1584-1667), quien en la
bsqueda de un gran nmero de difciles cuadraturas descubri la conocida propiedad (Cf.
Boyer, 1986) que nos informa que segn crece la abscisa geomtricamente, el rea bajo la
curva de la hiprbola xy = 1 lo hace aritmticamente.
Saint Vincent busc la cuadratura del crculo investigando propiedades de la espiral de
Arqumedes y de la cuadratriz; luego, mediante la comparacin entre diversos cuerpos y sus
razones, cree obtener la cuadratura del crculo, resultado que publica en 1647. Este singular
error provoc una gran polmica, de la que cabe destacar las crticas formuladas por
Descartes (1596-1650), en carta a Schooten (Descartes, 1667, Tomo III, lettre 117), y la de
Huygens, en Exetasis Cyclometriae Gregorii a Sancto Vicentio (Cf. Huygens, 1724: 328).
70 F.J. PREZ
Foto 5. Portada de
Opus Geometricum de St. Vincent
Foto 6. Segunda pgina de
Opus Geometricum de St. Vincent
Segunda etapa
El segundo periodo se inicia en la segunda mitad del siglo XVII. Con la ayuda del nuevo
clculo infinitesimal, los mtodos geomtricos aparecen obsoletos y las nuevas herramien-
tas como los desarrollos en serie, los productos infinitos y las fracciones continuas permiti-
rn nuevas expresiones para la razn de la longitud de la circunferencia al dimetro.
La primera figura destacada de esta etapa es Wallis (1616-1703), quien, como Vite,
consigue expresar como un producto infinito, pero esta vez apareciendo slo operaciones
racionales. La ausencia de radicales significaba una mejora en el clculo, respecto del pro-
cedimiento de Arqumedes o de Vite. Mediante un compleja deduccin, usando una serie
de interpolaciones y de procesos inductivos, obtiene que
71 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO

=

2
2 2 4 4 6 6
1 3 3 5 5 7
L
L
en su obra Arithmetica Infinitorum de 1655 (Cf. Wallis, 1699, Tomo I: 467).
Foto 7. Portada de la obra de Wallis
Se le deben otras contribuciones relacionadas con , entre ellas las aproximaciones que
obtiene en el captulo segundo de De algebra tractatus (Wallis, 1693 y 1699, Tomo II: 49).
Por otra parte, Wallis (1699, Tomo II: 353) opinaba que la cuadratura del crculo era impo-
sible, en tanto que crea que
la razn del crculo a una figura rectilnea no puede ser expresada por ninguna expresin an reconocida,
incluso por nmeros irracionales; de forma que posiblemente sea necesario introducir alguna nueva mane-
ra de expresin distinta de los nmeros racionales e irracionales.
Como Wallis, James Gregory (1638-1675) crea que la cuadratura del crculo era impo-
sible, pero fue ms lejos y, en 1668, publica Vera Circuli et Hiperbolae Quadratura, donde pre-
tendi demostrar que la cuadratura era imposible. Sus argumentaciones son recogidas por
Huygens (1724: 405 y ss.), junto con la refutacin de las mismas.
Ms interesante es el descubrimiento por James Gregory del desarrollo en serie de la
arc tan x. Primero observa que el rea bajo la curva y = 1/(1+x
2
) , en el intervalo (0, x) era
la arcotangente de x; es decir,
dt
t
x
x
1
2
0
+
=

arctan
Luego, mediante divisin larga desarrolla en serie el integrando y haciendo uso de la inte-
gral de Cavalieri (Cf. Edwards, 1982),
72 F.J. PREZ
x dx
a
n
n
n
a
n
0
1
1
0

=
+

+
para
integra trmino a trmino obteniendo
arctanx x
x x x
= + +
3 5 7
3 5 7
L
Para x = 1, arctan 1 = /4 , resultando
= + +
[
\
|

)
j
4 1
1
3
1
5
1
7
L
desarrollo en serie de que era encontrado por Leibniz (1646-1716) en 1682.
Pero la convergencia de esta serie es extremadamente lenta, por lo que a los fines prc-
ticos resulta inadecuada. Ser Newton (1643-1727) quien encuentre un desarrollo en serie
para cuya rapidez de convergencia empiece a ser aceptable. En The Methodis Fluxionum et
Serierum Infinitarum, escrito en 1671 y publicado en 1736 (Newton, 1744) considera, en
lenguaje actual, la semicircunferencia de centro C(1/2, 0) y radio 1/2 (Figura 7), B(1/4, 0)
y el ngulo BCD = /3, por lo que ser
y x x =
2
A B C
D
Figura 7
Como las reas de ABD, el sector circular ADC y el tringulo DBC verifican la relacin
a(ABD) = a(ADC) a(DBC), y
a(ADC) = 1/3(1/2R
2
) = /24;
resulta
a(ABD) = /24 3

/32 [1]
pues BD = 3

/4.
Por otra parte
73 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
a ADB x x dx ( )
/
=

2
0
1 4
Desarrollando el integrando por la serie del binomio e integrando trmino a trmino, se
obtiene
a ADB
x x x x
( )
/ / / /
/
=
|
|
|
|
|
|
=
2
3
1
5
1
28
1
72
3 2 5 2 7 2 9 2
0
1 4
L
De [1] y [2] se sigue que
= +

[
\
|

)
j
3 3
4
24
1
12
5
5 2
1
28 2
1
72 2
5 7 9
L
Con veintids trminos del desarrollo se obtienen diecisis cifras decimales.
A principios del siglo XVIII, se introducirn algunas mejoras en la aproximaci n de ,
de la mano de A. Sharp (1651-1742), en 1705, y de John Machin (1680-1752), en 1706.
Ambos parten de la serie de Gregory-Leibniz; es decir, del desarrollo en serie de arctan x.
El primero sustituye x por 1/3

y obtiene
=

2
3 2
1
5 2
1
28 2
1
72 2
3 5 7 9
L
[2]

+

+
[
\
|

)
j
6
1
3
1
1
3 3
1
3 5
1
3 7
2 3
L
calculando con 72 cifras decimales. El segundo, haciendo uso de un artificio para acele-
rar la convergencia de la serie, calcula con 100 cifras decimales, siendo citado por Euler.
Foto 9.
De variis modis circuli
quadraturam de Euler
Machin proporciona el grado de perfeccin que faltaba para que el mtodo de aproxi-
mar mediante un desarrollo en serie fuese eficiente, evitando los dos problemas bsicos
que hasta ese momento tal procedimiento tena: de una parte, la convergencia lenta, y de
otra, la complicacin en las operaciones cuando aparecen radicales.
Bsicamente la idea es expresar /4 = arctan 1 en funcin de dos ngulos de tangentes
racionales y cada una de ellas menor que la unidad, lo que proporcionar para cada ngulo
una serie racional y rpidamente convergente. De este modo obtiene
74 F.J. PREZ

= =

[
\
|

)
j

[
\
|

)
j
4
4
1
5
1
239
4
1
5
1
3 5
1
5 5
1
239
1
3 239
1
5 239
3 5 3 5
arctan arctan L L
La idea de acelerar la convergencia, partiendo de la serie de la arcotangente, fue tam-
bin utilizada por Euler
4
(1748), por un procedimiento similar
Foto 10. Aceleracin de la convergencia en Introductio de Euler
y tambin en Euler (1744), mediante un procedimiento distinto. Este tipo de procedimien-
tos y frmulas han sido utilizados desde entonces para obtener con un nmero de cifras
decimales cada vez mayor. Incluso en la segunda mitad del siglo XX, con el uso de ordena-
dores, permitieron progresivamente mejorar el tiempo de cmputo y el nmero de cifras deci-
males; de hecho, se ha usado la bsqueda de cifras de , y el tiempo empleado para ello por
un ordenador, como un medio para probar la eficacia de ciertos programas y ordenadores.
Pero los dos resultados ms importantes del siglo XVIII, en el camino de la resolucin
del problema, podemos encontrarlos en las obras de Euler y de Lambert (1728-1777).
Euler, aparte de mejorar la aproximacin de mediante mtodos para acelerar la con-
vergencia de la serie, lo obtiene mediante diversas expresiones y formas:
[3]
1. Como suma de mltiples series en las que slo usa operaciones racionales; por ejem-
plo, en el captulo VIII, De las cantidades trascendentes que nacen del crculo, de
su obra de 1748 Introductio in Analysin Infinitorum. l mismo dice (op. cit., artculo
141): Podemos encontrar diversas expresiones para obteniendo una expresin
que converja ms rpidamente que la de Leibniz, donde las operaciones son siempre
racionales.
2. Como resultado de productos infinitos; por ejemplo, en el captulo XV, De las series
resultantes del Desarrollo en Factores, de la obra citada (Euler, 1748).
3. Como fraccin continua; por ejemplo, en el captulo XVIII, De las fracciones con-
tinuas, de la referida obra.
75 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
Foto 11. Portada de Introductio
in Analysin Infinitorum de Euler
Pero uno de los hallazgos ms importantes en el tema que nos ocupa, es la frmula que
relaciona las funciones exponenciales y trigonomtricas, e
ix
= cos x i sen x, y que pode-
mos encontrar
5
en el artculo 138 de Introductio (Euler, 1748, Captulo VIII: 104)
6
.
El procedimiento de Euler es bsicamente como sigue. Del desarrollo del binomio, para
n infinitamente grande obtiene
1+
[
\
|

)
j
=
z
n
e
n
z
De la frmula de De Moivre, (cos z i sen z)
n
= cos nz i sen nz se sigue que
76 F.J. PREZ
cos
(cos ) (cos )
nz
z i senz z i senz
n n
=
+ +
2
sennz
z i senz z i senz
i
n n
=
+ (cos ) (cos )
2
y
Si z es infinitamente pequeo y n infinitamente grande, siendo v = nz un valor finito,
resulta sen z = v/n y cos z = 1. Sustituyendo en las expresiones anteriores de sen nz y de cos nz
resulta
cos

v
vi
n
vi
n
n n
=
+
[
\
|

)
j
+
[
\
|

)
j
1 1
2
y
senv
vi
n
vi
n
i
n n
=
+
[
\
|

)
j
[
\
|

)
j
1 1
2

Para z = iv queda cos v = (e
vi
+e
vi
)/2 y sen v = (e
vi
e
vi
)/2i y as e
iv
= cos v i sen v. Para
v = tenemos e
i
+ 1 = 0.
Los trabajos sobre fracciones continuas, sistematizados por Euler en el captulo XVIII de
Introductio, sern tambin de gran utilidad para que Lambert d el siguiente paso importan-
te. En Histoire de LAcadmie Royale de Berlin, correspondiente al ao 1761 (editado en
1768), Lambert publica una memoria titulada Memoire sur quelques propiets remarquables
des quantits trascendentes circulaires et logarithmiques, en la que apoyndose en los desarrollos
en fracciones continuas, prueba que si x Q, x 0, entonces e
x
y tan x no son racionales.
Puesto que tan /4 = 1 Q, entonces /4 Q y es irracional.
Foto 12. Portada
de Histoire de
lAcadmie
de 1768
Foto 13.
Primera pgina
de la Memoria
de Lambert
Debemos observar que la irracionalidad de no cerraba el problema de la cuadratura del
crculo (hay muchos irracionales que pueden construirse con regla y comps, sin ir ms lejos
2

). Incluso cuando, en 1794, Legendre (1752-1833) demuestra que

2
es irracional, no eli-
minaba la posibilidad de que pudiera ser la raz de algn ndice superior a dos para algn
nmero racional.
La sospecha, ya formulada por Euler, de que era trascendente o, equivalentemente, no
era algebraico (es decir, no era raz de una ecuacin algebraica con coeficientes racionales
a
0
x
n
+ a
1
x
n1
+ + a
n1
x + a
n
= 0), sera definitivamente probada, como luego comentare-
mos, por Lindemann (1852-1939) en 1882.
Hemos de observar que en el siglo XVIII, realmente hasta la mitad del siglo XIX, el com-
portamiento de los nmeros reales no estaba claro. La irracionalidad no significaba la tras-
cendencia, de hecho, aparte de los racionales (qx = p) cualquier irracional cuadrtico es
tambin algebraico, por ejemplo 2

es raz de x
2
2 = 0. Es ms, an no se conoca ningn
nmero trascendente. Lambert haba probado que era irracional, pero sera algebraico?
Tercera etapa
La tercera poca que distinguimos se corresponde con el siglo XIX, cuando desde los orge-
nes de la teora de extensin de cuerpos y con el uso de toda la potencia del anlisis se
encuentra la respuesta definitiva.
El primer hecho singular de este periodo lo marca P. L. Wantzel (1814-1848), quien, en
1837, traduce los problemas geomtricos de regla y comps al terreno algebraico en su tra-
bajo Recherches sur les moyens de reconnatre si un Problme de Gomtrie peut se rsoudre avec
la rgle et le compas
7
(Wantzel, 1837).
77 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
Foto 14. Portada del Journal
de Liouville de 1837
Foto 15. Primera pgina
del artculo de Wantzel
La idea bsica de Wantzel consiste en identificar los segmentos por sus longitudes y
determinar qu magnitudes pueden construirse con regla y comps (que denominaremos
nmeros construibles). Desde luego, dado que las operaciones racionales con segmentos son
realizables con regla y comps, es claro que los nmeros racionales son construibles. Si
fuera un nmero construible, entonces la media proporcional entre y 1, que es construi-
ble con regla y comps, proporcionara la cuadratura del crculo de radio unidad.
Observemos en primer lugar que mediante extensiones de los racionales por radicales
cuadrticos, se obtienen nmeros construibles.
En efecto, si k Q = F
0
es un nmero racional dado, podemos construir k

y a + bk

,
con a, b F
0
, por lo que todos los nmeros del conjunto
F
1
= {a + bk

: a, b F
0
}
son construibles y es fcil comprobar que forman un cuerpo, que contiene al de los racio-
nales (basta considerar b = 0) y si k

F
0
(caso, por ejemplo, de k = 2) lo contendr
estrictamente.
Si ahora k
1
F
1
es un nmero dado del conjunto anterior, tal que k
1

F1 y a
1
, b
1
F
1
,
entonces
F
2
= {a
1
+ b
1
k
1

: a
1
, b
1
, k
1
F
1
}
es un cuerpo de nmeros construibles y F
2
F
1
F
0
.
Este proceso puede continuarse, obtenindose, al cabo de n pasos, un cuerpo F
n
de
nmeros, todos construibles con regla y comps, y tal que F
n
F
2
F
1
F
0
= Q.
El recproco tambin es cierto; es decir, cualquiera que sea el nmero construible consi-
derado, ste pertenece a alguno de los cuerpos
F
n
F
2
F
1
F
0
para algn n N.
En efecto, con regla y comps slo se pueden trazar rectas y circunferencias, cuyas ecua-
ciones son, a lo ms, de segundo grado. De este modo, los sucesivos puntos, obtenidos por
sucesivas construcciones, son siempre interseccin de curvas algebraicas de, a lo sumo,
grado dos.
Supongamos que en un primer paso, partimos de puntos con coordenadas racionales, como
P(x
1
, y
1
) y Q(x
2
, y
2
), x
i
, y
i
Q. La ecuacin de la recta (y
2
y
1
)x + (x
1
x
2
)y + (x
2
y
1
x
1
y
2
) = 0
que los une tiene coeficientes racionales. Y una circunferencia con centro en uno de esos
puntos (por ejemplo P) y radio r tiene una ecuacin x
2
+y
2
2x
1
x2y
1
y+x
1
2
+y
1
2
r
2
= 0 con
coeficientes racionales.
El segundo paso de la construccin consistir en determinar un tercer punto, como
interseccin de dos rectas o de una recta y una circunferencia o de dos circunferencias del
paso anterior. Ahora bien, la interseccin de dos rectas slo requiere operaciones raciona-
les sobre los coeficientes de ambas rectas; y la interseccin de recta y circunferencia o de
dos circunferencias requiere operaciones racionales y extraccin de races cuadradas
8
. De
este modo, las coordenadas del nuevo punto pertenecern a algn cuerpo del tipo F
i
.
En sucesivos pasos, el razonamiento se repite y, consecuentemente, las coordenadas de
cada punto que se va obteniendo en el proceso de la construccin, pertenecern a algn
cuerpo F
i
.
78 F.J. PREZ
Pero adems, en un paso dado, las coordenadas del punto a determinar son solucin de
una ecuacin cuadrtica, cuyos coeficientes o son racionales o irracionales en los que slo
aparecen radicales cuadrticos. Para convertir esta ecuacin en una con coeficientes racio-
nales, basta elevarla al cuadrado tantas veces como radicales cuadrticos haya. Por tanto, si
la construccin completa se hace en n pasos, la ecuacin final a resolver ser, a lo sumo, una
ecuacin de grado 2
n
, con coeficientes racionales y de aqu que estemos hablando de nme-
ros algebraicos. Luego si es construible, entonces ha de ser algebraico.
Mientras tanto, an se desconoca la existencia de nmeros trascendentes. Pero en 1844
J. Liouville (1809-1882) demuestra la existencia de tales nmeros, lo que podemos exami-
nar en su artculo Sur des classes trstendues de quantits dont le valeur nest ni algbrique, ni
mme rductible des irrationnelles algbriques, publicado en 1851
9
.
En el citado trabajo, Liouville prueba que si
79 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
Foto 16. Una pgina (370)
del artculo de Wantzel
x
k k k k
m
m
= + + + + + =
1
1
2
2
3
3
10 10 10 10
! ! ! !
L L
con 0 k
i
9, para cada i N, entonces x es trascendente. De este modo, apareca no slo
un nmero trascendente, sino toda una infinidad de ellos. La conjetura de que poda ser
trascendente era ahora mucho ms plausible.
k k k k =
1 2 3 4
0 000 00000000000000000 0 , L
En 1873 Hermite (1822-1901) prueba que e es trascendente, por lo que una ecuacin
finita de la forma a
0
+ a
1
e
p1
+ a
2
e
p2
+ = 0 no puede satisfacerse, si los p
i
N y los a
i
Q
no son todos nulos.
Un ao despus, Cantor (1845-1918) demuestra que el conjunto de los nmeros alge-
braicos es numerable en su artculo Uber eine Eigenscheft des Inbegrffes aller reellen algebrais-
chen Zahlen (Cantor, 1874)
10
.
80 F.J. PREZ
Foto 17. Primera pgina
del artculo de Liouville
Foto 18. Pgina 140 del artculo
de Liouville
Foto 19, Portada del Journal
de Crelle de 1874
De este modo se tiene que el conjunto de los nmeros trascendentes no es numerable.
De no conocerse ningn nmero trascendente, en unos pocos aos se sabe que casi todos
los nmeros reales son trascendentes. Sin duda, la trascendencia de no se hara esperar.
Finalmente, en 1882, Lindemann prueba, siguiendo a Hermite, que: si p
1
, p
2
, , p
n
son
nmeros algebraicos distintos (reales o complejos) y a
0
, a
1
, , a
n
son nmeros algebraicos
(reales o complejos) no todos nulos, entonces la suma finita a
0
+ a
1
e
p1
+ a
2
e
p2
+ + a
n
e
pn
no
puede ser igual a cero.
Como consecuencia, recordando la expresin e
i
+ 1 = 0 que anteriormente comenta-
mos a propsito de Euler, que es de la forma del Teorema de Lindemann, se tendr que i
no puede ser algebraico. Pero como el producto de dos nmeros algebraicos es algebraico y
tanto 1 como i (x
2
+ 1 = 0) son algebraicos, resulta que ha de ser trascendente.
Recordando lo dicho al mencionar a Wantzel, como todos los nmeros construibles son
algebraicos, se sigue que no es construible y que la cuadratura del crculo es imposible.
Eplogo
Hemos realizado un recorrido por los hallazgos fundamentales del problema de la cua-
dratura del crculo, acudiendo a las fuentes originales, en este caso, casi todas en la exce-
lente biblioteca del Real Instituto y Observatorio de la Armada en San Fernando (ROA)
11
.
Es slo un botn de muestra de las posibilidades de acercarse rigurosamente a la historia de
las matemticas. Posibilidades que en nuestras circunstancias geogrficas, por la proximidad
con el ROA, son privilegiadas.
81 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
Foto 20. Pginas 258 y 259 del artculo de Cantor
Al interesarnos por la historia de las matemticas, estaremos penetrando en la profun-
didad de los problemas de nuestra ciencia, y ello tiene una proyeccin de futuro, tanto para
el investigador como para el docente.
Finalmente, les hago una propuesta para este nuevo siglo recien estrenado: les animo a que
viajando por el pasado cimienten mejor el futuro, el de las matemticas y el de su enseanza.
Referencias
ARQUMEDES (1615): Archimedis Opera quae extant novis demostrationibus, Paris.
BECKMAN, P. (1971): A history of , St. Martins, New York.
BERGGREN, L., J. BORWEIN y P. BORWEIN (2000): Pi: A Source Book, Springer.
BOLD, B. (1982): Famous Problems of Geometry and How to Solve Them, Dover Publications, New
York.
BOYER, C.B. (1986): Historia de la matemtica, Alianza Editorial, Madrid.
CAJORI, F. (1929): A History of Mathematical Notations, 2 vols., The Open Court Publishing
Company, Chicago.
CANTOR, G. (1874): Uber eine Eigenscheft des Inbegrffes aller reellen algebraischen Zahlen,
Journal fr die reine und angewandte Mathematik, 258-262.
COURANT, R. y H. ROBBINS (1971): Qu es la Matemtica?, Aguilar, Madrid.
DESCARTES, R. (1667): Lettres de Mr. Descartes, o sont traites plusiers belles questions touchant le
Morale, Physique, Medicine, et les Mathmatiques, 3 vols., Paris.
EDWARS, C.H. (1982): The Historical Development of the Calculus, Springer-Verlag, New York.
EUCLIDES (1991): Los Elementos, libros I al XIII, en tres volmenes, Biblioteca Clsica Gredos,
Madrid.
EULERO, L. (1744): De variis modis circuli quadraturam numeris proxima exprimendi, Comentarii
Academiae Scientarum Imperialis Petropolitanae, IX, 1737, publicado en 1744, 222-238.
EULERO, L. (1748): Introductio in Analysin Infinitorum, 2 vols., Lausannae.
EULER, L. (2001): Introductio in Analysin Infinitorum, edicin facsimilar con traduccin anotada y
estudio crtico. Editores: A. J. Durn Guardeo y F. J. Prez Fernndez. Editan: Real Sociedad
Matemtica Espaola y Sociedad Andaluza de Educacin Matemtica Thales, Sevilla.
EULERO, L. (1736): Mechanica sive motus scientia analytice exposita, 2 vols., Petropoli.
EULERO, L. (1744): Variae Observationes Circa Series Infinitas, Comentarii Academiae Scientarum
Imperialis Petropolitanae, IX, 1737, publicado en 1744, 160-188.
HUYGENS, C. (1724): Opera varia, 2 vols., Lugduni Batavorum.
KLEIN, F. (1962): Famous problems of elementary geometry, Chelsea Publishing Company, New York.
LAMBERT, M. (1768): Memoire sur quelques propiets remarquables des quantits trascendentes
circulaires et logarithmiques, Histoire de lAcadmie Royale des Sciences et Belles Lettres, 1761,
publicado en 1768, 265322.
LEIBNIZ, G.W. (1682): De vera proportione circuli ad quadratum circunscriptum in numeris ratio-
nalibus, Acta Eruditorum, I, p. 41.
LINDEMANN, F. (1882): Uber die Zahl , Mathematische Annalen, 20, 212-225.
LIOUVILLE, J. (1851): Sur des classes trs-tendues de quantits dont le valeur nest ni algbrique,
ni mme rductible des irrationnelles algbriques, Journal de Mathmatiques Pures et Appliques,
16, 133-142.
MONTUCLA, J.E. (1831): Histoire des Recherches sur la Quadrature du Cercle, Paris. (Se trata de una
reedicin comentada de la primera edicin de 1754).
82 F.J. PREZ
NEWTON, I. (1744): Opuscula Mathematica, 3 vols., Lausannae et Genevae.
SANCTO VICENTIO, G. (1647): Opus geometricum quadraturae circuli et sectionum coni, 2 vols.,
Antuerpiae.
VIETAE, F. (1646): Francisci Vietae Opera Mathematica, in unum volumen congesta, ac recognita. Opera
atque studio Francisci a Schooten, Lugduni Batavorum.
WALLIS, J. (1693): De Algebra Tractatus; historicus & practicus, Oxoniae.
WALLIS, J. (1699): Opera, 2 vols., Oxoniae.
WANTZEL, P. L. (1837): Recherches sur les moyens de reconnatre si un Problme de Gomtrie peut
se rsoudre avec la rgle et le compas, Journal de Mathmatiques Pures et Appliques, 2, 366-372.
Notas
* Departamento de Matemticas, Universidad de Cdiz. Sociedad Andaluza de Educacin Mate-
mtica Thales.
1 Una lnula es una figura plana delimitada por dos arcos de circunferencia de radios distintos.
2 Esta relacin aparece en las Proposiciones 1 y 2 de la obra Cyclometricus (1621) de Snellius, a la
que ms tarde nos referiremos.
3 Citado por Montucla (1831: 58).
4 El uso de la letra , como notacin para la razn entre la longitud de la circunferencia y su di-
metro, aparece por primera vez, segn Cajori (1929, Volumen II: 9), en 1706, en la pgina 263
del tratado Sypnosis palmariorum matheseos de William Jones. Euler la usa por primera vez en
(Euler, 1736, Vol. I, pgs. 119 y 123; Vol. II, pgs. 70 y 80), pero este smbolo se impone para deno-
tar 3,1415 a partir de su trabajo Variae Observationesde 1737, pg. 165.
5 Un resultado anlogo haba sido encontrado antes por Cotes (1682-1716), en un trabajo suyo
publicado en Philosophical Transactions de 1714.
6 En el original, an se denota la unidad imaginaria i por 1

.
7 Con este trabajo, publicado en el Journal de Mathmatiques Pures et Appliques (conocido usual-
mente como Journal de Liouville, por ser este ltimo quien lo fund en 1836) Wantzel prob la
imposibilidad de la triseccin del ngulo, al demostrar que si una cbica de coeficientes raciona-
les, z
3
+ az
2
+ bz + c = 0, no tiene alguna solucin racional, entonces ninguna de sus races es cons-
truible. Trisecar un ngulo se reduce a resolver una cbica; ya que para /3 radianes la cbica resul-
tante, 8z
3
6z 1 = 0, no tiene races racionales, se deduce que el ngulo de 60 grados no es tri-
secable.
8 Por ejemplo: para dos circunferencias (xa)
2
+(yb)
2
= r
2
y (xc)
2
+(yd)
2
= s
2
, se tendr
(a [r
2
(y b)
2
]
1/2
c)
2
+ (y d)
2
= s
2
.
9 Liouville di por primera vez cuenta de su descubrimiento en Comptes Rendus, 18, 1844, 910-911.
10 Publicado en Journal fr die reine und angewandte Mathematik, revista conocida como Journal de
Crelle, por ser este ltimo quien la fundara en 1826.
11 Mi reconocimiento al ROA, por las facilidades que me ha dado para consultar las numerosas fuen-
tes originales citadas en este trabajo. Agradezco a su Director, Subdirector y Bibliotecario la exqui-
sita cortesa y las muchas amabilidades dispensadas, por las que he podido sentirme durante tan-
tas horas como en casa.
83 VIAJE A TRAVS DE LA CUADRATURA DEL CRCULO
84 F.J. PREZ
La cacharrera
produce un pequeo
retraso
en el inicio
de la conferencia
Florencio Villarroya,
Presidente de la
Sociedad Aragonesa,
prsenta a Javier Prez
Javier Prez
pronunciando su
conferencia sobre
la cuadratura del crculo