Un paseo por el crculo: un paseo de

ms de 2.000 aos
por
Alberto Bagazgoitia Gonzlez, Berritzegune de Vitoria

UN PASEO POR EL
Un paseo de ms de

El problema que nos va a ocupar no es otro que el, bien conocido

y resuelto
El problema que nos va a ocupar no es otro
definitivamente hace ms de 100 aos, problema de la "cuadratura
del crculo",
definitivamente
hace ms de 100 aos, problema d
pero cuya historia merece la pena reconstruir pues nos llevar acuya
recorrer
la historia
historia
merece la pena reconstruir pues nos
2.000deaos
de matemticas.
Saltaremos de la geom
de ms de 2.000 aos de matemticas. Saltaremos de la geometra,
donde
surge
anlisis
(series
y
productos
infinitos,
curvas trasce
el problema, al anlisis (series y productos infinitos, curvas trascendentes) y a las
estructuras
algebraicas
para
terminar
con una com
ecuaciones y estructuras algebraicas para terminar con una comprensin profunda
Adems pondr de manifiesto la doble ver
del nmero real.
movido el desarrollo de las matemticas: la vertie
Adems, pondr de manifiesto la doble vertiente en la que histricamente
se ha problemas prcticos y reales
necesidad de resolver
movido el desarrollo de las matemticas: la vertiente utilitaria,prioriza
respondiendo
a la profundo de las situacion
el conocimiento
conceptos
y estructuras,
necesidad de resolver problemas prcticos y reales, y la vertiente
ms terica
que aunque se alejen de las ne
prioriza el conocimiento profundo de las situaciones, el placer de la comprensin
1. Orgenes
del problema:
de los conceptos y estructuras, aunque se alejen de las necesidades
prcticas.

Los 3 problemas clsicos griegos: la duplic

ngulo y la cuadratura del crculo estn envueltos
all de leyendas, su origen seguramente se encuen
Los 3 problemas clsicos griegos: la duplicacin del cubo, la triseccin
del ngulo
espritu humano,
en la necesidad de conocer y de
y la cuadratura del crculo estn envueltos en un mundo de leyenda.
Pero
all la solucin.
de los que yams
se conoca
de leyendas, su origen seguramente se encuentra en la insaciable curiosidad
del de LA DUPLICACIN D
As el problema
espacio del
problema
espritu humano, en la necesidad de conocer y de resolver problemas
anlogos
a que en el plano es de resoluc
cuadrado
otros de los que ya se conoca la solucin.

1. Orgenes del problema

As el problema de LA DUPLICACIN DEL CUBO era la generalizacin al espacio del problema que en el plano es de resolucin
inmediata, la duplicacin del cuadrado. Para duplicar el cuadrado
ABCD basta construir otro de lado AC.
101

Para duplicar el cuadrado AB

El problema de la TRISECCIN DEL N

nica ayuda de la regla y el comps, un ngulo da
como antecedente el hecho de que se saba dividir
tambin se saba bisecar un ngulo

El problema de LA CUADRATURA DEL

(con la nica ayuda de la regla y el comps) un cu
crculo dado.

Los 3 problemas clsicos griegos: la duplicacin del cubo, la triseccin del

ngulo y la cuadratura del crculo estn envueltos en un mundo de leyenda. Pero ms
all de leyendas, su origen seguramente se encuentra en la insaciable curiosidad del
espritu humano, en la necesidad de conocer y de resolver problemas anlogos a otros
de los que ya se conoca la solucin.
As el problema de LA DUPLICACIN DEL CUBO era la generalizacin al
espacio del problema que en el plano es de resolucin inmediata: La duplicacin del
cuadrado
Para duplicar el cuadrado ABCD basta construir otro de lado AC

102

Un Paseo por la Geometra

El problema de la TRISECCIN DEL NGULO que consista en dividir, con

nica ayudaDEL
de NGULO
la regla yqueelconsista
comps,
un ngulo
El problema de la
la TRISECCIN
en dividir,
con la dado en 3 partes iguales podra
nica ayuda de la regla tener
y el comps,
ngulo dado enel
3 partes
iguales
podra
comounantecedente
hecho
de que
setener
saba dividir un segmento en n partes
como antecedente el hecho de que se saba dividir un segmento en n partes iguales y
y tambin se saba bisecar un ngulo.
tambin se saba bisecariguales
un ngulo
El problema de LA CUADRATURA DEL CRCULO consista en construir
El problema de LA CUADRATURA DEL CRCULO consista en construir
(con
la nica ayuda de la regla y el comps) un cuadradoUndePaseo
la misma
rea que
por el crculo
(con la nica ayuda de la regla y el comps) un cuadrado de la misma rea que un
un crculo dado. Los griegos saban cuadrar otras figuras. Saban cuadrar un
crculo dado.
Los griegos saban cuadrar
otras figuras:
Saban
cuadrar unEs
rectngulo
rectngulo.
Saban
cuadrar
un tringulo:
fcil construir un rectngulo que tenga la misma rea
que un tringulo:

El segmento BL es media
Dado el tringulo ABC
Un Paseo
pormedia
el crculo
El segmento
BL es
proproporcional entre los
Se
traza
por
A
una
paralela
al
lado
BC
segmentos x e y:
porcional
entre
los
segmentos
- Por los puntos M y N (puntos medios de los lados AC y AB) se trazan paralelas
BL2 = x .y
2
x e y:que
BLtenga
= xy.
Luegorea
BL es
a la altura
AH. As se Es
forma
el rectngulo
PQRS
Saban
cuadrar
un tringulo:
fcil
construir un
rectngulo
la misma
Luego BL es el lado del
- El tringulo ABC y el rectngulo PQRS tienen la misma
rea, del
ya que
el
cuadrado buscado que un tringulo:
el lado
cuadrado
buscado.

tringulo
CPM = MAS y el tringulo QBN = NRA
Dado el tringulo
ABC
- Y como ya sabemos cuadrar un rectngulo queda resuelto el problema de
- Saban
Se traza
por
A una paralela
al lado BCEs fcil
cuadrar
un tringulo.
cuadrar
un tringulo,
Por
los
puntos
M
y
N
(puntos
medios
de los
lados AC y AB) se trazan paralelas
construir
rectngulo
quedetenga
lacualquier
misma
rea
- un
y con
l
cuadrar
polgono
Pg
1 el problema
a la altura
AH.
As
se
forma
el
rectngulo
PQRS
de n lados. Bastaba con dividirlo en n-2 tringulos y
que un tringulo:
- El tringulo
ABCtringulos,
y el rectngulo
PQRS tienen
cuadrar estos
luego sumaremos
los la misma rea, ya que el
cuadrados
de Pitgoras.
tringulo
CPMmediante
= MASely Teorema
el tringulo
QBN = NRA
traza
A unacuadrar
paralela
lado BC.queda resuelto el problema de
- -YSe
como
ya por
sabemos
un al
rectngulo
cuadrar un tringulo,
M ydeNcuadrar
(puntos
mediospolgono
de
- yPor
con los
l elpuntos
problema
cualquier
ladosBastaba
AC y AB)
se trazanenparalelas
a y
delos
n lados.
con dividirlo
n-2 tringulos
la altura
AH.
As se luego
formasumaremos
el rectngulo
cuadrar
estos
tringulos,
los
cuadrados
PQRS . mediante el Teorema de Pitgoras.

- El tringulo ABC y el rectngulo

PQRS tienen la misma rea, ya que
el tringulo CPM = MAS y el
tringulo QBN = NRA.
1.1 DEFINIENDO EL PROBLEMA

- Y como ya sabemos cuadrar un recYa en el antiguo Egipto se interesaron por las tngulo
relacionesqueda
entre elresuelto
cuadrado yelelproblema
crculo. En el papiro de Rhind (egiptlogo escocs que lo compr en 1858 y copiado
cuadrar
por el egipcio Ahmes en 1650 a.d.C. de un documentodeque
era unosun
200tringulo,
aos ms viejo)
ya se plante: Hallar un cuadrado equivalente a un crculo dado. Propuso tomar como
lado
cuadrado
los 8/9 del dimetro
del crculo,
lo quepolgono
da un valorde
aproximado

- ydel
con
l el problema
de cuadrar
cualquier
n lados. de
Bastaba
con
de 3,16.
dividirlo
en n 2 tringulos y cuadrar estos tringulos, luego sumaremos los
De dnde sale este valor?
1.1 DEFINIENDO
EL
PROBLEMA
cuadrados
mediante
el Teorema
decuadrado
Pitgoras.
Se considera una
circunferencia
inscrita en un
dividido
en 9 partes iguales.
endel
el crculo
antiguo
Egipto
se interesaron
poralas
relaciones entre el cuadrado y el
ElYa
rea
puede
considerarse
semejante
la del
Definiendo
el problema
crculo.
En el papiro
Rhind pequeo
(egiptlogo
quedelo compr en 1858 y copiado
octgono.
Si cadade
cuadrado
tieneescocs
3 unidades
Ya en elel
antiguo
Egipto
se interesaron
por las
relaciones
el cuadrado
rea del
ser
7x9
= 63.
Entonces
elque
reaera
delunos entre
por el longitud,
egipcio
Ahmes
enoctgono
1650 a.d.C.
de un
documento
200 aos
ms viejo)y el
2
crculo
de
radio
9/2
ser

63,
que
es
prximo
a
64
=

(9/2)
.
crculo.
En
el
papiro
de
Rhind
(comprado
en
1858
por
un
egiptlogo
escocs
ya se plante: Hallar un cuadrado equivalente a un
crculo dado. Propuso tomar
como del
2
Lo
que
da
para

un
valor
aproximado
de
4
.
(8/9)
=
3,16
lado
deltoma
cuadrado
los 8/9y del
dimetro
crculo, Ahmes
lo que daenun1650
valora.C.
aproximado
de
que
el nombre
copiado
pordel
el egipcio
de un documento

de que
3,16.era unos 200 aos ms viejo) ya se plante: "Hallar un cuadrado equivalente a
Son los griegos (600 a.d.C) los que se empiezan a preocupar por verdades
De dnde
sale este la
valor?
intiles,
abandonando
utilidad de las matemticas. Para entender esta evolucin hay
Se considera
una
circunferencia
inscritagriego.
en unLos
cuadrado
dividido
que situarse en el ambiente filosfico
filsofos
estaban preocupados por
en 9 partes
iguales.
conocer y muchas veces la realidad estaba oculta por apariencias.
Ejemplos
de verdades
intiles
son los 5 ateoremas
El rea del crculo
puede
considerarse
semejante
la del de Tales:
Todo
dimetro
divide
al
crculo
en
dos
partes
octgono. Si cada cuadrado pequeo tiene 3 unidadesiguales
de
ngulos
el vrtice
longitud, -el rea
del opuestos
octgonoporser
7x9 =son
63.iguales
Entonces el rea del
crculo de radio 9/2 ser 63, que es prximo a 64 = (9/2)2 .
Pg 2
Lo que da para un valor aproximado de
4 . (8/9)2 = 3,16
Son los griegos (600 a.d.C) los que se empiezan a preocupar por verdades

ENDO EL PROBLEMA

n el antiguo Egipto se interesaron por las relaciones entre el cuadrado y el

l papiro de Rhind (egiptlogo escocs que lo compr en 1858 y copiado
Un paseo por el crculo
o Ahmes en 1650
a.d.C. de un documento que era unos 200 aos ms viejo)103
: Hallar un cuadrado equivalente a un crculo dado. Propuso tomar como
un crculo dado". Se propuso tomar como lado del cuadrado los 8/9 del dimetro
drado los 8/9 del
deldacrculo,
que da un
aproximado de
del dimetro
crculo, lo que
un valor lo
aproximado
de valor
de 3, 16.
De dnde sale este valor? Se considera una circunferencia inscrita en un

dnde sale estecuadrado

valor? dividido en 9 partes iguales.
una circunferencia
inscrita
en un
cuadrado
dividido
El rea
del crculo
puede
considerarse
semejante a la del octgono. Si cada cuadrado peguales.
queo tiene 3 unidades
de longitud,
rculo puede considerarse
semejante
a la delel rea del
ser 7 x 9 = 63. Entonces el rea del
cada cuadradooctgono
pequeo
tiene 3 unidades de
crculo de radio 9/2 ser 63, que es prximo
rea del octgono
=2 .63.
del
a 64 ser
= 7x9
(9/2)
Lo Entonces
que da parael rea
un valor
2
dio 9/2 ser aproximado
63, que esdeprximo
= (9/2) .
4 (8/9)2 a= 64
3, 16.
2
ra un valor aproximado
de 4(600
. (8/9)
= 3,16
Son los griegos
a.C.) los
que se empiezan a preocupar por verdades "in-

tiles", abandonando la utilidad de las matemticas. Para entender esta evolucin

haya.d.C)
que situarse
en el
filosfico
griego. Los
estaban preocuos griegos (600
los que
seambiente
empiezan
a preocupar
porfilsofos
verdades
pados por "conocer" y muchas veces la realidad estaba oculta por "apariencias".
bandonando laEjemplos
utilidaddede"verdades
las matemticas.
Para entender esta evolucin hay
intiles" son los cinco teoremas de Tales:

en el ambiente filosfico griego. Los filsofos estaban preocupados por

muchas veces la realidad estaba oculta por apariencias.
Todo dimetro
crculo en de
dos Tales:
partes iguales.
plos de verdades- intiles
sondivide
los 5alteoremas
dimetro divide al crculo en dos partes iguales
ulos opuestos por -elngulos
vrticeopuestos
son iguales
por el vrtice son iguales.
Pgbsicos
2
- Los ngulos
en un tringulo issceles son iguales.
Un Paseo por el crculo

- El ngulo inscrito en un circunferencia que abarca un dimetro es recto.

gulo issceles son iguales
erencia que abarca un dimetro es recto.

A la hora dey medir

parecieron los inconmensurables
as los dos segmentos aparecieron los inconmensurables y as los
abandonaron
idea de nmero y se quedaron con el segmento. El rigor
y se quedaron congriegos
el segmento.
El rigor la
estaba
estaba en
la geometra y as utilizaban un lgebra geomtrica: sumaban, restaban,
bra geomtrica: sumaban,
restaban,
multiplicaban,
dividan segmentos o extraan la raz cuadrada.
traan la raz cuadrada.
ntos a y b basta
Por ejemplo para multiplicar los segmentos
, b = OC, 1 = OB
a y b basta hacer la construccin siguiente: a =
b
OA, b = OC, 1 = OB. Se verifica que 1/b =
a/OD, luego OD = a b.
nales pueden

geomtricas.

n poda

As todos los procesos algebraicos racionales pueden efectuarse por medio de

construcciones geomtricas.

drada de a:

salir del cuerpo

extensin (sin medir).

A la hora de medir dos segmentos aparecieron los inconmensurables y as los

griegos
abandonaron
la yidea
de nmerocon
y seelquedaron
conElelrigor
segmento.
griegos abandonaron
la idea
de nmero
se quedaron
segmento.
estabaEl rigor estaba
en
la
geometra
y
as
utilizaban
un
lgebra
geomtrica:
sumaban,
restaban,
en la geometra y as utilizaban un lgebra geomtrica: sumaban, restaban,
multiplicaban, dividan segmentos o extraan la raz cuadrada.
multiplicaban, dividan
segmentos o extraan la raz cuadrada.
Por ejemplo para multiplicar los segmentos a y b basta
Por ejemplo para multiplicar los segmentos a y b basta
hacer la construccin siguiente: a = OA, b = OC, 1 = OB
hacer la construccin siguiente: a = OA, b = OC, 1 = OB
Se verifica que 1/b = a / OD OD = ab
Se verifica que 1/b = a / OD OD = ab
104 As todos los procesos algebraicos racionales pueden
Un Paseo por la Geometra
As todos los procesos algebraicos racionales pueden
efectuarse por medio de construcciones geomtricas.
efectuarse por medio de construcciones geomtricas.
La raz cuadrada de un segmento tambin poda
La raz cuadrada realizarse
deLa
unraz
segmento
tambin
poda
cuadrada
de
un segmento
tamcon regla
y comps:
realizarse con regla
comps:
bin
poda
comps:
a =yOA
, elrealizarse
segmentocon
ACregla
es layraz
cuadrada de a:
a = OA , el segmento
AC
es
la
raz
cuadrada
de
a:
aAC
= 2OA,
el
segmento
AC
es
la
raz
cuadra= a.1.
AC2 = a.1.
Esta
que nos
permitir salir del cuerpo
da
deconstruccin
a, AC 2 = a es
1.laEsta
construccin
Esta construccines
eslalaque
quenos
nospermitir
permitirsalir
salirdel
del cuerpo
cuerpo
racional
racional
racional.
Para comparar figuras se comparaba su extensin (sin medir).
As se comparaba su extensinPara
Para comparar figuras
(sincomparar
medir). figuras se comparaba su extensin (sin medir). As A > B si A es equivaAs
lente a un cuadrado y B es equivalente a otro
B
A
A > B Los
si A cuadrados
es equivalente
a un cuadrado
y B es
menor.
se comparan
poniendo
B
A
a otro amenor.
A > B si equivalente
A es equivalente
un
cuadrado
B es
uno dentro de
otro.
De aquy el
problema de la
Los
cuadrados
se comparan poniendo uno dentro de otro.
equivalente a otro menor.
CUADRATURA: Encontrar un cuadrado que
aqu el problema
de la CUADRATURA:
Encontrar un
Los cuadrados seDecomparan
dentro (sin
de otro.
tuvieraponiendo
la mismauno
extensin
medir) que la
cuadrado
tuviera la mismaEncontrar
extensinun
(sin medir) que la
De aqu el problema
de laque
CUADRATURA:
a medir.
ya hemos
comentado
los saban
figurafigura
a medir.
ComoComo
ya hemos
comentado
los griegos
cuadrado que tuviera la
misma
extensin
(sin
medir)
que
la
griegos
saban cuadrar
rectngulos
y polgonos.
cuadrar rectngulos y polgonos.
El problema
era cuadrar
el crculo.
figura a medir. Como El
ya problema
hemos comentado
era cuadrarlos
el griegos
crculo. saban
cuadrar rectngulos
y polgonos.
El problema
era
el crculo.
PorPor
qu
la limitacin
a la aregla
y el cuadrar
comps?
qu
la limitacin
la regla
y el comps?
Platn, cuyo magisterio filosfico influye en todo el pensamiento de la Grecia
Por qu la limitacin
aPlatn,
la regla
el
comps?
cuyo
magisterio
filosfico influye
el pensamiento
de la Grecia
clsica, consideraba
layrecta
y la circunferencia
comoenlastodo
nicas
figuras geomconsideraba
la recta
la circunferencia
comodelasimponer
nicas figuras
tricasclsica,
perfectas.
Platn, por
una ypremisa
esttica, trata
que losgeomtricas
tres
Platn,
cuyo
magisterio
filosfico
influye
en
todo eltrata
pensamiento
deque
la Grecia
perfectas.
Platn,
por
una
premisa
esttica,
de imponer
los tres problemas se
problemas
se resuelvan
con
regla
y comps.
clsica, consideraba
la
recta
y
la
circunferencia
como
las
nicas
figuras
geomtricas
resuelvan
conpor
regla
y comps.
Se
distingua
tanto,
entre el problema del clculo aproximado del rea del
perfectas. Platn,
por
una
premisa
esttica,
de imponer
que
tres problemas
se hizo
crculo y el de su construccintrata
terica
exacta. En
el los
primero,
Arqumedes
resuelvan congrandes
regla yprogresos
comps.
Se distingua
tanto,deentre
el problema
del clculo
aproximado
del rea del
con su por
mtodo
aproximacin
a travs
de polgonos
inscritos
circulo
y
el
de
su
construccin
terica
exacta.
En
el
primero
Arqumedes
hizo
y circunscritos y el segundo se orient hacia la posibilidad de construir con regla grandes
Se distingua
porPor
tanto,
elhay
problema
delque,
clculo
aproximado
rea
del
progresos
con
su
mtodo
de aproximacin
a travs
de polgonos
inscritos
y circunscritos
y comps.
otra entre
parte,
que
decir
como
veremos,
losdel
griegos
no tenan
circulo y el deningn
su yconstruccin
terica
exacta.
En
el
primero
Arqumedes
hizo
grandes
elreparo
segundo
se
orient
hacia
la
posibilidad
de
construir

con
regla
y
comps.
en utilizar otros instrumentos o figuras para obtener , pero queda
progresos conclaro
su mtodo
de
aproximacin
a travs
de
polgonos
inscritos
circunscritos
Por
otra
hay que
que,
como
veremos,
losygriegos
no tenan
que con esto
noparte
se resolva
eldecir
problema.
Queda
as definido
con precisin
el ningn
y el segundo problema:
se orient
hacia
la
posibilidad
de
construir

con
regla
y
comps.
reparo en utilizar otros instrumentos o figuras para obtener , pero queda claro que con
esto hay
no seque
resolva
problema.
Por otra parte
decir el
que,
como
veremos,
los griegos
no tenan ningn
Construir,
con regla
y comps,
un cuadrado
Queda
as
definido
con
precisin
el
problema:
reparo en utilizar otros instrumentos
o figuras
para
obtener
, crculo
pero queda
claro que con
que tenga
la misma
rea
que un
dado.
esto no se resolva
el
problema.
Un problema que Felix Klein englobara dentro de la llamada "matemtica
Quedaintil".
as definido con precisin el problema:
Insistimos en que el problema no es elPgde3 dibujar figuras con cierto grado
de exactitud, sino el de demostrar que, sin ms ayuda que la regla y el comps,
3
la solucin puede hallarse Pg
tericamente,
suponiendo que nuestros instrumentos
tienen precisin ideal.

rse tericamente, suponiendo que nuestros instrumentos tienen precisin

RA ETAPA

situamos en la antigua Grecia, en el siglo V a.d.C:

Un paseo por el crculo
105
ras (+428 a.d.C) se le atribuye el ser el primer griego que se interes por el
Plutarco nos cuenta que mientras Anaxagoras estaba en prisin (estuvo
Primera etapa
o en Atenas por impiedad, por afirmar que el sol no era una deidad, sino una
Nos situamos en la antigua Grecia, en el siglo V a.C.: A Anaxagoras (428 a.C.)
piedra al rojo y se
que
la luna era una tierra deshabitada que reciba y reflejaba
le atribuye el ser el primer griego que se interes por el problema. Plutarco nos
ol.) se ocup delcuenta
problema
de la cuadratura
crculo.
que mientras
Anaxagorasdel
estaba
en prisin (estuvo encarcelado en Atenas
por impiedad, por afirmar que el sol no era una deidad, sino una gigantesca piedra

teriormente a Anaxagoras,
hacia
Antifon
Brison,
al rojo y que la
luna el
eraao
una430
tierraa.d.C.,
deshabitada
que yreciba
y reflejaba su luz del
scribiendo un polgono
en eldel
crculo
y duplicando
su nmero
de lados
sol) se ocup
problema
de la cuadratura
del crculo.
n polgono que se aproximaba
cada
vez ms al hacia
crculo.
Esto
permita
Posteriormente
a Anaxagoras,
el ao
430les
a.C.,
Antifon y Brison, sofistas, inscribiendo
un polgono
en lo
el sera
crculo
duplicando
su nmero de lados
como los polgonos
son cuadrables
tambin
el ycrculo.
Aristteles
obtenan
un
polgono
que
se
aproximaba
cada
vez
ms
al
crculo.
Esto les perrazonamiento argumentando que los polgonos as construidos nunca
mita afirmar que como los polgonos son cuadrables tambin lo sera el crculo.
crculo.
critic este
razonamiento
quelalos
polgonos as consu hay que decirAristteles
que el problema
planteado
no eraargumentando
el de asegurar
existencia
truidos
nunca
llenaran
el
crculo.
Aqu
hay
que
decir
que
el
problema
planteado
n sino el de construirla con regla y comps.

no era el de asegurar la existencia de la solucin sino el de construirla con regla y

comps.
que sabemos (no ha sobrevivido ningn tratado matemtico del siglo V
Lo que sabemos (no ha sobrevivido ningn tratado matemtico del siglo V
n fragmento sobre
Hipcrates que Simplicio (siglo VI) dice haber copiado
a.C.) es un fragmento sobre Hipcrates que Simplicio (siglo VI) dice haber copiae de la Historia do
de literalmente
las Matemticas
de Eudemo
(perdida tambin).
Describe
de la Historia
de las Matemticas
de Eudemo
(perdida tambin).
e la obra de Hipcrates
queparte
se refiere
a ladecuadratura
lasselnulas
Describe una
de la obra
Hipcratesdeque
refiere a la cuadratura de las
que debi surgirlnulas
de la cuadratura
deldebi
crculo).
(problema que
surgir de la cuadratura del crculo).
Una lnula es una figura plana cerrada limitada por dos arcos de circunferencia
lnula es una figura
plana
cerrada
limitada por
dos arcos
de circunferencia
de radios
distintos.
El fragmento
de Eudemo
atribuye
a Hipcrates el siguiente
istintos. El fragmento
Eudemo atribuye
a Hipcrates
el siguiente
teorema:de"Segmentos
semejantes
de crculos estn
entre s en la misma razn que
los cuadrados
construidos
sobre
sussbases".
previorazn
a este resultado:
Segmentos semejantes
de crculos
estn
entre
en la Y
misma
que los "Dos crculossus
son bases.
entre s como los cuadrados construidos sobre sus dimetros".
construidos sobre
A crculos
partir de este
la construidos
primera cuadratura rigurosa
este resultado: Dos
sonteorema
entre sHipcrates
como los consigui
cuadrados
de
una
figura
curvilnea
en
la
historia
de
las
matemticas.
Comenz con un semicrimetros.
culo circunscrito
un tringulolarectngulo
issceles ABC
y sobrede
la base (hipoartir de este teorema
Hipcratesa consigui
primera cuadratura
rigurosa
tenusa) construy un segmento circular semejante a los segmentos circulares decurvilnea en la historia de las matemticas.
terminados por los catetos del tringulo rectngulo. Como AC es la hipotenusa de
on un semicrculo circunscrito a2 un tringulo
rectngulo issceles ABC y
ABC issceles: AC = 2AB2 y aplicando el resultado anterior:

se (hipotenusa) construy un segmento circular

a los segmentos circulares determinados por los
tringulo rectngulo.
es la hipotenusa de ABC issceles: AC2 = 22 AB2
el resultado anterior: segmento AB = AB = 1 .
segmento ADC

AC

Pg 4
Por tanto la lnula ABCD tiene la misma rea que el tringulo ABC.

segmento AB
AB
1
=
=
segmento ADC AC 2 2
Por tanto la lnula ABCD tiene la misma rea que el tringulo ABC.
Una 106
vez cuadrada esta lnula podra pensarse que el crculo
fcil
de cuadrar.
Un Paseosera
por la
Geometra
Hipcrates logr cuadrar tres lnulas.
Una vez cuadrada esta lnula podra pensarse que el crculo sera fcil de
cuadrar. Hipcrates logr cuadrar tres lnulas.
A Hipias
EllisdeseEllis
le atribuye
la invencin
de la de
curva
trisectriz
tambin
llamada
A de
Hipias
se le atribuye
la invencin
la curva
trisectriz
tambin
posteriormente
cuadratriz.
Esta
curva
fue
la
primera
definida
cinemticamente.
llamada posteriormente cuadratriz. Esta curva fue la primera definida cinemti- Su
construccin
es la
siguiente: es
Unlasegmento
gira alrededor
dealrededor
A con undemovimiento
camente. Su
construccin
siguiente: AD
un segmento
AD gira
A
uniforme
rotacin yuniforme
al mismodetiempo
DC se eltraslada
paralelamente
a s
con undemovimiento
rotacinelysegmento
al mismo tiempo
segmento
DC se
mismo
con un
movimiento
deun
traslacin,
deuniforme
manera que
ambos segmentos
traslada
paralelamente
a suniforme
mismo con
movimiento
de traslacin,
de
maneraenque
ambos
segmentos coinciden
AB. Lade
interseccin
en cada
instanteAG y EF
coinciden
AB.
La interseccin
en cadaen
instante
los segmentos
mviles
de
los
segmentos
mviles
AG
y
EF
determina
un
punto
H
de
la
cuadratriz
DHI.
determina un punto H de la cuadratriz DHI.

El desplazamiento del punto E sobre

el segmento DA y el ngulo DAG son
proporcionales, de forma que cuando
E alcanza el punto A, el ngulo DAG
sea DAB.
El punto H, interseccin de EF y
AG, describe la CUADRATRIZ.

Una vez construida esta curva la triseccin de cualquier ngulo se realiza con
facilidad pero no es seguro que Hipias conociese la aplicacin de esta curva a la
Una vez
esta
curva la triseccin
cualquiersengulo
se esto
realiza con
resolucin
delconstruida
problema de
la cuadratura
del crculo.de
Dinostrato
ocup de
facilidad
es seguro
Hipias
conociese
esta curva a la
y por pero
eso a no
la trisectriz
se que
le conoce
tambin
como la
la aplicacin
cuadratriz dedeDinostrato.
resolucin
del problema
la cuadratura
del crculo.
Dinostrato
se ocup del
de esto y por
Dinostrato
hacia eldeao
350 a.C. descubri
una propiedad
sorprendente
eso apunto
la trisectriz
sedelelaconoce
tambin
como
cuadratriz
de Dinostrato.
I extremo
trisectriz
de Hipias.
(Conlanuestra
notacin
la trisectriz puede
Dinostrato
hacia
propiedad
sorprendente
del
representarse
como
r el
senao
=350
2aa.d.C
siendodescubri
a el lado una
del cuadrado
asociado
a la
punto
I
extremo
de
la
trisectriz
de
Hipias.
(Con
nuestra
notacin
la
trisectriz
puede
curva, (r, ) las coordenadas polares del punto H).
La clave
est en
punto
la curvaacorta
a AB,
que no puede
obtenerse
representarse
como
relsen
=I donde
2a siendo
el lado
dely cuadrado
asociado
a la curva,
como
los
dems
puntos
de
la
curva,
pues
en
esta
posicin
final
ambos
segmentos
(r,) las coordenadas polares del punto H).
mviles
coinciden
y, por
tanto, Ino
tienenlapunto
interseccin.
de- obtenerse
La clave
est en
el punto
donde
curvadecorta
a AB, y Dinostrato
que no puede
mostr
que
el
lado
a
del
cuadrado
es
la
media
proporcional
entre
AI
y
el
arco
como los dems puntos de la curva, pues en esta posicin final ambos segmentos
DB. coinciden y, por tanto, no tienen punto de interseccin.
mviles
a
a a2
arco DB
Dinostrato demostr que
a del
cuadrado
= el lado
arco
DB
=
= es la media proporcional entre
a
2
AI
AI
AI y el arco DB.
(observar que el valorarco
de rDB
del punto
a I lo podemos obteneracomo:a 2lm0 r = 2a )
DBrectificar
=
era arco
=
=
de manera que mediante a
este segmento AI
posible
2 la circunferencia.

AI

AI

(observar que el valor de r del punto I lo podemos obtener como: lim r =

0

Pg 5

2a

Un Paseo por el crculo

de manera que mediante este segmento AI era posible rectificar la circunferencia. El

ltimo paso lo dar Arqumedes al demostrar cmo se poda pasar, con regla y comps,
de la circunferencia rectificada a la cuadratura del crculo. A partir de esto la trisectriz,
Un paseo por el crculo
107
inventada dos siglos antes por Hipias, fue ms conocida como cuadratriz, aunque los
griegos tenan claro que el uso de esta curva violaba las reglas de juego pues no se poda
El ltimo paso lo dar Arqumedes al demostrar cmo se poda pasar, con regla
construir
con regla y comps.
y comps, de la circunferencia rectificada a la cuadratura del crculo. A partir de
esto la trisectriz, inventada dos siglos antes por Hipias, fue ms conocida como
Por consiguiente,
continu
la investigacin.
cuadratriz,
aunque los griegos
tenan
claro que el uso de esta curva violaba las
reglas de juego pues no se poda construir con regla y comps. Por consiguiente,
Arqumedes
(287 212 a.d.C), sin duda el mayor matemtico de la antigedad
continu
la investigacin.
Arqumedes
(287 - 212
sinhistoria
duda el mayor
de latambin
antigedad
y uno de
los ms grandes
de a.C.),
toda la
de lasmatemtico
matemticas
se ocup de la
y
uno
de
los
ms
grandes
de
toda
la
historia
de
las
matemticas
tambin
se
ocup
medida del crculo.
de laEn
medida
del crculo.
su "Medida
delescrito
crculo"que
(breve
escrito,
de
su Medida
del En
crculo
(breve
consta
slopero
de uno
3 proposiciones,
msdeimportantes,
que consta slo
de 3 proposiciones)
establece
equivalencia
perolos
uno
los ms importantes)
establece
la equivalencia
dellaproblema
de la
del problema de la cuadratura del crculo y la rectificacin de la circunferencia y
cuadratura del crculo y la rectificacin de la circunferencia y el clculo de con
el clculo de con notable aproximacin. stas son las tres proposiciones:
notable
aproximacin. stas son las tres proposiciones:
1a Proposicin: Un crculo es equivalente a un tringulo rectngulo cuyos catetos
1 Proposicin:
crculo
equivalentedela crculo.
un tringulo rectngulo cuyos catetos sean
sean iguales alUn
radio
y a la es
circunferencia

iguales al radio y a la circunferencia del crculo.

r
2r

Alconseguir
conseguir
equivalencia
el crculo
y un tringulo
(que es cuadrable)
Al
la la
equivalencia
entreentre
el crculo
y un tringulo
(que es cuadrable)
podra
parecer
resuelto
delalacuadratura,
cuadratura,
el tringulo
no es construible
podra
parecer
resueltoelel problema
problema de
peropero
el tringulo
no es conscon truible
regla ycon
comps
un cateto
es la es
longitud
de de
la lacircunferencia
que implica
regla y porque
comps porque
un cateto
la longitud
circunferencia que
construir
con regla
y comps.
implica construir
con
regla y comps.
2a Proposicin: La razn de un crculo al cuadrado de su dimetro es aproximadamente deLa
11/14.
2 Proposicin:
razn de un crculo al cuadrado de su dimetro es aproximadamente
Esto
da
un
valor
aproximado para de 22/7. Arqumedes, como si intuyera
de 11/14.
la imposibilidad de construir un segmento de longitud (con regla y comps) se
Esto da un valor aproximado para de 22/7
conforma con obtener una magnfica aproximacin.
3a Proposicin: La circunferencia de un crculo es igual al triple del dimetro y
Arqumedes,
como
intuyera
imposibilidad
un segmento
de longitud
una parte de
ste si
menor
que lalasptima,
y mayorde
queconstruir
diez setenta
y unavos del
(condimetro
regla y comps) se conforma con obtener una magnfica aproximacin
1
10 de un crculo es igual
3 Proposicin: La circunferencia
2 r < C < 3 2 r + 2 r. al triple del dimetro y una
3 2r +
71 y mayor que diez
7 setenta y unavos del dimetro
parte de ste menor que la sptima,
10
Lo que nos da para una aproximacin : 3 + 71 < < 3 + 71 . Es decir,
10
1
33,
. 21408
r + < 2r< <3,C1428.
< 3 . 2r + 2r
71
7
Arqumedes
calcul
la
longitud
de
la
circunferencia
inscribiendo
y circunscriLo que nos da para una aproximacin : 3 + 10/71 < < 3 + 1/7
biendo polgonos regulares, a partir del hexgono, y duplicando su nmero de
3,1408
< < 3,1428
4
lados hasta llegar a 96 lados (96 = 2 6). A partir del mtodo de Arqumedes,
el clculo del valor de es, como dice Boyer, ms una cuestin de resistencia

Arqumedes calcul la longitud de la circunferencia inscribiendo y circunscribiendo

polgonos regulares, a partir del hexgono, y duplicando su nmero de lados hasta llegar
a 96 lados (96 = 24 . 6).
A partir del mtodo de Arqumedes, el clculo del valor de es, como dice Boyer, ms
una cuestin de resistencia calculstica que de inteligencia terica. De hecho basta con
el Teorema de Pitgoras para obtener una aproximacin tan buena como se quiera. Si
partimos del permetro conocido de un polgono regular de n lados inscrito en la

Un Paseo por el crculo

108

Un Paseo por la Geometra

es el permetro del
polgono
regularterica.
de 2n
lados
seconpuede
obtener
calculstica
que de inteligencia
De hecho
basta
el Teorema
de Pitgoras para obtener una aproximacin tan buena como se quiera. Si partimos del
orema de Pitgoras.
permetro conocido de un polgono regular de n lados inscrito en la circunferencia,
entonces
permetro
del polgono
regular
de 2n lados
obtener aplicando
el lado conocido
del elpolgono
regular
inscrito
dese puede
n lados.
Un Paseo
por el crculo

dos veces el teorema de Pitgoras.

2
es 2el permetro del polgonoSi
regular
lados
se puede
OQ =der 2n
. Sea
PQ
= s elobtener
lado conocido
orema de Pitgoras.
del polgono regular inscrito
de
n lados. Enq
 2
el lado conocido del polgono regular inscrito de n lados.
r2 2s y entonces
tonces OM = u =
2
s
u = v, de donde el
2 lado  del
r 2 y entonces MR =MR
r-u ==v r, de
q
2
2
2 = w =
polgono de 2n es RQ
2 + 2s
2
(o
tomando
r = 1, ln = s, l2n = w queda
sq
2
ono de 2n es RQ = w = v +
p
l2n = 2 2 4 ln2 ).

s
r
2

y entonces MR = r-u = v , de

gono de 2n es RQ = w =

s
v +
2

= 2 4l

2
s ,, l2n = w queda l 2 n = 2 4 l n2
Arqumedes
as
hubiera
podido
calcular, partiendo del hexgono l6 = 1,
2n
2n
n
a podido calcular:
q

o l6 = 1
l12 = 2 3, 3, 105828 ,
105828
r
q

6
l24 = 2 2 + 3, 3, 132629 ,
3,132629
s
r
q
3 ,, 3,139350

l12 = 2 2 + 2 + 3, 3, 139350 ,
v
u
s
2 + 3 ,, 3,141032
t
r
q

l
=
2

2
+
2
+
2
+
3, 3, 141032 .
12
es no obtuvo estos valores sino que evit el clculo de races

s ,, l = w queda l

a podido calcular:
ol =1

,105828

3,132629

3 ,, 3,139350

esigualdades para obtener la acotacin 3,1408 < < 3,1428)

realidad
todo se usaron en los siguientesEn
1.800
aos Arqumedes
para mejorar no
su obtuvo estos valores sino que evit el clculo de
races cuadradas utilizando desigualdades para obtener la acotacin 3, 1408 <
Arqumedes ni ningn otro matemtico
griego
utiliz nuestra
< 3, 1428.
Variaciones
de este mtodo se usaron en los siguientes 1.800 aos
e un nmero como razn depara
a circunferencia
al dimetro . Hay que decir que ni Arqumedes ni ningn otro
mejorar su aproximacin.
matemtico griego utiliz nuestra notacin , ni la idea de un nmero como razn
dratura del crculo
de la circunferencia al dimetro.
do por los 3 famosos problemas.
Arqumedes y la cuadratura del crculo
da con toda probabilidad en
Arqumedes se vio atrado por los 3
ma de la cuadratura del crculo (o
famosos problemas. La espiral que lleunferencia).
espiral de la forma siguiente: Si
va su nombre fue construida con toda
o de los extremos de una recta, sta
probabilidad en relacin con el probleelocidad uniforme hasta volver a la
ma de la cuadratura del crculo (o recunto, tambin con velocidad
tificacin de la circunferencia).
smo tiempo la recta que gira a
este punto describir una espiral
el libro Sobre las espirales afirma: Si se traza una tangente a la
lquiera de su primera revolucin, se une el punto de contacto con
ntro en ste con radio igual a la recta as construida se describe
rigen de la espiral se traza a esta recta una perpendicular, la
ente se cortarn, y la parte de la perpendicular comprendida entre
de la espiral ser igual al arco de crculo comprendido entre el
de interseccin del crculo con la recta origen de la espiral,
entido del movimiento.

2 + 3 ,, 3,141032

des no obtuvo estos valores sino que evit el clculo de races

esigualdades para obtener la acotacin 3,1408 < < 3,1428)
todo se usaron en los siguientes 1.800 aos para mejorar su

Arqumedes ni ningn otro matemtico griego utiliz nuestra

de un nmero como razn de a circunferencia al dimetro .

dratura del crculo

ado por los 3 famosos problemas.

Un paseo por el crculo

109

Arqumedes define su espiral de la forma siguiente: "Si permaneciendo fijo

uno de los extremos de una recta, sta gira en un plano con velocidad uniforme
hasta volver a la posicin inicial y un punto, tambin con velocidad uniforme,
recorre al mismo tiempo la recta que gira a partir del extremo fijo, este punto describir una espiral". En la proposicin 20 del libro "Sobre las espirales" afirma: "Si
se traza una tangente a la espiral en un punto cualquiera de su primera revolucin,
se une el punto de contacto con el origen y haciendo centro en ste con radio igual
a la recta as construida se describe un crculo y desde el origen de la espiral se
traza a esta recta una perpendicular, la perpendicular y la tangente se cortarn,
y la parte de la perpendicular comprendida entre la tangente y el origen de la
espiral ser igual al arco de crculo comprendido entre el punto de contacto y el
de interseccin del crculo con la recta origen de la espiral, tomando el arco en el
sentido del movimiento".
El trazado arquimediano de tangentes a la espiral permite construir un segmento rectilneo igual a la longitud de un arco circular de radio y ngulo central dados
y, por tanto, rectificar la circunferencia y resolver el problema de la cuadratura del
crculo.
As pues, Arqumedes trabaj en las dos direcciones en lo que se refiere a la
cuadratura del crculo. Buscando una buena aproximacin de y construyendo un
segmento de longitud igual a un arco dado. Para ello utiliz su espiral, que no era
construible con regla y comps.
Estos fueron los pasos dados en la Grecia antigua.
Qu se saba sobre en otras civilizaciones?
En CHINA: en los primeros siglos de la era cristiana se conocan: 3, 1547,
10, 92/29, 142/45 y en el siglo III Liu Hui obtiene 3, 14 con un polgono regular
de 96 lados y 3, 14159 con un polgono de 3.072 lados. Tsu Chung-Chih (430501) conoca la fraccin 22/7 que calific de inexacta. El valor exacto, segn l,
era 355/113. Tambin dio 3, 1415927 como valor por exceso y 3, 1415926 como
valor por defecto.
Los HINDES: en el siglo VI en Aryabhatiya escrito por Aryabhata se toma
como 3, 1416 con un polgono de 768 = 3 28 lados. Este valor ya lo conoca
Ptolomeo en el ao 150. Tambin hay que citar a Madhava quien hacia el ao
1400(?) descubre los desarrollos en serie de seno, coseno y arcotangente y consigue calcular 11 cifras decimales de sumando 21 trminos de la serie que, 200
aos despus, redescubrira Gregory.

2. Del Renacimiento a la Matemtica Moderna

El gran avance en el clculo de vendra del desarrollo del Anlisis y no de la
Geometra.
Antes de Vieta (1540-1603) se haban dado ya muchas aproximaciones de la

110

Un Paseo por la Geometra

razn de la circunferencia al dimetro. Merece la pena destacar a Nicols de Cusa

(1401-1464), que aunque fue mejor eclesistico que matemtico, en el campo de
la matemtica se le conoce como un "cuadrador del crculo" mal orientado. Crey
haber llegado a una cuadratura basndose en un ingenioso proceso de promedio
entre polgonos inscritos y circunscritos. Aunque su mtodo fue errneo, fue uno
de los primeros europeos modernos en intentar resolver un problema que haba
fascinado ya a las mejores mentes de la antigedad y que sus esfuerzos estimularon a algunos de sus contemporneos a hacer ms crtica su obra.
En 1593 Vieta calcul con 10 decimales exactos utilizando un polgono de
393216 = 3 217 lados. Fuera de Europa tambin se realizaban avances en este
terreno. En la primera mitad del siglo XV, ms de 150 aos antes que Vieta, Al
Kashi (1380-1429), astrnomo persa, calcul con 17 cifras decimales. Efectu
27 duplicaciones del hexgono para componer una tabla de senos con paso 10 ).
En 1596 Ludolph Van Ceulen (1540-1610) public con 20 decimales exactos obtenido del polgono regular de 15 lados y duplicando sucesivamente el
nmero de lados 37 veces. Posteriormente lo calcul con 30 decimales exactos
y su viuda lo hizo grabar en su tumba. En homenaje se le llam a en algunos
pases "la constante ludolphina".
Sin embargo este tipo de hazaas no tiene ningn significado terico; ms
importante sera obtener una expresin exacta y a este respecto fue Vieta, en 1579,
el primero que dio una expresin numrica exacta para (frmula todava sacada
de la geometra, pero que ya implica un producto con una infinidad de factores, que es ya un concepto sacado del anlisis-), inscribiendo un cuadrado en un crculo
dado y aplicando la frmula trigonomtrica recursiva a2n = an sec n :
v
u
s
r s
r t
r
1 1 1 1 1 1 1 1 1
2
=
+
+
+

2 2 2 2 2 2 2 2 2
As pues, fue Vieta el primero que expres analticamente, un resultado muy
importante porque el lenguaje de la aritmtica, el lgebra y la trigonometra estaba
invadiendo los dominios de lo infinitamente pequeo, hasta entonces controlado
por la geometra.
En la primera mitad del siglo XVII el holands Willebrod Snell (1580-1626)
obtuvo 34 decimales mejorando las acotaciones del arco x, (Huygens lo demostr
correctamente) y destac tambin la aportacin de Gregory de Saint Vincent
(1584-1667) quien, por cierto, fue tutor en la corte de Felipe IV de Espaa. En su
obra "Obra geomtrica sobre la cuadratura del crculo y de las secciones cnicas"
vino a rellenar una laguna dejada por Fermat. ste en 1629 descubri un teorema
relativo al rea encerrada bajo las curvas de la forma y = xm . Con nuestra notacin:
Z a
an+1
xn dx =
(n , 1) enteros y fraccionarios.
n+1
0

Un paseo por el crculo

111

Para n = 1 el mtodo evidentemente fallaba pero Gregory demostr que

segn crece la abscisa geomtricamente, el rea bajo la curva de la hiprbola
xy = 1 lo hace aritmticamente. O sea que aunque de modo impreciso obtuvo
la igualdad:
Z b
1
dx = ln b ln a.
a x
Gregory de Saint Vincent crey haber conseguido cuadrar el crculo, error que
perjudic su reputacin, pero la investigacin del problema segua produciendo
resultados matemticos.
Es en la segunda mitad del siglo XVII donde podemos considerar que comienza una nueva etapa en la resolucin del problema.
Wallis (1616-1703) fue el matemtico (y telogo) ingls anterior a Newton
ms importante. Es un ejemplo del hecho, tan frecuente en la historia de las
matemticas, de que un descuido ocasional por las exigencias del rigor lgico
puede tener saludables efectos en el progreso matemtico. Obtuvo su frmula del
producto infinito para , pero a diferencia de Vieta, ste utilizaba solamente operaciones racionales:
2 1 3 3 5 5 7
=
2 2 4 4 6 6
aplicando
R 1 sus principios de induccin e interpolacin, no muy rigurosos, a la integral 0 1 x2 dx.
Hobbes (1588-1679) crey haber demostrado la cuadratura del crculo. Cuando, por primera vez, oje los textos de Euclides ya haba cumplido 40 aos (no
se enseaban matemticas a los ingleses cultivados) y al llegar al teorema de
Pitgoras exclam asombrado: Por Dios! Esto es imposible! Comprob la demostracin y a partir de ah se entreg a la geometra con ardor: "La geometra
tiene algo que la asemeja al vino" escribi. Critic la aritmetizacin de la geometra llevada a cabo por Wallis, y tuvo en ste a su mayor crtico poniendo en
evidencia sus errores y a la vez aprovechaba para poner en duda sus opiniones
polticas y religiosas. En 1665, a los sesenta aos, public un libro en el que figuraba un ingenioso mtodo para cuadrar el crculo. En realidad no era ms que
una excelente aproximacin pero Hobbes estaba convencido de su exactitud. A
lo largo de su vida realiz varias demostraciones (con 90 aos insiste en otra demostracin). Huygens, considerado el matemtico ms importante de la poca,
dice que no merece la pena emplear ms tiempo en refutar sus continuos errores.
James Gregory (1638-1675), que extendi el algoritmo arquimediano a las
cuadraturas de elipses e hiprbolas, intent demostrar, sin xito, la imposibilidad
de la cuadratura del crculo por mtodos algebraicos. Huygens (1629-1695) estaba
convencido de que se podra expresar algebraicamente y se produjo una disputa
acerca de la validez de los mtodos de Gregory.

112

Un Paseo por la Geometra

Gregory conoca los desarrollos en serie de MacLaurin de tan x, sec x, arctan x

y arcsecx pero slo la del arco tangente lleva su nombre: arctan x = x x3 /3 +
x5 /5 x7 /7 + .
La cuestin de la trascendencia de era un problema difcil y todava tendran
que pasar dos siglos antes de que se resolviese definitivamente y dando la razn a
Gregory.
Newton (1642-1727) y Leibniz (1646-1716). El nombre de Leibniz ha quedado asociado a la serie infinita /4 = 1/11/3+1/51/7+ cuya suma constituy
uno de sus primeros descubrimientos matemticos. Esta serie, que aparece en su
cuadratura del crculo, es slo un caso particular del desarrollo del arco tangente
que haba sido dado anteriormente por Gregory. El hecho de que Leibniz fuera
prcticamente un autodidacta en matemtica explica en parte la frecuencia con
que aparecen en su obra casos de redescubrimiento deresultados ya conocidos.
Newton tambin obtuvo una expresin para = 3 3/4 + 24(1/12 1/5 25 +
1/28 27 ) con la que calcul 15 cifras decimales y confes sentirse avergonzado por ello: "Me da vergenza confesar a cuntas cifras llev esos clculos que
realic por no tener otra cosa que hacer en aquel momento".
En 1706 John Machin descubri su frmula /4 = 4 arctan 1/5arctan 1/239

X
x2n+1
. Para obtener la frmula Machin se parte de un
siendo arctan x =
(1)n
2n + 1
n=0
ngulo tal que tan = 1/5.
se obtiene tan 2 = 5/12 y tan 4 =
 De aqu
 tan
1
4 1
1 + 1/119. Por tanto arctan 4
=
, lo que implica que
=
4
1 + tan 4 239
arctan 1/239 = 4 /4. Luego /4 = 4 arctan 1/5 arctan 1/239. Esta serie
proporciona un mtodo bastante eficiente de clculo y Machin obtuvo 100 cifras
decimales de . Super los dos problemas principales: lentitud de la convergencia
de la serie y evit el clculo de races.
En los siguientes 200 aos hay pocos cambios en los mtodos de clculo de
, que se basan fundamentalmente en variaciones de a frmula de Machin. El
cenit de los clculos a mano se alcanza con William Shanks (1812-1882) quien
publica en 1853 primero 607 cifras y luego 707. Sin embargo comete un error
en la cifra 528, error que pas desapercibido hasta que en 1945 D. F. Ferguson,
en uno de los ltimos clculos hecho a mano, halla 530 cifras. En 1947 usando
una calculadora de mesa, calcula 808 mediante la frmula /4 = 3 arctan 1/4 +
arctan 1/20 + arctan 1/1985.
Euler (1707-1783), uno de los mayores matemticos de la historia, tambin
aport sus esfuerzos al clculo de . De hecho la consolidacin definitiva del uso
de la letra griega para representar la razn de la longitud de la circunferencia
al dimetro se debe a Euler. Ya en 1647 Oughtred us el smbolo d/ para la
razn del dimetro de un crculo a su circunferencia, David Gregory en 1697 us
/r para la razn de la circunferencia a su radio, pero fue William Jones en 1706

 para representar la razn de la longitud de la circunferencia al dimetro se

r. Ya en 1647 Oughtred us el smbolo d/ para la razn del dimetro de un
circunferencia, David Gregory en 1697 us /r para la razn de la
cia a su radio, pero fue William Jones en 1706 quien dio el primer uso a
ificado actual.
er adopt el smbolo en 1737 y rpidamente se convirti en notacin
Un muchas
paseo por de
el crculo
113
ay que decir que
las notaciones que utilizamos actualmente se
ler: el nmero e, la unidad imaginaria i, la forma moderna de la
quien dio el primer uso a con su significado actual.
ra, sen, cos, tan como
funciones de una magnitud angular.
Euler adopt el smbolo en 1737 y rpidamente se convirti en notacin eso de la relacintndar.
entreHay
la funcin
lasnotaciones
funciones
que decir exponencial
que muchas deylas
quetrigonomtricas
utilizamos actualmente
i
+ isen x es su famosa
+ 1 = 0.e, (Esta
expresin
seri, decisiva
en la de
se debenfrmula
a Euler: eel nmero
la unidad
imaginaria
la forma moderna
la trigonometra, sen, cos, tan como funciones de una magnitud angular. Frudefinitiva del problema)

to de la relacin entre la funcin exponencial y las funciones trigonomtricas

eix = cos x + i sen x es su famosa frmula ei + 1 = 0. Esta expresin ser dembin calcul cifras
de y encontr varias frmulas notables en las que
cisiva en la resolucin definitiva del problema.
= 1 + + 1/3 + Tambin
- 1/5 calcul
+ 1/6 +cifras
1/7 de
+ 1/8
+ 1/9 1/10
... donde
el signo,
y encontr
varias +frmulas
notables
en las que
os dos primeros,
se
determina
as:
aparece : = 1 + 1/2 + 1/3 + 1/4 1/5 + 1/6 + 1/7 + 1/8 + 1/9 1/10 +
signo,
a partir de
los dosleprimeros,
se determina
enominador esdonde
primoel de
la forma
4m+1:
corresponde
signoas:

denominador es primo
de la formaes4m-1:
le lacorresponde
+
- si el denominador
primo de
forma 4m + 1 signo
le corresponde
signo ,
denominador es compuesto el signo sera el del producto que corresponde a
factores primos - si el denominador es primo de la forma 4m 1 le corresponde signo +,
- si el denominador es compuesto el signo sera el del producto que corresponde a sus /4
factores
primos + arctan 1/3
tipo Machin:
= arctan

vo la frmula
probar este resultado geomtricamente:

Y obtuvo la frmula "tipo Machin": /4 =

arctan 1/2 + arctan 1/3. Es fcil probar este
resultado geomtricamente. En la figura el
tringulo ABC es rectngulo en B e isscePg 11
les. Por tanto el ngulo A = a + b mide
/4 radianes, mientras que a = arctan 1/2
y b = arctan 1/3.

3. Tercer perodo: estructuras algebraicas

Durante el siglo XVIII se descubrieron ms frmulas del tipo Machin. Se haba
avanzado mucho en el clculo de pero muy poco sobre el conocimiento de su
naturaleza.
Podemos dar por terminado el perodo anterior en 1761 cuando Johann Heinrich Lambert (1728-1777) demuestra que es irracional (Euler haba demostrado
en 1737 que e es irracional). Demostr que si x es racional (, 0) entonces tan x
es irracional, y como tan /4 = 1 se sigue que /4 y no pueden ser racionales.
Este resultado no zanjaba el problema de la cuadratura del crculo, puesto que los
irracionales cuadrticos s son construibles con regla y comps.
Pero, qu nmeros eran construibles con regla y comps? La respuesta a esta
pregunta la dara Wantzel en 1.837.
Cada construccin con regla y comps consiste en una sucesin de operaciones
de las que enumeramos a continuacin:

114

Un Paseo por la Geometra

1.- Unir dos puntos por una recta.

2.- Hallar el punto de interseccin de dos rectas.
3.- Trazar una circunferencia de centro y radio dados.
4.- Hallar los puntos de interseccin de una circunferencia con otra o con una
recta.
Un elemento (punto, recta o circunferencia) se considera conocido si se da
desde el principio o si se ha construido en algn paso previo. As con regla y
comps podemos construir todos los nmeros que puedan deducirse de la unidad
mediante pasos racionales (+, , , /) : r/s (r, s enteros).Podemos obtener tambin
nmeros irracionales haciendo
comps.(Ej. 2), y operando con ste
uso del
tambin obtendremos a + b 2, (a + b 2)/(c + d 2) , (a + b 2) (c + d 2) , con
a, b, c, d Q. Todos estos nmeros nuevos tambin son de la forma
r + s 2.
En general, si k es un
nmero
racional
no
cuadrado
(k

Q,
k < Q) podemos
o
  n

construir a + b k y Q k = a + b k | a, b Q :

- es un cuerpo conmutativo, el menor que contiene a Q y k,

- es un espacio vectorial sobre Q de base (1, k),

- Q( k) es una extensin cuadrtica de grado 2 de Q.

As, con la regla y una nica utilizacin del comps podemos construir Q( k)
y recprocamente, es fcil ver que slo se pueden obtener nmeros de esta forma.
Lo que el comps realiza en una construccin es definir puntos (o sea coordenadas) como interseccin de dos circunferencias o de circunferencias y rectas. La
circunferencia puede escribirse x2 + y2 + 2x + 2y + = 0 con , , Q yal
cortar con una recta ax + by + c = 0 se obtienen soluciones de la forma p + q k
con p, q, k Q , y lo mismo al cortar 2 circunferencias.
Si el proceso se repite obtendremos puntos cuyas coordenadas sern elementos
de un cuerpo obtenido por extensiones sucesivas de orden 2 del cuerpo de los
racionales
K0 = Q,
p
K1 = a0 + b0 k0 | a0 , b0 K0 , k0 K0
p
K2 = a1 + b1 k1 | a1 , b1 K1 , k1 K1

pero
pero

p
k0 < K0 ,
p
k1 < K1 ,

Los nmeros construibles son aquellos y slo aquellos que pueden hallarse
mediante una tal sucesin de cuerpos ampliados, esto es, que pertenecen a un

Un paseo por el crculo

115

cuerpo Kn del tipo anterior. La magnitud del nmero n de extensiones necesarias

no importa, slo medir el grado de complejidad del problema.
En 1837 M. L. Wantzel (1814-1848) publica su artculo "Investigacin sobre
los medios de reconocer si un problema de geometra se puede resolver con regla
y comps". En l caracteriza los nmeros construibles con regla y comps: "z C
es construible con regla y comps si y slo si [Q(z) : Q] es una potencia de 2".
As, traduce los problemas geomtricos de regla y comps al terreno del lgebra y reduce el problema de comprobar la constructibilidad de un nmero a la
verificacin del grado de un polinomio. Se logra as un punto de unin entre el
lgebra y la geometra.
Aparecen en escena los nmeros algebraicos y trascendentes. Un nmero algebraico es cualquier nmero x real o complejo que satisface una ecuacin algebraica de la forma an xn + an1 xn1 + + a1 x
+ a0 = 0 (con n 1 y an , 0) donde
los coeficientes ak son enteros. Por ejemplo, 2 es algebraico , con x2 2 = 0.
El concepto de nmero algebraico es una generalizacin natural de nmero
racional que constituye el caso especial para n = 1. Que no todo nmero real es
algebraico se puede demostrar por un procedimiento debido a Cantor, consistente
en demostrar que el conjunto de los nmeros algebraicos es numerable. Los no
algebraicos se llaman trascendentes, pues, como dijo Euler, "trascienden el poder
de los mtodos algebraicos". Ya Liouville, antes que Cantor, haba demostrado la
existencia de nmeros trascendentes y construy ejemplos de tales nmeros.
Liouville (1809-1882) prob en 1844 que hay nmeros irracionales que no
son algebraicos, construyendo una amplia clase de nmeros reales no algebraicos.
Por ejemplo, 00 1001000100001...
En la primera mitad del siglo XIX los problemas abordados desde el punto
de vista del lgebra estn ligados a la resolucin de ecuaciones, a travs de los
trabajos de Lagrange, Van der Monde o Gauss (1777-1855) quien en 1801 public la caracterizacin de polgonos regulares construibles con regla y comps,
estudiando la ecuacin xn 1 = 0, y realiz la construccin del polgono de 17
lados.
Desde haca ms de 2000 aos, se saba como construir con regla y comps el
tringulo equiltero, el cuadrado y el pentgono regular (as como algunos otros
polgonos regulares cuyos nmeros de lados son mltiplos de dos, de tres o de
cinco), pero ningn otro polgono regular con un nmero primo de lados. Gauss
tras este descubrimiento decidi dedicarse a las matemticas. El polgono regular
de n lados es construible con regla y comps si, y slo si, n = 2 con 2 o de
la forma 2 p1 p2 pr con N y pi primos de Fermat distintos.
Abel prob en 1826 la imposibilidad de resolver por radicales la ecuacin
de quinto grado y Galois en 1830 aproxima la nocin de cuerpo engendrado por
nmeros algebraicos. Posteriormente Dedekind y Kronecker construiran la teora
de cuerpos.

116

Un Paseo por la Geometra

Wantzel dio la primera prueba completamente rigurosa de la imposibilidad

de trisecar un ngulo con la sola ayuda de regla y comps. Tambin prob la
imposibilidad de resolver la duplicacin del cubo. Resolvi as dos de los tres
famosos problemas griegos. Veamos brevemente su razonamiento.
TRISECCIN DEL NGULO: Dado un ngulo cualquiera construir con
regla y comps la tercera parte de ese ngulo. El problema no tiene solucin general. Wantzel prob que un ngulo es trisecable con regla y comps si, y slo si,
el polinomio 4x3 3x cos es reducible. Construir un ngulo equivale a que
el punto (cos , sen ) se puede construir, pues este punto es la interseccin de la
circunferencia centrada en el origen con la semirrecta que parte del origen
y forma
p
un ngulo con la parte positiva de la recta real. Como sen = (1 cos2 ),
se tiene que el ngulo es construible si, y slo si, cos es construible. Por
ejemplo, el ngulo se puede trisecar puesto que cos /3 = 1/2. Sin embargo /3 no se puede trisecar porque cos /9 no es construible. En efecto, ya que
cos 3 = cos (2 + ) = cos cos 2 sen sen 2 = cos (cos 2 sen2 )
2 sen2 cos = cos3 3 cos sen2 = cos3 3 cos (1 cos 2) = 4 cos3
3 cos . Por tanto, el coseno buscado ser una raz del polinomio 4x3 3xcos 3.
Segn como sea cos 3 ser el polinomio mnimo. Si 3 = /3, entonces el polinomio ser 4x3 3x 1/2, luego 8x3 6x 1 que es irreducible sobre Q pues no
tiene races en Q, luego [Q(x) : Q] = 3 y as /3 no se puede trisecar.
DUPLICACIN DEL CUBO: Construir un cubo que tenga el doble
3 de vo2 no es
lumen de un cubo dado. Es imposible duplicar
un
cubo
arbitrario
pues
3
construible con regla y comps ya que [Q( 2) : Q] = 3 no es potencia de 2.
Tambin se puede abordar la CONSTRUCCIN DE POLGONOS REGULARES. Los vrtices de un polgono regular de n lados son las n races ensimas
de la unidad.
n = e2i/n = (cos 2/n, sen 2/n).
Basta que cos 2/n sea construible. As se ve que el heptgono regular no es
construible. Analticamente podemos decir que la ecuacin caracterstica del heptgono z6 + z5 + z4 + z3 + z2 + z + 1 = 0 no puede ser resuelta por medio de un
nmero finito de radicales cuadrticos. Para demostrarlo basta ver que si z es solucin tambin lo ser 1/z y haciendo el cambio x = z + 1/z se obtiene la ecuacin
x3 + x2 2x 1 = 0. Se demuestra 1) que este polinomio es irreducible (no puede
descomponerse en dos factores cuyos coeficientes sean nmeros racionales) y 2)
una ecuacin cbica irreducible de coeficientes racionales no puede resolverse por
medio de radicales cuadrticos.
El problema de LA CUADRATURA DEL CRCULO es mucho ms difcil
que los otros dos y requiere la tcnica del anlisis matemtico superior. Como
un crculo de radio 1 tienerea , el problema de cuadrar el crculo es construir
un segmento de longitud . Y ste es construible si, y slo si, es construible.

Un paseo por el crculo

117

Como todo nmero construible es algebraico bastar probar que no es algebraico

(o sea que es trascendente) cosa que hara Lindemann en 1882.
Entramos en el tramo final: La trascendencia de .
Demostrar que un nmero real concreto, tal como e o , es trascendente suele
ser muy difcil. Liouville slo pudo demostrar en 1844 que ni e ni e2 podan ser
races de una ecuacin cuadrtica con coeficientes enteros, por tanto dado un segmento unidad, los segmentos de longitud e y e2 no son construibles con regla y
comps. Y tuvieron que pasar otros 30 aos antes de que Charles Hermite (18221901) consiguiese demostrar en 1873 que e no poda ser raz de ninguna ecuacin
polinmica con coeficientes enteros: es decir, e era transcendente.
Cantor (1845-1918) demostr en 1874 que el conjunto de los nmeros algebraicos es numerable. Por tanto el conjunto de los trascendentes es no numerable.
Resulta que "casi todos los reales son trascendentes".
Lambert haba demostrado ya en 1767 que era irracional y Legendre en
1794 que tanto como 2 eran irracionales, pero estas demostraciones no resolvan el viejo problema de la cuadratura del crculo puesto que muchos irracionales eran construibles.
Hermite en 1873 da una nueva prueba de la irracionalidad de y de 2 de
inters por ser el germen de la demostracin de la trascendencia de . El problema
alcanz la solucin definitiva en 1882 cuando Lindemann (1852-1939) demostr
que era trascendente generalizando la obra de Liouville y Hermite. Lindemann
lo plante as: se ha probado ya que una ecuacin del tipo a0 + a1 e + + an en = 0
no puede existir si los coeficientes a j y los exponentes de e son naturales. No ser
posible probar algo similar si a j y los exponentes de e fuesen nmeros algebraicos
cualesquiera? Y lo consigui. De hecho su teorema ms general sobre la funcin
exponencial se enuncia as: "Una ecuacin no puede existir si los a j son nmeros
algebraicos arbitrarios y los b j nmeros tambin algebraicos distintos entre s".
La trascendencia de es, por tanto, un corolario de este teorema, pues como
ei +1 = 0, si fuese algebraico lo sera tambin i y la existencia de esta ecuacin
contradira el teorema de Lindemann. Aqu estaba la respueta al problema de la
cuadratura del crculo. Para que la cuadratura fuese posible con regla y comps,
tendra que ser raz de una ecuacin algebraica y una raz expresada por medio de
races cuadradas.
Hilbert dio en 1893 una demostracin ms sencilla que la de Lindemann. Demostr la trascendencia de e y posteriormente la de .
Cuarto perodo: Aparicin de las computadoras
El problema estaba resuelto pero se continuaron y continan calculando cifras
de y tambin surgieron nuevas preguntas. La primera computadora se utiliz en
1949 por Reitweisner y calcul 2037 decimales en 70 horas. En 1990 se calcularon
ms de 1000 millones de cifras en la Universidad de Columbia. En septiembre de
2002 Kanada y un equipo de la Universidad de Tokio calcul 1.241.100.000.000

118

Un Paseo por la Geometra

cifras de .
Una vez zanjado ese problema aparecen nuevos retos en los que interviene .
Otros problemas:
1.- En 1925 el matemtico polaco Alfred Tarski (1902-1983) replante el problema de la siguiente forma: "Se puede dividir un crculo en un nmero
finito de piezas que puedan ser recolocadas formando un cuadrado?". En
1989 el hngaro Miklos Laczkovich demostr que s, en 39 pginas de
matemticas duras. Estableci que se poda hacer recortando un total de
1050 piezas.
2.- Es normal? (segn la definicin de Borel): las cifras del 0 al 9 aparecen
de media 1 vez sobre 10, los nmeros 00 al 99 aparecen 1 vez de 100,...

Bibliografa
[1] C. B. Boyer, Historia de la matemtica, Alianza Universidad, 1986.
[2] R. Courant, H. Robbins, Qu es la matemtica?, Aguilar, 1962.
[3] F. Klein, Matemtica elemental desde un punto de vista superior, Nivola,
2006.
[4] J. L. Montesinos, Historia de las matemticas en la enseanza secundaria,
Sntesis, 2000.
[5] AA.VV. Cientficos griegos, Aguilar, 1970.
[6] J. Aymes, Ces problmes qui font les mathmatiques, A.P.M.E.P. no 70.
[7] F. J. Prez Fernndez, Viaje a travs de la cuadratura del crculo, Conferencia
plenaria en las X JAEM, 2001.

Alberto Bagazgoitia Gonzlez

Berritzegune de Vitoria-Gasteiz
Avda. Gasteiz 93, 01009 Vitoria-Gasteiz
e-mail: albagaz@gmail.com