EJERCICIOS SECCION 1-2´

1-2-1

1-2-2
Consideremos, dada α,
ϕ : (a,b) −→ R
t −→ kα(t)k2

De la hipotesis se tiene´ 0 = ϕ0(t0) y como ϕ0(t) = 2 < α0(t),α(t) > basta

particularizar esta expresion en´ t0 para concluir.
1-2-3
α00(t) = (0,0,0) ∀t implica α0(t) = (K1,K2K3), lo cual a su vez implica α(t) = (C1 + K1t,C2
+ K2t,C3 + K3t), en otras palabras, la traza de α es una recta. 1-2-4
Sea v ∈ R3 fijo. Consideremos

ϕ : (a,b) −→ R t −→<
α(t),v >
ϕ0(t) =< α0(t),v > + < α(t),0 >= 0 ∀t por la primera hipotesis. As´ ´ı existe una
constante C tal que ϕ(t) = C ∀t. Como ϕ(0) =< α(0),v >= 0 (segunda hipotesis),´ resulta
que ϕ(t) = 0 ∀t, y por tanto < α(t),v >= 0 ∀t.
1-2-5
kα(t)k2 =< α(t),α(t) >= C 6= 0 ∀t ⇔ 2 < α0(t),α(t) >= 0 ∀t (Lo de
α0(t) 6= 0 ∀t y C 6= 0 se impone para evitar los casos triviales).

EJERCICIOS SECCION 1-3´

1-3-1 Ojo! No esta bien el enunciado. No sale un´angulo constante.´

1-3-3
a)
0~B = 2a(1,tgθ), 0~C = (u,v),

C ∈ S ⇔ (u − a)2 + v2 = a2 ⇔ u2 − 2au + v2 = 0

Si θ ∈ [0,π/2), entonces y

Por tanto, si t = tgθ, resulta

2

Si α ∈ (−π/2,0] consideramos
b) Derivando:

α0(0) = (0,0)
c)
limt→∞α1(t) = 2a, limt→∞α2(t) = +∞. Por tanto la recta x = 2a es as´ıntota vertical.
Ademas´ limt→∞α0(t) = (0,2a)
1-3-4 OJO!!! EN EL LIBRO LA PARAMETRIZACION EST´ A MAL, LA PRIMERA´
COMPONENTE NO ES cost SINO sent
α : (0,π) −→ R2
t −→ (sent,cost + lntg(t/2))
a) Es claro pues

Y en π/2 se tiene b)
La ecuacion de la tangente en´α(t) es:

Punto de corte con eje oy:

FIGURA 1. Tractriz
 3

x = 0 ⇔ λ = −tgt
Por tanto el punto de corte es:

Usando las igualdades

y
se obtiene

As´ı
−→
α(t)qt = (−sent,−cost) = (−sent,−cost)
y
−→ kα(t)qtk
=1
la longitud buscada.
Vamos ahora a mostrar como obtener la parametrizacion de la tractriz. Para ello n´
otese´ (ver Figura 1) que en el punto de abscisa x = a, la ecuacion de la tangente a la gr´
afica de´ f(x) sera´ y − f(a) = f0(a)(x − a). El punto de corte C de la tangente con el eje
0Y sera´ (0,f(a) − af0(a)), y el punto de tangencia T con la tractriz sera´ (a,f(a))
Como la distancia entre el punto que se arrastra y el punto desde el que se tira es
d(T,C) = 1, podremos escribir (a − 0)2 + (f(a) − (f(a) − af0(a)))2 = 1. Entonces,
despejando se tendra´
(se toma la ra´ız negativa porque las tangentes tienen en el dibujo
pendientes negativas).
As´ı, tendremos . Integrando se obtiene

(usar el cambio √

Del mismo modo la rama negativa de la tractriz sera la gr´afica de´ g(x) = 1 − x2 +

Consideremos ahora la parametrizacion de la rama positiva:´

β : (0,1) −→ R2 x −→
(x,f(x))
4

Notemos que si introducimos el cambio de variable

ϕ : (π/2,π) −→ (0,1) t −→
sent = x
√ √
entonces 1 − sent = −cost puesto que 1 − x2 denota por convenio la ra´ız positiva de
1 − x2 mientras que cost ≤ 0 por ser t ∈ (π/2,π). De ese modo

donde en la ultima igualdad se usa que´t/2 ∈ (0,π/2) y por tanto

De ese modo
β ◦ ϕ : (π/2,π) −→ R2
t −→ (sent,cost + ln(tg(t/2)))
es la parametrizacion para la rama positiva de la tractriz.´
Haciendo lo mismo con el cambio
ψ : (0,π/2) −→ (0,1) t −→
sent = x
√
tendremos ahora que 1 − sent = cost puesto que cost ≥ 0 cuando t ∈ (0,π/2) y de ese
modo

donde en la ultima igualdad se usa que t ∈ (0,π/2) y por tanto que

De ese modo
β ◦ ψ : (0,π/2) −→ R2
t −→ (sent,cost + ln(tg(t/2)))
es la parametrizacion para la rama negativa de la tractriz. Es claro entonces que
podemos´ juntar ambas parametrizaciones para obtener la parametrizacion de las dos
ramas de la´ tractriz
Φ : (0,π) −→ R2
t −→ (sent,cost + ln(tg(t/2)))
que es la que propone Do Carmo.
1-3-6 Sean a > 0, b < 0 y
α : R −→ R2

t −→ (aebtcost,aebtsent)
a)
Claramente l´ımt→∞ α(t) = (0,0)
 5

Notemos que y que por tanto el angulo que forma´ α(t) con
α0(t) es constante. En particular si , entonces la espiral es una
circunferencia mientras que si , es una recta.
Notemos tambien que en coordenadas polares la curva se escribe como´ ρ = aebθ y
por tanto (de ah´ı el nombre).
1-3-9
Notemos que decir que α es de clase C0 (ver Ej 1-3-7) es decir tan solo que´ α es
continua pero no diferenciable necesariamente; por tanto no tendr´ıa sentido hablar de
la longitud de arco como se ha definido en el curso puesto que no tenemos vector
velocidad si no es diferenciable.
Podemos no obstante hacer los siguiente: consideremos [a,b] ⊂ I y denotemos por
P([a,b]) el conjunto de todas las particiones de [a,b]. Sea Ca,b = α([a,b]) el arco de curva
comprendido entre a y b. Definamos la longitud del arco de curva entre y a y b como

l(Ca,b) + sup{l(α,P) : P ∈ P([a,b])}

donde l(α,P) es la longitud de la l´ınea poligonal inscrita en α[a,b] tal y como se define
en el ejercicio 1-3-8. Esa definicion es intuitivamente razonable. Diremos que el arco de´
curva α[a,b] es rectificable si l(Ca,b) < ∞ (ojo, en principio ese supremo no tiene porque´
ser finito,- ver apartado b)-).
Es importante observar que en el caso en que α ∈ C1[a,b] se tiene que α[a,b] es
rectificable y ademas´

lo cual da mas justificaci´ on a la definici´ on dada y motiva el nombre longitud de arco

para´ la expresion integral.´
La demostracion de este hecho la pod´ eis mirar en la p. 137 (Teorema 6.27) del Libro
de´ Rudin de Analisis Matem´ atico que os he subido. Un aviso: el cap´ ´ıtulo 6 de Rudin
se refiere a la integral de Riemann-Stieljes que no es ni mas ni menos que una variaci´ on
de la integral´ de Riemann cuando se introducen pesos (es decir hablariamos de
promedios ponderados). Para que todo os resulte familiar lo unico que hay que hacer es
suponer todo el tiempo que´ la funcion de pesos´ α que aparece en la definicion 6.2 es la
identidad en el intervalo´ [a,b]. Al hacer eso volvemos a hablar de la la integral de
Riemann para funciones de una variable que ya conoceis (por ejemplo, como la hemos
definido en la asignatura de AVII).´ b)
Se ahora α =: [0,1] −→ R2 definida como

si t 6= 0
1 ,α2
(0,0) si t = 0
6

Consideremos para un n dado el subintervalo .

Notemos con un argumento puramente geometrico que entre los valores´ sen(nπ) = 0 =
sen((n + 1)π) la funcion seno toma todos los valores entre´ 0 y 1 y de hecho alcanza el
valor 1 justo en el punto

que es el punto medio del intervalo, . Notemos ahora que aunque α2(t) =
tsen(π/t) sigue ocurriendo que la funcion´ “dobla” en el punto medio del intervalo. Es
claro entonces que si γn denota la longitud de la curva que describe la funcion´ α(t) en el
intervalo
, entonces γn es mayor que la suma de las longitudes de los segmentos rectil
´ıneos que unen los puntos con el punto (esos dos
segmentos forman un triangulo is´ osceles de altura´ y base ).
Como esos dos segmentos rectil´ıneos miden lo mismo tenemos que γn es mayor que el
doble de la longitud de uno de ellos, por ejemplo el que une los puntos
.
Dicha longitud es

Por tanto

Tomemos ahora N ∈ N arbitrario, consideremos la particion

y el arco de curva
Por los calculos previos´

Haciendo N tender a infinito y teniendo en cuenta que la serie no es

convergente, se concluye que la longitud del arco α[0,1] no es acotada.
1-3-10
α : I → R3 [a,b] ⊂ I α(a) = p, α(b) = q. a)
Sea v de norma uno.
< q − p,v >=< α(b) − α(a),v >
Dado , sabemos que existe δ > 0 tal que si P = {a < t1 < ··· < b} es una particion´ de
malla δ > 0 (la malla es la cantidad |P| definida en el ejercicio 8), entonces
 7

donde es una suma de Riemann cualquiera asociada a P.

Por otro lado, usando el Teorema del Valor medio del calculo diferencial tenemos que
∀i existe ξi ∈ (ti−1,ti) tal que α(ti) − α(ti−1) = α0(ξi)(ti − ti−1) Por tanto

Por (∗∗) llegamos a que

y como fue tomado arbitrariamente se concluye que

(Manera corta: considerar la funcion´ ϕ(t) =< α(t),v > y aplicar el teorema
fundamental del calculo a´ ϕ0(t) en el intervalo [a,b]).

Por otra parte, teniendo en cuenta que v es unitario obtenemos por la desigualdad de
Cauchy-Schwarz

b)
Si tomamos ahora tendremos < q − p,v >= kq − pk y por el apartado a)
tendremos

EJERCICIOS SECCION 1-4´

1-4-11
a) Precisamente el hecho e que u ∧ v, en ese orden, se defina como el unico
vector de´ R3 que cumple que < u ∧ v,w >= det(u,v,w) para cada w ∈ R3 permite concluir
lo que se pide. En efecto < u ∧ v,w > es el producto mixto de los tres vectores y por
tanto su modulo el volumen del paralelep´ ´ıpedo que generan.

b) Basta observar que det(A) = det(At) y que

Se concluye aplicando la parte a).

8

EJERCICIOS SECCION 1-5´

1-5-1
α(s) = (acos(s/c),asen(s/c),bs/c), c2 = a2 + b2
a) α0(s) = (−(a/c)sen(s/c),(a/c)cos(s/c),b/c). Ademas´ kα0(s)k = 1 ∀s por tanto
α (s) = t(s).
0

b) α00(s) = (−a/c2cos(s/c),−a/c2sen(s/c),0); k(s) = kα00(s)k = a/c2

n(s) = (−cos(s/c),−sen(s/c),0)

b(s) = t(s)×n(s) = (b/csen(s/c),−b/ccos(s/c),a/c), b0(s) = (b/c2cos(s/c),b/c2sen(s/c),0)

De b0(s) = τ(s)n(s) se obtiene

(b/c2cos(s/c),b/c2sen(s/c),0) = τ(s)(−cos(s/c),−sen(s/c),0)
y de ah´ı se sigue que .
c)

d)
Esas l´ıneas tienen direccion´ (−cos(s/c),−sen(s/c),0) y
< (−cos(s/c),−sen(s/c),0),(0,0,1) >= 0 ∀s e)
Esas l´ıneas tienen direccion´ (−(a/c)sen(s/c),(a/c)cos(s/c),b/c) y
< (−(a/c)sen(s/c),(a/c)cos(s/c),b/c),(0,0,1) >= b/c ∀s
1-5-2
Notemos que
< b(s),α00(s) >0=< b0(s),α00(s) > + < b(s),α000(s) > .

Como < b(s),α00(s) >= 0 ∀s resulta que

< b(s),α000(s) >= − < b0(s),α00(s) > (∗) Por tanto

.
Resumiendo:

Se concluye entonces que

1-5-3
α : I → R2
a)
 9

γ : I −→ R2

s −→ t(s) = α0(s)

γ0(s) = α00(s) 6= 0 (siempre se asume k(s) 6= 0).

b)
t0(s) = k(s)n(s) (definicion de curvatura para curvas planas donde´ n(s) se elige de
modo que {t(s),n(s)} oriente positivamente)
Como θ(s) = arccos < t(s),e1 > resulta

Por tanto, teniendo en cuenta que n(s) se obtiene girando t(s) un angulo de´
+π/2 (por la orientacion positiva de la base´ {t(s),n(s)}, se tiene:

1-5-4
Sea s la longitud de arco de α. Notemos que la hipotesis se escribe as´ ´ı, para cada s
existe λ(s) ∈ R tal que
α(s) + λ(s)n(s) = P
Asumamos por un momento que la funcion´ λ(s) es derivable. Entonces derivando en la
igualdad anterior tendremos

t(s) + λ0(s)n(s) + λ(s)n0(s) = 0

Como n0(s) = −k(s)t(s) − τ(s)b(s), tendremos para cada s

(1 − λ(s)k(s))t(s) + λ0(s)n(s) − λ(s)τ(s)b(s) = 0,

de donde se sigue que para cada s se tiene simultaneamente´ λ(s)k(s) = 1, λ0(s) = 0 y

λ(s)τ(s) = 0, por ser el triedro de Frenet una base. De la primera y la segunda
condiciones se sigue que existe una constante C 6= 0 tal que λ(s) = C, ∀s y entonces de
la tercera que τ(s) = 0 para cada s, es decir que la curva es plana (ver pagina 18 y n´
otese que se usa la´ hipotesis´ k(s) 6= 0 del principio del bloque de ejercicios 1-5).
As´ı pues α(s)P = Cn(s), ∀s y por tanto tomando normas kα(s)Pk = C,∀s, lo cual
significa que α es parte de una circunferencia de radio C y centro P.
Queda tan solo pues justificar la derivabilidad de la funci´ on escalar´ λ(s) pero eso es
consecuencia de la igualdad λ(s)n(s) = α(s)P (¿por que?)´
1-5-5
Sea s la longitud de arco.
Por hipotesis sabemos que para cada´ s existe λ(s) ∈ R tal que

P = α(s) + λ(s)α0(s), (∗)

es decir,
Notemos que si como α es regular se tiene que la funcion´
λ : I −→ R
10

s −→ λ(s)
es diferenciable. En efecto, sea s0 ∈ I arbitrario; como α0(s0) 6= 0 existe i ∈ {1,2,3} tal
que . Por continuidad existe tal que . Por
tanto tomando la i-esima componente en la igualdad´ (∗) se tiene que

es diferenciable en . Como s0 fue elegido arbitrariamente se sigue que λ es

diferenciable.
Por tanto derivando en (∗) se obtiene
0 = α0(s) + λ0(s)α0(s) + λ(s)α00(s) = α0(s)(1 + λ0(s)) + λ(s)α00(s) Que se
puede escribir
0 = (1 + λ0(s))t(s) + λ(s)k(s)n(s) + 0 · b(s)
Como {t(s),n(s),b(s)} es una base para cada s, resulta 1+λ0(s) = 0 = λ(s)k(s) ∀s ∈ I
En particular resulta λ0(s) = −1 ∀s ∈ I y 0 = λ(s)k(s) ∀s (∗∗). Se sigue que existe C ∈ R
tal que λ(s) = −s + C. Evidentemente λ(s) > 0 ∀s ∈ (−∞,C) ∩ I y λ(s) < 0 ∀s ∈ (C,∞) ∩ I;
por tanto k(s) = 0 ∀s ∈ (C,∞) ∩ I y k(s) = 0 ∀s ∈ (−∞,C) ∩ I.
Se sigue entonces que α(s) esta contenida en una recta´ r1 en el intervalo (−∞,C) ∩ I y
en una recta r2 en el intervalo (C,∞) ∩ I. Pero de la derivabilidad (y por tanto de la
continuidad) de α se concluye que α(s) esta contenida en´ r1 = r2 para cada s ∈ I. b)
Si α no es regular entonces lo anterior no es necesariamente cierto. En efecto,

consideremos
α0(0) = (0,0) y para cada t el punto (0,0) pertenece a la recta tangente en t; en
efecto,
tomando λ(t) = −t/2 se tiene (0,0) = α(t) + λ(t)(2t,2t).
1-5-6
a) kρvk2 =< ρv,ρv >=< v,v >= kvk2.

Si el angulo entre´v y w se define como \, entonces

,
y no juega papel el hecho de que el determinante es positivo.
Notemos que si definamos el angulo´ entre v y w como el´ angulo que se
recorre´ girando en sentido antihorario hasta que coincida con , entonces s´ı que
juega papel
el signo del determinante, puesto que si entonces
.
b)
v × w ⊥ v,w ⇒ ρ(v × w) ⊥ ρ(v),ρ(w) ⇒ ρ(v × w) k ρ(v) × ρ(w),
de hecho ρ(v × w) = λρ(v) × ρ(w) con λ > 0 puesto que al ser detρ > 0 las bases {v,w,v ×
w} y {ρv,ρw,ρ(v × w)} tienen la misma orientacion. Como adem´ as se tiene´ por el
apartado a) que kρ(v × w)k = kv × wk, resulta que ρ(v × w) = v × w. c)
, y sea R = A◦ρ, donde Aw = w +v con v fijo y ρ es ortogonal
con determinante positivo. Notemos que A0(w) = Id ∀w y que ρ0(w) = ρ ∀w. As´ı
 11

(R◦α)0(u) = R0(α(u))◦α0(u) = A0(ρ(α(u)))◦ρ0(α(u))◦α0(u) = Id◦ρ◦α0(u) = ρ(α0(u)) Por tanto

k(R ◦ α)0(u)k = kρ(α0(u))k = kα0(u)k
y

,
es decir, SR◦α(t) = Sα(t).
Tenemos (R ◦ α)0(s) = ρ(α0(s)), es decir tR◦α(s) = rho(t(s)). Derivando:

(R ◦ α)00(s) = ρ0(α0(s)) ◦ α00(s) = ρ(α00(s))

se obtiene

kR◦α(s) = kR ◦ α)00(s)k = kρ(α00(s))k = kα00(s)k = k(s)

y usando la linealidad de ρ se ve imediatamente que nR◦α(s) = ρ(n(s)). Entonces

bR◦α(s) = tR◦α(s) ∧ nR◦α(s) = ρ(t(s)) ∧ ρ(n(s)) = ρ(t(s) ∧ n(s)) = ρ(b(s)) Resumiendo

tR◦α(s) = ρ(t(s))
nR◦α(s) = ρ(n(s))
bR◦α(s) = ρ(b(s))

Por tanto, usando la regla de la cadena se tiene b0R◦α(s) = (ρ(b(s)))0 = ρ(b0(s)). Ahora,

usando de nuevo la linealidad de ρ, se tiene τR◦α(s)nR◦α(s) = b0R◦α(s) = ρ(b0(s)) =

ρ(τ(s)n(s)) = τ(s)ρ(n(s)) = τ(s)nR◦α(s), es decir, τR◦α(s) = τ(s).

. Teniendo en cuenta que n0(s) = −k(s)t(s) −

τ(s)b(s) se comprueba que < β0(s),t(s) >= 0 y que por ser
α curva plana. Como b(s) = t(s) ∧ n(s) se sigue que β (s) y n(s) son linealmente
0

dependientes. Observemos ademas que´

donde R(s) es el radio de curvatura en s.

b) β1(t) = α(s1) + tn(s1) y β2(u) = α(s2) + un(s2), donde t,u ∈ R.
Si Ps1,s2 es punto de interseccion de´ β1 y β2, entonces existiran´ t(s2) y u(s2), ambos
dependientes de s2 respectivamente, tales que

α(s1) + t(s2)n(s1) = Ps1,s2 = α(s2) + u(s2)n(s2)

Por tanto

Tomando s como longitud de arco, dejando s1 fijo y haciendo s2 → s1 se tiene por

L’Hopitalˆ
12

Notemos que la diferenciabilidad de t(s2) y u(s2) se deduce como en 1-5-5. As´ı

n0 ,α
1 = −( l´ım u(s2)) < (s1) 0(s1) >= −( l´ım u(s2)) < −k(s1)t(s1)−τ(s1)b(s1),t(s1) >= s2→s1 s2→s1

( l´ım u(s2)) < k(s1)t(s1),t(s1) > +( l´ım u(s2)) < τ(s1)b(s1),t(s1) >= ( l´ım u(s2))k(s1) s2→s1 s2→s1 s2→s1

Por tanto es el valor del parametro correspondiente al punto l´ ´ımite l´ıms2→s1 Ps1,s2 y
dicho punto sera´

que pertenece a la evoluta.

1-5-8
a)
Recordemos que y que . Ademas la una es la derivada de´
la otra como se comprueba facilmente y se tiene´ch2t − sh2t = 1
α0(t) = (1,sht); α00(t) = (0,cht)
Sea la reparametrizacion por la longitud de arco´
(β ◦ ϕ = α).
Sabemos(ver Ej. 1.5.12) que

donde A es la matriz de giro antihorario y amplitud π/4 dada por

y se ha tenido en cuenta la orientacion positiva de la base´ {t(s),n(s)} y que cht es

positivo al extraer cuadrados. Evidentemente

b)
El apartado a) nos dice que k(t) 6= 0 ∀t, as´ı que segun el ejercicio 7)´

1-5-9
 13

Sea . Se tiene η0(s) = k(s), donde por ser α curva plana k(s) se
define de modo que t0(s) = k(s)n(s).
Tomemos

sen(η(u))du)
α (s) = (cos(η(s)),sen(η(s)))
0

y kα0(s)k = 1.
Ademas´ k(s)n(s) = t0(s) = α00(s) = (−senη(s)η0(s),cosη(s)η0(s)) = η0(s)(−senη(s),cosη(s))
=
= η0(s)A(cosη(s),senη(s)) = η0(s)At(s) = η0(s)n(s) donde A es
la matriz de giro antihorario y amplitud π/4 dada por

y se ha tenido en cuenta a partir de la orientacion de la base´ {t(s),n(s)} que At(s) = n(s)

Se sigue evidentemente que k(s) = η0(s)
El teorema de unicidad dice que α es la unica curva plana con curvatura´ k(s)
(notemos que τ(s) = 0 ∀s por ser plana) salvo movimiento r´ıgido. Es decir cualquier
curva con curvatura k(s) debe ser del tipo
α˜ = ρ ◦ α + (a,b)
con ρ aplicacion lineal ortogonal de determinante positivo y´ (a,b) ∈ R2 fijo. Pero una tal
ρ debe tener por matriz una del tipo

con a2 + b2 = 1, es decir debe ser del tipo

para algun´ϕ. As´ı

Por ultimo llamemos´ θ(s) = η(s)

+ ϕ. 1-5-11 a)
La curva esta descrita por la siguiente parametrizaci´on:´

Claramente
14

b)
Usamos la formula siguiente dada en el ejercicio 12 para curvas planas´

x00(θ) = ρ00(θ)cosθ − ρ0(θ)senθ − ρ0(θ)senθ − ρ(θ)cosθ y00(θ)

= ρ00(θ)senθ + ρ0(θ)cosθ + ρ0(θ)cosθ − ρ(θ)senθ
Operando queda:

1-5-12
Trabajo previo: El esquema es
α 3

I~/ R>

ϕ ~~β~~
~~~ J

Vamos ahora a relacionar las derivadas de α con las de β.

α0(t) = (β ◦ ϕ)0(t) = β0(ϕ(t)) · ϕ0(t) = β0(s)kα0(t)k

As´ı

Ahora usamos esa igualdad en lo que sigue:

Por tanto
 15

Lo expresamos as´ı para poder sustituir ahora los valores β0(s), β00(s) en terminos de´ t
obtenidos antes; y sustituyendo queda

Despejando

Sustituyendo ahora los valores de ϕ0(t),ϕ00(t), ϕ000(t) obtenidos antes tendremos

(ordenando por el orden de derivada)

Ya estamos en condiciones de hacer el ejercicio 12 propiamente:

a)
Ya esta calculado:´

b) k(t) + kβ00(s)k siendo ϕ(t) = s. Pero ten

´ıamos

Tomando normas queda

Notemos que si tomamos cuadrados el numerador de la ultima expresi´on es del tipo´

Pero, si θ denota el angulo entre´u y w resulta

Por tanto

c) τα(t) ≡ τ(t) + τ(s) ≡ τβ(s), donde s =

ϕ(t).
Notemos que τ(s) =< τ(s)b(s),b(s) >.
Despejando en la segunda igualdad de Frenet tendremos τ(s)b(s) = −k(s)t(s)−n0(s).
16

Por tanto
τ(s) =< −k(s)t(s) − n0(s) , b(s) >= − < n0(s) , b(s) >
Ahora

Sutituyendo queda

Pero sustituyendo los valores de β0(s),β00(s) y β000(s) obtenidos antes en terminos de´
t resulta

Por tanto

( producto mixto ) d)
En el caso de una curva plana α(t) = (x(t),y(t)), el vector n(s) se toma de modo que la
base {t(s),n(s)} tenga orientacion positiva. A continuaci´ on se define la curvatura como´
t0(s) = 0 · t(s) + k · n(s) ( s longitud de arco )
Expresemos ahora k en terminos de un par´ametro arbitrario´ t.
Sabemos que k2 = kβ00(s)k2 =< β00(s),β00(s) >. Sustituyendo el valor de β00(s) obtenido
antes queda

Sacando ra´ıces y despreciando la ra´ız negativa se concluye.

PREGUNTA: ¿por que nos podemos quedar con la ra´´ız positiva?

1-5-13 Como la respuesta del libro a una de las implicaciones no esta suficientemente
´ clara vamos a desarrollar la pista que el libro da: “derivar tres veces kα(s)k2 = Cte”.
Asumamos que α(s) esta incluida en una esfera. Asumimos tambi´ en que´ s es la
longitud de arco. Evidentemente lo que necesitamos probar involucra tan solo la
curvatura y la´ torsion de´ α(s), lo cual nos dice (ver Ej. 1.5.6 c)) que haciendo, si fuera
necesario, una traslacion podemos asumir desde el principio que la esfera est´ a
centrada en´ (0,0,0). Por tanto kα(s)k = C para todo s o equivalentemente < α(s),α(s) >=
C2. Derivando esa expresion se obtiene´ < α0(s),α(s) >= 0 (∗). Derivando nuevamente
(recuerda que s es la longitud de arco) queda < α00(s),α(s) > +1 = 0 o < α00(s),α(s) >= −1
∀s. Como α00(s) = k(s)n(s) resulta −1 = k(s) < n(s),α(s) > ∀s, con lo que R(s) = k(s)−1 = −
< n(s),α(s) > .
Derivando R(s) tendremos
R0(s) = − < n0(s),α(s) > − < n(s),α0(s) >= − < n0(s),α(s) >
= − < −k(s)t(s) − τ(s)b(s),α(s) >= k(s) < t(s),α(s) > +τ(s) < b(s),α(s) >
 17

= τ(s) < b(s),α(s) >

(∗)

De ese modo
R2(s) + R0(s)2T(s)2 =< n(s),α(s) >2 + < b(s),α(s) >2 ∀s
Derivemos una vez mas:´

(R2(s) + R0(s)2T(s)2)0 = (< n(s),α(s) >2 + < b(s),α(s) >2)0

= 2 < n(s),α(s) > (< n0(s),α(s) > + < n(s),α0(s) >)
+ 2 < b(s),α(s) > (< b0(s),α(s) > + < b(s),α0(s) >)
= 2 < n(s),α(s) >< n0(s),α(s) > +2 < b(s),α(s) >< b0(s),α(s) >
= 2 < n(s),α(s) >< −k(s)t(s) − τ(s)b(s),α(s) >
+ 2 < b(s),α(s) >< τ(s)n(s),α(s) >
= −2τ(s) < n(s),α(s) >< b(s),α(s) > +2τ(s) < n(s),α(s) >< b(s),α(s) >
(∗)

=0

Se sigue que R2 + R02T2 es constante.

El rec´ıproco esta suficientemente explicado en el libro.´ 1-5-
14
Sea

(a,b) −−−−α → R2 −−−−−−−−Φ→ R t −→

(x(t),y(t)) −→ k(x(t),y(t))k2

(Φ ◦ α)(t) = x2(t) + y2(t)

(Φ ◦ α)0(t) =< ∇Φ(α(t)),α0(t) >= 2(x(t)x0(t) + y(t)y0(t))

As´ı, si t0 es maximo entonces´ x(t0)x0(t0) + y(t0)y0(t0) = 0, o lo que es equivalente <

α(t0),α0(t0) >= 0.
Reparametricemos por la longitud de arco, siendo

y β ◦ ϕ = α.

Por el Ejercicio 12 se tiene y

y por tanto

0 =< α(t0),α0(t0) >=< β(s0),ϕ0(t0)β0(s0) >= ϕ0(t0) < β(s0),β0(s0) >

Como α es regular resulta que < β(s0),β0(s0) >= 0 y como β0(s0) ⊥ β00(s0) y ademas´
estamos en R2 se sigue que β(s0) k β00(s0).
18

Todav´ıa no hemos usado que t0 es maximo, es decir que´ (Φ ◦ α)00(t0) ≤ 0.

Notemos que

,
y que

Sutituyendo queda

o equivalentemente < α(t0),α00(t0) >≤ −kα0(t0)k2. Por tanto

(ϕ0(t0))2 < β(s0),β00(s0) >=< α(t0),α00(t0) >≤ −kα0(t0)k2 = −(ϕ0(t0))2

As´ı . Como ademas ten´ ´ıamos β(s0) k β00(s0)

resulta
kβ(s0)kkβ00(s0)k = | < β(s0),β00(s0) > | ≥ 1 Por
consiguiente

MODO ALTERNATIVO:
Asumimos que α esta parametrizada por el arco. Definimos la funci´on´ϕ
ϕ : (a,b) −→ R
t −→ |α(t)|2

Por hipotesis existe´ t0 ∈ (a,b) con a < t0 < b tal que α(t0) es un maximo. Por lo tanto,´ ϕ
alcanza un maximo en´ t0 lo que implica que
ϕ0 <α
(t0) = 0 ⇒ 0(t0),α(t0) >= 0
Por condicion de m´aximo no estricto tenemos que´
ϕ00(t0) ≤ 0 ⇒< α00(t0),α(t0) > + < α0(t0),α0(t0) >≤ 0
Recordando que α esta reparametrizada por el arco, i.e.´ < α0(t0),α0(t0) >= 1
< α00(t0),α(t0) >≤ −1
Por diedro de Frenet tenemos que α00 = kn siendo n el vector unitario normal a α0 tal que
la base {α0,n} preserva la orientacion de la base can´ onica (positivo) y por lo tanto´ k (la
curvatura) tiene signo. De aqui se deduce la desigualdad
k(t0) < α(t0),n >≤ −1
Notamos que el producto k(t0) < α(t0),n >< 0 y por lo tanto uno de los dos factores es
menor que 0. Si multiplicamos por -1 a la desigualdad se obtiene
 19

(1)
Y por ultimo, sabiendo que (Diedro de Frenet)´
α =< α,α0 > α0+ < α,n > n
Recordando que para t0 se tiene < α0(t0),α(t0) >= 0
α(t0) =< α(t0),n(t0) > n(t0)
De donde es inmediato que
|α(t0)| = | < α(t0),n(t0) > |
Sustituyendo en (1) se obtiene lo pedido

1-5-15
Completamos la pista del libro: Notemos que n queda determinado, salvo signo, por
b y por tanto por b, como sugiere el libro. Se sigue que n0 tambien queda determinando
0

por´ b. Por otra parte kn = t0 = (n ∧ b)0 = n0 ∧ b + n ∧ b0 = n0 ∧ b + n ∧ τn = n0 ∧ b· As´ı

que k =< kn,n >=< n0 ∧ b,n > queda determinado por b.
1-5-16
Completamos la pista del libro: Por las formulas de Frenet y teniendo en cuenta que´
t ∧ n = b y que n ∧ b = t se tiene

Ademas se tiene´
kn0k2 =< −kt − τb,−kt − τb >= k2 + τ2
Por tanto

Se concluye siguiendo las indicaciones del libro.