Proof that the gradient points in the direction of steepest ascent
Builds on Derivative gives the directional derivativesDirectional derivativeGradientCauchy–Schwarz inequalityEuclidean space
Proof
We write the directional derivative as a dot product with the gradient and compare it with its largest possible value.
- Let , and be as in the statement. Put , so . Let with , and put , a unit vector.
- Since the derivative gives the directional derivatives, the directional derivative exists and equals .
- By the definition of the gradient, . So .
- By the Cauchy–Schwarz inequality in Euclidean space, . So .
- Expanding the dot product, .
- In the same way, .
- By steps 3 and 5, holds if and only if , that is, if and only if .
- By steps 3 and 6, holds if and only if , that is, if and only if .
- So the upper bound is attained exactly at , and the lower bound exactly at .
Idea
The slope of in a unit direction is the dot product . A dot product with a fixed vector is largest when points the same way as that vector, and smallest when it points the opposite way. The identity for unit vectors makes the cases of equality exact.
Reading path
To understand this page from the ground up, read these 86 pages in order. The foundations come first. The path takes the proofs Proof that a complex number times its conjugate is the square of its modulus, Proof of the Cauchy–Schwarz inequality, Proof of the equality of complex numbers, Proof that the reals form an ordered field, with the Cauchy sequence construction, Proof that the absolute value is multiplicative, Proof of the existence of square roots of nonnegative reals, Proof that the derivative gives the directional derivatives.
- Complex numbers object
- Complex numbers as pairs of reals concept
- Construction of the reals from Cauchy sequences concept
- Element definition
- Euclidean space object
- Function concept
- Imaginary unit object
- Inner product concept
- Inner product space concept
- Integers object
- Norm induced by an inner product concept
- Ordered field definition
- Proposition concept
- Rational numbers object
- Real numbers object
- Set bounded above definition
- Vector space definition
- Real and imaginary parts definition
- Set definition
- Having a directional derivative definition
- Function of several variables concept
- Ring of integers statement
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- The reals form a field statement
- Supremum definition
- Inner product definition
- Linear combination definition
- Norm definition
- Complex conjugate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Partial derivative concept
- Union definition
- Limit of a function of several variables concept
- Existential quantifier definition
- Universal quantifier definition
- The rationals form a field statement
- Inner product space definition
- Linear independence definition
- Completeness axiom statement
- Proof of the equality of complex numbers proof
- Cartesian product definition
- Directional derivative definition
- Subset definition
- Union of a family of sets definition
- Differentiable function of several variables definition
- Uniqueness quantifier definition
- The rationals form an ordered field statement
- Norm induced by an inner product definition
- Equality of complex numbers statement
- Binary relation definition
- Topological space definition
- Order on the reals definition
- Gradient definition
- Antisymmetric relation definition
- Reflexive relation definition
- Transitive relation definition
- Function definition
- Preorder definition
- Metric space definition
- Partial order definition
- Open ball definition
- Total order definition
- Metric topology definition
- Open set definition
- Proof that the reals form an ordered field, with the Cauchy sequence construction proof
- Proof that the derivative gives the directional derivatives proof
- The reals form an ordered field statement
- Absolute value definition
- Derivative gives the directional derivatives statement
- Proof of the existence of square roots of nonnegative reals proof
- Proof that the absolute value is multiplicative proof
- Existence of square roots of nonnegative reals statement
- Absolute value is multiplicative statement
- Square root definition
- Modulus of a complex number definition
- Proof that a complex number times its conjugate is the square of its modulus proof
- A complex number times its conjugate statement
- Proof of the Cauchy–Schwarz inequality proof
- Cauchy–Schwarz inequality statement
- Proof that the gradient points in the direction of steepest ascent proof
Where this leads
1 page builds on this one.
Further reading
- Web https://www.jirka.org/ra/realanal2.pdf, Section 8.3.3
- Web https://en.wikipedia.org/wiki/Gradient, Gradient is direction of steepest ascent
About this page
| Tag | 5BFC3R00AF |
|---|---|
| URI | m2://5BFC3R00AF |
| Kind | proof |
| Writing | W0 stub |
| MSC | 26B12 |
| Proves | Gradient points in the direction of steepest ascent |
| Uses | Derivative gives the directional derivatives, Directional derivative, Gradient, Cauchy–Schwarz inequality, Euclidean space |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.