У задачи условие немного странное. Зачем вообще нужен торт, зачем уточнять его замкнутость и выпуклость? У изюминки, как точечной массы, фиксированный вес, а значит их конечное число? Тогда условие можно переформулировать на нахождение гарантированного кол-ва изюминок.
красные точки это изюминки, их всего 10 штук и между ними на самом деле есть какое-то расстояние. Разве существует точка, любой разрез которой гарантирует Маше 4 (округляем
) изюминки?
--
вообще примерно идея док-ва у меня была такая - по индукции показать, что существуют такие
из данных
изюминок-точек, такие что точка разреза гарантирующая
изюминок лежит внутри
мерного тетраэдра, образованного оставшимися
точками. Если лежит, тогда любой разрез гарантирует
изюминку.