AKPotW: Замкнутое и выпуклое относительно середины отрезка множество [Выпуклые множества]

Доказательство того, что некоторые свойства на самом деле эквивалентны выпуклости множества. Решение в письменном виде смотрите в блоге!