2014 dxdy logo

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

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




 
 Задача
Сообщение18.11.2007, 15:54 
Доказать, что из любых пяти чисел можно выбрать два числа $x$ и $y$, для которых исполняется неравенство $ 0\leq \frac {x-y}{1+xy}\leq 1$

 
 
 
 
Сообщение18.11.2007, 16:40 
Trius писал(а):
Доказать, что из любых пяти чисел можно выбрать два числа $x$ и $y$, для которых исполняется неравенство $ 0\leq \frac {x-y}{1+xy}\leq 1$

Дирихле и тангенс разности.

 
 
 
 
Сообщение18.11.2007, 21:57 
На самом деле учитывая периодичность тангенса , ответ получается уже для четырёх чисел. А для пяти чисел можно сказать больше $0\le \frac{x-y}{1+xy}\le tg \frac{\pi}{5}.$

 
 
 
 
Сообщение18.11.2007, 22:12 
Руст писал(а):
На самом деле учитывая периодичность тангенса , ответ получается уже для четырёх чисел. А для пяти чисел можно сказать больше $0\le \frac{x-y}{1+xy}\le tg \frac{\pi}{5}.$

Сказали же - Дирихле :D! Рассмотрите, например, такие пять чисел - $(100,1,0,-1,-100)$

 
 
 
 
Сообщение19.11.2007, 08:30 
neo66 писал(а):
Руст писал(а):
На самом деле учитывая периодичность тангенса , ответ получается уже для четырёх чисел. А для пяти чисел можно сказать больше $0\le \frac{x-y}{1+xy}\le tg \frac{\pi}{5}.$

Сказали же - Дирихле :D! Рассмотрите, например, такие пять чисел - $(100,1,0,-1,-100)$

Сказано же, надо использовать периодичность, т.е. 5 точек на кругу длиной 5 образуют 5 расстояний.
Пусть х=-100, у=100, тогда $0<\frac{x-y}{1+xy}=\frac{200}{9999}<tg\frac{\pi}{5}=\sqrt{5-2\sqrt 5 }=0.7236..$ :D

 
 
 
 
Сообщение19.11.2007, 21:44 
Согласен. Поторопился :oops: .

 
 
 
 
Сообщение03.12.2007, 00:08 
Есть ли другое решение? :)

 
 
 
 
Сообщение03.12.2007, 15:39 
Аватара пользователя
Trius писал(а):
Есть ли другое решение? :)

Числа -1, 0, 1 разбивают числовую ось на 4 интервала, в один из которых попадут 2 числа из пяти.

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group