Geometría diferencial local · Tema 17

Plano tangente y recta normal

Cómo reemplazar una superficie suave por un plano cercano al punto y construir la dirección perpendicular que resume su orientación local.

01 · Geometría local

Una superficie suave se parece a un plano

Al ampliar una curva diferenciable cerca de un punto, su gráfica se confunde progresivamente con la recta tangente. Para una superficie z=f(x,y) ocurre lo mismo, pero ahora la aproximación lineal tiene dos direcciones independientes y su gráfica es un plano.

El plano tangente:

  • Pasa por el punto de la superficie.
  • Comparte sus pendientes instantáneas en las direcciones x e y.
  • Aproxima alturas cercanas con un error menor que la distancia horizontal recorrida.
  • Describe la orientación local sin reproducir toda la curvatura.
  • Permite construir una dirección perpendicular: la recta normal.

02 · Fórmula fundamental

Plano tangente a una gráfica

Sea z=f(x,y) una función diferenciable en (a,b) y sea P=(a,b,f(a,b)) el punto correspondiente de la superficie. Su plano tangente es:

z−f(a,b)=fx(a,b)(x−a)+fy(a,b)(y−b)

También puede escribirse como una función de x e y:

z=L(x,y)=f(a,b)+fx(a,b)(x−a)+fy(a,b)(y−b)

Los coeficientes de x−a y y−b son las pendientes de los cortes coordenados. El término constante asegura que el plano pase por P.

Superficie

z=f(x,y)

Puede ser curva y compleja; contiene el comportamiento global y los términos de orden superior.

Plano local

z=L(x,y)

Es afín; coincide con el valor y las primeras derivadas de f en el punto base.

03 · De la diferencial al plano

Por qué aparece esta ecuación

La diferenciabilidad en (a,b) afirma que para incrementos Δx=x−a y Δy=y−b:

f(x,y)=f(a,b)+fx(a,b)Δx+fy(a,b)Δy+R

donde R/√(Δx²+Δy²)→0. Al omitir el residuo obtenemos exactamente la ecuación del plano tangente.

Dos vectores tangentes

La gráfica puede parametrizarse mediante r(x,y)=(x,y,f(x,y)). Sus cambios coordenados producen:

rx(a,b)=(1,0,fx),    ry(a,b)=(0,1,fy)

Estos vectores son independientes y generan el plano tangente. Cualquier vector del plano con origen en P es una combinación:

(x,y,z)−P=(x−a)rx+(y−b)ry

La tercera componente de esta igualdad vuelve a dar la fórmula fundamental.

04 · Ejemplo completo

Plano tangente a un paraboloide

Calculemos el plano de f(x,y)=x²+2y² en (1,−1).

  1. 1
    Altura del punto.

    f(1,−1)=1+2=3, por lo que P=(1,−1,3).

  2. 2
    Derivadas parciales.

    fx=2x y fy=4y.

  3. 3
    Pendientes en el punto.

    fx(1,−1)=2 y fy(1,−1)=−4.

  4. 4
    Sustitución en la fórmula.

    z−3=2(x−1)−4(y+1).

  5. 5
    Forma simplificada.

    z=2x−4y−3.

Comprobación: al sustituir x=1, y=−1, obtenemos z=3. Además, los coeficientes 2 y −4 coinciden con las pendientes parciales.

05 · Dirección perpendicular

Vector normal y recta normal

Llevemos la ecuación del plano a la forma implícita:

fx(a,b)(x−a)+fy(a,b)(y−b)−(z−f(a,b))=0

Un vector normal es el vector formado por sus coeficientes:

n=(fx(a,b), fy(a,b), −1)

También puede usarse el opuesto (−fx,−fy,1); ambos describen la misma dirección. La recta normal que pasa por P es:

ℓ(t)=P+t n

En coordenadas, con la primera elección:

x=a+t fx,   y=b+t fy,   z=f(a,b)−t

Ejemplo anterior

Para el paraboloide en P=(1,−1,3), un vector normal es n=(2,−4,−1) y la recta:

ℓ(t)=(1,−1,3)+t(2,−4,−1)

06 · Verificación vectorial

Por qué la normal es perpendicular

Los dos vectores tangentes coordenados son rx=(1,0,fx) y ry=(0,1,fy). Tomemos n=(−fx,−fy,1). Entonces:

n·rx=−fx+fx=0,    n·ry=−fy+fy=0

Ser ortogonal a dos direcciones independientes del plano implica ser ortogonal a todo el plano. De hecho, el producto vectorial confirma:

rx×ry=(−fx,−fy,1)

La normal no es única como vector: cualquier múltiplo no nulo sirve. Normalizarla produce el vector unitario:

n̂ = (−fx,−fy,1)/√(fx²+fy²+1)

Un vector unitario es útil para medir distancias, iluminación, orientación y desplazamientos con una longitud controlada.

07 · Superficies implícitas

La fórmula unificada con F(x,y,z)=0

Muchas superficies no se presentan como una gráfica explícita. Si una superficie está definida por F(x,y,z)=0 y ∇F(P)≠0, su gradiente es normal a la superficie en P:

∇F(P)=(Fx(P),Fy(P),Fz(P))

El plano tangente se escribe:

Fx(P)(x−a)+Fy(P)(y−b)+Fz(P)(z−c)=0

Y la recta normal:

ℓ(t)=P+t∇F(P)

Relación con una gráfica

Si z=f(x,y), definimos F(x,y,z)=f(x,y)−z. Entonces ∇F=(fx,fy,−1), exactamente el vector normal obtenido antes.

08 · Ejemplo implícito

Plano tangente a una esfera

La esfera de radio 3 centrada en el origen está dada por:

F(x,y,z)=x²+y²+z²−9=0

Tomemos P=(1,2,2), que pertenece a la esfera porque 1+4+4=9. Su gradiente es:

∇F=(2x,2y,2z),    ∇F(P)=(2,4,4)

Podemos simplificar el vector normal a (1,2,2). El plano tangente es:

2(x−1)+4(y−2)+4(z−2)=0

Al simplificar:

x+2y+2z=9

La recta normal puede escribirse ℓ(t)=(1,2,2)+t(1,2,2). En una esfera centrada en el origen, la dirección normal es radial: la recta pasa por el centro.

09 · Todas las curvas comparten el plano

Direcciones tangentes sobre la superficie

Sea una curva γ(t)=(x(t),y(t),z(t)) contenida en F=0 y con γ(0)=P. Como F(γ(t))=0, al derivar se obtiene:

∇F(P)·γ′(0)=0

Por lo tanto, la velocidad de cualquier curva suave que atraviese P sobre la superficie es perpendicular a la normal y pertenece al plano tangente.

Esto proporciona una descripción intrínseca: el plano tangente reúne todas las velocidades posibles de curvas sobre la superficie que pasan por el punto. No depende de elegir específicamente los cortes x o y.

Cortes coordenados

En una gráfica, fijar y produce una curva cuya tangente tiene pendiente fx; fijar x produce otra con pendiente fy. Sus tangentes generan el plano completo.

10 · Cuándo falla la construcción

Parciales existentes no siempre significan plano tangente

Para que la fórmula represente realmente la superficie a primer orden, f debe ser diferenciable. Insertar parciales existentes en una ecuación no demuestra que esa ecuación sea un plano tangente.

El cono en su vértice

La superficie z=√(x²+y²) tiene un vértice en el origen. Los cortes verticales son formas de V y no poseen una única recta tangente allí. En consecuencia, tampoco existe un plano tangente en el vértice.

Gradiente implícito nulo

La misma superficie puede describirse mediante F=x²+y²−z²=0. En el origen, ∇F=(0,0,0), por lo que la fórmula implícita produciría 0=0, que no define ningún plano.

Un gradiente nulo no siempre prueba que la superficie carezca de plano; indica que este criterio no decide y que la ecuación puede ser singular o estar expresada de manera degenerada.

11 · Estrategia de resolución

Elegir la fórmula correcta

Procedimiento según la forma de la superficie.
PresentaciónNormalPlano tangente
z=f(x,y)(fx,fy,−1)z−f(a,b)=fx(x−a)+fy(y−b)
F(x,y,z)=0∇F(P)∇F(P)·((x,y,z)−P)=0
r(u,v)ru×rv((x,y,z)−P)·n=0
  1. 1
    Confirmá que el punto pertenece a la superficie.

    Evaluá la función o la ecuación antes de derivar.

  2. 2
    Identificá la representación.

    Gráfica explícita, nivel implícito o parametrización.

  3. 3
    Calculá una normal no nula.

    Usá parciales, gradiente o producto vectorial según corresponda.

  4. 4
    Conservá la forma punto-normal.

    Facilita comprobar signos y pertenencia.

  5. 5
    Construí la recta con el mismo vector.

    ℓ(t)=P+tn; cambiar n por un múltiplo no cambia la recta.

  6. 6
    Verificá regularidad.

    La fórmula debe apoyarse en diferenciabilidad o en una condición regular adecuada.

12 · Interpretación y aplicaciones

Más que una construcción geométrica

Aproximación
El plano permite estimar alturas próximas con operaciones lineales.
Orientación
La normal indica hacia dónde “mira” localmente una superficie.
Iluminación 3D
Los motores gráficos comparan normales con direcciones de luz para sombrear.
Colisiones
Una normal local determina reflexión, rebote y separación de objetos.
Topografía
Las parciales del plano expresan pendientes locales del terreno.
Restricciones
El gradiente normal aparece al optimizar sobre superficies de nivel.

Error geométrico

Si f tiene segundas derivadas continuas, la separación vertical entre superficie y plano suele ser de orden cuadrático:

f(a+u,b+v)−L(a+u,b+v)=O(u²+v²)

Al reducir a la mitad la escala horizontal, el error suele reducirse aproximadamente a la cuarta parte. La curvatura, organizada por el Hessiano, gobierna este primer término de error.

13 · Exploración interactiva

Laboratorio: superficie, plano y normal

Elegí una superficie y mové el punto de tangencia. La malla violeta representa la superficie, el parche dorado es el plano tangente y la línea clara muestra la dirección normal.

EXPERIMENTO 17

Geometría local tridimensional

f(x,y)=x²+y²

Las ecuaciones aparecen debajo.
Punto de tangenciaP=(0,70; −0,40; 0,65)
Pendientesfₓ=1,40 · fᵧ=−0,80
Vector normaln=(−1,40; 0,80; 1)
Error en muestra local|f−L|=0,123

Al reducir la escala, la superficie y el plano se vuelven visualmente indistinguibles cerca de P.

La vista usa una proyección oblicua. La superficie y el plano se dibujan en una ventana centrada en el punto; la escala controla el tamaño de esa ventana.

Preguntas para explorar

  1. Reducí la escala y observá cómo disminuye el error entre superficie y plano.
  2. En el paraboloide, llevá el punto al origen: ¿qué orientación adquiere el plano?
  3. En la silla, compará puntos sobre los ejes y sobre la diagonal.
  4. En xy, observá cómo cada coordenada controla la pendiente respecto de la otra.
  5. En la gaussiana, compará la cima con sus laderas.

14 · Implementación

Calcular planos y normales con JavaScript

Plano tangente a una gráfica

function datosTangentes(funcion, parciales, a, b) {
  const z0 = funcion(a, b);
  const [fx, fy] = parciales(a, b);
  return {
    punto: [a, b, z0],
    normal: [-fx, -fy, 1],
    plano: (x, y) => z0 + fx * (x - a) + fy * (y - b)
  };
}

const f = (x, y) => x ** 2 + 2 * y ** 2;
const derivadas = (x, y) => [2 * x, 4 * y];
const datos = datosTangentes(f, derivadas, 1, -1);
console.log(datos.punto);       // [1, -1, 3]
console.log(datos.normal);      // [-2, 4, 1]
console.log(datos.plano(1, -1)); // 3

Plano a una superficie implícita

function planoImplicito(punto, gradiente) {
  const norma = Math.hypot(...gradiente);
  if (norma === 0) throw new Error("El punto no es regular");

  return entrada => gradiente.reduce(
    (suma, componente, i) => suma + componente * (entrada[i] - punto[i]),
    0
  );
}

const P = [1, 2, 2];
const normalEsfera = [2, 4, 4];
const evaluarPlano = planoImplicito(P, normalEsfera);
console.log(evaluarPlano(P));          // 0: contiene a P
console.log(evaluarPlano([9, 0, 0])); // 0: otro punto del plano

Normalizar un vector

function normalizar(vector) {
  const longitud = Math.hypot(...vector);
  if (longitud === 0) throw new Error("No se puede normalizar el vector cero");
  return vector.map(componente => componente / longitud);
}

const normal = normalizar([-2, 4, 1]);
const longitud = Math.hypot(...normal);
console.log(normal);
console.log(longitud); // aproximadamente 1

En una malla digital, las derivadas pueden aproximarse con diferencias finitas. Para sombreado estable suele normalizarse el vector y cuidarse la orientación coherente entre puntos vecinos.

15 · Práctica guiada

Ejercicios de comprensión

Ejercicio 1: gráfica explícita

Encontrá el plano tangente a z=x eʸ en el punto correspondiente a (1,0).

Ver solución razonada

f(1,0)=1, fx=eʸ y fy=xeʸ; ambas parciales valen 1 en el punto. Entonces z−1=(x−1)+y, es decir, z=x+y.

Ejercicio 2: recta normal

Escribí una recta normal para la superficie del ejercicio anterior.

Ver solución razonada

Un vector normal es (−1,−1,1). La recta es ℓ(t)=(1,0,1)+t(−1,−1,1). También es válida la parametrización obtenida con el vector opuesto.

Ejercicio 3: superficie implícita

Hallá el plano tangente a x²+2y²+3z²=6 en (1,1,1).

Ver solución razonada

Con F=x²+2y²+3z²−6, ∇F=(2x,4y,6z) y en el punto vale (2,4,6). El plano es 2(x−1)+4(y−1)+6(z−1)=0, equivalente a x+2y+3z=6.

Ejercicio 4: comprobación

Demostrá que v=(1,2,−1) pertenece al plano tangente cuyo vector normal es n=(3,−1,1).

Ver solución razonada

Calculamos n·v=3(1)−1(2)+1(−1)=0. Al ser ortogonal a la normal, v es una dirección paralela al plano tangente.

Ejercicio 5: aproximación

Usá el plano tangente a z=x²+2y² en (1,−1) para aproximar f(1,02;−0,99).

Ver solución razonada

La linealización es L=3+2(x−1)−4(y+1). Sustituyendo los incrementos 0,02 y 0,01, resulta 3+0,04−0,04=3. El valor exacto es 1,02²+2(−0,99)²=3,0006.

Ejercicio 6: punto singular

¿Puede aplicarse directamente la fórmula implícita a F=x²+y²−z²=0 en el origen?

Ver solución razonada

No, porque ∇F(0,0,0)=(0,0,0). El criterio regular falla y, en este caso, el vértice del cono no tiene un único plano tangente.

16 · Errores frecuentes y síntesis

Ideas para recordar

«El plano tangente siempre es horizontal»

Solo es horizontal cuando ambas parciales se anulan. En general sus pendientes son fx y fy.

«Basta calcular fₓ y fᵧ en cualquier punto»

Las parciales deben evaluarse en el punto base y la función debe ser diferenciable allí.

«La normal es (fₓ,fᵧ,1)»

Para F=f−z, una normal es (fx,fy,−1); su opuesto también sirve, pero cambiar solo un signo no.

«Un vector normal y una recta normal son lo mismo»

El vector aporta dirección. La recta necesita además pasar por el punto de tangencia.

«Si ∇F=0, la superficie nunca tiene plano»

El gradiente nulo hace fallar esa representación regular; puede haber singularidad real o una ecuación degenerada.

«El plano reproduce la superficie en una región grande»

Es una aproximación local. La curvatura hace crecer el error al alejarnos del punto.

  • El plano tangente es la gráfica de la linealización de una función diferenciable.
  • Para z=f(x,y), sus pendientes son fx y fy.
  • Los vectores (1,0,fx) y (0,1,fy) generan el plano.
  • Un vector normal a una gráfica es (−fx,−fy,1).
  • La recta normal pasa por el punto y tiene la dirección de ese vector.
  • Para F=0, el gradiente no nulo proporciona normal, plano y recta.
  • Toda velocidad de una curva sobre una superficie regular pertenece al plano tangente.
  • La construcción puede fallar en puntos no diferenciables o singulares.
  • La separación entre una superficie suave y su plano es de orden superior al desplazamiento.

En el próximo tema ampliaremos la noción de pendiente: calcularemos derivadas direccionales a lo largo de cualquier vector del plano.