от drago » 28 Яну 2019, 19:58
Задача 9.4. Условието е в горния пост.
Нека $a_i=OA_i,i=1,2,\dots,m$ and $\alpha_i=\angle A_iOA_{i+1}$. Като използваме условието за лицата на триъгълниците получаваме:
$$a_ia_{i+1}\sin \alpha_i=2S_{OA_iA_{i+1}}\leq 1 $$
$$\sin\alpha_i \leq \frac{1}{a_i a_{i+1}}$$
$$\sum_{i=1}^{m-1}\sin\alpha_i \leq \sum_{i=1}^{m-1} \frac{1}{a_i a_{i+1}}$$
От $a_i>1$ следва $\sin\alpha_i<\frac{1}{2}$ или $\alpha_i<\frac{\pi}{6}$. От тук $\sin\alpha_i>\frac{1/2}{\pi/6}x$, защото $\sin x$ е вдлъбната (в $[0,\pi/6]$). И така, $\sin\alpha_i>0.95\alpha_i,i=1,2,\dots,m-1$, и получаваме:
$$(1)\,\,\,\,\,\,\,\,\,\,0.95\cdot \frac{\pi}{4}=0.95\cdot\sum_{i=1}^{m-1}\alpha_i < \sum_{i=1}^{m-1} \frac{1}{a_i a_{i+1}}$$
Да допуснем за момент, че мишките не могат да спечелят играта, както и да играят. Да подредим $a_i$ в нарастващ ред $b_1\leq b_2\leq\dots \leq b_m$. Ключовата идея, която разплита задачата, е да забележим, че
$$(2)\,\,\,\,\,\,\,\,\,\, b_i>i\,,\,i=1,2,\dots,m$$
За да се убедим, че това е така, да допуснем, че за някое $i, 1\leq i\leq m$ е изпълнено $b_i\leq i$. Т.е. имаме група $M$ от $i$ на брой мишки на разстояние от центъра по-малъко или равно на $i$. Ако мишките спазват правилото да се делят, така че всеки път да включват във всяка група приблизителен равен брой от мишките в $M$, ще могат да издържат на поне $k:=\lfloor \log_2 i\rfloor$ рунда, докато остане само една от тях. И тъй като тази последната първоначално е била на разстояние степен на $2$, но не повече от $i$ от т. $O$, то след $k$ рунда ще бъде на разстояние най-много $1$ от $O$.
И така, за да не спечелят мишките трябва да е в сила $(2)$. От т.н. rearrangement inequality за редицата $\frac{1}{2},\frac{1}{3},\dots,\frac{1}{m+1}$, следва:
$$\sum_{i=1}^{m-1} \frac{1}{a_i a_{i+1}}\leq \sum_{i=2}^{m+1} \frac{1}{i^2}<\frac{\pi^2}{6}-1$$
Като комбинирме това с $(1)$, получаваме:
$$0.95\cdot \frac{\pi}{4}<\frac{\pi^2}{6}-1$$
Но просто изчисление показва, че горнотo не е вярно, противоречие. И така мишките могат винаги да спечелят играта.