Cuadratura de Un Circulo

6
F.J. PREZ
Definicin del problema

Cuadrar una figura es 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 geometra 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.
A
O
D
EH
C
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 semicircunferencia 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 proporcional entre AB y BE, de donde FB2 = ABBE = ABBC.
Anlogamente, la cuadratura de un tringulo es muy simple; pasa por
determinar un rectngulo 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 geometra 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
gituda de hecho, este ltimo no es otro que la media proporcional
entre, a y 1
(Proposicin IV. 13 de Los Elementos).
Figura 2
Observemos, desde una ptica actual, que cuadrar el crculo de radio la

unidad, se reduce a construir (con regla y comps) un cuadrado cuyo
lado x verifique que x2 = ; 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 construir 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 despus
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 cualquier 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
lnulas1, Hipcrates consegua cuadrar 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.
B
A
O
D
Figura 3
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-
lo mediante la cuadratriz (una curva descrita mecnicamente y que a su

vez no era construible 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).
Foto 1. Portada de Archimedis Opera, 1615
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.
Foto 2.
Teorema I
sobre el rea
del crculo
Foto 3.
Teorema III
sobre el valor
de
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 polgono regular de n lados inscrito en
la circunferencia es menor que la longitud de sta, mientras 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 sucesivos 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
sigue2.
Figura 4
En el caso de los polgonos inscritos, por ejemplo, conociendo el lado

del polgono de n lados, DE = ln, 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 = l2n. Mediante unas simples
deducciones geomtricas elementales obtenemos
l2n 2 4 nl 2
que facilita el proceso de clculo del permetro y, por tanto, de la cota inferior
de .
Partiendo del exgono tendremos.
l6
1 2 3
2 2 3
l12
l24
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 fracciones decimales y
de la trigonometra permitieron obtener evidentes ventajas en el clculo.
Al final del siglo XVI, Pierre Mtius3 obtiene con siete cifras
decimales, como resultado 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.
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 anlogo 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 ai el

rea de un polgono regular de i lados y por a(AOB) el rea del tringulo
AOB, tendremos que an = na(AOB).
B
O
A
C
Un simple clculo trigonomtrico nos permite

obtener
Figura 5
an = na(AOB) = n sen cos

a2n = 2na(OCB) = n sen
Anlogamen
te,
De aqu que
a n cos
a 2n
Doblando el nmero de lados k veces, tendremos

an
a 2k n
a n a 2n a 2k1
L
cos cos
n
a 2k
a
a4
2
2n
Ya que

Lcos
2k 1
lim a 2k n
se sigue
que
1
n sen2
cos cos
2
Lcos
L
2
2k 1
Cada coseno del denominador anterior es expresable en trminos del
que inmediatamente le precede como factor, mediante la frmula
trigonomtrica del ngulo mitad
1cos
cos
2
Comenzando con el cuadrado, para el que vale 45 grados, se tiene

1
cos 2
y, haciendo uso sucesivamente de las frmula del ngulo mitad, tendremos
finalmente
2
1 1 11 1 1 1 1
L

1 2 2 22 2 2 2 2
Esta expresin es ms2importante 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 polgonos inscritos y circunscritos. La
justificacin que da Snellius no es suficiente, pero C. Huygens (16291695) 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:
G
E
D
g
f
Fd
Figura 6
l
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 tangente 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 segmento 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.
VIAJE A TRAVS DE LA CUADRATURA DEL
CRCULO
71
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).
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
2 2 4 4 6 6L
2 1 3 3 5 57L
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 imposible, 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 manera de expresin distinta de los nmeros
racionales e irracionales.
Como Wallis, James Gregory (1638-1675) crea que la cuadratura del

crculo era imposible, 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+x2) , en el intervalo (0, x) era la arcotangente de x; es
decir,
x
dt
01 t2
arctan x
7
2
F.J. PREZ
Luego, mediante divisin larga desarrolla en serie el integrando y

haciendo uso de la inte- gral de Cavalieri (Cf. Edwards, 1982),
a
n1
a
x dx n 1
n
para n 0
integra trmino a trmino obteniendo

x5
x7

L
3
5 7
Para x = 1, arctan 1 = /4 , resultando
arctan x x
x3
1
4
L 1
1
3 5 7
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
yx x
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
result
a
pues BD = 3/4.
a(ADC) = 1/3(1/2R2) = /24;
a(ABD) = /24
3/3
2
[1]
Por otra parte

1/ 4
xx
a(ADB)
dx
Desarrollando el integrando por la serie del binomio e integrando trmino

a trmino, se obtiene
a(ADB)
2
3/ 2
3x
1
5x 5/
2
28x7/ 2
1
1
3
32 52 28
5
7
2
72x
1
72
9
2
1/ 4
L
9/ 2
[2]
De [1] y [2] se sigue que
1
1
L
28
72
7
9
2
2
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/ y obtiene
3
1 1 1
1
L
3
1
2
3
6
33 3
3 7
5
3
4
2
4
1
5
1 5
calculando con 72 cifras decimales. El segundo, haciendo uso de un

artificio para acelerar 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
arctan
arctan
5
239
1
4
5
3
35
1
1
L
23 3239
55
5
3
9
5239
[3]
La idea de acelerar la convergencia, partiendo de la serie de la

arcotangente, fue tambin utilizada por Euler4 (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

procedimientos 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 ordenadores, permitieron
progresivamente mejorar el tiempo de cmputo y el nmero de cifras decimales; 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 convergencia de la serie, lo obtiene mediante diversas
expresiones y formas:
1. Como suma de mltiples series en las que slo usa operaciones

racionales; por ejemplo, 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 continuas, de la referida obra.
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, eix = cos x i sen x, y que podemos encontrar5 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
z
z
1 e
n
De la frmula de De Moivre, (cos z i sen z)n = cos nz i sen nz se sigue que
(cos z i sen z) (cos z isenz)

cos nz
2
(cos z i sen z) (cos z isenz)

sen nz
2i
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 vi
1
n
n
vi
1
sen v
n
vi
n
1
2i
Para z = iv queda cos v = (evi+evi)/2 y sen v = (evievi)/2i y as eiv = cos v i

sen v. Para
v = tenemos ei+ 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 importante. 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 ex 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 eliminaba 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
a0xn + a xn + + an1x + an = 0), sera definitivamente probada, como luego
1
comentare1
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 trascendencia, de hecho, aparte de los
racionales (qx = p) cualquier irracional cuadrtico es
tambin algebraico, por ejemplo

es raz de x22 = 0. Es ms, an no se
2
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 (18141848), quien, en 1837, traduce los problemas geomtricos de regla y
comps al terreno algebraico en su trabajo Recherches sur les moyens de
reconnatre si un Problme de Gomtrie peut se rsoudre avec la rgle et le compas7
(Wantzel, 1837).
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 construible 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 = F0 es un nmero racional dado, podemos

construir k y a + bk, con a, b F0, por lo que todos los nmeros del
conjunto
F = {a + bk : a, b F }
1
son construibles y es fcil comprobar que forman un cuerpo, que contiene al
de los racio
nales (basta considerar b = 0) F (caso, por ejemplo, de k = 2) lo
0
y si k
contendr
estrictamente.
Si ahora k1 F1 es un nmero dado del conjunto anterior, tal que k1

F1 y a1, b1 F1, entonces
F2 = {a1 + b1k1 : a1, b1, k1 F1}

es un cuerpo de nmeros construibles y F2 F1 F0.
Este proceso puede continuarse, obtenindose, al cabo de n pasos, un
cuerpo Fn de nmeros, todos construibles con regla y comps, y tal que Fn
F2 F1 F0 = Q.
El recproco tambin es cierto; es decir, cualquiera que sea el nmero
construible considerado, ste pertenece a alguno de los cuerpos
Fn F2 F1 F0
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(x1, y1) y Q(x2, y2), xi, yi Q. La ecuacin de la recta (y2
y1)x + (x1x2)y + (x2y1x1y2) = 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 x2+y22x x2y y+x 2+y 2r2 =
0 con
1
1
1
1
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 racionales sobre los
coeficientes de ambas rectas; y la interseccin de recta y circunferencia
o de dos circunferencias requiere operaciones racionales y extraccin de
races cuadradas8. De este modo, las coordenadas del nuevo punto
pertenecern a algn cuerpo del tipo Fi.
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 Fi.
Foto 16. Una pgina

(370) del artculo de
Wantzel
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 racionales, 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 2n, con coeficientes
racionales y de aqu que estemos hablando de nmeros 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
18519.
En el citado trabajo, Liouville prueba que si
x
k1
1!
10
k2
2!
10
k3
10
3!
km
10
m!
0, k1k2000k300000000000000000k4 0L
con 0 ki 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.
VIAJE A TRAVS DE LA CUADRATURA DEL
81
CRCULO
Foto 17. Primera

pgina del artculo de
Liouville
Foto 18. Pgina 140 del

artculo de Liouville
En 1873 Hermite (1822-1901) prueba que e es trascendente, por lo que una

ecuacin
finita de la forma
a + + a2 + = 0 no puede satisfacerse, si los p N y los a
0
i
i
a ep1
ep2
Q
no son todos nulos.
Un ao despus, Cantor (1845-1918) demuestra que el conjunto de los
nmeros algebraicos es numerable en su artculo Uber eine Eigenscheft des Inbegrffes aller reellen
algebraischen Zahlen (Cantor, 1874)10.
Foto 19, Portada del Journal

de Crelle de 1874
Foto 20. Pginas 258 y 259 del artculo de Cantor
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 p1,
p2, , pn son nmeros algebraicos distintos (reales o complejos) y a0, a1,
, an son nmeros algebraicos
(reales o complejos) no todos nulos, entonces la suma
+ a2 + +n a epn no
0
p1
ep2
finita a + a e
puede ser igual a cero.
Como consecuencia, recordando la expresin ei+ 1 = 0 que
anteriormente comentamos 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 (x2 + 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 cuadratura 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.
8
2
F.J. PREZ
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).
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 dimetro, 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 Observationes de 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 racionales, z3 + az2 + bz + c = 0,
no tiene alguna solucin racional, entonces ninguna de sus races es construible. Trisecar un ngulo se reduce a resolver una cbica; ya que para /3
radianes la cbica resul- tante, 8z3 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 = r2 y (xc)2+(yd)2 = s2, se tendr
(a [r2 (y b)2]1/2 c)2 + (y d)2 = s2.
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 fuentes 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 tantas horas como en
casa.
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

Cuadratura de Un Circulo

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Cuadratura de Un Circulo

Hochgeladen von

Copyright:

Verfügbare Formate

6

Definicin del problema

Por ejemplo, para cuadrar un rectngulo ABCD (Figura 1), se procede

En efecto, los tringulos ABF y FBE son semejantes, por lo que FB es

Y por ello, requiere que se pueda realizar, en un nmero finito de

Es sobradamente conocido, que todas las operaciones racionales entre

Observemos, desde una ptica actual, que cuadrar el crculo de radio la

se trata de determinar la media proporcional entre y 1 y, toda vez que

El descubrimiento de Hipcrates no es sino un caso particular de otros

lo mediante la cuadratriz (una curva descrita mecnicamente y que a su

Foto 1. Portada de Archimedis Opera, 1615

En su escueto tratado De la medida del crculo (Arqumedes, 1615), que

Arqumedes prueba que la razn entre la longitud de la circunferencia y

En el caso de los polgonos inscritos, por ejemplo, conociendo el lado

Anlogamente podemos proceder para los polgonos circunscritos.

Aunque la aproximacin de Arqumedes, mediante este mtodo

Foto 4. Portada de Vietae Opera

Pero, realmente el primer avance significativo no llega hasta Vite

Si en la Figura 5, AB es el lado del n-gono, y si denotamos por ai el

Un simple clculo trigonomtrico nos permite

an = na(AOB) = n sen cos

Doblando el nmero de lados k veces, tendremos

Comenzando con el cuadrado, para el que vale 45 grados, se tiene

Cota inferior: Si se prolonga el dimetro AB de un crculo, en D, de manera que BD sea

La mejora sobre las cotas de que estas propiedades proporcionan

VIAJE A TRAVS DE LA CUADRATURA DEL

No podemos terminar este breve repaso por las diversas contribuciones

Foto 6. Segunda pgina de

cedimiento de Arqumedes o de Vite. Mediante un compleja deduccin,

Foto 7. Portada de la obra de Wallis

Se le deben otras contribuciones relacionadas con , entre ellas las

Como Wallis, James Gregory (1638-1675) crea que la cuadratura del

Luego, mediante divisin larga desarrolla en serie el integrando y

integra trmino a trmino obteniendo

desarrollo en serie de que era encontrado por Leibniz (1646-1716) en 1682.

a(ADC) = 1/3(1/2R2) = /24;

Por otra parte

Desarrollando el integrando por la serie del binomio e integrando trmino

De [1] y [2] se sigue que

El primero sustituye x por

calculando con 72 cifras decimales. El segundo, haciendo uso de un

De variis modis circuli

Machin proporciona el grado de perfeccin que faltaba para que el

La idea de acelerar la convergencia, partiendo de la serie de la

Foto 10. Aceleracin de la convergencia en Introductio de Euler

y tambin en Euler (1744), mediante un procedimiento distinto. Este tipo de

Euler, aparte de mejorar la aproximacin de mediante mtodos para

1. Como suma de mltiples series en las que slo usa operaciones

Foto 11. Portada de

Pero uno de los hallazgos ms importantes en el tema que nos ocupa,

De la frmula de De Moivre, (cos z i sen z)n = cos nz i sen nz se sigue que

(cos z i sen z) (cos z isenz)

(cos z i sen z) (cos z isenz)

Para z = iv queda cos v = (evi+evi)/2 y sen v = (evievi)/2i y as eiv = cos v i

Foto 12. Portada

Debemos observar que la irracionalidad de no cerraba el problema de

tambin algebraico, por ejemplo

Foto 14. Portada del

Foto 15. Primera

La idea bsica de Wantzel consiste en identificar los segmentos por

En efecto, si k Q = F0 es un nmero racional dado, podemos

Si ahora k1 F1 es un nmero dado del conjunto anterior, tal que k1

F2 = {a1 + b1k1 : a1, b1, k1 F1}