от pal702004 » 04 Фев 2015, 07:59
Беше бързо, но не беше подробно - както и да е, разбрахме се с човека, че е било след олимпиадата. И наистина беше така, съдейки по часовете. Изразих съмнение публично - следва публично да ги разсея. Ето решението ми на 3-та задача, отгоре-отгоре:
Всъщност няма необходимост [tex]\alpha,\beta[/tex] да са рационални, достатъчно е да са реални. Може да се докаже по индукция по броят на елементите. За [tex]n=1[/tex] - един елемент, твърдението е очевидно - той е равен на 1. По-интересен е индукциoнният преход, от [tex]k-1[/tex] към [tex]k[/tex]
Ако всички елементи са единици е тривиално. В противен случай има поне един елемент, по-голям от 1 и поне един елемент, по-малък от 1. Нека [tex]a_1<1,\;a_2>1[/tex]
Да запишем условието, както при [tex]k-1[/tex] елемента:
[tex](a_1a_2)a_3\cdots a_k=1[/tex] - приемаме [tex]a_1a_2[/tex] за един елемент, така имаме [tex]k-1[/tex] елемента с произведение 1, за които е вярно
[tex](a_1a_2)^{\alpha}+a_3^{\alpha}+\cdots+a_k^{\alpha} \ge (a_1a_2)^{\beta}+a_3^{\beta}+\cdots+a_k^{\beta}[/tex]
Сега остава да докажем следното:
[tex]a_1^{\alpha}+a_2^{\alpha}-(a_1a_2)^{\alpha} \ge a_1^{\beta}+a_2^{\beta}-(a_1a_2)^{\beta}[/tex]
Преписваме го в следният вид:
[tex](1-a_1^{\alpha})(a_2^{\alpha}-1) \ge (1-a_1^{\beta})(a_2^{\beta}-1)[/tex]
и като имаме предвид, че [tex]a_1<1,\;a_2>1,\; \alpha>\beta>0[/tex] доказваме, че всеки множител в лявата част е по-голям от сътветният в дясната