2014 dxdy logo

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

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




 
 Свойство ряда Фарея [Теория чисел]
Сообщение29.08.2012, 23:12 
Аватара пользователя
Здравствуйте, уважаемые друзья!

Доказать, что в ряда Фарея $F_n$ при $n>1$ нет двух соседних дробей с одинаковыми знаменателями.
Моя попытка решения: От противного. Пусть все-таки $\frac{a}{b}, \frac{c}{b}$-две последовательные дроби в $F_n$ при $n>1$ и $a<c$.
Нетрудно убедиться, что $a<b-1$. Имеем цепочку неравенств: $\frac{a}{b}<\frac{a}{b-1}<\frac{a+1}{b}\leqslant\frac{c}{b}$.
Где здесь взять противоречие?
Напомню, что $F_n:=\Big\{\dfrac{a_i}{b_i}:0\leqslant a_i \leqslant b_i \leqslant n, \text{gcd}(a_i, b_i)=1, \dfrac{a_i}{b_i}<\dfrac{a_{i+1}}{b_{i+1}} \Big\}$
С уважением, Whitaker.

 
 
 
 Re: Свойство ряда Фарея [Теория чисел]
Сообщение29.08.2012, 23:26 
Аватара пользователя
Там вроде как из двух соседних дробей одна обязательно является потомком другой.

 
 
 
 Re: Свойство ряда Фарея [Теория чисел]
Сообщение29.08.2012, 23:33 
Аватара пользователя
ИСН
вряд ли это используется здесь.
Оказывается это так называемая теорема Фарея-Коши-Хароша. :-)
И там делается аналогичное рассуждение как я написал. И пишется, что получается противоречие.
Но противоречия я что-то не вижу :roll:
Где противоречие? Можете указать?

 
 
 
 Re: Свойство ряда Фарея [Теория чисел]
Сообщение30.08.2012, 06:14 
Whitaker в сообщении #612411 писал(а):
Имеем цепочку неравенств: $\frac{a}{b}<\frac{a}{b-1}<\frac{a+1}{b}\leqslant\frac{c}{b}$.
Где здесь взять противоречие?
Противоречие в том, что дроби $a/b$ и $c/b$ уже не будут соседними в ряду Фарея --- между ними втиснуты ещё две дроби.

 
 
 
 Re: Свойство ряда Фарея [Теория чисел]
Сообщение30.08.2012, 09:53 
Аватара пользователя
nnosipov
Теперь все понятно.
Благодарю Вас за помощь.
А то ночью перед сном уже мало что понимал :-)

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


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