Дан правильный многоугольник с большим числом сторон; предложите асимптотический анализ его диагоналей и углов при количестве сторон стремящемся к бесконечности и обсудите предельные геометрические объекты, которые возникают
Ключевая установка: рассмотрим правильный nnn-угольник вписанный в окружность радиуса RRR (обычная нормировка). Основные асимптотики и предельные объекты: 1. Центральный угол и углы при вершинах - центральный угол между соседними вершинами: θn=2πn\theta_n=\dfrac{2\pi}{n}θn=n2π. - внутренний угол при вершине: ϕn=π−2πn\phi_n=\pi-\dfrac{2\pi}{n}ϕn=π−n2π, поэтому ϕn→π\phi_n\to\piϕn→π и дефицит угла π−ϕn=2πn=O(1/n)\pi-\phi_n=\dfrac{2\pi}{n}=O(1/n)π−ϕn=n2π=O(1/n). 2. Длины сторон и диагоналей - длина стороны: sn=2Rsin πn∼2R πns_n=2R\sin\!\dfrac{\pi}{n}\sim 2R\,\dfrac{\pi}{n}sn=2Rsinnπ∼2Rnπ (точнее sn=2R(π/n+O((1/n)3))s_n=2R(\pi/n+O((1/n)^3))sn=2R(π/n+O((1/n)3))). - диагональ между вершинами, отстоящими на kkk шагов: dn,k=2Rsin πkn.d_{n,k}=2R\sin\!\dfrac{\pi k}{n}.dn,k=2Rsinnπk.
- если kkk фиксировано при n→∞n\to\inftyn→∞: dn,k∼2R πkn=O(1/n)d_{n,k}\sim 2R\,\dfrac{\pi k}{n}=O(1/n)dn,k∼2Rnπk=O(1/n). - если отношение t=limn→∞k/n∈(0,1/2]t=\lim_{n\to\infty}k/n\in(0,1/2]t=limn→∞k/n∈(0,1/2] существует, то dn,k→2Rsin(πt)d_{n,k}\to 2R\sin(\pi t)dn,k→2Rsin(πt) — т.е. предельная длина задаётся хордой окружности с центральным углом 2πt2\pi t2πt. - максимальная длина (при k≈n/2k\approx n/2k≈n/2) стремится к диаметру: maxdn,k→2R\max d_{n,k}\to 2Rmaxdn,k→2R. 3. Геометрические пределы (в терминах границ множеств) - вершины: множество вершин становится плотным в окружности радиуса RRR; замыкание множества вершин = сама окружность. - граница многоугольника (полиго́н как ломаная): в метрике Хаусдорфа граница сходится к окружности радиуса RRR. - заполненный многоугольник (полигон как область): сходится к диску радиуса RRR. - множество всех диагоналей (как отрезков между вершинами): замыкание при n→∞n\to\inftyn→∞ даёт множество всех хорд окружности, а объединение всех хорд = замкнутый диск; поэтому диагонали в пределе «заполняют» диск. 4. Кривизна и распределение угловой деформации - у многоугольника кривизна сосредоточена в вершинах (внешние углы), суммарная кривизна = 2π2\pi2π. - при n→∞n\to\inftyn→∞ эта дискретная мера кривизны слабо сходится к непрерывной мере кривизны окружности: плотность кривизны =1/R=1/R=1/R по длине окружности. 5. Замечания о нормировках - приведённые предельные объекты — при фиксированном RRR. Если вместо RRR фиксировать длину стороны sss, то R∼s n2πR\sim \dfrac{s\,n}{2\pi}R∼2πsn и многоугольник «раздувается» с ростом nnn (диаметры растут как O(n)O(n)O(n)); в этом смысле предельные объекты зависят от нормировки. Коротко: при n→∞n\to\inftyn→∞ правильный nnn-угольник приближает окружность радиуса RRR; центральные углы ∼2π/n\sim 2\pi/n∼2π/n, внутренние углы →π\to\pi→π, длины диагоналей для фиксированного отношения k/n→tk/n\to tk/n→t стремятся к хордовым длинам 2Rsin(πt)2R\sin(\pi t)2Rsin(πt), а множество диагоналей заполняет диск.
1. Центральный угол и углы при вершинах
- центральный угол между соседними вершинами: θn=2πn\theta_n=\dfrac{2\pi}{n}θn =n2π .
- внутренний угол при вершине: ϕn=π−2πn\phi_n=\pi-\dfrac{2\pi}{n}ϕn =π−n2π , поэтому ϕn→π\phi_n\to\piϕn →π и дефицит угла π−ϕn=2πn=O(1/n)\pi-\phi_n=\dfrac{2\pi}{n}=O(1/n)π−ϕn =n2π =O(1/n).
2. Длины сторон и диагоналей
- длина стороны: sn=2Rsin πn∼2R πns_n=2R\sin\!\dfrac{\pi}{n}\sim 2R\,\dfrac{\pi}{n}sn =2Rsinnπ ∼2Rnπ (точнее sn=2R(π/n+O((1/n)3))s_n=2R(\pi/n+O((1/n)^3))sn =2R(π/n+O((1/n)3))).
- диагональ между вершинами, отстоящими на kkk шагов: dn,k=2Rsin πkn.d_{n,k}=2R\sin\!\dfrac{\pi k}{n}.dn,k =2Rsinnπk . - если kkk фиксировано при n→∞n\to\inftyn→∞: dn,k∼2R πkn=O(1/n)d_{n,k}\sim 2R\,\dfrac{\pi k}{n}=O(1/n)dn,k ∼2Rnπk =O(1/n).
- если отношение t=limn→∞k/n∈(0,1/2]t=\lim_{n\to\infty}k/n\in(0,1/2]t=limn→∞ k/n∈(0,1/2] существует, то dn,k→2Rsin(πt)d_{n,k}\to 2R\sin(\pi t)dn,k →2Rsin(πt) — т.е. предельная длина задаётся хордой окружности с центральным углом 2πt2\pi t2πt.
- максимальная длина (при k≈n/2k\approx n/2k≈n/2) стремится к диаметру: maxdn,k→2R\max d_{n,k}\to 2Rmaxdn,k →2R.
3. Геометрические пределы (в терминах границ множеств)
- вершины: множество вершин становится плотным в окружности радиуса RRR; замыкание множества вершин = сама окружность.
- граница многоугольника (полиго́н как ломаная): в метрике Хаусдорфа граница сходится к окружности радиуса RRR.
- заполненный многоугольник (полигон как область): сходится к диску радиуса RRR.
- множество всех диагоналей (как отрезков между вершинами): замыкание при n→∞n\to\inftyn→∞ даёт множество всех хорд окружности, а объединение всех хорд = замкнутый диск; поэтому диагонали в пределе «заполняют» диск.
4. Кривизна и распределение угловой деформации
- у многоугольника кривизна сосредоточена в вершинах (внешние углы), суммарная кривизна = 2π2\pi2π.
- при n→∞n\to\inftyn→∞ эта дискретная мера кривизны слабо сходится к непрерывной мере кривизны окружности: плотность кривизны =1/R=1/R=1/R по длине окружности.
5. Замечания о нормировках
- приведённые предельные объекты — при фиксированном RRR. Если вместо RRR фиксировать длину стороны sss, то R∼s n2πR\sim \dfrac{s\,n}{2\pi}R∼2πsn и многоугольник «раздувается» с ростом nnn (диаметры растут как O(n)O(n)O(n)); в этом смысле предельные объекты зависят от нормировки.
Коротко: при n→∞n\to\inftyn→∞ правильный nnn-угольник приближает окружность радиуса RRR; центральные углы ∼2π/n\sim 2\pi/n∼2π/n, внутренние углы →π\to\pi→π, длины диагоналей для фиксированного отношения k/n→tk/n\to tk/n→t стремятся к хордовым длинам 2Rsin(πt)2R\sin(\pi t)2Rsin(πt), а множество диагоналей заполняет диск.