Documente Academic
Documente Profesional
Documente Cultură
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
T4 ( x ) = 8 x 4 8 x 2 + 1
T5 ( x ) = 16 x 5 20 x 3 + 5 x
T6 ( x ) = 32 x 6 48 x 4 + 18 x 2 1
cos 0a = 1 = T0 (cos a ),
es decir
Luego
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
Demostracin
En efecto
( 1)(n1) 2 sen na
Tn (sen a ) =
( 1)n 2 cos na
n impar
n par
2
2
como
n
,
cos
cos na + sen
sen na =
na = cos
2
2
( 1)n 2 cos na ,
2
n par
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 )
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
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
derivando
T
sen na = ( 1)n 21 cos a n
(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
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
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
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
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
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
n k
(2 x )n2k .
k
U n (x ) = ( 1)k
k =0
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
(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 ) .
x
2
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
x1 = 2 , x 2 =
1 5
1+ 5
.
, x3 =
2
2
x
T5 + 1 = 0
2
Haciendo
x
2
2 cos
, 2 cos
cos
k = 0 ,1,.., 4
3
5
7
9
, 2 cos
, 2 cos
, 2 cos
5
5
5
5
= cos
9
5
y cos
x1 = 2 , x 2 = 2 cos
3
7
= cos
5
5
, x3 = 2 cos
5
5
Por tanto
cos
1+ 5
=
4
2
y cos
3 1 5
1
=
=
5
4
2
x
2
cos
2 1 + 5
1
=
=
5
4
2
y cos
4 1 5
.
=
=
5
4
2
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
cos
10
, x 4 = sen
1
10 + 2 5
4
y cos
3 1
=
10 2 5 .
10 4
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
= 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
cambiando
el
signo
haciendo
el
cambio
variable z =
de
y
2
obtenemos
la
z1 = 2 cos
2
4
6
.
, z 2 = 2 cos
, z 3 = 2 cos
7
7
7
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
( 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
x
2 T45 = c .
2
z
z 3 3 z = c 2 T3 = c
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
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
r = a cos m ,
x = a cos m cos
y = a sen m sen
x
x2 + y2
x + y = a Tm
2
2
x +y
2
x
x2 + y2
x + y = a T3
2
2
x +y
2
x2 + y2 =
Operando
4 x
3 x 2 + y 2
2
2
x2 + y2 x + y
ax
(x
+ y2
= ax x 2 3y 2 .
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
+ y2
= a2 x2 y2 .
p
el proceso necesita una modificacin. Podemos realizar
q
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
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
2
2
x
=T x + y
T1
2
2
2
a
x +y
Es decir
2
x
x2 + y2
x2 + y2
1
= 2
(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
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
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
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,
19
(x
= x2 + y2
+ y2
dx x 4 10 x 2 y 2 + 5 y 4
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
x2 + y2 1
x
=T
Tp
x2 + y2 q
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
simplificando
r U n2 (cos ) = a U n1 (cos )
Por tanto
x
x 2 + y 2 U n2
2
x + y2
x2 + y2
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
(x 2 + y 2 )n 2 U n 2
22
) (
)(
)(
) (
Observemos que para n mayor que cuatro la araa envuelta tiene n-2 asntotas de
ecuaciones y = x tan k
n 1
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
y2 x2 + y2 = a2 x2
)(
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 )
a) Tn ( x) + Tm ( y) 2 ( 1)
2
( 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 )
(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 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
queda
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
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
(m1) 2
Tn (a) + Tm (b) 2 ( 1)
2
Por tanto
= cos2
26
Tn (a) = cos
(m1) 2
Tm (b)
sen Tn (a) ( 1)
= sen
cos
Despejando
(m1) 2
Tm (b) = ( 1)
(m1) 2
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 =
x = cos(m t + p )
y = sen (n t + q )
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
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
+ sen = 0
sen T2 T1
c
c
es decir
x 2 2 y
+ sen = 0
sen 2 1
c
c
sen 2
x
c
como cos = 0 tenemos que la ecuacin de la curva es
y=
y=
x2
c
y=
x2
c
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
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.
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
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 .
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
x = cos 2t + 2
y = sen 3t +
o eligiendo el parmetro p =0
x = cos 2t
y = sen 3t 5 .
12
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
Edita: