2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Неравенство 14.
Сообщение09.08.2017, 10:05 


03/03/12
1380
Заинтересовало неравенство из здешнего "Олимпиадного раздела" возможностью (?) обобщения в виде:

Дано:

$f=x^n+y-1+A(n)$ при $y^n+x\ge1$, $(x;y)\in[0;1]$; $0<A(n)\le1$ при $n>1$, $A(n=1)=0$; $A(n)$ при $n>1$ монотонно убывает (это условие можно (?) ослабить).

Доказать:

$f\ge0$

1). При $x\ge y$ будет верно, что $f\ge0$ (верно даже усиленное неравенство $x^n+y-1\ge0$).
2). Остаётся доказать, что $f\ge0$ при $x\le y$ $\to$ $y=x+\alpha$; $0\le\alpha\le1$ (т.е. этого достаточно).

Достаточно доказать (?), что $f(x=0)\ge0$, где $f=x^n+(x+\alpha)-1+A(n)$
Из условия следует, что
$\alpha^n\ge[(1-x)^{\frac1 n}-x]^n$ $\to$ $\alpha\ge[(1-x)^{\frac1 n}-x]^n$, т.к.$0\le\alpha\le1$
Рассмотрим $\varphi\le f$, где $\varphi=x^n+x [(1-x)^{\frac1 n}-x]^n-1+A(n)$
$\varphi(x=0)\ge0$ $\to$ $f(x=0)\ge0$.

Вопрос: достаточно ли этих рассуждений для доказательства обобщённого неравенства; если этих рассуждений недостаточно для доказательства обобщённого неравенства, то просьба указать, почему именно (желательно привести контрпример).

 Профиль  
                  
 
 Re: Неравенство 14.
Сообщение09.08.2017, 14:46 


16/06/14
96
Уточните условие. В текущей формулировке его можно понять так:
Пусть $A(n)$ - произвольная функция удовлетворяющая указанным условиям. Тогда для любых $x, y \in[0,1]$ выполняется $f\ge 0$.

В технической части неочевидно почему $\varphi\le f$ и $\varphi(0)\ge 0$.

 Профиль  
                  
 
 Re: Неравенство 14.
Сообщение09.08.2017, 15:35 


03/03/12
1380
deep down, да, условие Вы поняли правильно.
deep down в сообщении #1239412 писал(а):
В технической части неочевидно почему $\varphi\le f$ и $\varphi(0)\ge 0$


Действительно, Вы правы. Там опечатка. Пропущен знак "плюс". Должно быть так:

TR63 в сообщении #1239352 писал(а):
Рассмотрим $\varphi\le f$, где $\varphi=x^n+x +[(1-x)^{\frac1 n}-x]^n-1+A(n)$
$\varphi(x=0)\ge0$ $\to$ $f(x=0)\ge0$


Спасибо. Исправила. Теперь очевидно?

 Профиль  
                  
 
 Re: Неравенство 14.
Сообщение09.08.2017, 16:17 


16/06/14
96
Этого я и опасался.
Давайте сначала посмотрим с качественной точки зрения. Зафиксируем какое-нибудь $n>1$. Мы можем выбрать любое $A(n)\in(0,1)$ и всегда найдётся функция удовлетворяющая условиям на $A$. Но из того, что $t+C\ge 0$ при любом $C>0$ следует $t\ge 0$. В нашем случае ($t=x^n+y-1$, $C=A(n)$) получем $x^n+y-1\ge 0$. Что-то здесь не так. А именно, предположение о произвольности $A(n)$.
Посмотрите ещё раз на исходную задачу и попытайтесь сформулировать правдопопобное уверждение.

Теперь главное. Что будет при $x>0$?

 Профиль  
                  
 
 Re: Неравенство 14.
Сообщение18.08.2017, 16:06 


03/03/12
1380
deep down в сообщении #1239449 писал(а):
Теперь главное. Что будет при $x>0$?

Да, поняла, надеюсь. Если $\alpha=\operatorname{const}$ или функция $\varphi$ является монотонно возрастающей, то всё сходится. Но эти утверждения являются абсолютно ложными во всей области определения. Поэтому, как минимум, на функцию $A(n)$ нужны дополнительные условия.
deep down в сообщении #1239449 писал(а):
Посмотрите ещё раз на исходную задачу и попытайтесь сформулировать правдопопобное уверждение.


Да, я могу сформулировать правдоподобное рассуждение, но это будет уже другая задача (гипотеза).
Больше вопросов нет.
Спасибо.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

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



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

Сейчас этот форум просматривают: Alex Krylov, B@R5uk, Утундрий


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

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