«Антье и мантисса. Сборник задач с решениями»

В блоге публикуются рецензии на книгу, обсуждения критических замечаний, ответы на часто задаваемые вопросы, комментарии к задачам из сборника, а также материалы, не вошедшие в книгу, формулировки и решения новых задач.
http://keldysh.ru/e-biblio/entier — электронная версия книги в формате PDF (редакция от 20.11.2017).

13 июля 2015 г.

5. \(\{n\sqrt2\}\leqslant1-\frac1{\alpha n}\)

(*) Найдем наиболее «сильную» мажоранту для мантиссы \( \Bigmant { n \sqrt 2 } \) среди функ­ций вида \[ g (n) = 1 - \dfrac 1 { \alpha n } ,
\mbox { где } \alpha \in \mathbb R_{>1} .
\tag {*}
\] Сформулируем задачу.
5. Определите такие значения \( \alpha > 1 \), для которых при любом на­ту­раль­ном \( n \) выполняется неравенство \[
\Bigmant { n \sqrt 2 }\leqslant 1 - \dfrac 1 { \alpha n } . \]
Решение. Выполним равносильные преобразования: \[
n \sqrt 2 - \Bigant { n \sqrt 2 } \leqslant 1 - \dfrac 1 { \alpha n } ,
\] \[
n \sqrt 2 + \dfrac 1 { \alpha n } \leqslant \Bigant { n \sqrt 2 } + 1 ,
\] \[
2 n^2 +
\underbrace { \dfrac { 2 \sqrt 2 } \alpha + \dfrac 1 { \alpha^2 n^2 } }
_{ A (n) } \leqslant \left( \Bigant { n \sqrt 2 } + 1 \right)^2 .
\] Если \(
A (n) = \dfrac { 2 \sqrt 2 } \alpha + \dfrac 1 { \alpha^2 n^2 } \leqslant 1
\) при \( \forall n \in \mathbb N , \) то равносильные преобразования можно продолжить: \[
2 n^2 < \left( \Bigant { n \sqrt 2 } + 1 \right)^2 ,
\] \[
n \sqrt 2 < \Bigant { n \sqrt 2 } + 1 ,
\] что является свойством антье
\[
x-1 < \ant x \leqslant x
\ \mbox { для } \forall x \in \mathbb R .
\tag {С3}
\]

Важное уточнение: \( A (1) \leqslant 2 \) (разберитесь самостоятельно почему), а вот \( A (2) \leqslant 1 \), из чего следует, что \( A (n) \leqslant 1 \) при \( n \in \mathbb N_{\geqslant 3} .  \)
Не будем здесь приводить решение несложной системы \[
\begin {cases}
A (1) \leqslant 2 ,
\\[4pt]
A (2) \leqslant 1 .
\end {cases}
\] Ответ: \( \alpha \geqslant \sqrt 2 + \dfrac 3 2 . \)
Таким образом, наиболее «сильной» мажорантой для мантиссы \( \Bigmant { n \sqrt 2 } \) среди функций вида (*) является \[
g (n) = 1 - \dfrac 2 { n \left( 2 \sqrt 2 + 3 \right) } ,
\ \mbox { или }
\ g (n) = 1 - \dfrac { 2 \left( 3 - 2 \sqrt 2 \right) } n .
\] Причем только при \( n = 2 \) мантисса и мажоранта равны.


Автор: И.Л. на 01:45
Отправить по электронной почте Написать об этом в блоге Опубликовать в Twitter Опубликовать в Facebook Поделиться в Pinterest
Следующее Предыдущее Главная страница

Автор

Автор
СЕМЕНОВ
Игорь Ленидович,
науч.сотр-к (1983-2018)
ИПМ им. М. В. Келдыша РАН

Разделы

  • Обозначения
  • Определения
  • Свойства
  • Cообщения

Просмотров за неделю

Архив

  • янв. 2017 ( 1 )
  • нояб. 2016 ( 9 )
  • окт. 2016 ( 11 )
  • сент. 2016 ( 7 )
  • авг. 2016 ( 8 )
  • июл. 2016 ( 5 )
  • июн. 2016 ( 5 )
  • мая 2016 ( 10 )
  • апр. 2016 ( 12 )
  • мар. 2016 ( 5 )
  • янв. 2016 ( 1 )
  • дек. 2015 ( 11 )
  • нояб. 2015 ( 11 )
  • окт. 2015 ( 17 )
  • сент. 2015 ( 13 )
  • авг. 2015 ( 12 )
  • июл. 2015 ( 14 )
  • июн. 2015 ( 2 )
Технологии Blogger.