avva: (Default)
[personal profile] avva
Две красивые задачки с элементарным, но не совершенно тривиальным решением. Мне понравились. Не знаю, насколько они известны; я наткнулся на них в старом выпуске American Mathematical Monthly.

  1. Пусть S — множество всех натуральных чисел, у которых нет простых делителей, больших, чем 3. Доказать, что любое натуральное число можно представить в виде суммы набора чисел из S, так, что числа в наборе не повторяются, и ни одно число в наборе не кратно никакому другому.

  2. Пусть T — множество всех натуральных чисел, у которых нет простых делителей, кроме 2, 5 или 7. Доказать, что заключение предыдущего пункта выполняется (для T, а не для S, естественно) для любого достаточно большого натурального числа.


Если вдруг (хоть я в это не верю) не появится правильное решение в комментариях за несколько дней, то я опубликую своё доказательство. Тому, кто хочет решать сам, в комментарии лучше не заглядывать (я хоть и буду скрывать на время правильные решения или значительные шаги к ним, но не всегда оперативно).

Date: 2004-05-30 07:30 pm (UTC)
From: [identity profile] flaass.livejournal.com
Для двух - нет. Там ситуация принципиально другая.
Для 2, 7 очевидно неверно (см. остатки по модулю 7).
А щас я напишу у себя, почему это может быть верно только для конечного (и очень небольшого) числа пар.

Date: 2004-05-30 07:43 pm (UTC)
From: [identity profile] french-man.livejournal.com
А, конечно.

Значит, и моя "общая гипотеза" неверна. Возможно, надо добавить какое-нибудь локальное условие.

Date: 2004-05-30 07:47 pm (UTC)
From: [identity profile] flaass.livejournal.com
Блин, комп дохнет, почти готовая запись пропала. Повторю попозже.
А идея такая: для двух простых общего числа сумм не хватает, если простые "слишком" велики.

Date: 2004-05-31 01:17 am (UTC)
From: [identity profile] flaass.livejournal.com
Ага, написал про два простых.

Date: 2004-05-31 09:42 pm (UTC)
From: [identity profile] french-man.livejournal.com
Да, и с "локальным условием" неверна. ОК, подумаем. Надо с Севой Львом обсудить, у него хорошая интуиция на такие штучки.

Date: 2004-06-01 10:46 pm (UTC)
From: [identity profile] flaass.livejournal.com
Надо заставить ее еще медленнее расти, твое условие слишком слабо.
И заключение сделать такое: либо мн-во непредставимых чисел конечно, либо оно содержит бесконечную арифметическую прогрессию.

Date: 2004-06-05 06:45 pm (UTC)
From: [identity profile] french-man.livejournal.com
Да, похоже на то.

Date: 2004-05-30 07:47 pm (UTC)
From: [identity profile] avva.livejournal.com
Объясни чуть подробнее про остатки, что-то я торможу.

Date: 2004-05-30 07:49 pm (UTC)
From: [identity profile] flaass.livejournal.com
Степень двойки по модулю 7 дает остаток 1, 2 или 4. А остальные слагаемые на 7 делятся.

Date: 2004-05-30 07:51 pm (UTC)
From: [identity profile] avva.livejournal.com
Ох, ну конечно же. Спасибо.

January 2026

S M T W T F S
    1 23
45678910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 2nd, 2026 01:37 pm
Powered by Dreamwidth Studios