4.4.11 · D1 · HinglishMultivariable Calculus

FoundationsGradient perpendicular to level curves - surfaces

2,895 words13 min read↑ Read in English

We measure that with the dot product.

The magic case we need:

Recall Edge case: the zero vector

If (a flat spot / peak / valley bottom), the dot product is with everything, so "perpendicular" loses meaning. These are exactly the critical points, handled separately in Lagrange Multipliers and optimization. Away from them, the argument is clean.


5. Walking a path through the landscape: the parametrized curve

Picture it as an ant walking a route on the map. At any instant the ant faces some direction; that facing arrow is , always tangent to its trail.


6. Linking " along the ant's path" to the gradient: the chain rule

The final tool. The ant walks the path ; how fast does the height change?

This same dot product is also the definition of the Directional Derivative , which is zero exactly along the level curve.


Prerequisite map

Function f of x and y as a height landscape

Level curve f = c, no change in height

Partial derivatives f_x and f_y

Gradient grad f, the uphill arrow

Vectors as arrows

Dot product a dot b

Zero dot product means perpendicular

Parametrized curve r of t

Tangent vector r prime of t

Chain rule d dt f of r = grad f dot r prime

Gradient perpendicular to level curves


Equipment checklist

What does mean in plain words?
A machine taking a point and returning one number — a height above the floor.
What is a level curve ?
All floor-spots at the same fixed height — a contour line where does not change.
How do you compute ?
Freeze as a constant and differentiate with respect to .
What is and where does it live?
The vector of partials; it lives on the input floor and points toward steepest increase.
What does tell you?
The two (nonzero) arrows are perpendicular, because .
Compute .
, so they are perpendicular.
What is for a curve ?
The velocity/tangent arrow, pointing along the direction of motion.
State the multivariable chain rule for .
.
Why is a special case?
It is a critical (flat) point; its dot product with everything is , so "perpendicular" is undefined there.