Теория чисел на Иннополисе
Ошибка.
Попробуйте повторить позже
Натуральные числа вида (десятичная запись состоит из единиц) будем обозначать Докажите, что существует такое натуральное число что делится на 41 тогда и только тогда, когда делится на
Источники:
Подсказка 1
Сложно анализировать число только из единиц, т.к. сложно разобрать даже его делители...тогда было бы по хорошему его как-то преобразовать в более приятный вид. И подумаем над вопросом: "А откуда тут вообще 41? Почему не 42, например?"
Подсказка 2
Число, состоящее из единиц, можно записать как (10^n - 1)/9. А использовать 41 хочется только как простое число... Выходит, что (10^n - 1)/9 должно делиться на 41. Когда это возможно?
Подсказка 3
Когда 10^n - 1 делится на 41. Хмм, 41 простое... Какая известная теорема может помочь нам в нахождении хотя бы одного n, удовлетворяющему предыдущему предложению?
Подсказка 4
Малая теорема Ферма утверждает, что при n = 40 10^40 - 1 делится на 41. Теперь хочется как-то найти k из условия... а на что должно делиться n, чтобы 10^n - 1 делилось на 41? Мы не можем найти все такие случаи, но может попробовать найти хотя бы одного такое k и доказать, что утверждение работает в обе стороны.
Подсказка 5
Рассмотрим все такие d, что 10^d - 1 делится на 41 и выберем среди них наименьшее m. Докажем, что если n делится на m, то 10^n - 1 делится на 10^m - 1, а, значит, и на 41. Если это получится, то у нас найдено k, но условие "тогда и только тогда" пока не доказано. Теперь попробуем доказать, что если 10^n - 1 кратно 41, то n кратно m.
Подсказка 6
Мы взяли m наименьшим, т.к. обычно это помогает в поиске противоречий. Для того чтобы доказать утверждение из подсказки 5, попробуем найти НОД(10^n - 1, 10^m - 1).
Подсказка 7
В процессе поиска c помощью алгоритма Евклида можно заметить, что у нас в конце концов появится 10^(НОД(m, n)) - 1. Предположим, что n не делится на m, тогда НОД(n, m) < m. Осталось лишь найти противоречие с тем, что m - наименьшее взятое число из набора.
Заметим, что
Так как числа и взаимно просты, то кратно тогда и только тогда, когда кратно Поскольку — простое, согласно малой теореме Ферма
Рассмотрим все натуральные при которых кратно наименьшее такое обозначим за
Если делится на то
Значит, делится на а значит, и на что и требовалось.
В обратную сторону: если кратно то рассмотрим Воспользуемся алгоритмом Евклида, т.е. свойством НОД
Теперь
Повторяя эти действия, убеждаемся, что в конце получается число
Если не делится на то
Значит, — не минимальное натуральное число, при котором кратно — противоречие. Значит, кратно что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Пусть — взаимно простые в совокупности натуральные числа, и
Найдите все возможные значения где натуральное число, кратное 3. Запись обозначает наибольший общий делитель целых чисел Целые числа называются взаимно простыми в совокупности, если
Подсказка 1
А давайте для начала попробуем ручками проверить различные a, b, c - чтобы понять, каким вообще может быть D.
Подсказка 2
Пупупу… а теперь посмотрим внимательно на условие. Каким свойством обладают скобки вида: (aⁿ + bⁿ + cⁿ)?
Подсказка 3
Да, эти скобки симметричны! Если поменять какие-то две переменные местами, то выражение не изменится. А теперь, учитывая, что мы получили какие-то значения D - попробуйте перейти к симметрическим многочленам. К какому противоречию мы придём?
Подсказка 4
Верно, мы придём к тому, что существует какое-то просто p, которое делит произведение abc. Теперь нужно аккуратно доказать, что в таком случае простое p делит каждое из чисел a, b, c! Тогда, мы докажем, что возможны только D = {1, 2, 3, 6}.
Подсказка 5
Остаётся только привести пример чисел a, b, c для каждого возможного D!
Пусть — элементарные симметрические многочлены и Воспользуемся формулой Ньютона
Докажем, что Предположим, что существуют такие взаимно простые в совокупности , что отличен от Докажем, что тогда имеют общий делитель, больший 1. В самом деле, из формул Ньютона следует, что при разложении через моном, не содержащий и с точностью до знака имеет вид Поэтому если делит и делит то делит
При отличном от у чисел есть общий делитель, больший 1. Пусть — простой множитель, входящий в этот делитель. Тогда делит откуда (без ограничения общности) делит a. Но тогда делит и делит т.е. (без ограничения общности) делит Наконец, из того, что делит получаем, что делит Значит, но по условию — противоречие.
Итак, Набор реализует набор — набор — Для возьмем простое число и положим Тогда и не делит откуда
Ошибка.
Попробуйте повторить позже
Назовём бесконечную числовую последовательность стабилизирующейся, если при некотором для всех выполнено Тогда назовем временем стабилизации, при — стабильным значением.
Пусть — натуральные числа. Дана последовательность в которой и для любого натурального выполнены равенства
здесь — это операция взятия целой части при делении на и
здесь — операция взятия остатка от деления на
Какие из последовательностей стабилизируются, и чему равны их стабильные значения? Чему равно время стабилизации последовательности
Подсказка 1
Давайте посмотрим, что нам известно из условия? Получается, основная последовательность {Xn} разделяется на три подпоследовательности. Причём первые две, похоже, зависят только от тех элементов основной последовательности, что входят в эту подпоследовательность. Может, для начала рассмотрим их повнимательнее?
Подсказка 2
Верно, мы можем выразить элементы этой последовательности через a, b и n. Третья же подпоследовательность зависит от элементов из других подпоследовательностей, так что здесь так просто не получится расписать. Тогда стоит попробовать выразить x{3n+3} с помощью x{3n+1} и x{3n+2}. Например, записать какое-нибудь равенство с этими тремя переменными.
Подсказка 3
Для составления такого уравнения очень полезно начать с расписывания первых элементов и постепенно находить отношения, которые остаются неизменными. А затем доказать их по индукции
Подсказка 4
Остаётся только проанализировать, при каких значениях b каждая из подпоследовательностей стабилизируется и на каком стабильном значении
Сначала рассмотрим последовательность По ее определению имеем для всех целых — значит, при ее стабильное значение равно а при она не стабилизируется.
Теперь рассмотрим По определению, если то для всех целых а если то и, поскольку последовательность — целочисленная, имеем для всех начиная с (целая часть от логарифма, взятая с избытком).
Докажем по индукции, что
для всех целых
База индукции
по определению.
Индукционная гипотеза: пусть для некоторого выполнено
Тогда
Что и требовалось доказать.
Наконец, рассмотрим последовательность . В силу доказанного выше, если , то все члены последовательности равны , а если , то
начиная с следовательно, стабильное значение последовательности равно
Последовательность стабилизируется на при стабилизируется на при и на при стабилизируется на при начиная с и на при начиная с
Ошибка.
Попробуйте повторить позже
В таблице расставлены различных натуральных чисел. Для каждой строки и каждого столбца таблицы нашли наибольший общий делитель расположенных в нем чисел. Оказалось, что все найденные восемь чисел различны. Для какого наибольшего можно утверждать, что в такой таблице найдется число не меньше
Источники:
Подсказка 1
Давайте для начала удобно переформулируем условие задачи. Если все НОДы различные, то какое наименьшее значение оно может принимать?
Если в каком-то ряду наибольший общий делитель равен то в нем есть четыре числа, делящихся на a, значит, число, не меньшее, чем Поскольку наибольшие общие делители во всех рядах различны, один из них заведомо не меньше Тогда в соответствующем ему ряду должно быть число, не меньшее Приведем теперь пример таблицы, в которой все числа не больше Наибольшие общие делители по строкам равны и а по столбцам равны и
5 | 10 | 15 | 20 |
30 | 6 | 18 | 12 |
7 | 14 | 21 | 28 |
8 | 16 | 24 | 32 |
Замечание. Наибольшие общие делители заведомо должны быть числами от до а ряды с НОДами и должны быть составлены из тех чисел, которые стоят в соответствующих рядах в таблице из примера (возможно в другом порядке).