Bourbaki

Exercise 12, § 4

Functions of a Real Variable, I, p. 52

Bourbaki marks this one as harder than the rest.

Let ff be a numerical function continuous in an open interval I⊂RI \subset \mathbf{R}; suppose that, for every pair (a,b)(a, b) of points of II such that a<ba < b, the graph of ff is either wholly above or wholly below the segment MaMbM_aM_b in the interval [a,b][a, b]. Prove that ff is convex in all of II or concave in all of II (if, in ]a,b[]a, b[, there exists a point cc such that McM_c is strictly above the segment MaMbM_aM_b prove that for every x∈Ix \in I such that x>ax > a, the graph of ff is above the segment MaMxM_aM_x in the interval [a,x][a, x]).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.