2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Рекурсия, делимость, просьба к обладателям мат. пакетов
Сообщение06.01.2019, 19:55 
Заслуженный участник
Аватара пользователя


21/11/12
1968
Санкт-Петербург
Задана последовательность $f$ как функция от нечетного ряда: $f_1=1,f_3=U-1,...,f_{2n+1}=Uf_{2n-1}-f_{2n-3},...$ ,
где $U=4m^2-2$, $m$ - фиксированный четный аргумент. В явном виде: $$f_{2n+1}=\dfrac{(m+\sqrt{m^2-1})^{2n+1}+(m-\sqrt{m^2-1})^{2n+1}}{2m} \approx \dfrac{(m+\sqrt{m^2-1})^{2n+1}}{2m}.$$ Хотелось бы проверить следующее утверждение: если некоторый член последовательности кратен квадрату простого $p>2$, то $p$ делит его номер. $p^2 \mid f_{2n+1} \Rightarrow p \mid 2n+1.$ Вольфрам исключений не увидел, но это слабовато для проверки. Информации нужной к сожалению не нашел. Заранее благодарен.

-- 06.01.2019, 20:51 --

p.s. уже вижу, что это неверно: $m=128, f_3=13 \cdot 71^2$, а значит и $f_{3(2k+1)}$. В больших номерах исключения видимо также возможны при больших числах :-( Спасибо.

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

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



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

Сейчас этот форум просматривают: STR


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

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