CALCULO DIFERENCIAL E INTEGRAL II

TEMA 3

(ltima actualizacin 16-8-2012)

DERIVABILIDAD
Recordemos el concepto de derivadas para funciones de una variable independiente y = f (x).
Para lo cual formamos el incremento de la funcin y = f (x +x ) - f (x )
El cociente incremental ser : y = f (x +x ) - f (x )
x
x

y
x

x=+x

x=
Figura 1

y en el limite

x 0 x
lim

lim

x 0

f( + x) - f( )
x

Si este lmite existe, es por definicin, la derivada de y con respecto a x en el punto x =

Grficamente, la derivada de y = f (x) en el punto x = representa la pendiente de la tangente
geomtrica a la curva y = f( x) en el punto correspondiente a x = , en la figura 1 es la tg ().
Si en lugar de un punto fijo x = se toma un punto genrico x, la derivada de y = f (x) es a su vez
una funcin de x.
dy
dx

= d f(x) = f ' (x)

dx

Veamos ahora el concepto de derivada para funciones de varias variables.

Comencemos con funciones de dos variables z = f(x ,y) funcin de las variables x e y
Consideremos un punto fijo (a , b) perteneciente al dominio de la funcin.
Formaremos los incrementos de z respecto de x e y

x z = f ( a +x ,b) - f (a ,b)
y z = f ( a ,b +y) - f (a ,b)
El primero es el incremento parcial que tiene la funcin cuando se incrementa la variable x, mientras
que la variable y permanece constante en y=b
1

El segundo es el incremento parcial que tiene la funcin cuando se incrementa la variable y, mientras
que la variable x permanece constante en x = a. Consideramos los cocientes incrementales.

x z
f(a + x, b) - f(a , b)

x
x

y z
f(a, b + y ) - f(a, b)

y
y

Considerando el limite de estos cocientes incrementales cuando los incrementos de las variables x e y
tienden a cero tendremos :

lim

x z

lim

y z

x0

y0

lim

f(a + x, b) - f(a , b)
x

lim

f(a, b + y) - f(a, b)
y

x0

y0

Si estos limites existen, se llaman derivadas parciales de la funcin con respecto a x y con respecto a y
en el punto (a , b). Se representan de la siguiente manera :

lim

x z
f(a + x, b) - f(a , b)
f(a, b)
f(a, b)
lim

fx(a, b) =
. xa
y b
x
x
x
x
x0

lim

y z

x0

y 0

lim

y 0

f(a, b + y) - f(a, b )
f(a, b)
f(a, b)

fy(a, b) =
. xa
y b
y
y
y

que son nmeros, ya que (a , b) es un punto fijo. Si se considera un punto genrico (x ,y) tendremos :

lim

x z
f( x + x, y) - f( x, y)
f(x, y)
lim

fx(x, y) Zx(x, y)
x 0
x
x
x

lim

y z
f(x, y + y) - f(x, y)
f(x, y)
lim

fy(x, y) = Zy(x, y)
y 0
y
y
y

x 0

y 0

Que son nuevas funciones de (x , y)

No debe interpretarse los smbolos

f(x, y)
x

f(x, y)
como cocientes pues son smbolos que
y

representan los limites indicados.

En definitiva para calcular la derivada parcial de z = f (x,y) con respecto a x se considera a y como
una constante y se deriva como funcin de x solamente.
Para calcular la derivada parcial de z = f (x,y) con respecto a y se considera a x como una constante y
se deriva como funcin de y solamente.

INTERPRETACION GEOMTRICA
La ecuacin z = f (x , y) tiene como representacin grfica una superficie en el espacio x y z

Al mantener y = yo constante, mientras que x varia, la ecuacin z = f(x, yo) es la ecuacin de la curva
Ro que resulta de la interseccin de la superficie z = f (x, y) y el plano y = yo
Por lo tanto la derivada parcial de la funcin respecto de x nos representa la pendiente de la tangente a
la curva en el punto (x, yo ). Por ejemplo cuando x = xo la tangente de es igual a Zx ( xo ,yo)
Para otro valor constante de y y = y1 obtenemos otra curva R1 cuya ecuacin es z=f(x, y1) que se
obtiene como interseccin de la superficie z = f(x, y) con el plano y = y1.
Es decir al variar y se obtienen las distintas curvas que son paralelas al plano z x .

La interpretacin geomtrica de la derivada parcial con respecto a y, es la misma que en el caso

anterior, donde las curvas que se obtienen son las intersecciones de la superficie z = f (x , y) con los
puntos x = Cte.
As por ejemplo, la curva correspondiente a x = xo es z = f (xo, y) y la derivada de la funcin
f(x o , y)
nos da el valor de la pendiente de la recta tangente geomtrica a la curva z = f (xo, y) en
y

un punto de la misma.
DERIVADAS PARCIALES PARA FUNCIONES DE N VARIABLES.

Sea y = f (x1; x2; x3;......x n) una aplicacin R n R1 y sea hj el incremento de la

variable xj.
Formemos el incremento de la funcin cuando la variable xj se incrementa en hj:
jy = f (x1; x2; x3; . . . xj + hj; . . . xn ) - f (x1; x2; . . . xn)
El cociente incremental ser:
jy
y
f ( x1; x2; ... xj hj; ... xn) f ( x1; x2; ... xn)

xj
hj
hj
Considerando el lmite para hj 0 ser:
lim

hj 0

jy
hj

lim
hj0

f ( x1; x2;... xj hj;... xn) f ( x1; x2;... xn)

y
f ( x)

hj
xj
xj

Habr n derivadas parciales primeras, correspondientes a los n valores que puede tomar j.

DEFINICION: Una funcin es derivable cuando existen las derivadas parciales con
respecto a cada una de las variables independientes.

RELACION ENTRE LA DERIVABILIDAD Y LA CONTINUIDAD

Demostraremos un teorema que relaciona la continuidad de una funcin con su derivabilidad. Para
demostrarlo, es conveniente recordar el teorema del valor medio o de Lagrange o del incremento
finito, para funciones de una variable.

Si la funcin y = f(x) es continua en el intervalo

[a, b] y con derivada nica (finita o infinita) en
todo punto de (a , b), hay por lo menos un punto

f (b) f ( a)
f () (Lagrange)
ba

interior , /

f(b)
f ( )
f(a)

o sea:

y = x . f () y llamando x = h ser b - a = h ; b = a + h de donde :

f (a h) f (a)
f (a h)
h

con 0 < < 1 ya que est comprendido entre a y b.

TEOREMA

y f (x) es derivable en un recinto S y adems las f xi ( x ) derivadas parciales

primeras son acotadas en S, entonces y f ( x ) es continua en S.

Aclaracin : Una funcin y f ( x ) es acotada en un recinto S, cuando es posible hallar un nmero

Si la funcin

M no nulo y finito, tal que el valor absoluto de la funcin se mantenga en ese recinto, siempre menor
que M, o sea

f ( x ) M; ( x ) S

DEMOSTRACION
Demostraremos el teorema para funciones de dos variables independientes, dado que su generalizacin
es inmediata.
El incremento total de la funcin cuando x e y se incrementan en h y k, respectivamente es:
f ( x, y) f ( x h; y k) f ( x; y) Sumamos y restamos f(x + h , y) luego:

f f (x h; y k) f (x h; y) f (x h; y) f (x; y)

(2)

El primer paso es considerar que:

f ( x h; y k) f ( x h; y) k. fy ( x h; y . k)

en donde 0 < < 1

f ( x h; y) f ( x; y) h. fx ( x h; y)

con 0 < < 1

Reemplazando estas ecuaciones en (2) se tiene :

f k f (x h, y k) hf
y

1
(x ' h; y) {con 0
0 ' 1

o sea, considerando valor absoluto:

f k fy ( x h; y k ) h fx ( x h; y)
luego, como

fx

f y son acotadas ser:

f y ( x h; y k) M1

f k M 1 h M 2

f x ( x h; y) M 2
o sea que

f 0 cuando

en consecuencia,
h 0
k 0

con lo que se demuestra que Z = f (x , y) es continua, ya que su incremento tiende a cero cuando los
incrementos de las variables independientes tienden a cero.
De este teorema se desprende que no basta con que una funcin f(x , y) sea derivable en un
recinto, para garantizar su continuidad, sino que adems es necesario que las derivadas
parciales sean acotadas en dicho recinto.

DERIVADAS PARCIALES DE ORDEN SUPERIOR

Consideramos una funcin Z=f(x;y) de la cual hemos definido las derivadas parciales de primer orden.
f ( x; y)
f ( x h; y) f ( x; y)
lim
fx ( x; y) Zx ( x; y)
x
h
h 0

f ( x; y)
f ( x; y k ) f ( x ; y )
lim
fy ( x; y) Zy( x; y)
h 0
y
k
que son en general nuevas funciones de x , y.
Si estas funciones admiten a su vez derivadas, las nuevas funciones as definidas se llaman
DERIVADAS SEGUNDAS de f(x , y); las derivadas de las derivadas segundas se llaman derivadas
terceras de f(x , y) ;etc. Dada la funcin Z = f(x , y) tenemos cuatro derivadas parciales segundas:
2 f ( x ; y)
f

f x x ( x ; y) Z x x Z x 2
2
x
x x
2 f ( x; y)
f

f x y ( x; y) Z x y
xy
y x
2 f ( x; y)
f ( x; y)

f y x ( x; y) Z y x
yx
x
y

2 f ( x; y)
2 f ( x , y)

f y y ( x; y) Z y 2
y 2
yy

Habr ocho derivadas terceras, correspondientes a la derivacin con respecto a x e y de las cuatro
derivadas segundas:
3f
3f
3f
3f
3f
3f
3f
3f
;
;
;
;
;
;
;
x 3 x 2 y xy 2 xyx yx 2 y 2 x xyx y 3
r

En general para una funcin Z = f(x , y) de dos variables independientes hay 2 derivadas de orden
r, pero como veremos que bajo ciertas condiciones pueden haber algunas que son iguales entre s,
podemos afirmar que en general el nmero de derivadas de orden rdistintas, es menor que el citado.
Existe un teorema que determina las condiciones bajo las cuales f xy ( x; y) f yx ( x; y) ;
nicamente enunciaremos el mismo:
TEOREMA DE SCHWARTZ
Si f y ( x; y) f xy ( x; y) existen en un entorno del punto (x;y) y si f xy ( x; y) es continua en dicho
entorno, entonces f yx ( x; y) existe y es igual a f xy ( x; y)
COROLARIO DE BONET
,y) entonces f xy ( x; y)
consecuencia de ellas.

Si f xy ( x; y) f yx ( x; y) son continuas en un entorno del punto (x

f yx (x; y) .Estas hiptesis incluyen a las de Schwartz, es decir son una

DIFERENCIABILIDAD
Recordemos el concepto de diferenciablidad para funciones de una variable independiente; y = f(x).
Definicin: la funcin y = f(x) es diferenciable en un punto x si est definida en un entorno del punto x
y su incremento y = f(x +x)-f(x) se puede expresar de la siguiente manera:
y =A.x + .x = A.x + o(x) donde .x = o (x) es un infinitsimo de orden superior a x, es
decir que 0 cuando x 0 implica .x = o (x).
Se llama diferencial de la funcin a la parte lineal en x o sea dy=A.x.
A depende de x pero no de x. Veamos que representa A:
de

y =A.x + .x = (A + ) x

o sea que

y
lim (A ) lim A lim A 0
x 0 x
x 0
x 0
x 0
lim

y 0 cuando x 0 o sea

y
A + en el lmite para x0 ser:
x

ya que A no depende de x

y
dy
A f (x ) y
x 0 x
dx
lim

o sea

Grficamente vemos que dy = tg.x pero la tg

representa la derivada de la funcin y = f(x)
en el punto x, luego dy =f (x) x. Si y = x
dy =d (x) = 1.x es decir: dx = x.

dy f (x ) .x

dy

Consideremos una funcin de dos variables Z=f (x;y).

Definicin:
Una funcin z = f(x ,y) es diferenciable en un punto (x , y), si est definida en un
entorno del punto (x , y) y su incremento total f (x, y) f (x x; y y) f (x; y) se
puede expresar como f A.x B.y 1.x 2 .y (1) donde 1 2
0
cuando x0 y 0 respectivamente.
Siendo d f (x y) = A.x + B.y
Determinemos ahora cuanto valen A y B.
Como x y son independientes, podemos hacer y = 0, con lo cual obtenemos el
incremento parcial de la funcin respecto de x.
xf Ax 1x (A 1 )x de donde

xf
xf
A 1 lim
lim A + lim 1 A
x 0 x
x 0
x 0
x

xf
f ( x; y)
A
f x ( x; y ) Z x ( x ; y )
x 0 x
x
Hacemos ahora x = 0 con lo cual obtenemos el incremento parcial de la funcin
cuando se incrementa la variable y, es decir:
lim

yf By 2 y (B 2 )y
y f
y f
B 2 lim
lim B lim 2 B
y0 y
y0
y0
y

o sea:

f ( x; y)
f y ( x; y) Z y ( x; y) reemplazando los valores en (1) tendremos:
y
f ( x; y)
f ( x; y)
f
.x
.y 1x 2 y
x
y

df ( x , y)

f ( x; y)
f ( x; y)
.x
.y
x
y

(2)

En particular cuando Z = f(x;y) = x dz = dx =1.x y cuando Z= f(x;y)=y dz=dy=1.y o sea:

df ( x, y)

f ( x; y)
f ( x; y)
.dx
.dy Z x .dx Z y .dy f x ( x; y).dx f y ( x; y).dy
x
y

(3)

Las expresiones (2) y (3) reciben el nombre de Expresin analtica de la diferencial.

Es muy importante observar que z =f(x , y) depende de las variables x e y mientras que
su diferencial df f x .dx f y .dy depende de cuatro: x; y; d x; d y
Por lo tanto para calcular la diferencial de una funcin en un punto, no solo es necesario
dar las coordenadas del punto (x , y), sino tambin el valor de los incrementos x=dx
y=dy. Consideremos ahora una funcin de tres variables independientes u=f(x;y;z).
Definicin:
Se dice que u=f(x;y;z) es diferenciable en un punto P(x;y;z) si est definida en un
entorno del punto citado y su incremento total f=u=f(x+x;y+y;z+z)-f(x;y;z) se
puede expresar:

f ( x, y, z) A.x B.y C.z 1.x 2 .y 3 .z

donde A, B y C dependen del punto (x, y, z) pero no de x; y y z y 1; 2; 3 0
con x; y, z 0 respectivamente.
Se llama diferencial total de la funcin a df du A.x B.y C.z

Se demuestra que A

df ( x, y, z)

f ( x; y; z)
f ( x; y; z)
f ( x; y; z; )
o sea:
;B
;C
x
y
z

f ( x; y; z)
f ( x; y; z)
f ( x; y; z; )
.dx
.dy
.dz
x
y
z

Diferencial de una funcin de n variables.

Si y=f (x1;x2;...xn) es diferenciable en un punto; si est definida en un entorno del punto
y su incremento total se puede expresar:

y A1.x1 A2 .x 2 ... A n .x n 1.x1 ... n .x n

en donde la diferencial de la funcin ser:

dy A1.x1 A 2 .x 2 ... A n .x n con Ai dependiendo de las coordenadas del

punto pero no de los xi y los i 0 con xi0 respectivamente.
f ( x 1 ; x 2 ;...; x n )
Ai
x i

f ( x )
luego : dy x .dx i
i 1
i
n

Relacin entre la difrerenciabilidad, derivabilidad y continuidad.

Demostraremos dos teoremas que relacionan la continuidad, derivabilidad y
diferenciabilidad de una funcin en un punto. Haremos la demostracin para una
funcin de dos variables independientes.
Teorema 1
Si una funcin z =f(x;y) es diferenciable en un punto (x,y) entonces es continua y
derivable en ese punto.
Demostracin:
Por ser diferenciable la funcin; su incremento total se puede expresar:

f A.x B.y 1.x 2 .y

(4)

siendo A

f ( x; y)
f ( x; y)
B
x
y

Por lo tanto al existir las derivadas parciales primeras la funcin es derivable con lo que
se demuestra la primera parte del teorema.
En (4) vemos que si x0 y0 f0 o sea que z=f(x;y) es continua en (x;y) ya
que su incremento f0 cuando tienden a cero los incrementos de las variables
independientes. Con esto queda demostrado este teorema.
El recproco de este teorema no es cierto, es decir que no basta que una funcin sea
continua y derivable en un punto, para garantizar que sea diferenciable.
A continuacin demostraremos un teorema que expresa las condiciones necesarias y
suficientes para que una funcin sea diferenciable.
Teorema 2

10

Si una funcin z = f(x;y) es continua y derivable y tiene sus derivadas parciales

continuas en un entorno del punto P (x;y), entonces es diferenciable en dicho punto.
Demostracin:
El incremento total de la funcin es: f ( x, y) f ( x x; y y) f ( x; y)
Si sumamos y restamos al segundo miembro f(x +x ;y) ser:
f f (x x; y y) f (x x; y) f (x x; y) f (x; y) Aplicando Lagrange

f y.f y (x x; y .y) x.f x (x .x; y)

(5)

donde: 0 1

0 1

Pero por hiptesis f y f x son continuas en x ;y por lo tanto se puede escribir:

f y (x x; y .y) f y (x; y) 2 con 20 si y0

f x (x .x; y) f x ( x; y) 1 con 10 si x0 reemplazando en (5) ser:
f [f x (x; y) 1 ].x [f y (x; y) 2 ].y

f f x ( x; y).x f y ( x; y).y 1.x 2 .y

pero esto ltimo nos indica que la funcin z =f(x , y) es diferenciable en P(x ,y) con lo
cual queda demostrado el teorema.
Convencin:
Llamaremos:
C0 al conjunto de funciones continuas.
C1 al conjunto de funciones cuyas derivadas primeras existen y son continuas.
C2 al conjunto de funciones cuyas derivadas segundas existen y son continuas.
C r al conjunto de funciones cuyas derivadas de orden r existen y son continuas.
Diferenciales Sucesivas
Consideremos el caso de funciones de dos variables :

df f x (x; y).dx f y (x; y).dy en la cual d f depende de x; y; dx; d y .

Si damos valores fijos a dx y dy la diferencial depender nicamente de x e y, y
considerada como una funcin de estas dos variables, podr tener a su vez una
2
diferencial que llamaremos diferencial segunda, la que indicamos por d f d[df ]
Podemos extender estos conceptos a funciones de 2 variables, para el caso de
diferenciales de orden n, lo que indicaremos por:

d 3f d[d 2 f ] d[d(df )]; d 4 f d[d 3f ]......d n f d[d n 1f ]

Si f (x; y) C 2 existir la diferencial segunda (teorema 2).
Por haber supuestos fijos x dx y dy ser:
11

d 2 f ( x , y) d[df ( x , y)] d[f x ( x; y).dx f y ( x; y).dy]

d[f x ( x; y).dx ] d[f y ( x; y).dy]

y por se dx = cte y dy = cte ser:

d 2 f ( x, y) {d[f x ( x; y)]}.dx {d[f y ( x; y)]}.dy

f xx ( x; y).dx.dx f xy ( x; y).dy.dx f yx ( x; y).dx.dy f yy ( x; y).dy.dy

d 2 f ( x, y) fxx .dx2 2fxy .dx.dy fyy .dy2

Llamaremos operador diferenciacin a la expresin d

.dx
.dy
x
y

Podemos calcular su cuadrado en forma simblica:

2
2
2
2
2
d (
.dx
.dy)
.dx 2
.dx.dy
.dy 2
2
2
x
y
xy
x
y
2

Aplicando el operador diferenciacin a una funcin f(x;y) obtenemos:

df ( x, y) (

f ( x; y)
f ( x; y)

.dx
.dy).f ( x; y)
.dx
.dy
x
y
x
y

La diferencial primera se obtiene aplicando el operador diferenciacin a la funcin

f(x;y).
Aplicando ahora el operador al cuadrado, obtendremos la diferencial segunda:

2
2
2
2
d 2 f ( x, y ) (
.dx
.dy ) 2 . f ( x; y )
.
dx

2
.
dx
.
dy

.dy 2
2
2
x
y
xy
x
y
Si f ( x; y) C 3 existir la diferencial tercera; y de la misma forma anterior se ver que

d3 f

se obtiene aplicando el operador diferenciacin elevado al cubo:

3 3
3
3
3 3
3
2
2
d f (x, y) ( .dx .dy) .f (x; y) 3 .dx 3 2 .dx .dy 3
.dx.dy 3 .dy
x
y
x
x y
xy2
y
3

k
En general si f ( x; y) C ser:

dkf (

.dx
.dy) k .f ( x; y)
x
y

12

Para Funciones de Tres Variables.

Sea u f (x; y; z) la du

f
f
f
.dx
.dy
.dz el operador diferenciacin ser:
x
y
z

.dx
.dy
.dz
x
y
z

k
Suponiendo u C ser:

dku (

Para n variables ser:

.dx
.dy
.dz) k .f ( x; y; z)
x
y
z

y=f(x1;x2;.....;xn)

d(
. dx1
. dx 2 ....
. dx n )
. dx i
x1
x 2
x n
i 1 x i

Si f(x1;x2;.....;xn) Ck ser:
n

d f ( x ) [
k

i 1

.dx i ]k .f ( x1 ; x 2 ;...; x n )
x i

DERIVADA DIRECCIONAL
Consideremos en primer trmino el caso de una funcin Z=f(x;y) de dos variables
independientes.
Hemos definido las derivadas de f(x;y) en un punto (x0;y0) cuando el punto (x;y) tiende
a (x0;y0) paralelamente al eje x.

f ( x 0 ; y 0 )
f ( x 0 x; y 0 ) f ( x 0 ; y 0 )
lim
x 0
x
x
y cuando el punto (x;y) tiende al (x0;y0) paralelamente al eje y:

f ( x 0 ; y 0 )
f ( x; y 0 y) f ( x 0 ; y 0 )
lim
y 0
y
y
Ahora vamos a definir la derivada de z = f(x;y) en una direccin cualquiera ,
determinada por sus cosenos directores; cos 1; cos 2.
Si z = f(x;y) es diferenciable en el punto (x0;y0); considerando un incremento en la
direccin de su incremento parcial, se puede escribir:

13

f f x ( x 0 ; y 0 ).x f y ( x 0 ; y 0 ).y 1.x 2 .y

donde

1 2 0

con x y 0 Dividiendo por se tiene:

f
x
y
x
y
f x ( x 0 ; y 0 ).
f y ( x 0 ; y 0 ).
1 .
2 .

pero

x
y
cos 1 ;
cos 2

f
f x ( x 0 ; y 0 ). cos 1 f y ( x 0 ; y 0 ). cos 2 1 . cos 1 2 . cos 2

f
lim [f x cos 1 f y cos 2 1 . cos 1 2 . cos 2 ]
en el lm 0: lim
0
0
luego:

Cuando 0; x y y 0 por lo tanto

1 2 0 luego:

f f

f x cos 1 f y cos 2 en (x0;y0)

0

lim

14

f ( x 0 ; y 0 )
f x ( x 0 ; y 0 ) cos 1 f y cos 2

Demostraremos que las derivadas parciales de f(x;y) respecto de x e y son casos particulares de las
derivadas direccionales. En efecto si 1 =0 ser

luego:

f ( x 0 ; y 0 )
f ( x 0 ; y 0 )

f x ( x 0 ; y 0 ). cos 0 o f y ( x 0 ; y 0 ). cos

x
2

f ( x 0 ; y 0 )
f ( x 0 ; y 0 )

f x ( x 0 ; y 0 ).1 f y ( x 0 ; y 0 ).0 f x ( x 0 ; y 0 )

x
Haciendo 1 ser 2=0 luego:
2

f ( x 0 ; y 0 )
f ( x 0 ; y 0 )

f x ( x 0 ; y 0 ).0 f y ( x 0 ; y 0 ).1 f y ( x 0 ; y 0 )

x
Para n variables:

y= f (x1; x2; ......; xn)

y
f
f
f
f

. cos 1
. cos 2 . . . . .
. cos n

x 1
x 2
x n
n
y
f

. cos i

i 1 x i

INTERPRETACION GEOMETRICA DE LA DIFERENCIAL TOTAL PLANO TANGENTE

Si en lugar de considerar la diferencial de la funcin consideramos la siguiente expresin:

z z 0 f x ( x 0; y 0 ).(x x 0 ) f y ( x 0; y 0 ).( y y 0 )
obtenemos la ecuacin de un plano llamado plano tangente a la superficie en x0 ;y0.
Geomtricamente se caracteriza por el hecho que en el entorno de (x0;y0) las ordenadas de z de dicho
plano difieren de las de la superficie en un infinitsimo de orden superior a x 2 y 2 .
Es muy importante que quede claramente establecido lo siguiente:
1)

La condicin necesaria y suficiente para que la superficie z=f(x;y) admita plano tangente en un
punto es que sea diferenciable en ese punto.
2) La expresin analtica de la diferencial en el punto se convierte en la ecuacin incremental

15

z z 0 f x ( x 0; y 0 ).(x x 0 ) f y (x 0; y 0 ).( y y 0 ) del plano tangente sustituyendo

las diferenciales por los incrementos.
3) El plano tangente, contiene las rectas tangentes a todas las curvas planas o alabeadas de la
superficie que pasen por el punto considerado y admitan tangente en l.

HM=HL+LM siendo HL=H2T2 y LM = H1T1

H2 . T2
H .T
Tg() 2 2 H2. T2 Tg(). dy
P. H2
dy

H 1 .T1
H .T
Tg().dx 1 1 H 1 .T1 Tg().dx
H 1 .P
dx
HM

luego

HM = H2T2 + H1T1

H 2 . T2 Tg(). dy

H1T1 Tg().dx

f ( x 0 ; y 0 )
. dy
y

f ( x 0 ; y0 )
.dx
x

f ( x 0 ; y0 )
f ( x 0 y 0 )
.dx
.dy dz
x
y

Diferencial de la funcin en el punto P( xo , yo ) = dz = HM = H2T2 + H1T1

16