2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1 ... 10, 11, 12, 13, 14, 15, 16 ... 27  След.
 
 
Сообщение19.07.2007, 11:44 
Заслуженный участник


26/06/07
1929
Tel-aviv
Артамонов Ю.Н.
Если вы это проверили, то приведите доказательство. Если нет, - то зачем вы это пишите?

 Профиль  
                  
 
 
Сообщение22.07.2007, 02:33 


10/03/07
59
Казань
Привести неравенство к симметричному виду все же можно так.
Приводим к общему знаменателю:
$2[a(c^2+5)(a^2+5) + b(b^2+5)(a^2+5)+c(c^2+5)(b^2+5)] -
(a^2+5)(c^2+5)(b^2+5)\geqslant0$,
и перепишем для краткости в виде:
1). $2P(a,b,c) -Q(a,b,c) \geqslant 0$.
Тогда оно эквивалентно одновременному выполнению двух симметричных неравенств, оба из которых следуют из 1):
2). $ [2P(a,b,c) - Q(a,b,c)][2P(b,a,c)-Q(a,b,c)] \geqslant 0$ , и
3).$ [2P(a,b,c) - Q(a,b,c)] + [2P(b,a,c) -Q(a,b,c)] \geqslant 0$.
Из 2) следует, что обе скобки больше или меньше нуля одновременно.
Из 3) следует, что может реализоваться только первый вариант.

Если формула разбита переносом строки, тег [mаth] становится обязательным. Формулу поправил. // нг

 Профиль  
                  
 
 
Сообщение22.07.2007, 09:09 
Заслуженный участник


26/06/07
1929
Tel-aviv
Скорцонер писал(а):
$2[a(c^2+5)(a^2+5) + b(b^2+5)(a^2+5)+c(c^2+5)(b^2+5)] -
(a^2+5)(c^2+5)(b^2+5)\geqslant0$,
и перепишем для краткости в виде:
1). $2P(a,b,c) -Q(a,b,c) \geqslant 0$.
Тогда оно эквивалентно одновременному выполнению двух симметричных неравенств:
2). $ [2P(a,b,c) - Q(a,b,c)][2P(b,a,c)-Q(a,b,c)] \geqslant 0$ , и
3).$ [2P(a,b,c) - Q(a,b,c)] + [2P(b,a,c) -Q(a,b,c)] \geqslant 0$.
Из 2) следует, что обе скобки больше или меньше нуля одновременно.
Из 3) следует, что может реализоваться только первый вариант.

3) допустим, довольно легко доказать. Но как вы докажете 2)? В этом вся задача!

 Профиль  
                  
 
 
Сообщение22.07.2007, 20:55 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
Артамонов Ю.Н. писал(а):
Приведу схему доказательства:
1. Нужно показать, что $\exists k_0 \forall k\geqslant k_0: \frac{a}{b^2+5}+\frac{b}{c^2+5}+\frac{c}{a^2+5}\geqslant \frac{ak}{b+6k-1}+\frac{bk}{c+6k-1}+\frac{ck}{a+6k-1}$;
2. $\forall k_1<k_2: \frac{ak_1}{b+6k_1-1}+\frac{bk_1}{c+6k_1-1}+\frac{ck_1}{a+6k_1-1}\geqslant \frac{ak_2}{b+6k_2-1}+\frac{bk_2}{c+6k_2-1}+\frac{ck_2}{a+6k_2-1}$.
Тогда очевидно, что $\forall k\geqslant 2: \frac{ak}{b+6k-1}+\frac{bk}{c+6k-1}+\frac{ck}{a+6k-1}\geqslant \frac 1 2 $, т.к. при $k\to\infty$ получим ровно $\frac 1 2$.
Осталось доказать п.1 и п. 2. :)

Анализ сформулированных пунктов приводит к необходимости отдельного рассмотрения двух случаев:
в виду симметрии положим $a\geqslant b \geqslant c$,
Случай 1. $a+b+c=3, a \geqslant 1, b,c\leqslant 1$;
Случай 2. $a+b+c=3, a,b \geqslant 1, c\leqslant 1$.
Докажем справедливость неравенства для случая 1.
1. Докажем п.1. $\frac{a}{b^2+5}+\frac{b}{c^2+5}+\frac{c}{a^2+5}\geqslant \frac{ak}{b+6k-1}+\frac{bk}{c+6k-1}+\frac{ck}{a+6k-1}$. После преобразований имеем $a\cdot (\frac{1}{b^2+5}-\frac{k}{b+6k-1})+b\cdot (\frac{1}{c^2+5}-\frac{k}{c+6k-1})+c\cdot (\frac{1}{a^2+5}-\frac{k}{a+6k-1})\geqslant 0$. Рассмотрим функцию $f(x)=\frac{1}{x^2+5}-\frac{k}{x+6k-1}$. Она принимает неотрицательные значения, когда $x\leqslant 1$, действительно, после преобразований имеем $x+k-1-kx^2\geqslant 0$ - верно при $x\leqslant 1$. Поскольку у нас для этого случая $b,c\leqslant 1$, то $ a\cdot (\frac{1}{b^2+5}-\frac{k}{b+6k-1})\geqslant 0$ и $ b\cdot (\frac{1}{c^2+5}-\frac{k}{c+6k-1})\geqslant 0$, а $ c\cdot (\frac{1}{a^2+5}-\frac{k}{a+6k-1})$ имеет больший порядок малости, т.к. здесь делим на самое большое $a\geqslant 1$ и умножаем на самое малое $c$.
2. Докажем п.2. Здесь нам нужно доказать, что функция $u(k)= \frac{ak}{b+6k-1}+\frac{bk}{c+6k-1}+\frac{ck}{a+6k-1}$ монотонная, выпуклая вниз, начиная с некоторого $k$. Тогда становится ясно, что она ограничена снизу $\frac{1}{2}$, т.к. при $k\to\infty$ она равна $1/2$. Функция терпит три разрыва, можно показать, что в точке крайнего правого разрыва плюс нуль функция уходит в плюс бесконечность (хотя это и непринципиально для доказательства). Поскольку $u(k)$ имеет конечное число точек экстремума, то ясно, что, начиная с некоторого $k$, она будет монотонной. Докажем, что она будет монотонно убывать. Рассмотрим функцию $r(k)=\frac{ak}{b+6k-1}$ и выясним условие, при котором она выпукла вниз при положительном $k$. Имеем $r^\text{“}(k)=\frac{72ak}{(b+6k-1)^3}-\frac{12a}{(b+6k-1)^2}\geqslant 0$. После преобразований получаем требование $b\leqslant 1$. Таким образом, в случае 1 две компоненты функции $u(k)$ выпуклы вниз. Для того, чтобы показать, что $u(k)$ выпукла вниз, достаточно убедиться, что $u^{‘}(k) \leqslant 0$. Имеем $ u^{‘}(k) =\frac{a}{b-1+6k}-\frac{6ak}{(b-1+6k)}+\frac{b}{c-1+6k}-\frac{6bk}{(c-1+6k)}+ \frac{c}{a-1+6k}-\frac{6ck}{(a-1+6k)}$. В виду изложенного, здесь $\frac{a}{b-1+6k}-\frac{6ak}{(b-1+6k)} \leqslant 0$, $\frac{b}{c-1+6k}-\frac{6bk}{(c-1+6k)} \leqslant 0$, а $\frac{c}{a-1+6k}-\frac{6ck}{(a-1+6k)}$ имеет в сравнении с ними больший порядок малости, т.к. умножаем на меньшее, делим на большее. ч.т.д.

 Профиль  
                  
 
 Задача
Сообщение04.09.2007, 19:33 


28/12/05
160
Найдите бесконечное число положительных целых $(a,b,c)$ образующих арифметическую прогрессию, для которых $ab+1, bc+1, ac+1$-были точными квадратами.

 Профиль  
                  
 
 
Сообщение04.09.2007, 21:02 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
Argady.
Хочется посмотреть решение вашего неравенства. Вроде больше желающих порешать нет.

 Профиль  
                  
 
 
Сообщение05.09.2007, 04:29 
Заслуженный участник
Аватара пользователя


17/10/05
3709
:evil:
student писал(а):
Найдите бесконечное число положительных целых $(a,b,c)$ образующих арифметическую прогрессию, для которых $ab+1, bc+1, ac+1$-были точными квадратами.

Средний член $b_n = \frac{(2+\sqrt3)^n-(2-\sqrt3)^n}{\sqrt3}$, шаг $d_n = \frac{(2+\sqrt3)^n+(2-\sqrt3)^n}{2}$.

 Профиль  
                  
 
 
Сообщение05.09.2007, 16:46 


03/02/07
254
Киев
Что больше $e^{\frac{ 1}{\pi} - \frac {1}{e}}$ или $({\frac{e}{\pi}})^e$ ?

 Профиль  
                  
 
 
Сообщение05.09.2007, 16:48 
Заслуженный участник


26/06/07
1929
Tel-aviv
Артамонов Ю.Н.
У меня терпения много! Подожду ещё.
Должен, кстати, признаться, что пока не видел разумных соображений. :wink:

 Профиль  
                  
 
 Re: Неравенство
Сообщение05.09.2007, 19:02 
Заслуженный участник


14/01/07
787
arqady писал(а):
student писал(а):
Докажите, что при любых неотрицательных числах $a,b,c$ выполняется неравенство:
$(a^5-a^2+3)(b^5-b^2+3)(b^5-b^2+3)\geq (a+b+c)^3$

Так, имхо, проще:
воспользуемся неравенством Гёльдера:
$\prod(a^5-a^2+3)\geq\prod(a^3+2)\geq(a+b+c)^3.$


Первое неравенство понятно. Но, не могу сообразить, как используется неравенство Гельдера. Поясните, если не трудно.

 Профиль  
                  
 
 
Сообщение05.09.2007, 19:12 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
Trius писал(а):
Что больше $e^{\frac{ 1}{\pi} - \frac {1}{e}}$ или $({\frac{e}{\pi}})^e$ ?

Рассмотрим обратные величины $e^{\frac 1 e - \frac 1 \pi }$ и $\left (\frac {e}{\pi} \right )^{-e}$. Умножим их на $e^e$, получим $e^{e+\frac 1 e - \frac 1 \pi }$ и $\pi^{e}$. Докажем, что $e^{e+\frac 1 e - \frac 1 \pi }<\pi^{e}$.
Рассмотрим функции $f(x)=x^{x+\frac 1 x - \frac 1 \pi }$ и $\pi^{x}$. При $x>1$ функция $f(x)$ возрастает. Очевидно, что при $x>\pi$ $f(x)>\pi^x$, кроме того, $f(\pi)=\pi^{\pi}$. Значит при $1<x<\pi$ $f(x)<\pi^x$. Соответственно, $e^{\frac{ 1}{\pi} - \frac {1}{e}}>({\frac{e}{\pi}})^e$.

 Профиль  
                  
 
 
Сообщение05.09.2007, 19:26 
Заслуженный участник


14/01/07
787
Trius писал(а):
Что больше $e^{\frac{ 1}{\pi} - \frac {1}{e}}$ или $({\frac{e}{\pi}})^e$ ?

Что-то тут не то. Вы уверены в условии? Числа не слишком близкие. Верно даже более сильное неравенство: $e^{\frac{ 1}{\pi} - \frac {1}{e}} >{\frac{e}{\pi}}$

 Профиль  
                  
 
 
Сообщение05.09.2007, 19:27 


28/12/05
160
Trius писал(а):
Что больше $e^{\frac{ 1}{\pi} - \frac {1}{e}}$ или $({\frac{e}{\pi}})^e$ ?

$e^{\frac{1}{\pi}-\frac{1}{e}}\vee \Bigl(\frac{e}{\pi}\Bigr)^{e}$
Логарифмуя получим выражение $\frac{1}{\pi}+e\ln \pi \vee \frac{1}{e}+e\ln e$
А дальше исследуя функцию $f(x)=\frac{1}{x}+e\ln x$ мы получим ответ!

 Профиль  
                  
 
 
Сообщение05.09.2007, 19:35 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
neo66 писал(а):
Trius писал(а):
Что больше $e^{\frac{ 1}{\pi} - \frac {1}{e}}$ или $({\frac{e}{\pi}})^e$ ?

Что-то тут не то. Вы уверены в условии? Числа не слишком близкие. Верно даже более сильное неравенство: $e^{\frac{ 1}{\pi} - \frac {1}{e}} >{\frac{e}{\pi}}$

Да он просто забыл написать - без вычислений. :D

 Профиль  
                  
 
 
Сообщение05.09.2007, 19:43 
Заслуженный участник


14/01/07
787
Артамонов Ю.Н. писал(а):
neo66 писал(а):
Trius писал(а):
Что больше $e^{\frac{ 1}{\pi} - \frac {1}{e}}$ или $({\frac{e}{\pi}})^e$ ?

Что-то тут не то. Вы уверены в условии? Числа не слишком близкие. Верно даже более сильное неравенство: $e^{\frac{ 1}{\pi} - \frac {1}{e}} >{\frac{e}{\pi}}$

Да он просто забыл написать - без вычислений. :D

Неравенство: $e^{\frac{ 1}{\pi} - \frac {1}{e}} >{\frac{e}{\pi}}$ тоже доказывается без вычислений.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 401 ]  На страницу Пред.  1 ... 10, 11, 12, 13, 14, 15, 16 ... 27  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group