Math 2.0

Real functions Proof

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.

  1. Let x<y<zx < y < z be points of II. Put t=z−yz−xt = \dfrac{z - y}{z - x}. Then 0<t<10 < t < 1 and 1−t=y−xz−x1 - t = \dfrac{y - x}{z - x}.
  2. We have tx+(1−t)z=(z−y)x+(y−x)zz−x=y(z−x)z−x=yt x + (1 - t) z = \dfrac{(z - y) x + (y - x) z}{z - x} = \dfrac{y (z - x)}{z - x} = y.
  3. By the definition of a convex function, f(y)≤tf(x)+(1−t)f(z)f(y) \le t f(x) + (1 - t) f(z).
  4. Multiplying by z−x>0z - x > 0 gives (z−x)f(y)≤(z−y)f(x)+(y−x)f(z)(z - x) f(y) \le (z - y) f(x) + (y - x) f(z). Call this inequality (∗)(\ast).
  5. Subtract (z−x)f(x)(z - x) f(x) from both sides of (∗)(\ast). Since (z−y)−(z−x)=−(y−x)(z - y) - (z - x) = -(y - x), we get (z−x)(f(y)−f(x))≤(y−x)(f(z)−f(x))(z - x)(f(y) - f(x)) \le (y - x)(f(z) - f(x)).
  6. Dividing by (z−x)(y−x)>0(z - x)(y - x) > 0 gives f(y)−f(x)y−x≤f(z)−f(x)z−x\dfrac{f(y) - f(x)}{y - x} \le \dfrac{f(z) - f(x)}{z - x}.
  7. Subtract (z−x)f(z)(z - x) f(z) from both sides of (∗)(\ast). Since (y−x)−(z−x)=−(z−y)(y - x) - (z - x) = -(z - y), we get (z−x)(f(y)−f(z))≤(z−y)(f(x)−f(z))(z - x)(f(y) - f(z)) \le (z - y)(f(x) - f(z)).
  8. Multiplying by −1-1 reverses the inequality: (z−x)(f(z)−f(y))≥(z−y)(f(z)−f(x))(z - x)(f(z) - f(y)) \ge (z - y)(f(z) - f(x)).
  9. Dividing by (z−x)(z−y)>0(z - x)(z - y) > 0 gives f(z)−f(x)z−x≤f(z)−f(y)z−y\dfrac{f(z) - f(x)}{z - x} \le \dfrac{f(z) - f(y)}{z - y}.
  10. Steps 6 and 9 together are the two claimed inequalities.

Idea

The point yy splits [x,z][x, z] in the ratio of the weights tt and 1−t1 - t. Convexity says the graph at yy lies below the chord from xx to zz. Seen from xx, this makes the chord to yy less steep. Seen from zz, it makes the chord from yy 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex function definition
  2. Proof that slopes of a convex function are increasing proof

Where this leads

120 pages build on this one.

Further reading

  1. Web https://proofwiki.org/wiki/Equivalence_of_Definitions_of_Convex_Real_Function
About this page
TagYQRMB9HE0Q
URIm2://YQRMB9HE0Q
Kindproof
WritingW0 stub
MSC26A51
ProvesSlopes of a convex function are increasing
UsesConvex function
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)
  • 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.