Trisección de un ángulo

a través de la Espiral de Arquı́medes

Nicolás Melgarejo Sabelle

10 de febrero de 2011

Espiral de Arquı́medes

El método de trisección de Arquı́medes es conocido y se describe a con-

tinuación:

1 Dado unángulo cualquiera se traza desde el vértice O del ángulo la

espiral de Arquı́medes, de tal manera que ésta corte en un punto P a
uno de los rayos que componen dicho ángulo.

2 Encontrar el punto R, tal que OR sea la tercera parte de OP .

3 Trazar una circunferencia de radio OR con centro O y encontrar el

punto de intersección S entre la espiral y dicha circunferencia.

4 Trazar recta que pase por O y S. Ésta será la trisectrı́z del ángulo
inicial.

A través de la espiral de Arqı́medes es posible trisectar un ángulo, la

demostración de ésta afirmación no es posible realizarla con los postulados
de Euclides, por lo que cada paso será interpretado con geometrı́a analı́tica.

Los pasos a seguir para la demostración son los siguientes:

PASO 0 Encontrar la ecuación en coordenadas cartesianas de la espiral de Ar-

quı́medes

PASO 1 Encontrar la primera intersección P , entre la recta L1 que, junto a la

abscisa, determina un ángulo α y la curva auxiliar.

PASO 2 Buscar punto R del segmento OP tal que d(O, P ) = 3d(O, R)

1
PASO 3 Generar una circunferencia de radio d(O, R) y centro en el origen y
encontrar el punto de intersección S con la espiral.

PASO 4 Encontrar la ecuación de la recta que pasa por O y S. Calcular la

pendiente de la recta y compararla con la pendiente de la recta L1

PASO 0

La espiral de Arquı́medes, llamémosla ϕ, representa el desplazamiento

de un objeto que se aleja del origen a velocidad constante, al mismo tiempo
que gira con velocidad angular constante. Puede ser descrita en coordenadas
polares como:
r = aθ (1)
donde θ es el ángulo que va barriendo y a un número real. Aplicando a (1)
la transformación de coordenadas polares a cartesianas:
p
r= x2 + y 2
x = r cos θ
y = r sen θ
y
θ = arc tg
x
Se tiene que: p y
x2 + y 2 = a arc tg
x
Para aplicar el método de trisección sólo interesa el primer cuadrante,
por lo que θ ∈ [0, π/2]. Al elevar al cuadrado la expresión anterior:
y
x2 + y 2 = a2 arc tg2 (2)
x
Por otro lado tenemos la recta L1 que pasa por el origen y forma un
ángulo de α con la horizontal, por lo que:

L1 : y = m1 x , con m1 = tan(α) (3)

PASO 1

Encontremos el punto P , la intersección entre ϕ y L1 reemplazando (3)

en (2):

2
 m x
1
x2 + (m1 x)2 = a2 arc tg2
x
x2 + m21 x2 = a2 arc tg2 (m1 )
a2 arc tg2 (m1 ) (4)
x2 =
(1 + m21 )
a arc tg(m1 )
xp = x = p
1 + m21

Encontramos ahora yp reemplazando (4) en (3) y obtenemos ası́ el punto

de intersección P :
m1 a arc tg(m1 )
yp = m 1 x p = p
1 + m21
P = (xp , yp ) (5)
PASO 2

Ahora busquemos el punto R, tal que d(O, P ) = 3d(O, R) que obviamen-

te es:  
1 1
R= x p , yp
3 3
Reemplazando se tiene:
!
a arc tg(m1 ) am1 arc tg(m1 )
R= p , p (6)
3 1 + m21 3 1 + m21

Calculamos ahora la distancia d(O, R):

s
a2 arc tg 2 (m1 ) a2 m21 arc tg2 (m1 )
d(O, R) = +
9[1 + m21 ] 9[1 + m21 ]
s
a2 arc tg2 (m1 )[1 + m21 ]
=
9[1 + m21 ]
a arc tg(m1 )
d(O, R) =
3

PASO 3

3
 Generamos ahora la circunferencia R⊗ de centro (0, 0) y radio d(O, R)

y 2 + x2 = r 2
a2 arc tg2 (m1 ) (7)
y 2 + x2 =
9
despejamos y
r
a2 arc tg2 (m1 )
y= − x2
9
Encontremos el punto de intersección S de R⊗ con ϕ, aprovechando
la igualdad entre las ecuaciones (2) y (7) y reemplazando en (2) el valor
despejado de y:

q 
a2 arc tg2 (m1 )
a2 arc tg2 (m 1) 9 − x2
= a2 arc tg2  
9 x
q 
a2 arc tg2 (m1 )
1 9 − x2
arc tg(m1 ) = arc tg  
3 x

Como m1 = tan(α)
q 
a2 α2
1 9 − x2
α = arc tg  
3 x
s !
a2 α2

1 (8)
= arc tg − x2
32 x2
r !
a α 2
= arc tg −1
3x

Aplicamos tangente sobre (8)

r  ,
1 aα 2
α= −1 ()2
3 3x
 
2 1
 a α 2
tan α +1=
3 3x
Despejamos xS

4
 aα
xS = x = q (9)
3 tan2 13 α + 1

Encontramos yS reemplazando (9) en (7)

s
 a α 2 a2 α 2
yS = − 2
3 tan2 13 α + 1



3
s
aα 1
= 1− 2 1


3 tan 3 α + 1
s (10)
tan2 31 α


aα
=
tan2 13 α + 1


3
 s
aα 1 1
yS = tan α 2 1


3 3 tan 3 α + 1

PASO 4

Teniendo ya xS y yS , podemos calcular la pendiente de la recta que pasa

por R y (0, 0) y forma un ángulo β con la horizontal.
yR
tan β =
xR
aα 1

q 1
3 tan 3 α tan2 ( 13 α)+1
= aα
q
3 tan2 ( 31 α)+1
(11)
 s 2 1


1 tan 3 α + 1
= tan α
tan2 13 α + 1


3
 
1
= tan α
3
Luego se tiene que:  
1
m2 = tan β = tan α
3
Por lo tanto:

1
β= α
3
Con esto queda demostrado, usando geometrı́a analı́tica, que el método
para trisectar es correcto.