Dos variables numricas x, y pueden estar relacionadas de manera implcita por una frmula de la

forma
F(x, y) = 0 (1)
sin que se pueda expresar, por ejemplo, a la variable y como funcin de x. Esto se puede observar si
graficamos todos los puntos que satisfacen la ecuacin (1) y la grfica resultante no pasa el test de la
recta vertical. A continuacin hay algunos ejemplos interesantes:

3
x2 + y2 - 1 - 2 x2 y3 0
1.5

1.0

0.5

0.0

-0.5

-1.0
-1.5 -1.0 -0.5 0.0 0.5 1.0 1.5

Independientemente de si se puede expresar y = f (x) a partir de la ecuacin (1), podemos calcular tasa
de cambio de y respecto a x en un punto (x, y) que satisfaga la relacin (1). Denotamos esto como
y
y' (x) = x (x,y) = tasa de cambio de y respecto a x en el punto (x, y)

y es una frmula que depende tanto de x como de y pero que nicamente tiene sentido evaluar en
puntos (x, y) que satisfagan la ecuacin (1).
2 Derivacion implicita.cdf

y
El nmero x (x,y) es la pendiente de la recta tangente a la grfica de la relacin (1) en el punto (x, y).

A continuacin se muestran tres grficas y las rectas tangentes en sus puntos. Arrastre el punto negro
por la curva correspondiente.

2
x2 + y2 + 2 y2 2 x2
1.5

Punto: ( 0.50, 0.41)

1.0

0.5

0.0

-0.5

-1.0
Recta tangente:
y 0.51 (x - 0.50) + 0.41
-1.5
-1.5 -1.0 -0.5 0.0 0.5 1.0 1.5

La ecuacin:
x3 + y 3 - 9 x y = 0 (2)
y
tiene como grfica el bucle que se muestra a continuacin. Queremos hallar el valor de x (x,y) en cada
punto (x, y) de la grfica.
 Derivacion implicita.cdf 3

-2

-4
-4 -2 0 2 4 6

y
Para hallar x (x,y) podemos pretender que en efecto y es funcin de x y escribir y(x) en vez de y en la
frmula original:
x3 + y(x)3 - 9 x y(x) = 0
Ahora diferenciamos a ambos lados de la ecuacin (2) usando la regla de la cadena y del producto:
3 x2 + 3 y(x)2 y' (x) - 9[x y ' (x) + y(x) ] = 0 .
Despejando y' (x) resulta:
y x2 -3 y
y' (x) = x (x,y) = 3 x-y 2
.

Es muy importante reconocer que esta frmula tiene sentido nicamente para pares (x, y) que satisfa-
gan la ecuacin (2). Por ejemplo, no tiene sentido en evaluarla en el punto (2, 2) pero si en el punto
(4, 2):
y 5
y' (4) = x (4,2) = 4
.

Si estamos interesados en hallar los puntos del bucle donde la recta tangente es horizontal, basta con
4 Derivacion implicita.cdf

hallar las coordenadas (x, y) donde:

y x2 -3 y
y' (x) = x (x,y) = 3 x-y 2
=0
1
Es decir, se debe cumplir y = 3
x2 . Esta nueva ecuacin en trminos de x, y no es lo nico que bus-
camos: queremos puntos (x, y) que estn en la grfica (es decir, satisfagan (2)) y adems cumplan
1
y' (x) = 0 (o sea y = 3
x2 ). Esto quiere decir que tenemos que resolver el sistema de ecuaciones:

x3 + y 3 - 9 x y = 0
1
y= 3
x2

Grficamente, resolver este sistema es equivalente a hallar los puntos de corte entre la grfica original
1
y la parbola y = 3
x2 que se muestra arriba en rojo cuando se chequea la opcin Tangente horizontal.
La solucin numrica es:
1
NSolvex3 + y3 - 9 x y 0, y x2 , {x, y}, Reals1 ;; 2
3
{{x 3.77976, y 4.7622}, {x 0., y 0.}}

La ecuacin de la recta tangente a la grfica en el punto (4, 2) se muestra arriba y su ecuacin es:
5
L(x) = 4
(x - 4) + 2

Esta recta tangente sirve por ejemplo, para aproximar puntos (x, y) de la grfica para x 4. Por ejemplo
L(4.1) = 2.125 que es una buena y simple aproximacin a uno de los valores que se encuentran
cuando se resuelve numricamente por y en la ecuacin:
4.13 + y3 - 9 4.1 y = 0

NSolve4.13 + y3 - 9 4.1 y 0, y
{{y - 6.85257}, {y 2.12947}, {y 4.7231}}

En qu puntos de la grfica es la vertical la recta tangente
Cul es el valor de y' (x) en el extremo superior derecho del bucle?
Qu pasa en el punto (0, 0)?
Jorge Ramirez,
Escuela de Matemticas,
Universidad Nacional de Colombia, Sede Medelln.
Todos los derechos reservados.