Los tres problemas griegos (sin solución)

Luis Crespo Ostria*

I Los TRES PROBLEMAS CLÁSICOS DE LA ANTIGUA Hicieron falta más de 2.200 años para demostrar que
MATEMÁTICA GRIEGA SON: los tres problemas son insolubles mediante el uso de regla
sin marcas y compás solamente. El primero en expresar
La cuadratura del círculo sus dudas fue Descartes en 1637.
La duplicación del cubo A causa de la relación del 2° problema con el oráculo
La trisección del ángulo de Delos (hay otra versión de Eratóstenes que relaciona
el problema con otros personajes), aquél, y por extensión,
Se trata de construcciones que debían hacerse los otros dos, se conocen con el nombre de "problemas
utilizando únicamente una regla sin marcas y un compás délicos".
(estos eran, según Platón, los instrumentos divinos).
Rectas y círculos eran considerados por los filósofos y
matemáticos griegos como las curvas perfectas a partir de II ¿POR QUÉ ESTOS PROBLEMAS SON

las cuales todas las demás construcciones deberían ser IRRESOLUBLES?

posibles. Toda solución que utilice otras curvas que no

sean rectas ni circunferencias, o una regla con sólo un par Observemos en primer lugar que las construcciones
de marcas, eran consideradas "soluciones impuras" o geométricas con regla sin marcas y compás corresponden
"prohibidas". a operaciones racionales (suma, resta, multiplicación y
división) entre segmentos y raíces cuadradas de
Cuenta Filoponus que en el año 430A.C. una epidemia
segmentos. Dados dos segmentos de longitudes "a" y "b"
de fiebre tifoidea mató a la cuarta parte de la población de (medidos con un segmento "unidad" dado), es inmediato
Atenas (incluido Pericles); consultado el dios Apolo,
construir a+b, a-b, ab, a/b a a (donde "r"es cualquier n°
respondió por boca del oráculo de Delos (pequeña isla
racional). Para hallar -Va basta obtener la media
sobre el Egeo, que no debe ser confundida con Delfos,
proporcional entre los segmentos "1" y "a". Dados tres
ciudad de la antigua Grecia) que cesaría la epidemia
segmentos a, b, x, con el auxilio de la regla y el compás
cuando hubieran cambiado u altar, que tenía forma
se puede construir a+b E (segmento construible de 1 er
cúbica, por otro nuevo cuyo volumen fuera el doble. Los
orden). Aplicando regla y compás a segmentos como
atenienses procedieron a construir un nuevo cubo cuyas
a+b x, c+d J3 , e+ f se construye fácilmente
aristas eran el doble de las anteriores, con lo que el nuevo
a+b + (c+d ) Ve+frz (segmento construible
altar tenía un volumen 8 veces mayor, provocando la justa
de 2° orden), y siguiendo de igual manera obtenemos más
irritación del dios Apolo. Desesperados los atenienses
y más segmentos.
recurrieron al consejo de Platón, quien les hizo ver que si
el 1 er cubo tenía aristas de longitud "a", el cubo nuevo Pero, con este procedimiento sólo conseguimos meter
debería tener arista "x" tal que x3 = 2 a3 (en notación raíces dentro de raíces cuadradas. ¡Lo que nunca resulta
moderna x = a). ¿ Será posible, dado el segmento "a" es una raíz cúbica!
obtener con regla sin marcas y compás el segmento x =
Ing. Industrial de la Universidad Mayor de San Andrés, La Pa;
a? Bolivia. Profesor, Facultad de Ingeniería, Universidad CatólicaAndré
Bello.
 9
Tekhne - Revista de Ingeniería N 1 / 1996

3
[cos!.)
(III) En 1837, el francés Pierre Wantzel (1814-48) Se sabe que: cos 9 = 4 –3 cos

obtuvo las condiciones necesarias y suficientes para

Osea:a=4x3 - 3x no tiene raíces reales, en
resolver una ecuación algebraica de coeficientes
general.
racionales con los instrumentos clásicos.
En particular, si una ecuación de Ser grado con
Por ej.: si cp = 60° = a = cos 60° = 1
coeficientes racionales no tiene raíz racional, ninguna de 2
sus raíces es construible con instrumentos clásicos. 3
1
4 x - 3x = 2

La Cuadratura del Círculo

8 x3 - 6x = 1
Radio: R Área: 7r R 2
Cambiando variable: z = 2x z3 - 3z = 1 (1)

Área = rc R2 Lado: R In (1) no tiene raíces( raíz racional) Si z = r (r,s primos entre
- sí) s
Para "construir" el segmento jr, debería ser 3
"construible" 7E, pero n no es expresable por raíces r r
s - 3 s =1 ó r3 -3rs2=s3 s3=r(r2 -3s2) "r" divide
cuadradas (= ir no es algebraico n es trascendente).
La trascendencia de n fue demostrada por F. a "s"
Lindeman (1852-1939) en 1882. Contradicción
I.q.q.d.
La Duplicación del Cubo
Utilizando curvas prohibidas —o trazadas por
Volvamos al altar de Apolo: instrumentos prohibidos— hay innumerables soluciones
que trisecan un ángulo cualquiera.
Parece que la solución más antigua es la de Hippias
de Elis (aprox. 420. A.C.) que triseca un ángulo cualquiera
mediante la "trisectriz" (o "cuadratriz" porque resuelve
también el problema de la cuadratura del círculo) cuya
ecuación, en coordenadas polares, es r= 2a 0.cosecO.
Volumen: 1 3 Volumen: Si I = 1
Pappus, Descartes, Newton, Clairaut, Chaslesyotros
=x3 x3 = 2
2 13
han resuelto el problema (soluciones impuras, claro está),
Arista: I Arista: x x =J (no es construible) pero la más elegante sigue siendo la de Arquímedes
(aprox. 287-212 A.C.), que es la que sigue:
La Trisección del Ángulo
Cada ángulo queda
caracterizado por su
coseno:
r r
180°-4x r
Radio=1

a/3
Sea ¿ABC = a sobre la regla se hacen dos marcas
O A B (prohibidas) que son M y N, tales que MN = r.
o Los tres problemas griegos (sin solución)

El segmento sobre la regla MN = r se llama, según los El estudiante de Ingeniería de la UCAB, Tomás
griegos, una neusis (inserción) de longitud "r. Enrique Velázquez, ha encontrado una solución al
problema de la trisección de un ángulo, valiéndose de una
Demostración circunferencia (curva aprobada por Platón) y una hipérbola
(curva prohibida), que es la siguiente:
a + (180° - 4x) + x = 180° Y
a -3x=0

a
-
x=
3
I.q.q.d.

Problema
Sea
B LAOB = a LCOC'= a/8
E(0,-b)
LAOC = a LC'O C"a/16
2 El problema se reduce a conseguir el punto C, sobre
C LCOC = a/4 el arco de circunferencia AB, tal que
C"
LAEC= LAEB, o sea = LAEC =.- a
/ 3
/ C'
/ Es evidente que el punto C debe cumplir con dos
/ condiciones:
/
/ (1a) C pertenece a una circunferencia de centro E
/
/ (29 C dista de A el doble de lo que dista del eje de
ordenadas y
La 1a condición nos lleva a:
x2 + (y+b)2 = a2 +b2 (1)
1
O La 2 condición dice:
2d(c,y)=d(C,A)
A
(xa)2+y2
j
Bisectando cada ángulo a partir de a, sumando y 2x =
restando alternadamente se obtiene:
4x2 = x2 - 2ax + a2 + y2
a_ a a a a a _a
--+---+---+ 3x2 + 2ax-y2 - a2 = 0
2 4 8 16 32 64 3
2
¡¡Conseguimos trisecar sólo con regla sin marcas y 3 x+á -y 2 = 4 a 2
compás!!¿ ? 3) 3

(2)
Tekhne - Revista de Ingeniería N° 1 / 1996

El punto C es la intersección de la circunferencia (1) COURANT & ROBBINS: ¿Qué es la matemática? Edit.
y la hipérbola (2). Aguilar, Madrid 1955
DÓRRIE,HEINRICH: 100 Great problems of
mathematics. Their history and solution Edit.Dover, New
York 1965
BIBLIOGRAFÍA:
KLINE,MORRIS: Mathematics in WesternCulture Edit.
BOYER, CARL. B.: A History of Mathematics Edit. John Penguin Books,New York 1979.
Wiley, New York 1968 REY PASTOR, J.: Lecciones de Álgebra. Edit. Nuevas
BOURBAKI, NICOLAS: Elementos de Historia de las Gráficas, Madrid 1957
Matemáticas Edit. Alianza Universidad, Madrid 1972.