We measure that with the dot product .
A vector like u = ( u 1 , u 2 ) is an arrow with a direction and a length. Bold letters or arrows on top (u , u ) mark vectors, to distinguish them from plain numbers.
The magic case we need:
Intuition Why this is THE tool for "perpendicular"
"Perpendicular" is a statement about an angle , and the dot product is the one gadget that turns an angle into simple arithmetic (a 1 b 1 + a 2 b 2 ). To prove ∇ f makes a right angle with the level curve, we just need to show their dot product is 0 — no protractor required.
Worked example Right-angle check
( 6 , 8 ) ⋅ ( − 4 , 3 ) = ( 6 ) ( − 4 ) + ( 8 ) ( 3 ) = − 24 + 24 = 0. So ( 6 , 8 ) is perpendicular to ( − 4 , 3 ) . ✅
Recall Edge case: the zero vector
If ∇ f = ( 0 , 0 ) (a flat spot / peak / valley bottom), the dot product is 0 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.
Definition Parametrized curve
r ( t )
r ( t ) = ( x ( t ) , y ( t )) is a moving point whose location depends on time t . As t ticks forward, r ( t ) traces a path on the floor.
Definition Velocity / tangent vector
r ′ ( t )
The derivative r ′ ( t ) = ( x ′ ( t ) , y ′ ( t )) is the velocity arrow — it points in the direction of motion and is tangent to the path.
Picture it as an ant walking a route on the map. At any instant the ant faces some direction; that facing arrow is r ′ ( t ) , always tangent to its trail.
Intuition Why the topic needs a moving point
To say "∇ f is perpendicular to the level curve," we need a symbol for a direction along the level curve . The trick: send the ant walking inside the level curve. Then its velocity r ′ ( t ) is a tangent-to-the-level-curve direction — precisely the thing we'll dot against ∇ f .
The final tool. The ant walks the path r ( t ) ; how fast does the height f ( r ( t )) change?
Intuition Why the chain rule, and why it seals the proof
We know two facts and need to connect them: (a) how the height depends on position (that's ∇ f ), and (b) how position depends on time (that's r ′ ). The Multivariable Chain Rule is exactly the bridge that multiplies these together. Now the punchline: if the ant walks inside a level curve , its height never changes, so the left side is 0 . Therefore ∇ f ⋅ r ′ = 0 — a zero dot product — so ∇ f ⊥ r ′ . That is the whole theorem, and it needed every symbol above.
This same dot product is also the definition of the Directional Derivative D u f = ∇ f ⋅ u , which is zero exactly along the level curve.
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
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
What does f : R 2 → R mean in plain words? A machine taking a point ( x , y ) and returning one number — a height above the floor.
What is a level curve f ( x , y ) = c ? All floor-spots at the same fixed height c — a contour line where f does not change.
How do you compute f x ? Freeze y as a constant and differentiate f with respect to x .
What is ∇ f and where does it live? The vector ( f x , f y ) of partials; it lives on the input floor and points toward steepest increase.
What does a ⋅ b = 0 tell you? The two (nonzero) arrows are perpendicular, because cos 9 0 ∘ = 0 .
Compute ( 6 , 8 ) ⋅ ( − 4 , 3 ) . − 24 + 24 = 0 , so they are perpendicular.
What is r ′ ( t ) for a curve r ( t ) ? The velocity/tangent arrow, pointing along the direction of motion.
State the multivariable chain rule for d t d f ( r ( t )) . ∇ f ( r ( t )) ⋅ r ′ ( t ) .
Why is ∇ f = ( 0 , 0 ) a special case? It is a critical (flat) point; its dot product with everything is 0 , so "perpendicular" is undefined there.