2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 09:12 


29/10/11
94
Для доказательства достаточно знать что некоторое число является делителем некоторого полинома. Пример. Известно что все нечетные простые числа чисел вида $n^{2^k}+1$ вид $1+n(2^{k+1})$. Из этого следует что если делитель числа $n^{2^k}+1 <(2^{k+1}+1)^2$ то это заведомо простое число. В списке делителей чисел Ферма нашел 9 делителей которые больше чем два в степени миллион на основании такого критерия и являются простыми числами

 Профиль  
                  
 
 Re: доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 09:51 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
victor.l в сообщении #1327578 писал(а):
В списке делителей чисел Ферма нашел 9 делителей которые больше чем два в степени миллион на основании такого критерия и являются простыми числами
Если они простые, то они должны быть в списке "5000 наибольших известных простых чисел".

 Профиль  
                  
 
 Re: доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 11:56 


29/10/11
94
Не посчитали вот и нет. Разберем пример. В списке делителей чисел Ферма указано что $267(2^{2662090}+1)$ является делителем для F=2662088. Если этот делитель составной то его делитель имеет вид $n(2^{2662090+1)$ где $267>n$. В таком случае нечетный делитель разности этих чисел делится на $n(2^{2662090+1)$ что невозможно.

 Профиль  
                  
 
 Re: доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 12:12 
Заслуженный участник
Аватара пользователя


09/09/14
6328
Я только что проверил. В базе данных на сайте, ссылку на который привёл Someone, числится такая запись (простое число):
Цитата:
$267\cdot 2^{2662090}+1$
801372 (это количество цифр в десятичной записи)
L3234
Feb 2015
Divides Fermat F(2662088)

 Профиль  
                  
 
 Re: доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 12:30 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
victor.l в сообщении #1327614 писал(а):
Не посчитали вот и нет.
Я не утверждал, что нет. И ссылку я Вам дал для того, чтобы Вы проверили сами. За делителями чисел Ферма специально охотятся, и если находят, то вносят их в базу данных, на которую я сослался. Если они, конечно, достаточно велики. Если Вы эти делители нашли в каком-то списке в интернете, то тот, кто их первым нашёл, наверняка внёс их в указанную базу.

Кстати, формулы Вы написали неправильно.

 Профиль  
                  
 
 Re: доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 13:35 


29/10/11
94
Смотрел список на http://www.fermatseach.org к сожалению там не указано что эти числа простые.

 Профиль  
                  
 
 Re: доказательство простоты некоторых чисел без факторизации
Сообщение19.07.2018, 14:08 
Заслуженный участник
Аватара пользователя


09/09/14
6328
victor.l в сообщении #1327634 писал(а):
к сожалению там не указано что эти числа простые.
Объясните, пожалуйста, где именно Вы смотрели. Вот на этой странице того же сайта указано, что это число простое. И тоже указано, что оно было обнаружено в 2015 г.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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