Geometra diferencial de curvas

De Wikipedia, la enciclopedia libre

Portal:Matemtica Contenido relacionado
con Matemtica.
En matemticas, la geometra diferencial de
curvas propone definiciones y mtodos para
analizar curvas simples en Variedades de
Riemann, y en particular, en el Espacio
Eucldeo.
Longitud de arco
Artculo principal: Longitud de arco
ada una curva suficientemente suave
!diferencia"le y de clase C#!$$, en y dado
su vector de posici%n r!t$ e&presado mediante
el parmetro t'
se define el llamado parmetro parmetro de
arco s como:
(a cual se puede e&presar tam"in de la
si)uiente forma en la cual resulta ms fcil de
recordar
(o cual permite reparametrizar la curva de la
si)uiente manera:
donde
son las relaciones entre las dos
parametrizaciones.
Vectores tangente, normal y
binormal: Triedro de
Frnet-Serret
Vista es*uemtica del vector tan)ente !azul$,
vector normal !verde$ y vector "inormal !ro+o$
de una curva espiral.
ada una curva parametrizada r!t$ se),n un
parmetro cual*uiera t se define el llamado
vector tan)ente, normal y "inormal como,
!claro esto para un sistema derec-o$:
%
%
%
Estos tres vectores son unitarios y
perpendiculares entre s, +untos confi)uran un
sistema de referencia m%vil conocido como
Triedro de Frnet-erret a raz del estudio
de .ean /renet y .osep- 0erret. Es
interesante *ue para una partcula fsica
desplazndose en el espacio, el vector
tan)ente es paralelo a la velocidad, mientras
*ue el vector normal da el cam"io direcci%n
por unidad de tiempo de la velocidad o
aceleraci%n normal.
0i la curva est parametrizada se),n la
lon)itud de arco, como se e&plic% en la
secci%n anterior las f%rmulas anteriores
pueden simplificarse nota"lemente:
( )
( )
( )
s
s
s
d r
T
d

( )
( )
( )
s
s
s
dT
N
d
1

( )
( )
( )
s
s
s
dN
B T
d
1
_
+

,
1
onde la curvatura y la torsi%n son
precisamente los parmetros 1 y 2 anteriores.
Curvatura y torsin
(a curvatura es una medida del cam"io de
direcci%n del vector tan)ente a una curva,
cuanto ms rpido cam"ia ste a medida *ue
nos desplazamos a lo lar)o de la curva, se
dice, *ue ms )rande es la curvatura. Para
una curva parametrizada cual*uiera la
curvatura es i)ual a:
( )
( ) ( )
( )
t t
t
t
r r
r
3

0i la curva est parametrizada por el

parmetro de lon)itud de arco, la anterior
ecuaci%n se reducen a:
( ) ( ) s s
r
3dems de la curvatura se suele definir el
llamado radio de curvatura, como el inverso
de la curvatura.
(a torsi!n es una medida del cam"io de
direcci%n del vector "inormal: cuanto ms
rpido cam"ia, ms rpido )ira el vector
"inormal alrededor del vector tan)ente y ms
retorcida aparece la curva. Por lo tanto, para
una curva totalmente contenida en el plano la
torsi%n es nula ya *ue el vector "inormal es
constantemente perpendicular al plano *ue la
contiene. Para el caso )eneral la torsi%n viene
dada por:
( )
( ) ( ) ( )
( )
( ) ( )
t t t
t
t t
r . r r
r r
2



0i la curva est parametrizada por el
parmetro de lon)itud de arco, la anterior
ecuaci%n se reduce simplemente a:
( )
( ) ( ) ( )
( )
( )
s s s
s
s
r . r r
r
2

Plano osculador
El plano osculador es el plano *ue contiene
en cada punto de la curva a su vector
tan)ente y a su vector normal. Para una
partcula desplazndose en el espacio el
plano osculador coincide con el plano *ue en
cada instante contiene a la aceleraci%n y la
velocidad. (a ecuaci%n de este plano viene
dada por:
0 0 0
0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0



x x y y z z
det x y z
y z y z z x z x x y y x
onde:
, el punto de la trayectoria.
, el vector velocidad en el punto
considerado.
, las coordenadas de un punto
)enrico del plano osculador.
Centro de curvatura
En un entorno de un punto de una curva
puede ser apro&imado por un crculo, llamado
crculo osculador por estar contenido en el
plano osculador. El radio del crculo osculador
coincide con el radio de curvatura !inverso de
la curvatura$. El centro de dic-o crculo puede
"uscarse como:
( ) ( )
( ) ( ) ( )
( )
( ) ( )
( )
( )
( ) ( )
( )
t t t t
c t t t t
t t t t
r r .r r
r r r r
r r r r
2 4
2 2

+

4 ms sencillamente en funci%n del
parmetro de arco como:
Teorema fundamental de
curvas
El teorema fundamental de curvas *ue
enunciamos a continuaci%n nos dice *ue
2
conocido un punto de una curva y su vector
tan)ente, la curva *ueda totalmente
especificada si se conoce la funci%n de
curvatura y de torsi%n. 0u enunciado es el
si)uiente:
0ea un intervalo. adas dos funciones
continuas 1 y 2 de a y dado un sistema de
referencia fi+o !ortonormal$ de , 5x
6
' e
7
, e
8
,
e
9
:, entonces e&iste una ,nica curva
parametrizada de , y tales
*ue:
7. (a curva pasa por x
6
, y el vector
tan)ente T a la curva en ese punto coincide
con e
7
.
8. 3 lo lar)o de la curva pueden definirse
tres campos vectoriales T!s$, "!s$ y #!s$
llamados respectivamente vector tan)ente,
normal y "inormal, perpendiculares entre s y
tales *ue en el punto inicial coinciden con e
7
,
e
8
, e
9
!es decir, T!6$ ; e
7
, "!6$ ; e
8
, #!6$ ; e
9
$.
9. 0e cumplen las si)uientes ecuaciones:
4 "ien escrito matricialmente
donde el punto es la derivada con respecto al
arco parmetro s.
Esto tiene implicaciones fsicas interesantes,
por e+emplo, la trayectoria de una partcula
*ueda especificada si se conocen la posici%n
inicial, la velocidad inicial y la variaci%n en el
tiempo de las derivadas se)undas !*ue estn
relacionadas con la curvatura y la torsi%n$. Es
por eso por lo *ue las leyes de <e=ton o las
ecuaciones de Euler>(a)ran)e se e&presan
en trminos de derivadas de se)undo orden
!*ue es necesario complementar con la
posici%n y velocidades iniciales$.
Teora local de curvas
$epresentaci!n param%trica
efinici%n 0e denomina representaci%n
paramtrica de una curva C en el espacio ?R
9
a la aplicaci%n

efinici%n. 0e denomina representaci%n
paramtrica re)ular de clase C
m
!m @7$ de
una curva C a toda aplicaci%n suprayectiva
tal *ue r A C
m
!?$ y rB!t$ C 6 para todo t A ?
<ota

(a condici%n rB!t$ C 6 e*uivale
)eomtricamente al -ec-o de *ue e&ista la
recta tan)ente a la curva en el punto r!t
6
$ *ue
vendr definida como

&ambio admisible de parmetro'
&urva regular ( curva regular
orientada'
efinici%n 0e dice *ue un cam"io de
parmetro
es admisi"le de clase C
m
!m @7$ si
7.> u es de clase C
m
en ?
8.>

Como consecuencia de la definici%n se tiene
*ue la aplicaci%n u es inyectiva en .;u!?$ y su
inversa u
>7
tam"in es un cam"io admisi"le
de parmetro en ..
efinici%n os representaciones paramtricas
re)ulares de clase C
m
de una curva, r!t$ y
3
r!u$, se dice *ue son e*uivalentes si se
relacionan mediante un cam"io admisi"le de
parmetro de clase C
m
u;u!t$ tal *ue u!?$;. y
r!u!t$$;r!t$ con t A ?.
e esta forma se tiene una relaci%n de
e*uivalencia so"re el con+unto de las
representaciones paramtricas re)ulares de
clase C
m
, lo *ue permite definir el concepto
de curva re)ular como una clase de
e*uivalencia de las representaciones
paramtricas re)ulares.
Dna parametrizaci%n de una curva C define
so"re ella un sentido !de recorrido$. os
representaciones paramtricas de una misma
curva relacionadas mediante el cam"io
admisi"le de parmetro u!t$ definen el mismo
sentido so"re la curva si
0e dice entonces *ue el cam"io de
parmetro preserva la orientaci%n. En caso
contrario diremos *ue cam"ia la orientaci%n.
e esta manera podemos definir una nueva
relaci%n de e*uivalencia so"re las
representaciones paramtricas re)ulares: dos
parametrizaciones son e*uivalentes si estn
relacionadas mediante un cam"io de
parmetro *ue conserva la orientaci%n. Dna
curva re)ular orientada ser una clase de
e*uivalencia determinada por la relaci%n
anterior. e esta forma:
efinici%n 0e llama curva re)ular orientada a
una curva re)ular para la *ue se -a ele)ido
un sentido especfico.
)arametri*aci!n natural'
)armetro longitud de arco'
efinici%n ada una representaci%n
paramtrica re)ular r de una curva C se
define su lon)itud l entre los puntos de la
curva r!t
6
$ y r!t
7
$ como
(a lon)itud no depende de la parametrizaci%n.
efinici%n ada una parametrizaci%n re)ular
r!t$ de una curva re)ular en un intervalo ?, y t
6
A ?, sea
s;s!t$ se denomina parmetro lon)itud de
arco a lo lar)o de r y mide la lon)itud del arco
de la curva, con si)no, comprendido entre los
puntos r!t
6
$ y r!t
7
$.
efinici%n Dna parametrizaci%n r!s$ de una
curva re)ular se dice *ue es natural si verifica
(a parametrizaci%n mediante la lon)itud de
arco es una parametrizaci%n natural.
Eeorema 0i r;r!s$ con s A ? es una
parametrizaci%n natural de una curva C,
entonces
7.> Fs
7
> s
8
F es la lon)itud del arco de C
comprendido entre r!s
7
$ y r!s
8
$.
8.> 0i r;r!s$ con s A . ese otra representaci%n
natural de C, entonces s;GsHconstante.
9.> 0i r;r!s$ con s A ? tiene la misma
orientaci%n *ue r;r!s$ s A . entonces
En caso contrario
Triedro m!vil de Frenet
0ea r;r!s$ con s A ? una parametrizaci%n
natural de una curva C de clase C
9
. Como s
es un parmetro lon)itud de arco se tiene
En cada punto de la curva C donde rBB!s$C6
estn definidos los tres vectores si)uientes
El sistema de vectores anterior es ortonormal
y se denomina triedro m%vil de /renet.
3sociados a cada uno de los vectores del
triedro m%vil tenemos una recta y un plano:
Recta tan)ente en
( ) s
r
:
( ) ( ) s s
r v
1
+

Recta normal en
( ) s
r
:
( ) ( ) s s
r v
2
+

Recta "inormal en
( ) s
r
:
( ) ( ) s s
r v
3
+

Plano normal en
( ) s
r
:
4
( )
( )
( ) s s
v x, y, z r
1
0
1

]
( ) x, y, z
3

Plano rectificante en
( ) s
r
:
( )
( )
( ) s s
v x, y, z r
2
0
1

]
( ) x, y, z
3

Plano osculador en
( ) s
r
:
( )
( )
( ) s s
v x, y, z r
3
0
1

]
( ) x, y, z
3

El triedro m%vil se encuentra definido s%lo en

a*uellos puntos en los *ue rBB!s$C6. 0i este
vector es nulo en un con+unto discreto de
puntos de la curva, entonces la curva *ueda
dividida por estos puntos en arcos en los *ue
s se tendr triedro m%vil. (as curvas para las
*ue rBB!s$C6 en un intervalo sern, en dic-o
intervalo, un se)mento de recta.
&urvatura ( torsi!n'
efinici%n 0e denomina curvatura de una
curva C en un punto r!s$ siendo s un
parmetro lon)itud de arco a
?ntuitivamente la curvatura mide lo *ue se le
falta a la curva para ser una recta en cada
punto.
efinici%n. 0e denomina torsi%n de una curva
C en un punto r!s$ siendo s un parmetro
lon)itud de arco a
?ntuitivamente, la torsi%n mide lo *ue le falta a
la curva para estar contenida en un plano, es
decir, para ser una curva plana.
Para un parmetro ar"itrario t se tiene
3 2
( ) x ( ) ( ) x ( ). ( )
( ) ( )
( ) ( ) x ( )
r t r t r t r t r t
k t t
r t r t r t

r r r r r
r r r
3preciaci%n. .Es condici%n necesaria y
suficiente para *ue una curva sea una recta
*ue la curvatura sea idnticamente nula.
3preciaci%n. Es condici%n necesaria y
suficiente para *ue una curva no rectilnea
sea plana *ue la torsi%n sea idnticamente
nula.
Pro"lemas Primera Practica.
)regunta "+ ,-
Ialle la ecuaci%n vectorial de una curva

tal
*ue la perpendicular trazada desde el centro
de curvatura -acia el vector de posici%n,
divida a la lon)itud del radio vector en dos
se)mentos *ue estn en la relaci%n de:
n!4M$;m!MP$
4: ori)en de coordenadas.
P: e&tremo del radio vector.
M: intersecci%n de la perpendicular.
oluci!n.
0a"emos *ue: t)

;
' r
r
J
2 2
' r r +
r
K
| ' ' . ' 2 |
) ' (
2 2
2 / 3 2 2
r r r r
r r
+
+

rL
0ea: r!t$ la ecuaci%n de

el )rafico:
n
P
M
m
O

sen
MP

2 2
'
) .(
r r
r
m n
n
r
+

Reemplazando M

N, o"tenemos:
n
m n
r r
r r r r +

+
+
| ' |
| ' ' . ' 2 |
2 2
2 2
; C
erivando t)

;
' r
r
, se o"tiene:
sec
2
2
2
'
' ' . '
' .
r
r r r
J
2
2
2
2 2
'
' ' . '
) ' )(
'
'
(
r
r r r
r
r r

1
2 2
2 2
2 2
2
) (
: int
1 '
1
'
' ' . ' 2
'
'
' ' . '
'
C C
egrando
C
r r
r r r r
r r
r r r
+

+
+

(ue)o: t)
[ ]
'
) 1 (
1
r
r
C C +
[ ]
1
) 1 ( C C tg r
r
+

[ ]
[ ]
) 1 /( 1
1 2
2
1
) 1 (
!n
) 1 (
) 1 ( !n
!n
: int

+
+

C
C C sen C r
C
C
C C sen
r
egrando

(a ecuaci%n vectorial de la
curva

ser:
X( )
[ ]
2 1 2 1
1 1 + + C cos .(sen(C ) C );C sen (sen(C ) C )
)regunta "+ ,/
En una circunferencia de dimetro 43
consideramos dos puntos varia"les M y <
tales *ue mO34M;OM4<. (a circunferencia
de centro M y radio M4 interfecta en P a 4<.
Ialle y )rafi*ue la funci%n vectorial *ue
descri"e el punto P.
oluci!n.
el )rafico:
"
N
P
M
O
) 2 / c#s( 2 R OM
) 2 / c#s( 2 OM OP
2
) 2 / c#s( 4 R OP
)) c#s( 1 ( 2 + R OP
r;
)) c#s( 2"(1 +
!Ecuaci%n polar de una cardiode$
)regunta "+ ,0
Iallar las ecuaciones paramtricas de la
P43R?3 de una curva plana /!&,y$;6,
respecto al punto
) , (
$ $
y x P
.
P
N
M
O
el )rfico ad+unto:
$

dx
dy
y
F
dx
dx
x
F
y
x
F
F
dx
dy

(ue)o el vector
1 ) (
) , 1 (
2
+

y
x
y
x
F
F
F
F
T

y el vector
1 ) (
) 1 , (
2
+

y
x
y
x
F
F
F
F
N
M;
PN proy P
n
+
; ! $ % $
y x
$H
P!
$ , $
y y x x
$.!
1 ) (
) 1 , (
2
+
y
x
y
x
F
F
F
F
$QR
1 ) (
) 1 , (
2
+
y
x
y
x
F
F
F
F
)regunta "+ ,1
emostrar *ue las ?nvolutas de la curva

:
1
]
1

+ +

) ( 2 ,
1
2
,
) 1 (
) 1 (
) (
2 2
2
u barctg
u
au
u
u a
u x
< < u $ , son curvas planas.
oluci!n.
Iacemos el si)uiente cam"io de varia"le: u;
t) !tS8$ J
[ ] bt asent t a t x , , c#s ) (
<otamos *ue es una -lice:
2 2
b a
a
+

'
2 2
b a
b
+

(ue)o la ecuaci%n de la involuta:
) ( ). ( ) ( ) ( & s T s c s r s r +
Iacemos la primera, se)unda y tercera
derivada respectivamente:
i$
) ( ) ( ) ( &' s N s c s r
ii$
) ( ) ( ' ) ( ) ( ' &' s N s N s c s r
iii$
) ( ' 2 ) ( ' ' ) ( ) ( ' ' &' s N s N s c s r
.
(ue)o, sa"emos:
'
[ ]
2
| ' &' &' |
' ' &' '. &' . &
r r
r r r

Entonces:
r *' ' r *'' '
2 2 2 2
2 + + .N N' (s c) N N' ' (c s) N' N''
Iaciendo el triple producto escalar:
[ ] [ ] ' ' ' . ) ( ' ' &' ' &' &'.
3 3
N N N s c r r r TTT.!

$
) ( ' '
' '
'
2
2





+
N N
N N N
B T N
Reemplazando en !

$:
[ ] $ ' ' &' ' &' &'. r r r
J

;6T. !Curva plana$

)regunta "+ ,2
0ea f: 3 R R
2
, definida por:
) , ( y x f
;
) ( 3 3 )( ( + + + + xy y x y x
xy
Ialle los e&tremos de la funci%n usando la
matriz Iesiana.
oluci!n.
/actorizando denominador:
) 3 )( 3 )( (
) , (
+ + +

y x y x
xy
y x f
Iallando los puntos crticos e i)ualando a 6:
) 3 ( ) 3 ( ) (
) 3 (
) , (
2 2
2
+ + +

y x y x
x y y
y x f
x
; 6
2 2
2
) 3 ( ) )( 3 (
) 3 (
) , (
+ + +

y y x x
y x x
y x f
y
;6
E&iste en todo su dominio' resolviendo los
sistemas de ecuaciones
2
3 y x
9y;&
2
3 x
3 y
Punto critico
) 3 , 3 ( x
432 / 1 ) 3 , 3 (
xx
f

xx
f ) 3 , 3 (
O 6
432 / 1 ) 3 , 3 (
yy
f

I !9,9$ ;
yy yx
xy xx
f f
f f
) 3 , 3 ( ) 3 , 3 (
) 3 , 3 ( ) 3 , 3 (
U 6
)'4 / 1 ) 3 , 3 (
xy
f
)'4 / 1 ) 3 , 3 (
yx
f

(ue)o
24 / 1 ) 3 , 3 ( f
m&imo relativo
)regunta "+ ,3
En el circuito mostrado, -alle R para *ue la
resistencia conectada en a>" consuma la
m&ima potencia. ?, r7 y r8 son conocidos.
oluci!n.
Reduciendo el circuito:
) 2 (
) )( (
2 1
1 2 1
R r r
r R r r
R
ab
+ +
+ +

e acuerdo al teorema de t-evenin:

R

ab
R TT para ma&imizar la
potencia entre los "ornes VaV y V"V

) 2 (
) )( (
2 1
1 2 1
R r r
r R r r
+ +
+ +
;R
R
2 1
2
1 2 1
) ( r r r r r + + + ;8
2
2 1
R Rr R r + + J
) ( ) (
2 1 1 1
2
r r r r R R + + ;6

2
) ( 4
2 1 1
2
1 1
r r r r r
R
+ + +

2
) 4
2 1
2
1 1
r r r r
R
+ +

)regunta "+ ,4
Dsando la re)la de la cadena, -alle la
ecuaci%n del plano tan)ente a la superficie 0
en el punto M !9, W,X$
0: & ; 8u > v
y ; u# H v#
z ; uY > vY
oluci!n.
Consideremos:
/!&,y,z$ ; 6 J /!u,v$ ; 6, para -allar la
ecuaci%n del plano tan)ente necesitamos
*
-allar el vector )radiente, es decir: / ; !
z
F
y
F
x
F

% %
$
(ue)o:
u
F

;
x
F

.
u
x

H
y
F

.
u
y

H
z
F

.
u
z

; 6
v
F

;
x
F

.
v
x

H
y
F

.
v
y

H
z
F

.
v
z

; 6
/
x
!8$ H / y !8u$ H /
z
!9u#$ ; 6
/ x !>7$ H / y !8v$ H /
z
!9v#$ ; 6 ' para
!&,y,z$;!9,W,X$ J!u,v$;!9,W$
Reemplazamos:
/
x
; !
2
(
$ /
z
/ y ; !
4
3
$ /
z
' / ; !
2
(
'
4
3
' 7$ /
z
.
(a ecuaci%n del plano ser:
P!&>9$ '!y>W$ '!z>X$Q. !7Z' 9'>[$;6 J P: 7Z& H 9y
\ [z ; [7
)regunta "+ 56
eterminar las coordenadas de un punto de la
superficie. 0:
12
2
x
H
1)
2
y
H
'
2
z
; 7, cuya
distancia al plano P: & H y \ z ; 7Z, sea
mnima.
oluci!n.
Eeniendo: 0:
12
2
x
H
1)
2
y
H
'
2
z
; 7

P: & H y \ z ; 7Z
(a distancia mnima en un punto esta dada
por:
d ;
3
| 1) |
$ $ $
+ z y x
Entonces, aplicando el mtodo de los
multiplicadores de (a)ran)e:
G F
z y x
z y x G
z y x d z y x F

+ +
+

$ 1
' 1) 12
) , , (
) 1) ( 3 ) , , (
2
$
2
$
2
$
2
$ $ $
2
esarrollando:
8!&
$
H y
$
> z
$
> 7Z$ ; ] !
12
2
$
x
$
8!& $ H y $ > z $ > 7Z$ ; ] !
1)
2
$
y
$
>8!&
$
H y
$
> z
$
> 7Z$ ; ] !
'
2
$
z
$
e donde encontramos:
& $ ; 78^, y $ ;7Z^, z $ ;>_^, reemplazando
en `!&,y,z$ ;6, tenemos *ue ^; t7S_
El punto donde ocurre la distancia mnima
!^ ; 7S_$: !&
$
, y
$
, z
$
$; !8, 9,>7$
)regunta "+ 5,
Iallar la curvatura de una curva a definida por
las ecuaciones
07: & H sen-z ; seny H y
08: z H e
z
; & H (n!7 H &$ H 7, en el punto
!6,6,6$.
oluci!n.
erivando implcitamente am"as ecuaciones
de las superficies, tenemos:
7 H cos-z.zL ; cosy.yLH yLJ zLH7;8yL
zLH e
z
.zL;7 H
x + 1
1
H 6JzL;7
&L;7, yL;7, zL;7J ' r ;!7,7,7$
erivando por se)unda vez implcitamente:
sen-z.!zL$# H cos-z.!zLL$;>seny.!yL$# Hcosy.
!yLL$ H yLL
zLL H e
z
.!zL$# He
z
.!zLL$ ;
2
) 1 (
1
x +

zLL;8yLL
(ue)o zLL H !zL$# H zLL; >7, de donde
o"tenemos: zLL;>7J yLL;>7S8
' ' r ; !6,>7S8,>7$ b;F
3
| ' |
| ' ' ' |
r
xr r
,
reemplazando o"tenemos finalmente: b ; 2
S8
Pro"lemas
7. Especificar, -aciendo un es"ozo de cada
uno de los si)uientes, cuales son puntos de
acumulaci%n, so clausura, su su interior y su
frontera, e indicar si el con+uto es a"ierto,
cerrado o nin)una de los casos:
5!&,y$ R
8
F8 c & O [' 7 O y c 9:
5!&,y$ R
8
F7 c &
8
O [:
5!&,y,z$ R
9
F&
8
H y
8
c 7' 6 O [:
)
3 2
5!&,y$ R
8
Fy O &
8
:
9. Encontrar los puntos en los *ue se cortan
las curvas C
7
: /
7
!t$ ; !cost, sent, 6$
C
8
: /
8
; !6, cost, sent$ y el dan)ulo "a+o el
*ue se cortan.
[. 0i /!t$ es una funcidon vectorial *ue
cumple /d!t$ y /!t$ son paralelos para cada t y
/L!t$ no se anula nunca, demostrar *ue todas
las tan)entes a la curva descrita por /!t$
pasan por el ori)en.
W. efinir una funcidon vectorial R : P6' 8eQ
fJ R
8
*ue satisfa)a la condicidon inicial
R!6$;!a,6$ y *ue cuando t crezca -asta 8e
descri"e la eclipse con ecuaci%n: "
8
&
8
H a
8
y
8
; a
8
"
8
,
Dna vez, en el sentido contrario de las a)u+as
del relo+.
Dna vez , en el mismo sentido de las a)u+as del
relo+.
os veces, en el sentido contrario de las a)u+as
del relo+.
Eres veces , en el mismo sentido de la a)u+as
del relo+.
_. En cada uno de los si)uientes casos,
calcular el vector unitario tan)ente.
!a$R!t$ ; !8cost, 8sent$ '
!"$R!t$ ; !_sen!8t$, _cos!8t$, Wt$ '
!c$R!t$ ;
!
tt t t
9
,
8
$ '
!d$R!t$ ; !e cost, e sent, et$.
X. Iallar las ecuacidon de la recta tan)ente a la
curva R!t$ ; !7 H t, ft
8
, 7 H t
9
$ en t;7.
Z. Calcular la lon)itud de la curva R!t$ ; !7,
t, t
8
$ desde el punto !7,6,6$ al punto !7,7,7$.
g. Calcular la lon)itud de la curva
R!t$ ; !t, t, [ f t
8
$ desde el punto !6,6,[$ al
punto !7,7,9$.
76. Iallar la lon)itud de las si)uientes curvas
cuando los valores del pardametro varidan en
los intervalos *ue se indican: !a$ R!t$ ; !acost,
asent, "t$, t P6' 8eQ'
!"$ R!t$ ; !7fcost, tfsent$, t P6' 8eQ' !c$ R!t$
; !8t, t
8
f8, 7ft
8
$, t P6' 8eQ'
!d$ R!t$ ; !e
t
cost, e
t
sent$, t P6' 8eQ'
7nvoltura'
(a envoltura es una manera de derivar una
curva nueva "asada en un con+unto de
curvas.
ada entonces una familia de curvas
C
F
, su
envoltura es una nueva curva C , tal *ue sta
curva C es tan)ente a cada miem"ro de la
familia de curvas
C
F
.
onde entendemos *ue dos curvas son
tan)entes en un punto si y s%lo si, am"as
curvas comparten una misma tan)ente en
este punto, y *ue por tanto dos curvas son
tan)entes si lo son en cada punto donde se
intersectan.
Por e+emplo, si la familia
C
F
est compuesta
de las rectas azules de la si)uiente fi)ura, la
envoltura de esta familia resulta ser la espiral
ro+a *ue, como vemos, es tan)ente a cada
miem"ro de esta familia.
!voluta e "nvoluta
ada una curva C , su evoluta es la curva
e
C

definida como la localizaci%n de los centros
del circulo de curvatura de C .
En otras pala"ras, se construye en cada
punto P de la curva C un circulo *ue sea
tan)ente a la curva C en P , lue)o
o"tendremos un punto de la curva
e
C

considerando el centro de este crculo.
0i la curva C est dada parametricamente por
( , ) ( ( ), ( )) x y x t y t
, entonces la curva
e
C
est
dada parametricamente por
donde, h y h
& &&
representan la primera y
se)unda, respectivamente, derivadas con
(
respecto a
t
de
( ) h h t
.
Por otra parte, para la curva C , su involuta es
la curva
nvo!uta
C
definida como la curva cuya
evoluta esC .
En otras pala"ras, es la operaci%n
7$$.> 0ea la ec. de la par"ola
2
4 y px con
0 p >
Parametrizando
2
2
x pt
y pt

2
2
x pt
y p




2
0
x p
y
Ec. de la Evoluta en el plano:
+ * r r N,
onde
( )
( )
+


+
3
2 2
2
3
2 2
2

x y
x y y x
k
x y y x
x y
Iallando la evoluta para una par"ola cual*uiera
de la forma
2
4 y px :
2
2
x pv
y pv

( )
( )
+
+

3
2 2
2 3
2
2
2 1
x y
p v
x y y x
( )
( )

+
P
,
,
2
1
2 2
1
v
r pv p r T T
v
( )

+
,
2
1
1
v
N T
v
Para curvas planas
Ec. de la evoluta:
( ) ( )
( )
( )

+ + +
+
,
, ,
3
2 2 2 3
2
2
1
2 2 1 3 2 2
1

v
pv pv p v pv p pv
v
`raficando:
Vemos *ue tanto P y h se encuentran en el
primer cuadrante por lo tanto:
1 1
0 , 0 ,0 ,0 x y x y < < < < T !R$
?)ualando la ec. de la par"ola y la evoluta:
( ) ( )
2 3 2
3 2 , 2 ,2 pv p pv pt pt +
2 2 2 2
3 2 3 2 pv p pt v t + + T !7$
3 3
2 2 pv pt v t T !8$
Por condici%n !R$:
0 , 0 t v < <
Reemplazando !8$ en !7$:
2 6 6 2
3 2 3 2 0 v v v v +
-acemos
2
v s
( ) ( ) +
3 3 2
3 2 0 2 2 0 1 2 1 0 s s s s s s s s
( ) ( ) ( ) ( ) ( )
2
1 1 2 1 0 1 2 0 s s s s s s s + + +
( ) ( )
2
2
1 2 0 1 2 1 2 2 s s s v v +
por condici%n !R$
Punto de intercepci%n:
( )
( )
, 8 , 4 2 x y p p para
2 2 2 v t
Para *ue de+e la par"ola:
2
cos
C N C N
v
F F ma ma m mg

onde
1
tan
y
x t

Por conservaci%n de ener)a:

+
2
1
4 2

i f
v
E y mg E mg m
1$
( )

2
1
2 4 2
i f
E E v g y p
( )
3
2
2
2 1 54 p t p +
2
cos
v
g

( )
1
2
2 4 2
54
1
g y p
t
g
p
t

+
para
2 2 t
( )
( )
, ,
2
1 1 1
22 2 4 242 22 2 y p y px x y p p
Como sa"emos, un espiral e*uian)ular,
puede estar dado en forma paramtrica por
(ue)o, la evoluta est dada
paramtricamente por
K entonces, analticamente, la evoluta de un
espiral e*uian)ular es otra espiral
e*uian)ular, con parmetros
b b y
a ab .
En al)unos casos, la evoluta es idntica a la
espiral ori)inal, como puede ser demostrado
-aciendo la su"stituci%n en la nueva varia"le:
.
Entonces las ecuaciones anteriores se
convierten en :
las *ue son e*uivalentes a la forma de la
ecuaci%n ori)inal si se verifica *ue
7voluta de la elipse
ada la elipse:
0u evoluta viene dada
por:
*ue, eliminando el parmetro, *ueda:
!voluta e "nvoluta
ada una curva C , su evoluta es la curva
e
C

definida como la localizaci%n de los centros
del circulo de curvatura de C .
En otras pala"ras, se construye en cada
punto P de la curva C un circulo *ue sea
tan)ente a la curva C en P , lue)o
o"tendremos un punto de la curva
e
C

considerando el centro de este crculo.
0i la curva C est dada paramtricamente por
( , ) ( ( ), ( )) x y x t y t
, entonces la curva
e
C
est
dada paramtricamente por
donde, h y h
& &&
representan la primera y
se)unda, respectivamente, derivadas con
respecto a
t
de
( ) h h t
.
Por otra parte, para la curva C , su involuta es
la curva
nvo!uta
C
definida como la curva cuya
evoluta esC .
En otras pala"ras, es la operaci%n inversa de
la evoluta.
Serie de Taylor
De Wikipedia, la enciclopedia libre
En matemticas, la serie de Ta(lor de una
funci%n f(x) infinitamente deriva"le !real o
comple+a$ definida en un intervalo a"ierto !a>r,
aHr$ se define como la si)uiente suma:
11

1
t
2
1 t +
sin!&$ y apro&imaciones de Eaylor centradas
en 6, con polinomios de )rado 7, 9, W, X, g, 77
y 79.
3*u, ni es el factorial de n y f
!n$
!a$ indica la n>
sima derivada de f en el punto a.
0i esta serie conver)e para todo x
perteneciente al intervalo !a>r, aHr$ y la suma
es i)ual a f!x$, entonces la funci%n f!x$ se
llama analtica. Para compro"ar si la serie
conver)e a f!x$, se suele utilizar una
estimaci%n del resto del teorema de Eaylor.
Dna funci%n es analtica si y solo si se puede
representar con una serie de potencias' los
coeficientes de esa serie son necesariamente
los determinados en la f%rmula de la serie de
Eaylor.
0i a ; 6, a la serie se le llama serie de
Maclaurin.
Esta representaci%n tiene tres venta+as
importantes:
(a derivaci%n e inte)raci%n de una de estas
series se puede realizar trmino a trmino,
*ue resultan operaciones triviales.
0e puede utilizar para calcular valores
apro&imados de la funci%n.
Es posi"le demostrar *ue, si es via"le la
transformaci%n de una funci%n a una serie de
Eaylor, es la %ptima apro&imaci%n posi"le.
3l)unas funciones no se pueden escri"ir
como serie de Eaylor por*ue tienen al)una
sin)ularidad. En estos casos normalmente se
puede conse)uir un desarrollo en serie
utilizando potencias ne)ativas de x !vase
0erie de (aurent. Por e+emplo f!x$ ;
e&p!f7Sx#$ se puede desarrollar como serie de
(aurent.
#efinicin
(a serie de Eaylor de una funci%n f de
n,meros reales o comple+os *ue es
infinitamente diferencia"le en un entorno de
n,meros reales o comple+os a, es la serie de
potencias:
*ue puede ser escrito de una manera ms
compacta como
donde n! es el factorial de n y f
!n$
!a$ denota la
n>sima derivada de f en el punto a' la
derivada cero de f es definida como la propia f
y !x f a$
6
y 6i son am"os definidos como uno.
$istoria
El fil%sofo Elatea jen%n de Elea consider% el
pro"lema de sumar una serie infinita para
lo)rar un resultado finito, pero lo descart% por
considerarlo imposi"le: el resultado fueron las
parado+as de jen%n. Posteriormente,
3rist%teles propuso una resoluci%n filos%fica a
la parado+a, pero el contenido matemtico de
esta no *uedo resuelto -asta *ue lo
retomaron em%crito y despus 3r*umedes.
/ue a travs del mtodo e&-austivo de
3r*umedes *ue un n,mero infinito de
su"divisiones )eomtricas pro)resivas podan
alcanzar un resultado tri)onomtrico finito.
7
?ndependientemente, (iu Iui utiliz% un
mtodo similar cientos de akos despus.
8
En el si)lo l?V, los primeros e+emplos del uso
de series de Eaylor y mtodos similares
fueron dados por Mad-ava of
0an)ama)rama.
9
3 pesar de *ue -oy en da
nin),n re)istro de su tra"a+o -a so"revivido a
los akos, escritos de matemticos -ind,es
posteriores su)ieren *ue l encontr% un
n,mero de casos especiales de la serie de
Eaylor, incluidos a*uellos para las funciones
tri)onomtricas del seno, coseno, tan)ente y
arcotan)ente.
En el si)lo lV??, .ames `re)ory tam"in
tra"a+% en esta rea y pu"lic% varias series de
Maclaurin. Pero recin en 7X7W se present%
una forma )eneral para construir estas series
para todas las funciones para las *ue e&iste y
fue presentado por mroo^ Eaylor, de *uin
reci"e su nom"re.
(as series de Maclaurin fueron nom"radas as
por Colin Maclaurin, un profesor de
Edin"ur)o, *uin pu"lic% el caso especial de
las series de Eaylor en el si)lo lV???.
12
13