Всички колекции
EGMO

Evan Chen / EGMO Twitch Solution

59 задачи от базата, подредени за бързо решаване по година или клас. Показаните източници са тези, записани към самите задачи.

15 години1 класаИма видими липси

Избран клас

11-12

Назад към папките

Открити липси за попълване от източника

  • 2025 · 11-12: липсва задача 3, 4
  • 2024 · 11-12: липсва задача 2, 4
  • 2023 · 11-12: липсва задача 2
  • 2022 · 11-12: липсва задача 3
  • 2020 · 11-12: липсва задача 3, 5
  • 2019 · 11-12: липсва задача 3
  • 2018 · 11-12: липсва задача 5
  • 2017 · 11-12: липсва задача 5
  • 2013 · 11-12: липсва задача 5
  • 2012 · 11-12: липсва задача 4

2012

4 задачи

Задача 2

Пълен запис
Условие
Нека nn е положително цяло число. Да се намери най-голямото възможно цяло число mm в зависимост от nn със следното свойство: таблица с mm реда и nn стълба може да се попълни с реални числа така, че за всеки два различни реда[a1,a2,,an]и[b1,b2,,bn][a_1,a_2,\ldots,a_n]\quad\text{и}\quad[b_1,b_2,\ldots,b_n]да е изпълненоmax{a1b1,a2b2,,anbn}=1.\max\{|a_1-b_1|,|a_2-b_2|,\ldots,|a_n-b_n|\}=1.
РешениеОтговорът еm=2n.m=2^n.Конструкцията е непосредствена: вземаме всички 2n2^n реда, чиито координати са само 00 или 11. За два различни такива реда всички координатни разлики са 00 или 11, а поне една от тях е 11, следователно максимумът е точно 11. Остава да докажем, че повече редове не са възможни. Нека M(n)M(n) е най-големият възможен брой редове. Ще докажем с индукция, че M(n)2nM(n)\le2^n. При n=1n=1 твърдението е ясно. За индукционната стъпка разглеждаме първия стълб. Нека rr е най-малката стойност в него. Понеже разстоянието по максимум между всеки два реда е 11, всички стойности в първия стълб лежат в интервала [r,r+1][r,r+1]. Разделяме редовете на две групи: тези с първа координата равна на rr и всички останали. В първата група, ако вземем два различни реда, първите им координати съвпадат, така че максимумът 11 трябва да се достига сред останалите n1n-1 координати. Следователно след изтриване на първия стълб тази група дава допустима таблица с n1n-1 стълба, и има най-много M(n1)M(n-1) реда. Във втората група първите координати са строго по-големи от rr и най-много r+1r+1, затова разликата между първите координати на два реда е строго по-малка от 11. Отново максимумът 11 трябва да се достига сред последните n1n-1 координати, така че и тази група има най-много M(n1)M(n-1) реда. ПолучавамеM(n)M(n1)+M(n1)=2M(n1).M(n)\le M(n-1)+M(n-1)=2M(n-1).По индукция M(n)2nM(n)\le2^n, а конструкцията по-горе показва, че равенство се достига.

Задача 3

Пълен запис
Условие
Да се реши върху R\mathbb R функционалното уравнениеf(yf(x+y)+f(x))=4x+2yf(x+y).f\left(yf(x+y)+f(x)\right)=4x+2yf(x+y).
РешениеЕдинственото решение еf(x)=2x,f(x)=2x,което се проверява директно. Нека P(x,y)P(x,y) означава даденото условие. От P(x,0)P(x,0) получавамеf(f(x))=4x.f(f(x))=4x.Следователно ff е биекция: тя е сюрективна, защото всяко реално число е от вида 4x4x, и е инективна, защото от f(a)=f(b)f(a)=f(b) следва f(f(a))=f(f(b))f(f(a))=f(f(b)), тоест 4a=4b4a=4b. Освен товаf(4x)=f(f(f(x)))=4f(x).f(4x)=f(f(f(x)))=4f(x).При x=0x=0 това дава f(0)=4f(0)f(0)=4f(0), значи f(0)=0f(0)=0. Сега прилагаме P(0,2)P(0,2). Получавамеf(2f(2))=4f(2).f(2f(2))=4f(2).От вече доказаното равенство f(4x)=4f(x)f(4x)=4f(x) дясната страна е f(8)f(8). Понеже ff е инективна, следва2f(2)=8,2f(2)=8,тоест f(2)=4f(2)=4. Прилагаме и P(0,1)P(0,1):f(f(1))=2f(1).f(f(1))=2f(1).Но от f(f(1))=4f(f(1))=4 получаваме f(1)=2f(1)=2. Накрая вземаме P(x,1x)P(x,1-x). Тъй като x+(1x)=1x+(1-x)=1 и f(1)=2f(1)=2, имамеf(2(1x)+f(x))=4x+2(1x)f(1)=4.f\left(2(1-x)+f(x)\right)=4x+2(1-x)f(1)=4.А понеже f(2)=4f(2)=4 и ff е инективна, следва2(1x)+f(x)=2.2(1-x)+f(x)=2.Следователно f(x)=2xf(x)=2x за всяко реално xx, както трябваше да се докаже.

Задача 5

Пълен запис
Условие
Простите числа pp и qq удовлетворяватpp+1+q+1q=2nn+2\frac{p}{p+1}+\frac{q+1}{q}=\frac{2n}{n+2}за някое положително цяло число nn. Да се намерят всички възможни стойности на qpq-p.
РешениеОтговорът еqp{2,3,5}.q-p\in\{2,3,5\}.Преобразуваме уравнението:(11p+1)+(1+1q)=24n+2.\left(1-\frac1{p+1}\right)+\left(1+\frac1q\right)=2-\frac4{n+2}.Следователно4n+2=1p+11q=qp1q(p+1).\frac4{n+2}=\frac1{p+1}-\frac1q=\frac{q-p-1}{q(p+1)}.Тъй като nn е положително, лявата страна е положителна, значи qp1>0q-p-1\gt{}0. Оттукn+2=4q(p+1)qp1,n+2=\frac{4q(p+1)}{q-p-1},така чеqp14q(p+1).q-p-1\mid 4q(p+1).Освен това 0<qp1<q0\lt{}q-p-1\lt{}q. Понеже qq е просто число, получавамеqp14(p+1).q-p-1\mid4(p+1).Но тогаваqp14(p+1)+4(qp1)=4q.q-p-1\mid4(p+1)+4(q-p-1)=4q.Отново използваме, че qq е просто и 0<qp1<q0\lt{}q-p-1\lt{}q; следователноqp14.q-p-1\mid4.Значи qp1q-p-1 е едно от 1,2,41,2,4, тоестqp{2,3,5}.q-p\in\{2,3,5\}.Остава да покажем, че трите стойности наистина се достигат. Например двойките(p,q)=(3,5),(2,5),(2,7)(p,q)=(3,5),\quad(2,5),\quad(2,7)дават съответно qp=2,3,5q-p=2,3,5, а формулата за n+2n+2 дава положителни цели стойности на nn. Следователно това са точно всички възможности.

Задача 6

Пълен запис
Условие
В социалната мрежа Mugbook са регистрирани безкрайно много хора. Някои двойки различни потребители са отбелязани като приятели, но всеки човек има само краен брой приятели. Всеки потребител има поне един приятел. Приятелството е симетрично: ако AA е приятел на BB, то BB е приятел на AA. Всеки човек трябва да посочи един от приятелите си като свой най-добър приятел. Ако AA посочи BB за най-добър приятел, не е задължително BB също да посочи AA. Човек, който е посочен за най-добър приятел от някого, се нарича 11-най-добър приятел. По-общо, ако n>1n\gt{}1, потребител е nn-най-добър приятел, ако е посочен за най-добър приятел от някой, който е (n1)(n-1)-най-добър приятел. Човек, който е kk-най-добър приятел за всяко положително цяло число kk, се нарича популярен. (a) Докажете, че всеки популярен човек е най-добрият приятел на популярен човек. (b) Покажете, че ако хората могат да имат безкрайно много приятели, е възможно популярен човек да не е най-добрият приятел на популярен човек.
РешениеПърво ще използваме следното просто наблюдение. Ако някой е nn-най-добър приятел, то той е и kk-най-добър приятел за всяко 1k<n1\le k\lt{}n. Наистина, свойството да бъдеш nn-най-добър приятел означава, че има верига от nn последователни посочвания на най-добър приятел, която завършва в този човек. Като вземем последните kk посочвания от тази верига, получаваме, че същият човек е kk-най-добър приятел. (a) Нека Дани е популярен. Неговите приятели са краен брой; означаваме ги сP1,P2,,Pm.P_1,P_2,\ldots,P_m.Понеже Дани е популярен, за всяко n1n\ge1 той е (n+1)(n+1)-най-добър приятел. Следователно за всяко nn има приятел на Дани, който е nn-най-добър приятел и е посочил Дани за свой най-добър приятел. Имаме само краен брой приятели PiP_i, затова по принципа на Дирихле някой от тях е nn-най-добър приятел за безкрайно много стойности на nn. От наблюдението по-горе този човек е kk-най-добър приятел за всяко фиксирано kk, тоест е популярен. Понеже той е посочил Дани за най-добър приятел, получаваме, че Дани е най-добрият приятел на популярен човек. (b) Ако позволим безкрайно много приятели, предишният аргумент вече няма крайния избор, върху който да приложим принципа на Дирихле. Даваме явна конструкция. Нека има един човек DD и за всяко положително цяло число rr - верига от rr душиPr1,Pr2,,Prr.P_{r1},P_{r2},\ldots,P_{rr}.Най-добрите приятелства са насочени така:Pr1D,Pr2Pr1,,PrrPr,r1.P_{r1}\to D,\qquad P_{r2}\to P_{r1},\qquad\ldots,\qquad P_{rr}\to P_{r,r-1}.Тоест за всяко rr имаме веригаDPr1Pr2Prr.D\longleftarrow P_{r1}\longleftarrow P_{r2}\longleftarrow\cdots\longleftarrow P_{rr}.Нека още DD посочи P11P_{11} за свой най-добър приятел, а приятелствата са точно двойките, които се появяват в тези посочвания. Тогава всеки има поне един приятел, а единствено DD има безкрайно много приятели. Човекът DD е популярен, защото за всяко kk съществува верига с дължина поне kk, която завършва в DD. От друга страна, никой от хората PrjP_{rj} не е популярен: зад него в неговата верига има само краен брой хора, така че той може да бъде kk-най-добър приятел само за крайно много стойности на kk. Следователно DD е единственият популярен човек. Но DD не може да бъде най-добрият приятел на популярен човек: единственият популярен човек е самият DD, а DD не посочва себе си за най-добър приятел. Това дава искания пример.

2013

3 задачи

Задача 3

Пълен запис
Условие
Нека nn е положително цяло число. (a) Докажете, че съществува множество SS от 6n6n положителни цели числа, такова че най-малкото общо кратно на всеки два негови елемента е най-много 32n232n^2. (b) Докажете, че всяко множество TT от 6n6n положителни цели числа съдържа два елемента с най-малко общо кратно, по-голямо от 9n29n^2.
РешениеЗа (a) вземамеS={1,2,,4n}{4n+2,4n+4,,8n}.S=\{1,2,\dots,4n\}\cup\{4n+2,4n+4,\dots,8n\}.В това множество има 4n+2n=6n4n+2n=6n числа. Ако два елемента са най-много 4n4n, тяхното НОК е най-много произведението им, тоест най-много 16n216n^2. Ако единият елемент е от първия блок, а другият от втория, произведението им е най-много (4n)(8n)=32n2(4n)(8n)=32n^2, следователно и НОК е най-много 32n232n^2. Ако и двата са от втория блок, общият множител 22 дава горна граница (8n)(8n)/2=32n2(8n)(8n)/2=32n^2. Следователно този избор работи. За (b) нека елементите на множеството TT са подредени катоx0<x1<<xm,x_0\lt{}x_1\lt{}\dots\lt{}x_m,където m=6n1m=6n-1. Да допуснем противното: всяко НОК на две числа е най-много LL, където L=9n2L=9n^2. За всеки съседен чифт имамеL[xi,xi+1]=xixi+1gcd(xi,xi+1)L\ge [x_i,x_{i+1}]=\frac{x_ix_{i+1}}{\gcd(x_i,x_{i+1})}\gexixi+1xi+1xi,\frac{x_ix_{i+1}}{x_{i+1}-x_i},защото общият делител на xix_i и xi+1x_{i+1} дели разликата им. Значи1Lxi+1xixixi+1=1xi1xi+1.\frac1L\le\frac{x_{i+1}-x_i}{x_ix_{i+1}}=\frac1{x_i}-\frac1{x_{i+1}}.Сумираме това за i=k,k+1,,m1i=k,k+1,\dots,m-1 и получавамеmkL1xk1xm<1xk.\frac{m-k}{L}\le\frac1{x_k}-\frac1{x_m}\lt{}\frac1{x_k}.Избираме k=3n1k=3n-1 и m=6n1m=6n-1. Тогава mk=3nm-k=3n, а xkk+1=3nx_k\ge k+1=3n, понеже xkx_k е (k+1)(k+1)-вото положително цяло число в подредбата. Следователно3n9n2<1xk13n,\frac{3n}{9n^2}\lt{}\frac1{x_k}\le\frac1{3n},което е невъзможно. Полученото противоречие доказва, че някои два елемента имат НОК, по-голямо от 9n29n^2.

Задача 4

Пълен запис
Условие
Намерете всички положителни цели числа aa и bb, за които съществуват три последователни цели числа, при които полиномът P(n)=1b(n5+a)P(n)=\frac1b(n^5+a) приема цели стойности.
РешениеОтговорът е: или b=1b=1, или b=11b=11 и a±1(mod11)a\equiv\pm1\pmod{11}. Случаят b=1b=1 е очевиден. Нека сега b>1b\gt{}1 и нека PP е произволна степен на просто число, която дели bb. Ако трите последователни цели числа са n1,n,n+1n-1,n,n+1, то(n1)5+an5+a(n+1)5+a0(modP).(n-1)^5+a\equiv n^5+a\equiv(n+1)^5+a\equiv0\pmod P.Първо PP не е четно, защото две последователни числа имат различна четност, а значи и петите им степени имат различна четност. Също така простият делител на PP не е 55, понеже от (n+1)5(n1)50(mod5)(n+1)^5-(n-1)^5\equiv0\pmod5 бихме получили 20(mod5)2\equiv0\pmod5. В частност 1010 е обратимо по модул PP. Имаме(n+1)5+(n1)52n50(modP),(n+1)^5+(n-1)^5-2n^5\equiv0\pmod P,а лявата страна е 20n3+10n20n^3+10n. Числото nn е взаимно просто с PP, защото иначе от n5+a0n^5+a\equiv0 и (n+1)5+a0(n+1)^5+a\equiv0 би следвало 101\equiv0 по простия делител на PP. Следователно2n2+10(modP).2n^2+1\equiv0\pmod P.Също така от разликата на крайните пети степени получаваме2((n+1)5(n1)5)0(modP),2\bigl((n+1)^5-(n-1)^5\bigr)\equiv0\pmod P,тоест20n4+40n2+40(modP).20n^4+40n^2+4\equiv0\pmod P.Използвайки n212(modP)n^2\equiv-\frac12\pmod P, получаваме02014+40(12)+4=11(modP).0\equiv20\cdot\frac14+40\cdot\left(-\frac12\right)+4=-11\pmod P.Значи P11P\mid11, откъдето P=11P=11. Понеже PP беше произволна проста степен, деляща bb, следва b=11b=11. Остава да намерим кога модул 1111 има три последователни числа с една и съща пета степен. Проверка на остатъците дава3545551(mod11),3^5\equiv4^5\equiv5^5\equiv1\pmod{11},както и(3)5(4)5(5)51(mod11).(-3)^5\equiv(-4)^5\equiv(-5)^5\equiv-1\pmod{11}.Това са единствените такива тройки от последователни остатъци. Значи трябва и е достатъчно да имаме a1a\equiv-1 или a1(mod11)a\equiv1\pmod{11}, съответно. Така получаваме точно посочените решения.

Задача 6

Пълен запис
Условие
Снежанка и седемте джуджета живеят в къщичката си в гората. Във всеки от 1616 последователни дни част от джуджетата работили в диамантената мина, а останалите събирали горски плодове в гората. Никое джудже не вършило и двете работи в един и същи ден. За всеки два различни дни има поне три джуджета, всяко от които през единия ден е вършило единия вид работа, а през другия ден - другия. Освен това в първия ден всичките седем джуджета работили в диамантената мина. Докажете, че в един от тези 1616 дни всичките седем джуджета са събирали горски плодове.
РешениеЩе кодираме всеки ден с вектор от {0,1}7\{0,1\}^7: координатата е 00, ако съответното джудже е работило в мината, и 11, ако е събирало горски плодове. Условието за всеки два различни дни означава, че разстоянието на Хеминг между всеки два от получените 1616 вектора е поне 33. Понеже първият ден е бил изцяло в мината, нулевият вектор принадлежи на множеството. Преномерираме векторите катоV={v1,v2,,v16}{0,1}7,V=\{v_1,v_2,\dots,v_{16}\}\subset\{0,1\}^7,така че v16=0000000v_{16}=0000000. Трябва да докажем, че 1111111V1111111\in V. Първо ще използваме следната лема. За всеки избор на три координати и за всеки от осемте възможни шаблона върху тях точно два от векторите в VV имат този шаблон. Наистина, не може три различни вектора да съвпадат върху някакви три фиксирани координати. Ако това се случи, изтриваме тези три координати. Получаваме три двоични вектора с дължина 44, чиито взаимни разстояния на Хеминг пак са поне 33. След добавяне по модул 22 на един от тях можем да приемем, че единият е 00000000. Тогава другите два трябва да имат тегло поне 33; но два различни вектора с дължина 44 и тегло поне 33 са на разстояние най-много 22 един от друг. Противоречие. Значи за всяка тройка координати и всеки шаблон има най-много два вектора, а понеже шаблоните са 88 и векторите са 1616, броят е точно два. Същото твърдение за една или две координати следва, като сумираме по останалите координати. Игнорираме нулевия вектор v16v_{16}. За i=1,2,,15i=1,2,\dots,15 нека nin_i е броят на единиците във viv_i. От лемата и двойно броене получавамеi=115(ni1)=162(71)=56,i=115(ni2)=1622(72)=84,i=115(ni3)=1623(73)=70.\begin{align*} \sum_{i=1}^{15}\binom{n_i}{1}&=\frac{16}{2}\binom71=56,\\ \sum_{i=1}^{15}\binom{n_i}{2}&=\frac{16}{2^2}\binom72=84,\\ \sum_{i=1}^{15}\binom{n_i}{3}&=\frac{16}{2^3}\binom73=70. \end{align*}Например третото равенство брои двойките, състоящи се от вектор и тройка координати, върху които този вектор има само единици. Оттук следваi=115ni=56,i=115ni2=284+56=224,i=115ni3=670+3224256=980.\begin{align*} \sum_{i=1}^{15}n_i&=56,\\ \sum_{i=1}^{15}n_i^2&=2\cdot84+56=224,\\ \sum_{i=1}^{15}n_i^3&=6\cdot70+3\cdot224-2\cdot56=980. \end{align*}Всеки от тези 1515 вектора е ненулев, така че 1ni71\le n_i\le7. За всяко цяло 1ni71\le n_i\le7 имаме(ni3)(ni4)(ni7)0.(n_i-3)(n_i-4)(n_i-7)\le0.Сумирайки, намираме0i=115(ni3)(ni4)(ni7)=i=115(ni314ni2+61ni84)=98014224+61561584=0.\begin{align*} 0&\ge\sum_{i=1}^{15}(n_i-3)(n_i-4)(n_i-7)\\ &=\sum_{i=1}^{15}(n_i^3-14n_i^2+61n_i-84)\\ &=980-14\cdot224+61\cdot56-15\cdot84=0. \end{align*}Следователно навсякъде има равенство, т.е. всяко nin_i е едно от числата 3,4,73,4,7. Остава да има поне едно ni=7n_i=7. Ако това не беше вярно, всички nin_i щяха да са 33 или 44, а тогава ni22(mod7)n_i^2\equiv2\pmod7 за всяко ii. Това би дало224=i=115ni2152≢0(mod7),224=\sum_{i=1}^{15}n_i^2\equiv15\cdot2\not\equiv0\pmod7,противоречие. Значи някой вектор има седем единици, т.е. 1111111V1111111\in V. Това е точно денят, в който всички седем джуджета са събирали горски плодове.

2014

6 задачи

Задача 1

Пълен запис
Условие
Определете всички реални константи tt, такива че винаги когато aa, bb и cc са дължини на страните на триъгълник, числата a2+bcta^2+bct, b2+catb^2+cat, c2+abtc^2+abt също са дължини на страните на триъгълник.
РешениеОтговорът е23t2.\frac23\le t\le2.Пишем a=y+za=y+z, b=z+xb=z+x, c=x+yc=x+y за положителни x,y,zx,y,z. Поради симетрия е достатъчно да проверим едното триъгълно неравенствоa2+bct<b2+cat+c2+abt.a^2+bct\lt{}b^2+cat+c^2+abt.След заместване това е еквивалентно наQ(x)>0,Q(x)\gt{}0,къдетоQ(x)=Q(x)=(2t)x2+(2+t)(y+z)x+((y2+yz+z2)t2yz).(2-t)x^2+(2+t)(y+z)x+\bigl((y^2+yz+z^2)t-2yz\bigr).Тук y,z>0y,z\gt{}0 са произволни. Първо трябва t2t\le2; иначе водещият коефициент е отрицателен и за достатъчно голямо xx неравенството се проваля. При t=2t=2 имамеQ(x)=4(y+z)x+2(y2+z2)>0,Q(x)=4(y+z)x+2(y^2+z^2)\gt{}0,така че този краен случай работи. Нека t<2t\lt{}2. Дискриминантата на квадратичния тричлен еD=(5t24t+4)(y2+z2)+(6t28t+24)yz,D=(5t^2-4t+4)(y^2+z^2)+(6t^2-8t+24)yz,което е положително за всички реални tt и положителни y,zy,z. Следователно QQ има две реални корени. Понеже водещият коефициент вече е положителен, условието Q(x)>0Q(x)\gt{}0 за всяко x>0x\gt{}0 е равносилно всички коефициенти да са неотрицателни, като средният е очевидно положителен. Остава(y2+yz+z2)t2yz0(y^2+yz+z^2)t-2yz\ge0за всички положителни y,zy,z. Понежеy2+yz+z23yz,y^2+yz+z^2\ge3yz,достатъчно и необходимо е t23t\ge\frac23; ако t<23t\lt{}\frac23, вземаме y=zy=z и получаваме отрицателен свободен член. Значи точно 23t2\frac23\le t\le2 работи.

Задача 2

Пълен запис
Условие
Нека DD и EE са вътрешни точки съответно на страните ABAB и ACAC на триъгълника ABCABC, за коитоDB=BC=CE.DB=BC=CE.Нека правите CDCD и BEBE се пресичат във FF. Докажете, че инцентърът II на ABCABC, ортоцентърът HH на DEFDEF и средата MM на дъгата BACBAC от описаната окръжност на ABCABC са колинеарни.
РешениеНека BIBI и CICI пресичат отново описаната окръжност съответно в MBM_B и MCM_C. Имаме спирална подобностMDBMEC,\triangle MDB\sim\triangle MEC,защотоMBD=MBA=MCA=MCE\angle MBD=\angle MBA=\angle MCA=\angle MCEи BD=ECBD=EC, BM=CMBM=CM. Следователно MM е точката на Микел на BDECBDEC. НекаT=MEBIиS=MDCI.T=ME\cap BI\qquad\text{и}\qquad S=MD\cap CI.Понеже BIBI е среден перпендикуляр на CDCD, имамеDIT=CIT=CIB=\angle DIT=\angle CIT=\angle CIB=9012A=MCB=MED=TED,90^\circ-\frac12\angle A=\angle MCB=\angle MED=\angle TED,така че D,I,T,ED,I,T,E са вписани в една окръжност. Аналогично и SS лежи на тази окръжност. НоSDE=EDM=MED=TED,\angle SDE=\angle EDM=\angle MED=\angle TED,следователно STDEST\parallel DE (получава се равнобедрен трапец). Триъгълниците ISTIST и HDEHDE са хомотетични. Следователно правите IHIH, DSDS и ETET са конкурентни; по определенията на SS и TT те се пресичат в MM. Значи II, HH и MM са колинеарни.ABCDEFIHM

Задача 3

Пълен запис
Условие
Нека d(m)d(m) означава броя на положителните делители на положителното цяло число mm, а ω(m)\omega(m) - броя на различните му прости делители. Нека kk е положително цяло число. Докажете, че съществуват безбройно много положителни цели числа nn, такива че ω(n)=k\omega(n)=k и d(n)d(n) не дели d(a2+b2)d(a^2+b^2) за никои положителни цели числа a,ba,b с a+b=na+b=n.
РешениеЩе построим безбройно много такива nn. Избираме нечетно положително цяло число tt, което не се дели на 33 и има ω(t)=k1\omega(t)=k-1; при k=1k=1 вземаме t=1t=1. После избираме достатъчно голямо нечетно просто число pp и поставямеn=2p1t.n=2^{p-1}t.Тогава ω(n)=k\omega(n)=k. Освен това pd(n)p\mid d(n), защото показателят на простото число 22 в nn е p1p-1. Нека a+b=na+b=n и нека c=a2+b2c=a^2+b^2. Ще докажем, че pd(c)p\nmid d(c); тогава d(n)d(n) със сигурност не може да дели d(c)d(c). Първо, 3c3\nmid c. Наистина, от избора на tt следва 3n3\nmid n, а ако 3a2+b23\mid a^2+b^2, то ab0(mod3)a\equiv b\equiv0\pmod3, откъдето 3n3\mid n, противоречие. Избираме pp толкова голямо спрямо фиксираното tt, чеc=a2+b2<n2<5p1.c=a^2+b^2\lt{}n^2\lt{}5^{p-1}.Така показателят на всеки нечетен прост делител на cc е по-малък от p1p-1, следователно нито един нечетен прост фактор на cc не може да внесе множител pp в d(c)d(c). Остава да проверим степента на 22 в cc. Ако ν2(a)<ν2(b)\nu_2(a)\lt{}\nu_2(b), тогава от a+b=na+b=n следва ν2(a)=p1\nu_2(a)=p-1, иν2(c)=ν2(a2+b2)=2ν2(a)=2p2.\nu_2(c)=\nu_2(a^2+b^2)=2\nu_2(a)=2p-2.Ако ν2(a)=ν2(b)\nu_2(a)=\nu_2(b), то тази обща стойност е най-много p2p-2, защото a+ba+b се дели точно на 2p12^{p-1}. В този случайν2(c)=2ν2(a)+1<2p1.\nu_2(c)=2\nu_2(a)+1\lt{}2p-1.Във всички случаи ν2(c)+1\nu_2(c)+1 не се дели на pp. Следователно pd(c)p\nmid d(c). Тъй като има безбройно много прости числа pp, по-големи от всяка предварително избрана граница, получаваме безбройно много такива числа nn.

Задача 4

Пълен запис
Условие
Да се намерят всички цели числа n2n\ge 2, за които съществуват цели числа x1,x2,,xn1x_1,x_2,\ldots,x_{n-1} със следното свойство: ако 0<i<n0\lt{}i\lt{}n, 0<j<n0\lt{}j\lt{}n, iji\ne j и n2i+jn\mid 2i+j, то xi<xjx_i\lt{}x_j.
РешениеОтговорът еn=2kилиn=32k(k0),n=2^k\quad\text{или}\quad n=3\cdot 2^k\qquad(k\ge 0),като условието n2n\ge 2 изключва само случая 20=12^0=1. Нека пишем iji\prec j, ако 0<i,j<n0\lt{}i,j\lt{}n, iji\ne j и 2i+j0(modn)2i+j\equiv 0\pmod n. Търсените числа xix_i съществуват точно когато ориентираният граф с ребра iji\prec j няма насочен цикъл: ако цикъл има, получаваме невъзможна верига от строги неравенства, а ако цикъл няма, можем да подредим върховете топологично и да изберем xix_i според този ред. Да опишем кога има цикъл. Акоt1t2tmt1,t_1\prec t_2\prec \cdots\prec t_m\prec t_1,то tr+12tr(modn)t_{r+1}\equiv -2t_r\pmod n, следователноtr(2)r1t1(modn).t_r\equiv (-2)^{r-1}t_1\pmod n.За да се върнем в началото, трябва((2)m1)t10(modn).((-2)^m-1)t_1\equiv 0\pmod n.Освен това съседните върхове в цикъла трябва да са различни, което е равносилно на3(2)r1t1≢0(modn)(r=1,2,,m).3(-2)^{r-1}t_1\not\equiv 0\pmod n\qquad(r=1,2,\ldots,m).Ако n=2kn=2^k, първото условие принуждава t10(modn)t_1\equiv 0\pmod n, защото (2)m1(-2)^m-1 е нечетно и следователно е взаимно просто с nn. Това е невъзможно, понеже върховете са между 11 и n1n-1. Значи цикъл няма. Ако n=32kn=3\cdot 2^k, първото условие принуждава t1t_1 да е кратно на 2k2^k. Тогава t12kt_1\equiv 2^k или t122k(modn)t_1\equiv 2\cdot 2^k\pmod n, и в двата случая 3t10(modn)3t_1\equiv 0\pmod n. Това нарушава условието за различни съседни върхове още при r=1r=1, така че отново цикъл няма. Остава да покажем, че други nn не работят. Ако nn има нечетен делител d5d\ge 5, поставяме t1=n/dt_1=n/d и вземаме m=φ(d)m=\varphi(d). Тогава (2)m1(modd)(-2)^m\equiv 1\pmod d, откъдето((2)m1)t10(modn).((-2)^m-1)t_1\equiv 0\pmod n.От друга страна съществува нечетно просто pp, чиято степен в nn е по-голяма от степента му в 3n/d3n/d; това е очевидно, ако dd има прост делител, различен от 33, а ако dd е степен на 33, използваме факта, че d9d\ge 9. Понеже множителите (2)r1(-2)^{r-1} не променят pp-адичната степен, никое от числата 3(2)r1t13(-2)^{r-1}t_1 не е кратно на nn. Следователно получаваме насочен цикъл, което прави желаните строги неравенства невъзможни. Значи единствените допустими nn са точно изброените в отговора.

Задача 5

Пълен запис
Условие
Нека nn е положително цяло число. Имаме nn кутии, като във всяка има неотрицателен брой камъчета. В един ход можем да вземем две камъчета от избрана кутия, да изхвърлим едното и да сложим другото в друга избрана кутия. Начална конфигурация се нарича разрешима, ако след краен, възможно нулев, брой ходове може да се стигне до конфигурация без празна кутия. Определете всички начални конфигурации, които не са разрешими, но стават разрешими при добавяне на едно камъче в която и да е избрана кутия.
РешениеЩе характеризираме първо разрешимите конфигурации. Ако в кутиите има a1,,ana_1,\dots,a_n камъчета, твърдим, че конфигурацията е разрешима точно когатоi=1nai2n.\sum_{i=1}^n\left\lceil\frac{a_i}{2}\right\rceil\ge n.Доказателството е по индукция по общия брой камъчета. Ако общият брой е по-малък от nn, очевидно не можем да получим непразни всички кутии. Нека общият брой е поне nn и означим горната сума с SS. Ако S<nS\lt{}n, то след един разрешен ход стойността на SS не може да нарасне: от кутия с a2a\ge2 махаме две камъчета, което намалява a/2\lceil a/2\rceil с 11, а в друга кутия добавяме едно камъче, което увеличава съответния член най-много с 11. По индукция конфигурацията не е разрешима. Ако SnS\ge n и вече няма празна кутия, сме готови. Ако има празна кутия, понеже общият брой камъчета е поне nn, има кутия с поне две камъчета. Вземаме две камъчета от нея, изхвърляме едното и слагаме другото в празната кутия. Стойността на SS не се променя, а общият брой камъчета намалява с 11, така че индукционното предположение завършва доказателството на критерия. Сега търсим конфигурациите от условието. Те трябва да не са разрешими, но след добавяне на едно камъче във всяка възможна кутия да станат разрешими. По критерия това означава, че първоначалноi=1nai2=n1,\sum_{i=1}^n\left\lceil\frac{a_i}{2}\right\rceil=n-1,и добавянето на камъче към която и да е кутия трябва да увеличава сумата с 11. Последното става точно когато всички aia_i са четни. Следователно отговорът е: всички конфигурации, в които всички броеве aia_i са четни неотрицателни числа иa1+a2++an=2n2.a_1+a_2+\dots+a_n=2n-2.Наистина тогава сумата от таваните е (a1++an)/2=n1(a_1+\dots+a_n)/2=n-1, а добавянето на едно камъче към произволна кутия я прави равна на nn.

Задача 6

Пълен запис
Условие
Решете в реални числа функционалното уравнение f(y2+2xf(y)+f(x)2)=(y+f(x))(x+f(y)).f\bigl(y^2+2xf(y)+f(x)^2\bigr)=(y+f(x))(x+f(y)).
РешениеЩе докажем, че единствените решения саf(x)=xиf(x)=x.f(x)=x\qquad\text{и}\qquad f(x)=-x.Лесно се проверява, че и двете работят. Първо показваме, че съществува единствено реално число zz, за което f(z)=0f(z)=0. Съществуване има, защото при y=f(x)y=-f(x) дясната страна е 00. Ако f(u)=f(v)=0f(u)=f(v)=0, то от двойките (x,y)=(u,v),(v,u),(u,u),(v,v)(x,y)=(u,v),(v,u),(u,u),(v,v) получаваме съответноf(v2)=uv,f(u2)=uv,f(v^2)=uv,\qquad f(u^2)=uv,f(u2)=u2,f(v2)=v2.\qquad f(u^2)=u^2,\qquad f(v^2)=v^2.Значи u2=uv=v2u^2=uv=v^2, откъдето u=vu=v. Поставяме (x,y)=(z,0)(x,y)=(z,0) и (0,z)(0,z). Получавамеf(2zf(0))=f(z2+f(0)2)=0,f(2zf(0))=f(z^2+f(0)^2)=0,а по единствеността на нулата2zf(0)=z2+f(0)2=z.2zf(0)=z^2+f(0)^2=z.Следователно f(0)=zf(0)=z и z{0,12}z\in\{0,\frac12\}. Следва инективност. От (x,y)=(x,z)(x,y)=(x,z) и (z,x)(z,x) имамеf(f(x)2+z2)=f(2zf(x)+x2)=x(z+f(x)).f(f(x)^2+z^2)=f(2zf(x)+x^2)=x(z+f(x)).Ако f(x1)=f(x2)f(x_1)=f(x_2) и x1x2x_1\ne x_2, то от единствеността на нулата последното може да се случи само при f(x1)=f(x2)=zf(x_1)=f(x_2)=-z. Тогаваf(xi)2+z2=2zf(xi)+xi2=z,f(x_i)^2+z^2=2zf(x_i)+x_i^2=z,което принуждава z=12z=\frac12 и xi=±1x_i=\pm1. Но заместването на (1,0)(-1,0) и (0,1)(0,-1) в началното уравнение дава f(34)=f(54)f(-\frac34)=f(\frac54), което противоречи на току-що описаната единствена възможност за неинективност. Значи ff е инективна. Сега разменяме xx и yy в уравнението. Дясната страна е симетрична, а ff е инективна, затоваy2+2xf(y)+f(x)2=x2+2yf(x)+f(y)2.(1)y^2+2xf(y)+f(x)^2=x^2+2yf(x)+f(y)^2.\tag{1}При y=0y=0 получавамеf(x)2=(zx)2.f(x)^2=(z-x)^2.Ако z=0z=0, от (1) следва xf(y)=yf(x)xf(y)=yf(x) за всички x,yx,y, и значи f(x)=cxf(x)=cx. От f(x)2=x2f(x)^2=x^2 получаваме c=1c=1 или c=1c=-1. Остава да изключим z=12z=\frac12. Тогава (1) се записва като(2f(y)+1)x=(2f(x)+1)y.(2f(y)+1)x=(2f(x)+1)y.За ненулеви xx това дава 2f(x)+1=cx2f(x)+1=cx с константа cc. Ако c=0c=0, функцията няма нула в 12\frac12; ако c0c\ne0, нулата е при x=1/cx=1/c, следователно c=2c=2 и f(x)=x12f(x)=x-\frac12 за x0x\ne0. Тогава f(1)=12=f(0)f(1)=\frac12=f(0), противоречие с инективността. Значи z=12z=\frac12 е невъзможно, и остават само f(x)=xf(x)=x и f(x)=xf(x)=-x.

2015

4 задачи

Задача 3

Пълен запис
Условие
Нека nn и mm са цели числа, по-големи от 11, и нека a1,a2,,ama_1,a_2,\dots,a_m са положителни цели числа, не по-големи от nmn^m. Докажете, че съществуват цели числа b1,b2,,bmb_1,b_2,\dots,b_m, не по-големи от nn, такива чеgcd(a1+b1,a2+b2,,am+bm)<n.\gcd(a_1+b_1,a_2+b_2,\dots,a_m+b_m)\lt{}n.
РешениеВсъщност ще докажем нещо по-силно: можем да изберем всички bib_i от множеството {0,1}\{0,1\}. Да допуснем противното, т.е. че за всеки избор на bi{0,1}b_i\in\{0,1\} полученият най-голям общ делител е поне nn. Разглеждаме следните mm избора. Първо вземамеb1=b2==bm=0b_1=b_2=\dots=b_m=0и нека съответният НОД е g1g_1. След това за всяко k=2,3,,mk=2,3,\dots,m вземаме bk=1b_k=1, а всички останали bib_i равни на 00, и нека съответният НОД е gkg_k. По предположението всички числа g1,g2,,gmg_1,g_2,\dots,g_m са поне nn. Освен това всяко gkg_k дели a1a_1, понеже във всички тези mm избора имаме b1=0b_1=0. Ще покажем, че числата g1,g2,,gmg_1,g_2,\dots,g_m са две по две взаимнопрости. Ако 1i<jm1\le i\lt{}j\le m, тогава gig_i дели aja_j (при i=1i=1 това е очевидно, а при i2i\ge2 в избора за gig_i единствено aia_i е увеличено с 11). От друга страна, gjg_j дели aj+1a_j+1. Следователно всеки общ делител на gig_i и gjg_j дели и aja_j, и aj+1a_j+1, значи е равен на 11. Така произведениетоG=g1g2gmG=g_1g_2\dots g_mдели a1a_1. Но понеже факторите са две по две взаимнопрости и всеки от тях е поне n>1n\gt{}1, имаме всъщност G>nmG\gt{}n^m: равенство G=nmG=n^m би изисквало всички gig_i да са равни на nn, което е невъзможно за две по две взаимнопрости числа при n>1n\gt{}1. Получавамеa1G>nm,a_1\ge G\gt{}n^m,което противоречи на условието a1nma_1\le n^m. Следователно предположението е невярно и съществува избор на bi{0,1}b_i\in\{0,1\}, за който НОД е по-малък от nn.

Задача 4

Пълен запис
Условие
Определете дали съществува безкрайна редица a1,a2,a_1,a_2,\dots от положителни цели числа, такава че an+2=an+1+x2an+1+ana_{n+2}=a_{n+1}+\sqrt{\vphantom{x^2}a_{n+1}+a_n} за всяко положително цяло число nn.
РешениеТакава безкрайна редица не съществува. Всъщност може да има най-много пет члена; например (477,7,29,35,43)(477,7,29,35,43) показва, че пет члена са възможни. Да положимxn=an+1an=x2an+an1(n2).x_n=a_{n+1}-a_n=\sqrt{\vphantom{x^2}a_n+a_{n-1}}\qquad(n\ge2).Понеже всички aia_i са цели числа и рекурсията трябва да дава цели числа, всички xnx_n са положителни цели числа. От n2n\ge2 нататък редицата (an)(a_n) е строго растяща, следователно за n3n\ge3 и редицата (xn)(x_n) е строго растяща. За n2n\ge2 пресмятамеxn+12xn2=(an+1+an)(an+an1)=x_{n+1}^2-x_n^2=(a_{n+1}+a_n)-(a_n+a_{n-1})=an+1an1=xn+xn1.a_{n+1}-a_{n-1}=x_n+x_{n-1}.Следователноxn+1xn=xn+xn1xn+1+xn.x_{n+1}-x_n=\frac{x_n+x_{n-1}}{x_{n+1}+x_n}.Ако съществуват поне шест члена a1,,a6a_1,\dots,a_6, можем да вземем n=4n=4. Тогава xn1<xn<xn+1x_{n-1}\lt{}x_n\lt{}x_{n+1}, така че дясната страна е строго по-малка от 11. Но лявата страна е положително цяло число, следователно е поне 11. Това е противоречие. Значи не може да има шест последователни члена, удовлетворяващи рекурсията, а още по-малко безкрайна редица.

Задача 5

Пълен запис
Условие
Нека mm и nn са положителни цели числа, като m>1m\gt{}1. Анастасия разбива целите числа 1,2,,2m1,2,\dots,2m на mm двойки. След това Борис избира по едно число от всяка двойка и намира сумата на избраните числа. Докажете, че Анастасия може да избере двойките така, че Борис да не може да получи сума, равна на nn.
РешениеЩе използваме няколко явни разбивания, които изключват всички възможни стойности на nn. Първо разглеждаме разбиването132m32m1242m22m\begin{array}{ccccc} 1&3&\dots&2m-3&2m-1\cr 2&4&\dots&2m-2&2m \end{array}на двойките (1,2),(3,4),,(2m1,2m)(1,2),(3,4),\dots,(2m-1,2m). Ако Борис избере долното число в точно kk от двойките, сумата му е m2+km^2+k. Следователно възможните суми са точно числата от интервала [m2,m2+m][m^2,m^2+m]. Ако nn не е в този интервал, това разбиване вече работи. Второ разглеждаме разбиването12m1mm+1m+22m12m.\begin{array}{ccccc} 1&2&\dots&m-1&m\cr m+1&m+2&\dots&2m-1&2m \end{array}.Всяка смяна от горното към долното число добавя mm, затова всички възможни суми са сравними сS0=1+2++m=m(m+1)2(modm).S_0=1+2+\dots+m=\frac{m(m+1)}2\pmod{m}.Ако n≢S0(modm)n\not\equiv S_0\pmod{m}, това разбиване работи. Остава да разгледаме случаите, в които едновременно m2nm2+mm^2\le n\le m^2+m и nS0(modm)n\equiv S_0\pmod{m}. Ако mm е нечетно, тогава S00(modm)S_0\equiv0\pmod{m} и значи nn е едно от m2m^2 и m2+mm^2+m. Ако mm е четно, тогава S0m2(modm)S_0\equiv\frac{m}{2}\pmod{m} и значи единствената останала стойност еn=m2+m2.n=m^2+\frac{m}{2}.За тези останали случаи използваме третото разбиване12m1mm+2m+32mm+1,\begin{array}{ccccc} 1&2&\dots&m-1&m\cr m+2&m+3&\dots&2m&m+1 \end{array},тоест двойките (1,m+2),(2,m+3),,(m1,2m),(m,m+1)(1,m+2),(2,m+3),\dots,(m-1,2m),(m,m+1). Сумата на горния ред отново е S0S_0. В първите m1m-1 двойки изборът на долното число променя сумата с кратно на m+1m+1, а в последната двойка я променя с 11. Следователно по модул m+1m+1 всички възможни суми са самоS0илиS0+1.S_0\quad\text{или}\quad S_0+1.Ако mm е нечетно, имамеS0=m(m+1)2m+12(modm+1),S_0=\frac{m(m+1)}2\equiv\frac{m+1}{2}\pmod{m+1},така че възможните остатъци са m+12\frac{m+1}{2} и m+32\frac{m+3}{2}. Понеже m>1m\gt{}1 е нечетно, тези остатъци не са 00 и 11. Но двете останали цели m2m^2 и m2+mm^2+m дават остатъци съответно 11 и 00 по модул m+1m+1. Значи третото разбиване ги избягва. Ако mm е четно, числото S0=m2(m+1)S_0=\frac{m}{2}(m+1) се дели на m+1m+1, така че възможните остатъци са 00 и 11. От друга странаm2+m21+m2(modm+1),m^2+\frac{m}{2}\equiv1+\frac{m}{2}\pmod{m+1},а този остатък е различен и от 00, и от 11, понеже m2m\ge2. Значи и в четния случай третото разбиване избягва останалата стойност на nn. Във всички случаи Анастасия има разбиване, при което Борис не може да получи сума nn.

Задача 6

Пълен запис
Условие
Нека HH е ортоцентърът, а GG - медицентърът на остроъгълен триъгълник ABCABC с ABACAB\ne AC. Правата AGAG пресича описаната окръжност на ABCABC в точките AA и PP. Нека PP' е отражението на PP спрямо правата BCBC. Докажете, че CAB=60\angle CAB=60^\circ тогава и само тогава, когато HG=GPHG=GP'.
РешениеЩе използваме комплексни числа. Нека описаната окръжност е единичната, а комплексните координати на A,B,C,P,P,H,GA,B,C,P,P',H,G са съответно a,b,c,p,p,h,ga,b,c,p,p',h,g. Тогава a=b=c=p=1|a|=|b|=|c|=|p|=1, h=a+b+ch=a+b+c и g=13(a+b+c)g=\frac13(a+b+c). От колинеарността на A,G,PA,G,P получаваме стандартното уравнениеpa(b+c)bc(p+a)pabc=b+c2,\frac{pa(b+c)-bc(p+a)}{pa-bc}=\frac{b+c}{2},откъдетоp=2bcabacbc(2abc).p=-\frac{2bc-ab-ac}{bc(2a-b-c)}.Отражението спрямо правата BCBC се записва катоp=b+cbcp,p'=b+c-bc\overline p,и след заместване на намереното pp получавамеp=ab+acb2c22abc.p'=\frac{ab+ac-b^2-c^2}{2a-b-c}.Нека DD е средата на HPHP' и нека комплексната му координата е dd. Тогаваd=h+p2=a2b2c2+ab+acbc2abc,hp=2(a2bc)2abc,gd=2b2+2c2a2+bc2ab2ac3(2abc).\begin{aligned} d=\frac{h+p'}2&=\frac{a^2-b^2-c^2+ab+ac-bc}{2a-b-c},\\ h-p'&=\frac{2(a^2-bc)}{2a-b-c},\\ g-d&=\frac{2b^2+2c^2-a^2+bc-2ab-2ac}{3(2a-b-c)}. \end{aligned}Условието HG=GPHG=GP' означава, че GG лежи на симетралата на HPHP', тоест GDHPGD\perp HP'. В комплексна форма това е равносилно на това числотоX=gdhp=X=\frac{g-d}{h-p'}=2b2+2c2a2+bc2ab2ac6(a2bc) \frac{2b^2+2c^2-a^2+bc-2ab-2ac}{6(a^2-bc)}да е чисто имагинерно. Използвайки a=1/a\overline a=1/a, b=1/b\overline b=1/b и c=1/c\overline c=1/c, условието X+X=0X+\overline X=0 след умножаване с ненулевите знаменатели се свежда доb3c+bc3+b2c2=a2bc+a2c2+a2b2,b^3c+bc^3+b^2c^2=a^2bc+a^2c^2+a^2b^2,или(b2+bc+c2)(a2bc)=0.(b^2+bc+c^2)(a^2-bc)=0.Понеже ABACAB\ne AC, не може да имаме a2=bca^2=bc; иначе AA би била средата на дъгата BCBC и би следвало AB=ACAB=AC. Оставаb2+bc+c2=0.b^2+bc+c^2=0.След деление на c2c^2 получаваме, че b/cb/c е примитивен трети корен от единицата. Това е еквивалентно на централен ъгъл 120120^\circ над дъгата BCBC, тоест на CAB=60\angle CAB=60^\circ. Доказахме и двете посоки.

2016

6 задачи

Задача 1

Пълен запис
Условие
Нека nn е нечетно положително цяло число и нека x1,x2,,xnx_1,x_2,\dots,x_n са неотрицателни реални числа. Докажете, чеmin(xi2+xi+12)max(2xjxj+1),\min(x_i^2+x_{i+1}^2)\le \max(2x_jx_{j+1}),където 1i,jn1\le i,j\le n и xn+1=x1x_{n+1}=x_1.
РешениеДостатъчно е да намерим една двойка индекси, за коятоxi2+xi+122xjxj+1.x_i^2+x_{i+1}^2\le 2x_jx_{j+1}.Понеже nn е нечетно, в цикличната редица не може знаците на сравненията между съседни членове да се редуват напълно. Следователно съществуват три последователни члена, в едната от двете посоки около цикъла, които можем да означим с a,b,ca,b,c така, че abca\ge b\ge c, като bb е средният от тях. Тогава, понеже числата са неотрицателни,2abb2c2=b(ab)+(abc2)0.2ab-b^2-c^2=b(a-b)+(ab-c^2)\ge0.Значи b2+c22abb^2+c^2\le2ab. Лявата страна е една от величините xi2+xi+12x_i^2+x_{i+1}^2, а дясната е една от величините 2xjxj+12x_jx_{j+1}. Оттук веднага следва исканото неравенство между минимума и максимума. За сравнение, ако nn е четно, редица от вида (1,100,1,100,)(1,100,1,100,\dots) показва защо нечетността е съществена.

Задача 2

Пълен запис
Условие
Нека ABCDABCD е вписан четириъгълник, а диагоналите ACAC и BDBD се пресичат в XX. Нека C1C_1, D1D_1 и MM са средите съответно на отсечките CXCX, DXDX и CDCD. Правите AD1AD_1 и BC1BC_1 се пресичат в YY, а правата MYMY пресича диагоналите ACAC и BDBD съответно в различни точки EE и FF. Докажете, че правата XYXY е допирателна към окръжността през EE, FF и XX.
РешениеЩе дадем два подхода. Първи подход чрез лема за изогоналност. Забелязваме, че ABC1D1ABC_1D_1 е вписан четириъгълник. По стандартната лема за изогоналност, приложена към триъгълника YC1D1YC_1D_1, правите YXYX и YMYM са изогонални спрямо триъгълника YC1D1YC_1D_1. Тогава, с насочени ъгли,EXY=XC1Y+C1YX=\angle EXY=\angle XC_1Y+\angle C_1YX=AD1X+MYA=YFX.\angle AD_1X+\angle MYA=\angle YFX.Понеже EE, YY и FF са колинеарни, това е точно теоремата за ъгъл между допирателна и хорда за окръжността през EE, FF и XX. Следователно XYXY е допирателна към тази окръжност. За проверка даваме и комплексно решение. Четириъгълникът ABC1D1ABC_1D_1 е вписан, защото AC1D1=ACD=ABD1\angle AC_1D_1=\angle ACD=\angle ABD_1. Нормализираме неговата описана окръжност до единичната окръжност и за краткост означаваме точките C1C_1 и D1D_1 с комплексните числа cc и dd. Достатъчно е да докажем(YX,AC)=(BD,MY),\angle(YX,AC)=\angle(BD,MY),което е равносилно на това числото(xy)(my)(ac)(bd)\frac{(x-y)(m-y)}{(a-c)(b-d)}да бъде реално. Нека Z=ABC1D1Z=AB\cap C_1D_1, а OO е центърът на описаната окръжност на ABC1D1ABC_1D_1. По теоремата на Брокар имаме XYOZXY\perp OZ, така че е достатъчно да проверим(ab(c+d)cd(a+b))(ym)(ac)(bd)(abcd)\frac{(ab(c+d)-cd(a+b))(y-m)}{(a-c)(b-d)(ab-cd)}\iniR. i\mathbb R.От m=c+dxm=c+d-x получавамеym=x+ycd=ac(b+d)bd(a+c)acbd+ad(b+c)bc(a+d)adbccd=ab(2acd+2bcd+c3+d3ac2ad2bc2bd2c2dcd2)(acbd)(adbc)=ab(a+bcd)(cd)2(acbd)(adbc).\begin{aligned} y-m&=x+y-c-d\\ &=\frac{ac(b+d)-bd(a+c)}{ac-bd}+\frac{ad(b+c)-bc(a+d)}{ad-bc}-c-d\\ &=\frac{ab(2acd+2bcd+c^3+d^3-ac^2-ad^2-bc^2-bd^2-c^2d-cd^2)}{(ac-bd)(ad-bc)}\\ &=-\frac{ab(a+b-c-d)(c-d)^2}{(ac-bd)(ad-bc)}. \end{aligned}Следователно последният израз ставаab(ab(c+d)cd(a+b))(a+bcd)(cd)2(acbd)(adbc)(ac)(bd)(abcd).-\frac{ab(ab(c+d)-cd(a+b))(a+b-c-d)(c-d)^2}{(ac-bd)(ad-bc)(a-c)(b-d)(ab-cd)}.Той е равен на отрицателното на своето комплексно спрегнато, следователно е чисто имагинерен. Това доказва същото допиране.

Задача 3

Пълен запис
Условие
Нека mm е положително цяло число. Разглеждаме таблица 4m×4m4m\times4m от единични квадратни клетки. Две различни клетки се наричат свързани, ако лежат в един и същи ред или в един и същи стълб. Никоя клетка не е свързана със себе си. Някои клетки са оцветени в синьо така, че всяка клетка е свързана с поне две сини клетки. Да се намери минималният възможен брой сини клетки.
РешениеОтговорът е 6m6m. Първо даваме конструкция. По главния диагонал повтаряме mm пъти блока[111111],\begin{bmatrix} & 1 & 1 & 1 \\ 1 & & & \\ 1 & & & \\ 1 & & & \end{bmatrix},където единиците означават сините клетки. Всеки блок съдържа 66 сини клетки и лесно се проверява, че всяка клетка в блока има поне две сини клетки в своя ред или стълб. Така получаваме пример с 6m6m сини клетки. Остава да докажем, че по-малко не стига. Да построим двуделен граф HK4m,4mH\subseteq K_{4m,4m}: едната част са редовете, другата са стълбовете, а всяка синя клетка дава ребро между съответния ред и съответния стълб. Да допуснем, че сините клетки са по-малко от 6m6m, тоест E(H)6m1|E(H)|\le6m-1. Тъй като графът има 8m8m върха, броят на свързаните му компоненти е понеV(H)E(H)8m(6m1)=2m+1.|V(H)|-|E(H)|\ge8m-(6m-1)=2m+1.Затова някоя компонента има най-много три върха. Първо, не може да има изолиран връх. Ако например някой ред няма синя клетка, то във всеки от 4m4m-те стълба трябва да има поне две сини клетки, защото всяка клетка в този празен ред трябва да е свързана с поне две сини клетки. Това би дало поне 8m8m сини клетки, противоречие. От друга страна, всяко синьо ребро е инцидентно с поне още две сини ребра: това е точно условието, приложено към самата синя клетка, като тя не се брои за свързана със себе си. Следователно никоя неизолирана свързана компонента не може да има по-малко от три ребра. Но прост двуделен граф върху най-много три върха има най-много две ребра, ако е свързан. Получаваме противоречие. Следователно сините клетки са поне 6m6m, както трябваше.

Задача 4

Пълен запис
Условие
Две окръжности ω1\omega_1 и ω2\omega_2 с равни радиуси се пресичат в две различни точки X1X_1 и X2X_2. Нека окръжност ω\omega е външно допирателна до ω1\omega_1 в точка T1T_1 и вътрешно допирателна до ω2\omega_2 в точка T2T_2. Докажете, че правите X1T1X_1T_1 и X2T2X_2T_2 се пресичат в точка, която лежи на ω\omega.
РешениеЩе използваме хомотетии. Нека h1h_1 е хомотетията с център T1T_1, която изпраща ω1\omega_1 в ω\omega. Понеже двете окръжности са външно допирателни в T1T_1, коефициентът на тази хомотетия е отрицателен. Нека h2h_2 е хомотетията с център T2T_2, която изпраща ω\omega в ω2\omega_2; тук коефициентът е положителен, защото допирането е вътрешно.X1X2MT1T2PРазглеждаме композициятаω1 T1 ω T2 ω2.\omega_1\xrightarrow{\ T_1\ }\omega\xrightarrow{\ T_2\ }\omega_2.Тя изпраща ω1\omega_1 в ω2\omega_2. Освен това произведението на коефициентите ѝ е отрицателно. Тъй като ω1\omega_1 и ω2\omega_2 имат равни радиуси, абсолютната стойност на този общ коефициент е 11. Следователно композицията е хомотетия с коефициент 1-1, тоест централна симетрия. Центърът на тази централна симетрия е средата MM на X1X2X_1X_2, защото двете равни окръжности са симетрични спрямо MM. В частност композицията изпраща едната им обща точка X1X_1 в другата обща точка X2X_2. НекаP=h1(X1).P=h_1(X_1).Тогава PP лежи на ω\omega, понеже h1h_1 изпраща окръжността ω1\omega_1 в ω\omega. Също така PP лежи на правата X1T1X_1T_1, защото всяка точка и образът ѝ при хомотетия са колинеарни с центъра на хомотетията. От друга страна, h2(P)=X2h_2(P)=X_2, защото h2(h1(X1))=X2h_2(h_1(X_1))=X_2. Следователно PP, T2T_2 и X2X_2 са колинеарни, тоест PP лежи и на правата X2T2X_2T_2. Значи правите X1T1X_1T_1 и X2T2X_2T_2 се пресичат в точката PP, а тя лежи на ω\omega. Точно тази точка е търсената, което завършва доказателството.

Задача 5

Пълен запис
Условие
Нека kk и nn са цели числа с k2k\ge2 и kn2k1k\le n\le2k-1. Върху шахматна дъска n×nn\times n поставяме правоъгълни плочки, всяка с размер 1×k1\times k или k×1k\times1, така че всяка плочка покрива точно kk клетки и никои две плочки не се застъпват. Продължаваме, докато повече не може да се постави плочка по този начин. За всяка такава двойка k,nk,n определете минималния възможен брой плочки в крайна подредба.
РешениеОтговорът е{n,n=k или n=2k1,2(nk+1),k<n<2k1.\begin{cases} n, & n=k \text{ или } n=2k-1,\\ 2(n-k+1), & k\lt{}n\lt{}2k-1. \end{cases}Конструкциите са следните. При n=kn=k е ясно, че трябва да се запълни цялата дъска с nn успоредни плочки. При k<n<2k1k\lt{}n\lt{}2k-1 започваме от случая n=k+1n=k+1, където четири плочки могат да блокират периметъра на квадрата; после при увеличаване на nn с 11 добавяме по една нова хоризонтална и една нова вертикална плочка. Това дава 2(nk+1)2(n-k+1) плочки. При n=2k1n=2k-1 поставяме по една вертикална плочка във всеки стълб, като редуваме най-горната и най-долната възможна позиция; така получаваме nn плочки и не остава място за нова. Сега доказваме оптималността. Ще наричаме един ред гол, ако в него няма хоризонтална плочка, изцяло лежаща в този ред. Аналогично, един стълб е гол, ако в него няма вертикална плочка, изцяло лежаща в този стълб. **Твърдение.** Голите стълбове са последователни; същото важи и за голите редове. Доказателство. Нека вертикална плочка DD лежи в стълб CC. Ако CC е в лявата половина на дъската, тогава стълбът непосредствено вляво от CC също трябва да съдържа вертикална плочка: иначе бихме могли да поставим нова вертикална плочка точно вляво от DD, защото отляво няма достатъчно място за хоризонтална плочка, която да пречи. Повтаряйки това разсъждение, всички стълбове вляво от CC не са голи. По същия начин, ако CC е в дясната половина, всички стълбове вдясно от CC не са голи. Значи голите стълбове образуват един непрекъснат блок. За редовете доказателството е същото. Ако няма голи стълбове, то във всеки стълб има вертикална плочка, следователно плочките са поне nn. Аналогично, ако няма голи редове, плочките отново са поне nn. Остава случаят, когато има поне един гол ред и поне един гол стълб. Понеже голите стълбове са последователни, не може да има kk голи стълба: пресечем ли ги с един гол ред, получаваме kk последователни непокрити клетки и можем да добавим хоризонтална плочка, противоречие. Следователно голите стълбове са най-много k1k-1, така че има поне nk+1n-k+1 неголи стълба, а значи поне nk+1n-k+1 вертикални плочки. Аналогично има поне nk+1n-k+1 хоризонтални плочки. Общо плочките са поне 2(nk+1)2(n-k+1). Така всяка крайна подредба съдържа поне min(n,2(nk+1))\min(n,2(n-k+1)) плочки, с изключение на специалния случай n=kn=k, където горната оценка 22 не е достижима и трябват точно nn плочки. Това дава точно обявения отговор.

Задача 6

Пълен запис
Условие
Нека SS е множеството от всички положителни цели числа nn, за които n4n^4 има делител измежду числата n2+1,n2+2,,n2+2nn^2+1,n^2+2,\dots,n^2+2n. Докажете, че има безбройно много елементи на SS от всеки от видовете 7m7m, 7m+17m+1, 7m+27m+2, 7m+57m+5, 7m+67m+6, и няма елементи на SS от видовете 7m+37m+3 и 7m+47m+4, където mm е цяло число.
РешениеНека търсеният делител е n2+kn^2+k, където 1k2n1\le k\le2n. Понеже n2k(modn2+k)n^2\equiv-k\pmod{n^2+k}, имамеn2+kn4n2+kk2.n^2+k\mid n^4\quad\Longleftrightarrow\quad n^2+k\mid k^2.Освен това1k2n2+k<4,1\le \frac{k^2}{n^2+k}\lt{}4,така че частното може да бъде само 11, 22 или 33. Следователно трябва да има решение на едно от уравнениятаn2+k=k2,2(n2+k)=k2,3(n2+k)=k2.n^2+k=k^2,\qquad 2(n^2+k)=k^2,\qquad 3(n^2+k)=k^2.Първото няма решения при k1k\ge1, защото тогава (k1)2<n2<k2(k-1)^2\lt{}n^2\lt{}k^2. Ако n3n\equiv3 или 4(mod7)4\pmod7, то n22(mod7)n^2\equiv2\pmod7. При второто уравнение получавамеk22k40(mod7),k^2-2k-4\equiv0\pmod7,а дискриминантата му е 206(mod7)20\equiv6\pmod7, което не е квадратичен остатък. При третото уравнение получавамеk23k60(mod7),k^2-3k-6\equiv0\pmod7,а дискриминантата му е 335(mod7)33\equiv5\pmod7, което също не е квадратичен остатък. Значи няма елементи на SS от класовете 7m+37m+3 и 7m+47m+4. Остава да построим безбройно много примери в другите класове. От второто уравнение получаваме(k1)22n2=1.(k-1)^2-2n^2=1.Нека (xr,nr)(x_r,n_r) са положителните решения, зададени отxr+nr2=(3+22)r(r=1,2,3,),x_r+n_r\sqrt2=(3+2\sqrt2)^r\qquad(r=1,2,3,\dots),и поставяме k=xr+1k=x_r+1. Тогава k2=2(nr2+k)k^2=2(n_r^2+k), а от xr+12nrx_r+1\le2n_r следва, че 1k2nr1\le k\le2n_r. Следователно всяко такова nrn_r принадлежи на SS. По модул 77 редицата nrn_r се повтаря с период 33 и дава остатъците2,5,0,2,5,0,.2,5,0,2,5,0,\dots.Така получаваме безбройно много елементи на SS от класовете 7m7m, 7m+27m+2 и 7m+57m+5. За останалите два класа използваме третото уравнение. НекаXr+srx212=(7+2x212)rX_r+s_r\sqrt{\vphantom{x^2}12}=(7+2\sqrt{\vphantom{x^2}12})^r\qquad(r=1,2,3,),(r=1,2,3,\dots),и поставямеn=3sr,k=3(Xr+1)2.n=3s_r,\qquad k=\frac{3(X_r+1)}2.Тогава XrX_r е нечетно и от Xr212sr2=1X_r^2-12s_r^2=1 следва(2k3)212n2=9,(2k-3)^2-12n^2=9,тоест k2=3(n2+k)k^2=3(n^2+k). Освен това k2nk\le2n, защото Xr+14srX_r+1\le4s_r. Следователно тези nn също са елементи на SS. По модул 77 редицата 3sr3s_r се повтаря с период 44 и дава остатъците6,0,1,0,6,0,1,0,.6,0,1,0,6,0,1,0,\dots.Така получаваме безбройно много елементи и от класовете 7m+17m+1 и 7m+67m+6. Това завършва доказателството.

2017

4 задачи

Задача 2

Пълен запис
Условие
Да се намери най-малкото положително цяло число kk, за което съществуват оцветяване на положителните цели числа Z>0\mathbb Z_{\gt{}0} в kk цвята и функция f:Z>0Z>0f:\mathbb Z_{\gt{}0}\to\mathbb Z_{\gt{}0} със следните две свойства: 1. За всички едноцветни положителни цели числа m,nm,n е изпълнено f(m+n)=f(m)+f(n)f(m+n)=f(m)+f(n). 2. Съществуват положителни цели числа m,nm,n, за които f(m+n)f(m)+f(n)f(m+n)\ne f(m)+f(n).
РешениеОтговорът е k=3k=3. Конструкцията за k=3k=3 е следната. Оцветяваме числата според остатъка им по модул 33 и дефинирамеf(n)={n/3,n0(mod3),n,иначе.f(n)=\begin{cases} n/3, & n\equiv0\pmod3,\\ n, & \text{иначе}. \end{cases}Ако mm и nn са едноцветни, то лесно се проверява, че f(m+n)=f(m)+f(n)f(m+n)=f(m)+f(n). От друга страна, f(1+2)=f(3)=1f(1+2)=f(3)=1, докато f(1)+f(2)=3f(1)+f(2)=3, така че второто свойство също е изпълнено. Остава да докажем, че два цвята не стигат. Всъщност ще докажем малко по-силно твърдение: при два цвята всяка функция f:Z>0R>0f:\mathbb Z_{\gt{}0}\to\mathbb R_{\gt{}0}, която удовлетворява първото свойство, е линейна. След умножаване с положителна константа можем да считаме, че f(1)=1f(1)=1. Цветовете ще наричаме червен и син. Първо, за всяко nn имамеf(2n)=f(n+n)=2f(n),f(2n)=f(n+n)=2f(n),защото nn е едноцветно със себе си. Ще докажем по индукция, че f(r)=rf(r)=r за всяко положително цяло rr. Нека вече знаем това за 1,2,,2n1,2,\dots,2n, и поставяме m=2n+1m=2n+1. Без ограничение нека mm е червено. Да допуснем, че f(m)mf(m)\ne m. Числото m2m-2 не може да е червено, защото тогаваf(2m2)=f(m)+f(m2),f(2m-2)=f(m)+f(m-2),а лявата страна е 2f(m1)=2m22f(m-1)=2m-2, докато f(m2)=m2f(m-2)=m-2, откъдето би следвало f(m)=mf(m)=m. Значи m2m-2 е синьо. Тогава числото 22 трябва да е червено; ако беше синьо, щяхме да имамеf(m)=f(2+(m2))=f(2)+f(m2)=m,f(m)=f(2+(m-2))=f(2)+f(m-2)=m,противоречие. Понеже mm и 22 са червени, получавамеf(m+2)=f(m)+2.f(m+2)=f(m)+2.Ако m+2m+2 е червено, тоf(2m+2)=f(m+2)+f(m)=2f(m)+2.f(2m+2)=f(m+2)+f(m)=2f(m)+2.Но f(2m+2)=2f(m+1)=2m+2f(2m+2)=2f(m+1)=2m+2, следователно f(m)=mf(m)=m, противоречие. Ако пък m+2m+2 е синьо, то2f(m)=f(2m)=f((m+2)+(m2))=2f(m)=f(2m)=f((m+2)+(m-2))=f(m+2)+f(m2)=f(m)+m,f(m+2)+f(m-2)=f(m)+m,откъдето пак f(m)=mf(m)=m. И в двата случая получаваме противоречие, така че наистина f(m)=mf(m)=m. Индукцията доказва f(r)=rf(r)=r за всички rr. Следователно при два цвята първото свойство принуждава функцията да бъде адитивна за всички двойки, което прави второто свойство невъзможно. При един цвят това е още по-ясно. Затова минималното kk е 33.

Задача 3

Пълен запис
Условие
В равнината са дадени 20172017 прави, като никои три от тях не минават през една точка. Охлювът Турбо стои в точка, която лежи върху точно една от правите, и започва да се плъзга по правите по следния начин. Тя се движи по дадена права, докато стигне до пресечна точка на две прави. В пресечната точка продължава по другата права, като завива наляво или надясно, и редува избора си при всяка пресечна точка, която достигне. Тя може да сменя посоката си само в пресечни точки. Възможно ли е да съществува отсечка от права, през която Турбо минава и в двете посоки по време на своето движение?
РешениеОтговорът е не. Оцветяваме областите, на които правите разделят равнината, шахматно в черно и бяло: две области с обща страна имат различни цветове. Това е възможно, защото при преминаване през права цветът просто се сменя. Да проследим движението на Турбо. Когато тя стигне до пресечна точка и мине на другата права, завиването наляво или надясно определя около коя от съседните области се движи в този момент. Понеже при следващата пресечна точка изборът се сменя, а цветът на областта от съответната страна също се сменя, получаваме следния инвариант: Турбо винаги обхожда границите на черните области с една и съща ориентация, а границите на белите области с противоположната ориентация. Ако някоя отсечка бъде премината в двете посоки, то двете области от двете страни на тази отсечка биха били обхождани веднъж в едната и веднъж в обратната ориентация. Това противоречи на описания инвариант. Следователно такава отсечка не може да съществува.

Задача 4

Пълен запис
Условие
Нека n1n\ge1 е цяло число и нека t1<t2<<tnt_1\lt{}t_2\lt{}\dots\lt{}t_n са положителни цели числа. В група от tn+1t_n+1 души се играят няколко партии шах. Всеки двама души могат да играят помежду си най-много веднъж. Докажете, че е възможно едновременно да са изпълнени следните две условия: 1. Броят партии, изиграни от всеки човек, е едно от числата t1,t2,,tnt_1,t_2,\dots,t_n. 2. За всяко ii с 1in1\le i\le n има човек, който е изиграл точно tit_i партии шах.
РешениеЩе преведем задачата на езика на графите. Търсим прост граф GG с tn+1t_n+1 върха, така че всички степени да принадлежат на множеството {t1,t2,,tn}\{t_1,t_2,\dots,t_n\} и всяка от тези степени да се среща поне веднъж. Доказваме съществуването с индукция по nn. При n=1n=1 вземаме пълен граф върху t1+1t_1+1 върха; тогава всяка степен е t1t_1. При n=2n=2 вземаме пълен граф върху t1t_1 върха и празен граф върху t2+1t1t_2+1-t_1 върха, след което свързваме всеки връх от първата част с всеки връх от втората част. Върховете от първата част имат степен t2t_2, а върховете от втората имат степен t1t_1, така че и двете степени се срещат. Нека сега n3n\ge3. По индукционното предположение съществува пример за (n2)(n-2)-торката(t2t1, t3t1, , tn1t1),(t_2-t_1,\ t_3-t_1,\ \dots,\ t_{n-1}-t_1),който има tn1t1+1t_{n-1}-t_1+1 върха. Към него добавяме tntn1t_n-t_{n-1} изолирани върха. Накрая добавяме още t1t_1 универсални върха, тоест върхове, свързани с всички останали върхове и помежду си. Сега старите върхове от индукционния пример увеличават степените си с t1t_1 и така дават степените t2,t3,,tn1t_2,t_3,\dots,t_{n-1}. Новите изолирани върхове стават със степен t1t_1, защото са свързани само с универсалните върхове. Самите универсални върхове имат степен tnt_n, понеже общият брой върхове е tn+1t_n+1. Следователно всички степени t1,t2,,tnt_1,t_2,\dots,t_n се срещат и други степени няма. Това завършва индукцията и доказателството.

Задача 6

Пълен запис
Условие
Нека ABCABC е остроъгълен разностранен триъгълник. Отраженията на медицентъра GG и на центъра OO на описаната окръжност на ABCABC спрямо страните BCBC, CACA и ABAB се означават съответно с G1G_1, G2G_2, G3G_3 и O1O_1, O2O_2, O3O_3. Докажете, че описаните окръжности на триъгълниците G1G2CG_1G_2C, G1G3BG_1G_3B, G2G3AG_2G_3A, O1O2CO_1O_2C, O1O3BO_1O_3B, O2O3AO_2O_3A и ABCABC имат обща точка.
РешениеЩе използваме комплексни числа върху единичната описана окръжност на ABCABC. Нека PP е произволна точка. Нека PBP_B и PCP_C са отраженията на PP съответно спрямо правите ABAB и ACAC, а QBQ_B и QCQ_C са вторите пресечни точки на правите APBAP_B и APCAP_C с описаната окръжност. Ще намерим втората пресечна точка на окръжностите (APBPC)(AP_BP_C) и (AQBQC)=(ABC)(AQ_BQ_C)=(ABC). От формулата за отражение спрямо хорда на единичната окръжност имамеpB=a+cacp,pC=a+babp.p_B=a+c-ac\overline p,\qquad p_C=a+b-ab\overline p.За да намерим qBq_B, използваме колинеарността на AA, PBP_B и QBQ_B:a+qB=pB+aqBpB=a+cacp+aqB(1a+1cpac),\begin{aligned} a+q_B&=p_B+aq_B\overline{p_B}\\ &=a+c-ac\overline p+aq_B\left(\frac1a+\frac1c-\frac{p}{ac}\right), \end{aligned}откъдетоqB=c2ap1ap.q_B=c^2\frac{a\overline p-1}{a-p}.АналогичноqC=b2ap1ap.q_C=b^2\frac{a\overline p-1}{a-p}.Следователно търсената пресечна точка еpBqCpCqBpBpC+qCqB=(ap1ap)(b2(a+cacp)c2(a+babp))(bc)(ap1)+(b2c2)ap1ap=b2(a+cacp)c2(a+babp)(bc)(ap)+(b2c2)=(bc)(a(b+c)+bc)(bc)abcp(ap)+(b+c)=ab+bc+caabcpa+b+cp.\begin{aligned} \frac{p_Bq_C-p_Cq_B}{p_B-p_C+q_C-q_B} &=\frac{\left(\frac{a\overline p-1}{a-p}\right)\left(b^2(a+c-ac\overline p)-c^2(a+b-ab\overline p)\right)}{(b-c)(a\overline p-1)+(b^2-c^2)\cdot\frac{a\overline p-1}{a-p}}\\ &=\frac{b^2(a+c-ac\overline p)-c^2(a+b-ab\overline p)}{(b-c)(a-p)+(b^2-c^2)}\\ &=\frac{(b-c)(a(b+c)+bc)-(b-c)abc\overline p}{(a-p)+(b+c)}\\ &=\frac{ab+bc+ca-abc\overline p}{a+b+c-p}. \end{aligned}Този израз е симетричен по aa, bb и cc. Сега вземаме P=GP=G, т.е. p=13(a+b+c)p=\frac13(a+b+c), и P=OP=O, т.е. p=0p=0. В двата случая получаваме една и съща точка от описаната окръжност на ABCABC; същата формула е симетрична, затова при циклична смяна на ролите на върховете тя лежи върху всички шест окръжности, построени от отраженията на GG и OO. Следователно тези шест окръжности и описаната окръжност на ABCABC имат обща точка.

2018

4 задачи

Задача 2

Пълен запис
Условие
Разгледайте множествотоA={1+1k:k=1,2,3,}.A=\left\{1+\frac1k:k=1,2,3,\dots\right\}.За всяко цяло число x2x\ge2 нека f(x)f(x) означава най-малкото цяло число, за което xx може да се представи като произведение на f(x)f(x) елемента на AA (не задължително различни). Докажете, че съществуват безкрайно много двойки цели числа x2x\ge2 и y2y\ge2, за коитоf(xy)<f(x)+f(y).f(xy)\lt{}f(x)+f(y).
РешениеЕдна от многото възможни конструкции е следната. Нека n=2e+1n=2^e+1, където e5(mod10)e\equiv5\pmod {10}, и вземамеx=11,y=n11.x=11,\qquad y=\frac n{11}.Тогава yy е цяло число, защото 251(mod11)2^5\equiv-1\pmod {11}. Първо ще използваме две малки наблюдения. За всяко m2m\ge2 имамеf(m)log2m,f(m)\ge \left\lceil\log_2 m\right\rceil,понеже всеки елемент на AA е най-много 22. От друга страна,n=nn12e=(1+1n1)2e,n=\frac n{n-1}\cdot 2^e=\left(1+\frac1{n-1}\right)\cdot 2^e,така че f(n)=e+1f(n)=e+1. Остава да знаем, че f(11)=5f(11)=5. Действително,11=33324323,11=\frac{33}{32}\cdot\frac43\cdot2^3,следователно f(11)5f(11)\le5. Ако имаше представяне с най-много четири множителя, някой от множителите трябва да има числител, делящ се на 1111; всеки такъв множител е най-много 1110\frac{11}{10}. Но тогава останалите най-много три множителя са най-много 22, и произведението е най-много231110<11,2^3\cdot\frac{11}{10}\lt{}11,противоречие. Значи f(11)=5f(11)=5. Накрая получавамеf(11)+f(n/11)f(11)+f(n/11)\ge5+log2(n/11)=1+log2(16n/11)>1+e=f(n).5+\log_2(n/11)=1+\log_2(16n/11)\gt{}1+e=f(n).Понеже xy=nxy=n, това дава f(xy)<f(x)+f(y)f(xy)\lt{}f(x)+f(y). Такива ee има безкрайно много, следователно и търсените двойки са безкрайно много.

Задача 3

Пълен запис
Условие
nn-те състезателки на EGMO са означени с C1,C2,,CnC_1,C_2,\dots,C_n. След състезанието те се нареждат на опашка пред ресторанта по следните правила. - Журито избира началния ред на състезателките в опашката. - Всяка минута журито избира цяло число ii с 1in1\le i\le n. - Ако пред състезателката CiC_i има поне ii други състезателки, тя плаща едно евро на журито и се премества напред в опашката с точно ii позиции. - Ако пред състезателката CiC_i има по-малко от ii други състезателки, ресторантът отваря и процесът завършва. За всяко nn докажете, че този процес непременно завършва, и намерете най-големия брой евро, който журито може да събере чрез хитър избор на началния ред и на последователността от ходове.
РешениеМаксималната сума е1+3+7++(2n11)=2nn1.1+3+7+\dots+(2^{n-1}-1)=2^n-n-1.Това число е крайно, така че едновременно ще докажем и че процесът не може да продължава безкрайно. Да наречем всеки платен ход скок и нека xix_i е броят скокове на CiC_i. Забелязваме две неща. Първо, когато CiC_i скача, тя прескача поне една състезателка CjC_j с j>ij\gt{}i. Второ, фиксирана състезателка CiC_i може да прескочи дадена CjC_j с j>ij\gt{}i най-много 1+xj1+x_j пъти: първото прескачане може да се случи преди CjC_j изобщо да се е движила, а всяко следващо изисква CjC_j междувременно да е скочила обратно пред CiC_i. Оттук xn=0x_n=0, а за всяко i<ni\lt{}n имамеxij=i+1n(1+xj).x_i\le\sum_{j=i+1}^n(1+x_j).Следователноxn11,xn2(1+xn1)+(1+xn)3,x_{n-1}\le1,\qquad x_{n-2}\le(1+x_{n-1})+(1+x_n)\le3,и по същия начин индуктивноxi2ni1.x_i\le 2^{n-i}-1.Сумирането по всички ii дава горната граница 2nn12^n-n-1. Остава да построим стратегия, която я достига. Конструкцията е индуктивна. За n=3n=3 например, ако ресторантът е отдясно, може да се получи последователносттаC1C2C3C2C1C3C2C3C1C3C1C2C3C2C1\begin{array}{ccc} C_1&C_2&C_3\cr C_2&C_1&C_3\cr C_2&C_3&C_1\cr C_3&C_1&C_2\cr C_3&C_2&C_1 \end{array}с четири платени скока. В общия случай започваме от обратния ред. Първо прилагаме индукционната стратегия само върху C1,C2,,Cn1C_1,C_2,\dots,C_{n-1}, така че техният ред да се обърне. После всяка от C1,C2,,Cn1C_1,C_2,\dots,C_{n-1} скача веднъж през CnC_n. След това повтаряме същата индукционна стратегия върху първите n1n-1 състезателки. Така броят събрани евро ana_n удовлетворяваa1=0,an=2an1+(n1),a_1=0,\qquad a_n=2a_{n-1}+(n-1),откъдето an=2nn1a_n=2^n-n-1. Това съвпада с горната граница.

Задача 4

Пълен запис
Условие
Нека n3n\ge3 е цяло число. Върху дъска n×nn\times n са поставени няколко неприпокриващи се домина. Стойността на ред или колона е броят домина, които покриват поне една клетка от този ред или тази колона. Конфигурация от домина се нарича балансирана, ако съществува k1k\ge1, така че всеки ред и всяка колона има стойност kk. Докажете, че за всяко n3n\ge3 съществува балансирана конфигурация, и намерете най-малкия възможен брой домина в такава конфигурация.
РешениеОтговорът е2n3ако n0(mod3),\frac{2n}{3}\quad\text{ако } n\equiv0\pmod3,и2nвъв всички останали случаи.2n\quad\text{във всички останали случаи}.Първо доказваме, че по-малко не може. Нека в балансирана конфигурация има dd домина и общата стойност на всеки ред и всяка колона е kk. Броим наредените двойки(ред или колона, домино, което докосва този ред или колона).(\text{ред или колона},\ \text{домино, което докосва този ред или колона}).От една страна, има 2n2n реда и колони общо, всеки със стойност kk, така че броят е 2nk2nk. От друга страна, всяко домино докосва или един ред и две колони, или два реда и една колона; във всички случаи то допринася точно 33. Значи2nk=3d,2nk=3d,тоестd=2nk3.d=2n\cdot\frac{k}{3}.Понеже k1k\ge1, първите възможни стойности са 2n3,4n3,2n,\frac{2n}{3},\frac{4n}{3},2n,\dots; вземаме първата, която е цяло число. Това дава долната граница по-горе. Сега даваме конструкции. Ако n0(mod3)n\equiv0\pmod3, поставяме по главния диагонал блокове 3×33\times3 от вида[AABB].\begin{bmatrix} A&A& \\ & &B\\ & &B \end{bmatrix}.Във всеки такъв блок има две домина и k=1k=1, следователно общият брой е 2n/32n/3. Остава случаят n≢0(mod3)n\not\equiv0\pmod3. За n=4,5,6,7n=4,5,6,7 имаме следните блокове с k=3k=3 и съответно 2n2n домина:[AABCDDBCWXYYWXZZ][AABBCHXCHXDGYYDGFFEE]\begin{bmatrix} A&A&B&C\\ D&D&B&C\\ W&X&Y&Y\\ W&X&Z&Z \end{bmatrix} \qquad \begin{bmatrix} A&A&B&B&C\\ H&X& & &C\\ H&X& & &D\\ G& &Y&Y&D\\ G&F&F&E&E \end{bmatrix}[AABCDDBCWWYZXXYZPQRRPQSS][AABBCWWXCPXDHPDHZQQGZYYGFFEE].\begin{bmatrix} A&A&B&C& & \\ D&D&B&C& & \\ & &W&W&Y&Z\\ & &X&X&Y&Z\\ P&Q& & &R&R\\ P&Q& & &S&S \end{bmatrix} \qquad \begin{bmatrix} A&A&B&B& & &C\\ &W&W& & &X&C\\ & &P& & &X&D\\ H& &P& & & &D\\ H&Z& &Q&Q& & \\ G&Z& & &Y&Y& \\ G& & &F&F&E&E \end{bmatrix}.Всеки по-голям размер nn може да се получи като сбор на числа от {4,5,6,7}\{4,5,6,7\}, а блоковете се поставят по главния диагонал. Така получаваме балансирана конфигурация с k=3k=3 и точно 2n2n домина за всички останали n4n\ge4.n=3ABn=4ABCDWXYZn=5ABCHXDGYFEn=6ABCDWYZXPQRSn=7ABCWXPDHZQGYFE

Задача 6

Пълен запис
Условие
Фиксирано е реално число 0<t<120\lt{}t\lt{}\frac12. (a) Докажете, че съществува положително цяло число nn, такова че за всяко множество SS от nn положителни цели числа е изпълнено следното: съществуват различни x,ySx,y\in S и неотрицателно цяло число m0m\ge0, за коитоxmyty.|x-my|\le ty.(b) Определете дали съществува безкрайно множество SS от положителни цели числа със следното свойство: за всеки две различни x,ySx,y\in S и всяко положително цяло число m>0m\gt{}0 имамеxmy>ty.|x-my|\gt{}ty.
РешениеПърво доказваме (a). Да допуснем противното за някакво голямо nn и некаS={s1<s2<<sn}.S=\{s_1\lt{}s_2\lt{}\dots\lt{}s_n\}.Понеже условието не трябва да се случва дори при m=0m=0, за всяко j2j\ge2 имамеs1>tsj,s_1\gt{}t s_j,и следователно1>s1s2>s1s3>>s1sn>t.1\gt{}\frac{s_1}{s_2}\gt{}\frac{s_1}{s_3}\gt{}\dots\gt{}\frac{s_1}{s_n}\gt{}t.Избираме nn толкова голямо, че (1t)n2<t(1-t)^{n-2}\lt{}t. Ако всяко две съседни отношения в горната редица се различаваха по множител повече от 1t1-t, щяхме да получимs1sn<(1t)n2<t,\frac{s_1}{s_n}\lt{}(1-t)^{n-2}\lt{}t,което противоречи на вече доказаното s1sn>t\frac{s_1}{s_n}\gt{}t. Значи за някои i<ji\lt{}j имамеsisj1t.\frac{s_i}{s_j}\ge1-t.Следователноsisj=sjsitsj,|s_i-s_j|=s_j-s_i\le t s_j,което е забраненият случай с x=six=s_i, y=sjy=s_j и m=1m=1. Това противоречие доказва (a). За (b) отговорът е да. Ще построим такова множество с жаден алгоритъм. Избираме голямо цяло число NN, за коетоt<121N.t\lt{}\frac12-\frac1N.Ще дефинирамеS={s1<s2<}S=\{s_1\lt{}s_2\lt{}\dots\}индуктивно. Първо нека s1s_1 е произволно просто число, по-голямо от NN. След като вече са избрани s1,,sks_1,\dots,s_k, избираме sk+1s_{k+1} да бъде просто число, по-голямо от 2sk2s_k, и такова чеsk+1si12(modsi)(i=1,2,,k).s_{k+1}\equiv\frac{s_i-1}{2}\pmod {s_i}\qquad (i=1,2,\dots,k).Това е възможно по китайската теорема за остатъците и теоремата на Дирихле за прости числа в аритметични прогресии. Проверяваме свойството. Ако i<ji\lt{}j, тогава si/sj<1/2s_i/s_j\lt{}1/2. Затова при x=six=s_i, y=sjy=s_j и всяко положително mm имамеsimsj>tsj,|s_i-ms_j|\gt{}t s_j,понеже най-близкият случай е m=1m=1, а тогава sjsi>sj/2>tsjs_j-s_i\gt{}s_j/2\gt{}t s_j. В обратната посока разглеждаме x=sjx=s_j, y=siy=s_i. По конструкция дробната част на sj/sis_j/s_i еsi12si=1212si.\frac{s_i-1}{2s_i}=\frac12-\frac1{2s_i}.Тя е на разстояние повече от tt от всяко цяло число, защото si>Ns_i\gt{}N и t<121Nt\lt{}\frac12-\frac1N. Следователно за всяко положително цяло mm имамеsjmsi>tsi.|s_j-ms_i|\gt{}t s_i.Това доказва, че построеното безкрайно множество SS има исканото свойство.

2019

5 задачи

Задача 1

Пълен запис
Условие
Намерете всички тройки (a,b,c)(a,b,c) от реални числа, за които ab+bc+ca=1ab+bc+ca=1 иa2b+c=b2c+a=c2a+b.a^2b+c=b^2c+a=c^2a+b.
РешениеОтговорът е(13,13,13),\left(\frac1{\sqrt3},\frac1{\sqrt3},\frac1{\sqrt3}\right),(13,13,13),\qquad \left(-\frac1{\sqrt3},-\frac1{\sqrt3},-\frac1{\sqrt3}\right),както и всички пермутации на (1,1,0)(1,1,0) и (1,1,0)(-1,-1,0). Лесно се проверява, че всички тези тройки работят. Сега ще докажем, че други няма. Използваме условието ab+bc+ca=1ab+bc+ca=1, за да хомогенизираме първото равенство:a2b+c(ab+bc+ca)=b2c+a(ab+bc+ca).a^2b+c(ab+bc+ca)=b^2c+a(ab+bc+ca).След съкращаване това е еквивалентно наc2(a+b)=c(a2+b2),c^2(a+b)=c(a^2+b^2),тоестc=0илиa2+b2=c(a+b).c=0\quad\text{или}\quad a^2+b^2=c(a+b).Получаваме и двете циклични аналогични условия. Ако някоя от променливите е нула, например a=0a=0, тогава от bc=1bc=1 следва, че bb и cc са ненулеви. Първоначалното равенство дава c=b2c=bc=b^2c=b, откъдето b=c=1b=c=1 или b=c=1b=c=-1. Това дава точно пермутациите на (1,1,0)(1,1,0) и (1,1,0)(-1,-1,0). Остава случаят, когато a,b,ca,b,c са ненулеви. Тогава имамеa2+b2=c(a+b),b2+c2=a(b+c),a^2+b^2=c(a+b),\qquad b^2+c^2=a(b+c),c2+a2=b(c+a).\qquad c^2+a^2=b(c+a).Сумирайки, получаваме2(a2+b2+c2)=2(ab+bc+ca),2(a^2+b^2+c^2)=2(ab+bc+ca),следователно(ab)2+(bc)2+(ca)2=0.(a-b)^2+(b-c)^2+(c-a)^2=0.Значи a=b=ca=b=c. От ab+bc+ca=1ab+bc+ca=1 следва 3a2=13a^2=1, което дава двете равни тройки по-горе.

Задача 2

Пълен запис
Условие
Нека nn е положително цяло число. Върху дъска 2n×2n2n\times 2n са поставени домино плочки така, че всяка клетка на дъската е съседна по страна на точно една клетка, покрита от домино. За всяко nn определете най-големия брой домино плочки, които могат да бъдат поставени по този начин.
РешениеОтговорът е(n+12).\binom{n+1}{2}.Ще наричаме аура на едно домино множеството от всички клетки, които са съседни по страна на клетка от това домино. По условие всяка клетка на дъската принадлежи на точно една такава аура, следователно аурите разбиват всички 4n24n^2 клетки на дъската. Конструкцията, която достига (n+12)\binom{n+1}{2} домино плочки, се получава от показания повтарящ се строеж. Цветните многоъгълници са аурите; в краищата на дъската някои от тях се отрязват от границата.Една аура може да съдържа най-много 88 клетки, но ако границата на дъската я отреже, може да остане и с едва 55 клетки. Нека a,b,c,ka,b,c,k са броевете на аурите, които съдържат съответно 5,6,7,85,6,7,8 клетки. Търсим горна граница за a+b+c+ka+b+c+k. Освен товаa4,a\le4,защото аура с 55 клетки непременно използва ъгъл на дъската. Ключовото наблюдение за отрязаните аури е следното: аурите, броени от aa, bb и cc, имат съответно 44, 44 и между 33 и 44 гранични клетки, където гранични наричаме клетките, които докосват страна на дъската. Понеже общият брой гранични клетки е 4(2n1)4(2n-1), получаваме4a+4b+3c4(2n1).4a+4b+3c\le4(2n-1).От друга страна, понеже аурите разбиват дъската,5a+6b+7c+8k=4n2.5a+6b+7c+8k=4n^2.Следователно4n2+2(2n1)(5a+6b+7c+8k)+(2a+2b+1.5c)=8(a+b+c+k)+0.5ca8(a+b+c+k)4.\begin{align*} 4n^2+2(2n-1)&\ge(5a+6b+7c+8k)+(2a+2b+1.5c)\\ &=8(a+b+c+k)+0.5c-a\\ &\ge8(a+b+c+k)-4. \end{align*}Значиn(n+1)2+14a+b+c+k.\frac{n(n+1)}2+\frac14\ge a+b+c+k.Тъй като a+b+c+ka+b+c+k е цяло число, оттук следваa+b+c+kn(n+1)2=(n+12).a+b+c+k\le\frac{n(n+1)}2=\binom{n+1}{2}.Това дава исканата горна граница, а конструкцията по-горе показва, че тя се достига. Всъщност решението на IMO 1999/3 дава и друг кратък поглед към обратната оценка. Оцветете дъската на пръстени, както е показано по-долу.Всяка аура покрива точно четири сини клетки. Броят на сините клетки при това оцветяване е 2n(n+1)2n(n+1), следователно броят на аурите, а значи и на поставените домино плочки, не може да надмине2n(n+1)4=(n+12).\frac{2n(n+1)}4=\binom{n+1}{2}.Това съвпада с конструкцията и завършва решението.

Задача 4

Пълен запис
Условие
Нека ABCABC е триъгълник с инцентър II. Окръжността, която минава през BB и се допира до правата AIAI в II, пресича страната ABAB повторно в точка PP. Окръжността, която минава през CC и се допира до правата AIAI в II, пресича страната ACAC повторно в точка QQ. Докажете, че PQPQ се допира до вписаната окръжност на ABCABC.
РешениеНека EE и FF са допирните точки на вписаната окръжност съответно със страните ACAC и ABAB.ABCIDEFPQTРаботим с насочени ъгли. От теоремата за ъгъла между допирателна и хорда, приложена към окръжността през B,I,PB,I,P, получавамеAIP=IBP=IBA=12B,\angle AIP=\angle IBP=\angle IBA=\frac12\angle B,защото PP лежи върху ABAB, а BIBI е ъглополовяща. Освен това IFABIF\perp AB, а AIAI е ъглополовяща в AA, следователноAIF=9012A.\angle AIF=90^\circ-\frac12\angle A.ЗатоваPIF=AIFAIP=\angle PIF=\angle AIF-\angle AIP=(9012A)12B=12C.\left(90^\circ-\frac12\angle A\right)-\frac12\angle B=\frac12\angle C.Същият аргумент за окръжността през C,I,QC,I,Q даваEIQ=12B.\angle EIQ=\frac12\angle B.Нека TpT_p е втората допирна точка от PP към вписаната окръжност, различна от FF, а TqT_q е втората допирна точка от QQ, различна от EE. Понеже двете допирателни от една външна точка са равни, триъгълниците PIFPIF и PITpPIT_p са правоъгълни с обща хипотенуза и равни катети IF=ITpIF=IT_p. СледователноTpIF=2PIF=C.\angle T_pIF=2\angle PIF=\angle C.АналогичноEITq=2EIQ=B.\angle EIT_q=2\angle EIQ=\angle B.От друга страна, радиусите IEIE и IFIF са перпендикулярни съответно на ACAC и ABAB, така чеEIF=180A=B+C.\angle EIF=180^\circ-\angle A=\angle B+\angle C.Следователно точките TpT_p и TqT_q съвпадат; означаваме общата им стойност с TT. Правите PTPT и QTQT са допирателни към вписаната окръжност в една и съща точка TT, затова те са една и съща допирателна. Значи P,T,QP,T,Q са колинеарни и правата PQPQ се допира до вписаната окръжност. С други думи, в това доказателство същественото ъглово съдържание е равенството PIQ=9012A\angle PIQ=90^\circ-\frac12\angle A, което следва от същото пресмятане.

Задача 5

Пълен запис
Условие
Нека n2n\ge2 е цяло число и нека a1,a2,,ana_1,a_2,\dots,a_n са положителни цели числа. Докажете, че съществуват положителни цели числа b1,b2,,bnb_1,b_2,\dots,b_n, които удовлетворяват следните три условия: - aibia_i\le b_i за i=1,2,,ni=1,2,\dots,n; - остатъците на b1,b2,,bnb_1,b_2,\dots,b_n при деление на nn са две по две различни; - b1++bnn(n12+a1++ann).b_1+\dots+b_n\le n\left(\frac{n-1}{2}+\left\lfloor\frac{a_1+\dots+a_n}{n}\right\rfloor\right).
РешениеПърво свеждаме задачата до случая 1ain1\le a_i\le n за всяко ii. Ако някое ai>na_i\gt{}n, можем да заменим aia_i с aina_i-n; след намиране на подходящо bib_i за намалената задача добавяме обратно nn към съответното bib_i. Остатъкът по модул nn не се променя, а двете страни на желаната оценка за сумата се увеличават с едно и също число nn. Повтаряйки това, получаваме 1ain1\le a_i\le n. Сега избираме на случаен принцип равномерна пермутация σ\sigma на множеството {1,2,,n}\{1,2,\dots,n\} и дефинирамеbi={σ(i),ако σ(i)ai,n+σ(i),ако σ(i)<ai.b_i= \begin{cases} \sigma(i), & \text{ако } \sigma(i)\ge a_i,\\ n+\sigma(i), & \text{ако } \sigma(i)\lt{}a_i. \end{cases}Тогава biaib_i\ge a_i за всяко ii, а остатъците на bib_i по модул nn са точно остатъците на различните числа σ(i)\sigma(i), следователно са две по две различни. Нека eσe_\sigma е броят на индексите ii, за които σ(i)<ai\sigma(i)\lt{}a_i. Тогаваb1++bn=1+2++n+neσ=n(n+1)2+neσ.b_1+\dots+b_n=1+2+\dots+n+n e_\sigma=\frac{n(n+1)}2+n e_\sigma.За фиксирано ii вероятността σ(i)<ai\sigma(i)\lt{}a_i е (ai1)/n(a_i-1)/n, затоваE[eσ]=(a11)++(an1)n=\mathbb E[e_\sigma]=\frac{(a_1-1)+\dots+(a_n-1)}{n}=a1++annn.\frac{a_1+\dots+a_n-n}{n}.Следователно съществува пермутация, за коятоeσa1++annn=a1++ann1.e_\sigma\le \left\lfloor\frac{a_1+\dots+a_n-n}{n}\right\rfloor=\left\lfloor\frac{a_1+\dots+a_n}{n}\right\rfloor-1.За тази пермутация получавамеb1++bnn(n+1)2+n(a1++ann1),b_1+\dots+b_n\le\frac{n(n+1)}2+n\left(\left\lfloor\frac{a_1+\dots+a_n}{n}\right\rfloor-1\right),което е точноb1++bnn(n12+a1++ann).b_1+\dots+b_n\le n\left(\frac{n-1}{2}+\left\lfloor\frac{a_1+\dots+a_n}{n}\right\rfloor\right).Така исканите числа b1,,bnb_1,\dots,b_n съществуват.

Задача 6

Пълен запис
Условие
Върху окръжност Алина начертава 20192019 хорди, чиито краища са всички различни. Една точка се нарича маркирана, ако е или - един от 40384038-те края на хорда; или - пресечна точка на поне две хорди. От 40384038-те точки от първия вид Алина означава 20192019 точки с 00, а останалите 20192019 точки с 11. Всяка точка от втория вид тя означава с произволно цяло число, не непременно положително. По всяка хорда Алина разглежда отсечките между две съседни маркирани точки. (Ако върху една хорда има kk маркирани точки, тя дава k1k-1 такива отсечки.) Върху всяка такава отсечка тя записва в жълто сбора на числата в двата ѝ края, а в синьо - абсолютната стойност на тяхната разлика. Алина установява, че жълтите числа, които са N+1N+1 на брой, приемат всяка от стойностите 0,1,,N0,1,\dots,N точно по веднъж. Докажете, че поне едно синьо число е кратно на 33.
РешениеЩе използваме само остатъците на означенията по модул 33. Да допуснем противното: никое синьо число не е кратно на 33. Тогава двата края на всяка разглеждана отсечка имат различни остатъци по модул 33. За 0i<j20\le i\lt{}j\le2 нека eije_{ij} е броят на отсечките, чиито краища имат остатъци ii и jj по модул 33. Ще преброим по модул 22 краищата на отсечки, инцидентни с върхове от даден остатък. Всяка вътрешна пресечна точка на хорди участва в четен брой такива краища, защото през нея минават поне две хорди и всяка дава по две съседни отсечки. Краят на хорда участва в точно един такъв край. Понеже има 20192019 крайни точки с означение 00 и 20192019 крайни точки с означение 11, а няма крайни точки с означение 22, получавамеe01+e021(mod2),e_{01}+e_{02}\equiv1\pmod2,e01+e121(mod2),e_{01}+e_{12}\equiv1\pmod2,e02+e120(mod2).e_{02}+e_{12}\equiv0\pmod2.Следователно e02e_{02} и e12e_{12} имат еднаква четност, а e01e_{01} има противоположна четност. От друга страна, жълтото число върху отсечка от тип 0101 е 11 по модул 33, върху отсечка от тип 0202 е 22 по модул 33, а върху отсечка от тип 1212 е 00 по модул 33. Понеже жълтите числа са точно 0,1,,N0,1,\dots,N, ако M=N+1M=N+1 е броят на отсечките, то броевете на жълтите числа с остатъци 0,1,20,1,2 по модул 33 са съответно: - (q,q,q)(q,q,q), ако M=3qM=3q; - (q+1,q,q)(q+1,q,q), ако M=3q+1M=3q+1; - (q+1,q+1,q)(q+1,q+1,q), ако M=3q+2M=3q+2. Това означава, че (e12,e01,e02)(e_{12},e_{01},e_{02}) е една от тези три тройки. Ако M=3qM=3q, трите числа имат еднаква четност, което противоречи на факта, че e01e_{01} е с противоположна четност на e02e_{02}. Ако M=3q+1M=3q+1, числата e12=q+1e_{12}=q+1 и e02=qe_{02}=q имат различна четност, противоречие. Ако M=3q+2M=3q+2, числата e12=q+1e_{12}=q+1 и e01=q+1e_{01}=q+1 имат еднаква четност, отново противоречие. И в трите случая стигаме до невъзможност. Следователно поне едно синьо число е кратно на 33.

2020

4 задачи

Задача 1

Пълен запис
Условие
Нека a0,a1,a2,,a3030a_0,a_1,a_2,\ldots,a_{3030} е редица от положителни цели числа, за която2an+2=an+1+4an2a_{n+2}=a_{n+1}+4a_nза n=0,1,,3028n=0,1,\ldots,3028. Докажете, че поне един от членовете на редицата се дели на 220202^{2020}.
РешениеЩе докажем по-силното твърдение: за всяко N1N\ge1, ако положителни цели числаa0,a1,,a3Na_0,a_1,\ldots,a_{3N}удовлетворяват 2an+2=an+1+4an2a_{n+2}=a_{n+1}+4a_n, то някой от тези членове се дели на 4N4^N. При N=1010N=1010 това е точно делимост на 220202^{2020}. За N=1N=1 имаме a2=2a34a1a_2=2a_3-4a_1, следователно a2a_2 е четно. Тогава a1=2a24a0a_1=2a_2-4a_0 се дели на 44, което доказва базата. Нека N2N\ge2 и приемем твърдението за N1N-1. Отak=2ak+14ak1a_{k}=2a_{k+1}-4a_{k-1}следва първо, че a1,a2,,a3N1a_1,a_2,\ldots,a_{3N-1} са четни, а после, за 1k3N21\le k\le 3N-2, че aka_k се дели на 44. Следователноb0=a14,b1=a24,,b3N3=a3N24b_0=\frac{a_1}{4},\quad b_1=\frac{a_2}{4},\quad \ldots,\quad b_{3N-3}=\frac{a_{3N-2}}4са положителни цели числа и удовлетворяват същата рекурентна връзка. По индукционното предположение някое bib_i се дели на 4N14^{N-1}, така че съответният ai+1a_{i+1} се дели на 4N4^N. Индукцията е завършена.

Задача 2

Пълен запис
Условие
Намерете всички списъци (x1,x2,,x2020)(x_1,x_2,\ldots,x_{2020}) от неотрицателни реални числа, които удовлетворяват следните три условия:x1x2x2020,x_1\le x_2\le \cdots\le x_{2020},x2020x1+1,x_{2020}\le x_1+1,и съществува пермутация (y1,y2,,y2020)(y_1,y_2,\ldots,y_{2020}) на (x1,x2,,x2020)(x_1,x_2,\ldots,x_{2020}), такава чеi=12020((xi+1)(yi+1))2=\sum_{i=1}^{2020}\big((x_i+1)(y_i+1)\big)^2=8i=12020xi3.8\sum_{i=1}^{2020}x_i^3.
РешениеОтговорът е един от двата списъка0,,01010,1,,11010\underbrace{0,\ldots,0}_{1010},\underbrace{1,\ldots,1}_{1010}или1,,11010,2,,21010.\underbrace{1,\ldots,1}_{1010},\underbrace{2,\ldots,2}_{1010}.И в двата случая равенството се получава, като пермутацията сдвоява всяка по-малка стойност със съответната по-голяма стойност. Ще използваме следното неравенство за неотрицателни реални числа. Ако a,b0a,b\ge0 и ab1|a-b|\le1, то((a+1)(b+1))24(a3+b3),\big((a+1)(b+1)\big)^2\ge4(a^3+b^3),като равенство има само когато {a,b}={0,1}\{a,b\}=\{0,1\} или {a,b}={1,2}\{a,b\}=\{1,2\}. Наистина,a3+b3=(a+b)((ab)2+ab)(a+b)(1+ab)a^3+b^3=(a+b)((a-b)^2+ab)\le(a+b)(1+ab)\le(a+b+1+ab2)2=((a+1)(b+1))24.\left(\frac{a+b+1+ab}{2}\right)^2=\frac{\big((a+1)(b+1)\big)^2}{4}.Условията x1x2020x1+1x_1\le\cdots\le x_{2020}\le x_1+1 показват, че всеки два члена на списъка се различават с най-много 11; затова неравенството може да се приложи към всяка двойка (xi,yi)(x_i,y_i). Получавамеi((xi+1)(yi+1))2\sum_i\big((x_i+1)(y_i+1)\big)^2\ge4i(xi3+yi3)=8ixi3,4\sum_i(x_i^3+y_i^3)=8\sum_i x_i^3,понеже (yi)(y_i) е пермутация на (xi)(x_i). В условието има равенство, следователно във всяка отделна двойка има равенство. Значи всяка двойка (xi,yi)(x_i,y_i) е от вида 0,10,1 или от вида 1,21,2. Поради x2020x1+1x_{2020}\le x_1+1 в списъка не могат едновременно да присъстват 00 и 22. Ако стойностите са 00 и 11, всяка нула трябва да бъде сдвоена с единица и всяка единица с нула, така че броевете им са равни: по 10101010. Аналогично, ако стойностите са 11 и 22, те също са по 10101010. Това дава точно двата списъка по-горе.

Задача 4

Пълен запис
Условие
Нека n3n\ge3 е цяло число. Една пермутация на числата 1,2,,m1,2,\ldots,m се нарича свежа, ако не съществува положително цяло число k<mk\lt{}m, за което първите kk числа в пермутацията са точно 1,2,,k1,2,\ldots,k в някакъв ред. Нека fmf_m е броят на свежите пермутации на 1,2,,m1,2,\ldots,m. Докажете, че fnnfn1f_n\ge n\cdot f_{n-1}.
РешениеЗа всяка свежа пермутация b1,b2,,bn1b_1,b_2,\ldots,b_{n-1} на 1,2,,n11,2,\ldots,n-1 ще построим nn различни свежи пермутации на 1,2,,n1,2,\ldots,n. Първите n1n-1 от тях се получават, като вмъкнем nn на kk-та позиция за k=1,2,,n1k=1,2,\ldots,n-1. Последната се получава по друг начин: заменяме числото n1n-1 с nn и добавяме n1n-1 в края. Например от 31423142 получаваме 53142,35142,31542,3145253142,35142,31542,31452 и 3152431524. Тези пермутации са свежи. При вмъкване на nn всяка забранена начална част с дължина k<nk\lt{}n или съдържа nn, което е невъзможно за множеството {1,2,,k}\{1,2,\ldots,k\}, или не го съдържа и тогава би дала забранена начална част в старата пермутация. При последната конструкция краят е n1n-1, а преди него стои nn на мястото на n1n-1; отново всяка забранена начална част или съдържа nn, или би нарушила свежестта на началната пермутация. Освен това всички построени пермутации са различни. Ако изтрием nn от пермутация от първите n1n-1 вида, получаваме обратно свежата пермутация b1,,bn1b_1,\ldots,b_{n-1}. При последния вид обаче изтриването на nn оставя n1n-1 в края, така че получената пермутация на n1n-1 е несвежа, защото първите n2n-2 позиции са точно числата 1,2,,n21,2,\ldots,n-2. Следователно построението е инективно и дава поне nfn1n f_{n-1} свежи пермутации.

Задача 6

Пълен запис
Условие
Намерете всички цели числа m>1m\gt{}1, за които редицата (an)n1(a_n)_{n\ge1}, зададена с a1=a2=1a_1=a_2=1, a3=4a_3=4 иan+2=m(an+1+an)an1a_{n+2}=m(a_{n+1}+a_n)-a_{n-1}за n2n\ge2, съдържа само точни квадрати.
РешениеОтговорът еm=2илиm=10.m=2\quad\text{или}\quad m=10.Първо проверяваме, че тези стойности работят. При m=2m=2 имаме an=Fn2a_n=F_n^2, където F1=F2=1F_1=F_2=1 са числата на Фибоначи; тъждеството следва от Fn+2=Fn+1+FnF_{n+2}=F_{n+1}+F_n. При m=10m=10 дефинираме u1=u2=1u_1=u_2=1, u3=2u_3=2 и un+2=3un+1+unu_{n+2}=3u_{n+1}+u_n за n2n\ge2. Тогаваun+32=10(un+22+un+12)un2,u_{n+3}^2=10(u_{n+2}^2+u_{n+1}^2)-u_n^2,така че an=un2a_n=u_n^2 за всички nn. Остава да докажем, че няма други стойности. Първите членове саa1=1,a2=1,a3=4,a_1=1,\quad a_2=1,\quad a_3=4,a4=5m1,a5=5m2+3m1,a_4=5m-1,\quad a_5=5m^2+3m-1,a6=5m3+8m22m4.\quad a_6=5m^3+8m^2-2m-4.Ако всички членове са точни квадрати, то a4a6a_4a_6 също е точен квадрат. Директно пресмятане дава16a4a6=400m4+560m3288m2288m+64=16a_4a_6=400m^4+560m^3-288m^2-288m+64=(20m2+14m12110)2+50810m8241100.\left(20m^2+14m-\frac{121}{10}\right)^2+\frac{508}{10}m-\frac{8241}{100}.НекаA=200m2+140m121.A=200m^2+140m-121.Тогава A1(mod20)A\equiv-1\pmod{20} и1600a4a6=A2+5080m8241.1600a_4a_6=A^2+5080m-8241.За всяко цяло m>1m\gt{}1 имаме 5080m8241>05080m-8241\gt{}0 и 42A+441>5080m824142A+441\gt{}5080m-8241, следователноA2<1600a4a6<(A+21)2.A^2\lt{}1600a_4a_6\lt{}(A+21)^2.Но 1600a4a61600a_4a_6 е квадрат, чийто корен се дели на 2020. Тъй като A1(mod20)A\equiv-1\pmod{20}, единствената възможност между AA и A+21A+21 е коренът да бъде A+1A+1. Значи1600a4a6=(A+1)2,1600a_4a_6=(A+1)^2,откъдето 5080m8241=2A+15080m-8241=2A+1. След заместване на AA получаваме400m24800m+8000=0,400m^2-4800m+8000=0,тоест m=2m=2 или m=10m=10.

2021

6 задачи

Задача 1

Пълен запис
Условие
Числото 20212021 е фантастично. За всяко положително цяло число mm, ако поне един елемент на множеството {m,2m+1,3m}\{m,2m+1,3m\} е фантастичен, то и трите елемента са фантастични. Следва ли, че числото 2021202120212021 е фантастично?
РешениеОтговорът е да. Ще пишем aba\Longleftrightarrow b, когато aa е фантастично точно тогава, когато bb е фантастично. От условието получаваме n2n+1n\Longleftrightarrow 2n+1 и n3nn\Longleftrightarrow 3n за всяко положително цяло число nn. Освен това2n4n+112n+36n+13nn.2n\Longleftrightarrow 4n+1\Longleftrightarrow 12n+3\Longleftrightarrow 6n+1\Longleftrightarrow 3n\Longleftrightarrow n.Следователно и 2nn2n\Longleftrightarrow n за всяко n1n\ge1. Така всяко положително цяло число е еквивалентно на числото, което се получава след премахване на последната двоична цифра: четно число 2n2n е еквивалентно на nn, а нечетно число 2n+12n+1 е еквивалентно на nn. Повтаряйки този процес, стигаме до 11. Значи всички положителни цели числа са едновременно фантастични или едновременно нефантастични. Понеже 20212021 е фантастично, всяко положително цяло число е фантастично, в частност 2021202120212021.

Задача 2

Пълен запис
Условие
Намерете всички функции f:QQf:\mathbb Q\to\mathbb Q, за коитоf(xf(x)+y)=f(y)+x2f(xf(x)+y)=f(y)+x^2за всички рационални числа xx и yy.
РешениеОтговорите саf(x)=xиf(x)=x,f(x)=x\quad\text{и}\quad f(x)=-x,и директната проверка е непосредствена. Да означим твърдението с P(x,y)P(x,y). Първо ще покажем, че ако f(z)=0f(z)=0, то z=0z=0. Наистина, от P(z,0)P(z,0) получавамеf(0)=f(0)+z2,f(0)=f(0)+z^2,следователно z=0z=0. Значи ff няма нулеви стойности извън 00. Сега нека a,bQa,b\in\mathbb Q са ненулеви. Тогава f(a)f(a) и f(b)f(b) също са ненулеви. Избираме ненулеви цели числа m,nm,n така, чеnm=af(a)bf(b).\frac nm=\frac{a f(a)}{b f(b)}.За всяко yQy\in\mathbb Q многократното използване на уравнението даваf(y+maf(a))=f(y)+ma2,f(y+m a f(a))=f(y)+m a^2,f(y+nbf(b))=f(y)+nb2.f(y+n b f(b))=f(y)+n b^2.Левите страни са равни по избора на mm и nn, затова ma2=nb2m a^2=n b^2. Следователноaf(a)bf(b)=nm=a2b2,\frac{a f(a)}{b f(b)}=\frac nm=\frac{a^2}{b^2},тоест f(a)/a=f(b)/bf(a)/a=f(b)/b. Значи съществува константа c0c\ne0, така че f(x)=cxf(x)=cx за всяко ненулево рационално xx. Поставяме y=0y=0 в началното уравнение. За всяко ненулево xx имамеf(cx2)=f(0)+x2.f(c x^2)=f(0)+x^2.Понеже c0c\ne0, лявата страна е c2x2c^2x^2. Такаc2x2=f(0)+x2c^2x^2=f(0)+x^2за всички ненулеви рационални xx, откъдето f(0)=0f(0)=0 и c2=1c^2=1. Следователно c=1c=1 или c=1c=-1, което дава точно двете решения.

Задача 3

Пълен запис
Условие
Нека ABCABC е триъгълник с тъп ъгъл при AA. Нека EE и FF са пресечните точки на външната ъглополовяща на A\angle A съответно с височините на ABCABC, прекарани през BB и CC. Нека MM и NN са точки съответно от отсечките ECEC и FBFB, за коитоEMA=BCAиANF=ABC.\angle EMA=\angle BCA\qquad\text{и}\qquad\angle ANF=\angle ABC.Докажете, че точките E,F,N,ME,F,N,M лежат на една окръжност.
РешениеНека BZBZ и CYCY са височините, HH е ортоцентърът, а WW е средата на BCBC. Съгласно IMO Shortlist 2005 G5 правата AWAW пресича отново окръжностите (HYZ)(HYZ), (HEF)(HEF) и (HBC)(HBC) в една и съща точка QQ. ПонежеWAWQ=WB2,WA\cdot WQ=WB^2,окръжността (AQB)(AQB) е допирателна към BCBC в BB. Следователно N(AQB)N\in(AQB). ТогаваQNF=QNB=QAB=QAZ=QHZ=QHF,\angle QNF=\angle QNB=\angle QAB=\angle QAZ=\angle QHZ=\angle QHF,следователно NN лежи на (HQEF)(HQEF). По същия начин и MM лежи на тази окръжност. Значи E,F,N,ME,F,N,M са вписани в една окръжност.HBCAEFMNQW

Задача 4

Пълен запис
Условие
Нека ABCABC е триъгълник с инцентър II, а DD е произволна точка от страната BCBC. Правата през DD, перпендикулярна на BIBI, пресича CICI в EE. Правата през DD, перпендикулярна на CICI, пресича BIBI в FF. Докажете, че отражението на AA спрямо правата EFEF лежи на правата BCBC.
РешениеПърво ще докажем следното твърдение. **Твърдение.** Четириъгълникът AEIFAEIF е вписан. **Доказателство.** Нека X=CADFX=CA\cap DF. ТогаваFXA=DXC=CDX=\angle FXA=\angle DXC=\angle CDX=9012C=AIB=FIA90^\circ-\frac12C=\angle AIB=\angle FIAиEXF=EXD=XDE=FDE=EIF.\angle EXF=\angle EXD=\angle XDE=\angle FDE=\angle EIF.Следователно съответно AFXIAFXI и FXIEFXIE са вписани.\qed По теоремата за линията на Симсон трите проекции на AA върху страните на IEF\triangle IEF са колинеарни. Проекциите върху IF=BIIF=BI и IE=CIIE=CI са среди на отсечките, чиито други краища са отраженията на AA съответно спрямо правите BIBI и CICI. Тези отражения по определение лежат на BCBC, така че и двете проекции лежат на BCBC. Следователно и проекцията на AA върху EFEF лежи на BCBC. Нейният образ при централната симетрия с център тази проекция, т.е. отражението на AA спрямо EFEF, също лежи на BCBC.ABCDIEF

Задача 5

Пълен запис
Условие
В равнината е дадена специална точка OO, наречена начало. Нека P\mathcal P е множество от 20212021 точки в равнината, такова че никои три точки от P\mathcal P не лежат на една права и никои две точки от P\mathcal P не лежат на права, минаваща през началото. Наричаме триъгълник с върхове от P\mathcal P обхващащ, ако OO е строго вътре в него. Намерете максималния възможен брой обхващащи триъгълници.
РешениеМаксималният брой е16101010112021=343943885.\frac16\cdot1010\cdot1011\cdot2021=343943885.За всяка двойка точки P,QPP,Q\in\mathcal P насочваме ребро PQP\to Q, ако при завъртане от лъча OPOP към лъча OQOQ по часовниковата стрелка се изминава ъгъл, по-малък от 180180^\circ. Понеже никои две точки от P\mathcal P не лежат на права през OO, за всяка двойка се получава точно една посока. Така получаваме турнир върху 20212021 върха. Един триъгълник обхваща OO точно когато трите насочени ребра между върховете му образуват насочен цикъл. Следователно задачата се свежда до максималния брой насочени 33-цикли в турнир с 2021=21010+12021=2\cdot1010+1 върха. По стандартния резултат от Canada 2006/4 този брой е най-много16n(n+1)(2n+1)\frac16 n(n+1)(2n+1)за 2n+12n+1 върха. При n=1010n=1010 получаваме посочената стойност. Равенство се достига, когато точките са върховете на правилен 20212021-ъгълник с център OO. Тогава съответният турнир е регулярният кръгов турнир и броят на насочените цикли е точно горната граница.

Задача 6

Пълен запис
Условие
Съществува ли неотрицателно цяло число aa, за което уравнениетоm1+m2+m3++mm=n2+a\left\lfloor\frac m1\right\rfloor+\left\lfloor\frac m2\right\rfloor+\left\lfloor\frac m3\right\rfloor+\cdots+\left\lfloor\frac mm\right\rfloor=n^2+aима повече от един милион различни решения (m,n)(m,n) в положителни цели числа?
РешениеОтговорът е да. Ще докажем малко по-общо твърдение. **Твърдение.** Нека f:NNf:\mathbb N\to\mathbb N е функция, за която f(m)=o(m2)f(m)=o(m^2). Тогава за някое неотрицателно цяло число aa уравнениетоf(m)=n2+af(m)=n^2+aима повече от един милион решения (m,n)(m,n) в положителни цели числа. Доказателство на твърдението. За всяко m=1,2,,Mm=1,2,\ldots,M избирамеn=x2f(m),a=f(m)n2.n=\left\lfloor\sqrt{\vphantom{x^2}f(m)}\right\rfloor,\qquad a=f(m)-n^2.Тогава a0a\ge0 иa=f(m)x2f(m)22x2f(m).a=f(m)-\left\lfloor\sqrt{\vphantom{x^2}f(m)}\right\rfloor^2\le2\sqrt{\vphantom{x^2}f(m)}.Понеже f(m)=o(m2)f(m)=o(m^2), имамеmax1mMf(m)=o(M2).\max_{1\le m\le M} f(m)=o(M^2).Затова можем да изберем MM достатъчно голямо, така че2x2max1mMf(m)+1<M1000001.2\sqrt{\vphantom{x^2}\max_{1\le m\le M} f(m)}+1\lt{}\frac{M}{1000001}.Така от MM различни стойности на mm получаваме MM тройки (m,n,a)(m,n,a), но възможните стойности на aa са по-малко от M/1000001M/1000001. По принципа на Дирихле някоя стойност на aa се среща повече от 10000001000000 пъти. Това доказва твърдението. В нашата задача вземамеf(m)=i=1mmi.f(m)=\sum_{i=1}^m\left\lfloor\frac mi\right\rfloor.Имаме оценкатаf(m)mi=1m1i=O(mlogm)=o(m2),f(m)\le m\sum_{i=1}^m\frac1i=O(m\log m)=o(m^2),така че общото твърдение се прилага и дава търсеното число aa.

2022

2 задачи

Задача 2

Пълен запис
Условие
Да се намерят всички функции f:NNf:\mathbb N\to\mathbb N, такива че за всички a,bNa,b\in\mathbb N са изпълнени следните две условия: 1. f(ab)=f(a)f(b)f(ab)=f(a)f(b); 2. поне две от числата f(a)f(a), f(b)f(b) и f(a+b)f(a+b) са равни.
РешениеОтговорът еf(n)=cνp(n),f(n)=c^{\nu_p(n)},където cc е произволно положително цяло число, а pp е фиксирано просто число. Лесно се проверява, че всяка такава функция работи. Наистина, ако νp(a)=νp(b)\nu_p(a)=\nu_p(b), тогава f(a)=f(b)f(a)=f(b). Ако пък νp(a)νp(b)\nu_p(a)\ne\nu_p(b), тогаваνp(a+b)=min{νp(a),νp(b)},\nu_p(a+b)=\min\{\nu_p(a),\nu_p(b)\},така че едно от числата f(a)f(a) и f(b)f(b) е равно на f(a+b)f(a+b). Остава да докажем, че други решения няма. От първото условие имаме f(1)=1f(1)=1, а функцията е напълно мултипликативна. Ако има най-много едно просто число pp, за което f(p)>1f(p)\gt{}1, тогава от пълната мултипликативност веднага следва, че ff е от горния вид. Да допуснем за противоречие, че има поне две прости числа с образ по-голям от 11. Нека p<qp\lt{}q са двете най-малки такива прости числа. Понеже qp<qq-p\lt{}q и pqpp\nmid q-p, всички прости делители на qpq-p имат образ 11, следователно f(qp)=1f(q-p)=1. Прилагаме второто условие към числата pp и qpq-p. Трите стойности саf(p),f(qp)=1,f(q).f(p),\qquad f(q-p)=1,\qquad f(q).Тъй като f(p)>1f(p)\gt{}1 и f(q)>1f(q)\gt{}1, трябва да имамеf(p)=f(q).f(p)=f(q).Сега ще изберем положителни цели числа aa и bb, за коитоνp(a+b)2,νp(a)=νp(b)=0,\nu_p(a+b)\ge2,\qquad \nu_p(a)=\nu_p(b)=0,иνq(b)=1,νq(a)=νq(a+b)=0.\nu_q(b)=1,\qquad \nu_q(a)=\nu_q(a+b)=0.Некаr=logpq.r=\left\lceil\log_p q\right\rceil.Тогава r2r\ge2 и qpr<q2q\le p^r\lt{}q^2. Поставяме=prq\ell=\left\lfloor\frac{p^r}{q}\right\rfloorи избирамеb=q,a=prb.b=q\ell,\qquad a=p^r-b.Тогава a+b=pra+b=p^r, така че νp(a+b)=r2\nu_p(a+b)=r\ge2, а qa+bq\nmid a+b. Освен това 0<a<q0\lt{}a\lt{}q, понеже aa е остатъкът при деление на prp^r с qq, и qaq\nmid a. Имаме още 1<q1\le\ell\lt{}q, откъдето νq(b)=1\nu_q(b)=1. Накрая, от pr1<qp^{r-1}\lt{}q следва <p\ell\lt{}p, така че pp\nmid\ell; понеже pqp\ne q, получаваме pbp\nmid b, а от a=prba=p^r-b следва и pap\nmid a. Поради минималността на pp и qq това даваf(a)=1,f(b)=f(q),f(a+b)=f(p)r.f(a)=1,\qquad f(b)=f(q),\qquad f(a+b)=f(p)^r.Но вече знаем, че f(p)=f(q)>1f(p)=f(q)\gt{}1, а r2r\ge2, така че трите числа 11, f(q)f(q) и f(p)rf(p)^r са две по две различни. Това противоречи на второто условие и завършва доказателството.

Задача 4

Пълен запис
Условие
Дадено е положително цяло число n2n\ge2. Да се определи най-голямото положително цяло число NN, за което съществуват N+1N+1 реални числа a0,a1,,aNa_0,a_1,\dots,a_N, такива че 1. a0+a1=1na_0+a_1=-\frac1n; 2. (ak+ak1)(ak+ak+1)=ak1ak+1(a_k+a_{k-1})(a_k+a_{k+1})=a_{k-1}-a_{k+1} за всяко 1kN11\le k\le N-1.
РешениеОтговорът е N=nN=n. Поставямеbi=ai+ai1(i1).b_i=a_i+a_{i-1}\qquad (i\ge1).Тогава условието за 1kN11\le k\le N-1 се превръща вbkbk+1=bkbk+1.b_kb_{k+1}=b_k-b_{k+1}.Понеже това е равносилно наbk+1(bk+1)=bk,b_{k+1}(b_k+1)=b_k,ако bk1b_k\ne-1, получаваме рекурентната формулаbk+1=bkbk+1.b_{k+1}=\frac{b_k}{b_k+1}.От началното условие имаме b1=1nb_1=-\frac1n. Сега по индукция намирамеbi=1n+1i(1in).b_i=-\frac1{n+1-i}\qquad (1\le i\le n).Наистина, ако bi=1n+1ib_i=-\frac1{n+1-i} и i<ni\lt{}n, тоbi+1=1n+1i11n+1i=1ni.b_{i+1}=\frac{-\frac1{n+1-i}}{1-\frac1{n+1-i}}=-\frac1{n-i}.Следователно bn=1b_n=-1. Затова не може да се продължи до bn+1b_{n+1}: при bn=1b_n=-1 равенството bnbn+1=bnbn+1b_nb_{n+1}=b_n-b_{n+1} би дало bn+1=1bn+1-b_{n+1}=-1-b_{n+1}, което е невъзможно. Значи NnN\le n. Остава да покажем, че N=nN=n се достига. Вземаме например a0=0a_0=0 и после определяме рекурентноai=1n+1iai1(1in).a_i=-\frac1{n+1-i}-a_{i-1}\qquad (1\le i\le n).Тогава ai+ai1=bi=1n+1ia_i+a_{i-1}=b_i=-\frac1{n+1-i} за всички 1in1\le i\le n, а току-що проверената рекурентна връзка между bib_i гарантира второто условие за всяко 1in11\le i\le n-1. Следователно най-голямата възможна стойност на NN е nn.

2023

4 задачи

Задача 1

Пълен запис
Условие
Дадени са n3n\ge3 положителни реални числа a1,a2,,ana_1,a_2,\dots,a_n. За всяко 1in1\le i\le n полагамеbi=ai1+ai+1ai,b_i=\frac{a_{i-1}+a_{i+1}}{a_i},където индексите се разглеждат по модул nn. Да се предположи, че за всички ii и jj от 11 до nn е изпълненоaiajbibj.a_i\le a_j\quad\Longleftrightarrow\quad b_i\le b_j.Докажете, че a1=a2==ana_1=a_2=\dots=a_n.
РешениеПърво ще докажем, че maxbi2\max b_i\le2. Нека MM е индекс, за който aM=maxaia_M=\max a_i. Понеже редът на числата aia_i и bib_i е един и същ, имаме и bM=maxbib_M=\max b_i. НоbM=aM1+aM+1aM2,b_M=\frac{a_{M-1}+a_{M+1}}{a_M}\le2,защото aM1aMa_{M-1}\le a_M и aM+1aMa_{M+1}\le a_M. По същия начин, ако mm е индекс, за който am=minaia_m=\min a_i, то bm=minbib_m=\min b_i, аbm=am1+am+1am2.b_m=\frac{a_{m-1}+a_{m+1}}{a_m}\ge2.Следователно всички числа bib_i са равни на 22. Значи за всяко ii имамеai1+ai+1=2ai.a_{i-1}+a_{i+1}=2a_i.Избираме индекс MM с aM=maxaia_M=\max a_i. Тогава двете съседни числа на aMa_M са най-много aMa_M, а сборът им е точно 2aM2a_M, следователно и двете са равни на aMa_M. Продължавайки по цикъла, получаваме, че всички aia_i са равни.

Задача 3

Пълен запис
Условие
Нека kk е фиксирано положително цяло число. Лекси има речник D\mathbb D, състоящ се от някои низове с дължина kk, които съдържат само буквите AA и BB. Лекси иска да запише във всяка клетка на таблица k×kk\times k една от буквите AA и BB така, че всеки стълб, прочетен отгоре надолу, да е низ от D\mathbb D, и всеки ред, прочетен отляво надясно, също да е низ от D\mathbb D. Кое е най-малкото цяло число mm със следното свойство: ако D\mathbb D съдържа поне mm различни низа, тогава Лекси може да попълни таблицата по този начин, независимо кои точно низове са в D\mathbb D?
РешениеОтговорът еm=2k1.m=2^{k-1}.Първо показваме, че 2k112^{k-1}-1 низа не стигат. Нека D\mathbb D се състои от всички низове, които започват с AA, с изключение на низа AAAAA\dots A. Тогава D=2k11|\mathbb D|=2^{k-1}-1. Ако съществуваше попълване, всеки стълб щеше да започва с AA, затова първият ред на таблицата щеше да бъде AAAAA\dots A. Но този низ не е в D\mathbb D, противоречие. Остава да докажем, че 2k12^{k-1} низа винаги стигат. Ако D\mathbb D съдържа низа AAAAA\dots A или низа BBBBB\dots B, просто попълваме цялата таблица съответно само с AA или само с BB. Нека сега нито един от тези два константни низа не е в речника. Останалите 2k22^k-2 възможни низа се разбиват на 2k112^{k-1}-1 двойки противоположни низове: в една двойка поставяме два низа, които на всяка позиция имат различни букви, например ABBAAABBAA и BAABBBAABB. Понеже D2k1>2k11|\mathbb D|\ge2^{k-1}\gt{}2^{k-1}-1, по принципа на Дирихле в D\mathbb D има цяла такава двойка противоположни низове. Нека единият от тях е w=w1w2wkw=w_1w_2\dots w_k, а другият е противоположният му низ. Попълваме клетката в ред ii и стълб jj с буквата wiw_i, ако wj=Aw_j=A, и с противоположната буква на wiw_i, ако wj=Bw_j=B. Тогава всеки стълб е или ww, или противоположният низ, а всеки ред също е един от тези два низа. Следователно всички редове и стълбове принадлежат на D\mathbb D, както се искаше.

Задача 4

Пълен запис
Условие
Охлювът Турбо стои в точка от окръжност с дължина 11. Дадена е безкрайна редица от положителни реални числа c1,c2,c3,c_1,c_2,c_3,\dots. Турбо последователно изминава разстояния c1,c2,c3,c_1,c_2,c_3,\dots по окръжността, като всеки път избира дали да пълзи по часовниковата стрелка или обратно на часовниковата стрелка. Да се определи най-голямата константа C>0C\gt{}0 със следното свойство: за всяка редица от положителни реални числа c1,c2,c3,c_1,c_2,c_3,\dots с ci<Cc_i\lt{}C за всички ii, Турбо може, след като разгледа редицата, да гарантира, че има точка от окръжността, която никога няма да посети или да препълзи.
РешениеОтговорът еC=12.C=\frac12.Първо нека ci<12c_i\lt{}\frac12 за всяко ii. Избираме произволна точка PP от окръжността, различна от началната точка на Турбо, и ще я пазим непосетена. Преди всеки ход Турбо не се намира в PP. Двете възможни дъги с дължина ci<12c_i\lt{}\frac12 от текущото място, едната по часовниковата стрелка и другата обратно, не могат и двете да съдържат PP. Затова Турбо избира посоката, чиято дъга не съдържа PP. Така PP никога не се посещава и не се препълзява. Сега ще покажем, че всяко C>12C\gt{}\frac12 е невъзможно. Избираме ε>0\varepsilon\gt{}0 така, че 12+ε<C\frac12+\varepsilon\lt{}C, и разглеждаме редицатаci={12,i е нечетно,12+ε,i е четно.c_i=\begin{cases} \frac12, & i \text{ е нечетно},\\ \frac12+\varepsilon, & i \text{ е четно}. \end{cases}Ако два последователни хода са в една и съща посока, техните дължини имат сбор 1+ε1+\varepsilon, така че Турбо ще препълзи цялата окръжност. Следователно, за да избегне това, той е принуден да редува посоките на движение. При такова редуване след края на 2k2k-тия ход Турбо се намира в край на вече препълзяна дъга с дължина 12+kε\frac12+k\varepsilon. За достатъчно голямо kk тази дължина е поне 11, тоест цялата окръжност е препълзяна. Следователно за всяко C>12C\gt{}\frac12 съществува редица с ci<Cc_i\lt{}C, срещу която Турбо не може да запази непосетена точка.

Задача 5

Пълен запис
Условие
Дадено е положително цяло число s2s\ge2. За всяко положително цяло число kk дефинираме неговото преобразуване kk' така: записваме k=as+bk=as+b, където a,ba,b са неотрицателни цели числа и b<sb\lt{}s, и полагаме k=bs+ak'=bs+a. За положително цяло число nn разглеждаме безкрайната редица d1,d2,d_1,d_2,\dots, където d1=nd_1=n и di+1=did_{i+1}=d_i' за всяко положително цяло число ii. Докажете, че тази редица съдържа 11 тогава и само тогава, когато остатъкът на nn при деление на s21s^2-1 е 11 или ss.
РешениеЗапочваме с две прости наблюдения. Първо, ако 1n<s21\le n\lt{}s^2, то nn' се получава, като разгледаме nn като двуцифрено число в основа ss (с водеща нула, ако n<sn\lt{}s) и разменим двете му цифри. В частност, повторната размяна връща числото обратно. Второ, ако ns2n\ge s^2, то n<nn'\lt{}n. Наистина, при n=as+bn=as+b имаме as>ba\ge s\gt{}b, аnn=(as+b)(bs+a)=(s1)(ab)>0.n-n'=(as+b)-(bs+a)=(s-1)(a-b)\gt{}0.Следователно описаната безкрайна редица в крайна сметка се редува между числата xs+yxs+y и ys+xys+x за някакви x,y{0,1,,s1}x,y\in\{0,1,\dots,s-1\}. Тя съдържа 11 точно когато {x,y}={1,0}\{x,y\}=\{1,0\}, тоест когато накрая се редува между 11 и ss. Остава да свържем това с остатъка по модул s21s^2-1. Ще докажем, чеnn(mods21).n''\equiv n\pmod{s^2-1}.Ако n<s2n\lt{}s^2, това вече следва от размяната на двете цифри два пъти. В общия случай некаn=as2+bs+c,n=as^2+bs+c,където b,c{0,1,,s1}b,c\in\{0,1,\dots,s-1\} са последните две цифри на nn в основа ss. Тогаваn=(a+c)s+b,n'=(a+c)s+b,и след още едно преобразуване получавамеn=bs+(a+c).n''=bs+(a+c).Затоваnn=as2+cac=a(s21),n-n''=as^2+c-a-c=a(s^2-1),което доказва твърдението. Следователно членовете с една и съща четност в редицата имат един и същ остатък по модул s21s^2-1. Когато редицата вече се редува между xs+yxs+y и ys+xys+x, тези числа са между 11 и s21s^2-1. Затова редицата съдържа 11 точно когато съответният краен двуцикъл е 1,s1,s, което е еквивалентно на това първоначалното nn да дава остатък 11 или ss по модул s21s^2-1.

2024

3 задачи

Задача 1

Пълен запис
Условие
На дъската са написани две различни цели числа uu и vv. Извършваме последователност от ходове. На всеки ход можем да направим една от следните две операции: 1. Ако aa и bb са различни цели числа на дъската, можем да напишем a+ba+b, ако то още не е написано. 2. Ако a,b,ca,b,c са три различни цели числа на дъската и цяло число xx удовлетворява ax2+bx+c=0ax^2+bx+c=0, можем да напишем xx, ако то още не е написано. Да се намерят всички начални двойки (u,v)(u,v), от които всяко цяло число може в крайна сметка да бъде написано на дъската след краен брой ходове.
РешениеОтговорът е: всички двойки различни цели числа (u,v)(u,v), с изключение на случаите, в които някое от числата е 00, случаят {u,v}={1,1}\{u,v\}=\{-1,1\} и случаите, в които и двете числа са отрицателни. Първо виждаме защо тези изключения наистина са невъзможни. Ако едно от u,vu,v е 00, операцията със събиране не може да произведе ново число, а за квадратно уравнение са нужни три различни числа, така че не можем да започнем. Ако {u,v}={1,1}\{u,v\}=\{-1,1\}, операцията със събиране дава само 00, а след това нито една от двете операции не може да добави ново число. Накрая, ако u<0u\lt{}0 и v<0v\lt{}0, тогава всички получени числа остават отрицателни: сборът на две отрицателни числа е отрицателен, а ако a,b,c<0a,b,c\lt{}0, то за x>0x\gt{}0 имаме ax2+bx+c<0ax^2+bx+c\lt{}0, така че положителен корен не може да се появи. Следователно в този случай не можем да получим всички цели числа. Ще докажем, че във всички останали случаи задачата е възможна. Най-напред можем да напишем 1-1. Наистина, можем да напишем u+vu+v, а числата uu, vv и u+vu+v са различни, понеже нито uu, нито vv е 00. Квадратното уравнениеux2+(u+v)x+v=0ux^2+(u+v)x+v=0има корен x=1x=-1, затова 1-1 може да бъде добавено. След това ще получим положително число m2m\ge2. Понеже не сме в случая с две отрицателни числа и нито едно число не е 00, поне едно от u,vu,v е положително. Нека u=max(u,v)>0u=\max(u,v)\gt{}0. Ако u2u\ge2, сме готови. Ако u=1u=1, тогава другото число е отрицателно и, понеже случаят {1,1}\{-1,1\} е изключен, то е най-много 2-2. Вече имаме 1-1, така че можем да напишем 0=(1)+10=(-1)+1. После уравнението0x2+x+v=00x^2+x+v=0има корен v2-v\ge2, както искаме. Нека вече сме написали такова m2m\ge2. Понеже имаме 1-1, можем последователно да напишем m1,m2,,0m-1,m-2,\dots,0. Оттам можем да получим всички неотрицателни цели числа, като първо получим m1m-1 и после чрез събиране с mm получаваме 2m1,3m1,2m-1,3m-1,\dots, а с многократно добавяне на 1-1 слизаме до всяко число в съответния интервал. Накрая, ако n>0n\gt{}0 вече е написано, то n-n е корен на0x2+x+n=0,0x^2+x+n=0,затова можем да напишем и всички отрицателни цели числа. Това доказва достатъчността.

Задача 3

Пълен запис
Условие
Ще наричаме положително цяло число nn особено, ако за всеки положителен делител dd на nn числото d(d+1)d(d+1) дели n(n+1)n(n+1). Докажете, че за всеки четири различни особени положителни цели числа A,B,C,DA,B,C,D е изпълненоgcd(A,B,C,D)=1.\gcd(A,B,C,D)=1.
РешениеПърво отбелязваме, че 11 и всяко просто число са особени. Ще класифицираме съставните особени числа. Твърдение 1. Едно особено число nn има най-много два прости делителя, броени с кратност. Нека pp е най-малкият прост делител на nn и нека c=npc=\frac np. Понеже cc е делител на nn, условието даваc(c+1)n(n+1)=cp(cp+1).c(c+1)\mid n(n+1)=cp(cp+1).Следователноc+1cp(cp+1).c+1\mid cp(cp+1).Но по модул c+1c+1 имаме c1c\equiv-1, откъдетоcp(cp+1)(p)(1p)=p(p1)(modc+1).cp(cp+1)\equiv (-p)(1-p)=p(p-1)\pmod{c+1}.Понеже p(p1)0p(p-1)\ne0 и c+1c+1 дели това число, получаваме c+1p(p1)c+1\le p(p-1), тоестn=cpp3p2<p3.n=cp\le p^3-p^2\lt{}p^3.Тъй като всички прости делители на nn са поне pp, числото nn не може да има три прости делителя с кратност. Твърдение 2. Квадрат на просто число никога не е особен. Ако n=p2n=p^2, от делителя pp трябва да имамеp(p+1)p2(p2+1),p(p+1)\mid p^2(p^2+1),тоест p+1p2+1p+1\mid p^2+1. Това е невъзможно, защото p2+12(modp+1)p^2+1\equiv2\pmod{p+1}. Твърдение 3. Ако n=pqn=pq е особено, където p>qp\gt{}q са прости числа, тогаваp=(q+1)(q2)+1.p=(q+1)(q-2)+1.Числото 66 не е особено, така че можем да считаме n>6n\gt{}6. От условията за делителите pp и qq получавамеp(p+1)pq(pq+1)p(p+1)\mid pq(pq+1)\quad\Longleftrightarrow\quadp+1q(pq+1)p+1q(q1), p+1\mid q(pq+1)\quad\Longleftrightarrow\quad p+1\mid q(q-1),иq(q+1)pq(pq+1)q(q+1)\mid pq(pq+1)\quad\Longleftrightarrow\quadq+1p(pq+1)q+1p(p1). q+1\mid p(pq+1)\quad\Longleftrightarrow\quad q+1\mid p(p-1).Във второто деление имаме gcd(q+1,p)=1\gcd(q+1,p)=1, понеже p>q+1p\gt{}q+1, следователноp1(modq+1).p\equiv1\pmod{q+1}.Пишем p=1+k(q+1)p=1+k(q+1). От друга страна, от p+1q(q1)p+1\mid q(q-1) следва2+k(q+1)=p+1q(q1),2+k(q+1)=p+1\le q(q-1),затова k<q1k\lt{}q-1 и k{1,2,,q2}k\in\{1,2,\dots,q-2\}. Ако p+1p+1 се дели на qq, тогава 2+k(q+1)0(modq)2+k(q+1)\equiv0\pmod q, тоест k2(modq)k\equiv-2\pmod q, и с горните граници получаваме k=q2k=q-2. Ако пък p+1p+1 не се дели на qq, тогава от p+1q(q1)p+1\mid q(q-1) и gcd(p+1,q)=1\gcd(p+1,q)=1 би следвало p+1q1p+1\mid q-1, което е невъзможно. Значи непременно k=q2k=q-2, както твърдяхме. Сега фиксираме просто число \ell. Особените числа, които се делят на \ell, са най-много три: самото \ell; числото((+1)(2)+1),\ell\big((\ell+1)(\ell-2)+1\big),ако вторият множител е прост; и евентуално число r\ell r, ако съществува просто rr, за което=(r+1)(r2)+1.\ell=(r+1)(r-2)+1.Следователно няма четири различни особени числа с общ прост делител. Това точно означава, че за всеки четири различни особени числа A,B,C,DA,B,C,D имаме gcd(A,B,C,D)=1\gcd(A,B,C,D)=1.

Задача 5

Пълен запис
Условие
Да се намерят всички функции f:NNf:\mathbb N\to\mathbb N, такива че за всички x,yNx,y\in\mathbb N са изпълнени: 1. xx и f(x)f(x) имат еднакъв брой положителни делители; 2. ако xyx\nmid y и yxy\nmid x, тоgcd(f(x),f(y))>f(gcd(x,y)).\gcd(f(x),f(y))\gt{}f(\gcd(x,y)).
РешениеОтговорът еf(x)=d(x)1,f(x)=\ell^{d(x)-1},където \ell е фиксирано просто число, а d(x)d(x) означава броя на положителните делители на xx. Първо проверяваме, че тези функции работят. Ясно е, че d(x)1\ell^{d(x)-1} има точно d(x)d(x) положителни делители. Ако xyx\nmid y и yxy\nmid x, тогава в разлагането на gcd(x,y)\gcd(x,y) поне един показател е строго по-малък от съответния показател в xx, а поне един е строго по-малък от съответния показател в yy. Следователноd(gcd(x,y))<min(d(x),d(y)),d(\gcd(x,y))\lt{}\min(d(x),d(y)),и оттукgcd(f(x),f(y))=min(d(x),d(y))1>\gcd(f(x),f(y))=\ell^{\min(d(x),d(y))-1}\gt{}d(gcd(x,y))1=f(gcd(x,y)).\ell^{d(\gcd(x,y))-1}=f(\gcd(x,y)).Сега доказваме, че други решения няма. Имаме f(1)=1f(1)=1. Ако pp е просто число, тогава f(p)f(p) трябва да има точно два делителя, тоест също е просто число. Ако pp и qq са различни прости числа, то pqp\nmid q и qpq\nmid p, затоваgcd(f(p),f(q))>f(1)=1.\gcd(f(p),f(q))\gt{}f(1)=1.Лявата страна е най-голям общ делител на две прости числа, следователно тези две прости числа трябва да са равни. Значи f(p)f(p) е едно и също просто число за всички прости pp; означаваме го с \ell. Твърдение 1. За всяко x>1x\gt{}1 числото f(x)f(x) се дели на \ell. Избираме просто число yy, което не дели xx и е различно от xx в случая, когато xx е просто. Тогава xyx\nmid y и yxy\nmid x, така чеgcd(f(x),f(y))=gcd(f(x),)>1.\gcd(f(x),f(y))=\gcd(f(x),\ell)\gt{}1.Значи f(x)\ell\mid f(x). Твърдение 2. Ако p1,,pkp_1,\dots,p_k са различни прости числа, а q1,,qkq_1,\dots,q_k също са прости числа, тоf(p1q11pkqk1)=q1q2qk1.f\left(p_1^{q_1-1}\cdots p_k^{q_k-1}\right)=\ell^{q_1q_2\cdots q_k-1}.Доказваме това с индукция по kk. При k=1k=1 числото pq1p^{q-1} има qq делители. Тъй като qq е просто и f(pq1)f(p^{q-1}) се дели на \ell, единствената възможност е f(pq1)=q1f(p^{q-1})=\ell^{q-1}. Нека k2k\ge2 и без ограничение q1q2qkq_1\ge q_2\ge\dots\ge q_k. Вземаме ново просто число pp, различно от всички pip_i, и прилагаме условието къмX=p1q11pkqk1X=p_1^{q_1-1}\cdots p_k^{q_k-1}иY=p1q11pk1qk11p.Y=p_1^{q_1-1}\cdots p_{k-1}^{q_{k-1}-1}p.Тези две числа не се делят едно друго, а техният НОД е p1q11pk1qk11p_1^{q_1-1}\cdots p_{k-1}^{q_{k-1}-1}. По индукционното предположениеf(gcd(X,Y))=q1q2qk11.f(\gcd(X,Y))=\ell^{q_1q_2\cdots q_{k-1}-1}.Следователно gcd(f(X),f(Y))\gcd(f(X),f(Y)) е строго по-голям от това число, а понеже f(Y)f(Y) е степен на \ell, заключаваме, че f(X)f(X) се дели на q1q2qk1\ell^{q_1q_2\cdots q_{k-1}}. Броят на делителите на f(X)f(X) е q1q2qkq_1q_2\cdots q_k. Но никой собствен делител на произведението q1q2qkq_1q_2\cdots q_k не е по-голям от q1q2qk1q_1q_2\cdots q_{k-1}, затова единствената възможност еf(X)=q1q2qk1.f(X)=\ell^{q_1q_2\cdots q_k-1}.Остава да преминем от прости стойности на показателите към произволни. Некаx=p1q11pkqk1r1e11rmem1,x=p_1^{q_1-1}\cdots p_k^{q_k-1}r_1^{e_1-1}\cdots r_m^{e_m-1},където всички основи са различни прости числа, числата qiq_i са прости, а ei2e_i\ge2 са произволни цели числа. Пишемn=d(x)=q1qke1em.n=d(x)=q_1\cdots q_k e_1\cdots e_m.Ще докажем с индукция по броя mm на непростите фактори eie_i, че f(x)=n1f(x)=\ell^{n-1}. Случаят m=0m=0 вече е доказан. Нека m>0m\gt{}0. Ако eme_m е просто, прехвърляме го към списъка с qiq_i и сме готови. Иначе em4e_m\ge4 е съставно. По постулата на Бертран избираме просто число qq сem2<q<em.\frac{e_m}{2}\lt{}q\lt{}e_m.Нека zz е ново просто число и разгледамеy=y=p1q11pkqk1r1e11rm1em11rmq1z.p_1^{q_1-1}\cdots p_k^{q_k-1}r_1^{e_1-1}\cdots r_{m-1}^{e_{m-1}-1}r_m^{q-1}z.Тогава xyx\nmid y и yxy\nmid x, аgcd(x,y)=\gcd(x,y)=p1q11pkqk1r1e11rm1em11rmq1.p_1^{q_1-1}\cdots p_k^{q_k-1}r_1^{e_1-1}\cdots r_{m-1}^{e_{m-1}-1}r_m^{q-1}.По индукционното предположениеf(y)=2q1qke1em1q1f(y)=\ell^{2q_1\cdots q_k e_1\cdots e_{m-1}q-1}иf(gcd(x,y))=q1qke1em1q1>f(\gcd(x,y))=\ell^{q_1\cdots q_k e_1\cdots e_{m-1}q-1}\gt{}n/21.\ell^{n/2-1}.От условието следва, че gcd(f(x),f(y))>f(gcd(x,y))\gcd(f(x),f(y))\gt{}f(\gcd(x,y)), следователноν(f(x))+1>n2.\nu_{\ell}(f(x))+1\gt{}\frac n2.От друга страна,n=d(f(x))=s(νs(f(x))+1).n=d(f(x))=\prod_s\big(\nu_s(f(x))+1\big).Ако в това произведение се появи множител, по-голям от n/2n/2, то той трябва да е самото nn. Значи ν(f(x))+1=n\nu_{\ell}(f(x))+1=n и няма други прости множители във f(x)f(x). Получаваме f(x)=n1f(x)=\ell^{n-1}, което завършва доказателството.

2025

3 задачи

Задача 1

Пълен запис
Условие
За положително цяло число NN некаc1<c2<<cmc_1\lt{}c_2\lt{}\dots\lt{}c_mса всички положителни цели числа, по-малки от NN и взаимнопрости с NN. Да се намерят всички N3N\ge3, за коитоgcd(N,ci+ci+1)1\gcd(N,c_i+c_{i+1})\ne1за всяко 1im11\le i\le m-1.
РешениеОтговорът е: всички четни NN и всички степени на 33. Първо правим две прости наблюдения. Ако NN е четно, тогава всички числа cic_i са нечетни, така че всеки сбор ci+ci+1c_i+c_{i+1} е четен. Следователно gcd(N,ci+ci+1)1\gcd(N,c_i+c_{i+1})\ne1. Ако NN е нечетно и не се дели на 33, тогава c1=1c_1=1 и c2=2c_2=2, понеже и двете числа са взаимнопрости с NN. Но тогава c1+c2=3c_1+c_2=3 е взаимнопросто с NN, което е забранено. Значи остава да разгледаме нечетните кратни на 33. Ако NN е степен на 33, тогава редицата (ci)(c_i) е точно редицата на положителните числа, по-малки от NN и неделящи се на 33:1,2,4,5,7,8,.1,2,4,5,7,8,\dots.Всеки две съседни числа в тази редица имат сбор, делящ се на 33, затова условието е изпълнено. Остава да докажем, че други нечетни кратни на 33 не работят. НекаN=3ed,N=3^e d,където e1e\ge1, числото d>1d\gt{}1 е нечетно и не се дели на 33. Тогава d1d\equiv1 или 5(mod6)5\pmod6. Ако d1(mod6)d\equiv1\pmod6, ще покажем, че d2d-2 и d+1d+1 са съседни членове на редицата (ci)(c_i), а сборът им е взаимнопрост с NN. Наистина,3d1,dd,3\mid d-1,\qquad d\mid d,така че числата d1d-1 и dd не са взаимнопрости с NN. От друга страна,gcd(d2,N)=gcd(d2,3ed)=gcd(d2,3e2)=1\gcd(d-2,N)=\gcd(d-2,3^ed)=\gcd(d-2,3^e\cdot2)=1иgcd(d+1,N)=gcd(d+1,3ed)=gcd(d+1,3e)=1.\gcd(d+1,N)=\gcd(d+1,3^ed)=\gcd(d+1,-3^e)=1.Следователно между d2d-2 и d+1d+1 няма друг член на редицата (ci)(c_i). Освен товаgcd(2d1,N)=gcd(2d1,3ed)=\gcd(2d-1,N)=\gcd(2d-1,3^ed)=gcd(2d1,3e2d)=gcd(2d1,3e)=1,\gcd(2d-1,3^e\cdot2d)=\gcd(2d-1,3^e)=1,така че сборът им е взаимнопрост с NN. Случаят d5(mod6)d\equiv5\pmod6 е аналогичен: тогава d1d-1 и d+2d+2 са съседни членове на редицата, а сборът им 2d+12d+1 е взаимнопрост с NN. Така нечетно кратно на 33 работи само когато d=1d=1, тоест когато NN е степен на 33.

Задача 2

Пълен запис
Условие
Безкрайна строго растяща редица a1<a2<a3<a_1\lt{}a_2\lt{}a_3\lt{}\dots от положителни цели числа се нарича централна, ако за всяко положително цяло число nn средното аритметично на първите ana_n члена на редицата е равно на ana_n. Докажете, че съществува безкрайна редица b1,b2,b3,b_1,b_2,b_3,\dots от положителни цели числа, такава че за всяка централна редица (an)(a_n) има безбройно много положителни цели числа nn, за които an=bna_n=b_n.
РешениеЩе докажем, че може да се вземеbn=2n1.b_n=2n-1.Фиксираме произволна централна редица (an)(a_n). Ще казваме, че положително цяло число NN се появява, ако ai=Na_i=N за някое ii. Тогава от дефиницията на централна редица следваa1+a2++aN=N2.a_1+a_2+\dots+a_N=N^2.Ще използваме свободно и факта, че се появяват произволно големи числа, понеже редицата е безкрайна и строго растяща. Разглеждаме пролукитеai+1ai(i1).a_{i+1}-a_i\qquad (i\ge1).Ще разделим доказателството според това дали пролуката 11 се среща безбройно много пъти. Първи случай: има безбройно много пролуки, равни на 11. Тогава има безбройно много числа NN, за които и N1N-1, и NN се появяват. За всяко такова NN имамеa1++aN=N2a_1+\dots+a_N=N^2иa1++aN1=(N1)2.a_1+\dots+a_{N-1}=(N-1)^2.Като извадим, получавамеaN=N2(N1)2=2N1.a_N=N^2-(N-1)^2=2N-1.Следователно aN=bNa_N=b_N за безбройно много NN. Втори случай: има само краен брой пролуки, равни на 11. Нека този брой е LL. Твърдение. Има най-много LL пролуки, по-големи от 22. В частност съществуват цяло число kk и индекс n0n_0, такива чеan=2n+ka_n=2n+kза всяко n>n0n\gt{}n_0. Доказателство на твърдението. Нека NN е достатъчно голямо появяващо се число, така че всички пролуки, равни на 11, да са преди индекс NN. Избираме друго появяващо се число от вида N+CN+C, където C>0C\gt{}0. Тогава(N+C)2=a1++aN+C.(N+C)^2=a_1+\dots+a_{N+C}.Понеже след индекс NN няма пролуки 11, имамеaN+jaN+2j(1jC).a_{N+j}\ge a_N+2j\qquad (1\le j\le C).Следователно(N+C)2N2+(aN+2)+(aN+4)++(aN+2C).(N+C)^2\ge N^2+(a_N+2)+(a_N+4)+\dots+(a_N+2C).Дясната страна еN2+CaN+C(C+1).N^2+C a_N+C(C+1).Сравнявайки с (N+C)2=N2+2NC+C2(N+C)^2=N^2+2NC+C^2, получаваме aN2N1a_N\le2N-1. Ако преди индекс NN има повече от LL пролуки, по-големи от 22, тогава, като използваме a11a_1\ge1, всички останали пролуки поне 22 и най-много LL пролуки, равни на 11, получаваме aN>2N1a_N\gt{}2N-1. Това противоречи на току-що доказаното. Значи пролуките, по-големи от 22, са най-много LL. Тъй като и пролуките, равни на 11, са краен брой, от някой момент нататък всички пролуки са точно 22, което доказва твърдението. Остава да определим kk. Вземаме достатъчно голямо nn и поставяме M=2n+kM=2n+k. Тогава M=anM=a_n и M+2=an+1M+2=a_{n+1} се появяват, а индексите M+1M+1 и M+2M+2 са след n0n_0. Затова(M+2)2M2=aM+1+aM+2.(M+2)^2-M^2=a_{M+1}+a_{M+2}.От формулата aj=2j+ka_j=2j+k за големи jj получаваме4M+4=(2(M+1)+k)+(2(M+2)+k)=4M+6+2k.4M+4=(2(M+1)+k)+(2(M+2)+k)=4M+6+2k.Следователно k=1k=-1. Значи във втория случай също имамеan=2n1a_n=2n-1за всички достатъчно големи nn, и в частност за безбройно много nn. Това завършва доказателството.

Задача 5

Пълен запис
Условие
Фиксирано е цяло число n>1n\gt{}1. В една конфигурация на дъска n×nn\times n всяка от n2n^2 клетки съдържа стрелка, сочеща нагоре, надолу, наляво или надясно. При дадена начална конфигурация охлювът Турбо започва от една от клетките и се движи от клетка в клетка. На всеки ход Турбо се премества с една клетка в посоката, указана от стрелката в текущата клетка, като е възможно да излезе извън дъската. След всеки ход стрелките във всички клетки се завъртат на 9090^{\circ} обратно на часовниковата стрелка. Наричаме една клетка добра, ако при старт от тази клетка Турбо посещава всяка клетка на дъската точно веднъж, не излиза извън дъската и в края се връща в началната си клетка. Да се определи, в зависимост от nn, максималният възможен брой добри клетки измежду всички начални конфигурации.
РешениеАко nn е нечетно и n>1n\gt{}1, няма как да се обходи цялата дъска в цикъл, който посещава всяка клетка точно веднъж: такъв цикъл би имал нечетна дължина, а решетъчната дъска е двуделен граф и всеки цикъл в нея има четна дължина. Следователно при нечетно nn добри клетки няма и отговорът е 00. Нека сега nn е четно. Ще докажем, че отговорът е n24\frac{n^2}{4}. Всъщност ще покажем малко по-силно твърдение: ако съществува поне една добра клетка, тогава добрите клетки са точно n24\frac{n^2}{4}. Да фиксираме валиден цикъл, започващ от добра клетка. Той има n2n^2 хода, а това число се дели на 44. Ако започнем от всяка четвърта клетка по същия цикъл, стрелките ще бъдат в същото състояние спрямо момента на пристигане, така че Турбо ще проследи същия цикъл. Това дава поне n24\frac{n^2}{4} добри клетки. Остава да докажем, че повече не може. Достатъчно е да разгледаме северозападния ъгъл на дъската. Има само четири възможни начина Турбо да мине през този ъгъл; индексите показват реда на посещаване на съответните клетки една спрямо друга:[231][231][213][213].\begin{bmatrix} \downarrow_2 & \uparrow_3 \\ \uparrow_1 & \end{bmatrix} \qquad \begin{bmatrix} \downarrow_2 & \leftarrow_3 \\ \uparrow_1 & \end{bmatrix} \qquad \begin{bmatrix} \leftarrow_2 & \leftarrow_1 \\ \leftarrow_3 & \end{bmatrix} \qquad \begin{bmatrix} \leftarrow_2 & \leftarrow_1 \\ \uparrow_3 & \end{bmatrix}.Това се проверява директно от факта, че Турбо не може да излезе през горната или лявата страна на дъската, а след всяка стъпка всички стрелки се завъртат с едно и също количество. Ще казваме, че две конфигурации са ротации една на друга, ако едната се получава от другата чрез завъртане на всички стрелки с един и същ брой пъти по 9090^{\circ}. В четирите локални начина по-горе никои две конфигурации не са ротации една на друга. Следователно за дадена начална конфигурация и даден хамилтонов цикъл моментът по модул 44, в който Турбо минава през северозападния ъгъл, е еднозначно определен. След като този момент е известен, целият насочен хамилтонов цикъл също е еднозначно определен: за всяка клетка знаем в кой момент по модул 44 е посетена и към коя съседна клетка трябва да води стрелката в този момент. Затова различните добри начални клетки могат да бъдат само онези, които се намират през четири стъпки по един и същ цикъл. Следователно броят им е най-много n24\frac{n^2}{4}. За четно nn такива цикли наистина съществуват, например чрез стандартно серпентинно обхождане на дъската, затворено по края. Значи максималният брой добри клетки е n24\frac{n^2}{4}.

2026

1 задача

Задача 6

Пълен запис
Условие
Нека pp е просто число и нека nn е положително цяло число, което не се дели на pp. Нека kk е броят на положителните делители на nn, а1=d1<d2<<dk=n1=d_1\lt{}d_2\lt{}\dots\lt{}d_k=nса положителните делители на nn. За i=1,2,,ki=1,2,\dots,k нека cic_i е броят на положителните делители \ell на di2d_i^2, за които did_i-\ell се дели на pp. Докажете, че(p1)(c1+c2++ck)k2.(p-1)(c_1+c_2+\dots+c_k)\ge k^2.
РешениеНекаn=q1e1q2e2qmem,n=q_1^{e_1}q_2^{e_2}\cdots q_m^{e_m},където qiq_i са прости числа. Фиксираме примитивен корен gg по модул pp и пишемqigλi(modp).q_i\equiv g^{\lambda_i}\pmod p.По-нататък индексът ii ще пробягва простите множители q1,,qmq_1,\dots,q_m, а не делителите от условието. Първо ще преформулираме числата cjc_j. Некаdj=q1y1q2y2qmym.d_j=q_1^{y_1}q_2^{y_2}\cdots q_m^{y_m}.Всеки делител \ell на dj2d_j^2 може да се запише еднозначно във вида=dji=1mqixi,\ell=d_j\prod_{i=1}^m q_i^{x_i},където yixiyi-y_i\le x_i\le y_i за всички ii. Условието djd_j-\ell да се дели на pp е равносилно на dj(modp)\ell\equiv d_j\pmod p, тоестi=1mqixi1(modp).\prod_{i=1}^m q_i^{x_i}\equiv1\pmod p.С избрания примитивен корен това е същото катоi=1mλixi0(modp1).\sum_{i=1}^m \lambda_i x_i\equiv0\pmod{p-1}.Следователно cjc_j брои точно тези цели mm-торки (x1,,xm)(x_1,\dots,x_m), за които xiyi|x_i|\le y_i и горното сравнение е изпълнено. Сега сумираме по всички делители djd_j, или еквивалентно по всички mm-торки (y1,,ym)(y_1,\dots,y_m) с 0yiei0\le y_i\le e_i. Ако фиксираме (x1,,xm)(x_1,\dots,x_m), броят на възможните yiy_i е ei+1xie_i+1-|x_i|. Получавамеj=1kcj=\sum_{j=1}^k c_j=eixieiλixi0(modp1)i=1m(ei+1xi).\begin{aligned} \sum_{\substack{-e_i\le x_i\le e_i\\ \sum \lambda_i x_i\equiv0\pmod{p-1}}} \prod_{i=1}^m (e_i+1-|x_i|).\end{aligned}Ще използваме филтър с корени на единицата. За всяко цяло ss имаме1p1ωp1=1ωs={1,s0(modp1),0,s≢0(modp1).\frac1{p-1}\sum_{\omega^{p-1}=1}\omega^s= \begin{cases} 1, & s\equiv0\pmod{p-1},\\ 0, & s\not\equiv0\pmod{p-1}. \end{cases}Затоваj=1kcj=\sum_{j=1}^k c_j=1p1ωp1=1i=1m(xi=eieiωλixi(ei+1xi)). \frac1{p-1}\sum_{\omega^{p-1}=1} \prod_{i=1}^m\left(\sum_{x_i=-e_i}^{e_i}\omega^{\lambda_i x_i}(e_i+1-|x_i|)\right).Остава да оценим вътрешните суми. Ако zz е комплексно число с z=1|z|=1, тогаваx=eezx(e+1x)=1+z++ze2.\sum_{x=-e}^{e}z^x(e+1-|x|)=|1+z+\dots+z^e|^2.Наистина, лявата страна се факторизира като(1+z++ze)(1+z1++ze),(1+z+\dots+z^e)(1+z^{-1}+\dots+z^{-e}),а вторият множител е комплексно спрегнат на първия. Прилагайки това с z=ωλiz=\omega^{\lambda_i}, получавамеj=1kcj=\sum_{j=1}^k c_j=1p1ωp1=1i=1m1+ωλi++ωλiei2. \frac1{p-1}\sum_{\omega^{p-1}=1} \prod_{i=1}^m\left|1+\omega^{\lambda_i}+\dots+\omega^{\lambda_i e_i}\right|^2.Всички членове в тази сума са неотрицателни. Ако вземем само приноса на ω=1\omega=1, получавамеj=1kcj\sum_{j=1}^k c_j\ge1p1(e1+1)2(e2+1)2(em+1)2.\frac1{p-1}(e_1+1)^2(e_2+1)^2\cdots(e_m+1)^2.Ноk=(e1+1)(e2+1)(em+1),k=(e_1+1)(e_2+1)\cdots(e_m+1),така че(p1)j=1kcjk2,(p-1)\sum_{j=1}^k c_j\ge k^2,както трябваше да се докаже.