Теория чисел на Иннополисе
Ошибка.
Попробуйте повторить позже
Натуральные числа вида (десятичная запись состоит из
единиц) будем обозначать
Докажите, что существует такое
натуральное число
что
делится на 41 тогда и только тогда, когда
делится на
Источники:
Заметим, что
Так как числа и
взаимно просты, то
кратно
тогда и только тогда, когда
кратно
Поскольку
— простое,
согласно малой теореме Ферма
Рассмотрим все натуральные при которых
кратно
наименьшее такое
обозначим за
Если делится на
то
Значит, делится на
а значит, и на
что и требовалось.
В обратную сторону: если кратно
то рассмотрим
Воспользуемся алгоритмом Евклида, т.е.
свойством НОД
Теперь
Повторяя эти действия, убеждаемся, что в конце получается число
Если не делится на
то
Значит, — не минимальное натуральное число, при котором
кратно
— противоречие. Значит,
кратно
что и
требовалось доказать.
Ошибка.
Попробуйте повторить позже
Пусть — взаимно простые в совокупности натуральные числа, и
Найдите все возможные значения где
натуральное число, кратное 3. Запись
обозначает наибольший общий
делитель целых чисел
Целые числа
называются взаимно простыми в совокупности, если
Пусть — элементарные симметрические многочлены и
Воспользуемся формулой Ньютона
Докажем, что Предположим, что существуют такие взаимно простые в совокупности
, что
отличен от
Докажем, что тогда
имеют общий делитель, больший 1. В самом деле, из формул Ньютона следует, что при разложении
через
моном, не содержащий
и
с точностью до знака имеет вид
Поэтому если
делит
и
делит
то
делит
При отличном от
у чисел
есть общий делитель, больший 1. Пусть
— простой множитель, входящий в этот
делитель. Тогда
делит
откуда (без ограничения общности)
делит a. Но тогда
делит
и
делит
т.е. (без
ограничения общности)
делит
Наконец, из того, что
делит
получаем, что
делит
Значит,
но по
условию
— противоречие.
Итак, Набор
реализует
набор
—
набор
—
Для
возьмем
простое число
и положим
Тогда
и
не делит
откуда
Ошибка.
Попробуйте повторить позже
Назовём бесконечную числовую последовательность стабилизирующейся, если при некотором
для всех
выполнено
Тогда
назовем временем стабилизации,
при
— стабильным значением.
Пусть — натуральные числа. Дана последовательность
в которой
и для любого натурального
выполнены равенства
здесь
— это операция взятия целой части при делении на
и
здесь
— операция взятия остатка от деления на
Какие из последовательностей стабилизируются, и чему равны их стабильные значения? Чему равно
время стабилизации последовательности
Сначала рассмотрим последовательность По ее определению имеем
для всех целых
— значит, при
ее
стабильное значение равно
а при
она не стабилизируется.
Теперь рассмотрим По определению, если
то
для всех целых
а если
то
и,
поскольку последовательность — целочисленная, имеем
для всех
начиная с
(целая часть от логарифма, взятая с
избытком).
Докажем по индукции, что
для всех целых
База индукции
по определению.
Индукционная гипотеза: пусть для некоторого выполнено
Тогда
Что и требовалось доказать.
Наконец, рассмотрим последовательность . В силу доказанного выше, если
, то все члены последовательности
равны
, а если
, то
начиная с следовательно, стабильное значение последовательности
равно
Последовательность стабилизируется на
при
стабилизируется на
при
и на
при
стабилизируется на
при
начиная с
и на
при
начиная с
Ошибка.
Попробуйте повторить позже
В таблице расставлены
различных натуральных чисел. Для каждой строки и каждого столбца таблицы нашли наибольший
общий делитель расположенных в нем чисел. Оказалось, что все найденные восемь чисел различны. Для какого наибольшего
можно
утверждать, что в такой таблице найдется число не меньше
Источники:
Если в каком-то ряду наибольший общий делитель равен то в нем есть четыре числа, делящихся на
a, значит,
число, не меньшее, чем
Поскольку наибольшие общие делители во всех рядах различны, один из них заведомо не
меньше
Тогда в соответствующем ему ряду должно быть число, не меньшее
Приведем теперь пример таблицы, в
которой все числа не больше
Наибольшие общие делители по строкам равны
и
а по столбцам равны
и
5 | 10 | 15 | 20 |
30 | 6 | 18 | 12 |
7 | 14 | 21 | 28 |
8 | 16 | 24 | 32 |
Замечание. Наибольшие общие делители заведомо должны быть числами от до
а ряды с НОДами
и
должны быть составлены из тех чисел, которые стоят в соответствующих рядах в таблице из примера (возможно в другом
порядке).