GeometríaIV v3

INSTITUTO SUPERIOR DE FORMACIÓN DOCENTE N°56
PROFESORADO DE MATEMÁTICA
GEOMETRÍA IV
CUARTO AÑO
2020
PROF. LIC. GARCÍA FERNANDO
Versión 2
GEOMETRÍA IV
ÍNDICE
Capítulo 1
Índice ................................................................................................................................................................................. 2
Capítulo 1 Prolegómenos a la geometría diferencial .............................................................................. 1
Vector ............................................................................................................................................................................ 1
Espacio vectorial ...................................................................................................................................................... 1
Espacio vectorial euclídeo .................................................................................................................................... 2
Dependencia e independencia lineal ............................................................................................................... 3
Bases y generadores ............................................................................................................................................... 4
Bases ortonormales ................................................................................................................................................ 6
Producto vectorial ................................................................................................................................................... 6
Práctica N°1 ................................................................................................................................................................ 7
Capítulo 2 Funciones vectoriales de variable real.................................................................................... 9
Recta en 3
................................................................................................................................................................ 9
Plano en 3
................................................................................................................................................................ 9
Entornos o vecindades........................................................................................................................................ 10
Funciones acotadas .............................................................................................................................................. 10
Límites ....................................................................................................................................................................... 11
Continuidad ............................................................................................................................................................. 11
Derivación ................................................................................................................................................................ 12
Álgebra de la derivada ........................................................................................................................................ 12
Funciones de clase C n ........................................................................................................................................ 13

Práctica N°2 ............................................................................................................................................................. 14
Capítulo 3 Parametrizaciones ........................................................................................................................ 17
parametrizaciones de algunas curvas planas ............................................................................................ 17
Algunas parametrizaciones interesantes .................................................................................................... 21
Práctica N°3 ............................................................................................................................................................. 23
Capítulo 4 Curvas generales ........................................................................................................................... 24
GEOMETRÍA IV
Cambio admisible de parámetro .................................................................................................................... 24

Difeomorfismo ....................................................................................................................................................... 24
Parametrización natural .................................................................................................................................... 26
Longitud de arco (o de curva).......................................................................................................................... 27
Longitud de arco como parámetro ................................................................................................................ 28
Proyecciones ortogonales en 3
................................................................................................................... 31
Práctica N°4 ............................................................................................................................................................. 32
Capítulo 5 Curvatura y torsión ...................................................................................................................... 34
Vector tangente unitario .................................................................................................................................... 34
Recta tangente ........................................................................................................................................................ 34
Plano normal ........................................................................................................................................................... 35
Curvatura.................................................................................................................................................................. 35
Curvatura sobre un parámetro no natural ................................................................................................. 36
Vector normal unitario ....................................................................................................................................... 39
Recta normal ........................................................................................................................................................... 40
Plano rectificante .................................................................................................................................................. 40
Vector binormal unitario ................................................................................................................................... 40
Recta binormal ....................................................................................................................................................... 41
Plano osculador ..................................................................................................................................................... 42
Triedro de Frenet en parametrizaciones generales ............................................................................... 42
Torsión ...................................................................................................................................................................... 44
Torsión en una parametrización general .................................................................................................... 46
Práctica N°5 ............................................................................................................................................................. 49
Capítulo 6 Teoría local de curvas ................................................................................................................. 50
Ecuaciones de Frenet-Serret ............................................................................................................................ 50
Ecuaciones intrínsecas........................................................................................................................................ 53
Representación canónica de una curva ....................................................................................................... 55
Práctica N°6 ............................................................................................................................................................. 57
Capítulo 7 Curvas como intersección de superficies ............................................................................ 58
Cuádricas .................................................................................................................................................................. 58
Cilindros proyectantes ........................................................................................................................................ 60
Práctica N°7 ............................................................................................................................................................. 61
GEOMETRÍA IV
Capítulo 8 Funciones vectoriales de variable real vectorial ................................................................................. 62

Funciones lineales ................................................................................................................................................ 63
Continuidad ............................................................................................................................................................. 66
Derivadas direccionales ..................................................................................................................................... 67
Funciones derivables ........................................................................................................................................... 68
Capítulo 9 Parametrizaciones de superficies .......................................................................................... 72
Representación paramétrica regular ............................................................................................................ 72
Algunas parametrizaciones de superficies ................................................................................................. 73
GEOMETRÍA IV
CAPÍTULO 1 PROLEGÓMENOS A LA GEOMETRÍA DIFERENCIAL
Se denomina de este modo al estudio de la geometría con los recursos del cálculo, en
especial nos dedicaremos al estudio de curvas y superficies de 2
 3
.
Las propiedades que se cumplen en puntos cercanos a uno determinado (llámese

entorno, circunferencia o esfera) se denominan propiedades locales.
Las propiedades que se cumplen en toda la figura se denominan propiedades globales.
Algunas definiciones necesarias a modo de introducción
VECTOR
Sea x  n
/ x = ( x1 ; x2 ;...; xn−1 ; xn ) donde xi 
ESPACIO VECTORIAL
Se denomina así a la estructura algebraica formada por un conjunto y dos operaciones,
interna y externa (suma entre vectores y producto entre un escalar y un vector), que cumplan
con las siguientes propiedades:
A1] La suma vectorial es de composición interna (cerrada).

A2] La suma vectorial es asociativa.
A3] La suma vectorial es conmutativa.
A4] La suma vectorial tiene neutro aditivo.
A5] Todo elemento del conjunto tiene inverso aditivo (opuesto).
A6] El producto externo es de composición interna.
A7] El producto externo es asociativo.
A8] El producto externo tiene neutro multiplicativo.
A9] El producto externo es distributivo respecto la suma escalar.
A10] El producto externo es distributivo respecto la suma vectorial.
1
GEOMETRÍA IV
Las operaciones que definen el espacio vectorial que utilizaremos son:
SUMA VECTORIAL
Siendo x  y  n
 x + y = ( x1 + y1 ; x2 + y2 ;...; xn+1 + yn+1 ; xn + yn )
PRODUCTO EXTERNO (PRODUCTO DE UN ESCALAR POR UN VECTOR )

Siendo k   x n
 k  x = ( k  x1 ; k  x2 ;...; k  xn+1 ; k  xn )
Diremos que a  b tienen igual dirección si k  / a = k  b . Y diremos que a  b tienen

igual dirección y sentido si k  0 .
ESPACIO VECTORIAL EUCLÍDEO

Se define de este modo a todo espacio vectorial dotado de un producto interno, en este
caso el producto escalar.
PRODUCTO ESCALAR
Siendo x  y  n
 x  y = x1  y1 + x2  y2 + ... + xn+1  yn+1 + xn  yn .
Es evidente que  x  y  ( ) n
: x y
PROPIEDADES DEFINITORIAS DEL PRODUCTO ESCALAR

(
 x yz  ) n
 k 
A1] x  y = y  x
( ) ( )
A2] k  x  y = k  x  y
A3] x  ( y + z ) = x  y + x  z
A4] x  x  0  x  x = 0  x = 0
El producto escalar permite definir una norma vectorial.
NORMA VECTORIAL
2
Sea x   x = x x
n
El axioma A4] garantiza la definición alternativa x = x x
2
GEOMETRÍA IV
ÁNGULO ENTRE VECTORES

Se denomina de este modo a la solución de la ecuación :
x y
cos  =
x  y
x y
La desigualdad de Cauchy-Schwarz permite garantizar que 1
x  y
PROPIEDADES
P1] k  x = k  x
P2] x  y  x  y (Desigualdad de Cauchy-Schwarz)
DEPENDENCIA E INDEPENDENCIA LINEAL
Sean u ; u ;...; u
1 2 n +1 ; un  un conjunto de vectores. Se definen con un conjunto
linealmente dependiente si existen los escalares k1 ; k2 ;...; kn−1 ; kn , no todos nulos, tales que el
sistema homogéneo:
k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un = 0
Admite solución no trivial.
En contraposición, si el sistema solo admite la solución trivial se dice que el conjunto es

linealmente independiente.
Teorema 1
Si un vector se expresa como combinación lineal de un conjunto de vectores linealmente
independiente, entonces esa combinación es única.
Hipótesis
 
Sean u1 ; u2 ;...; un+1 ; un linealmente independiente y el vector x  n
tales que:
x = k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un  x = q1  u1 + q2  u2 + ... + qn−1  un−1 + qn  un
3
GEOMETRÍA IV
Tesis
i 1,2.., n − 1, n : ki = qi
Demostración
Supongo k j  q j para algún j perteneciente al conjunto, luego considero la identidad
x − x = 0 , que resulta:
k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un  − q1  u1 + q2  u2 + ... + qn−1  un−1 + qn  un  = 0

   
( k1 − q1 )  u1 + ( k2 − q2 )  u2 + ... + ( kn−1 − qn−1 )  un−1 + ( kn − qn )  un = 0
Que es un sistema homogéneo, como k j  q j entonces k j − q j  0 , por lo tanto el
sistema admite una solución no trivial, esto es absurdo pues por hipótesis el conjunto
u ; u ;...; u
1 2 n +1 
; un es linealmente independiente.
Por lo tanto k j = q j . Puesto que esto se aplica a k j  q j en forma genérica es dable
afirmar que i  1,2.., n − 1, n : ki = qi .
BASES Y GENERADORES

Sean A = u1 ; u2 ;...; un+1 ; un  tales que x  n
: k1 ; k2 ;...; kn−1 ; kn   donde
x = k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un , entonces A es un sistema de generadores de n

y
se escribe n
u1 ; u2 ;...; un+1 ; un .
Si el conjunto A , además de ser generador, es linealmente independiente, entonces se

dice que es base de n
Teorema 2
Todo conjunto de tres vectores linealmente independientes es base de 3
Hipótesis
 
Sea u1 ; u2 ; u3 un conjunto linealmente independiente y x  3
4
GEOMETRÍA IV
Tesis
3
u1 ; u2 ; u3
Demostración
 
Como u1 ; u2 ; u3 es linealmente independiente el sistema k1  u1 + k2  u2 + k3  u3 = 0
debe admitir como única solución la trivial, esto es k1 = k2 = k3 = 0 .
Armando el sistema componente a componente resulta:
k1  (u11 ; u12 ; u13 ) + k2  (u21 ; u22 ; u23 ) + k3  (u31 ; u32 ; u33 ) = ( 0;0;0)
Es decir:
k1  u11 + k2  u12 + k2  u13 = 0

k1  u21 + k2  u22 + k2  u23 = 0
k1  u31 + k2  u22 + k2  u33 = 0
Como el sistema el compatible determinado, entonces el determinante de la matriz de

coeficiente debe ser no nula:
u11 u12 u13

u21 u22 u23  0
u31 u32 u33
El teorema de Rouché-Forbenius permite garantizar que el sistema:
k1  u11 + k2  u12 + k2  u13 = x1

k1  u21 + k2  u22 + k2  u23 = x2  k1  u1 + k2  u2 + k2  u3 = x
k1  u31 + k2  u22 + k2  u33 = x3
También admite solución, esto significa existen k1 ; k2 ; k3  y por lo tanto

3
u1 ; u2 ; u3 .
5
GEOMETRÍA IV
El teorema 2 puede ampliarse a n con facilidad repitiendo el procedimiento

anterior, esto demuestra que un conjunto de n vectores linealmente independientes en
un espacio vectorial de dimensión n es base del mismo.
BASES ORTONORMALES

Se define base ortonomal a todo conjunto u1 ; u2 ;...; un+1 ; un  que sea base de un
espacio vectorial y cumpla que ui = 1, i  1;2;...; n − 1; n y ui  u j = 0 si i  j
PRODUCTO VECTORIAL
Sea e ; e ; e 
1 2 3 una base ortonormal de 3
y sean x = x1  e1 + x2  e2 + x3  e3 y
y = y1  e1 + y2  e2 + y3  e3 , esto es x = ( x1 ; x2 ; x3 )  y = ( y1 ; y2 ; y3 ) en términos de la base

dada.
Luego:
e1 e2 e3
x  y = x1 x2 x3
y1 y2 y3
PROPIEDADES
P1] x  y = x  y  sin  siendo  = ( x y)
P2] x  y ⊥ x  x  y ⊥ y
( )
P3] x  y = − y  x Anticonmutativa
P4] x  ( y + z ) = x  y + x  z
P5] k  x  y = k  ( x  y )
P6] x  x = 0
6
GEOMETRÍA IV
PRÁCTICA N°1
1 | OPERACIONES ENTRE VECTORES
E1.1] Siendo a = u1 − 2u2 + 3u3  b = u2 − u3  c = u1 + 2u2 , hallar 2a − 3 b − c ( ) en
función de u1 , u2 , u3 .
E1.2] Demostrar que el segmento que uno los puntos medios de los lados de un triángulo
(base media) es paralelo al tercer lado e igual a la mitad de su longitud.
E1.3] Siendo, en la figura, OA  OB demostrar
que C pertenece a la recta AB si y sólo si

OC = k1  OA + k2  OB , donde k1 + k2 = 1 .
E1.4] Demostrar la desigualdad triangular,
u+v  u + v
2 | DEPENDENCIA E INDEPENDENCIA LINEAL

E2.1] Demostrar que los vectores u1 , u2 ,..., un son dependientes si y sólo si uno de los
vectores es combinación lineal de los otros.
E2.2] Demostrar que un conjunto de vectores que contiene un subconjunto linealmente
dependiente es linealmente dependiente.
3 | BASES Y GENERADORES
E3.1] Demostrar que cualquier vector perteneciente a 3 se puede expresar como
combinación lineal de tres vectores independientes; y, consecuentemente, tres
vectores linealmente independientes forman una base de 3
.
E3.2] Demostrar que cuatro o más vectores pertenecientes a 3
son linealmente
dependientes.
E3.3] Suponiendo que u1 , u2 , u3 forman una base de 3
y además, a = u1 − u2 + 2u3 ,
b = u2 − u3 y c = −u2 . Hallar las componentes de 2a − b − 2c en función de

u1 , u2 , u3 .
E3.4] Sean c / c ⊥ a  c ⊥ b demostrar que c ⊥ k1 a + k2 b
4 | PRODUCTO VECTORIAL
7
GEOMETRÍA IV
( )
E4.1] Demostrar que a  b + c = a  b + a  c
E4.2] Demostrar que ( ka )  b = k ( a  b )
( )
2 2 2 2
E4.3] Demostrar que a  b = a b − a b
E4.4] Demostrar que a  b = a  b  sin ab ( )

( )
E4.5] Demostrar que a  b ⊥ a  a  b ⊥ b ( )
E4.6] Demostrar que a  b  c = a  b  c
( ) ( )
E4.7] Demostrar que a  b  c = a  c  b − a  b  c ( )
∎
8
GEOMETRÍA IV
CAPÍTULO 2 FUNCIONES VECTORIALES DE VARIABLE REAL
DEFINICIÓN
Sean f : → n
 
una función vectorial y e1 ; e2 ;...; en−1 ; en una base de n
tales que
t  se puede escribir: f ( t ) = f1 ( t )  e1 + f 2 ( t )  e2 + ... + f n−1 ( t )  en−1 + f n (t )  en , o en
( )
términos de la base dada f (t ) = f1 (t ) ; f 2 (t ) ;...; f n−1 (t ) ; f n (t ) .
El valor real t se denomina parámetro de la función vectorial.
La función f recibe el nombre de camino o trayectoria en n
El conjunto de punto del espacio n

formado por las imágenes de f se denominan
traza o gráfico de la función vectorial.
RECTA EN 3
Sean u  3
/u 0 y V 3
un punto del espacio cartesiano, entonces se llama recta
que pasa por V y tiene la dirección de u a los puntos X  3
tales que: X = t  u + V siendo
t  su parámetro.
Desarrollando coponentes:
 x1 = t  u1 + v1

 x2 = t  u2 + v2
x = t u + v
 3 3 3
Denominadas ecuaciones paramétricas de la recta.
Se dice que el punto X engendra la recta cuando el parámetro t varía sobre su

dominio.
Todo vector linealmente dependiente con u se dice paralelo a la recta y, así mismo, dos
rectas serán paralelas si sus vectores directores son linealmente dependientes.
PLANO EN 3
9
GEOMETRÍA IV
Sean u  v  3
vectores linealmente independientes y V  3
un punto del espacio
cartesiano, entonces se llama plano que pasa por V y tiene dirección paralela a u  v a los
puntos X  3
tales que: X = h  u + k  v + V siendo ( h  k )  sus parámetros.
En términos de sus componentes resulta:
 x1 = h  u1 + k  v1 + v1

 x2 = h  u2 + k  v1 + v2
x = hu + k v + v
 3 3 1 3
Denominadas ecuaciones paramétricas del plano.
Se dice que X engendra el plano cuando los parámetros h  k varían sobre su

dominio.
Si n  3
tal que es perpendicular al plano, entonces se cumple que todo par de puntos
del mismo generan un vector perpendicular a n , esto es:
Siendo ( X  A)  3
y al plano, entonces, X − A ⊥ n , esto es; X − A  n = 0 , en
términos de las componentes:
( x1 − a1 )  n1 + ( x2 − a2 )  n2 + ( x3 − a3 )  n3 = 0
x1  n1 − a1  n1 + x2  n2 − a2  n2 + x3  n3 − a3  n3 = 0
x1  n1 + x2  n2 + x3  n3 − a1  n1 − a2  n2 − a3  n3 = 0
Es decir:
x1  n1 + x2  n2 + x3  n3 − ( a1  n1 + a2  n2 + a3  n3 ) = 0
Denominada ecuación polinómica del plano.
ENTORNOS O VECINDADES
()
Se llama entorno esférico S  a , o esfera abierta, de radio  de a a los puntos X del
espacio cartesiano que verifican X − a   .
FUNCIONES ACOTADAS
10
GEOMETRÍA IV
Se dice que f ( t ) función vectorial de 3

es acotada si, y solamente si, existe una
esfera abierta que la contiene para todo el dominio de t .
Mejor: f : I →
3
es acotada    / t  I : f ( t )  S x ()
LÍMITES
La función vectorial f tiene límite, cuando t → t0 , si   0 :   0 / f ( t )  S ( L )
si t − t0   con x  t0 .
En este caso se escribe: lim f (t ) = L

t →t0
Es claro que:
lim f ( t ) = lim  f1 ( t )  e1 + f 2 (t )  e2 + f3 (t )  e3 
t →t0 t →t0
lim f ( t ) = lim f1 ( t )  e1 + lim f 2 (t )  e2 + lim f3 (t )  e3

t →t0 t →t0 t →t0 t →t0
Es decir, que para que exista lim f ( t ) deben existir:

t →t0
lim f1 (t )  lim f2 (t )  lim f3 (t )

t →t0 t →t0 t →t0
PROPIEDADES
Siendo las funciones vectoriales lim f (t ) = L  lim g (t ) = M  lim h (t ) = N .
t →t0 t →t0 t →t0
P1] lim  f ( t )  g ( t ) = L  M

t →t 0
P2] lim  f ( t )  g ( t ) = L  M

t →t 0
P3] lim  f ( t ) , g ( t ) , h ( t ) =  L, M , N 

t →t 0
CONTINUIDAD
La función vectorial f : I → es continua en t0  I si  lim f ( t ) .

3
t →t0
Así mismo f es continua en I si lo es para todo t0  I .
11
GEOMETRÍA IV
( )
Es claro que para que f ( t ) = f1 ( t ) ; f 2 ( t ) ; f3 (t ) sea continua en t = t0 debe ocurrir
que f1 ( t )  f 2 (t )  f3 (t ) lo sean.
DERIVACIÓN
f ( t ) − f ( t0 )
Siendo la función f : I → , llamamos derivada de f a f ' ( t ) = lim
3
.
t →t0 t − t0
f ( t + t ) − f (t0 )
De forma equivalente f ' ( t ) = lim
t →0 t
Considerando las componentes:
f ( t ) − f ( t0 )
f ' ( t ) = lim
t →t0 t − t0
 f1 ( t )  e1 + f 2 ( t )  e2 + f3 ( t )  e3  −  f1 ( t0 )  e1 + f 2 ( t0 )  e2 + f3 (t0 )  e3 
f ' ( t ) = lim    
t →t0 t − t0
 f1 ( t ) − f1 ( t0 )  e1 +  f 2 ( t ) − f 2 ( t0 )  e2 +  f3 ( t ) − f3 (t0 )  e3
f ' ( t ) = lim 
t →t0 t − t0
f1 ( t ) − f1 ( t0 ) f ( t ) − f 2 ( t0 ) f ( t ) − f 3 ( t0 )
f ' ( t ) = lim  e1 + lim 2  e2 + lim 3  e3
t →t0 t − t0 t →t0 t − t0 t →t0 t − t0
f ' ( t ) = f1 ' ( t )  e1 + f 2 ' ( t )  e2 + f3 ' ( t )  e3
(
Y en términos de la base canónica: f ' ( t ) = f1 ' (t ) ; f 2 ' (t ) ; f3 ' (t ) )
Teorema 3
La función f : I → es derivable en t = t0 sí, y solamente si, f1 ( t )  f 2 (t )  f3 (t )

3
lo son.
ÁLGEBRA DE LA DERIVADA
12
GEOMETRÍA IV
Siendo f ( t )  g ( t ) funciones vectoriales derivables, se cumple:
( )
P1] f (t ) + g (t ) ' = f ' (t ) + g ' (t )
P2] ( f (t )  g (t ) ) ' = f ' (t )  g (t ) + f (t )  g ' (t )
P3] ( f (t )  g (t ) ) ' = f ' (t )  g (t ) + f (t )  g ' (t )
Siendo  : J → I /  ( u ) = t  f : I → 3
df df dt
P4] = 
du dt du
FUNCIONES DE CLASE C n
Una función f se dice de clase C n si es derivable n veces con continuidad.
PROPIEDADES
Si las funciones vectoriales ( f  g )  C n y la función escalar h Cn entonces:
P1] f + g  C
n
P2] h  f  C
n
P3] f  g  C
n
P4] f  g  C
n
P5] f g  Cn
13
GEOMETRÍA IV
PRÁCTICA N°2
1 | RECTAS Y PLANOS
E1.1] Hallar un vector unitario normal al plano que contiene a los puntos
P ( 0,1,1) ; Q (1,0, −1) ; R (1, −1,0) .
E1.2] Hallar la ecuación del plano que pasa por A (1,0, −1) ; B ( 0,0,1) ; C ( −1, −1,0)
E1.3] Hallar la ecuación del plano que pasa por A (1, −1,0) y es normal a la recta
x1 = −k + 1, x2 = k + 1, x3 = 3 .
E1.4] Hallar la ecuación de la recta que pasa por A (1, −1, 2) y es paralela al eje x3 .
E1.5] Hallar la ecuación de la recta intersección de los planos: 3x1 − 2 x2 + x3 = 5 y
2 x1 + 3x2 − x3 = −1
E1.6] Demostrar que la ecuación de la recta que pasa por a y es normal al plano x  n = d
siendo d  0 es x = k  n + a con k  .
E1.7] Demostrar que la ecuación de la recta que pasa por a y es ortogonal a c  d , c  d
( )
, es x = k  c  d + a .
2 | FUNCIONES
( ) ( )
E2.1] Calcular los vectores: x = t 3 + 1 e1 + 1 − t 2 e2 para los valores enteros de t ,
pertenecientes −4  t  4 . Graficarlos.
E2.2] Con una tabla de valores graficar la curva x = t e1 + (1 − t ) e2 para t  ( −4, 4) .

2
( )
E2.3] Siendo f(t ) = t 2 + 1 e1 + t 3 e3  g(t ) = sin t  e1 − cos t  e2 . Hallar:
E2.3.1] f ( a + b ) (
E2.3.3] f ( sin t )  g t + 1
2
)
E2.3.2] g ( t + t )
( ) ( )
E2.4] Siendo f(t ) = 1 + t 3 ;2t − t 2 ; t  g(t ) = 1 + t 2 e1 + t 3 e2  h(t ) = 2t − 1 . Hallar:
(
E2.4.1] h ( 2)  f (1) + g ( −1) ) E2.4.3] f ( a )  g ( a )
E2.4.2] g ( 2) E2.4.4] f ( t )  g ( t )
14
GEOMETRÍA IV
E2.4.5] g ( 2a − b ) E2.4.7] f ( h ( t ) )
E2.4.6] f ( t0 + t ) − f (t0 )
E2.5] Demostrar que la curva engendrada por el vector:
x = ( −2 + sin t; t 2 + 2; t 2 − 1 + 2sin t ) está sobre el plano que pasa por a = e2 + 2e3
y es normal a N = 2e1 + e2 − e3 .
3 | LÍMITES Y CONTINUIDAD
( )
E3.1] Calcular lim  3t 2 + 1 e1 − t 3 e2 + e3 
t →2  
 2 t2 −1 
E3.2] Calcular lim ( t + 1) e1 − e e2 +
t
t + 1 
e3
t →−1

( )
E3.3] Siendo: f(t ) = sin t  e1 + te3  g(t ) = t 2 + 1 e1 + et e2 . Hallar:
E3.3.1] lim  f ( t )  g ( t ) E3.3.2] lim  f ( t )  g ( t ) 

t →0 t →0
( )
E3.4] Siendo f(t ) = t 2 + 1 e1 + cos t  e3  g(t ) = sin t  e1 + et e2 . Hallar:
E3.4.1] lim  f(t )  g(t )  E3.4.2] lim  f(t )  g(t ) 

t →0   t →0  
t2 +1
E3.5] Determinar las discontinuidades de f(t ) = 2 e1 + tan t  e2
t −1
 sin t 
E3.6] Definir la función f ( t ) =  ; t  para que sea continua en t = 0
 t 
E3.7] Demostrar que si f (t ) , g (t ) , h (t ) son continuas en t0 entonces
 f (t ) , g (t ) , h (t ) también lo es.
E3.8] Demostrar que si f ( t ) , g ( t ) , h ( t ) son continuas en t0 entonces f ( t )  g ( t )  h ( t )
también lo es.
4 | DERIVACIÓN
E4.1] Siendo u = ( 2 + t ) e2 + ( log t ) e3  v = ( sin t ) e1 − ( cos t ) e2 con t  0 , Hallar:
E4.1.1]
d
dt
( )
uv E4.1.2]
d
dt
(
uv )
15
GEOMETRÍA IV
E4.2] Siendo u = a ( cos t ) e1 + a ( sin t ) e2 + bte3 con a  0  b  0 , Hallar:
du d 2u
E4.2.1] E4.2.4]
dt dt 2
du
E4.2.2]
dt
d 2u
E4.2.3]
dt 2
( )
E4.3] Siendo u = 3t 2 + 1 e2 + (sin t ) e2  v = ( cos t ) e1 − et e3 , Hallar:
E4.3.1]
d
dt
( )
uv E4.3.3]
d
dt
u
E4.3.2]
d
dt
(
uv )
( )
E4.4] Siendo u = tet e1 + 2 (sin t ) e2 + t 2 + 1 e3  t = s 2 + 2 con t  2 . Hallar:
du d 2u
E4.4.1] E4.4.2]
ds ds 2
du
E4.5] Siendo u = ( sin t ) e1 + 2t 2 e2 + te3  t = log s con t  0 . Hallar
ds
du d u
E4.6] Demostrar que u  = u 
dt dt
16
GEOMETRÍA IV
CAPÍTULO 3 PARAMETRIZACIONES
Definimos una representación uniparamétrica regular a la función vectorial tal que,
Siendo f : I  → n
:
A1] f ( t )  C en I
1
A2] t  I : f ' ( t )  0
PARAMETRIZACIONES DE ALGUNAS CURVAS PLANAS
CIRCUNFERENCIA
Considerando la circunferencia definida por x + y = 1

2 2
Parametrización trigonométrica
f (t ) = ( cos t;sin t ) ; t  ( 0;2 )
Deducción:
Considerando las coordenadas del punto ( x; y ) y
llamando t al ángulo que el segmento forma con el je de
abscisas resulta:
x = cos t  y = sin t donde t  ( 0;2 )
Luego la parametrización del punto resulta:
( x; y ) = ( cos t;sin t )
Como t es el ángulo de giro evidentemente t  ( 0;2 )
Parametrización irracional (de Monge)
17
GEOMETRÍA IV
 1
f (t ) = 
(
 f ( t ) = t; 1 − t 2
) t  ( −1;1)
(
 f 2 ( t ) = t; − 1 − t 2
 ) t  ( −1;1)
Deducción:
Considerando la identidad x = t resulta t 2 + y 2 = 1  y = 1 − y 2 .
Es decir que la parametrización necesita de dos cartas

para recorrer toda la circunferencia, ( t; 1− t 2 ) para la
semicircunferencia superior y ( t; − 1 − t ) 2
para la
semicircunferencia inferior.
Como x = t es claro que t  ( −1;1) .
Otra parametrización irracional
(
 f1 ( t ) = t ; 1 − t

) t  ( 0;1)
 2( )
f (t ) = 
(
 f t = − t; 1− t
) t  ( 0;1)
(
 f3 ( t ) = t ; − 1 − t

) t  ( 0;1)
(
 f4 (t ) = − t ; − 1 − t
 ) t  ( 0;1)
Deducción:
Considerando la identidad t = x2 podemos despejar
las igualdades:
x = t  y = 1− t
Esta parametrización requiere de cuatro cartas para

recorrer la circunferencia f1 (t ) recorre el primer
cuadrante, f 2 ( t ) , f3 ( t ) y f 4 ( t ) el segundo tercero y cuarto
respectivamente.
18
GEOMETRÍA IV
De la definición de t se deduce que t  ( 0;1) .
Parametrización racional (por norte)
 2t t 2 − 1 
f (t ) =  2 ; 2  ; t 
 t +1 t +1 
Deducción:
Considero el punto de la circunferencia N = ( 0;1)
y un punto P = ( x; y ) sobre la circunferencia.
La recta  que pasa por N  P tiene como vector

director a NP = ( x; y − 1) , luego su ecuación vectorial es:
 : ( x´; y´) = ( x; y −1)  + ( 0;1)
Donde ( x´; y´) son los puntos de la recta y  es su

parámetro.
Siendo una recta con pendiente no nula si N  P debe tener raíz, sea ( t;0) su
intersección con el eje de abscisas, luego se verifica:
(t;0) = ( x; y −1)  + ( 0;1)

Las ecuaciones paramétricas de la recta:
 t = x

 de donde x = t (1 − y ) (1)
0 = ( y − 1)  + 1

Como el punto P = ( x; y ) está sobre la circunferencia debe satisfacer su ecuación
x2 + y 2 = 1 , reemplazando (1) resulta:
19
GEOMETRÍA IV
t (1 − y ) + y 2 = 1
2
t 2 (1 − 2 y + y 2 ) + y 2 = 1
t 2 − 2t 2 y + t 2 y 2 + y 2 = 1
(t 2
+ 1) y 2 − 2t 2 y = 1 − t 2
Dividiendo miembro a miembro por t 2 + 1 : ( )

t2 1− t2
y −2 2
2
y= 2
t +1 t +1
Completando el cuadrado:
2 2 2
t2  t 2  1− t 2  t 2   t 2  1− t 2 t4
y −2 2
2
y + 2  = 2 + 2   y − 2  = 2 +
t +1  t +1  t +1  t +1   t + 1  t + 1 ( t 2 + 1)2
t 2  (1 − t )  ( t + 1) + t
2 2
  t2 
2 2 4
1
y− 2  =  y− 2  =
t +1  (t 2 +1) t + 1  ( t 2 + 1)2
2
 
Luego:
t2 1
y− = 2
t +1 t +1
2
Ahora hay dos posibilidades:
t2 1 1 t2
i) y− =  y = +  y = 1 que es absurdo.
t 2 +1 t 2 +1 t 2 +1 t 2 +1
t2 1 1 t2 t 2 −1
ii) y− 2 =− 2  y=− 2 + 2  y= 2
t +1 t +1 t +1 t +1 t +1
Reemplazando en (1):
 t 2 −1   2  2t
x = t 1 − 2   x = t  2   x = 2
 t +1   t +1  t +1
 2t t 2 − 1 
El punto ( x; y ) resulta entonces  ; 2 .
 t +1 t +1 
2
Como el parámetro recorre completamente el eje real entonces t  .
20
GEOMETRÍA IV
ALGUNAS PARAMETRIZACIONES INTERESANTES
HIPÉRBOLA
De ecuación x − y = 1
2 2
 +   
 f ( t ) = ( sec t; tan t ) t   − 2 ; 2 
  

 f − ( t ) = ( sec t; tan t ) t    ; 3 
 2 2 
  
  2t 1 + t 2 
 ; 2 
;t 
 1− t 1− t 
2
f (t ) = 
 2t ; − 1 + t  ; t 
2
 1 − t 2 1 − t 2 
 
LEMNISCATA
Es el lugar geométrico de los puntos del plano tales

que el producto de sus distancias a dos puntos fijos,
llamados focos, es contante.
( ) = 2c2 ( x2 − y 2 )
2
De ecuación x 2 + y 2
 a  cos t a  sin t  cos t 

f (t ) =  ;  ; t  ( 0;2 )
 1 + sin t 1 + sin t 
2 2
21
GEOMETRÍA IV
Parametrízación racional
 t (1 + t 2 ) 2t (1 − t 2 ) 
f (t ) =  ; ;t 
 1+ t4 1+ t4 
 
CICLOIDE
Es el camino que recorre un punto de una

circunferencia de radio a que rueda sin deslizarse
sobre una recta.
f (t ) = a (t − sin t;1 − cos t ) ; t 
TRACTRIZ
Un punto ubicado en el punto ( 0;1) del plano

y restringido al extremos de un segmento de longitud
unitaria, el otro extremo del segmento se desliza
sobre el eje de abscisas desde el origen de
coordenadas en sentido positivo. El trayecto que
describe es la tractriz.
De ecuación diferencial: y = − f ' ( x ) 1 − y

2
   t  
f ( x ) =  sin t;cos t + ln  tan    ; t  ( 0;  )
   2  
Parametrización hiperbólica
f (t ) = (sech (t ) , t − tanh (t ) ) ; t 
FOLIO DE DESCARTES
De ecuación x + y = 3axy
3 3
Parametrización racional
22
GEOMETRÍA IV
 3at 3at 2 
f (t ) =  ; 3 
; t  ( −1; + )
a+t a+t 
3
PRÁCTICA N°3
PARA LAS CURVAS DADAS, PARAMETRIZAR POR EL MÉTODO PEDIDO , GRAFICAR E INDICAR
CÓMO CADA CAMINO RECORRE LA CURVA .
1 | CIRCUNFERENCIAS
E1.1] Parametrizar trigonométricamente la circunferencia centrada en el origen de
radio 2.
E1.2] Parametrizar por otro método la circunferencia anterior.
2 | HIPÉRBOLA
E2.1] Deducir la parametrización racional dada por el método de norte.
x2
E2.2] Parametrizar la hipérbola − y2 = 1
4
y 2 x2
E2.3] Parametrizar la hipérbola − =1
4 9
3 | PARÁBOLA
Parametrizar por norte la parábola y = x + 1
2
E3.1]
Parametrizar la parábola x = 4 y
2
E3.2]
4 | ELIPSE
Parametrizar la elipse x + 4 y = 1
2 2
E4.1]
1 2
E4.2] Parametrizar por norte la elipse x2 + y =1
4
23
GEOMETRÍA IV
CAPÍTULO 4 CURVAS GENERALES
CAMBIO ADMISIBLE DE PARÁMETRO

Se denomina cambio admisible de parámetro a una función escalar derivable con
continuidad y regular.
Mejor:
Sea  : J  →I  /
i)   C1 en I
ii)  '  0 en I
Entonces es un cambio admisible de parámetro.
Un cambio admisible de parámetro permite obtener una parametrización alternativa a

una curva.
Siendo f : I  → n
/ f (t ) = ( f1 (t ) ; f2 (t ) ;...; f n−1 (t ) ; f n (t )) una parametrización
regular y el cambio admisible de parámetro :J  →I  /  (u ) = t entonces la
composición:
f ( u ) = f  ( u ) = ( f1  ( u ) ; f3  (u ) ;...; f n−1  (u ) ; f n  (u ) )
Es una parametrización de la misma curva y se dicen parametrizaciones equivalentes.
Mejor:
Proposición:
Dos parametrizaciones se dicen equivalentes si existe entre ellas un cambio admisible
de parámetro.
DIFEOMORFISMO
Se llama de este modo a una función escalar biyectiva y derivable con continuidad tal
que su inversa también es derivable con continuidad.
24
GEOMETRÍA IV
Mejor:
Sea  : J  →I  /
i)  es biyectiva en I
ii)   C1 en I
iii)  −1  C1 en I
Teorema 4
Un difeomorfismo es siempre regular.
Hipótesis
:J  → I  / (u ) = t es difeomorfismo
Tesis
u  J :  ' (u )  0
Demostración
Por definición de difeomorfismo  es biyectiva, entonces se cumple que

t :   −1
(t ) = t con  ( u ) = t  
−1
(t ) = u
Derivando en función de t resulta:
d dt
  −1 ( t ) =
dt dt
d d −1
 (u )   (t ) = 1
du dt
 ' ( u )   −1 ' ( t ) = 1
Como el producto es no nulo, esto implica que ninguno de sus factores es nulo, es decir
 ' (u )  0   −1 ' (t )  0 , que demuestra la tesis.
Corolario al teorema 4
Dado un difeomorfismo, su inversa es también siempre regular.
25
GEOMETRÍA IV
Otro corolario al teorema 4

Todo difeomorfismo es cambio admisible de parámetro.
La demostración es trivial habiendo demostrado el teorema 4.
Teorema 5
Un difeomorfísmo conserva la regularidad.
Hipótesis
Sea f :I  → n
/ f (t ) = v una parametrización regular, esto es, donde
t  I : f ' ( t )  0 y sea  : J  → I  / (u ) = t un difeomorfísmo, tales que

f (u ) = f  (u ) = v
Tesis
f ' (u )  0
Demostración
Considerando f ( u ) = f  ( u ) y derivando respecto a u se obtiene:
d d
f (u ) =  f  ( u )
du du 
d d d
f (u ) = f (t )   (u )
du dt du
f ' (u ) = f ' (t )   ' (u )
Pero por hipótesis f ' ( t )  0 pues es una parametrización regular y  ' ( u )  0 por ser
un difeomorfismo, por lo tanto su producto es también no nulo, que es la tesis.
PARAMETRIZACIÓN NATURAL
Sea f : I  → n
una parametrización regular, se dice entonces que es una
parametrización natural, o bien que su parámetros es natural si para todo valor de I se cumple
que su derivada es un vector unitario.
26
GEOMETRÍA IV
Mejor:
f :I  → es parametrización natura si t  I : f ' (t ) = 1 .

n
LONGITUD DE ARCO (O DE CURVA)
Sea f : I  → n
/ f (t ) = ( f1 (t ) ; f2 (t ) ;...; f n−1 (t ) ; f n (t )) y a  t  b valores de
I , definiendo a = t0  t1  t2  ...  tn−1  tn = b resulta la secuencia
f (t0 ) ; f (t1 ) ;...; f (tn−1 ) ; f (tn ) , una sucesión de
puntos sobra la curva parametrizada por f ( t ) .
Luego la longitud s de la curva entre los

puntos f (t0 )  f (tn ) está aproximada, por defecto,
por la sumatoria de las normas de los segmentos
formados, es decir:
n
sp =  f (ti ) − f (ti−1 ) de modo que s  sp
1
Es claro que sp → s si n →  , o lo que equivale a decir que los incrementos

t = ti − ti−1 → 0 .
Si planteamos lo último en términos de límites resulta:
f (t + t ) − f (t )
lim = f ' (t )
t →0 t
Luego cuando t → 0 la sumatoria sp resulta una suma de Riemann, por lo tanto se

puede escribir que
tn
s =  f ' ( t ) dt
t0
27
GEOMETRÍA IV
LONGITUD DE ARCO COMO PARÁMETRO

Una curva cuyo parámetro sea la longitud de arco garantiza que la curva tenga una
medida idéntica a la longitud del intervalo del dominio del parámetro, esto podría interpretarse
como que el intervalo es una “rectificación” de la curva, o también que la velocidad de recorrido
de la curva es unitaria.
t
Sea f : I  → n
/ f ( t ) = v y sea s =  f ' ( t ) dt su longitud de arco entre los
t0
valores t0 y el parámetro t . Si  ( t ) = s es un difeomorfismo entonces también lo es su función
inversa  −1 ( s ) = t . Luego a la función f = f  −1 ( s ) se la denomina parametrización por

longitud de arco.
(
Si consideramos que I = ( t0 ; tn ) entonces el nuevo dominio es I =  −1 (t0 ) ; −1 (tn ) . )
Teorema 6
Toda parametrización por longitud de arco es natural.
Demostración:
Hipótesis:
Sean f : I →
n
una parametrización regular y  ( t ) = s es difeomorfismo tal que
tn
s =  f ' ( t ) dt y f = f  −1 ( s ) una parametrización equivalente a f
t0
Tesis:
s : f ' ( s ) = 1
Considerando f = f  −1 ( s ) y derivando en función de s se obtiene:
d d d d
f = f  −1 ( s ) = f (t )   −1 ( s ) (1)
ds ds dt ds
28
GEOMETRÍA IV
1
Por el teorema de la derivada de la función inversa  '( s) = , y siendo  ' ( t )
−1
 ' (t )
 ( t ) = s =  f ' ( t ) dt derivando miembro a miembro:
d d
 ( t ) =  f ' ( t ) dt
dt dt
 ' (t ) = f ' (t )
Luego:
d −1 1 1
 (s) =   −1 ' ( s ) =
ds d
 (t ) f ' (t )
dt
En (1):
1
f ' = f ( t ) '
f ' (t )
Es evidentemente un vector unitario, que es la tesis.
Teorema 7
Un difeomorfismo conserva la longitud de arco.
Demostración:
Hipótesis:
Sea f :I  → n
/ f (t ) = v una parametrización regular y sea
:J  → I  / (u ) = t un difeomorfísmo, tales que f ( u ) = f  ( u ) = v
Tesis:
un tn
 f ' ( u ) du = s =  f ' ( t ) dt
u0 t0
29
GEOMETRÍA IV
Considerando f ( u ) = f  ( u ) y por lo tanto f ' ( u ) = f ' ( t )   ' ( u ) se tiene:
f ' (u ) =  ' (u )  f ' (t )
Como se ha demostrado  ' ( u )  0 por ser un difeomorfismo, por lo tanto existen dos
posibilidades:
i)  ' (u )  0
ii)  ' (u )  0
Caso i)
Si  ' ( u )  0 esto implica que función

escalar  (u ) = t es estrictamente creciente en su
dominio, considerando a J = ( u0 ; un )  I = (t0 ; tn )
resulta  ( u0 ) = t0   ( un ) = tn .
Por lo tanto:
un un
 f ' ( u ) du =   ' (u )  f ' (t ) du

u0 u0
Para poder integrar sobre t consideramos que t =  ( u ) diferenciando resulta

dt
dt =  ' ( u )  du  = du .
 ' (u )
Aplicando el cambio de variable en la integral:
un  (un )
dt
 f ' ( u ) du =   ' (u )  f ' (t ) 
u 0  (u0 )
 ' (u )
un tn
 f ' ( u ) du =  f ' ( t )  dt
u0 t0
Que es la tesis.
30
GEOMETRÍA IV
Caso ii)
Si  ' ( u )  0 esto implica que función

escalar  (u ) = t es estrictamente decreciente
en su dominio, resulta en este caso
 (u0 ) = tn   (un ) = t0 .
En este caso al aplicar el cambio de

variable en la integral:
un un
 f ' ( u ) du =  − ' (u )  f ' (t ) du

u0 u0
un  (un )
dt
 f ' ( u ) du =  − ' ( u )  f ' ( t ) 
u0  (u0 )
 ' (u )
un t0
 f ' ( u ) du =  − f ' ( t )  dt
u0 tn
Como los extremos de integración están invertidos resulta:
un tn
 f ' ( u ) du =  f ' ( t )  dt
u0 t0
Que es la tésis.
PROYECCIONES ORTOGONALES EN 3
Sea f : I  → n
parametrización regular de una curva C sobre el espacio
vectorial n
(
. En términos de sus componentes f (t ) = f1 (t ) ; f 2 (t ) ;...; f n−1 (t ) ; f n (t ) . )
Si se considera la coordenada fi ( t ) constantemente nula, entonces se obtiene la
proyección sobre el plano f1 (t ) ; f 2 (t ) ;...; fi −1 (t ) ; fi +1 (t ) ;...; f n (t )
31
GEOMETRÍA IV
PRÁCTICA N°4
1 | PARAMETRIZACIONES
( )
E1.1] Demostrar que f (t ) = t , t 2 + 1, t − 1 es una parametrización regular y hallar sus
proyecciones sobre los planos coordenados.
( )
E1.2] Demostrar que f (t ) = t, t 2 + 2, t 3 + t es una parametrización regular y hallar sus
proyecciones sobre los planos coordenados.
  
E1.3] Demostrar que f ( ) = 1 + cos  ,sin  , 2sin    con −2    2 , es regular
  2 
y está contenida sobre la esfera de radio dos y centro en el origen de coordenadas y
sobre el cilindro ( x1 − 1) + x22 = 1

2
E1.4] La ecuación de la cisoide de Diocles en coordenadas polares es r = 2sin  tan  con

 
−   . Trazar la curva y hallar una representación paramétrica en
2 2
coordenadas rectangulares.
a
E1.5] La ecuación de la concoide de Nicómedes en coordenadas polares es r = +c
cos
con a  0, c  0, −     . Trazar la curva y hallar una representación
paramétrica en coordenadas rectangulares.
E1.6] Buscar una representación paramétrica para la intersección del cilindro x12 + x22 = 1
con el plano x1 + x2 + x3 = 1
E1.7] Buscar una representación paramétrica para la intersección de los cilindros x32 = x1
y x2 = 1 − x1 . Sugerencia: x2 + x3 = 1
2 2 2
2 | CURVAS REGULARES
2
E2.1] Demostrar que t = es un cambio admisible de parámetro para 0     y
 2 +1
que transforma al intervalo dado en 0  t  1.
E2.2] Demostrar que  = 3t 5 + 10t 3 + 15t + 1 es un cambio admisible de parámetro para

todo t .
32
GEOMETRÍA IV
E2.3] Hallar un cambio admisible de parámetro que aplique el intervalo 0  t  2 sobre

−    0
 
E2.4] Dada la cisoide x1 = sin , x2 = 2sin2  tan con −   , introducir el
2 2
parámetro t = 2  sin .
3 | LONGITUD DE ARCO
(
E3.1] Calcular la longitud de arco de f (t ) = 3cosh ( 2t ) ,3sinh ( 2t ) ,6t con 0  t   )
(
E3.2] Calcular la longitud de arco de f (t ) = et cos t , et sin t , et con 0  t  )
(
E3.3] Reparametrizar por longitud de arco la curva f (t ) = et cos t , et sin t , et con t  )
.
E3.4] Demostrar que la parametrización dada es natural
1
( ) ( ) ( ) 
−1
1 1 
f ( s ) =  s + s2 + 1 , s + s2 + 1 , 2 log s + s 2 + 1
2 2 2 
(
E3.5] Demostrar que f (t ) = t,sin t, et  t  ) es una representación equivalente a
f (t ) = ( log t,sin ( log t ) , t )  t  ( 0, +) .
33
GEOMETRÍA IV
CAPÍTULO 5 CURVATURA Y TORSIÓN
Así como una recta queda determinada por dos de sus puntos y una circunferencia
queda determinada por su centro y su radio, una curva en el espacio, suficientemente suave, y
regular, queda absolutamente determinada por dos valores escalares denominados curvatura
y torsión que son funciones del parámetro natural.
VECTOR TANGENTE UNITARIO

Sea f : I  → n
una parametrización regular, y
sea t  I ; es claro que la derivada f ' ( t0 ) contiene la
dirección del vector tangente a la curva en el punto t = t0 , el
vector tangente obtenido suele denominarse vector velocidad
y, si bien la dirección es una propiedad de la curva
independiente de la parametrización, el sentido del mismo
dependerá de esta última.
Si el vector tangente se normaliza entonces el

resultado es el vector tangente unitario.
Mejor:
f ' (t )
T (t ) =
f ' ( t0 )
Claramente cuando la parametrización de la curva es natural el vector tangente unitario

coincide con el vector velocidad.
RECTA TANGENTE
Se denomina así a la recta que contiene la dirección del
vector tangente unitario en el punto t = t0 de la curva.
Mejor:
T : X = T (t0 ) + f (t0 )
34
GEOMETRÍA IV
PLANO NORMAL
El plano que pasa por f ( t0 ) y es ortogonal al
vector T ( t0 ) (o bien al vector velocidad, o bien a la

recta tangente) se denomina plano normal a la curva en el
punto f ( t0 ) .
Su ecuación se deduce de:
N (t0 ) :  X − f (t0 )  T (t0 ) = 0
CURVATURA
Si la curva parametrizada en forma natural por la
función f es de clase C 2 , esto es, diferenciable al menos
dos veces con continuidad entonces se puede considerar
las derivadas:
f ' ( s ) = T ( s )  f '' ( s ) = T ' ( s )
Se denomina a T ' ( s ) vector curvatura y se nota
 (s) .
Mejor:
Si f es una parametrización natural entonces  ( s ) = f '' ( s ) .
A la norma del vector curvatura se la denomina curvatura de la curva en el punto y viene

dada por la expresión:
 ( s ) =  ( s ) = f '' ( s )
Su recíproco multiplicativo se denomina radio de curvatura, es decir:
1
 (s) =
k (s)
Se denomina punto de inflexión de la curva a todos los puntos del dominio donde el
vector curvatura se anula, consecuentemente la curvatura vale cero y el radio de curvatura
tiende a infinito.
35
GEOMETRÍA IV
PROPIEDADES
P1] Puesto que f ' ( s ) es un vector unitario  ( s ) , que es su derivada, verifica para todo s
que  ( s ) ⊥ f ' ( s ) .
P2] El sentido del vector velocidad depende de la orientación de la curva, pero no así la del
vector curvatura.
CURVATURA SOBRE UN PARÁMETRO NO NATURAL

Interesa ver ahora un método para obtener, tanto el vector curvatura, como la función
escalar curvatura sobre una parametrización general.
f :I  → una parametrización no natural y  : J  → I un

3
Sean
difeomorfismo de modo que la composición f :J → 3
/ f = f  verifica que
s  J : f ' ( s ) = 1 .
Se verifica entonces:
f ' (t )
f '( s) = T ( s)  = T (t )
f ' (t )
Donde al ser parametrizaciones equivalentes debe verificarse, para  ( s ) = t que

T ( s ) = T ( t ) , es decir:
f ' (t )
= T (s)
f ' (t )
Derivando miembro a miembro en función de s :
d f ' ( t ) dt
 ( s ) = T ´( s ) = 
dt f ' ( t ) ds
f '' ( t )  f ' ( t ) − f ' ( t )  f ' ( t ) '  ds −1
 (s) =  
f ' (t )  dt 
2
36
GEOMETRÍA IV
Considerando que:
( f ' (t ) ) ' = ( f ' (t )  f ' (t )) '

2
2  f ' ( t )  f ' ( t ) ' = 2 f ' ( t )  f '' ( t )

f ' ( t )  f '' ( t )
f ' (t ) ' =
f ' (t )
Y que:
s =  f ' ( t ) dt
ds
= f ' (t )
dt
Entonces:
f ' ( t )  f '' ( t )
f ' ( t )  f '' ( t ) −  f ' (t )
f ' (t ) 1
 (s) = 
f ' (t )
2
f ' (t )
f ' ( t )  f '' ( t ) −  f ' ( t )  f '' ( t )  f ' ( t )

2
 (s) =
f ' (t )
4
Habiendo definido que  ( s ) =  ( s ) , aplicando norma a la expresión anterior:
f ' ( t )  f '' ( t ) − f ' ( t )   f ' ( t )  f '' ( t ) f ' ( t )  f '' ( t ) − f ' (t )   f ' (t )  f '' (t )
2 2
 ( s) =
2
f ' (t ) f ' (t )
4 4
1
 ( s) =   f ' ( t )  f '' ( t ) − f ' ( t )   f ' ( t )  f '' ( t ) 
2 4 2 2 2
f ' (t )
8  
1
 ( s) =   f ' ( t )  f '' ( t ) −  f ' ( t )  f '' ( t ) 
2 2 2 2
f ' (t )
6  
( )
2 2 2 2
Como se verifica que u  v = u  v − uv
f ' ( t )  f '' ( t )
2
 (s) =
2
f ' (t )
6
37
GEOMETRÍA IV
Mejor:
f ' ( t )  f '' ( t )
 ( s) =
f ' (t )
3
Teorema 8
Un difeomorfismo conserva la curvatura.
Hipótesis
f :I  → una parametrización no natural y  : J  → I un

3
Sean
difeomorfismo tal que f : J → 3
/f =f 
Tesis
k (t ) = k (u )
Demostración
Considerando f = f  ( u ) y derivando en función de u se obtiene:
f ' (u ) =  ' (u )  f ' (t )
Y su norma:
f ' (u ) =  ' (u )  f ' (t )

(1)
Derivando nuevamente:
f '' ( u ) =  '' ( u )  f ' ( t ) +  ' ( u )   f '' ( t )   ' ( u )

f '' ( u ) =  '' ( u )  f ' ( t ) +  '2 ( u )  f '' ( t )
Debo hallar f ' ( u )  f '' ( u ) :
38
GEOMETRÍA IV
f ' ( u )  f '' ( u ) =  ' ( u )  f ' ( t )   '' ( u )  f ' ( t ) +  '2 ( u )  f '' ( t )
f ' ( u )  f '' ( u ) =  ' ( u )  f ' ( t )   '' ( u )  f ' ( t ) +  ' ( u )  f ' ( t )   '2 ( u )  f '' ( t )
f ' ( u )  f '' ( u ) =  ' ( u )   '' ( u )   f ' ( t )  f ' ( t ) +  '3 ( u )  f ' ( t )  f '' (t )
f ' ( u )  f '' ( u ) =  '3 ( u )  f ' ( t )  f '' ( t )
La norma de lo último es f ' (u )  f '' (u ) =  ' (u ) f ' (t )  f '' (t )

3
(2)
Por último reemplazando (1) y (2) en la fórmula de la curvatura para

parametrizaciones generales:
f ' ( u )  f '' ( u )  ' (u ) f ' ( t )  f '' ( t )

3
=
f ' (u )  ' (u )  f ' (u )
3 3
f ' ( u )  f '' ( u )  ' (u ) f ' ( t )  f '' ( t )

3
=
f ' (u )  ' (u ) f ' (u )
3 3 3
f ' ( u )  f '' ( u ) f ' ( t )  f '' ( t )

=
f ' (u ) f ' (u )
3 3
Es decir k (u ) = k (t ) que es la tesis.
VECTOR NORMAL UNITARIO

Definimos al vector normal unitario al que contiene la
dirección perpendicular al vector tangente unitario y conforma
con este un ángulo recto en el sentido positivo de rotación.
Mejor:
Siendo f : I  → 3
una parametrización regular
de parámetro natural y s0  I , entonces

N ( s0 ) ⊥ T ( s0 )  N ( s0 ) , T ( s0 ) =  N ( s0 ) = 1 es el
2
vector normal unitario de f en el punto s = s0 .
39
GEOMETRÍA IV
Como el vector curvatura es perpendicular al vector tangente, es evidente que el vector

normal unitario y el vector curvatura tienen la misma dirección.
Esto es N ( s0 ) / / ( s0 ) , luego debe existir un escalar a lo largo de la curva tal que
 ( s0 )  N ( s0 ) =  ( s0 ) , y su norma es  ( s0 ) =  ( s0 ) . Esto significa que la función escalar

coincide con la curvatura definida, excepto quizás en sigo. En definitiva podemos escribir:
 ( s0 )  N ( s0 ) =  ( s0 )
 ( s0 )
O mejor N ( s0 ) = y en términos de f :
 ( s0 )
f '' ( s0 )
N ( s0 ) =
f '' ( s0 )
RECTA NORMAL
De igual forma que el vector tangente unitario permite
definir la dirección de la recta tangente a la curva en un punto
de la misma, el vector normal unitario determina la dirección de
la recta normal a la curva.
Su ecuación vectorial en tanto resulta:
N : X = N ( s0 ) + f ( s0 )
PLANO RECTIFICANTE
El plano que pasa por el punto de estudio de la curva y
es perpendicular al vector normal unitario se denomina plano
osculador , y viene dado por la expresión:
R ( s0 ) :  X − f ( s0 )  N ( s0 ) = 0
VECTOR BINORMAL UNITARIO

Sobre una representación paramétrica regular y natural derivable dos veces con
continuidad, se definieron dos vectores unitarios y perpendiculares entre sí, los vectores
tangente unitario y normal unitario, puesto que estos vectores verifican esta condición a lo
40
GEOMETRÍA IV
largo de toda la curva, pueden a su vez determinar un tercer vector linealmente independiente
con los dados y perpendicular con ambos que se denomina vector binormal unitario.
Mejor:
Siendo f : I  → 3
/ f  C 2 regular y natural, y siendo s0  I de modo que
f ( s0 ) es un punto de la curva, y considerando T ( s0 )  N ( s0 ) los vectores tangente unitario
y normal unitario en dicho punto, entonces se define el vector binormal unitario según la
expresión:
B ( s0 ) = T ( s0 )  N ( s0 )
Así definido el vector binormal

tangente verifica: B ( s0 ) = 1 y también
B ( s0 ) ⊥ T ( s0 )  B ( s0 ) ⊥ N ( s0 ) .
Siendo los vectores unitarios

perpendiculares dos a dos y, por lo tanto
linealmente independiente, el conjunto
T ( s ) ; N ( s ) ; B ( s ) forma una base ortonormal
0 0 0
del espacio vectorial real. Esta base recibe el

nombre de triedro móvil de Frenet.
RECTA BINORMAL
El vector binormal unitario determina la dirección de
la recta binormal, la cual es perpendicular a la recta tangente
y a la recta normal, y también a los planos osculador y normal.
La recta viene dada por la expresión:
B : X = B ( s0 ) + f ( s0 )
41
GEOMETRÍA IV
PLANO OSCULADOR
El plano perpendicular a la dirección del vector binormal unitario, y que contiene a los
vectores tangente unitario y normal unitario se denomina plano osculador y su expresión se
obtiene a partir de:
O ( s0 ) :  X − f ( s0 )  B ( s0 ) = 0
En resumen, sobre un punto de la curva resulta:
PL. RECTIFICANTE
PL. OSCULADOR
TRIEDRO DE FRENET EN PARAMETRIZACIONES GENERALES

Se han definido los vectores: normal unitario y binormal unitario sobre
parametrizaciones naturales, es necesario ahora obtener un método para obtener los mismos
vectores sobre parametrizaciones generales sin que esto signifique el proceso de
reparametrización por longitud de arco.
Sean f :I  → 3
una parametrización general y :J  →I un
/ f = f  es una representación paramétrica natural.
Consideremos ahora un punto de la curva, como se ha visto antes, se verifica:
 ( s)  N ( s) =  ( s)   ( s)  N (s) = T '(s)
42
GEOMETRÍA IV
Esto implica que el vector T ' ( s ) = f '' ( s ) tiene la dirección de N ( s ) y por lo tanto
pertenece al plano osculador, pues es perpendicular al vector B ( s ) .
Recordamos que:
f ' ( t )  f '' ( t ) − f ' ( t )   f ' ( t )  f '' ( t )

2
 ( s) = T '( s) =
f ' (t )
4
Puedo escribir:
 f ' ( t )  f '' ( t )

 f '' ( t ) − 
1
T '( s) =  f ' (t )
f ' (t ) f ' (t )
2 4
Por lo tanto:
 1  f ' ( t )  f '' ( t ) 

  f '' ( t ) −  f ' ( t )  B ( s ) = 0
 f ' (t ) 2 f ' (t )
4

 
 f ' ( t )  f '' ( t )
 f '' ( t )  B ( s ) − 
1
 f ' (t )  B ( s ) = 0
f ' (t ) f ' (t )
2 4
Siendo f ' ( t ) un vector con la misma dirección que
T ( s ) ocurre que f ' (t )  B ( s ) se anula, entonces:
1
 f '' ( t )  B ( s ) = 0
f ' (t )
2
Luego f '' ( t ) también pertenece al plano osculador.
Esto implica que el producto vectorial entre la primer y segunda derivada debe ser un
vector normal al plano osculador, y por lo tanto, debe tener la dirección del vector binormal
unitario. Mejor:
f ' ( t )  f '' ( t )
B ( s ) / / f ' ( t )  f '' ( t )  B ( s ) =
f ' ( t )  f '' ( t )
f ' ( t )  f '' ( t )
 B (t ) =
f ' ( t )  f '' ( t )
43
GEOMETRÍA IV
Por último, teniendo definidos los vectores T ( t )  B (t ) , siendo una terna dextrógira,
se determina:
N (t ) = B (t )  T (t )
TORSIÓN
Cuando se estudió la variación del vector tangente respecto al parámetro de la curva se
obtuvo la función escalar curvatura, para realizar el mismo estudio en función del vector
binormal se debe estudiar la derivada del mismo.
Siendo B ( s ) = T ( s )  N ( s ) y derivando ambos miembros:
B '( s) = T '( s)  N ( s) + T (s)  N '(s)
Pero T ' ( s )  N ( s ) son linealmente dependientes, y por lo tanto, su producto vectorial

se anula, es decir:
B '( s) = T ( s)  N '( s) (1)
Como N ( s ) = 1 entonces N ( s ) ⊥ N ' ( s ) , luego N ' ( s ) pertenece al plano

rectificante y puede escribirse como combinación lineal de T ( s )  B ( s ) , esto es:
N '( s) =   T ( s) +  B (s)
Luego:
B ' ( s ) = T ( s )    T ( s ) +   B ( s )

B '( s) =  T ( s)  T ( s) +  T (s )  B (s)
Donde T ( s )  T ( s ) = 0  T ( s )  B ( s ) = N ( s ) , entonces:
B '( s) =   N ( s)
Cuando el parámetro s varía el escalar  también, por lo tanto es una función escalar
de s . Esta función se denomina segunda curvatura o torsión de la curva en el punto.
44
GEOMETRÍA IV
Luego:
 ( s) = B ' ( s )  N ( s ) (2)
La obtenida es una formula poco práctica para el cálculo de la torsión pues implica pasar
previamente por la obtención de los vectores del triedro. Es importante contar con un
procedimiento que permita llegar a la torsión de la curva en punto en función de la
parametrización.
f '' ( s )
Considerando N ( s ) = y derivando:
f '' ( s )
f '' ( s )  f ''' ( s )
f '' ( s )  f ''' ( s ) −  f '' ( s )
f '' ( s )
N '( s) =
f '' ( s )
2
1 f '' ( s )  f ''' ( s )
N '( s) =  f ''' ( s ) −  f '' ( s )
f '' ( s ) f '' ( s )
3
Reemplazando en (1):
 1 f '' ( s )  f ''' ( s ) 
B '( s) = f '( s)    f ''' ( s ) −  f '' ( )
s
 f '' ( s ) f '' ( )
s
3

 
1 f '' ( s )  f ''' ( s )
B '( s) =  f ' ( s )  f ''' ( s ) −  f ' ( s )  f '' ( s )
f '' ( s ) f '' ( s )
3
En (2):
 1 f '' ( s )  f ''' ( s )  f '' ( s )

 ( s) =   f ' ( s )  f ''' ( s ) −  f ' ( s )  f '' ( s ) 
 f '' ( s ) f '' ( s )
3
 f '' ( s )
 
1 f '' ( s )  f ''' ( s )
 ( s) =   f ' ( s )  f ''' ( s )  f '' ( s ) −
2 
  f ' ( s )  f '' ( s )  f '' ( s )
f '' ( s ) f '' ( s )
4
45
GEOMETRÍA IV
Donde claramente  f ' ( s )  f '' ( s ) ⊥ f '' ( s ) , entonces:
 f ' ( s )  f ''' ( s )  f '' ( s )

 ( s) = 
f '' ( s )
2
Por propiedad del producto mixto se concluye finalmente:
 f ' ( s )  f '' ( s )  f ''' ( s )

 ( s) = − 
f '' ( s )
2
TORSIÓN EN UNA PARAMETRIZACIÓN GENERAL

La ecuación (2) puede utilizarse únicamente en parametrizaciones naturales pues si
bien los vectores del triedro son únicos para cada punto, la derivada del vector binormal no
tiene por qué hacerlo al derivar respecto de los distintos parámetros. Por ello es necesario un
método de obtención de la torsión en función de un parámetro general.
Sean f :I  → 3
una parametrización general y :J  →I un
/ f = f  es una representación paramétrica natural.
Considerando que en toda parametrización natural se verifica que

f ' ( s )  f '' ( s ) = T ( s )  T ' ( s ) y recordando las igualdades:
f ' (t )  f ' ( t )  f '' ( t )

 f '' (t ) − 
1
f (s) = T (s) =  f '' ( s ) = T ' ( s ) =  f ' (t )
f ' (t ) f ' (t )
2
f ' (t )
4
Entonces se puede escribir:
1  1  f ' ( t )  f '' ( t ) 

f ' ( s )  f '' ( s ) =  f ' (t )    f '' ( t ) −  f ' ( t ) 
f ' (t )  f ' (t ) 2 f ' ( t )
4

 
 f ' ( t )  f '' ( t )
  f ' ( t )  f '' ( t ) − 
1
f ' ( s )  f '' ( s ) = 3 
  f ' ( t )  f ' (t )
f ' (t ) f ' (t )
5
46
GEOMETRÍA IV
Es decir:
1
f ' ( s )  f '' ( s ) =   f ' ( t )  f '' ( t ) (2)
f ' (t )
3
Debo hallar ahora f ''' ( s ) , partiendo de:
 f ' ( t )  f '' ( t )

 f '' (t ) − 
1
T ' ( s ) = f '' ( s ) =  f ' (t )
f ' (t ) f ' (t )
2 4
Derivando:
d  1  f ' ( t )  f '' ( t )  dt

f ''' ( s ) =  f '' ( t ) −  f ' (t )  
dt  f ' ( t ) 2 f ' (t )
4
 ds
 
 f ' ( t )  f '' ( t )   d   f ' ( t )  f '' ( t )   f ' ( t )  f '' ( t ) 
 −2 1    1
   f '' ( t ) +  f ''' ( t ) −     f ' (t ) +  f '' ( t )  
 f ' ( t )
3
f ' (t ) f ' (t )
2
  dt  f ' (t )
4
 f ' (t )
4
  f ' (t )
    
−2  f ' ( t )  f '' ( t ) 1 d   f ' ( t )  f '' ( t )  1  f ' ( t )  f '' ( t )
f ''' ( s ) =  f '' ( t ) +  f ''' ( t ) −   f ' ( t ) −  f '' ( t )
f ' (t )
5
f ' (t )
3
dt  f ' ( t )
4
 f ' (t ) f ' ( t )
5
 
Ahora en  f ' ( s )  f '' ( s )  f ''' ( s ) :
 f ' ( t )  f '' ( t )  −2  f ' ( t )  f '' ( t ) f ''' ( t ) d   f ' ( t )  f '' ( t )  f ' ( t )  f ' (t )  f '' (t )

   f '' ()
t + −  −  f '' ( )
t
f ' (t )
3
 f ' (t )
5
f ' (t )
3
dt  f ' (t )
4
 f ' (t ) f ' (t )
5

 
Como  f ' ( s )  f '' ( s )  f ' ( s ) = 0   f ' ( s )  f '' ( s )  f '' ( s ) = 0 :
 f ' ( t )  f '' ( t ) f ''' ( t )

 f ' ( s )  f '' ( s )  f ''' ( s ) =  
f ' (t ) f ' (t )
3 3
 f ' ( t )  f '' ( t )  f ''' (t )

 f ' ( s )  f '' ( s )  f ''' ( s ) =  (3)
f ' (t )
6
Resta ahora considerar f '' ( s ) =  ( s ) , utilizando la fórmula de la curvatura para

parametrizaciones generales y reemplazando esto, (2) y (3) en la fórmula de torsión:
47
GEOMETRÍA IV
 f ' ( t )  f '' ( t )  f ''' ( t )

f ' (t )
6
 ( s) = − 2
 f ' ( t )  f '' ( t ) 
 
 () 
3
 f ' t 
 f ' ( t )  f '' ( t )  f ''' ( t )
 ( s) = −
f ' ( t )  f '' ( t )
2
En conclusión:
 f ' ( t )  f '' ( t )  f ''' ( t )

 (t ) = − 
f ' ( t )  f '' ( t )
2
48
GEOMETRÍA IV
PRÁCTICA N°5
1 | DETERMINAR LA CURVATURA EN EL PUNTO PEDIDO

E1.1] f(t ) = ( et , e−t , t ) en t = 0
( )
E1.2] f(t ) = t 2 + 1, t 2 − 1, t en t = 1
E1.3] f( ) = ( ln t, t, t ) en t = 1
t
2
E1.4] Hallar el punto de mayor curvatura de la parábola y = x2
E1.5] Determine la curvatura de la parábola de n-ésimo orden y = xn

E1.6] Demuestre que una curva es una recta si y solo si su curvatura es constantemente
nula.
2 | DETERMINE LAS ECUACIONES DE LAS RECTAS TANGENTE , NORMAL Y BINORMAL ; Y DE LOS

PLANOS NORMAL, RECTIFICANTE Y OSCULADOR EN LOS PUNTOS PEDIDOS .
( )
E2.1] f(t ) = t, t 2 , t 2 + 3 en t = 0 ( )
E2.3] f(t ) = ln t, t, t 2 en t = 1
E2.2] f(t ) = ( cos t ,sin t , tan t ) en
t =0
3 | TORSIÓN
1+ t 1 1 
E3.1] Demuestre que la curva f(t ) =  , ,  es plana. Determine la ecuación
1− t 1− t 1+ t 
2
del plano que la contiene.
( )
E3.2] Demuestre que la curva f(t ) = 3t − t 3 ,3t 2 ,3t + t 3 tiene curvatura y torsión iguales
en todos sus puntos.

E3.3] Hallar la torsión de la curva f(t ) = ( t − sin t , t − cos t , t )
4 | TRIEDRO MOVIL
E4.1] Hallar el triedro de Frenet para la curva del punto E3.2]
(
E4.2] Hallar el aparato de Frenet para la curva f(t ) = t, t 2 ,3 + t 2 )
∎
49
GEOMETRÍA IV
CAPÍTULO 6 TEORÍA LOCAL DE CURVAS
ECUACIONES DE FRENET-SERRET
Teorema 9
Para un punto f ( s0 ) de una curva se verifica para los vectores del triedro móvil y su

curvatura y torsión T ( s0 ) ; N ( s0 ) ; B ( s0 ) ;  ( so ) ; ( s0 ) 
i) T ' ( s0 ) =  ( s0 )  N ( s0 )
ii) N ' ( s0 ) = − ( s0 )  T ( s0 ) −  ( s0 )  B ( s0 )
iii) B ' ( s0 ) =  ( s0 )  N ( s0 )
 
Como T ( s0 ) ; N ( s0 ) ; B ( s0 ) forman una base de 3
puede escribirse:
T ' ( s0 ) = 0  T ( s0 ) +  ( s0 )  N ( s0 ) + 0  B ( s0 )
N ' ( s0 ) = − ( s0 )  T ( s0 ) + 0  N ( s0 ) −  ( s0 )  B ( s0 )
B ' ( s0 ) = 0  T ( s0 ) +  ( s0 )  N ( s0 ) + 0  B ( s0 )
Esto permite escribir las ecuaciones de Frenet-Serret en forma matricial:
 0  ( s0 ) 0   T ( s0 )   T ' ( s0 ) 
     
 − ( s0 ) 0 − ( s0 )    N ( s0 )  =  N ' ( s0 ) 
 0 − ( s0 ) 0   B ( s0 )   B ' ( s0 ) 

Hipótesis
Sean f : I  → una parametrización natural y s0  I

3
Tesis
i) T ' ( s0 ) =  ( s0 )  N ( s0 )
ii) N ' ( s0 ) = − ( s0 )  T ( s0 ) −  ( s0 )  B ( s0 )
iii) B ' ( s0 ) =  ( s0 )  N ( s0 )
Demostración
50
GEOMETRÍA IV
i) Se demuestra a partir de la definición de la curvatura para parámetros naturales pues:
f ' ( s0 ) = T ( s0 )  f '' ( s0 ) = T ' ( s0 ) donde T ( s0 ) = f '' ( s0 ) =  ( s0 ) siendo
f '' ( s0 )
N ( s0 ) =  f '' ( s0 )  N ( s0 ) = f '' ( s0 ) , es decir:  ( s0 )  N ( s0 ) = T ' ( s0 ) , que es la
f '' ( s0 )
tesis.
iii) Se demuestra también partiendo de la definición de torsión en parámetros naturales,

pues:
B ( s0 ) = T ( s0 )  N ( s0 )  B ' ( s0 ) = T ( s0 )  N ' ( s0 ) que implica B ' ( s0 ) / / N ( s0 )

donde la función escalar que recorre la curva con el parámetro es  ( s0 ) , claramente
B ' ( s0 ) =  ( s0 )  N ( s0 ) , que es la tesis.
Para demostrar ii) partimos del hecho que el triedro es base ortonomal del espacio
vectorial real, es decir:
N ' ( s0 ) =   T ( s0 ) +   N ( s0 ) −   B ( s0 ) (*)
Multiplicando ambos miembros escalarmente por T ( s0 ) :
N ' ( s0 )  T ( s0 ) =   T ( s0 ) +   N ( s0 ) −   B ( s0 )  T ( s0 )

N ' ( s0 )  T ( s0 ) =   T ( s0 )  T ( s0 ) +   N ( s0 )  T ( s0 ) −   B ( s0 )  T ( s0 )
N ' ( s0 )  T ( s0 ) = 
Partiendo ahora de T ( s0 )  N ( s0 ) = 0 y derivando miembro a miembro:
T ' ( s0 )  N ( s0 ) + T ( s0 )  N ' ( s0 ) = 0
Por i):
 ( s0 )  N ( s0 )  N ( s0 ) + T ( s0 )  N ' ( s0 ) = 0   ( s0 ) + T ( s0 )  N ' ( s0 ) = 0
Es decir:
N ' ( s0 )  T ( s0 ) = − ( s0 ) =  (1)
Multiplicando ambos miembros escalarmente por N ( s0 ) :
51
GEOMETRÍA IV
N ' ( s0 )  N ( s0 ) =   T ( s0 ) +   N ( s0 ) −   B ( s0 )  N ( s0 )

N ' ( s0 )  N ( s0 ) =   T ( s0 )  N ( s0 ) +   N ( s0 )  N ( s0 ) −   B ( s0 )  N ( s0 )
N ' ( s0 )  N ( s0 ) = 
Pero N ' ( s0 ) ⊥ N ( s0 ) entonces:
N ' ( s0 )  N ( s0 ) = 0 =  (2)
Multiplicando ambos miembros escalarmente por B ( s0 ) :
N ' ( s0 )  B ( s0 ) =   T ( s0 ) +   N ( s0 ) −   B ( s0 )  B ( s0 )

N ' ( s0 )  B ( s0 ) =   T ( s0 )  B ( s0 ) +   N ( s0 )  B ( s0 ) −   B ( s0 )  B ( s0 )
N ' ( s0 )  B ( s0 ) = 
Partiendo ahora de N ( s0 )  B ( s0 ) = 0 y derivando miembro a miembro:
N ' ( s0 )  B ( s0 ) + B ( s0 )  B ' ( s0 ) = 0
Por iii):
N ' ( s0 )  B ( s0 ) +  ( s0 )  B ( s0 )  N ( s0 ) = 0   ( s0 ) + N ' ( s0 )  B ( s0 ) = 0
Es decir:
N ' ( s0 )  B ( s0 ) = − ( s0 ) =  (3)
(1), (2) y (3) en (*):
N ' ( s0 ) =   T ( s0 ) +   N ( s0 ) −   B ( s0 )
N ' ( s0 ) = − ( s0 )  T ( s0 ) −  ( s0 )  B ( s0 )
Que es la tesis.
52
GEOMETRÍA IV
ECUACIONES INTRÍNSECAS
Una de las consecuencias más relevantes de las ecuaciones de Frenet-Serret es que una
curva queda biunívocamente determinada por sus funciones escalares curvatura y torsión, es
decir, que dos curvas en el espacio tienen la misma función curvatura, y la misma función
torsión, a lo largo de todos sus punto, entonces son la misma curva, excepto quizás por la
posición en el espacio.
Esto queda demostrado con el:
Teorema 10
Hipótesis
Sean C  C dos curvas en 3

de modo que s :  ( s ) =  ( s )   ( s ) =  ( s )
Tesis
C  C son idénticas excepto su posición
Demostración
Considerando T ( s ) ; N ( s ) ; B ( s ) ; ( s ) ; ( s )  T ( s ) ; N ( s ) ; B ( s ) ; ( s ) ; ( s )
correspondientes a C  C respectivamente.
Ahora:
T ( s )  T ( s ) ' = T ' ( s )  T ( s ) + T ( s )  T ' ( s )

 
T ( s )  T ( s ) ' =  ( s )  N ( s )  T ( s ) + T ( s )   ( s )  N ( s )
 
T ( s )  T ( s ) ' =  ( s )   N ( s )  T ( s ) + T ( s )  N ( s )
   
Además:
 N ( s )  N ( s ) ' = N ' ( s )  N ( s ) + N ( s )  N ' ( s )

 
T ( s )  T ( s ) ' = − ( s )  T ( s ) −  ( s )  B ( s )  N ( s ) + N ( s )  − ( s )  T ( s ) −  ( s )  B ( s )
   
T ( s )  T ( s ) ' = − ( s )  T ( s )  N ( s ) + N ( s )  T ( s ) −  ( s )   B ( s )  N ( s ) + N ( s )  B ( s )
     
53
GEOMETRÍA IV
Y también:
 B ( s )  B ( s ) ' = B ' ( s )  B ( s ) + B ( s )  B ' ( s )

 
 B ( s )  B ( s ) ' =  ( s )  N ( s )  B ( s ) + B ( s )   ( s )  N ( s )
 
 B ( s )  B ( s ) ' =  ( s )   N ( s )  B ( s ) + B ( s )  N ( s )
   
Es decir que:
T ( s )  T ( s ) + N ( s )  N ( s ) + B ( s )  B ( s ) '
 
T ( s )  T ( s ) '+  N ( s )  N ( s ) '+  B ( s )  B ( s ) '
     
Puede escribirse:
   N  T + T  N  −   T  N + N  T  −    B  N + N  B  +    N  B + B  N  = 0
En conclusión:
T ( s )  T ( s ) + N ( s )  N ( s ) + B ( s )  B ( s ) ' = 0
 
Integrando miembro a miembro:
T ( s )  T ( s ) + N ( s )  N ( s ) + B ( s )  B ( s ) = cte
Considerando los puntos de la curva f ( s0 )  f ( s0 ) y haciéndolos coincidir, aplicando

de ser necesario traslaciones y rotaciones, debe ocurrir entonces que los triedros de Frenet de
cada curva coincidan también.
Luego:
T ( s0 )  T ( s0 ) = N ( s0 )  N ( s0 ) = B ( s0 )  B ( s0 ) = 1
Entonces:
T ( s0 )  T ( s0 ) + N ( s0 )  N ( s0 ) + B ( s0 )  B ( s0 ) = 3
Como la suma anterior es contante, entonces tomará el valor 3 a lo largo de toda la

curva, es decir, para todo s . Esto demuestra también que:
T (s) T (s) = N (s)  N (s) = B (s)  B (s) = 1
A lo largo de toda la curva.
54
GEOMETRÍA IV
Por lo tanto los vectores unitarios de ambos triedros de Frenet coinciden a lo largo de
toda la curva.
Por último T ( s ) = f ' ( s )  T ( s ) = f ' ( s )  f ' ( s ) = f ' ( s ) , integrando:
f (s) = f (s) + c
Es decir que coinciden, excepto por un escalar, esto es, su posición en el espacio, que es
la tesis.
Luego del teorema 9 podemos afirmar que una curva queda absolutamente definida por
su curvatura y su torsión, a estas se las denominan ecuaciones intrínsecas de la curva.
Teorema fundamental de la existencia y la unicidad de las curvas en el

espacio.
Sean  ( s )   ( s ) funciones arbitrarias en I  , entonces existe y es única, la curva
C cuya curvatura es  ( s ) y cuya torsión es  ( s ) , excepto su posición en el espacio.
La demostración a este teorema requiere la aplicación de sistemas de

ecuaciones diferenciales, tema que no aborda el apunte, puede encontrarse
bibliografía suficiente que conste con la demostración al teorema dado.
REPRESENTACIÓN CANÓNICA DE UNA CURVA
Sea f : I  → 3
una representación paramétrica regular y natural de una curva, y
 
considérese el triedro T ( s ) ; N ( s ) ; B ( s ) como base de 3
. Sea el punto s = so tal que
f ( s0 ) = ( 0;0;0) , esto significa que en dicha base s0 = 0 .
De esta suerte debe verificarse:
T ( s0 ) = (1;0;0) ; N ( s0 ) = ( 0;1;0) ; B ( s0 ) = ( 0;0;1)
Considerando el desarrollo de McLaurin de f ( s ) :
f '' ( 0) 2 f ''' ( 0) 3
f ( s ) = f ( 0) + f ' ( 0)  s + s +  s + R ( s3 )
2! 3!
55
GEOMETRÍA IV
Ahora:
f ' ( 0) = T ( 0) = e1
f '' ( 0) = T ' ( 0) =  ( 0)  N ( 0)
f '' ( 0) = 0  e2
f ''' ( 0 ) = T ' ( 0 ) ' =  ( 0 )  N ( 0 ) '

f ''' ( 0 ) =  0 ' N ( 0 ) +  0  N ' ( 0 )
f ''' ( 0 ) =  0 ' N ( 0 ) +  0  − 0  T ( 0 ) −  0  B ( 0 )
f ''' ( 0 ) =  0 ' N ( 0 ) −  02  T ( 0 ) −  0   0  B ( 0 )
f ''' ( 0 ) = − 02  e1 +  0 ' e2 −  0   0  e3
Resulta:
 0  e2 − 02  e1 +  0 ' e2 −  0   0  e3 
f ( s ) = e1  s + s +  2   s3 + R s3
( )
2! 3!
 2    '     
f ( s ) =  s − 0  s3   e1 +  0  s 2 + 0  s3   e2 +  − 0 0  s3   e3 + R ( s3 )
 6   2 6   6 
Puede escribirse:
  02 3  0 2  0 ' 3  0  0 3 
f (s) =  s −  s ;  s +  s ;− s 
 6 2 6 6 
Se denomina representación canónica de la curva en el punto dado, y eliminando el

término del resto permite una aproximación de la curva según una curvatura y una torsión
arbitrarias en la base de los vectores del triedro de Frenet.
B = e3
T = e1 N = e2
56
GEOMETRÍA IV
PRÁCTICA N°6
1 | DADAS LAS FUNCIONES ESCALARES CURVATURA Y TORSIÓN , DETERMINAR UNA

PARAMETRIZACIÓN APROXIMADA DE LA CURVA Y ESTUDIAR LO PEDIDO EN CADA CASO .
E1.1] Siendo  t = 2t 2 + 1   t = 3 hallar su representación canónica y calcular los

() ()
vectores del triedro móvil en t = 0
E1.2] Siendo  t = t 3 + 1   t = 2 − t hallar su representación canónica y expresar las

() ()
ecuaciones de las proyecciones de la curva sobre los planos osculador, rectificante
y normal en t = 0
E1.3] (
Siendo f t = 2t;2t 2 + 1; −t 2
() ) la representación canónica de una curva expresar
las ecuaciones de las proyecciones sobre los plano osculador, rectificante y normal,
y graficarlas.
57
GEOMETRÍA IV
CAPÍTULO 7 CURVAS COMO INTERSECCIÓN DE SUPERFICIES
CUÁDRICAS
En general, una cuádrica es una superficie formada por los puntos del plano tales que
sus cordenadas verifican una ecuación polinómica de segundo grado.
P ( x, y, z ) = 0 tal que P es un polinomio de grado dos.
Todavía no se cuenta con herramientas suficientes para el estudio de las superficies en

general, pero las ecuaciones de las cuadricas pueden utilizarse con relativa simpleza. A
continuación las diferentes cuádricas sin traslaciones o rotaciones.
ELIPSOIDE
De ecuación:
x2 y 2 z 2
+ + =1
a 2 b2 c 2
Las esferas son casos particulares de elipsoide.
HIPERBOLOIDE DE UNA HOJA

De ecuación:
x2 y 2 z 2
+ − =1
a 2 b2 c 2
HIPERBOLOIDE DE DOS HOJAS

De ecuación:
x2 y 2 z 2
− − =1
a 2 b2 c 2
58
GEOMETRÍA IV
CONO CIRCULAR RECTO

De ecuación:
x2 y 2
− = z2
a 2 b2
PARABOLOIDE ELÍPTICO
De ecuación:
x2 y 2
+ =z
a 2 b2
PARABOLOIDE HIPERBÓLICO
De ecuación:
x2 y 2
− =z
a 2 b2
CILINDRO CIRCULAR
De ecuación:
x2 y 2
+ =1
a 2 b2
CILINDRO HIPERBÓLICO
De ecuación:
x2 y2
+ − =1
a2 b2
CILINDRO PARABÓLICO
De ecuación:
x2 = 2  c  z
59
GEOMETRÍA IV
SUPERFICIE CILÍNDRICA
Se denomina superficie cilíndrica a la engendrada
GENERATRIZ
por una recta que se desliza de manera tal que se
mantiene siempre paralela a una recta fija llamada DIRECTRIZ
generatriz, sobre una curva llamada directriz.
Su ecuación puede escribirse f ( x, y, z ) = 0

donde x = 0  y = 0  z = 0 .
CILINDROS PROYECTANTES
Es demostrable que para toda curva en el espacio existen
infinitos pares de superficies tales que su intersección la
engendra. Es de utilidad para la parametrización y el estudio de
la misma que las superficies sean superficies cilíndricas, esto es,
sus generatrices son perpendiculares a alguno de los planos
coordenados, de esta suerte se utilizará un método de reducción
de las ecuaciones dadas, de modo que se determinen tres
ecuaciones donde cada una de ellas carezca de una de las
variables coordenadas. Estas tres superficies se denominan
cilindros proyectantes de la curva.
60
GEOMETRÍA IV
PRÁCTICA N°7
1 | DADAS LAS SIGUIENTES SUPERFICIES , HACER UNA REPRESENTACIÓN APROXIMADA Y

PARAMETRIZAR LA CURVA DETERMINADA POR LA INTERSECCIÓN .
y 2 + 3x 2 = 1 x2 + 2 y 2 + z 2 = 2
E1.1] E1.4]
x + 2y − z = 1 x2 − y 2 − 2 z 2 + 1 = 0
4 y2 + 4z2 − 1 = 0 x2 + y 2 + z 2 + z = 12
E1.2] E1.5]
x2 − 2 y = 1 3x 2 − y 2 − z 2 + 3z = 0
16 y 2 − 4 z 2 = 4 4 x2 + y 2 + z 2 = 7
E1.3] E1.6]
2 x2 + 2 y 2 − 4 = 0 2 x2 + y 2 − z 2 + 1 = 0
2 | DADAS LAS SIGUIENTES SUPERFICIES PARAMETRIZAR SU INTERSECCIÓN Y ESTUDIAR LO

PEDIDO EN CADA CASO .
E2.1] x2 − 3 y 2 − 3x + z = 0  x 2 + y 2 + x + z = 12 hallar el triedro móvil en ( −1;2;8)
E2.2] Demostrar que la curva formada por x3 − 3 y = 0  x + y + 2 z = 1 es plana.
E2.3] En curva formada por x + y 2 + z 3 = 1  − x + 2 y + z = 2 hallar la curvatura y la
torsión en el punto (1;1; −1)
61
GEOMETRÍA IV
CAPÍTULO 8 FUNCIONES VECTORIALES DE VARIABLE REAL VECTORIAL
DEFINICIÓN
Sean f : E  →F 
n m
una función entre espacios vectoriales, esto es, siendo
()
u  E  f u = v donde v  F .
 
Siendo E de dimensión n y B1 = e1 ; e2 ;...; en−1 ; en una base del mismo y, siendo F de
 
dimensión m y B2 = v1 ; v2 ;...; vm−1 ; vn base de este, para todo x  E se puede escribir:
x = x1  e1 + x2  e2 + ... + xn  en ó equivalentemente x = ( x1 ; x2 ;...; xn )
()
Siendo f x = y es evidente que debe poder escribirse:
() () ()
f x = f1 x  v1 + f 2 x  v2 + ... + f m x  vm()
O equivalentemente
() ( () ()
f x = f1 x ; f1 x ;...; f1 x ( ))
Es decir, que f es asociada a m funciones vectoriales de imagen real, que conforman

las componentes de y
()
f1 x = f1 ( x1 ; x2 ;...; xn )
f1 : E  n
→
f ( x ) = f ( x ; x ;...; x )
2 2 1 2 n f2 : E  n
→
donde
()
f m x = f m ( x1 ; x2 ;...; xn ) fm : E  →
n
62
GEOMETRÍA IV
FUNCIONES LINEALES
La función vectorial f : E  n
→F  m
es lineal, si y solamente si:
i) ( ) () ()
f u+v = f u + f v
ii) f ( k  v) = k  f (v)
Si f es lineal y x  E entonces:
x = x1  e1 + x2  e2 + ... + xn  en
() ( ) ( )
f x = x1  f e1 + x2  f e2 + ... + xn  f en ( )
  ( )
Siendo v1 ; v2 ;...; vm−1 ; vn una base de F y como f ei  F puede expresarse:
( )
f e1 = a11  v1 + a21  v2 + a31  v3 + ... + am1  vm
f (e ) = a
2 12  v1 + a22  v2 + a32  v3 + ... + am 2  vm
f (e ) = a
3 13  v1 + a23  v2 + a33  v3 + ... + am3  vm
( )
f en = a1n  v1 + a2 n  v2 + a3n  v3 + ... + amn  vm
La matriz de cambio de base resultante es:
 a11 a12 a13 a1n 

a a2n 
 21 a22 a23
f =  a31 a23 a33 a3n 
 
 
a amn 
 m1 am2 am1
Reemplazando esto en
() ( ) ( ) (
f x = x1  a11  v1 + .. + am1  vm + x2  a12  v1 + ... + am2  vm + ... + xn  a1n  v1 + ... + amn  vm )
Distribuyendo y agrupando convenientemente resulta:
63
GEOMETRÍA IV
()
f x = ( x1  a11 + x2  a12 + .. + xn  a1n )  v1 + ... + ( x1  am1 + x2  am2 + .. + xm  amn )  vm
Siendo:
x1  a11 + x2  a12 + x3  a13 + ... + xn  a1n = f1 x()

x1  a21 + x2  a22 + x3  a23 + ... + xn  a2 n = f ( x)
2
x1  a31 + x2  a32 + x3  a33 + ... + xn  a3n = f ( x)

3
x1  am1 + x2  am 2 + x3  am3 + ... + xn  amn = fm x ()

Donde la matriz de aplicación es la misma que la de cambio de base.
Resulta:
() () ()
f x = f1 x  v1 + f 2 x  v2 + ... + f m x  vm ()
Matricialmente:
 f1

( x )   x 
f
( x )   x 
1
 2
()
2
f x = f ( x )  = f   x 
 3 3
   
  x 
 n
f
 m ()x 

Observación:
Es demostrable que el rango de la matriz f no depende de las bases elegidas.
Teorema 11
La función vectorial f lineal es un isomorfismo entre espacios de 3
, si y solamente
si, los vectores imágenes de la base del primer espacio vectorial forman una base del segundo.
Hipótesis
Sea f : E  3
→F  3
lineal y biyectiva, y E e1 ; e2 ; e3  F v1 ; v2 ; v3
64
GEOMETRÍA IV
Tesis
f :E 3
→F  3
es lineal y biyectiva.
Demostración
Siendo a  E puede escribirse a = a1  e1 + a2  e2 + a3  e3 , como f es biyectiva
()
entonces existe f a , entonces, en suerte de la linealidad de f :
() (
f a = f a1  e1 + a2  e2 + a3  e3 )
f ( a ) = a  f (e ) + a  f (e ) + a  f (e )
1 1 2 2 3 3
Igualando el sistema anterior al vector nulo resulta:
( ) ( )
0 = a1  f e1 + a2  f e2 + a3  f e3 ( )
Si este sistema admite una solución no trivial, es decir el sistema es linealmente
()
dependiente, esto significa que existe un vector a  0 tal que f a = 0 , que es absurdo, pues
entonces la función no sería inyectiva. Por lo tanto el sistema solo admite la solución trivial, y
luego, es un sistema linealmente independiente, que es la tesis.
Hipótesis
f :E 3
→F  3
es lineal y  f (e ); f (e ); f (e ) es base de F
1 1 2 2 3 3
Tesis
f es biyectiva.
Demostración
Quiero probar primero la suryectividad, esto es, para cada b  F : a  E / f a = b ()

( ) ( ) ( )
Sea entonces b = b1  f e1 + b2  f e2 + b3  f e3 , por llinealidad se cumple:
(
b = f b1  e1 + b2  e2 + b3  e3 )
Donde b1  e1 + b2  e2 + b3  e3  E y es el a que pide la tesis.
65
GEOMETRÍA IV
Quiero ahora probar la inyectividad, supongo entonces ( a  a ')  E tales que
()
f a = f a' . ( )
Siendo:
a = a1  e1 + a2  e2 + a3  e3
a ' = b1  e1 + b2  e2 + b3  e3
Entonces:
() ( ) ( )
f a = a1  f e1 + a2  f e2 + a3  f e3 ( )
f ( a ') = b  f ( e ) + b  f ( e ) + b  f ( e )
1 1 2 2 3 3
() ( )
Luego, como f a = f a ' deben ser iguales todas sus componentes, es decir:
a1 = b1  a2 = b2  a3 = b3
Por lo tanto a = a ' que es lo que deseaba demostrar.
Por ser una función suryectiva e inyectiva, entonces es biyectiva, que es la tesis.
CONTINUIDAD
La función f : E  n
→F  m
definida para todo xE por
() () () ()
f x = f1 x  v1 + f 2 x  v2 + ... + f m x  vm es continua, si y solamente sí, fi x lo es ()
i  1;2;...; m .
Propiedades:
Si f  g funciones vectoriales y h función escalar, son continuas, entonces también los son:
i) f
ii) f +g
iii) h  f
iv) f  g
v) f  g
66
GEOMETRÍA IV
DERIVADAS DIRECCIONALES
Sea f : E  n
→F  m
y x0  E  u0  0  E , entonces la derivada direccional de
f en x0 respecto (en la dirección) de u0 es el vector:
Du f ( x0 ) = lim
( ) ( )
f x0 + h  u0 − f x0
0 h→0 h

Si e1 ; e2 ;...; en  es una base de E entonces la derivada direccional respecto e k se
denomina derivada parcial de f respecto la k-ésima componente de x .
Siendo:
() () () ()
x = x1  e1 + x2  e2 + ... + xn  en y f x = f1 x  v1 + f 2 x  v2 + ... + f n x  vn
Entonces:
( ) ()
f x + h  ek − f x
k
()
De f x = lim
h→0 h
( ) ()
f x1  e1 + x2  e2 + ... + ( xk + h )  ek + ... + xn  en − f x
k
()
De f x = lim
h→0 h
Desarrollando las componentes:
67
GEOMETRÍA IV
 (
f x  e + ... + ( xk + h )  ek + ... + xn  en − f1 x
 lim 1 1 1
)
 v1
()
 h→0 h
() 
De f x = 

( ) ()
k
 f n x1  e1 + ... + ( xk + h )  ek + ... + xn  en − f n x
h→0
lim  vn
 h
Es decir:
f f f
De f x =
k
() xk
 v1 + 2  v2 + ... + n  vn
xk xk
Consecuentemente De f x
k
( ) es un vector cuyas componentes son las derivadas
f
parciales de f respecto xk y se nota usualmente por ó fx .
xk k
f f f f
= 1  v1 + 2  v2 + ... + n  vn
xk xk xk xk
FUNCIONES DERIVABLES
Una función vectorial de variable vectorial, definida como f : E  n

→F  n
es
derivable en x0  n
si existe una función lineal Lx0 ( E ) que apliqué un vector v  E en F ,
tal que:
( ) ( )
f x0 + v = f x0 + Lx0 v + R x0 ; v() ( )
Donde lim
(
R x0 ; v ) = 0.
v→0 v
Siendo f derivable en x0 entonces, para un vector v del dominio y un h lo

suficientemente pequeños se tiene:
( ) ( ) ( ) (
f x0 + hv = f x0 + Lx0 hv + R x0 ; hv )
68
GEOMETRÍA IV
Como Lx0 es lineal por definición, se cumple:
( ) ( )
f x0 + hv = f x0 + h  Lx0 v + R x0 ; hv () ( )
Operando y dividiendo miembro a miembro por h :
( ) ( ) () ( )
f x0 + hv − f x0 = h  Lx0 v + R x0 ; hv
f (x + hv ) − f ( x ) R ( x ; hv )
= L (v) +
0 0 0
x0
h h
Como lim
(
R x0 ; hv ) = 0:
h →0 h
(
f x0 + hv − f x0) ( ) = lim L (
R x0 ; hv )
lim
h→0 h h→0
x0 (v ) + lim
h→0 h
(
f x0 + hv − f x0) ( )=L
lim
h→0 h
x0 (v)
En conclusión:
()
Dv f x = Lx0 v ()
Esto significa que una función es derivable en un vector de su dominio si

tiene derivada direccional en cualquier dirección.
()
Esta función lineal Lx0 v recibe el nombre de diferencial de la función y se nota df x ()
. Si f es derivable en todos los valores de su dominio entonces se denomina derivable o
diferenciable.
Siendo f un función derivable y definida f : E  n

→F  n
tal que su diferencial
es lineal en todo E , entonces:
() (
df v = df v1  e1 + v2  e2 + ... + vn  en )
df ( v ) = v  df ( e ) + v
1 1 2 ( )
 df e2 + ... + vn  df en ( )
69
GEOMETRÍA IV
Cada uno de los diferenciales aplicados a los vectores de la base de E son derivadas
parciales de f , de esta suerte puede escribirse:
f f f
()
df v = v1 
xk
+ v2 
xk
+ ... + vn 
xk
Siendo f = ( f1 ; f 2 ;...; f n ) resulta:
 ( f1 ; f 2 ;...; f n )  ( f1 ; f 2 ;...; f n )  ( f1 ; f 2 ;...; f n )

()
df v = v1 
xk
+ v2 
xk
+ ... + vn 
xk
Desarrollando por componentes:
 f f f f f f 
()
df v =  v1  1 + ... + vn  1 ; v1  2 + ... + vn  2 ;...; v1  n + ... + vn  n 
 x1 xn x1 xn x1 xn 
Matricialmente:
 f1 f1 f1 

 x x2 xn 
 1   v1 
 f 2 f 2 f 2   
() 
df v =  x1 x2 xn
  v2 
 
   
  v
 f n f n f n   n 
 x x2 xn 
 1
La matriz se denomina matriz Jacobiana de f respecto las bases de E  F . Su

deteminante se llama Jacobiano de f y suele expresarse como:
 ( f1 ; f 2 ;...; f n )
J(f )=
 ( x1 ; x2 ;...; xn )
PROPIEDADES
Siendo f  g funciones vectoriales de dominio vectorial y derivables, y h una función
escalar también derivable, entonces son derivables:
P1] f + g
70
GEOMETRÍA IV
P2] h  f
P3] f  g
P4] f  g
Y además:
P5] d ( f + g ) = df + dg
P6] d ( h  f ) = h  df + dh  f
P7] d ( f  g ) = df  g + f  dg
P8] d ( f  g ) = df  g + f  dg
71
GEOMETRÍA IV
CAPÍTULO 9 PARAMETRIZACIONES DE SUPERFICIES
REPRESENTACIÓN PARAMÉTRICA REGULAR
Se denomina de este modo a una aplicación sobre el conjunto S  3

tal que
X = f ( u; v ) donde (u; v ) U  2
que verifica:
i) f  C1 , es decir, es derivable con continuidad al menos una vez.

 f f 
ii)  ;  es un conjunto linealmente independiente.
 u v 
Son equivalentes a ii)
•
El rango de la matriz jacobiana de f es dos
• f f
 0
u v
• f f
 0
u v
Siendo que X = f ( u; v ) es una representación paramétrica regular definida

f :U  2
→S  3
72
GEOMETRÍA IV
La imagen de la recta v = v0 será la curva f ( u; v0 ) contenida en la superficie S , cuyo
parámetro es u . Idem para u = u0 y f ( u0 ; v ) .
La derivada parcial en u de f en ( u0 ; v0 ) tiene la dirección del vector tangente
unitario de la curva f ( u; v0 ) y pertenece al plano tangente a S en el punto, mientras que la
derivada parcial de f en v tiene la dirección del vector tangente unitario de la curva f ( u0 ; v )

y también pertenece al plano tangente, por lo tanto el vector fu  fv es perpendicular al plano
tangente.
MÉTODO DE PARAMETRIZACIÓN DE MONGE

Siendo S una superficie definida por la expresión explícita z = f ( x, y ) se parametriza
por:
x=u
y=v
z = f ( u, v )
( )
Luego los puntos ( x; y; z ) = u; v; f (u, v ) donde el dominio de u coincide con el de x
y de igual forma v con y .
MÉTODO DE PARAMETRIZACIÓN TRIGONOMÉTRICO PARA SUPERFICIES DE REVOLUCIÓN

Siendo una curva f definido sobre los ejes (llamados convenientemente) y  z y una
(
parametrización regular de parámetro t tal que f (t ) = f1 (t ) ; f 2 (t ) )
Luego aplicando una revolución de la curva sobre z se

(
obtiene una superficie S donde el punto f1 ( t ) ; f 2 ( t ) )
( )
pasa a ser 0; f1 ( t ) ; f 2 ( t ) .
73
GEOMETRÍA IV
El punto X está sobre la superficie S y en la misma cota que P 0; f1 (t ) ; f2 (t ) , es ( )

decir, z = f 2 ( t ) .
Siendo u el ángulo medido desde el eje

de abscisas, es claro que OP = f1 ( t ) , por lo
tanto se verifican en OxP triángulo:
x
cos u =  x = f1 ( t ) .cos u
f1 ( t )
y
sin u =  y = f1 ( t ) .sin u
f1 ( t )
Luego el punto genérico sobre la superficie X ( x; y; z ) queda parametrizado por:
( x; y; z ) = ( f1 (t )  cos u; f1 (t )  sin u; f2 (t ))
Haciendo v = t
f (u; v ) = ( f1 ( v )  cos u; f1 ( v )  sin u; f 2 (v ))
74
GEOMETRÍA IV
ALGUNAS PARAMETRIZACIONES DE SUPERFICIES
ESFERA
De ecuación x2 + y 2 + z 2 = 1
 2u 2v −1 + u 2 + v 2 
f ( u; v ) =  donde ( u; v ) 
2
2 
; ;
1+ u + v 1+ u + v 1+ u + v 
2 2 2 2 2
Deducción:
Considero el punto de la esfera N = ( 0;0;1) y un punto P = ( x; y; z ) sobre la misma.
La recta  que pasa por N  P tiene como vector director a NP = ( u; v; −1) , luego su
ecuación vectorial es:
 : ( x´; y´; z´) = (u; v; −1)  + ( 0;0;1)
Donde ( x´; y´; z´) son los puntos de la recta y  es su parámetro.
75
GEOMETRÍA IV
 x´= u

Las ecuaciones paramétricas de la recta  y´= v
 z´= − + 1

 x = u

Siendo P un punto de la recta se verifica  y = v de donde  = 1 − z
 z = − + 1

Entonces:
 x = u (1 − z )
 (1)
 y = v (1 − z )
Como el punto P = ( x; y; z ) está sobre la esfera debe satisfacer su ecuación

x2 + y 2 + z 2 = 1 , reemplazando (1) resulta:
u (1 − z ) + v (1 − z ) + z 2 = 1

2 2
(1 − z )2 (u 2 + v2 ) + z 2 = 1
(1 − 2z + z )(u + v ) + z = 1
2 2 2 2
u 2 + v2 − 2z (u + v ) + z (u + v ) + z = 1
2 2 2 2 2 2
−2 z ( u + v ) + z ( u + v + 1) = 1 − u
2 2 2 2 2 2
− v2
Dividiendo miembro a miembro por u 2 + v2 + 1 : ( )

u 2 + v2 1 − u 2 − v2
−2 z + z 2
=
1 + u 2 + v2 1 + u 2 + v2
Completando el cuadrado:
76
GEOMETRÍA IV
2 2
 u 2 + v2  u 2 + v2 1 − u 2 − v2  u 2 + v2 
 2 
− 2z +z =
2
+ 
1+ u + v  1 + u 2 + v2 1 + u 2 + v2  1 + u 2 + v2 
2

−
2
u 2 + v2  1 − u 2 − v2
= +
(u + v ) 2 2 2
 z 2 
 1 + u + v  1 + u + v (1 + u 2 + v 2 )
2 2 2 2
(1 − u 2 − v 2 )  (1 + u 2 + v 2 ) + ( u 2 + v 2 )
2 2
 u 2 + v2 
z − 2 
=
 1+ u + v  (1 + u 2 + v2 )
2 2
2
 u 2 + v2  1 − u 2 − v2 + u 2 − u 4 + u 2 v2 + v2 − u 2 v 2 − v 4 + u 4 + 2u 2 v2 + v4
 z − 2 
=
 1+ u + v  (1 + u 2 + v2 )
2 2
2
 u 2 + v2  1
 z − 2 
=
 1 + u + v  (1 + u + v2 )
2 2 2
Luego:
u 2 + v2 1
z− =
1+ u + v
2 2
1 + u 2 + v2
Ahora hay dos posibilidades:
u 2 + v2 1
Primero, si z − = entonces:
1+ u + v
2 2
1 + u 2 + v2
u 2 + v2 1
z− =
1+ u + v
2 2
1 + u 2 + v2
1 u 2 + v2
z= +
1 + u 2 + v2 1 + u 2 + v2
y =1
que es absurdo, pues y es variable en la superficie.
u 2 + v2 1
Luego, si z − =− entonces:
1+ u + v
2 2
1 + u 2 + v2
77
GEOMETRÍA IV
u 2 + v2 −1
z− =
1+ u + v
2 2
1 + u 2 + v2
−1 u 2 + v2
z= +
1 + u 2 + v2 1 + u 2 + v2
−1 + u 2 + v2
z=
1 + u 2 + v2
Reemplazando esto en (1):
 −1 + u 2 + v 2  2u
x = u 1 − 2 
 x=
 1+ u + v 
2
1 + u 2 + v2
 −1 + u 2 + v 2  2v
y = v 1 − 2 
 y=
 1+ u + v 
2
1 + u 2 + v2
 2u 2v −1 + u 2 + v2 
El punto ( x; y; z ) resulta entonces  ; ; 2 
.
1+ u + v 1+ u + v 1+ u + v 
2 2 2 2 2
Como los parámetros recorren completamente el plano real xy entonces ( u; v ) 

2
.
  
f (u; v ) = ( cos u  cos v;sin u  cos v;sin v ) donde u  ( 0;2 )  v   − ; 
 2 2
78
GEOMETRÍA IV
Deducción:
Sobre oQP triángulo:
PQ = z  OP = 1 , es evidente que
z = sin v mientras que oQ = cos u
Ahora sobre oxQ triángulo:
Ox = x  xQ = y por lo tanto
y
sin u =  y = sin u  cos v y
cos v
x
cos u =  x = cos u  cos v
cos v
Luego el punto ( x; y; z ) queda parametrizado por ( cos u  cos v;sin u  cos v;sin v )
donde el parámetro u recorre toda la circunferencia mientras que v solo la semicircunferencia
del semiespacio positivo de y
Parametrización hiperbólica
 cos v sin v sinh u 

f (u; v ) =  ; ;  donde ( u; v )   ( 0; )
 cosh u sinh u cosh u 
Deducción:
Recordando que:
79
GEOMETRÍA IV
et + e−t et − e−t
cosh t =  sinh t =
2 2
y por lo tanto se verifica :
cosh2 t − sinh2 t = 1
Esto permite parametrizar una circunferencia x 2 + y 2 = 1 de la forma:
 1 sinh t 
f (t ) =  ;  donde t 
 cosh t cosh t 
Aplicando a esta curva el método de parametrización por superficie de revolución se

obtiene:
X = ( f1 ( u )  cos v; f1 ( u )  sin v; f 2 (u ) )
 sin v sin v sinh u 
X =  cos u;
cosh t cosh u 
;
 cosh u
 cos v sin v sinh u 
X = ; ; 
 cosh u cosh u cosh u 
Donde v  ( 0;  ) pues es el medio giro necesario para obtener la esfera.
CUÁDRICAS
Todas las cuádricas vistas en el capítulo 7, pueden obtenerse a partir de la revolución
de una cónica en torno a uno de los ejes, por lo tanto pueden ser parametrizadas mediante la
aplicación del método acorde. Algunas, como el paraboloide circular o el hiperboloide de dos
hojas permiten la aplicación del método del norte. Por último todas las expresiones pueden
parametrizarse por el método de Monge considerando siempre las cartas necesarias para
cubrir toda la superdicie.
80
GEOMETRÍA IV
PRÁCTICA N°9
1 | RESUELVA
(u,v) (
E1.1] Siendo f = cos u  sin v;sin u  sin v;cos v ) . Demuestre que parametriza la
esfera x2 + y 2 + z 2 = 1 .
E1.1.1] Muestre como la parametrízación recorre la superficie.
E1.1.2] Demuestre que los paralelos y los meridianos se cortan en un ángulo recto.
(
E1.2] Para f u,v = u + v; u − v;2u 2 + 2v 2
( ) ) demuestre que parametriza un paraboloide
circular.
E1.2.1] Muestre como la parametrízación recorre la superficie.
E1.2.2] Demuestre que la parametrización es regular.
2 | DEDUZCA LAS PARAMETRIZACIONES DADAS .

E2.1] La esfera x2 + y 2 + z 2 = 1 por el método del Norte.
 2u 2v −1 + u 2 + v 2 
( )  1 + u 2 + v2 1 + u 2 + v2 1 + u 2 + v2  (u, v ) 
Rta: f u,v = 
2
; ;
E2.2] La esfera x2 + y 2 + z 2 = 1 como superficie de revolución.
= cos u  sin v;sin u  sin v;cos u ) (u, v )  ( −1,1)  ( 0,  )

(u,v) (
Rta: f
E2.3] La esfera x2 + y 2 + z 2 = 1 por el método de Monge.

E2.4] Deduzca las parametrízaciones de las cuádricas como superficie de revolución.
E2.5] Estudie la regularidad de las parametrizaciones de E2.4]
E2.6] Parametrize la superficie generada por una circunferencia de radio unitario que gira
sobre otra de radio 4 (Toro).
( )
2
E2.6.1] Demuestre que es x2 + y 2 − 4 + z 2 = 1
3 | DADAS LAS SIGUIENTES SUPERFICIES PARAMETRIZAR SU INTERSECCIÓN Y GRAFICAR EN

FORMA APROXIMADA .
 x2 + y 2 + z 2 = 4
E3.1] 
 z 1
81
GEOMETRÍA IV
 x2 + y 2 + z 2  4
E3.2] 
 z =1
4 | GRAFIQUE LA SUPERFICIE OBTENIDA POR REVOLUCIÓN DE LAS SIGUIENTES CURVAS .

PARAMETRIZE Y ESTUDIE SU REGULARIDAD .
E4.1] y = x 2 + 1 sobre el eje y .
E4.2] y = x sobre el eje x .

1
E4.3] y = con x  0 sobre el eje y .
x
82
GEOMETRÍA IV
CAPÍTULO 10 SUPERFICIES GENERALES
DIFEOMORFÍSMO
Sean U  2  V  2
y  una función tal que  :U → V , entonces  es un
difeomorfísmo si y solo si:
i)  es biyectiva
ii)  es derivable con continuidad
∎
Siendo S una superficie y f ( u; v ) una parametrización de la misma, tal que
f :U  2
→ 3
y siendo  ( r; s ) = (1 ( r; s ) ;2 ( r; s )) = (u, v ) un difeomorfísmo tal
que  :V  2
→U  2
.
(
Sea ahora f ( r; s ) = f  ( r;s ) , es decir f ( r; s ) = f 1 ( r;s ) ;2 ( r;s ) , es claro )
que f : V → 3
.
Luego f  f son parametrizaciones equivalentes pues parametrizan la misma

superficie.
En conclusión diremos que dos parametrizaciones son equivalentes si existe un

difeomorfísmo entre ellas.
∎
83
GEOMETRÍA IV
Considerando ahora una superficie parametrizada por f : U  2

→ 3
una
representación regular, y también por f : V  2
→ 3
donde  :V → U es un
difeomorfísmo tal que f = f  , de esta suerte se pueden expresar:
f ( u; v ) = ( f1 ( u; v ) ; f 2 ( u; v ) ; f3 (u; v ) )
(
f ( r; s ) = f1 ( r; s ) ; f 2 ( r; s ) ; f3 ( r; s ) )
 ( r; s ) = (1 ( r; s ) ;2 ( r; s )) donde 1 ( r; s ) = u  2 ( r; s ) = v
Luego siendo f = f 
f ( r; s ) = f  ( r; s )  f ( r; s ) = f ( ( r; s ) )  f ( r; s ) = f (1 ( r; s ) ;1 ( r; s ) )
(
f ( r; s ) = f1 (1 ( r; s ) ;1 ( r; s ) ) ; f 2 (1 ( r; s ) ;1 ( r; s ) ) ; f 3 (1 ( r; s ) ;1 ( r; s ) ) )
Además:
f f f f
( u; v ) =  1 ( u; v ) ; 2 (u; v ) ; 3 (u; v ) 
u  u u u 
Mientras que:
f f f f 
( r; s ) =  1 ( r; s ) ; 2 ( r; s ) ; 3 ( r; s ) 
r  r r r 
f  f ( ( r; s ) ;1 ( r; s ) ) f 2 (1 ( r; s ) ;1 ( r; s ) ) f3 (1 ( r; s ) ;1 ( r; s ) ) 
( r; s ) =  1 1 ; ; 

r  r r r 
Donde:
 f1 (1 ( r; s ) ;2 ( r; s ) ) f1  f 

 = ( u; v )  1 ( r; s ) + 1 (u; v )  2 ( r; s )
 r u r v r
f  f ( ( r; s ) ;2 ( r; s ) ) f  f 
( r; s ) =  2 1 = 2 ( u; v )  1 ( r; s ) + 2 ( u; v )  2 ( r; s )
r  r u r v r
 f3 (1 ( r; s ) ;2 ( r; s ) ) f  f 
 = 2 ( u; v )  1 ( r; s ) + 3 ( u; v )  2 ( r; s )
 r u r v r
De igual forma:
84
GEOMETRÍA IV
 f1 (1 ( r; s ) ;2 ( r; s ) ) f1  f 

 = ( u; v )  1 ( r; s ) + 1 (u; v )  2 ( r; s )
 s u s v s
f  f ( ( r; s ) ;2 ( r; s ) ) f  f 
( r; s ) =  2 1 = 2 ( u; v )  1 ( r; s ) + 2 ( u; v )  2 ( r; s )
r  s u s v s
 f3 (1 ( r; s ) ;2 ( r; s ) ) f  f 
 = 2 ( u; v )  1 ( r; s ) + 3 ( u; v )  2 ( r; s )
 s u s v s
Mejor:
 f f 1 f 2
=  + 
r u r v r
 f f 1 f 2
=  + 
s u s s r
Esto es:
f   1 1 

  f   r
 r  =  f  s 
f   u v   2 2 
   
 s   r r 
Donde:
f 
 
 r  es la matriz jacobiana de f
f 
 
 s 
 f f 
 u es la matriz jacobiana de f
 v 
 1 1 
 r s 
  es la matriz jacobiana de 
 2 2 
 
 r r 
85
GEOMETRÍA IV
BASE INTRÍNSECA
Recordando que en una parametrización regular los vectores derivadas parciales:
f f
 son linealmente independiente y además la ecuación:
u v
f f
X = (u0 ; v0 ) +  (u0 ; v0 ) + f (u0 ; v0 )
u v
Corresponde al plano tangente a la superficie en el punto P = f ( u0 ; v0 )
De esta suerte el vector:
f f
n= 
u v
Es un vector perpendicular al plano tangente y a la superficie en el punto P . Si la

superficie puede expresarse en forma explícita entonces n ⊥ f .
Se denomina entonces vector normal unitario a:
f f
( u; v )  ( u ; v )
N ( u; v ) = u v
f f
( u; v )  ( u ; v )
u v
 f f 
Y al conjunto  ; ; N  base intrínseca de 3
respecto la superficie
 u v 
PRIMERA FORMA FUNDAMENTAL

Se introduce un producto escalar entre los vectores pertenecientes al plano
tangente en un punto genérico de la superficie.
Siendo f : U  2
→S  3
y P = f ( u0 ; v0 ) tal que  es el plano tangente en
 f f 
P y los vectores x  y  , luego los vectores  ;  forman una base de  , por lo
 u v 
tanto se puede escribir:
86
GEOMETRÍA IV
f f f f
x = x1  + x2   y = y1  + y2 
u v u v
Esto significa que x = ( x1 ; x2 )  y = ( y1 ; y2 ) en términos de la basé intrínseca.
El producto escalar resulta:
 f f   f f 
x  y =  x1  + x2     y1  + y2  
 u v   u v 
f f f f f f f f
x  y = ( x1  y1 )   + ( x1  y2 )   + ( x2  y2 )   + ( x2  y2 )  
u u u v u v v v
En forma matricial:
 f f f f 
 u  u 
u v    y1 
x  y = ( x1 x2 )     
 f  f f f   y2 
 

 u v v v 
Llamando a los coeficientes de la matriz de producto escalar:
f f
E= 
u u
f f
F= 
u v
f f
G= 
v v
Estos se denominan primeros coeficientes fundamentales.
Haciendo ahora el producto escalar para un mismo vector ( h; k ) :
I P ( h; k ) = h2  E + 2hk  F + k 2  G
Denominada primera forma fundamental.
Observación
Los coeficientes E  G que forman la traza principal de la matriz de los primeros
f f
coeficientes son siempre positivos, pues son las normas cuadradas de 
u v
respectivamente. Por lo tanto dicha matriz es siempre, simpetrica y definida positiva.
87
GEOMETRÍA IV
Teorema 12
El determinante de la matriz de los primeros coeficientes fundamentales es
siempre positivo e igual a la norma del producto vectorial entre las derivadas parciales.
Hipótesis
Sean E, F  G definidos de la forma mencionada sobre una superficie S en un

punto de la misma f ( u0 ; v0 ) donde la parametrización es regular.
Tesis
E F f f
= 
F G u v
Demostración
f f f f
2 2
Por definición E =  E =  G = , entonces:
u u v v
f f  f f 
2 2 2
E F
= E G − F2 =  −  
F G u v  u v 
Analizando el producto escalar:
f f f f
 =   cos
u v u v
siendo  el ángulo que forman las derivadas parciales, entonces:
 f f  f f
2 2 2
 u  v  = u  v  cos 
2
 
 f f  f f
2 2 2
 u  v  = u  v  (1 − sin  )
2
 
 f f  f f f f
2 2 2 2 2
 u  v  = u  v −  sin 2 
  u v
Reemplazando:
88
GEOMETRÍA IV
E F f
2
f
2
 f 2 f 2
f
2
f
2

=  −  −  sin 2  
F G u v  u v u v 
 
f
2 2
E F f
=  sin 2 
F G u v
f f
2
E F
= 
F G u v
Que es la tesis, puesto que es la norma del producto vectorial entre vectores
linealmente independientes es siempre positva.
APLICACIONES DE LA PRIMERA FORMA FUNDAMENTAL
LONGITUD DE UNA CURVA SOBRE UNA SUPERFICIE

Dada una superficie S parametrizada en
forma regular por f : U  2
→ 3
y siendo
P = f (u0 ; v0 ) y Q = f (u1 , v1 ) dos puntos de la
superficie tales que la curva C contenida en la
misma, parametrizada por g (t ) = f u (t ) ; v (t ) , ( )
verifica que
g (t0 ) = f (u (t0 ) ; v (t0 )) = f (u0 ; v0 ) = P y
g (t1 ) = f (u (t1 ) ; v (t1 )) = f (u1 ; v1 ) = Q , entonces

la curva posee una longitud de arco que puede
calcularse como:
t1
L =  g ' ( t ) dt
t0
Siendo g ' ( t ) = g ' ( t )  g ' (t ) donde:

2
f u f v
g ' (t ) =
df
dt
( u (t ) ; v (t )) =  + 
u t v t
Entonces:
89
GEOMETRÍA IV
 f u f v   f u f v 
g ' (t ) =   +      +  
2
 u t v t   u t v t 
f f f f f f
g ' (t ) =   u ' (t )  u ' (t ) + 2    u ' (t )  v ' (t ) +   v ' (t )  v ' (t )
2
u u u v v v
g ' ( t ) = I P ( u ' ( t ) ; v' ( t ) )
2
Que es la primera forma fundamental aplicada al vector u ' ( t ) ; v' ( t ) ( )

En definitiva:
t1
L =  I P ( u ' ( t ) ; v' ( t ) )dt
t0
ÁNGULO FORMADO POR DOS CURVAS SOBRE UNA SUPERFICIE

Siendo una superficie S parametrizada de
manera regular por f : U  2
→ 3
y dos curvas
C1  C2 contenidas sobre la misma, parametrizadas
por g ( t ) = f (u ( t ) ; v ( t ) )  h ( r ) = f (u ( r ) ; v ( r ) )
respectivamente, de modo que la curvas se cruzan
entre sí en un punto P = g ( t0 ) = h ( r0 ) .
Los vectores g ' ( t )  h ' ( r ) son tangentes a las

curvas, y por lo tanto a la superficie, por eso están contenidos en el plano tangente.
Siendo:
 
g ' (t ) = f (u (t ) ; v (t )) h '(r ) = f (u ( r ) ; v ( r ))
t y
t
f f f f
g ' (t ) =  u ' (t ) +  v ' (t ) h ' ( r ) =  u '(r ) +  v '(r )
u v u v
Como los vectores g ' ( t )  h ' ( r ) tienen la dirección de las curvas en P entonces
el ángulo entre las curvas coincide con el que forman los vectores, entonces:
90
GEOMETRÍA IV
g ' (t )  h ' (t )
cos  =
g ' (t )  h ' (t )
 f f   f f 
 u  u ' ( t ) + v  v ' ( t )   u  u ' ( r ) + v  v ' ( r )
cos  =
f f f f
 u ' (t ) +  v ' (t )   u '(r ) +  v '(r )
u v u v
Mejor:
I P ( u ' ( t ) ; v ' (t ) ) (u ' ( r ) ; v ' ( r ) )

cos =
I P (u ' (t ) ; v ' (t ) )  I P (u ' ( r ) ; v ' ( r ) )
ÁREA DE UNA SUPERFICIE

Siendo una superficie S parametrizada de manera regular por
f :U  2
→ 3
y R una región de la misma delimitada por las curvas
f (u0 ; v ) ; f (u0 + u; v )  f (u; v0 ) ; f (u; v0 + v )
91
GEOMETRÍA IV
El plano tangente a la superficie en el punto f (u0 ; v0 ) es una aproximación plana

de la región.
El área del paralelogramo viene dada por:
R = u  v  sin 
De dónde:
2 2 2
u  v = u  v  sin 2 
Haciendo los incrementos tender a cero, el área resultante es una suma de

Riemman, y puede expresarse:
f f
R =    du  dv
u v
Mejor:
R =  E  G − F 2  du  dv
SEGUNDA FORMA FUNDAMENTAL

Así como en una curva, la tasa de variación de recta tangente determina la
curvatura, se puede estudiar la variación de la superficie respecto el plano tangente.
Sea S una superficie parametrizada de modo regular por f : U  2

→S  3
y N p ( u; v ) el vector normal unitario en uno de los puntos.
92
GEOMETRÍA IV
Como N p ( u; v ) es función de u  v su derivada resulta:
Np Np
d N p ( u; v ) =  du +  dv
u v
Considerando que el vector N p ( u; v ) es unitario su derivada es perpendicular al
primero, por lo tanto d N p pertenece al plano tangente.
Luego el producto escalar entre d N p  df resulta:
 Np Np   f f 
d N p  df =   du +  dv     du +  dv 
 u v 
   u v 
Desarrollando:
 N p f  N p f  N p f  N p f
d N p  df =   du 2 +   du  dv +   du  dv +   dv 2
u u v u u v v v
 N p f   N p f  N p f   N p f
−d N p  df = −   du 2 +  −  −    du  dv −   dv 2
u u  v u u v  v v
 
Llamando:
 N p f
−
 =L
u u
 N p f  N p f
−  −  = 2M
v u u v
 N p f
−  =N
v v
Resulta:
II P ( du; dv ) = L  du2 + 2M  du  dv + N  dv2
Denominada segunda forma fundamental donde los coeficientes L;M N se

denominan segundo coeficientes principales.
f f
Puesto que los vectores  pertenecen al plano tangente son
u v
perpendiculares al vector N P , luego:
93
GEOMETRÍA IV
f
i) NP  = 0 implica:
u
 N P f f
 + NP  2 = 0
u u u
f  N f
NP  =− P 
u 2
u u
f
NP  2 = L
u
f
ii) NP  = 0 implica:
v
 N P f f
 + NP  2 = 0
v v v
f  N f
NP  =− P 
v 2
v v
f
NP  2 = N
v
f f
iii) NP  = 0  NP  = 0 implica:
u v
 N P f f
 + NP  =0
v u uv
f  N f
NP  =− P 
uv v u
 N P f f
 + NP  =0
u v vu
f  N f
NP  =− P 
vu u v
Luego:
f f  N f  NP f
NP  + NP  =− P  − 
vu uv u v v u
Pero, por el teorema de las derivadas cruzadas de Schwarz:
94
GEOMETRÍA IV
f  N f  N P f
2NP  =− P  − 
vu u v v u
f
NP  =M
vu
Revisando:
f
NP  =L
u 2
f
NP  =M
vu
f
NP  2 = N
v
CURVATURAS
Siendo S una superficie parametrizada de manera regular por

f :U  2
→S  3
y donde f ( u; v ) , y C una curva contenida sobre la misma, de
modo que u = u (s)  v = v (s) , es decir, g ( s ) = f (u ( s ) ; v ( s ) ) , donde

g:I  →C  3
es una parametrización regular y natural.
(
Dado un punto P = g ( s0 ) = f u ( s0 ) ; v ( s0 ) ) perteneciente a la curva, y por lo
tanto, a la superficie; y considerando el triedro de Frenet en dicho punto y su curvatura:
T ( s ) ; N ( s ) ;B( s )   ( s )
Tales que:
f
T ( s) = g '( s) =
s
T '( s) =  ( s)  N ( s)
Donde T ' ( s ) =  ( s ) es el vector curvatura, vinculado a C en P
95
GEOMETRÍA IV
Plano osculador
de
Plano tangente
de
Se denomina vector curvatura normal a la proyección de  ( s ) sobre N P , es

decir:
 N =  ( s )  cos 
Mientras que:
 ( s )  NP
cos  =
 ( s )  NP
Pero N p = 1 , luego:
 ( s )  NP
N =  (s) 
 (s)
 N =  ( s )  NP
Como el vector curvatura normal es linealmente dependiente con el vector normal

unitario a la superficie, debe verificarse:
 N =   NP
96
GEOMETRÍA IV
Aplicando norma:
 N =   NP   N = 
Finalmente:
(
 N =  ( s )  NP  NP )
Es claro que  ( s ) =  N +  g donde  g se denomina vector curvatura geodésica.
A los escalares  N =  N   g =  g se los denomina simplemente curvatura

normal y curvatura geodésica respectivamente.
Analizando ahora  ( s )  N P , recordando que k ( s ) = T ' ( s ) y teniendo en cuenta
que T ( s ) ⊥ N p , esto implica que:
T (s)  N p
Derivando respecto s :
dT ( s ) d Np
 N p + T (s)  =0
ds ds
d Np
N + T (s)  =0
ds
Siendo:
df f du f dv
T ( s) = g '( s) =
=  + 
ds u ds v ds
d N p  N p du  N p dv
=  + 
ds u ds v ds
df d N p  du dv 
Es claro que el producto entre −  = II P  ; 
ds ds  ds ds 
Luego:
 du dv 
 N = II P  ; 
 ds ds 
97
GEOMETRÍA IV
Si la curva no está parametrizada de forma natural, entonces el vector derivado en

el punto no es unitario, es decir:
f du f dv f f
g ' (t ) =  +   g ' (t ) =  du +  dv
u dt v dt u v
g ' (t )
Mientras que el vector tangente es T ( t ) =
g ' (t )
Calculando la curvatura normal respecto de T ( t ) resulta:
 g ' (t ) g ' (t ) 
 g ' (t ) 2 P (
 II g' ( t ) ;g' ( t ) )
1
 N = II P  ; =
 g ' (t ) g ' (t )
 
Donde:
g ' ( t ) = g ' ( t )  g ' ( t ) = I P ( du; dv )

2
Finalmente:
II P ( du; dv )
N =
I P ( du, dv )
98

GeometríaIV v3

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

GeometríaIV v3

Cargado por

Copyright:

Formatos disponibles

INSTITUTO SUPERIOR DE FORMACIÓN DOCENTE N°56

Funciones de clase C n ........................................................................................................................................ 13

Cambio admisible de parámetro .................................................................................................................... 24

Capítulo 8 Funciones vectoriales de variable real vectorial ................................................................................. 62

CAPÍTULO 1 PROLEGÓMENOS A LA GEOMETRÍA DIFERENCIAL

Las propiedades que se cumplen en puntos cercanos a uno determinado (llámese

Las propiedades que se cumplen en toda la figura se denominan propiedades globales.

Algunas definiciones necesarias a modo de introducción

A1] La suma vectorial es de composición interna (cerrada).

Las operaciones que definen el espacio vectorial que utilizaremos son:

PRODUCTO EXTERNO (PRODUCTO DE UN ESCALAR POR UN VECTOR )

Diremos que a  b tienen igual dirección si k  / a = k  b . Y diremos que a  b tienen

ESPACIO VECTORIAL EUCLÍDEO

PROPIEDADES DEFINITORIAS DEL PRODUCTO ESCALAR

El producto escalar permite definir una norma vectorial.

El axioma A4] garantiza la definición alternativa x = x x

ÁNGULO ENTRE VECTORES

P2] x  y  x  y (Desigualdad de Cauchy-Schwarz)

DEPENDENCIA E INDEPENDENCIA LINEAL

k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un = 0

Admite solución no trivial.

En contraposición, si el sistema solo admite la solución trivial se dice que el conjunto es

x = k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un  x = q1  u1 + q2  u2 + ... + qn−1  un−1 + qn  un

Supongo k j  q j para algún j perteneciente al conjunto, luego considero la identidad

k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un  − q1  u1 + q2  u2 + ... + qn−1  un−1 + qn  un  = 0

Por lo tanto k j = q j . Puesto que esto se aplica a k j  q j en forma genérica es dable

afirmar que i  1,2.., n − 1, n : ki = qi .

x = k1  u1 + k2  u2 + ... + kn−1  un−1 + kn  un , entonces A es un sistema de generadores de n

Si el conjunto A , además de ser generador, es linealmente independiente, entonces se

debe admitir como única solución la trivial, esto es k1 = k2 = k3 = 0 .

Armando el sistema componente a componente resulta:

k1  u11 + k2  u12 + k2  u13 = 0

Como el sistema el compatible determinado, entonces el determinante de la matriz de

u11 u12 u13

El teorema de Rouché-Forbenius permite garantizar que el sistema:

k1  u11 + k2  u12 + k2  u13 = x1

También admite solución, esto significa existen k1 ; k2 ; k3  y por lo tanto

El teorema 2 puede ampliarse a n con facilidad repitiendo el procedimiento

y = y1  e1 + y2  e2 + y3  e3 , esto es x = ( x1 ; x2 ; x3 )  y = ( y1 ; y2 ; y3 ) en términos de la base

1 | OPERACIONES ENTRE VECTORES

E1.1] Siendo a = u1 − 2u2 + 3u3  b = u2 − u3  c = u1 + 2u2 , hallar 2a − 3 b − c ( ) en

que C pertenece a la recta AB si y sólo si

2 | DEPENDENCIA E INDEPENDENCIA LINEAL

b = u2 − u3 y c = −u2 . Hallar las componentes de 2a − b − 2c en función de

E4.2] Demostrar que ( ka )  b = k ( a  b )

E4.4] Demostrar que a  b = a  b  sin ab ( )

CAPÍTULO 2 FUNCIONES VECTORIALES DE VARIABLE REAL

t  se puede escribir: f ( t ) = f1 ( t )  e1 + f 2 ( t )  e2 + ... + f n−1 ( t )  en−1 + f n (t )  en , o en

El valor real t se denomina parámetro de la función vectorial.

La función f recibe el nombre de camino o trayectoria en n

El conjunto de punto del espacio n

Denominadas ecuaciones paramétricas de la recta.

Se dice que el punto X engendra la recta cuando el parámetro t varía sobre su

En términos de sus componentes resulta:

Denominadas ecuaciones paramétricas del plano.

Se dice que X engendra el plano cuando los parámetros h  k varían sobre su

Denominada ecuación polinómica del plano.

Se dice que f ( t ) función vectorial de 3

La función vectorial f tiene límite, cuando t → t0 , si   0 :   0 / f ( t )  S ( L )

En este caso se escribe: lim f (t ) = L

lim f ( t ) = lim f1 ( t )  e1 + lim f 2 (t )  e2 + lim f3 (t )  e3

Es decir, que para que exista lim f ( t ) deben existir:

lim f1 (t )  lim f2 (t )  lim f3 (t )