Condición necesaria para funciones diferenciables


Sea $z = f\left( {x,y} \right)$ una función diferenciable en un conjunto $D$ que no incluye a su frontera. Es condición necesaria para la existencia de un extremo relativo de $f$ en $D$ que se verifique $f_x^'\left( {a,b} \right) = f_y^'\left( {a,b} \right) = 0$.