Formulas de Angulo Mltiple

Julio Castieira Merino

jcastine@boj.cnice.mecd.es
A la memoria de mis padres: Julio y ngeles
Este trabajo explica algunas de las propiedades de las frmulas de ngulo mltiple. En
primer lugar expresaremos de forma concisa las frmulas de ngulo mltiple de las funciones
trigonomtricas e hiperblicas. Posteriormente utilizaremos estas frmulas en algunas temas de
trigonometra, lgebra y en geometra.
Para la funcin coseno, las frmulas de ngulo mltiple se pueden expresar usando los
polinomios de Chebyshev [1], [6]. Estos polinomios estn definidos por la relacin de
recurrencia
T1 (x ) = x
T0 (x ) = 1,

Tn (x ) = 2 x Tn1 (x ) Tn2 (x ) , n 2 .
Los ocho primeros polinomios con sus correspondientes frmulas de ngulo mltiple son:
Polinomio

Frmula

T0 (x ) = 1

cos 0 a = 1

T1 ( x ) = x

cos 1 a = cos a

T2 ( x ) = 2 x 2 1

cos 2 a = 2 cos 2 1

T3 ( x ) = 4 x 3 3x

cos 3a = 4 cos 3 a 3 cos a

T4 ( x ) = 8 x 4 8 x 2 + 1

cos 4a = 8 cos 4 a cos 2 a + 1

T5 ( x ) = 16 x 5 20 x 3 + 5 x

cos 5a = 16 cos 5 a 20 cos 3 a + 5 cos a

T6 ( x ) = 32 x 6 48 x 4 + 18 x 2 1

cos 6a = 32 cos 6 a 48 cos 4 a + 18 cos 2 a 1

T7 ( x ) = 64 x 7 112 x 5 + 56 x 3 7 x cos 7a = 64 cos 7 a 112 cos 5 a + 56 cos 3 a 7 cos a

Observamos que los polinomios de Chebyshev cumplen la propiedad
cos na = Tn (cos a ) .
Demostracin
Por induccin sobre n.
Para los valores iniciales n = 0 y n = 1 tenemos:

cos 0a = 1 = T0 (cos a ),

cos 1a = cos a = T1 (cos a )

Supongamos que la frmula es cierta para todo valor de k < n,
Aplicando la frmula de la diferencia de cosenos

cos na cos(n 2)a = 2 cos(n 1)a cos a

es decir

cos na = 2 cos a cos(n 1)a cos(n 2)a

por hiptesis de induccin sabemos que

cos(n 1)a = Tn 1 (cos a ) y cos(n 2 )a = Tn 2 (cos a )

Luego

cos na = 2 cos a Tn1 (cos a ) Tn2 (cos a )

Sustituyendo x = cos a en la frmula de recurrencia Tn ( x ) = 2 x Tn 1 ( x ) Tn 2 ( x ) tenemos

que

Tn (cos a ) = 2 cos a Tn 1 (cos a ) Tn 2 (cos a ) ,

por tanto

cos na = Tn (cos a ) .

Observemos que la frmula anterior tambin se verifica para valores complejos del argumento,
puesto que la frmula de la diferencia de cosenos es cierta para argumento complejo. Una
consecuencia de este hecho es que la frmula de argumento mltiple para el coseno hiperblico
es

Ch na = Tn (Ch a )

En efecto

Ch na = cos ina = Tn (cos ia ) = Tn (Ch a ) .

Una propiedad que ser utilizada posteriormente es

Demostracin
En efecto

( 1)(n1) 2 sen na
Tn (sen a ) =
( 1)n 2 cos na

n impar
n par

Tn (sen a ) = Tn cos a = cos n a = cos

na ,

2
2
como

( 1)(n1) 2 sen na , n impar

n
n

n
,
cos
cos na + sen
sen na =
na = cos
2
2
( 1)n 2 cos na ,

2
n par

la igualdad queda demostrada.

Ejercicios
1. Demostrar que el polinomio de Chebyshev tiene grado n y tiene n races simples.
2. Demostrar que el polinomio de Chebyshev de grado n es una funcin par si n es par y es una
funcin impar si n es impar.
3.-Demostrar la propiedad transitiva de los polinomios de Chebyshev
Tn (Tm ( x )) = Tnm ( x ) .
Frmulas para la funcin seno

Derivando la formula cos na = Tn (cos a ) podemos obtener una frmula de ngulo

mltiple para la funcin seno. En efecto

n sen na = Tn' (cos a ) ( sen a )

Es decir

Tn' (cos a )
sen na = sen a
n
'
T (x )
, se le llama polinomio de Chebyshev de segunda clase
Al polinomio U n ( x ) = n +1
n +1

de grado n [6]. Usando estos polinomios la frmula de ngulo mltiple de la funcin seno se
expresa
sen na = sen a U n1 (cos a ) .
Anlogamente para el seno hiperblico tenemos la frmula

Sh na = Sh a U n1 (Ch a )

que se deduce derivando la frmula de argumento mltiple para el coseno hiperblico.

Los siete primeros polinomios de Chebyshev de segunda clase con sus correspondientes
frmulas de ngulo mltiple son:
Polinomio
U 0 (x ) = 1

Frmula
sen 1a = sena
sen 2a = 2sen a cos a

U1 ( x ) = 2 x

U 2 (x ) = 4 x 2 1

(
)
sen 4a = sen a (8 cos 3 a 4 cos a )
sen 5a = sen a (16 cos 4 a 12 cos 2 a + 1)
sen 6a = sen a (32 cos 5 a 32 cos 3 a + 6 cos a )
sen 6a = sen a (64 cos a 80 cos a + 24 cos a 1)
sen 3a = sen a 4 cos 2 a 1

U 3 (x ) = 8 x 3 4 x

U 4 (x ) = 16 x 4 12 x 2 + 1

U 5 ( x ) = 32 x 5 32 x 3 + 6 x
U 6 (x ) = 64 x 6 80 x 4 + 24 x 2 1

Ejercicio 4. Demostrar que el polinomio de Chebyshev de segunda clase de grado n es una

funcin par si n es par y es una funcin impar si n es impar.
Una frmula que expresa sen na en funcin de sen a es
( 1)(n 1) 2 T (sen a ),
n impar
n
sen na =
n 21
( 1)
cos a U n 1 (sen a ), n par

Demostracin
Si n es impar basta despejar el seno en la formula Tn (sen a ) = ( 1)(n1) 2 sen na .
.
Si n par es par tenemos que

Tn (sen a ) = ( 1)n 2 cos na ,

derivando

Tn' (sen a ) cos a = ( 1)n 2 ( sen na ) n ,

Despejando el seno del ngulo mltiple
'

T
sen na = ( 1)n 21 cos a n

(sen a )

= ( 1)n 21 cos a U n1 (sen a ) .

n
Los polinomios de Chebyshev de primera y segunda clase estn relacionados por la
frmula

Tn (x ) = U n (x ) xU n 1 (x )

En efecto
Por tanto

sen(n +1)a = sen na cos a + cos na sen a

sena U n (cos a ) = sena U n1 (cos a ) cos a + Tn (cos a ) sen a

dividiendo por sen a

U n (cos a ) = U n1 (cos a ) cos a + Tn (cos a )

sustituyendo cos a por x y despejando Tn obtenemos

Tn ( x ) = U n (x ) xU n1 ( x ) .
Los polinomios de Chebyshev de segunda clase satisfacen la siguiente relacin
U 1 (x ) = 2 x
,
U 0 (x ) = 1,

U n (x ) = 2 x U n 1 (x ) U n 2 (x ) n 2
Demostracin
Es claro que

1 d
U 0 (x ) = T1 (x ) = 1
1 dx
,
1 d
1 d
2
T2 (x ) =
U1 (x ) =
2x 1 = 2x
2 dx
2 dx
Veamos que satisfacen la relacin de recurrencia.
Derivando la relacin
Tn (x ) = 2 x Tn1 (x ) Tn2 (x )
obtenemos

Tn' (x ) = 2 Tn1 (x ) + 2 x Tn' 1 (x ) Tn' 2 (x )

Sustituyendo

nU n1 ( x ) = 2 (U n1 (x ) xU n2 ( x )) + 2 x (n 1)U n2 ( x ) (n 2)U n3 ( x )

Operando
Dividiendo por
Por tanto

(n 2)U n1 (x ) = 2 x (n 2) U n2 (x ) (n 2) U n3 (x )
n 2 obtenemos U n1 (x ) = 2 xU n2 (x ) U n3 (x )

U n (x ) = 2 xU n1 (x ) U n2 (x ) .
Las frmulas de recurrencia anteriores son interesantes desde el punto de vista terico y
permiten hallar los polinomios de Chebyshev para valores pequeos de n. Pero para valores
moderados de n son completamente intiles. Por fortuna disponemos de las siguientes frmulas
explicitas de los polinomios de Chebyshev de primera y de segunda clase para n mayor que
cero.
n2
( 1)k n k (2 x )n2k
n
Tn ( x ) =
2 k =0 n k k

y
U n (x ) =

n2

n k
(2 x )n2k
k

( 1)k

k =0

Estas frmulas se pueden demostrar por induccin. Demostraremos la frmula para los
polinomios de Chebyshev de segunda clase y dejaremos la otra frmula al lector.
Demostracin
Para n = 1 y n = 2 se cumplen. En efecto
1
U1 (x ) = ( 1)0 (2 x )10 = 2 x
0

1
2
U 2 (x ) = ( 1)0 (2 x )20 + ( 1)1 (2 x )22 = 4 x 2 1
1
0
Demostremos que si se cumple para k < n entonces se cumple para n:
Sabemos que
U n (x ) = 2 xU n1 (x ) U n2 (x )
usando la hiptesis de induccin podemos afirmar que
(n 1) 2
(n 2 ) 2
n 2 k
k n 1 k
n 1 2 k
(2 x )
(2 x )n 22k ,
( 1)
( 1)k

U n (x ) = 2 x
k
k

k =0
k =0

operando y renombrando el ndice del segundo sumatorio

U n (x ) =

(n1) 2

k =0

(n 2 ) 2
n 1 k
n2
(2 x )n 2k +
( 1) j +1
j
k

j =0

( 1)k

haciendo el cambio de ndices k = j +1 en el segundo sumatorio

j
(2 x )n22 j ,

U n (x ) =

(n1) 2

k n

( 1)

k =0
Tenemos dos casos. Si n es impar
U n (x ) = (2 x )n +

(k + 1)

(2 x )

n2k

n (k + 1)
(2 x )n2k .
k 1

n2

( 1)k

k =1

n (k + 1) n (k + 1)
+
(2 x )n2k ,

k
k
1

n2

( 1)k

k =1

luego la propiedad de los nmeros combinatorios

U n (x ) = (2 x )n +

n2
n k
(2 x )n2k =
( 1)k
k

k =0

n2

( 1)k

k =1

Si n es par
U n (x ) = (2 x )n +

n k
(2 x )n2 k .

k

n (k + 1) n (k + 1)
+
(2 x )n2k + (2 x )n 2 ,

k
k
1

n 21

( 1)k

k =1

luego tambin en este caso

n2

n k
(2 x )n2k .
k

U n (x ) = ( 1)k
k =0

Ejercicio 5-Demostrar las frmulas

Tn (x ) =

2k x n 2k (x 2 1)
n2

k =0

y
U n (x ) =

2k + 1 x n 2k (x 2 1)
n2

n +1

k =0

Frmulas para la funcin tangente

Es sobradamente conocida la frmula de la tangente del ngulo doble

2 tan a
tan 2a =
1 tan 2 a
pero est poco difundida la frmula de la tangente del ngulo mltiple a pesar de su simplicidad
[4]. En efecto

(n1) 2

n
( 1)k 2k + 1 tan 2k +1 a

tan na = k =0

n2

( 1)k 2k tan 2k a

k =0

la frmula se demuestra fcilmente por induccin usando la frmula de la tangente de una suma
de ngulos.
Ilustremos la sencillez de la frmula con un ejemplo, la expresin de la tan 5 x .
En primer lugar calculamos los trminos de la quinta fila del tringulo de Tartaglia. Estos
trminos son
1, 5, 10, 10, 5, 1
despus construimos los polinomios

1 10t 2 + 5t 4 y 5t 10t 3 + t 5
tomando los trminos de dos en dos y alternando los signos. Entonces

tan 5 x =
Las funciones racionales

5t 10t 3 + t 5

con t = tan x .

1 10t 2 + 5t 4
(n 1) 2

Rn (t ) =

n
( 1)k 2k + 1 t 2k +1

k =0
n2

( 1)k 2k t 2k

k =0

no reciben un nombre especial. Gozan al igual que los polinomios de Chebyshev de primera
clase de la propiedad transitiva
Rn (Rm (t )) = Rnm (t ) .
Para la funcin tangente hiperblica se cumple la frmula

(n 1) 2 n
2k + 1 Th 2k +1a

.
Th na = k =0n 2
n
2k
2k Th a

k =0

Por ejemplo

Th 6a =
Las funciones racionales

6 Th a + 20 Th 3 a + 6 Th 5 a
1 + 15 Th 2 a + 15 Th 4 a + Th 6 a

(n 1) 2 n

t 2 k +1
2
1
k
+

S n (t ) = k =0
n2
n 2k
t
2k
k =0

al igual que las funciones Rn (t ) tampoco reciben un nombre especial, gozando al igual que
ellas de la propiedad transitiva
S n (S m (t )) = S nm (t ) .

Clculo algebraico de las razones trigonomtricas

Las funciones de ngulo mltiple permiten calcular las razones trigonomtricas de
muchos ngulos de forma puramente algebraica. Veamos algunos ejemplos
1) Razones trigonomtrica de / 5
Podemos calcular el coseno de / 5 radianes usando el polinomio de Chebishev de quinto

x
2

grado. Para ello resolvamos la ecuacin T5 + 1 = 0 de dos maneras. La primera de forma

algebraica y la segunda utilizando las propiedades de las funciones trigonomtricas.
x
T5 + 1 = 0 x 5 5 x 3 + 5 x + 2 = 0
2
Factorizando el polinomio

x 5 5 x 3 + 5 x + 2 = ( x + 2) x 4 2 x 3 x 2 + 2 x + 1

luego

x + 2 = 0 x 4 2x3 x 2 + 2x + 1 = 0
la segunda ecuacin es una ecuacin recproca. Haciendo el cambio w = x

1
queda
x

w 2 2w 1 = 0 w = 1
Por tanto
x

1
1 5
=1 x =
x
2

observemos que por ser w = 1 una raz doble tambin son races dobles

1+ 5 1 5
y
.
2
2

Las races de la ecuacin dada ordenadas de menor a mayor son

x1 = 2 , x 2 =

1 5
1+ 5
.
, x3 =
2
2

Resolvamos ahora la ecuacin utilizando las propiedades trigonomtricas

x
T5 + 1 = 0
2

Haciendo

x
2

= cos tenemos cos 5 = 1 = + k

2
5
5

Las soluciones de la ecuacin son

2 cos

, 2 cos

Teniendo en cuenta que

cos

k = 0 ,1,.., 4

3
5
7
9
, 2 cos
, 2 cos
, 2 cos
5
5
5
5

= cos

9
5

y cos

las races ordenadas de la ecuacin son

x1 = 2 , x 2 = 2 cos

3
7
= cos
5
5

, x3 = 2 cos
5
5

Por tanto

cos

donde es la razn urea.

1+ 5
=
4
2

y cos

3 1 5
1
=
=
5
4
2

x
2

Anlogamente resolviendo la ecuacin T5 1 = 0 obtenemos los valores

cos

2 1 + 5
1
=
=
5
4
2

y cos

4 1 5
.
=
=
5
4
2

Los valores del seno de / 5 radianes se pueden obtener anlogamente resolviendo la

ecuacin :

T5 ( x ) = 0 16 x 5 20 x 3 + 5 x = 0 ,
y observando que sen 5a = T5 (sen a ) .
Efectuando los clculos obtenemos

x1 = sen

1
10 2 5
4

x 2 = sen

2 1
=
10 + 2 5
5
4

2
, y x5 = 0 .
5
5
Observemos que la ecuacin T5 ( x ) = 0 y la frmula cos 5a = T5 (cos a ) nos

las otras races son x3 = sen

proporcionan los valores

cos

10

, x 4 = sen

1
10 + 2 5
4

y cos

3 1
=
10 2 5 .
10 4

Podemos usar la frmula

tan 5 x =

5 tan x 10 tan 3 x + tan 5 x

1 10 tan 2 x + 5 tan x 4
para calcular la tangente de / 5 radianes.
k
En efecto tan 5 x = 0 x =
, k Z ; luego las races de la ecuacin
5
5t 10t 3 + t 5 = 0
ordenadas de menor a mayor son
2

2
tan
, tan
, tan 0 , tan , tan
.
5
5
5
5
Calculando las races por mtodos algebraicos tenemos
5t 10t 3 + t 5 = 0 t = 0 t 4 10t 2 + 5 = 0 ,
resolviendo la ecuacin bicuadrada se obtienen las races
5 + 2 5 , 5 2 5 , 5 2 5 , 5 + 2 5 ,
Por tanto
tan

2) Calculo del coseno de

= 5 2 5 y tan

2
= 5+2 5 .
5

2
radianes
7

T7 ( x )
= 0 64 x 6 112 x 4 + 56 x 2 7 = 0 tiene por races
x

x k = sen k k = 1, 2 ,..., 6 .
7
2
Si en esta ecuacin hacemos el cambio y = 2 x 1 obtenemos la ecuacin

La ecuacin

8 y 3 4 y 2 + 4 y + 1 = 0 cuyas races son

2
4
6
,
y1 = cos
, y 2 = cos
, y3 = cos
7
7
7

cambiando

el

signo

haciendo

el

cambio

variable z =

de

y
2

obtenemos

la

ecuacin z 3 + z 2 2 z 1 = 0 , cuyas races son

z1 = 2 cos

2
4
6
.
, z 2 = 2 cos
, z 3 = 2 cos
7
7
7

Resolvamos esta ecuacin usando las formulas de Cardano

Obtenemos

2
1
= 2 + 3 28 + 84 3 i + 3 28 84 3 i 0.6234898

7 12
4 1
=
cos
4 + 1 + 3 i 3 28 + 84 3 i + 1 3 i 3 28 84 3 i 0.22252

7
24
6 1
=
2 + 1 3 i 3 28 + 84 3 i + 1 + 3 i 3 28 84 3 i 0.9001
cos

7
24
cos

Donde la raz cbica compleja se calcula en la rama principal

Ejercicio 6 Si p es primo impar las races del polinomio
W p (x ) = p

( p 1) 2

( 1)k p k x p 1 2k
p k k

k =0

son

x = 2 sen

k = 1, 2 ,...,

p 1
2

La Ecuacin de Adriaen Van Roomen

En su obra Ideae mathematicae el matemtico flamenco Adriaen Van Roomen, tambin
conocido por su nombre latino Adrianus Romanus, propuso a los matemticos del mundo el reto
de resolver la ecuacin de grado 45 siguiente:

x 45 - 45x 43 + 945x 41 - 12300x 39 + 111150x 37 - 740259x 35 +

+ 3764565x 33 - 14945040x 31 + 46955700x 29 - 117679100x 27 +
+ 236030652x 25 - 378658800x 23 + 483841800x 21 - 488494125x19 +
+ 384942375x17 - 232676280x15 + 105306075x13 - 34512075x11 +
+ 7811375x 9 - 1138500x 7 + 95634x 5 - 3795x 3 + 45x = c
El problema fue resuelto por Vieta [2] dos aos ms tarde en su trabajo Responsum
quien, con otro lenguaje y notacin al usado por nosotros, se di cuenta que la ecuacin de Van
Rooemen es en realidad la ecuacin

x
2 T45 = c .
2

Resolvamos la ecuacin de Van Roomen. Haciendo x = 2 sen tenemos

c
sen 45 =
2
c
y por tanto x = 2 sin D + k 8D k = 0,1, ...,44 ; siendo = arc sin .
2
Cmo lleg Vieta a darse cuenta de este hecho? Vieta conoca perfectamente la
solucin de la ecuacin

z
z 3 3 z = c 2 T3 = c
2

Haciendo el cambio de variable

y
z = 2 T3 z = y 3 3 y ,
2

poda tambin resolver la ecuacin

y 9 9 y 7 + 27 y 5 30 y 3 + 9 y = c ,
que escrita en trmino de los polinomios de Chebyshev es
y
y
2 T3 T3 = c 2 T9 = c .
2
2

Si en la ecuacin anterior hacemos el cambio de variable
x
y = 2 T5 y = x 5 5 x 3 + 5 x
2

obtenemos la ecuacin
x
x
2 T3 T3 T5 = c 2 T45 = c
2
2

que es la ecuacin de Van Roomen.

10

Curvas en Polares
La ecuacin polar de muchas curvas se expresa por medio de funciones trigonomtricas.
Los polinomios de Chebyshev de primeray de segunda clase son tiles para calcular la ecuacin
cartesiana de la curva.
Ilustraremos la tcnica del paso de la ecuacin polar a la cartesiana con dos ejemplos
muy sencillos: la lemniscata de Bernoulli y la cbica de Tschirnhausen. Posteriormente
aplicaremos esta tcnica a las Rosas, Curvas Botnicas, Araas y Curvas Nodales. Las
definiciones de estas curvas pueden encontrarse en [6] y [5].
La Lemniscata de Bernoulli

La lemniscata de Bernoulli tiene la ecuacin polar

r 2 = a 2 cos 2
Para obtener la ecuacin implcita observemos que
x
r 2 = x 2 + y 2 y cos = =
r

x
x2 + y2

Luego

x
x 2 + y 2 = a 2T2
x2 + y2

Es decir

x
2
2
2
x + y = a 2
2
2
x + y

Operando

(x

+ y2

= a2 x2 y2 .

La Cbica de Tschirnhausen

Su ecuacin polar es

r = a sec 3

Por tanto

cos

=3

a
3

Luego
a

T3 cos = T3 3
3
3

11

es decir

cos

=4

a
a
33
r
r

Sustituyendo
x
x2 + y2

4a
x2 + y2

33 a
6

x2 + y2

Operando

x = 4a 3 3 a 3 x 2 + y 2
Despejando las races y elevando al cubo
27 a x 2 + y 2 = (4a x )3 .

12

Rosas

Las rosas o rhodoneas son curvas cuya ecuacin polar es

r = a cos m ,

las ecuaciones paramtricas son por tanto

x = a cos m cos

y = a sen m sen

El nombre de esta familia de curvas se debe a su forma parecida a la de una flor. El

matemtico italiano Grandi las llam Rhodoneas, Rhodon significa rosa en griego, en su libro
Flora Geometrica. Si m = 0 m = 1 la curva es una circunferencia, para m = 2 la curva se llama
quadrifolium, para m = 3 se llama trifolium, para m entero impar rosa de m ptalos y para m par
rosa de 2n ptalos. El nombre hace referencia al nmero de ptalos que tiene la curva. La curva
est definida tambin para valores fraccionarios. Para m = se llama Folium de Durero.

Aplicando el mismo procedimiento a la ecuacin polar que el realizado a la ecuacin de

la lemniscata se observa que la ecuacin cartesiana de la rosa para m entero impar es

x
x2 + y2

x + y = a Tm
2
2
x +y
2

por ejemplo si m =3 , la curva se llama trifolium, tenemos

x
x2 + y2

x + y = a T3
2
2
x +y
2

Teniendo en cuenta que T3 ( z ) = z 4 z 2 3 la ecuacin es

x2 + y2 =
Operando

4 x
3 x 2 + y 2
2
2

x2 + y2 x + y

ax

(x

+ y2

= ax x 2 3y 2 .

Si m es par la ecuacin cartesiana anterior slo corresponde a la mitad de la curva pues r

puede tomar valores negativos. La curva completa corresponde a la ecuacin

13

x + y = a Tm
2
2
x +y
Por ejemplo el Quadrifolium r = a cos 2
2

x 2 + y 2 = a 2 T2
2
2
x +y

x2

x + y = a 2 2
x + y2

por tanto
2

operando

(x

Para valores fraccionarios de m =

+ y2

= a2 x2 y2 .

p
el proceso necesita una modificacin. Podemos realizar
q

el proceso de la siguiente forma

r = a cos

p
r

= cos p
q
a
q

por tanto

x2 + y2
x2 + y2

= T T cos
= T p cos Tq
q p

a
q
a
q

Como T p Tq ( x ) = Tq T p ( x ) = T pq (x ) tenemos que

14

 x2 + y2
= T T cos = T (cos( ))
Tq
p q
p

a
q

Luego

x
Tp
2
2
x +y

2
2

=T x + y
q

Veamos algunos ejemplos

1) Para m =1/2 tenemos el Folium de Durero r = a cos

2
2

x
=T x + y
T1
2

2
2
a

x +y

Es decir
2

x
x2 + y2

x2 + y2
1
= 2

Simplificando y elevando al cuadrado para racionalizar

(2 x

+ 2y2 a2

) (x
2

+ y2 = a4x2

la curva es simtrica respecto de los ejes de coordenadas. Esta situacin se cumple para los
valores de m =

2) Para m =

1
.
2n

1
tenemos
3
r = a cos

3
2
2

x
=T x + y
T1
3

2
2
a

x +y
es decir

15

x
x2 + y2
Operando

(x

x 2 + y 2 x 2 + y 2

a
a

)(

+ y 2 4 x 2 + 4 y 2 3a 2 = a 3 x .

La curva en este caso es simtrica respecto del eje OX. Observemos que no hemos
tenido que elevar al cuadrado en el proceso de eliminacin. Anlogamente a este caso ocurre

1
.
2n + 1
4
4
3) Para m = la ecuacin polar es r = a cos
y siguiendo el mismo proceso se obtiene la
5
5

para m =

ecuacin cartesiana

a10 x 4 6 x 2 y 2 + y 4
una curva de grado 18.

) = (x
2

+ y2

) (16x
5

+ 32 x 2 y 2 20a 2 x 2 + 16 y 4 20a 2 y 2 + 5a 4
y

Rosa 4/5

16

Curvas Botnicas

Las curvas botnicas tienen la ecuacin polar

r = 1 + d cos m d > 0
son las concoides de la rosa r = d cos m d > 0 respecto de su centro 0 y con distancia 1.
Estas curvas engloban algunos tipos de curvas clsicas que veremos en los ejemplos.
Obviamente para d = 0 la curva es la circunferencia de radio unidad. Si d >1 a la familia de
curvas se la conoce con el potico nombre de Rosas de Troya.
Para m entero la ecuacin cartesiana de la curva botnica se obtiene racionalizando la
ecuacin

x
.
x 2 + y 2 = 1 + d Tm
x2 + y2

Veamos algunos ejemplos

1) Para m = 1 la curva es El Caracol de Pascal. Racionalizando la ecuacin

x2 + y2 = 1+ d
obtenemos

(x

+ y 2 dx

x
x2 + y2

= x2 + y2 .

La tabla muestra los diferentes tipos de caracol de Pascal. Recordemos que para d = 1 la curva
se llama cardioide.

17

Los diferentes tipos del Caracol de Pascal

18

2) Para m = 2 obtenemos

x
2
2
x + y = 1+ d 2
x 2 + y 2

Operando
y elevando al cuadrado

(x

(x

+ y2

= (d + 1) x 2 (d 1) y 2

) [

+ y 2 = (d + 1) x 2 (d 1) y 2
Dependiendo de los valores de d se tienen tres tipos de curva
Si d >1 la curva se llama cicloide de Ceva
3

si d = 1valo doble,

y si d<1 curva cacahuete.

19

3) para m =5 se obtiene la ecuacin de grado 12

(x

= x2 + y2

para d > 1 la curva se llama Rosa de Troya,

2

+ y2

dx x 4 10 x 2 y 2 + 5 y 4

para d < 1 se llama Estrella de mar

y para d =1 no tiene nombre especial. La forma de esta curva botnica nos recuerda la Rosa de 5
ptalos que la genera.

20

Curvas Botnicas con valores fraccionarios del parmetro m.

Si m = p/q el proceso de reduccin se basa en racionalizar la siguiente frmula

x2 + y2 1
x

=T
Tp
x2 + y2 q

La deduccin de la frmula es un proceso anlogo al seguido con las rosas y se deja su

verificacin al lector. Veamos algunos ejemplos de curvas notables
1) Para m = 1/2 la curva se llama la Nefroide de Freeth, su ecuacin polar es
r = 1 + d cos

2
y la ecuacin cartesiana se obtiene racionalizando la ecuacin
2

x2 + y 2 1
1
= 2

2
2
d
x +y

Operando
Elevando al cuadrado

(2 x
(2 x

+ 2y2 + 2 d 2

+ 2y2 + 2 d 2

) (x
2

x2 + y2 = d 2 x + 4 x2 + y2
2

) [

)
2

+ y 2 = 4x 2 + 4 y 2 + d 2 x .

2) Para m = 2/3 la curva se llama el nudo de ocho y para el valor d = 2 la ecuacin cartesiana
queda una ecuacin de dcimo grado relativamente sencilla

(3x

+ 6x 2 y 2 + 3y 4 4 y 2

21

) = (x
2

+ y2

Ejercicio 7 Encontrar una formula para hallar la ecuacin cartesiana de las curvas
poligasteroides, tambien llamadas curvas de m vientres, de ecuacin polar
1
r=
, mQ
1 + k cos m
Estas curvas estudiadas por Gino Loria son una generalizacin de la ecuacin polar de las
cnicas.
Araas

Hay dos familias de curvas araas. Las araas envueltas de ecuacin polar

r=a
y las araas desenvueltas de ecuacin polar

r=a

sen n
sen(n 1)

sen n
.
sen(n + 1)

Las ecuaciones cartesianas de ambos tipos se expresan muy bien usando los polinomios
de Chebyshev de segunda clase.
Las araas desenvueltas cumplen la ecuacin

r sen(n 1) = a sen n

por tanto

r sen U n2 (cos ) = a sen U n1 (cos )

simplificando

r U n2 (cos ) = a U n1 (cos )

Por tanto

x
x 2 + y 2 U n2
2
x + y2

x2 + y2

Multiplicando la ecuacin por

n 1

x
= a U
n 1
2

x + y2

tenemos

2
2 (n 1) 2
=

+
a
x
y
U
n 1

2
2
x 2 + y 2
x +y

que es una ecuacin de grado n.

Veamos algunos ejemplos

(x 2 + y 2 )n 2 U n 2

1) Para n = 2 obtenemos la ecuacin x 2 + y 2 = 2ax . Circunferencia de centro (a , 0) y radio a.

22

) (

2) Para n = 3 obtenemos la ecuacin 2 x x 2 + y 2 = a 3x 2 y 2 . La trisectriz de Maclaurin.

)(

3) para n = 4 obtenemos la ecuacin 3x 2 y 2 x 2 + y 2 = 4 xa x 2 y 2 .

)(

) (

4) Para n = 5 Obtenemos la ecuacin 4 x x 2 y 2 x 2 + y 2 = a 5 x 4 10 x 2 y 2 + x 4 .

Observemos que para n mayor que cuatro la araa envuelta tiene n-2 asntotas de
ecuaciones y = x tan k

n 1

, k = 1,.., n 2 . Si n = 3 la trisectriz tiene una asntota vertical de

ecuacin x = 1 .
Para las araas desenvueltas se obtienen resultados anlogos que se dejan como
ejercicio al lector.

23

Nudos

Se llaman curvas nodales o nudos las de ecuacin polar r = a cot k . Las ecuaciones
cartesianas de estas curvas se obtienen usando las funciones de ngulo mltiple de la tangente.
En efecto
y
r = a cot k Rn (tan ) r = a Rn x 2 + y 2 = a
x
Elevando al cuadrado

(x

y
+ y 2 Rn = a 2 .
x
Usando la expresin del ngulo mltiple podemos dar una frmula polinmica equivalente a la
expresin anterior. Esta es
2

(n 1) 2
n 2

n n (2 k +1) 2 k +1
k n n2 k
2
x
( 1)k
y
y 2k .
x + y
= a ( 1) x
2k + 1
2k
k =0
k =0

Luego los nudos son curvas de orden 2n + 2.

Veamos algunos ejemplos
Si n = 1 la curva es una curtica llamada kappa o curva de Gutschoven de ecuacin

y2 x2 + y2 = a2 x2

Si n = 2 la curva es una sxtica llamada molino de viento de ecuacin

4x 2 y 2 x 2 + y 2 = a 2 x 2 y 2 .

Si n = 4 la curva es de orden ocho y tiene por ecuacin

)(

y 2 x 2 + y 2 3x 2 y 2 = a 2 x 2 x 2 3 y 2 .
Ejercicio 8-Hallar las ecuaciones de los nodos si el parmetro k es racional.

24

Curvas de Lissajous
Las curvas de Lissajous se pueden definir por las ecuaciones paramtricas
x = cos(m t + p )
.

y = sen (n t + q )
Fueron descubiertas por el matemtico norteamericano Nataniel Bodwitch en 1815 cuando
estudiaba el movimiento del pndulo compuesto. Posteriormente el fsico francs Jules Antoine
las estudi en sus investigaciones sobre ptica.
El proceso de eliminacin del parmetro t es, salvo en los casos triviales, ms
complicado que en los casos anteriores y excesivamente laborioso y complejo si se utilizan las
tcnicas de eliminacin algebraica. Los dos teoremas explicados mas abajo resuelven fcilmente
la cuestin.
Teorema 1. Dada la curva de Lissajous
x = cos(m t + p )

y = sen (n t + q )

0 t 2 , donde p, q son nmeros reales y m impar.

Llamemos =

. Las coordenadas x, e y de la curva de Lissajous satisfacen la ecuacin

(m1) 2

a) Tn ( x) + Tm ( y) 2 ( 1)
2

Tn (x)Tm ( y) sen cos2 = 0 , cuando cos 0 .

( m 1) / 2
Tm ( y ) = 0 , cuando cos = 0 .
b) sin Tn ( x ) ( 1)

Demostracin.
Aplicando la propiedad caracterstica de los polinomios de Chebyshev y la
correspondiente para m impar para la funcin seno tenemos que
Tn (x ) = Tn (cos(mt + p )) = cos[n (mt + p )] = cos(mn t + n p )

Tm ( y ) = Tm (sen(nt + q )) = sen[m (nt + q )] = sen(mn t + m q )

Aplicando las frmulas de la suma de dos ngulos
cos mnt cos np sen mnt sen np = Tn ( x )

(m1) 2
Tm (x )
cos mnt sen mq + sen mnt cos mq = ( 1)
Este es un sistema lineal en las incgnitas cos mnt y sen mnt con determinante
=

cos np

sen np

sen mq

cos mq

= cos mq cos np + sen mq sen np = cos (mq np ) = cos

Si = cos 0 , aplicando la regla de Cramer

cos cos mnt = cos mq Tn (x ) ( 1)(m1) 2 sen np Tm ( y )

cos sen mnt = sen mq Tn (x ) + ( 1)(m1) 2 cos np Tm ( y )

elevando al cuadrado y sumando miembro a miembro
(m1) 2

cos 2 = Tn (x ) + Tm ( y ) 2 ( 1)
Tn (x )Tm ( y ) (sen mq cos np cos mq sen np )
luego
(m 1) 2
2
2
Tn ( x ) + Tm ( y ) 2 ( 1)
Tn (x )Tm ( y ) sen cos 2 = 0
quedando as demostrada la primera frmula.
Si = cos = 0 el sistema anterior es compatible slo cuando los coeficientes son
proporcionales, es decir cuando
2

25

Tn (x )
cos np sen np
=
=
(
m 1) 2
sen mq cos mq ( 1)
Tm ( y )

por tanto

sen mq Tn (x ) ( 1)(m1) 2 cos np Tm ( y ) = 0

cos mq Tn (x ) ( 1)(m1) 2 sen np Tm ( y ) = 0

Multiplicando la primera por cos np y la segunda por sen np y restando ambas ecuaciones

queda

(sen mq cos np cos mq sen np ) Tn (x ) ( 1)(m1) 2 (cos 2 np + sen 2 np ) Tm (x ) = 0

por tanto

(m 1) 2

sen Tn (x ) ( 1)

Tm (x ) = 0

c.q.d.
Es natural preguntarnos si el recproco del teorema anterior es cierto, es decir si un
punto que satisface la ecuacin cartesiana satisface las ecuaciones paramtricas. La respuesta es
s en el primer caso y este hecho se demuestra en el teorema 2.
Teorema 2. Si un punto (a, b) satisface la ecuacin cartesiana
(m1) 2

Tn (x) + Tm ( y) 2 ( 1)
con m impar y cos 0 ,

2
m
2

Tn (x)Tm ( y) sen cos2 = 0

a = cos d t 0 + n k

k,l Z ,
existe un t0 tal que

b = sen t 0 + + 2 l

m m
d
donde d = m.c.d .(m,n )
.
Es decir la curva descrita por la ecuacin dada es una unin finita de curvas de Lissajous.
Observaciones:
1) Notemos que en una curva de Lissajous siempre podemos tomar p = 0. Basta realizar el
p
cambio de parmetro t = u .
m
2) La ecuacin cartesiana nos determina n, p y sen . El ngulo puede tomar una infinidad de

valores. Una vez elegido uno cualquiera de ellos q = .

m
Demostracin
Sabemos que

(m1) 2

Tn (a) + Tm (b) 2 ( 1)
2

Tn (a)Tm (b) sen cos2 = 0

Teniendo en cuenta la identidad trigonomtrica cos 2 + sen 2 = 1 tenemos

(m1) 2

cos2 Tn (a) + sen2 Tn (a) 2 sen Tn (a) ( 1)

2

Por tanto

Tm (b) +Tm (b) = cos2

2

(cos Tn (a))2 + (sen Tn (a) ( 1)(m1) 2 Tm (b))

= cos2

Dividiendo por cos

2

sen Tn (a) ( 1)(m1) 2 Tm (b)

Tn (a) +
=1
cos

Luego existe un valor tal que

26

Tn (a) = cos

(m1) 2
Tm (b)
sen Tn (a) ( 1)
= sen

cos
Despejando

(m1) 2

Tm (b) = ( 1)

(m1) 2

(sen cos cos sen ) = ( 1)

sen( + )

Luego

Tn (a) = cos

(m1) 2
sen( + )
Tm (b) = (1)
Por tanto podemos haciendo a = cos y b = sen tenemos que
2
Tn (cos ) = cos cosn = cos = + k k Z
n n
y

= m + m + m l
Tm (sena) = sen( + ) senm = sen( + )
l Z

2
,
= + + l
m m m

m n t0
se deduce el resultado enunciado.
d
Cuando m es par se tienen resultados anlogos que se enuncian en los teoremas
siguientes.
Sea d = m.c.d .(m,n ) . Haciendo =

Teorema. 3 Dada la curva de Lissajous

x = cos(m t + p )

y = sen (n t + q )

0 t 2 , donde p, q son nmeros reales y m par.

m p
Llamemos =
. Entonces la ecuacin cartesiana de la curva de Lissajous es
n q
a) Tn ( x ) 2 + Tm ( y ) 2 2( 1) m / 2 Tn ( x )Tm ( y ) cos sin 2 = 0 cuando sin 0 ,
b) cos Tn ( x) ( 1) m / 2 Tm ( y ) = 0 cuando sin = 0 .
Teorema 4. Si un punto (a, b) satisface la ecuacin cartesiana

Tn ( x ) 2 + Tm ( y ) 2 2(1) m / 2 Tn ( x )Tm ( y ) cos sin 2 = 0

con m par y sen 0 ,

2
m
a = cos d t 0 + n k

k,l Z ,
existe un t0 tal que

b = sen t 0 + + 2 l

m m
d
donde d = m.c.d .(m,n )
.
Es decir la curva descrita por la ecuacin dada es una unin finita de curvas de Lissajous.

27

Las demostraciones de los teoremas 3 y 4 son anlogas a las de los teoremas 1 y 2 y no

las haremos. El lector interesado puede consultar el artculo [3]. Resumiendo la curva de
Lissajous definida por la ecuacin paramtrica coincide con la definida por su ecuacin
cartesiana cuando m es impar y cos es distinto de cero o cuando m es par y sen es distinto
de cero Diremos entonces que la curva de Lissajous es no degenerada y en caso contrario
decimos que es degenerada. Cuando la curva de Lissajous es degenerada la ecuacin
paramtrica es slo un arco de la curva definida por la ecuacin cartesiana. Ver los casos
degenerados de los ejemplos 1 y 2.
Ejercicio 9. Demostrar los siguientes hechos en una curva de Lissajous degenerada
a) La curva queda determinada con un intervalo de longitud .
b) La curva es un arco con un origen y un extremo.
c) Los puntos singulares son nodos
Ejercicio 10 Demostrar lo siguiente hechos en una curva de Lissajous no degenerada
a) La curva queda determinada con un intervalo de longitud 2.
b) La curva es curva cerrada y todos los puntos singulares son nodos.

Apliquemos los teoremas a algunos ejemplos seleccionados

1. Alforja
La alforja es la curva de ecuaciones paramtricas

x = c cos t

c
y = sen(2t + ) + c sen

2
2

1
En este caso m =1 es impar y =
2 = + . Cuando cos( + ) = 0 , es decir cuando
2

+ k

kZ

podemos aplicar la formula

x
2y

+ sen = 0
sen T2 T1
c
c

es decir

x 2 2 y

+ sen = 0
sen 2 1
c
c

operando nos queda

sen 2
x
c
como cos = 0 tenemos que la ecuacin de la curva es
y=

y=

x2
c

y=

x2
c

que es la ecuacin de una parbola.

Observemos que en este caso la curva parametrizada es un arco de parbola.
Cuando cos 0 tenemos
2

x
2y

x 2y

+ sen 2 T1 T2
+ sen sen cos2 = 0
T1 + T2
c
c

c c

Operando queda
4 x 4 8sen x 2 y 4 cos 2 x 2 4 y 2

+ 2 =0
c4
c3
c2
c

28

Multiplicando por

c4
4

x 4 2c sen x 2 y c 2 cos 2 x 2 + c 2 y 2 = 0
llamando a = c cos y b = c sen queda

x 4 2b x 2 y a 2 x 2 + a 2 + b 2 y 2 = 0
o bien

(x

by = a 2 x 2 y 2
que es la ecuacin cartesiana de la alforja

Cuando b=0 la alforja se llama Lemniscata de Gerono

x4 = a2 x2 y 2

x = c cos t 2

y =
sen 2t
2
2

2) Cbica Crunodal

x = cos 2t

y = sen 3t +

2 0
= 0 , la frmula es por tanto
En este caso m =2 es par y sen = sen
3
2

cos Tn ( x) ( 1) m / 2 Tm ( y ) = 0
Sustituyendo

29


cos T3 (x ) ( 1)T2 ( y ) = 0
2

Operando

2 y 2 = 4 x 3 3x + 1
Esta curva se llama cbica con punto doble o cbica crunodal.

Observemos que es una curva de Lissajous degenerada y que la curva parametrizada es

un arco de la cbica con forma de letra alfa.

Otro Ejemplo con m par

x = cos 2t

y = sin 3t +

2 0
= 1 , la frmula es por tanto
En este caso m =2 es par y sen = sen
3
4
Tn ( x ) + Tm ( y ) 2 ( 1)
2

m2

Tn (x )Tm ( y ) cos sin 2 = 0

sustituyendo
T3 (x ) + T2 ( y ) 2 ( 1) Tn (x )Tm ( y ) cos
2

Operando

(4 x

) (
2

3x + 2 y 2 1 = 1

o bien

30

sin 2

=0

(4 x

3x = 4 y 2 y 4 .

Ejemplo de curva reducible

La curva definida por las ecuaciones

x = cos 8t + 2

y = sen 12t +

Satisface la ecuacin

3
= 0.
4
Esta ecuacin nos determina cuatro componentes irreducibles que corresponden a las cuatro
curvas de Lissajous siguientes:
T12 ( x ) + T8 ( y ) + T12 ( x ) T8 ( y )
2

x = cos 2t

y = sen 3t 5

12

x = cos 2t + 6

y = sen 3t

12

x = cos 2t + 3

y = sen 3t

12

x = cos 2t + 2

y = sen 3t

12

31

Las cuatro grficas juntas

Observemos que la curva parametrizada inicial satisface tambin las ecuaciones

x = cos 2t + 2

y = sen 3t +

o eligiendo el parmetro p =0
x = cos 2t

y = sen 3t 5 .

12

Cualquiera de estas dos ecuaciones paramtricas nos generan

T3 (x ) + T2 ( y ) 3T3 (x ) T2 ( y )
2

1
=0
4
.

Referencias
1. R. L. Burden y J. D. Faires, Anlisis Numrico, Grupo Editorial IberoAmericana, 1985.
2. F. Cajori, A History of Mathematics , Chelsea, 1999)
3. J. Castieira Merino, Lissajous Figures and Chebyshev Polynomials, The College
Mathematics Journal 34 (2003) #2, 122-127.
4. Eli Maor, Trigonometric Delights, Princenton University Press, 1998.
5. J. W. Rutter, Geometry of Curves, Chapman & Hall, 2000.
6. Vinogradov y otros, Enciclopedia de las Matemticas, Editorial Mir-Rubios, 1994.

32

Revista Escolar de la Olimpada Iberoamericana de

Matemtica
http://www.campus-oei.org/oim/revistaoim/

Edita: