Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FormulasdeAnguloMltiple PDF
FormulasdeAnguloMltiple PDF
Este trabajo explica algunas de las propiedades de las fórmulas de ángulo múltiple. En
primer lugar expresaremos de forma concisa las fórmulas de ángulo múltiple de las funciones
trigonométricas e hiperbólicas. Posteriormente utilizaremos estas fórmulas en algunas temas de
trigonometría, álgebra y en geometría.
Para la función coseno, las fórmulas de ángulo múltiple se pueden expresar usando los
polinomios de Chebyshev [1], [6]. Estos polinomios están definidos por la relación de
recurrencia
T0 (x ) = 1, T1 (x ) = x
Tn (x ) = 2 x ⋅ Tn−1 (x ) − Tn−2 (x ) , n ≥ 2 .
Los ocho primeros polinomios con sus correspondientes fórmulas de ángulo múltiple son:
Polinomio Fórmula
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
1
Sustituyendo x = cos a en la fórmula 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 fórmula anterior también se verifica para valores complejos del argumento,
puesto que la fórmula de la diferencia de cosenos es cierta para argumento complejo. Una
consecuencia de este hecho es que la fórmula de argumento múltiple para el coseno hiperbólico
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
(− 1)(n−1) 2 ⋅ sen na n impar
Tn (sen a ) =
(− 1)n 2 ⋅ cos na n par
Demostración
En efecto
π π nπ
Tn (sen a ) = Tn cos − a = cos n ⋅ − a = cos − na ,
2 2 2
como
nπ nπ nπ (− 1)(n−1) 2 ⋅ sen na , n impar
cos − na = cos cos na + sen sen na = ,
2 2 2 (− 1)n 2 ⋅ cos na , n par
la igualdad queda demostrada.
Ejercicios
1. Demostrar que el polinomio de Chebyshev tiene grado n y tiene n raíces simples.
2. Demostrar que el polinomio de Chebyshev de grado n es una función par si n es par y es una
función impar si n es impar.
3.-Demostrar la propiedad transitiva de los polinomios de Chebyshev
Tn (Tm ( x )) = Tn⋅m ( x ) .
2
Los siete primeros polinomios de Chebyshev de segunda clase con sus correspondientes
fórmulas de ángulo múltiple son:
Polinomio Fórmula
U 0 (x ) = 1 sen 1a = sena
U1 ( x ) = 2 x sen 2a = 2sen a ⋅ cos a
U 2 (x ) = 4 x 2 − 1 (
sen 3a = sen a ⋅ 4 cos 2 a − 1 )
U 3 (x ) = 8 x 3 − 4 x sen 4a = sen a ⋅ (8 cos 3 a − 4 cos a )
U 4 (x ) = 16 x 4 − 12 x 2 + 1 sen 5a = sen a ⋅ (16 cos 4 a − 12 cos 2 a + 1)
U 5 ( x ) = 32 x 5 − 32 x 3 + 6 x sen 6a = sen a ⋅ (32 cos 5 a − 32 cos 3 a + 6 cos a )
U 6 (x ) = 64 x 6 − 80 x 4 + 24 x 2 − 1 sen 6a = sen a ⋅ (64 cos a − 80 cos a + 24 cos a − 1)
6 4 2
Demostración
Si n es impar basta despejar el seno en la formula Tn (sen a ) = (− 1)(n−1) 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 múltiple
T '
(sen a )
sen na = (− 1)n 2−1 ⋅ cos a ⋅ n = (− 1)n 2−1 ⋅ cos a ⋅ U n−1 (sen a ) .
n
Los polinomios de Chebyshev de primera y segunda clase están relacionados por la
fórmula
Tn (x ) = U n (x ) − xU n −1 (x )
En efecto
sen(n +1)a = sen na ⋅ cos a + cos na ⋅ sen a
Por tanto
sena ⋅ U n (cos a ) = sena ⋅ U n−1 (cos a ) ⋅ cos a + Tn (cos a ) ⋅ sen a
dividiendo por sen a
U n (cos a ) = U n−1 (cos a ) ⋅ cos a + Tn (cos a )
sustituyendo cos a por x y despejando Tn obtenemos
Tn ( x ) = U n (x ) − xU n−1 ( x ) .
Los polinomios de Chebyshev de segunda clase satisfacen la siguiente relación
U 0 (x ) = 1, U 1 (x ) = 2 x ,
U n (x ) = 2 x ⋅ U n −1 (x ) − U n −2 (x ) n ≥ 2
Demostración
Es claro que
3
1 d
U 0 (x ) = ⋅ T1 (x ) = 1
1 dx
,
U1 (x ) =
1 d
2 dx
T2 (x ) =
1 d
2 dx
2
2x − 1 = 2x ( )
Veamos que satisfacen la relación de recurrencia.
Derivando la relación
Tn (x ) = 2 x ⋅ Tn−1 (x ) − Tn−2 (x )
obtenemos
Tn' (x ) = 2 ⋅ Tn−1 (x ) + 2 x ⋅ Tn' −1 (x ) − Tn' −2 (x )
Sustituyendo
nU n−1 ( x ) = 2 ⋅ (U n−1 (x ) − xU n−2 ( x )) + 2 x ⋅ (n − 1)U n−2 ( x ) − (n − 2)U n−3 ( x )
Operando
(n − 2)U n−1 (x ) = 2 ⋅ x ⋅ (n − 2) ⋅ U n−2 (x ) − (n − 2) ⋅ U n−3 (x )
Dividiendo por n − 2 obtenemos U n−1 (x ) = 2 ⋅ xU n−2 (x ) − U n−3 (x )
Por tanto
U n (x ) = 2 ⋅ xU n−1 (x ) − U n−2 (x ) .
Las fórmulas de recurrencia anteriores son interesantes desde el punto de vista teórico y
permiten hallar los polinomios de Chebyshev para valores pequeños de n. Pero para valores
moderados de n son completamente inútiles. Por fortuna disponemos de las siguientes fórmulas
explicitas de los polinomios de Chebyshev de primera y de segunda clase para n mayor que
cero.
n
n2
(− 1)k n − k (2 x )n−2k
Tn ( x ) = ∑
2 k =0 n − k k
y
n2
n − k
U n (x ) = ∑ (− 1)k k
(2 x )n−2k
k =0
Estas fórmulas se pueden demostrar por inducción. Demostraremos la fórmula para los
polinomios de Chebyshev de segunda clase y dejaremos la otra fórmula al lector.
Demostración
Para n = 1 y n = 2 se cumplen. En efecto
1
U1 (x ) = (− 1)0 ⋅ (2 x )1−0 = 2 x
0
2 1
U 2 (x ) = (− 1)0 ⋅ (2 x )2−0 + (− 1)1 ⋅ (2 x )2−2 = 4 x 2 − 1
0 1
Demostremos que si se cumple para k < n entonces se cumple para n:
Sabemos que
U n (x ) = 2 ⋅ xU n−1 (x ) − U n−2 (x )
usando la hipótesis de inducción podemos afirmar que
(n −1) 2 (n − 2 ) 2
k n −1− k n − 2− k
U n (x ) = 2 ⋅ x ⋅ ∑(− 1) (2 x ) n −1− 2 k
− ∑ (− 1)k (2 x )n −2−2k ,
k =0 k k =0 k
operando y renombrando el índice del segundo sumatorio
(n−1) 2 n −1− k (n − 2 ) 2 n−2−
(− 1)k (− 1) j +1
j
U n (x ) = ∑ k
(2 x )n −2k +
∑ j
(2 x )n−2−2 j ,
k =0 j =0
haciendo el cambio de índices k = j +1 en el segundo sumatorio
4
(n−1) 2 (k + 1) n2
n − (k + 1)
k n −
U n (x ) = ∑ (− 1)
k
(2 x )
n−2k
+ ∑ (− 1)k k −1
(2 x )n−2k .
k =0 k =1
Tenemos dos casos. Si n es impar
n2
n − (k + 1) n − (k + 1)
U n (x ) = (2 x )n + ∑ (− 1)k k
+
k − 1
(2 x )n−2k ,
k =1
luego la propiedad de los números combinatorios
n2 n2
n − k n − k
U n (x ) = (2 x )n + ∑ (− 1)k ⋅ k
⋅(2 x )n−2k =
(− 1)k ∑ ⋅
k
⋅(2 x )n−2 k .
k =1 k =0
Si n es par
n 2−1
n − (k + 1) n − (k + 1)
U n (x ) = (2 x )n + ∑ (− 1)k k
+
k − 1
(2 x )n−2k + (2 x )n 2 ,
k =1
luego también en este caso
n2
n − k
U n (x ) = ∑ (− 1)k ⋅ ⋅(2 x )n−2k .
k =0 k
∑ 2k ⋅ x n − 2k ⋅ (x 2 − 1)
n2
n k
Tn (x ) =
k =0
y
∑ 2k + 1 ⋅ x n − 2k ⋅ (x 2 − 1)
n2
n +1 k
U n (x ) =
k =0 .
5
5t − 10t 3 + t 5
tan 5 x = con t = tan x .
1 − 10t 2 + 5t 4
k =0
Por ejemplo
6 ⋅ Th a + 20 ⋅ Th 3 a + 6 ⋅ Th 5 a
Th 6a = .
1 + 15 ⋅ Th 2 a + 15 ⋅ Th 4 a + Th 6 a
Las funciones racionales
(n −1) 2 n
∑
2 k + 1
⋅ t 2 k +1
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 n⋅m (t ) .
6
Cálculo algebraico de las razones trigonométricas
Las funciones de ángulo múltiple permiten calcular las razones trigonométricas de
muchos ángulos de forma puramente algebraica. Veamos algunos ejemplos
1) Razones trigonométrica de π / 5
Podemos calcular el coseno de π / 5 radianes usando el polinomio de Chebishev de quinto
x
grado. Para ello resolvamos la ecuación T5 + 1 = 0 de dos maneras. La primera de forma
2
algebraica y la segunda utilizando las propiedades de las funciones trigonométricas.
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
1
la segunda ecuación es una ecuación recíproca. Haciendo el cambio w = x − queda
x
w 2 − 2w − 1 = 0 ⇒ w = 1
Por tanto
1 1± 5
x− =1⇒ x =
x 2
1+ 5 1− 5
observemos que por ser w = 1 una raíz doble también son raíces dobles y .
2 2
Las raíces de la ecuación dada ordenadas de menor a mayor son
1− 5 1+ 5
x1 = −2 , x 2 = , x3 = .
2 2
Resolvamos ahora la ecuación utilizando las propiedades trigonométricas
x
T5 + 1 = 0
2
x π 2π
Haciendo = cos α tenemos cos 5α = −1 ⇒ α = + k k = 0 ,1,.., 4
2 5 5
Las soluciones de la ecuación son
π 3π 5π 7π 9π
2 ⋅ cos , 2 ⋅ cos , 2 ⋅ cos , 2 ⋅ cos , 2 ⋅ cos
5 5 5 5 5
Teniendo en cuenta que
π 9π 3π 7π
cos = cos y cos = cos
5 5 5 5
las raíces ordenadas de la ecuación son
3π π
x1 = −2 , x 2 = 2 ⋅ cos , x3 = 2 ⋅ cos
5 5
Por tanto
π 1+ 5 Φ 3π 1 − 5 −1
cos = = y cos = =
5 4 2 5 4 2⋅Φ
donde Φ es la razón áurea.
x
Análogamente resolviendo la ecuación T5 − 1 = 0 obtenemos los valores
2
7
2π − 1 + 5 1 4π − 1 − 5 − Φ
cos = = y cos = = .
5 4 2⋅Φ 5 4 2
2π
2) Calculo del coseno de radianes
7
T7 ( x )
La ecuación = 0 ⇔ 64 x 6 − 112 x 4 + 56 x 2 − 7 = 0 tiene por raíces
x
π
x k = sen k k = 1, 2 ,..., 6 .
7
2
Si en esta ecuación hacemos el cambio y = 2 x − 1 obtenemos la ecuación
− 8 y 3 − 4 y 2 + 4 y + 1 = 0 cuyas raíces son
2π 4π 6π
y1 = cos , y 2 = cos , y3 = cos ,
7 7 7
8
y
cambiando el signo y haciendo el cambio de variable z = obtenemos la
2
ecuación z 3 + z 2 − 2 z − 1 = 0 , cuyas raíces son
2π 4π 6π
z1 = 2 cos , z 2 = 2 cos , z 3 = 2 cos .
7 7 7
Resolvamos esta ecuación usando las formulas de Cardano
Obtenemos
2π 1
cos = − 2 + 3 28 + 84 3 ⋅ i + 3 28 − 84 3 ⋅ i ≅ 0.6234898
7 12
cos
4π − 1
7
=
24
( ) (
)
4 + 1 + 3 ⋅ i 3 28 + 84 3 ⋅ i + 1 − 3 ⋅ i 3 28 − 84 3 ⋅ i ≅ −0.22252
cos
6π − 1
7
=
24
( ) (
− 2 + 1 − 3 ⋅ i 3 28 + 84 3 ⋅ i + 1 + 3 ⋅ i 3 28 − 84 3 ⋅ i ≅ −0.9001
)
Donde la raíz cúbica compleja se calcula en la rama principal
9
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
podía también resolver la ecuación
y 9 − 9 y 7 + 27 y 5 − 30 y 3 + 9 y = c ,
que escrita en término de los polinomios de Chebyshev es
y y
2 ⋅ T3 T3 = c ⇔ 2 ⋅ T9 = c .
2 2
Si en la ecuación anterior hacemos el cambio de variable
x
y = 2 ⋅ T5 ⇔ y = x 5 − 5 x 3 + 5 x
2
obtenemos la ecuación
x x
2 ⋅ T3 T3 T5 = c ⇔ 2 ⋅ T45 = c
2 2
que es la ecuación de Van Roomen.
10
Curvas en Polares
La ecuación polar de muchas curvas se expresa por medio de funciones trigonométricas.
Los polinomios de Chebyshev de primeray de segunda clase son útiles para calcular la ecuación
cartesiana de la curva.
Ilustraremos la técnica del paso de la ecuación polar a la cartesiana con dos ejemplos
muy sencillos: la lemniscata de Bernoulli y la cúbica de Tschirnhausen. Posteriormente
aplicaremos esta técnica a las Rosas, Curvas Botánicas, Arañas y Curvas Nodales. Las
definiciones de estas curvas pueden encontrarse en [6] y [5].
La Lemniscata de Bernoulli
Luego
x
x 2 + y 2 = a 2T2
x2 + y2
Es decir
2
2
2 2 2 x
x + y = a ⋅ 2 ⋅ − 1
x + y
2 2
Operando
(x 2
+ y2 )
2
(
= a2 ⋅ x2 − y2 . )
La Cúbica de Tschirnhausen
Su ecuación polar es
θ
r = a ⋅ sec 3
3
Por tanto
θ a
cos =3
3 3
Luego
θ a
T3 cos = T3 3
3 3
11
es decir
θ a a
cos =4 − 3⋅3
3 r r
Sustituyendo
x 4a 3⋅3 a
= −
x2 + y2 x2 + y2 6 x2 + y2
Operando
x = 4a − 3 ⋅ 3 a ⋅ 3 x 2 + y 2
Despejando las raíces y elevando al cubo
( )
27 a ⋅ x 2 + y 2 = (4a − x )3 .
12
Rosas
13
2
x
2
x + y = a ⋅ Tm 2
2
2 2
x +y
Por ejemplo el Quadrifolium r = a ⋅ cos 2θ
2
x
x 2 + y 2 = a 2 ⋅ T2
2 2
x +y
por tanto
2
x2
x + y = a ⋅2 2
2 2
−2
1
x + y2
operando
(x 2
+ y2 )
3
( )2
= a2 ⋅ x2 − y2 .
p
Para valores fraccionarios de m = el proceso necesita una modificación. Podemos realizar
q
el proceso de la siguiente forma
p r θ
r = a ⋅ cos θ ⇒ = cos p
q a q
por tanto
x2 + y2 x2 + y2
θ
= T p cos ⇒ Tq = T T cos θ
q p
a q a
q
( ) ( )
Como T p Tq ( x ) = Tq T p ( x ) = T p⋅q (x ) tenemos que
14
x2 + y2
Tq = T T cos θ = T (cos(θ ))
p q
q
p
a
Luego
2 2
Tp
x =T x + y
2 2 q
a
x +y
Veamos algunos ejemplos
θ
1) Para m =1/2 tenemos el Folium de Durero r = a ⋅ cos
2
2 2
T1
x =T x + y
2 2
2
a
x +y
Es decir
2
x x2 + y2
= 2 −1
x2 + y2 a
Simplificando y elevando al cuadrado para racionalizar
(2 x 2
+ 2y2 − a2 ) ⋅ (x
2 2
)
+ y2 = a4x2
la curva es simétrica respecto de los ejes de coordenadas. Esta situación se cumple para los
1
valores de m = .
2n
1
2) Para m = tenemos
3
θ
r = a ⋅ cos
3
2 2
T1
x =T x + y
2 2
3
a
x +y
es decir
15
2
x x 2 + y 2 x 2 + y 2
= 4 − 3
x2 + y2 a a
Operando
(x 2
)( )
+ y 2 4 x 2 + 4 y 2 − 3a 2 = a 3 x .
La curva en este caso es simétrica respecto del eje OX. Observemos que no hemos
tenido que elevar al cuadrado en el proceso de eliminación. Análogamente a este caso ocurre
1
para m = .
2n + 1
4 4θ
3) Para m = la ecuación polar es r = a ⋅ cos y siguiendo el mismo proceso se obtiene la
5 5
ecuación cartesiana
(
a10 x 4 − 6 x 2 y 2 + y 4 ) = (x
2 2
+ y2 ) (16x
5 4
+ 32 x 2 y 2 − 20a 2 x 2 + 16 y 4 − 20a 2 y 2 + 5a 4 )
2
Rosa 4/5
16
Curvas Botánicas
17
Los diferentes tipos del Caracol de Pascal
18
2) Para m = 2 obtenemos
2
x − 1
x + y = 1+ d ⋅ 2 ⋅
2 2
x 2 + y 2
Operando
(x 2
+ y2 )
3
2
= (d + 1) ⋅ x 2 − (d − 1) y 2
y elevando al cuadrado
(x ) [
+ y 2 = (d + 1) ⋅ x 2 − (d − 1) y 2
2 3
]2
si d = 1óvalo doble,
19
3) para m =5 se obtiene la ecuación de grado 12
(x ) ( ) ( )
2
= x2 + y2 − dx x 4 − 10 x 2 y 2 + 5 y 4
2 5 3
+ y2
para d > 1 la curva se llama Rosa de Troya,
y para d =1 no tiene nombre especial. La forma de esta curva botánica nos recuerda la Rosa de 5
pétalos que la genera.
20
Curvas Botánicas con valores fraccionarios del parámetro m.
Si m = p/q el proceso de reducción se basa en racionalizar la siguiente fórmula
x x2 + y2 − 1
Tp =T .
x2 + y2 q d
La deducción de la fórmula es un proceso análogo al seguido con las rosas y se deja su
verificación al lector. Veamos algunos ejemplos de curvas notables
1) Para m = 1/2 la curva se llama la Nefroide de Freeth, su ecuación polar es
θ
r = 1 + d ⋅ cos
2
y la ecuación cartesiana se obtiene racionalizando la ecuación
2
x x2 + y 2 −1
= 2⋅ −1
2
x +y 2 d
Operando
(2 x 2
+ 2y2 + 2 − d 2 ) (
x2 + y2 = d 2 ⋅ x + 4 x2 + y2 )
Elevando al cuadrado
(2 x 2
+ 2y2 + 2 − d 2 ) (x
2 2
) [
+ y 2 = 4x 2 + 4 y 2 + d 2 ⋅ x . ] 2
2) Para m = 2/3 la curva se llama el nudo de ocho y para el valor d = 2 la ecuación cartesiana
queda una ecuación de décimo grado relativamente sencilla
(3x 4
+ 6x 2 y 2 + 3y 4 − 4 y 2 ) = (x
2 2
+ y2 )
5
21
Ejercicio 7 Encontrar una formula para hallar la ecuación cartesiana de las curvas
poligasteroides, tambien llamadas curvas de m vientres, de ecuación polar
1
r= , m∈Q
1 + k ⋅ cos mθ
Estas curvas estudiadas por Gino Loria son una generalización de la ecuación polar de las
cónicas.
Arañas
Hay dos familias de curvas arañas. Las arañas envueltas de ecuación polar
sen nθ
r=a
sen(n − 1)θ
y las arañas desenvueltas de ecuación polar
sen nθ
r=a .
sen(n + 1)θ
Las ecuaciones cartesianas de ambos tipos se expresan muy bien usando los polinomios
de Chebyshev de segunda clase.
Las arañas desenvueltas cumplen la ecuación
r ⋅ sen(n − 1)θ = a ⋅ sen nθ
por tanto
r ⋅ senθ ⋅U n−2 (cosθ ) = a ⋅ senθ ⋅U n−1 (cosθ )
simplificando
r ⋅U n−2 (cosθ ) = a ⋅U n−1 (cosθ )
Por tanto
x x
x 2 + y 2 ⋅U n−2 = a ⋅U
x + y2
2 n −1
x + y2
2
n −1
Multiplicando la ecuación por x2 + y2 tenemos
(x 2 + y 2 )n 2 ⋅U n − 2
2
2
= a ⋅ x
x2
+ y 2 (n −1) 2
U (
n −1 )x
x 2 + y 2
x +y
que es una ecuación de grado n.
Veamos algunos ejemplos
1) Para n = 2 obtenemos la ecuación x 2 + y 2 = 2ax . Circunferencia de centro (a , 0) y radio a.
22
( ) ( )
2) Para n = 3 obtenemos la ecuación 2 x ⋅ x 2 + y 2 = a ⋅ 3x 2 − y 2 . La trisectriz de Maclaurin.
( )( ) (
3) para n = 4 obtenemos la ecuación 3x 2 − y 2 ⋅ x 2 + y 2 = 4 xa ⋅ x 2 − y 2 . )
( )( ) (
4) Para n = 5 Obtenemos la ecuación 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 araña envuelta tiene n-2 asíntotas de
π
ecuaciones y = x ⋅ tan k , k = 1,.., n − 2 . Si n = 3 la trisectriz tiene una asíntota vertical de
n −1
ecuación x = 1 .
Para las arañas desenvueltas se obtienen resultados análogos que se dejan como
ejercicio al lector.
23
Nudos
Se llaman curvas nodales o nudos las de ecuación polar r = a ⋅ cot kθ . Las ecuaciones
cartesianas de estas curvas se obtienen usando las funciones de ángulo múltiple de la tangente.
En efecto
y
r = a ⋅ cot kθ ⇔ Rn (tan θ ) ⋅ r = a ⇔ Rn ⋅ x 2 + y 2 = a
x
Elevando al cuadrado
2
(x 2 y
)
+ y 2 ⋅ Rn = a 2 .
x
Usando la expresión del ángulo múltiple podemos dar una fórmula polinómica equivalente a la
expresión anterior. Esta es
2 2
(n −1) 2 n n −(2 k +1) 2 k +1 n 2
( 2 2
x + y ⋅ ) ∑ (− 1)k x ⋅y 2 k n n−2 k
∑
= a ⋅ (− 1) x ⋅ y 2k .
k =0 2k + 1 k =0 2k
Luego los nudos son curvas de orden 2n + 2.
Veamos algunos ejemplos
Si n = 1 la curva es una cuártica llamada kappa o curva de Gutschoven de ecuación
(
y2 ⋅ x2 + y2 = a2 x2 )
24
Curvas de Lissajous
Las curvas de Lissajous se pueden definir por las ecuaciones paramétricas
x = cos(m ⋅ t + p )
.
y = sen (n ⋅ t + q )
Fueron descubiertas por el matemático norteamericano Nataniel Bodwitch en 1815 cuando
estudiaba el movimiento del péndulo compuesto. Posteriormente el físico francés Jules Antoine
las estudió en sus investigaciones sobre óptica.
El proceso de eliminación del parámetro t es, salvo en los casos triviales, más
complicado que en los casos anteriores y excesivamente laborioso y complejo si se utilizan las
técnicas de eliminación algebraica. Los dos teoremas explicados mas abajo resuelven fácilmente
la cuestión.
b) sin δ Tn ( x ) − ( −1)
( m −1) / 2
Tm ( y ) = 0 , cuando cos δ = 0 .
Demostración.
Aplicando la propiedad característica de los polinomios de Chebyshev y la
correspondiente para m impar para la función 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 )
(m−1) 2
cos 2 δ = Tn (x ) + Tm ( y ) − 2 ⋅ (− 1) ⋅ Tn (x )Tm ( y ) ⋅ (sen mq ⋅ cos np − cos mq ⋅ sen np )
2 2
luego
(m −1) 2
Tn ( x ) + Tm ( y ) − 2 ⋅ (− 1) ⋅ Tn (x )Tm ( y ) ⋅ senδ − cos 2 δ = 0
2 2
25
cos np − sen np Tn (x )
= = ( m −1) 2
sen mq cos mq (− 1) Tm ( y )
por tanto
sen mq ⋅ Tn (x ) − (− 1)(m−1) 2 ⋅ cos np ⋅ Tm ( y ) = 0
cos mq ⋅ Tn (x ) − (− 1)(m−1) 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)(m−1) 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 recíproco del teorema anterior es cierto, es decir si un
punto que satisface la ecuación cartesiana satisface las ecuaciones paramétricas. La respuesta es
“sí” en el primer caso y este hecho se demuestra en el teorema 2.
Demostración
Sabemos que
(m−1) 2
Tn (a) + Tm (b) − 2 ⋅ (− 1) ⋅ Tn (a)Tm (b) ⋅ senδ − cos2 δ = 0
2 2
Por tanto
(cosδ ⋅ Tn (a))2 + (senδ ⋅ Tn (a) − (− 1)(m−1) 2 ⋅ Tm (b))
2
= cos2 δ
Dividiendo por cos δ
2
2
senδ ⋅ Tn (a) − (− 1)(m−1) 2 ⋅ Tm (b)
Tn (a) +
2
=1
cosδ
Luego existe un valor θ tal que
26
Tn (a) = cosθ
(m−1) 2
senδ ⋅ Tn (a) − (− 1) ⋅ Tm (b)
= −senθ
cosδ
Despejando
(m−1) 2 (m−1) 2
Tm (b) = (− 1) ⋅ (senδ ⋅ cosθ − cosδ ⋅ senθ ) = (− 1) ⋅ sen(δ + θ )
Luego
m 2π
a = cos d ⋅ t 0 + n k
existe un t0 tal que k,l ∈ Z ,
b = sen ± ⋅ t 0 + + 2π l
n δ
d m m
donde d = m.c.d .(m,n )
.
Es decir la curva descrita por la ecuación dada es una unión finita de curvas de Lissajous.
27
Las demostraciones de los teoremas 3 y 4 son análogas a las de los teoremas 1 y 2 y no
las haremos. El lector interesado puede consultar el artículo [3]. Resumiendo la curva de
Lissajous definida por la ecuación paramétrica coincide con la definida por su ecuación
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 ecuación
paramétrica es sólo un arco de la curva definida por la ecuación cartesiana. Ver los casos
degenerados de los ejemplos 1 y 2.
1. Alforja
La alforja es la curva de ecuaciones paramétricas
π
x = c ⋅ cos t −
2
y = − ⋅ sen(2t + β ) + c senβ
c
2 2
−π
1
En este caso m =1 es impar y δ = 2 = β + π . Cuando cos(β + π ) = 0 , es decir cuando
2 β
π
β= + kπ k∈Z podemos aplicar la formula
2
x − 2y
sen β ⋅ T2 − T1 + sen β = 0
c c
es decir
x 2 − 2 y
sen β ⋅ 2 − 1 − + sen β = 0
c c
operando nos queda
senβ 2
y= x
c
como cos β = 0 tenemos que la ecuación de la curva es
x2 x2
y= ó y=−
c c
que es la ecuación de una parábola.
Observemos que en este caso la curva parametrizada es un arco de parábola.
Cuando cos β ≠ 0 tenemos
2 2
x − 2y x − 2y
T1 + T2 + senβ − 2 ⋅ T1 T2 + senβ ⋅ senβ − cos2 β = 0
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
c4
Multiplicando por
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
( )
2
x 4 − 2b ⋅ x 2 y − a 2 ⋅ x 2 + a 2 + b 2 y 2 = 0
o bien
(x 2
)
2
− by = a 2 x 2 − y 2 ( )
que es la ecuación cartesiana de la alforja
π
x = c ⋅ cos t − 2
(
x4 = a2 x2 − y 2 ) ⇔
− c
π
y = sen 2t −
2 2
2) Cúbica Crunodal
x = cos 2t
y = sen 3t + π
2
2 0
En este caso m =2 es par y sen δ = sen π = 0 , la fórmula es por tanto
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 cúbica con punto doble o cúbica crunodal.
x = cos 2t
y = sin 3t + π
4
2 0
En este caso m =2 es par y sen δ = sen π = 1 , la fórmula es por tanto
3
4
Tn ( x ) + Tm ( y ) − 2 ⋅ (− 1) ⋅ Tn (x )Tm ( y ) ⋅ cos δ − sin 2 δ = 0
2 2 m2
sustituyendo
π π
T3 (x ) + T2 ( y ) − 2 ⋅ (− 1) ⋅ Tn (x )Tm ( y ) ⋅ cos
2 2
− sin 2 =0
2 2
Operando
(4 x 3
) (
2
− 3x + 2 y 2 − 1 = 1)
o bien
30
(4 x 3
)
2
(
− 3x = 4 y 2 − y 4 . )
π
x = cos 2t
x = cos 2t + 6
y = sen 3t − 5π
y = sen 3t − 5π
12
12
π π
x = cos 2t + 3 x = cos 2t + 2
y = sen 3t − 5π
y = sen 3t − 5π
12 12
31
Las cuatro gráficas juntas
π
x = cos 2t + 2
π
y = sen 3t +
3
o eligiendo el parámetro p =0
x = cos 2t
y = sen 3t − 5π .
12
Cualquiera de estas dos ecuaciones paramétricas nos generan
1
T3 (x ) + T2 ( y ) − 3T3 (x ) ⋅ T2 ( y ) −
2 2
=0
4 .
Referencias
1. R. L. Burden y J. D. Faires, Análisis Numérico, Grupo Editorial IberoAmericana, 1985.
2. F. Cajori, A History of Mathematics , Chelsea, 1999)
3. J. Castiñeira 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 Matemáticas, Editorial Mir-Rubiños, 1994.
32
Revista Escolar de la Olimpíada Iberoamericana de
Matemática
http://www.campus-oei.org/oim/revistaoim/
Edita: