Midpoint convexity. A set C is midpoint convex if whenever two points a,b are in C, the average or midpoint (a+b)/2 is in C. Obviously a convex set is midpoint convex. It can be proved that under mild conditions midpoint convexity implies convexity. As a simple case, prove that if C is closed and midpoint convex, then C is convex.