Hola.
Supongamos que tenemos una función \( f:U\to \mathbb{R} \) y un punto \( (x,y,z) \) de ésta que recorre la curva \( \gamma \) dada por las ecuaciones \( \phi(x,y,z) = 0 \) y \( \varphi(x,y,z)=0 \) (sí, dos restricciones). Si en un cierto punto \( P \) de la curva tenemos un extremo, entonces la variación de \( f \) en \( P \) según la dirección de la tangente a la curva será nula (pues si no fuese así, \( f \) crecería o decrecería al mover el punto \( (x,y,z) \) por \( \gamma \) contradiciendo la suposición de extremo). Es decir, la derivada de \( f \) según el vector tangente \( t \) a la curva en \( P \) es \( 0 \), que es lo mismo que decir que \( \nabla f(P) \) ha de ser perpendicular al vector \( t \). Pero observa que \( t \) es perpendicular a las normales de las superficies \( \phi \) y \( \varphi \), o sea que \( t \) es perpendicular a \( \nabla \phi(P) \) y \( \nabla \varphi (P) \) .Para ver esto intuitivamente, supón que las dos superficies \( \varphi \) y \( \phi \) son planos, y observa cómo la tangente de la recta de la intersección de éstos es perpendicular al vector normal de cada plano. Una vez veas esto, piensa que las superficies originales \( \phi \) y \( \varphi \) se pueden aproximar localmente por planos tangentes y concluye.
Ilustración de ésto (supón que \( h \) y \( g \) son \( \phi \) y \( \varphi \).) Puesto que \( \nabla f(P) \) es también perpendicular a \( t \), entonces \( \nabla f(P) \) está en el plano generado por \( \nabla \phi(P) \) y \( \nabla \varphi (P) \) y por ende, es combinación lineal de éstos: \( \nabla(f) + \lambda \nabla(\phi) + \mu \nabla(\varphi) = 0, \) para \( \lambda,\mu \in \mathbb{R} \), y junto con las ecuaciones \( \phi(x,y,z) = 0 \) y \( \varphi(x,y,z)=0 \) tienes 5 incógnitas\( (x,y,z,\lambda,\mu) \) y 5 ecuaciones. (Esto supondría la condición necesaria para la existencia de los multiplicadores de Lagrange, hay que exigir un poco más para la suficiencia pero vaya, con la condición necesaria ya se entiende de sobra la idea de los multiplicadores de Lagrange).
Saludos.