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 ] 

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



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

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


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

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