Исследуйте поведение центров тяжести и центров описанных окружностей при непрерывной деформации выпуклого многоугольника под условием сохранения периметра; какие функции координат центров непрерывны/дифференцируемы
Коротко и по существу. 1) Центр тяжести (центroid площади) выпуклого n‑угольника. Пусть вершины в порядке обхода имеют координаты (xi,yi)(x_i,y_i)(xi,yi), i=1,…,ni=1,\dots,ni=1,…,n, xn+1=x1x_{n+1}=x_1xn+1=x1, yn+1=y1y_{n+1}=y_1yn+1=y1. Площадь и координаты центра заданы привычными алгебраическими формулами A=12∑i=1n(xiyi+1−xi+1yi),
A=\tfrac12\sum_{i=1}^n (x_i y_{i+1}-x_{i+1} y_i), A=21i=1∑n(xiyi+1−xi+1yi),Cx=16A∑i=1n(xi+xi+1)(xiyi+1−xi+1yi),Cy=16A∑i=1n(yi+yi+1)(xiyi+1−xi+1yi).
C_x=\frac{1}{6A}\sum_{i=1}^n (x_i+x_{i+1})(x_i y_{i+1}-x_{i+1} y_i),\qquad C_y=\frac{1}{6A}\sum_{i=1}^n (y_i+y_{i+1})(x_i y_{i+1}-x_{i+1} y_i). Cx=6A1i=1∑n(xi+xi+1)(xiyi+1−xi+1yi),Cy=6A1i=1∑n(yi+yi+1)(xiyi+1−xi+1yi).
Эти выражения — рационально‑полиномиальные функции от координат вершин, т.е. аналитические при условии A≠0A\neq0A=0. Для выпуклого многоугольника A>0A>0A>0, поэтому при непрерывной деформации, сохраняющей выпуклость (и тем самым ненулевую площадь), координаты центра тяжести зависят непрерывно и даже C∞C^\inftyC∞ (реально аналитически) от координат вершин. Если деформация задаётся параметром ttt и вершины (xi(t),yi(t))(x_i(t),y_i(t))(xi(t),yi(t)) зависят от ttt непрерывно (или дифференцируемо), то и Cx(t),Cy(t)C_x(t),C_y(t)Cx(t),Cy(t) зависят от ttt непрерывно (соответственно дифференцируемо). Фиксация периметра P=∑ℓiP=\sum\ell_iP=∑ℓi (непрерывное ограничение) не разрушает этого вывода: центр тяжести — композиция гладких функций, поэтому на множестве выпуклых n‑угольников с фиксированным периметром координаты центра тяжести остаются непрерывными и гладкими вдоль любых гладких (или непрерывных) путей деформации, пока полигон не вырождается. 2) Центр описанной окружности. Тут нужно различать случаи. - Если полигон цикличен (все вершины лежат на одной окружности), то существует единственный центр описанной окружности. Центр — центр окружности, проходящей через три любых негде коллинеарные вершины. Для трёх точек A(x1,y1),B(x2,y2),C(x3,y3)A(x_1,y_1),B(x_2,y_2),C(x_3,y_3)A(x1,y1),B(x2,y2),C(x3,y3) координаты окружности выражаются рационально: D=2det(x1y11x2y21x3y31),
D=2\det\begin{pmatrix} x_1 & y_1 & 1\\ x_2 & y_2 & 1\\ x_3 & y_3 & 1\end{pmatrix}, D=2detx1x2x3y1y2y3111,Ox=det(x12+y12y11x22+y22y21x32+y32y31)D,Oy=det(x1x12+y121x2x22+y221x3x32+y321)D.
O_x=\frac{\det\begin{pmatrix} x_1^2+y_1^2 & y_1 & 1\\ x_2^2+y_2^2 & y_2 & 1\\ x_3^2+y_3^2 & y_3 & 1\end{pmatrix}}{D},\qquad O_y=\frac{\det\begin{pmatrix} x_1 & x_1^2+y_1^2 & 1\\ x_2 & x_2^2+y_2^2 & 1\\ x_3 & x_3^2+y_3^2 & 1\end{pmatrix}}{D}. Ox=Ddetx12+y12x22+y22x32+y32y1y2y3111,Oy=Ddetx1x2x3x12+y12x22+y22x32+y32111.
Это рациональные функции от координат вершин с общим знаменателем DDD. Следовательно, при циклической деформации, которая сохраняет ненулевой DDD (т.е. никакие три выбранные опорные вершины не становятся коллинеарными), координаты центра описанной окружности зависят непрерывно и дифференцируемо (гладко). Но если polygon теряет цикличность (перестаёт быть вписанным), центр описанной окружности перестаёт существовать; при приближении к вырождению (три вершины почти коллинеарны) знаменатель D→0D\to0D→0 и центр может «убегать» в бесконечность — разрыв/сингулярность. - Для общего невписываемого выпуклого многоугольника единой описанной окружности нет, поэтому понятие «центр описанной окружности многоугольника» неприменимо; можно рассматривать центры описанных окружностей треугольников, составленных из трёх вершин (они зависят плавно от вершин, пока треугольник невырожден). Выводы/итоги: - Центр тяжести (площади выпуклого многоугольника) — непрерывная и даже гладкая функция от координат вершин при сохранении невырожденности (выпуклости); то же при деформациях с фиксированным периметром. - Центр описанной окружности (если полигон вписан) — непрерывная/дифференцируемая функция вдоль циклической деформации пока круг не вырождается (нет коллинеарных троек); при потере вписанности центр теряет смысл, при приближении к вырождению возможны разрывы/убегание в бесконечность. - В частных случаях (например, треугольник) формулы просты: центр тяжести G=(x1+x2+x33,y1+y2+y33)G=(\tfrac{x_1+x_2+x_3}{3},\tfrac{y_1+y_2+y_3}{3})G=(3x1+x2+x3,3y1+y2+y3) — всюду гладок; центр описанной окружности гладок при ненулевом DDD, сингуляр при D=0D=0D=0. Если нужна более точная характеристика регулярности на многообразии вершин с условием фиксированного периметра (например, доказывать гладкость как функции на этом многообразии через неявную функцию), могу дать краткую ИФТ‑аргументацию.
1) Центр тяжести (центroid площади) выпуклого n‑угольника. Пусть вершины в порядке обхода имеют координаты (xi,yi)(x_i,y_i)(xi ,yi ), i=1,…,ni=1,\dots,ni=1,…,n, xn+1=x1x_{n+1}=x_1xn+1 =x1 , yn+1=y1y_{n+1}=y_1yn+1 =y1 . Площадь и координаты центра заданы привычными алгебраическими формулами
A=12∑i=1n(xiyi+1−xi+1yi), A=\tfrac12\sum_{i=1}^n (x_i y_{i+1}-x_{i+1} y_i),
A=21 i=1∑n (xi yi+1 −xi+1 yi ), Cx=16A∑i=1n(xi+xi+1)(xiyi+1−xi+1yi),Cy=16A∑i=1n(yi+yi+1)(xiyi+1−xi+1yi). C_x=\frac{1}{6A}\sum_{i=1}^n (x_i+x_{i+1})(x_i y_{i+1}-x_{i+1} y_i),\qquad
C_y=\frac{1}{6A}\sum_{i=1}^n (y_i+y_{i+1})(x_i y_{i+1}-x_{i+1} y_i).
Cx =6A1 i=1∑n (xi +xi+1 )(xi yi+1 −xi+1 yi ),Cy =6A1 i=1∑n (yi +yi+1 )(xi yi+1 −xi+1 yi ). Эти выражения — рационально‑полиномиальные функции от координат вершин, т.е. аналитические при условии A≠0A\neq0A=0. Для выпуклого многоугольника A>0A>0A>0, поэтому при непрерывной деформации, сохраняющей выпуклость (и тем самым ненулевую площадь), координаты центра тяжести зависят непрерывно и даже C∞C^\inftyC∞ (реально аналитически) от координат вершин. Если деформация задаётся параметром ttt и вершины (xi(t),yi(t))(x_i(t),y_i(t))(xi (t),yi (t)) зависят от ttt непрерывно (или дифференцируемо), то и Cx(t),Cy(t)C_x(t),C_y(t)Cx (t),Cy (t) зависят от ttt непрерывно (соответственно дифференцируемо).
Фиксация периметра P=∑ℓiP=\sum\ell_iP=∑ℓi (непрерывное ограничение) не разрушает этого вывода: центр тяжести — композиция гладких функций, поэтому на множестве выпуклых n‑угольников с фиксированным периметром координаты центра тяжести остаются непрерывными и гладкими вдоль любых гладких (или непрерывных) путей деформации, пока полигон не вырождается.
2) Центр описанной окружности. Тут нужно различать случаи.
- Если полигон цикличен (все вершины лежат на одной окружности), то существует единственный центр описанной окружности. Центр — центр окружности, проходящей через три любых негде коллинеарные вершины. Для трёх точек A(x1,y1),B(x2,y2),C(x3,y3)A(x_1,y_1),B(x_2,y_2),C(x_3,y_3)A(x1 ,y1 ),B(x2 ,y2 ),C(x3 ,y3 ) координаты окружности выражаются рационально:
D=2det(x1y11x2y21x3y31), D=2\det\begin{pmatrix} x_1 & y_1 & 1\\ x_2 & y_2 & 1\\ x_3 & y_3 & 1\end{pmatrix},
D=2det x1 x2 x3 y1 y2 y3 111 , Ox=det(x12+y12y11x22+y22y21x32+y32y31)D,Oy=det(x1x12+y121x2x22+y221x3x32+y321)D. O_x=\frac{\det\begin{pmatrix} x_1^2+y_1^2 & y_1 & 1\\ x_2^2+y_2^2 & y_2 & 1\\ x_3^2+y_3^2 & y_3 & 1\end{pmatrix}}{D},\qquad
O_y=\frac{\det\begin{pmatrix} x_1 & x_1^2+y_1^2 & 1\\ x_2 & x_2^2+y_2^2 & 1\\ x_3 & x_3^2+y_3^2 & 1\end{pmatrix}}{D}.
Ox =Ddet x12 +y12 x22 +y22 x32 +y32 y1 y2 y3 111 ,Oy =Ddet x1 x2 x3 x12 +y12 x22 +y22 x32 +y32 111 . Это рациональные функции от координат вершин с общим знаменателем DDD. Следовательно, при циклической деформации, которая сохраняет ненулевой DDD (т.е. никакие три выбранные опорные вершины не становятся коллинеарными), координаты центра описанной окружности зависят непрерывно и дифференцируемо (гладко). Но если polygon теряет цикличность (перестаёт быть вписанным), центр описанной окружности перестаёт существовать; при приближении к вырождению (три вершины почти коллинеарны) знаменатель D→0D\to0D→0 и центр может «убегать» в бесконечность — разрыв/сингулярность.
- Для общего невписываемого выпуклого многоугольника единой описанной окружности нет, поэтому понятие «центр описанной окружности многоугольника» неприменимо; можно рассматривать центры описанных окружностей треугольников, составленных из трёх вершин (они зависят плавно от вершин, пока треугольник невырожден).
Выводы/итоги:
- Центр тяжести (площади выпуклого многоугольника) — непрерывная и даже гладкая функция от координат вершин при сохранении невырожденности (выпуклости); то же при деформациях с фиксированным периметром.
- Центр описанной окружности (если полигон вписан) — непрерывная/дифференцируемая функция вдоль циклической деформации пока круг не вырождается (нет коллинеарных троек); при потере вписанности центр теряет смысл, при приближении к вырождению возможны разрывы/убегание в бесконечность.
- В частных случаях (например, треугольник) формулы просты: центр тяжести G=(x1+x2+x33,y1+y2+y33)G=(\tfrac{x_1+x_2+x_3}{3},\tfrac{y_1+y_2+y_3}{3})G=(3x1 +x2 +x3 ,3y1 +y2 +y3 ) — всюду гладок; центр описанной окружности гладок при ненулевом DDD, сингуляр при D=0D=0D=0.
Если нужна более точная характеристика регулярности на многообразии вершин с условием фиксированного периметра (например, доказывать гладкость как функции на этом многообразии через неявную функцию), могу дать краткую ИФТ‑аргументацию.