Докажите или приведите контрпример: для любого выпуклого многогранника существует разбиение его поверхности на n участков заданной площади так, чтобы каждый участок был геодезически связным и имел диаметр не больше заданной константы d (обсудите зависимость n от d и размеров многогранника)

27 Окт в 14:01
5 +1
0
Ответы
1
Короткий ответ: утверждение в формулировке «для любого многогранника и любых данных (площади участков и константы ddd) это всегда возможно» — в общем неверно. Необходимое и достаточное поведение таково: количество участков nnn обязано быть по порядку величины площади поверхности, делённой на квадрат ddd. Ниже — пояснение и обоснование.
1) Необходимое условие (контрпример).
Любой участок с геодезическим диаметром ≤d\le dd содержится в геодезическом шаре радиуса ddd вокруг любого его пункта, поэтому его площадь не превосходит максимальной площади геодезического шара радиуса ddd на данной поверхности. Для выпуклой поверхности (внутренняя гауссова кривизна ≥0\ge00) из сравнения кругов следует оценка
макс. площадь шара радиуса d≤πd2. \text{макс. площадь шара радиуса }d \le \pi d^2.
макс. площадь шара радиуса dπd2.
Следовательно, если для участков задана площадь AAA и A>πd2A>\pi d^2A>πd2, то ни один участок с диаметром ≤d\le dd такой площади существовать не может — значит разбиение с такими параметрами невозможно. В частности, если поверхность имеет площадь Area⁡(S)\operatorname{Area}(S)Area(S), то обязательно
n≥⌈Area⁡(S)πd2⌉. n \ge \left\lceil \frac{\operatorname{Area}(S)}{\pi d^2}\right\rceil.
nπd2Area(S) .

2) Достаточное утверждение (существование при большом nnn).
Обратно, для любого выпуклого многогранника SSS и любого d>0d>0d>0 существует разбиение поверхности на связные геодезически связные участки диаметра ≤d\le dd, если разрешить nnn достаточно большим. Конструкция (эскиз):
- Разбиение поверхности на мелкую геодезическую триангуляцию с максимальным диаметром треугольников ≪d\ll dd (это можно сделать, поскольку поверхность компактна).
- Каждую требуемую по площади часть собирают как связную композицию соседних мелких треугольников (жадно добавляя треугольники, пока суммарная площадь не приблизится к нужной). Поскольку площади треугольников можно сделать сколь угодно малыми, можно добиться точного соответствия площадям, а границы можно чуть подправить по коротким геодезическим отрезкам, не превышающим заданного ddd, так что диаметр компоненты остаётся ≤d\le dd.
Таким образом существует константа C>0C>0C>0 (универсальная для класса выпуклых поверхностей) такая, что для любой поверхности
n≤CArea⁡(S)d2 n \le C\frac{\operatorname{Area}(S)}{d^2}
nCd2Area(S)
даёт достаточно много участков для построения требуемого разбиения.
3) Вывод — зависимость nnn от ddd и размеров многогранника:
Минимально необходимый порядок величины для nnn пропорционален Area⁡(S)/d2\operatorname{Area}(S)/d^2Area(S)/d2. Точнее,
Area⁡(S)πd2≲n≲CArea⁡(S)d2, \frac{\operatorname{Area}(S)}{\pi d^2}\lesssim n \lesssim C\frac{\operatorname{Area}(S)}{d^2},
πd2Area(S) nCd2Area(S) ,
где левая оценка — фундаментальное препятствие (контрпример для слишком малого nnn), правая — конструктивное утверждение о достижимости при достаточно большом nnn. В частности, если задана фиксированная площадь участков AAA, необходимо и достаточно (в смысле порядка) требовать
A≲d2 A \lesssim d^2
Ad2
(иначе разбиение с ограниченным диаметром невозможно).
Замечание: в отдельных частных ситуациях можно дать более точные константы (для гладких выпуклых поверхностей через теоремы сравнения; для многогранников — учитывая геометрию рёбер и вершин), но общая зависимость остаётся Θ(Area⁡(S)/d2)\Theta(\operatorname{Area}(S)/d^2)Θ(Area(S)/d2).
27 Окт в 19:56
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир