Proof that slopes of a convex function are increasing
Builds on Convex function
Proof
We write the middle point as a convex combination of the outer points and rearrange the convexity inequality.
- Let be points of . Put . Then and .
- We have .
- By the definition of a convex function, .
- Multiplying by gives . Call this inequality .
- Subtract from both sides of . Since , we get .
- Dividing by gives .
- Subtract from both sides of . Since , we get .
- Multiplying by reverses the inequality: .
- Dividing by gives .
- Steps 6 and 9 together are the two claimed inequalities.
Idea
The point splits in the ratio of the weights and . Convexity says the graph at lies below the chord from to . Seen from , this makes the chord to less steep. Seen from , it makes the chord from steeper.
Reading path
To understand this page from the ground up, read these 2 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Convex function definition
- Proof that slopes of a convex function are increasing proof
Where this leads
120 pages build on this one.
- A differentiable function is convex iff its derivative is increasing
- Euler–Mascheroni constant
- The logarithm grows slower than any power
- Volume of a ball in R^n
- A convex function on an open interval is continuous
- 1 + x is at most exp x
- log x is at most x - 1
- Harmonic numbers grow like log n
- Young's inequality for products
- Derivative of the logarithm
- Power series of the complex logarithm
- Hölder's inequality for sums
- Slopes of a convex function are increasing
- Euler product formula
- Impossibility of doubling the cube
- The exponential function is convex
- Basel problem
- Impossibility of trisecting the angle
- The gamma function extends the factorial
- Logarithm of a quotient
- Euler method
- Integral of 1/x
- Logarithm of a product
- Stirling's formula
- Derivative of x^a
- Quadratic formula
- Discrete Grönwall inequality
- Second Borel–Cantelli lemma
- The constructible numbers form a field closed under square roots
- Logarithm is the inverse of the exponential
- The degree of a constructible number is a power of two
- Logarithm of a power
- Improper integral of x^p on an unbounded interval
- Integration by partial fractions
- Volume of a ball in R^3
- Hoeffding's inequality
- Impossibility of squaring the circle
- Poisson limit theorem
- The principal logarithm is holomorphic off the branch cut
- Gauss–Wantzel theorem
- Existence of nth roots of complex numbers
- Mercator series
- A function with nonnegative second derivative is convex
- p-series test
- The logarithm is strictly concave
- Proof of the impossibility of doubling the cube
- Proof that a function with nonnegative second derivative is convex
- Proof of the logarithm of a power
- Proof that log x is at most x - 1
- Hellinger–Reissner principle
- Proof of the impossibility of squaring the circle
- Riemann zeta function as a series
- Proof of Young's inequality for products
- Céa's lemma
- Weierstrass product for the gamma function
- Littlewood–Paley inequality
- Vanishing mean oscillation
- Gagliardo–Nirenberg interpolation inequality
- Mertens' theorems
- Method of lines
- Proof that the constructible numbers form the smallest subfield of the complex numbers closed under square roots
- Proof that the logarithm is strictly concave
- Finite element method in structural mechanics
- Lax–Milgram theorem
- McDiarmid's inequality
- Proof that the logarithm is the inverse of the exponential
- Minimum total potential energy principle
- Proof of the derivative of the logarithm by the inverse function rule
- Linear multistep method
- Proof of the discrete Grönwall inequality
- Proof of Hoeffding's inequality via Hoeffding's lemma and the Chernoff bound
- Stiff equation
- Sobolev inequality
- Azuma's inequality
- Proof of the logarithm of a quotient
- Non-vanishing of the zeta function on the line Re s = 1
- Euler–Maruyama method
- Proof that the degree of a constructible number is a power of two
- Proof that a differentiable function is convex iff its derivative is increasing
- Proof that the principal logarithm is holomorphic off the branch cut
- Proof that the logarithm grows slower than any power
- Proof of the Euler product formula
- Comparison sort lower bound
- Sackur–Tetrode equation
- Proof of Hölder's inequality for sums
- Hardy–Littlewood–Sobolev inequality
- Proof of the existence of nth roots of complex numbers
- Runge–Kutta methods
- Proof of the power series of the complex logarithm
- Hölder's inequality
- Poincaré inequality
- Proof of the volume of a ball in R^n by slicing
- Korn's inequality
- Duality of Lp spaces
- Galerkin method
- Minkowski inequality
- Proof of the second Borel–Cantelli lemma
- Symplectic integrator
- Proof of the Poisson limit theorem
- Proof of the volume of a ball in R^3 from the n-dimensional formula
- Proof of the impossibility of trisecting the angle
- Proof that harmonic numbers grow like log n
- Proof of the derivative of x^a by the chain rule
- Hu–Washizu principle
- Heun's method
- Proof that a convex function on an open interval is continuous
- Ladyzhenskaya–Babuška–Brezzi condition
- Proof of Stirling's formula by a monotone sequence and the Wallis product
- Trigonometric integrals
- Basel problem via Fourier series
- Proof of the Gauss–Wantzel theorem
- Proof of the Mercator series by term-by-term differentiation and Abel's theorem
- Proof that the gamma function extends the factorial
- Impossibility of the classical construction problems
- Proof of the p-series test by Cauchy condensation
- Barnes G-function
- Proof of the logarithm of a product
- Rellich–Kondrachov theorem
- Proof of the integral of 1/x
- Morrey's inequality
Further reading
About this page
| Tag | YQRMB9HE0Q |
|---|---|
| URI | m2://YQRMB9HE0Q |
| Kind | proof |
| Writing | W0 stub |
| MSC | 26A51 |
| Proves | Slopes of a convex function are increasing |
| Uses | Convex function |
| 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)
- a source with a locator (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.