?

Log in

No account? Create an account
о лейбнице и простых числах - Поклонник деепричастий [entries|archive|friends|userinfo]
Anatoly Vorobey

[ website | Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Links
[Links:| English-language weblog ]

о лейбнице и простых числах [мар. 25, 2018|10:26 am]
Anatoly Vorobey
[Tags|]

Я обнаружил курьезный факт, который не очень широко известен, кажется:

В 1678-м году французский академический журнал Journal des sçavans (стр. 75) опубликовал письмо Лейбница редактору журнала, в котором Лейбниц рассказывает о новом свойстве простых чисел, которое он открыл: все простые числа больше 5 обязательно либо на 1, либо на 5 больше числа, кратного шестерке. Иными словами, любое простое число больше 5 можно записать в форме 6n+1 либо 6n+5 для какого-то n. Иными словами, при делении на 6 оно обязательно дает остаток 1 или 5.

Скан оригинала по-французски; не уверен, что есть перевод на другие языки, но в любом случае там написано ровно то, что выше, ничего больше интересного нет:


Вкратце объяснение, что здесь курьезного (математики среди читателей это уже поняли, у них фейспалм сейчас). Простые числа - те, которые не делятся ни на какие другие, кроме 1 и самих себя. Любое число при делении на 6 дает один из остатков 0,1,2,3,4,5. Но если оно дает остаток 0, 2 или 4, то оно делится на 2, то есть не простое (кроме самой двойки). Если дает остаток 3, то делится на 3, опять не простое. Остаются остатки 1 и 5, так что неудивительно, что любое простое число больше 5 должно давать один из этих остатков. Это совершенно тривиальный результат, не заслуживающий статьи в журнале (да, даже в 1678-м году). Странно и любопытно, что Лейбниц, который примерно в те годы открыл интегральное исчисление (параллельно с Ньютоном) и делал другие серьезные открытия в математике, не заметил этой тривиальности и описал этот факт как интересное и многообещающее открытие.
СсылкаОтветить

Comments:
Страница 1 из 2
<<[1] [2] >>
[User Picture]From: dmitrmax
2018-03-25 07:31 am
Возможно, накануне в этом же журнале вышла другая статья не менее очевидного характера и Лейбниц таким образом поиздевался на редактором и мы имеем дело с троллингом?
(Ответить) (Thread)
[User Picture]From: avva
2018-03-25 07:38 am
Журнал выходил тогда раз в год. Вроде бы ничего такого не было, хотя я не искал специально.
(Ответить) (Parent) (Thread)
[User Picture]From: alon_68
2018-03-25 08:23 am
О, значит, современное savant - это упрощение написания sçavant, т.е. от того же корня, что и science.
(Ответить) (Thread)
[User Picture]From: roman_kr
2018-03-25 08:42 am
Интересно, насколько этот факт был тривиальным для древних греков?
(Ответить) (Thread)
[User Picture]From: Boris Sivko
2018-03-25 01:02 pm
Через решето Эратосфена этот факт бы не прошёл.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: timofeikoryakin
2018-03-25 09:03 am
Интегральное-то исчисление тут при чём? Тут, по идее, надо ставить вопрос, занимался ли Лейбниц до этого проблемами делимости и простыми числами. Лень копать, но, скорее всего, нет и это его первый подход к снаряду. И за пять лет он прошёл дистанцию от этого наблюдения до доказательства малой теоремы Ферма...
(Ответить) (Thread)
[User Picture]From: xgrbml
2018-03-25 12:43 pm
А Лейбниц публиковал такое доказательство? (И да, для того времени это было весьма серьезно.)
(Ответить) (Parent) (Thread)
[User Picture]From: akor168
2018-03-25 09:34 am
то совершенно тривиальный результат, не заслуживающий статьи в журнале (да, даже в 1678-м году).

Очень спорное утверждение.
Зададимся двумя вопросами - даже тривиальное утверждение кто-то должен записать и описать.

Второй - насколько сам метод подсчета остатков НЕТРИВИАЛЕН. Если это первое его изложение, то тем более надо было его проиллюстрировать. Заметим, современные дети этот метод сами НЕ изобретают. Его надо специально им рассказывать, и те, кому рассказали, получают большое преимущество на олимпиадных задачках на делимость.
(Ответить) (Thread)
[User Picture]From: avva
2018-03-25 09:45 am
Но в статье нет метода подсчета остатков. Там чистое утверждение, типа "я заметил, что простые числа устроены вот так: от любого из них можно отнять 1 или 5 и получить кратное шестерки".

И все-таки это через 13 лет после смерти Ферма.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: utnapishti
2018-03-25 11:31 am
А как ты это обнаружил? Читал себе Journal des sçavans за 1678 год - и вдруг?..
(Ответить) (Thread)
[User Picture]From: avva
2018-03-25 11:55 am
Именно так, да :)

Я прочитал блог-запись о том, что происходит, если у любого числа суммировать квадраты цифр, потом повторить: приходим либо к 1, либо к небольшому циклу, начинающемуся на 4:
https://www.johndcook.com/blog/2018/03/24/squared-digit-sum/

Там была ссылка на статью со строгим док-вом этого факта, статья 1945 года:
https://oeis.org/A003621/a003621.pdf

На последней странице статьи есть небольшой текст об этом письме Лейбница, по-видимому никак не связанный с самой статьей, а просто курьезный факт, который включили в журнал 1945 года, и попало на одну страницу с концом статьи. Мне это показалось очень интересным, и я начал искать подтверждения; номер страницы не был указан, и даже название было написано с опечаткой. Быстро нашел текст журнала за 1678 год (только один выпуск), но листать все 454 страницы не хотелось, и в оглавлении в конце имя Лейбница не нашел. Поиск дополнительных сведений об этой публикации Лейбница занял довольно долгое время и убедил меня в том, что это довольно-таки малоизвестный факт, но в конце-концов в какой-то французской публикации о теории чисел в 17-м веке, хоть там тоже не обсуждали специально это письмо, в библиографии нашлась ссылка с точным номером страницы...

Edited at 2018-03-25 11:56 (UTC)
(Ответить) (Parent) (Thread) (Развернуть)
From: (Anonymous)
2018-03-25 12:05 pm
1) Если вы посмотрите, сколько решений олимпиадных задач начинаются фразой "заметим, что простые числа имеют вид 6n+-1", то поймете, насколько полезно это наблюдение.
2) Многие современные математики (вплоть до Гротендика) отмечали, что сейчас есть тенденция переоценивать технически сложные доказательства, в том числе и как меру ценности для публикации в журнале. Между тем есть много важных результатов, в которых ценна формулировка, доказательство же (после того, как утверждение сформулировано!) является простым упражнением для любого математика.

Можно получить сколько угодно просто доказываемых утверждений компьютерной генерацией, но гениальный математик нужен, чтобы записать и опубликовать то тривиальное замечание, которое окажется плодотворным.
(Ответить) (Thread)
From: (Anonymous)
2018-03-25 01:12 pm
я подозреваю что криптографы то дис пор тащатся от этого свойства ;-) (Особенно те кому разбираться с RSA/TLS/etc)
(Ответить) (Parent) (Thread)
[User Picture]From: xgrbml
2018-03-25 12:40 pm
Старая орфография забавная такая. И простые числа называют primitifs (сейчас - premiers).
(Ответить) (Thread)
[User Picture]From: urod
2018-03-26 09:25 am
В словаре Брокгауза и Ефрона их называют "первоначальными числами". Интересно, когда простые числа стали называть простыми?
(Ответить) (Parent) (Thread)
[User Picture]From: utnapishti
2018-03-25 01:25 pm
Я нашёл упоминание об этом факте в нескольких немецкоязычных текстах. Вот, например (кажется, несколько иронический) отрывок из главы о теории чисел из книги: Moritz Cantor. Vorlesungen über Geschichte der Mathematik:

Leibniz hat 1678 es für mittheilungswürdig gehalten, dass Primzahlen stets einer der Formen 6n-1 oder 6n-5 angehören, nicht einmal dahin sich erhebend, die beiden Formen als 6n +/- 1 zu vereinigen.

"Лейбниц в 1678 посчитал достойным заметки [в смысле, короткой статьи, как note] тот факт, что простые числа всегда имеют форму 6n-1 или 6n-5, даже не продвинувшись [дословно-буквально: ни разу не возвысившись] до того, чтобы объединить обе формулы в 6n +/- 1."

В примечании к этому месту написано, что Лейбниц не был первым, кто обратил внимание на этот факт: он упоминается раньше в работе Numerorum Mysteria (1599) автора Pietro Bongo (Petrus Bungus).


Я думаю, что причина курьёза состоит в том, что математика в то время была ещё слабо систематизирована, и ещё в значительной мере состояла в накоплении фактов, вперемежку глубоких и "элементарных". И в наше время иногда бывает, что "настоящий" математик, специализирующийся в какой-то области, не знает почти элементарных фактов из другой области, но а тогда-то тем более.
(Ответить) (Thread)
[User Picture]From: avva
2018-03-25 02:37 pm
Здорово, спасибо!
(Ответить) (Parent) (Thread)
From: buddy_z
2018-03-25 02:49 pm

Интересно, много ли современных биологов сделают фейспалм если им напомнить что функция сердца в циркуляции крови была открыта в 1628 году. Уильям Харви аж две книги написал по этому поводу, во даёт мужик!

(Ответить) (Thread)
From: (Anonymous)
2018-03-25 03:37 pm
Чтобы установить этот фактик, Харви пришлось проделать чуть побольше работы, чем выписать остатки от деления на 6.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: alexanderr
2018-03-25 08:21 pm
а еще я слышал, что любое число можно представить как сумму двух простых. это тоже вроде бы из частной исторической переписки. наверное, давно доказано?
(Ответить) (Thread)
From: (Anonymous)
2018-03-26 09:04 pm
Троллинг?

Если нет -- гуглите "проблема Гольдбаха".
(Ответить) (Parent) (Thread) (Развернуть)
From: (Anonymous)
2018-03-25 11:36 pm
Хочу ещё раз напомнить:

стр. = строка
ст. = статья
с. = страница

Если запись "(с. 75)" кажется автору слишком короткой и непонятной, то лучше написать слово полностью, чем вводить читателя в заблуждение.
(Ответить) (Thread)
From: (Anonymous)
2018-03-26 07:11 pm

Пипец вы умный!

https://ru.wiktionary.org/wiki/%D1%81%D1%82%D1%80.
https://en.wiktionary.org/wiki/%D1%81%D1%82%D1%80.

(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: iyugov
2018-03-26 05:08 am
Выявленное свойство можно использовать как основу для решета, отличного от решета Эратосфена.
(Ответить) (Thread)
[User Picture]From: krambambyly
2018-03-26 06:47 am
С днём рождения, многая и благая лета в любви и здоровье!!!)) Ура!))20 (1).jpg
(Ответить) (Thread)
[User Picture]From: banguerski_alex
2018-03-26 06:52 am
С днём рождения!
Читаю Ваш блог уже более 10 лет - и всегда с удовольствием!
Успехов!
(Ответить) (Thread)
Страница 1 из 2
<<[1] [2] >>