Math 2.0

Real functions Proof

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.

  1. Let UU, ff and aa be as in the statement. Put g=∇f(a)g = \nabla f(a), so g≠0g \ne 0. Let u∈ℝnu \in \mathbb{R}^n with ∥u∥=1\|u\| = 1, and put w=g/∥g∥w = g / \|g\|, a unit vector.
  2. Since the derivative gives the directional derivatives, the directional derivative Duf(a)D_u f(a) exists and equals Df(a)(u)Df(a)(u).
  3. By the definition of the gradient, Df(a)(u)=g⋅uDf(a)(u) = g \cdot u. So Duf(a)=g⋅uD_u f(a) = g \cdot u.
  4. By the Cauchy–Schwarz inequality in Euclidean space, ∣g⋅u∣≤∥g∥ ∥u∥=∥g∥|g \cdot u| \le \|g\| \, \|u\| = \|g\|. So −∥g∥≤Duf(a)≤∥g∥-\|g\| \le D_u f(a) \le \|g\|.
  5. Expanding the dot product, ∥u−w∥2=∥u∥2−2 u⋅w+∥w∥2=2−2 g⋅u∥g∥\|u - w\|^2 = \|u\|^2 - 2 \, u \cdot w + \|w\|^2 = 2 - 2 \, \dfrac{g \cdot u}{\|g\|}.
  6. In the same way, ∥u+w∥2=2+2 g⋅u∥g∥\|u + w\|^2 = 2 + 2 \, \dfrac{g \cdot u}{\|g\|}.
  7. By steps 3 and 5, Duf(a)=∥g∥D_u f(a) = \|g\| holds if and only if ∥u−w∥=0\|u - w\| = 0, that is, if and only if u=g/∥g∥u = g / \|g\|.
  8. By steps 3 and 6, Duf(a)=−∥g∥D_u f(a) = -\|g\| holds if and only if ∥u+w∥=0\|u + w\| = 0, that is, if and only if u=−g/∥g∥u = -g / \|g\|.
  9. So the upper bound is attained exactly at u=∇f(a)/∥∇f(a)∥u = \nabla f(a) / \|\nabla f(a)\|, and the lower bound exactly at u=−∇f(a)/∥∇f(a)∥u = -\nabla f(a) / \|\nabla f(a)\|.

Idea

The slope of ff in a unit direction uu is the dot product ∇f(a)⋅u\nabla f(a) \cdot u. A dot product with a fixed vector is largest when uu points the same way as that vector, and smallest when it points the opposite way. The identity ∥u−w∥2=2−2u⋅w\|u - w\|^2 = 2 - 2 u \cdot w 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.

  1. Complex numbers object
  2. Complex numbers as pairs of reals concept
  3. Construction of the reals from Cauchy sequences concept
  4. Element definition
  5. Euclidean space object
  6. Function concept
  7. Imaginary unit object
  8. Inner product concept
  9. Inner product space concept
  10. Integers object
  11. Norm induced by an inner product concept
  12. Ordered field definition
  13. Proposition concept
  14. Rational numbers object
  15. Real numbers object
  16. Set bounded above definition
  17. Vector space definition
  18. Real and imaginary parts definition
  19. Set definition
  20. Having a directional derivative definition
  21. Function of several variables concept
  22. Ring of integers statement
  23. Conjunction definition
  24. Disjunction definition
  25. Implication definition
  26. Predicate definition
  27. The reals form a field statement
  28. Supremum definition
  29. Inner product definition
  30. Linear combination definition
  31. Norm definition
  32. Complex conjugate definition
  33. Empty set object
  34. Family of sets definition
  35. Ordered pair definition
  36. Intersection definition
  37. Partial derivative concept
  38. Union definition
  39. Limit of a function of several variables concept
  40. Existential quantifier definition
  41. Universal quantifier definition
  42. The rationals form a field statement
  43. Inner product space definition
  44. Linear independence definition
  45. Completeness axiom statement
  46. Proof of the equality of complex numbers proof
  47. Cartesian product definition
  48. Directional derivative definition
  49. Subset definition
  50. Union of a family of sets definition
  51. Differentiable function of several variables definition
  52. Uniqueness quantifier definition
  53. The rationals form an ordered field statement
  54. Norm induced by an inner product definition
  55. Equality of complex numbers statement
  56. Binary relation definition
  57. Topological space definition
  58. Order on the reals definition
  59. Gradient definition
  60. Antisymmetric relation definition
  61. Reflexive relation definition
  62. Transitive relation definition
  63. Function definition
  64. Preorder definition
  65. Metric space definition
  66. Partial order definition
  67. Open ball definition
  68. Total order definition
  69. Metric topology definition
  70. Open set definition
  71. Proof that the reals form an ordered field, with the Cauchy sequence construction proof
  72. Proof that the derivative gives the directional derivatives proof
  73. The reals form an ordered field statement
  74. Absolute value definition
  75. Derivative gives the directional derivatives statement
  76. Proof of the existence of square roots of nonnegative reals proof
  77. Proof that the absolute value is multiplicative proof
  78. Existence of square roots of nonnegative reals statement
  79. Absolute value is multiplicative statement
  80. Square root definition
  81. Modulus of a complex number definition
  82. Proof that a complex number times its conjugate is the square of its modulus proof
  83. A complex number times its conjugate statement
  84. Proof of the Cauchy–Schwarz inequality proof
  85. Cauchy–Schwarz inequality statement
  86. Proof that the gradient points in the direction of steepest ascent proof

Where this leads

1 page builds on this one.

Further reading

  1. Web https://www.jirka.org/ra/realanal2.pdf, Section 8.3.3
  2. Web https://en.wikipedia.org/wiki/Gradient, Gradient is direction of steepest ascent
About this page
Tag5BFC3R00AF
URIm2://5BFC3R00AF
Kindproof
WritingW0 stub
MSC26B12
ProvesGradient points in the direction of steepest ascent
UsesDerivative gives the directional derivatives, Directional derivative, Gradient, Cauchy–Schwarz inequality, Euclidean space
Changed4 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.