Bourbaki

Lemma

Tag 085O, permanent. Cite it as [Bourbaki, Tag 085O].

Functions of a Real Variable, chapter I, § 4. CONVEX FUNCTIONS OF A REAL VARIABLE

Let A=(a,a′)A = (a, a'), B=(b,b′)B = (b, b'), C=(c,c′)C = (c, c') be three points in R2\mathbf{R}^2 such that a<b<ca < b < c. The following statements are equivalent:

a) B is below AC; b) C lies above the line passing through A and B; c) A is above the line passing through B and C; d) p(AB)≤p(AC)p(AB) \leq p(AC); e) p(AC)≤p(BC)p(AC) \leq p(BC).

The lemma still holds when one replaces "above" (resp. "below") by "strictly above" (resp. "strictly below") and the sign ≤\leq by < (fig. 1).

!Graph showing points A, B, C, and segments labeled with x values a, b, c

Fig. 1

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.