Да, хубава е задачката. Интуитивно е ясно, че можем да балансираме някакви цели тежести във върховете, така че центъра на тежестта им да се приближава колкото искаме до [tex]O[/tex]. Освен това е ясно как да процедираме: първо вземаме реални числа [tex]\alpha, \beta, \gamma[/tex], така че:
(1) [tex]\alpha \vec{OA}+ \beta \vec{OB}+\gamma \vec{OC}=0;\,\,\, 0<\alpha, \beta,\gamma <1[/tex]
След това приближаваме [tex]\alpha, \beta,\gamma[/tex] с рационални числа числа, колкото искаме близко и умножаваме с нещо, за да станат естествени. Това е плана и е прaвилен, но точно тук изниква проблема. Ако приближим [tex]\alpha[/tex] с [tex]\frac{p}{q}[/tex] , е ясно че точността е от порядъка на [tex]\frac{1}{q},[/tex] т.е. за [tex]\forall q,\,\exists p[/tex], така че:
(2) [tex]|\alpha-\frac{p}{q}| \leq \frac{1}{q}[/tex]
Това е елементарно. Сега като умножим (2) по [tex]q[/tex] става:
(3) [tex]|\alpha q -p| \leq 1[/tex]
Приближението вече хич не е малко. Значи, ако искаме да прокараме този подход трябва да апроксимираме[tex]\alpha[/tex] много по-добре: трябва вместо (2) в дясната страна да стои неще много по-малко от [tex]\frac{1}{q}[/tex].
И тук вече е хубаво да знаем следната теорема (на Дирихле?)
Теорема (на Дирихле): Ако [tex]\alpha \in \mathbb{R}[/tex], то за всяко естествено [tex]N[/tex] съществува [tex]q,\, 0<q\leq N[/tex] и цяло [tex]p[/tex], така че:
(4) [tex]|\alpha - \frac{p}{q}| \leq \frac{1}{q\cdot N}[/tex]
Това вече е по-добре, но ние трябва едновременно да апроксимираме и трите: [tex]\alpha, \beta,\gamma[/tex]. Всъщност може да си улесним малко нещата- може да считаме че[tex]\gamma=1[/tex]. И сега ни трябват две рационални [tex]\frac{p_1}{q}, \frac{p_2}{q}[/tex] с един и същ знаменател, така че [tex]|\alpha-\frac{p_1}{q}|[/tex] и [tex]|\beta-\frac{p_2}{q}|[/tex] едовременно са малки- нещо като (4) , но и за двете. Оказва се че това може да се направи, но с [tex]\sqrt{N}[/tex] на мястото на [tex]N[/tex].
По подробно вижте тук:
http://www.artofproblemsolving.com/Foru ... 1#p2810081Всъщност идеята на тази задача в арт-а и официалното решение на турнира за купата на декана, използват една и съща идея- като в теоремата на Дирихле, но в равнината.
И така 4-та и 5-та са си хубави задачи. Някой по-горе каза, че нивото е слабо- не съм съгласен, задачите според мен са добре подбрани. И си мисля, че ако не се знае теорията, която помага да решим 4-та и 5-та, е доста трудничко да направим това онлайн в рамките на състезанието.