La cuadratura del círculo, la trisección del

ángulo y los icosakaitrígonos regulares

XXIII Competición
Matemática Mediterránea

Roberto Rubio
Universitat Autònoma de Barcelona
“La cuadratura del círculo
es una propuesta de
lógica matemática que
apunta a la imposibilidad.”
El cercle mai no pot ser
quadrat, així com tamp
“El círculo nunca puede
ser cuadrado, así como
tampoco el cuadrado está
capacitado para adoptar
una forma redonda.”
“La cuadratura del círculo
es una propuesta de
lógica matemática que
apunta a la imposibilidad.”
El cercle mai no pot ser
quadrat, així com tamp
“El círculo nunca puede
ser cuadrado, así como
tampoco el cuadrado está
capacitado para adoptar
una forma redonda.”
Un círculo y un cuadrado de la misma área...
...pero utilizando solo regla y compás.
¿En el papiro de Rhind (~1650 A.C.)?
¿En el papiro de Rhind (~1650 A.C.)?

NO
Grecia clásica
Anaxágoras
(499 – 428 A.C.)
Grecia clásica
Anaxágoras
(499 – 428 A.C.)
«a un hombre, ningún lugar le
puede quitar la felicidad, ya que
ninguno le puede quitar la virtud
ni la sabiduria; Anaxágoras en
la prisión estaba ocupado
cuadrando el círculo»
(Plutarco, Moralia, c.100 D.C.)
Grecia clásica
Grecia clásica
Grecia clásica
Grecia clásica
Grecia clásica

¿Por qué no el círculo?

Basílica de Sant Francesc, Palma de Mallorca.
Sepulcro de Ramon Llull, Ramon Sagrera (1478).
Basílica de Sant Francesc, Palma de Mallorca. Liber de geometria nova et compendiosa (1299)
Sepulcre de Ramon Llull, Ramon Sagrera (1478). Biblioteca Pública de Palma, ms. 1036, f. 5v
El quadrat entre els quadrats inscrit i circumscrit és
la «quadratura del cercle» de Llull.
Açò equival, formalment, al valor de pi:
π=2.9142

«Després va fer l’anomenat mar de bronze, un

dipòsit rodó de bronze fos. Feia deu colzades de
diàmetre, trenta de perímetre i cinc de
profunditat.» (Primer Llibre dels Reis, 7:23)
π=3

«Llull vol fer una geometria més fàcil i més

popular, distinta de la geometria clàssica i
euclidiana.» (Millàs Vallicrosa)
El cuadrado entre los cuadrados inscrito y
circunscrito es la «cuadratura del círculo» de Llull.
Esto equivale, formalmente, al valor de pi:
π=2.9142

«Després va fer l’anomenat mar de bronze, un

dipòsit rodó de bronze fos. Feia deu colzades de
diàmetre, trenta de perímetre i cinc de
profunditat.» (Primer Llibre dels Reis, 7:23)
π=3

«Llull vol fer una geometria més fàcil i més

popular, distinta de la geometria clàssica i
euclidiana.» (Millàs Vallicrosa)
El cuadrado entre los cuadrados inscrito y
circunscrito es la «cuadratura del círculo» de Llull.
Esto equivale, formalmente, al valor de pi:
π=2.9142

«Després va fer l’anomenat mar de bronze, un

dipòsit rodó de bronze fos. Feia deu colzades de
diàmetre, trenta de perímetre i cinc de
profunditat.» (Primer Llibre dels Reis, 7:23)
π=3

«Llull vol fer una geometria més fàcil i més

popular, distinta de la geometria clàssica i
euclidiana.» (Millàs Vallicrosa)
El cuadrado entre los cuadrados inscrito y
circunscrito es la «cuadratura del círculo» de Llull.
Esto equivale, formalmente, al valor de pi:
π=2.9142

«Hizo asimismo un mar de fundición, de diez

codos del un lado al otro, perfectamente redondo:
su altura era de cinco codos, y ceñíalo alrededor
un cordón de treinta codos.» (Reyes, 7:23)
π=3

«Llull quiere hacer una geometria más fàcil y más

popular, distinta de la geometría clásica y
euclídea.» (Millàs Vallicrosa)
El cuadrado entre los cuadrados inscrito y
circunscrito es la «cuadratura del círculo» de Llull.
Esto equivale, formalmente, al valor de pi:
π=2.9142

«Hizo asimismo un mar de fundición, de diez

codos del un lado al otro, perfectamente redondo:
su altura era de cinco codos, y ceñíalo alrededor
un cordón de treinta codos.» (Reyes, 7:23)
π=3

«Llull quiere hacer una geometria más fàcil y más

popular, distinta de la geometría clásica y
euclídea.» (Millàs Vallicrosa)
El cuadrado entre los cuadrados inscrito y
circunscrito es la «cuadratura del círculo» de Llull.
Esto equivale, formalmente, al valor de pi:
π=2.9142

«Hizo asimismo un mar de fundición, de diez

codos del un lado al otro, perfectamente redondo:
su altura era de cinco codos, y ceñíalo alrededor
un cordón de treinta codos.» (Reyes, 7:23)
π=3

«Llull quiere hacer una geometria más fàcil y más

popular, distinta de la geometría clásica y
euclídea.» (Millàs Vallicrosa)
En la noche de san Andrés encontré la solución final de la
cuadratura del círculo cuando ya se terminaba la vela, la noche y
el papel en el que escribía, al filo del amanecer.
Códice Madrid II, pág. 112 r
Biblioteca Nacional de España
http://leonardo.bne.es
¿Qué puntos podemos construir
a partir de un círculo de radio 1?
 Puntos construibles

(0,0) (1,0)
 Puntos construibles
(x,y)

(0,0) (1,0)
 Puntos construibles
Por las perpendiculares,
(0,y) (x,y) (x,y) construible
equivale a
(x,0),(0,y) construibles

Por el compás,
(x,0) (0,y) construible
(0,0) (1,0)
equivale a
(y,0) construible

¿Cuándo es (x,0) construible?

(diremos que x es construible)
 Puntos construibles
Por las perpendiculares,
(0,y) (x,y) (x,y) construible
equivale a
(x,0),(0,y) construibles

(y,0) Por el compás,

(x,0) (0,y) construible
(0,0) (1,0)
equivale a
(y,0) construible

¿Cuándo es (x,0) construible?

(diremos que x es construible)
 Números construibles
Por las perpendiculares,
(0,y) (x,y) (x,y) construible
equivale a
(x,0),(0,y) construibles

(y,0) Por el compás,

(x,0) (0,y) construible
(0,0) (1,0)
equivale a
(y,0) construible

¿Cuándo es (x,0) construible?

(diremos
Diremos que un número real x es construible cuandoque x es
(x,0) construible)
construible.
Si el círculo tiene radio 1, el cuadrado tiene lado √π ...

¿Es √π un número construible?

(¿Es (√π,0) un número construible?)
 Números construibles

(0,0) (1,0)
 Números construibles

(0,0) (1,0)
 Números construibles

(0,0) (1,0)
Números construibles
Números construibles
Números construibles
=
π ?
 ¿Qué tipo de número es π?
Lambert (1761): π no es racional (no es a/b).
 ¿Qué tipo de número es π?
Lambert (1761): π no es racional (no es a/b).

Lindemann (1882): π es transcendente (no es

solución de ningún polinomio con coeficientes
enteros), y en particular no se puede llegar a él
mediante raíces cuadradas.
Más de 2250 años después se demostró que la
cuadratura del círculo NO es posible...
=
¿Qué polígonos regulares podemos construir?

El primer vértice de un polígono regular de 𝑛 lados es:

2𝜋 2𝜋
cos , sin
𝑛 𝑛

2𝜋
¿Es cos construible?
𝑛
 Teorema de Gauss-Wantzel (1796-1837)

Se puede dibujar con regla y compás un

polígono de n lados si y solamente si n es el
producto de una potencia de 2 (1, 2, 4, 8, 16...) y
un producto de números primos de Fermat
distintos (3, 5, 17, 257, 65537, ?).
 Primos de Fermat
Los números de Fermat son los de la forma
2𝑛
𝐹𝑛 = 2 + 1
Se sabe que 𝐹𝑛 para n=0,...,4 es primo (3, 5, 17, 257, 65537).
 Primos de Fermat
Los números de Fermat son los de la forma
2𝑛
𝐹𝑛 = 2 + 1
Se sabe que 𝐹𝑛 para n=0,...,4 es primo (3, 5, 17, 257, 65537).

Se conocen 307 números de Fermat que no son primos.

La probabilidad de hallar otro primo de Fermat es < 1019.
 Teorema de Gauss-Wantzel (1796-1837)
Polígonos construibles de menos de 1000 lados:
 Teorema de Gauss-Wantzel (1796-1837)
Polígonos construibles de menos de 1000 lados:

El número 23 (icosakaitrígonos) no está en la lista...

Para r=109 km (55 minutos-luz), el error del primer lado es <1mm.
La trisección del ángulo
La trisección del ángulo
Para el ángulo de 60º
Trisecarlo es calcular cos 20°
Para el ángulo de 60º
Trisecarlo es calcular cos 20°
1
Como cos 60° =2 y
cos 3𝑥 = 4 𝑐𝑜𝑠 3 𝑥 − 3 cos 𝑥 ,
Para el ángulo de 60º
Trisecarlo es calcular cos 20°
1
Como cos 60° =2 y
cos 3𝑥 = 4 𝑐𝑜𝑠 3 𝑥 − 3 cos 𝑥 ,

cos 20° es una raíz de

8𝑥 3 − 6𝑥 − 1 = 0,
Para el ángulo de 60º
Trisecarlo es calcular cos 20°
1
Como cos 60° =2 y
cos 3𝑥 = 4 𝑐𝑜𝑠 3 𝑥 − 3 cos 𝑥 ,

cos 20° es una raíz de

8𝑥 3 − 6𝑥 − 1 = 0,

¡ irreducible sobre ℚ !
Vamos a trisecar un ángulo
Trisecando un ángulo
Trisecando un ángulo
Trisecando un ángulo
Trisecando un ángulo
La regla marcada
Trisecando un ángulo
Trisecando un ángulo

Arquímedes
(287-212 A.C.)
La regla marcada
 La regla marcada

Cualquier punto construible con regla y compás

es construible solo con regla marcada.
La trisección solo con regla marcada
¿Nos permite la regla marcada
construir más puntos?
Teorema de Pierpont (1895)

=
- Trisecar ángulos

- Duplicar el cubo

- ¿Podemos construir todos los

polígonos regulares?
- Trisecar ángulos

- Duplicar el cubo

- ¿Podemos construir todos los

polígonos regulares?
- Trisecar ángulos

- Duplicar el cubo

- ¿Podemos construir todos los

polígonos regulares?
 Teorema de Pierpont (1895)

Se puede dibujar con regla marcada un polígono

regular de n lados si y solamente si n es el
producto de una potencia de 2 (1, 2, 4, 8...), una
potencia de 3 (1, 3, 9, 27...) y un producto de
números primos de Pierpont distintos .
 Primos de Pierpont

Los números de Pierpont son los de la forma

𝑃𝑢,𝑣 = 2𝑢 3𝑣 + 1
 Primos de Pierpont

Los números de Pierpont son los de la forma

𝑃𝑢,𝑣 = 2𝑢 3𝑣 + 1
Hasta ahora se conocen: 2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 163, 193, 257,
433, 487, 577, 769, 1153, 1297, 1459, 2593, 2917, 3457, 3889, 10369,
12289, 17497, 18433, 39367, 52489, 65537, 139969, 147457, 209953,
331777, 472393, 629857, 746497, 786433, 839809, 995329, 1179649,
1492993, 1769473, 1990657, pero no se sabe si hay infinitos.
 Construcciones con regla marcada

Ahora podemos construir heptágonos regulares…

Arquímedes, Alhacén (Ibn al-Haytham) ~ s. X

pero no icosakaitrígonos regulares.

(23 no es un primo de Pierpont, 22=2·11)
La prueba del algodón
La prueba del algodón
- Cuando aparecen raíces cuadradas podemos construir con regla y compás.

- Cuando aparecen raíces cúbicas podemos construir con regla marcada.

 Construcciones con regla marcada

Ahora podemos construir heptágonos regulares…

Arquímedes, Alhacén (Ibn al-Haytham) ~ s. X

…pero no icosakaitrígonos (23) regulares.

(23 no es un primo de Pierpont, 22=2·11)
La cuadratura del círculo, la trisección del
ángulo y los icosakaitetrágonos regulares

XXIV Competición
Matemática Mediterránea

2021
Roberto Rubio
Universitat Autònoma de Barcelona
24 = 3
2 ·3
 24 = 3
2 ·3
El icosakaitetrágono es
construible con regla y compás
La cuadratura del círculo, la trisección del
ángulo y los icosakaidígonos regulares

XXII Competición
Matemática Mediterránea

2019
Roberto Rubio
Universitat Autònoma de Barcelona
 22 = 2·11
Y 11 no es un primo de Pierpont (10=2·5)
 22 = 2·11
Y 11 no es un primo de Pierpont (10=2·5)

El icosakaidígono NO es
construible con regla marcada.
Pero…
¿Y con regla marcada y compás?
Números construibles con
regla marcada y compás
Números construibles con
regla marcada y compás
IDEA:

- Regla (grado 1) + compás (grado 2):

soluciones a ecuaciones de grado 2
(raíces cuadradas)

- Con la regla marcada llegamos a

soluciones a ecuaciones de grado 3 (y 4)
(raíces cúbicas)

- Con la regla marcada y el compás:

soluciones a ecuaciones hasta grados 6
(NO SON RESOLUBLES POR RADICALES)
Números construibles con
regla marcada y compás
IDEA:

- Regla (grado 1) + compás (grado 2):

soluciones a ecuaciones de grado 2
(raíces cuadradas)

- Con la regla marcada llegamos a

soluciones a ecuaciones de grado 3 (y 4)
(raíces cúbicas)

- Con la regla marcada y el compás:

soluciones a ecuaciones hasta grados 6
(NO SON RESOLUBLES POR RADICALES)
Números construibles con
regla marcada y compás
IDEA:

- Regla (grado 1) + compás (grado 2):

soluciones a ecuaciones de grado 2
(raíces cuadradas)

- Con la regla marcada llegamos a

soluciones a ecuaciones de grado 3 (y 4)
(raíces cúbicas)

-
Con la regla marcada y el compás:
soluciones a ecuaciones hasta grado 6
(NO SON RESOLUBLES POR RADICALES)
En 2014, polígono de 11 lados...
Así que un icosakaidígono (22) regular SÍ es
construible con regla marcada y compás.
Así que un icosakaidígono (22) regular SÍ es
construible con regla marcada y compás.

¿Y el icosakaitrígono (23) regular?

Así que un icosakaidígono (22) regular SÍ es
construible con regla marcada y compás.

¿Y el icosakaitrígono (23) regular?

Se prueba que el icosakaitrígono regular NO

es construible con regla marcada y compás
Ideas para coger con pinzas:
 Ideas para coger con pinzas:
2𝜋
Pregunta general: ¿es cos 𝑛
construible?
2𝜋
Para la descomposición 𝑛 = 2𝑚 𝑝𝑎 𝑞 𝑏 … importan cos 𝑝𝑎
.
2𝜋
El grado de las ecuaciones para llegar a cos 𝑝𝑎
divide a 𝑝𝑎−1 (𝑝 − 1)
2𝜋𝑖
2𝜋𝑖 2𝜋𝑖
Ejemplo: 𝑒 𝑛 = cos
𝑛
+ 𝑖 𝑠𝑖𝑛
𝑛
es raíz de 𝑥 𝑛 − 1 = (𝑥 − 1)(𝑥 𝑛−1 + ⋯ + 𝑥
+ 1)
 Ideas para coger con pinzas:
2𝜋
Pregunta general: ¿es cos 𝑛
construible?
2𝜋
Para la descomposición 𝑛 = 2𝑚 𝑝𝑎 𝑞 𝑏 … importan cos 𝑝𝑎
.
2𝜋
El grado de las ecuaciones para llegar a cos 𝑝𝑎
divide a 𝑝𝑎−1 (𝑝 − 1)
2𝜋𝑖
2𝜋𝑖 2𝜋𝑖
Ejemplo: 𝑒 𝑛 = cos
𝑛
+ 𝑖 𝑠𝑖𝑛
𝑛
es raíz de 𝑥 𝑛 − 1 = (𝑥 − 1)(𝑥 𝑛−1 + ⋯ + 𝑥
+ 1)

Para la regla y compás, este grado tiene que ser potencia de dos.
Posible si 𝑝 − 1 = 2𝑟 , es decir, 𝑝 = 2𝑟 + 1, que solo es primo cuando r = 2𝑠 .
2𝜋
El grado de los polinomios para cos 23
divide a 22 = 2 · 11, y 11 sí aparece.
No es posible con regla marcada y compás (polinomios de hasta grado 6).
La cuadratura del círculo, la trisección del
ángulo y los icosakaipentágonos regulares

XXV Competición
Matemática Mediterránea

2022
Roberto Rubio
Universitat Autònoma de Barcelona
La construcción de icosakaipentágono (25)
regular con regla marcada y compás es un

PROBLEMA ABIERTO

Como la de los polígonos regulares de 31, 41, 61... lados

La XXV CMM de 2022
hubiese sido mejor año
La XXV CMM de 2022
hubiese sido mejor año

Si hay alguna novedad

sobre el icosikaipentágono,
os la contaré en Requena.
Gracias por vuestra atención

Roberto Rubio