2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Целочисленная последовательность.
Сообщение19.04.2006, 12:50 
Заслуженный участник


09/02/06
4401
Москва
Пусть определены последовательности по рекуренции:
$$a_0=1,a_{n+1}=\frac 12 (a_n+\frac{1}{3a_n}),b_n=\sqrt{\frac{3}{3a_n^2-1}}$$
Доказать, что последовательность $b_n,n\ge 1$ целочисленная и имеет как минимум n различных простых делителей.

 Профиль  
                  
 
 
Сообщение19.04.2006, 16:23 
Модератор
Аватара пользователя


11/01/06
5710
Немного поколдовав с рекуррентностями можно получить формулу:
$b_{n+1}=2b_n\left(\frac{2}{3}b_{n-1}^2 + 1\right)$
А так как $b_1=3$, то по индукции получаем, что все $b_n$ являются целочисленными и кратными трём.
Утверждение о количестве простых делителей тоже доказывается по индукции.

Может быть также выведена замкнутая аналитическая формула для $b_n$. См. http://mathworld.wolfram.com/NewtonsIteration.html

 Профиль  
                  
 
 
Сообщение19.04.2006, 20:55 
Заслуженный участник


09/02/06
4401
Москва
maxal писал(а):
Немного поколдовав с рекуррентностями можно получить формулу:
$b_{n+1}=2b_n\left(\frac{2}{3}b_{n-1}^2 + 1\right)$
А так как $b_1=3$, то по индукции получаем, что все $b_n$ являются целочисленными и кратными трём.
Утверждение о количестве простых делителей тоже доказывается по индукции.

Может быть также выведена замкнутая аналитическая формула для $b_n$. См. http://mathworld.wolfram.com/NewtonsIteration.html

maxal я не согласен с кубической зависимостью между членами последовательности b, так, что исправьте и подробнее, чтобы поняли и другие.

 Профиль  
                  
 
 
Сообщение19.04.2006, 21:18 
Заслуженный участник
Аватара пользователя


17/10/05
3709
:evil:
У меня получилось $b_{n+1} = 2 b_n \sqrt{1+b_n^2/3}$. И что-то зело Пифагорейские тройки напоминает...

 Профиль  
                  
 
 
Сообщение19.04.2006, 21:28 
Заслуженный участник


09/02/06
4401
Москва
Это правильное соотношение. Ещё немного и докажете утверждение.

 Профиль  
                  
 
 
Сообщение19.04.2006, 22:14 
Модератор
Аватара пользователя


11/01/06
5710
незванный гость писал(а):
:evil:
У меня получилось $b_{n+1} = 2 b_n \sqrt{1+b_n^2/3}$.

Из этого можно вывести "мою" формулу:
$b_{n+1} = 2 b_n \sqrt{1+b_n^2/3}$
$b_{n+1}^2 = 4 b_n^2 (1+b_n^2/3)$
$b_{n+1}^2/3 + 1 = 4 b_n^2 (1+b_n^2/3)/3 + 1 = \frac{4}{9} b_n^4 + \frac{4}{3} b_n^2 + 1 = \left(\frac{2}{3} b_n^2 + 1\right)^2$
Откуда
$b_{n+1} = 2 b_n \sqrt{1+b_n^2/3} = 2 b_n (\frac{2}{3} b_{n-1}^2 + 1)$.

 Профиль  
                  
 
 
Сообщение19.04.2006, 22:15 
Модератор
Аватара пользователя


11/01/06
5710
Руст писал(а):
maxal я не согласен с кубической зависимостью между членами последовательности b, так, что исправьте и подробнее, чтобы поняли и другие.

Не соглашаться - Ваше право. Но формула верна, тем не менее. Проверено электроникой :lol:

 Профиль  
                  
 
 
Сообщение19.04.2006, 22:29 
Заслуженный участник
Аватара пользователя


17/10/05
3709
:evil:
maxal писал(а):
Не соглашаться - Ваше право. Но формула верна, тем не менее.

Я тоже не заметил разницу в индексах у первого и второго сомножителей. В ней-то все и дело. На беглый взгляд, формула выглядит кубической, а по сути -- квадратичная...

 Профиль  
                  
 
 
Сообщение20.04.2006, 00:08 
Модератор
Аватара пользователя


11/01/06
5710
Если $c_n=b_n/3$, то $c_{n+1} = 2 c_n (6c_{n-1}^2+1)$. Последовательность c_n - это последовательность A071579 в OEIS.

Можно дать явное выражение: $b_n = \sqrt{3(T_{2^{n-1}}(2)^2 - 1)}$, где $T_m(x)$ - многочлен Чебышева первого рода.

 Профиль  
                  
 
 
Сообщение20.04.2006, 08:35 
Заслуженный участник


09/02/06
4401
Москва
Я прошу прощения у maxala, не заметил, что у другого члена индекс n-1.
Незваный гость мог бы довести обозначив подкоренное выражение через $c_n$ и наряду с целым соотношением $b_{n+1}=2b_nc_n$ вывести целое соотношение для $c_{n+1}=...$.

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

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



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

Сейчас этот форум просматривают: Google [Bot]


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

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