proof of criterion for convexity II
If was not convex, then there was a point suchthat for some in. Since is continuous, there would be a neighborhood
, of such that for all in this neighborhood. (I.e., was “above” theline segment joining and .) Let .
Using the two points , we constructanother line segment whose equation is given by; we have for. In particular,
(1) |
(One easily verifies .) This contradictshypothesis.
Note that we have tacitly used the fact that for some and for some .