Intuition The one core idea
To find the top of a hill or the bottom of a valley on a smooth landscape, you look for the single spot where the ground is perfectly flat in every direction . The whole topic is just the machinery for measuring "how tilted is the ground here?" — and that measuring tool is the gradient , which must equal zero at any interior peak or pit.
Before you can read the parent note, you must be able to read its symbols . Below is every piece of notation and every idea it silently assumes, built up one at a time — each one earned before the next uses it. Nothing here assumes you have seen calculus notation before.
f means
f is a rule that eats numbers and spits out one number . We write f ( x ) = "the number you get when you feed x into the machine f ".
Picture a landscape. You stand somewhere, and the machine tells you your height above sea level. In one variable, the input is your position along a path; in two variables, your position on a map.
The parent note needs f because "finding a minimum" means finding the input that makes this height as small as possible.
Definition The number line and its bigger cousins
R = the set of all real numbers — every point on an infinite number line, including fractions and decimals.
R n = a list of n real numbers, i.e. a ==point in n -dimensional space==. R 2 is a flat map (two coordinates x , y ); R 3 is a room.
The arrow notation f : R n → R reads: "f takes an input from n -dimensional space and returns a single real number (one height)."
Intuition Why the topic writes it this way
The parent statement must cover a valley in any number of dimensions at once. R n → R is shorthand for "a height defined over a space of any size" — one theorem, all dimensions.
Reveal check:
f : R 2 → R means the input is...a point ( x , y ) on a 2-D map, and the output is one number (a height).
Definition The star means "the answer"
A plain x is any input. The starred x ∗ is a specific, distinguished input — the location of the optimum we are trying to describe. The star is just a name-tag saying "this one is special."
In the picture of a valley, x ∗ is the floor of the valley: the horizontal position directly under the lowest point.
Definition Three location words
Local minimum : a point that is the lowest compared only to its nearby neighbours , not necessarily the whole world. A dimple on a hillside counts.
Interior point : a point with room to move in every direction — you can step a little in + or − along any axis and still be inside the allowed region.
Boundary point : a point on the edge of the allowed region , where at least one direction is blocked.
Intuition Why the topic cares so much
The whole proof relies on being able to step both ways . That is only possible at an interior point. This is exactly why the parent's "I forgot the boundary" warning exists — the flat-ground argument silently assumes you are not pinned against a wall.
Reveal check:
Why must x ∗ be interior for the argument to work? You must be free to move in both the + and − direction; a boundary blocks one side.
Definition The small step
h
h is a tiny nudge away from a point: from x ∗ you move to x ∗ + h . When h is positive you step right; negative, left.
Definition What a limit is, in words
lim h → 0 ( expression ) asks: ==as the nudge h shrinks toward zero, what value does the expression settle on?== It is the "target" the numbers close in on, not the value at zero (which might be undefined).
Intuition Why a tool for shrinking is needed
The slope of a curve keeps changing. To pin down the slope exactly at one point , we look at the slope of a tiny segment and shrink the segment to nothing. The limit is the machine that performs that shrink cleanly.
The little superscript matters:
h → 0 + means "shrink h toward zero from the positive side " (approach from the right).
h → 0 − means "from the negative side " (approach from the left).
The parent's proof approaches from both sides separately, so this + / − distinction is essential.
Definition Derivative = slope
f ′ ( x ) is the ==slope of the curve f at the point x == — how steeply the height rises or falls if you take an infinitesimal step to the right.
f ′ ( x ) = lim h → 0 h f ( x + h ) − f ( x ) .
Break the fraction down, because every piece is a picture:
this tool and not another?
We want to know "which way is downhill and how steep?" The derivative is precisely the answer: a positive f ′ means uphill-to-the-right, negative means downhill-to-the-right, and zero means flat. That is exactly the flatness the topic is chasing.
Sign meaning (all three cases):
f ′ ( x ) > 0 → curve rising as you go right.
f ′ ( x ) < 0 → curve falling as you go right.
f ′ ( x ) = 0 → curve momentarily flat (top, bottom, or an inflection like x 3 ).
Definition Freeze all but one input
When f has several inputs, the partial derivative ∂ x i ∂ f is the ==slope you feel if you walk only along the x i -axis, keeping every other coordinate frozen==. The curly ∂ (instead of straight d ) warns "other variables are being held still."
Intuition Why we need several of them
On a 2-D landscape "the slope" is ambiguous — steep north-to-south, maybe flat east-to-west. Splitting into one partial per axis lets us measure the tilt one clean direction at a time, then reassemble.
Reveal check:
What does the curly ∂ signal that the straight d does not? That other input variables are being held constant while we differentiate along one axis.
Definition A vector, plainly
A vector is an arrow with a length and a direction . In coordinates we stack its parts in a column, e.g. ( 3 − 2 ) means "3 east, 2 south."
The gradient ∇ f (read "grad f " or "del f ") collects all the partial derivatives into one vector:
∇ f = ∂ x 1 ∂ f ⋮ ∂ x n ∂ f .
Its geometric meaning: it is the arrow pointing in the direction of steepest increase , and its length says how steep that steepest direction is.
Intuition Why the gradient is the star of the whole topic
If any direction is uphill, the gradient arrow points that way and has non-zero length — so you can improve by walking against it. The only way no direction is uphill is if the arrow has zero length : ∇ f = 0 . That single sentence is the entire first-order condition.
The bold zero 0 (with the little bold-face) means the ==zero vector == — an arrow of length zero, pointing nowhere — as opposed to the plain number 0 . This is why the parent writes ∇ f ( x ∗ ) = 0 , not = 0 .
See Gradient and directional derivatives for the full construction.
A unit vector u is an arrow of length exactly 1 . It carries a pure direction with no magnitude, so it answers "which way?" without also answering "how far?"
The dot product a ⋅ b multiplies two vectors into a single number that measures how much they point the same way . Same direction → large positive; perpendicular → zero; opposite → negative.
Definition Directional derivative
D u f ( x ∗ ) = ∇ f ( x ∗ ) ⋅ u is the ==slope you feel walking in the direction u ==. It projects the gradient arrow onto your chosen direction.
Intuition Why this gives the deepest proof
Pick the direction u pointing against the gradient: u = − ∇ f / ∥ ∇ f ∥ (the arrow flipped and shrunk to length 1). The bars ∥ ⋅ ∥ mean length of the vector . Then D u f = − ∥ ∇ f ∥ , a negative number whenever the gradient isn't zero — meaning downhill exists — so you weren't at a minimum. This is the parent's one-line contradiction.
Reveal check:
D u f ( x ∗ ) equals which operation on ∇ f and u ?The dot product ∇ f ( x ∗ ) ⋅ u .
Definition Stationary (critical) point
Any input where ∇ f = 0 . It is a candidate for a max, min, or saddle — flat ground, cause unknown.
Definition Hessian (named here, studied later)
The Hessian is the table of second derivatives — the "curvature" of the surface. It tells max from min from saddle after the gradient has shortlisted a flat point. Full detail in Hessian matrix and second-order conditions ; the trap it resolves lives in Saddle points .
Function f: input to height
Derivative f prime: slope in 1D
Partial derivative: slope along one axis
Vector: arrow with length and direction
Gradient: all slopes in one arrow
Unit vector: pure direction
Interior point: room both ways
Gradient = zero condition
Hessian: classify the candidate
Each foundation above is a prerequisite arrow feeding into the parent: the topic note .
Read every line as a question; only unfold to the parent note once you can answer all of them.
I can say what f : R n → R means in words. f takes a point in n -dimensional space and returns one real number (a height).
I know the difference between 0 and 0 . 0 is the number zero; 0 is the zero vector — an arrow of length zero.
I can describe an interior point and why the topic needs it. A point with room to step in every direction; the proof must move both + h and − h .
I can read lim h → 0 + vs lim h → 0 − . Approach zero from the positive (right) side vs the negative (left) side.
I can state what a derivative measures. The slope of the curve at a point — rise over run as the run shrinks to zero.
I know what the curly ∂ signals. A partial derivative — slope along one axis while other variables are held fixed.
I can say what the gradient ∇ f is geometrically. The arrow pointing in the direction of steepest increase; its length is that steepness.
I can define the dot product in one sentence. A number measuring how much two vectors point the same way.
I can write the directional derivative as a formula. D u f ( x ∗ ) = ∇ f ( x ∗ ) ⋅ u .
I know what a stationary point is and that it is only a candidate. A point with ∇ f = 0 ; it could be a max, min, or saddle.