В книге <Расположение на плоскости, на сфере и в пространстве> Тот Фейеш писал(а):
имеем:
![$\lim\limits_{R\to\infty}^{}\frac{\sum\limits_{R}^{}(8K_i-S_i)}{K(R)}=\lim\limits_{R\to\infty}^{}\frac{\sum\limits_{R}^{}(8\pi-S_i)}{K(R)}=8$ $\lim\limits_{R\to\infty}^{}\frac{\sum\limits_{R}^{}(8K_i-S_i)}{K(R)}=\lim\limits_{R\to\infty}^{}\frac{\sum\limits_{R}^{}(8\pi-S_i)}{K(R)}=8$](https://dxdy-04.korotkov.co.uk/f/7/d/d/7dd7558be7ce9522d712f2b8747c50a082.png)
,
откуда учитывая, что
![$S_i \geqslant S(6)=8\pi-12\sqrt{3}$ $S_i \geqslant S(6)=8\pi-12\sqrt{3}$](https://dxdy-01.korotkov.co.uk/f/4/4/d/44d58d9253d5e1535c15a5ea94c6c09182.png)
,
получим требуемое неравенство:
![$\lim\limits_{R\to\infty}^{}\frac{\sum\limits_{R}^{}\pi}{K(R)}\leqslant\frac{2\pi}{\sqrt{27}}$ $\lim\limits_{R\to\infty}^{}\frac{\sum\limits_{R}^{}\pi}{K(R)}\leqslant\frac{2\pi}{\sqrt{27}}$](https://dxdy-03.korotkov.co.uk/f/2/4/0/240a07c277b02f4e5f48a2f04e87612982.png)
.
(здесь)
сам предел - плотность покрытия плоскости равными кругами единичного радиуса,
![$K_i -$ $K_i -$](https://dxdy-01.korotkov.co.uk/f/8/b/a/8ba48984efe2d165d7044e141f68d14482.png)
площадь
![$ i $ $ i $](https://dxdy-01.korotkov.co.uk/f/8/f/c/8fceb32bd3f6803b77bbe1b1758a60b682.png)
-ой единичной окружности,
![$K(R)$ $K(R)$](https://dxdy-03.korotkov.co.uk/f/e/f/7/ef797edf0bddd6a7f7121fb92fb1cd6782.png)
-площадь окружности радиуса
![$R$ $R$](https://dxdy-02.korotkov.co.uk/f/1/e/4/1e438235ef9ec72fc51ac5025516017c82.png)
,
![$S_i$ $S_i$](https://dxdy-02.korotkov.co.uk/f/d/2/8/d28140eda2d12e24b434e011b930fa2382.png)
-сумма площадей круговых двуугольников.
Не понятно
![facepalm :facepalm:](./images/smilies/facepalm.gif)
как пришли к последнему неравенству?
Ведь если формально подставить в первый предел
![$S(6)$ $S(6)$](https://dxdy-04.korotkov.co.uk/f/7/9/0/7904008ad22588d69f58ee3996092dda82.png)
, то
![$8\pi$ $8\pi$](https://dxdy-02.korotkov.co.uk/f/9/5/2/9527b4a43f7cfe934493030dcd65324682.png)
сократиться и уже не будет
![$\sum\limits_{R}^{}\pi$ $\sum\limits_{R}^{}\pi$](https://dxdy-04.korotkov.co.uk/f/3/1/1/311dd15d42e4b185654f3408a648764882.png)
в числителе требуемого неравенства.
(Изображение из книги <Тот Фейеш Расположение на плоскости, на сфере и в пространстве>)