Теория чисел на Иннополисе
Ошибка.
Попробуйте повторить позже
Даны целое не являющееся целой степенью числа
и целое
Верно ли, что существует такое целое
что в
десятичной записи числа
встречается десятичная запись числа
Например, для
и
можно выбрать
т.к.
в записи которого есть
Источники:
Подсказки по 119891:
Подсказка 1:
Подсказка 2:
Иными словами, мы хотим подобрать такие целые положительные m и n, что 10^m • b < a^n < 10^m • (b + 1). Это сразу даст реализацию первой подсказки и решение задачи.
Подсказка 3:
В неравенстве довольно много степеней. Почему бы не прологарифмировать его по основанию 10?
Подсказка 4:
На самом деле это неравенство скрывает более общий факт. Запишем его так: lg(b) < nlg(a) - m < lg(b+1). Кстати, а мы же знаем, что a — не степень 10. Что можно сказать про число lg(a)?
Подсказка 5:
Докажите, что для иррационального x и любого интервала (u, v) найдутся целые положительные m, n такие, что u < nx - m < v.
Подсказка 6:
Попробуйте найти две пары чисел (m, n), чтобы разница между числом, соответствующим первой паре и числом, соответствующим второй паре, была меньше длины отрезка (u, v). Рассмотрите разницу t этих чисел, а также числа 2t, 3t, 4t, ..... Не найдётся ли среди них нужное?
Докажем, что для любого целого (
и любого целого
найдется целое
для которого десятичная запись
числа
начинается с последовательно записанных цифр числа
— иными словами, найдутся такие целые положительные
что
Прологарифмируем последнее двойное неравенство с основанием
Докажем, что иррационально: если это не так, то
для некоторых целых положительных взаимно простых
тогда
что невозможно. Итак,
иррационально.
Для завершения решения задачи можно доказать, что для любого иррационального и любого выбранного интервала
найдутся такие целые положительные
что
Заметим, что для любого целого можно выбрать такое целое
что
Пусть
т.е. отрезок
можно разбить на
равных отрезков, длина каждого из которых будет меньше длины интервала
Рассмотрим бесконечный
набор чисел
и выберем из него два числа попадающие в один и тот же из упомянутых
отрезков — пусть это числа
и
(без ограничения общности будем считать, что первое меньше второго).
Тогда
Для найденного рассмотрим числа
— ввиду
среди них найдется число, лежащее на интервале
что и
требовалось доказать.
Осталось заметить, что в условиях нашей задачи — иррациональное положительное число;
—
положительный интервал (если
то в качестве
можно выбрать любое число из интервала
Итак, найдутся
такие целые положительные
что
т.е. десятичная запись числа
будет начинаться с цифр числа
Да, верно
Ошибка.
Попробуйте повторить позже
Бесконечная последовательность строится следующим образом:
и для
Докажите, что для любого целого найдется член этой последовательности, кратный
Источники:
Подсказка 1
Так как нас интересует остаток при делении на d, логично попробовать рассмотреть последовательность b₁, b₂, b₃, ..., где b_i — остаток от а_i при делении на d. Что мы знаем об этой последовательности?
Подсказка 2
Мы хотим доказать, что в данной последовательности встретится 0. Мы знаем, что остатки могут принимать только конечное число значений, как это может помочь нам в доказательстве?
Подсказка 3
Так как члены исходной последовательности заданы рекуррентно, мы можем рассмотреть тройки последовательных членов нашей последовательности остатков, сколько всего есть таких троек? А сколько из них может быть различными?
Подсказка 4
Всего таких троек бесконечное число, ведь последовательность имеет бесконечное число членов! Но так как остатки при делении на d ограничены, то и различных троек у нас может быть лишь конечное число. О чем нам это говорит?
Подсказка 5
Тройки чисел будут повторяться! Более того, последовательность будет периодической (ведь по тройке чисел мы можем однозначно восстановить следующую тройку). Дополним нашу последовательность членом b₀ — остатком от а₀ = а₃ - а₁а₂ при делении на d, и учтем, что в силу периодичности последовательности этот остаток встретится вновь.
Зафиксируем произвольное целое и рассмотрим последовательность
где
— остаток при делении члена
исходной последовательности на
для всякого
Требуется доказать, что в последовательности
встретится
0.
Заметим, что количество троек бесконечно, при этом по каждой такой тройке можно однозначно определить как
предыдущую
так и следующую тройку в последовательности, при этои количество различных троек конечно
их не более
чем
т.е. найдутся различные
для которых
Из вышесказанного следует, что последовательность является периодической. Дополняя её элементом
т.к.
делаем вывод, что
(для найденных ранее различных
откуда
кратно
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Натуральные числа вида (десятичная запись состоит из
единиц) будем обозначать
Докажите, что существует такое
натуральное число
что
делится на 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
Давайте для начала удобно переформулируем условие задачи. Если все НОДы различные, то какое наименьшее значение оно может принимать?
Подсказка 2
Верно, так как столбцов и строк в сумме 8, то и наименьшее значение НОДа равно 8. Давайте теперь посмотрим на одну строку или столбец, и пусть НОД чисел равен d. Тогда какое наименьшее число может быть в этой строке?
Подсказка 3
Ага, так как все числа различны, то и наименьшее число будет хотя бы 4d. Тогда совмещая эти два условия, находим, какое в принципе наименьшее число возможно на доске. Это 32. Теперь вспомним, что различные числа у нас расставляются произвольно. Поэтому осталось только придумать пример, в котором все числа будут не больше 32. То есть это будет вашим контрпримером, что больше 32 число взять нельзя. Победа!
Если в каком-то ряду наибольший общий делитель равен то в нем есть четыре числа, делящихся на
a, значит,
число, не меньшее, чем
Поскольку наибольшие общие делители во всех рядах различны, один из них заведомо не
меньше
Тогда в соответствующем ему ряду должно быть число, не меньшее
Приведем теперь пример таблицы, в
которой все числа не больше
Наибольшие общие делители по строкам равны
и
а по столбцам равны
и
5 | 10 | 15 | 20 |
30 | 6 | 18 | 12 |
7 | 14 | 21 | 28 |
8 | 16 | 24 | 32 |
Замечание. Наибольшие общие делители заведомо должны быть числами от до
а ряды с НОДами
и
должны быть составлены из тех чисел, которые стоят в соответствующих рядах в таблице из примера (возможно в другом
порядке).