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

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

10 сентября 2015 г.

\( \ant {n\sqrt2} \cdot \ant {m\sqrt7} < \ant {nm\sqrt{14}} \)

Неравенство, вынесенное в заголовок, — последнее из пяти заданий Санкт-Петербургской МО 2014 года (1 тур, 11 класс, автор А. Голованов). Эта задача приводится в «А. и м.» под номером 424. Предлагаю другое решение, главное достоинство которого не краткость, а возможность найти его, лишь понимая суть антье ... и проявив изрядную долю находчивости.
39. Докажите, что для всех натуральных m и n выполнено неравенство \[
\bigant {n\sqrt2} \cdot \bigant {m\sqrt7} < \bigant {nm\sqrt{14}} .
\tag {39.1}
\]
Доказательство. Ниже будет использовано несложное неравенство \[
(ab+1)^2 \leqslant (a^2+1) (b^2+1) ,
\ \mbox { где }
a, \, b \in \mathbb R .
\] Также нам пригодится правое неравенство среди следующих равносильных условий: \[
\bigant {n\sqrt2} < n\sqrt2
\ \Longleftrightarrow
\ \bigant {n\sqrt2}^2 < 2n^2
\ \Longleftrightarrow
\ \bigant {n\sqrt2}^2 + 1 \leqslant 2n^2 .
\] Аналогично \[
\bigant {m\sqrt7}^2 + 1 \leqslant 7m^2 .
\] Введем обозначения: \[
N = \bigant {n\sqrt2} ,
\quad M = \bigant {m\sqrt7} .
\] Цепочка неравенств, доказывающих (39.1): \[
\left( N M + 1 \right)^2 \leqslant
\left( N^2 + 1 \right) \cdot
\left( M^2 + 1 \right) \leqslant
14 n^2 m^2 ,
\] \[
N M + 1 \leqslant n m \sqrt {14}
\ \Longleftrightarrow
\ N M + 1 \leqslant \bigant {n m \sqrt {14} }
\ \Longleftrightarrow
\] \[
\Longleftrightarrow
\ N M < \bigant {n m \sqrt {14} } .
\] В рассуждениях мы несколько раз применяли факты, что выражения \( n\sqrt2 , \) \( m\sqrt7 , \) \( nm\sqrt{14} \) являются иррациональными числами при любых \( n, \, m \in \mathbb N \).
\( \color{gray}{\blacksquare} \)


Автор: И.Л. на 16:07
Отправить по электронной почте Написать об этом в блоге Опубликовать в 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.