Условия про НОД и НОК
Ошибка.
Попробуйте повторить позже
Докажите, что
для попарно различных
Подсказка 1:
В этой задаче выгодным ходом будет рассмотрение разностей чисел ab + 1, bc + 1, ca + 1, ведь они тоже будут делиться на нод.
Подсказка 2:
А если дополнительно учесть, что НОД взаимно прост с a, b и c? Кстати, почему?
Подсказка 3:
Для дальнейшего доказательства давайте поймём, что неравенство инвариантно относительно перестановки переменных. Значит мы можем упорядочить переменные. Осталось только хорошо ввести обозначения, применить очевидную оценку, и готово.
Так как наибольший общий делитель, назовем его делит числа
то
делит и их разности, имеем:
Так как делит
то
взаимнопросто с
и
аналогично и с
тогда
Пусть Положим
где
Наибольший общий делитель чисел не превосходит меньшего из них
по модулю, тогда
и
Необходимо доказать, что это уже очевидно ведь
Ошибка.
Попробуйте повторить позже
В вершинах куба записали восемь различных натуральных чисел, а на каждом его ребре — наибольший общий делитель двух чисел, записанных на концах этого ребра. Могла ли сумма всех чисел, записанных в вершинах, оказаться равной сумме всех чисел, записанных на ребрах?
Давайте докажем, что если числа и
различны, то НОД
. Пусть
, тогда НОД
, а 2НОД
(так как
делится на НОД
, но равно быть не может, так как числа не равны и
большее число, значит, 2НОД
). Получили, что
3НОД
. Давайте для каждого ребра запишем полученную оценку и сложим все неравенства, каждая вершина используется в
трех неравенствах, поэтому сумма всех НОДов меньше либо равна суммы всех чисел. Предположим, что эти суммы равны, тогда равенство
достигается в каждом неравенстве, выше. То есть равенство возможно только при
или
(для каждого ребра).
Не теряя общности пусть , но тогда: либо
, тогда нашлись два равных числа, либо
, но также
или
, то
есть в любом случае найдутся хотя бы два равных числа, противоречие, значит, равенства быть не могло. Таким образом, сумма всех НОДов
меньше суммы всех чисел.
Нет
Ошибка.
Попробуйте повторить позже
Для любых натуральных и
докажите неравенство
(Как обычно, обозначает наибольший общий делитель чисел
и
)
Заметим, что
Но эта разность делится на произведение НОДов. Действительно, делится на
делится на
и
делится на
следовательно
делится на произведение НОДов. Аналогично
делится на
произведение НОДов, а тогда и разность делится. Но тогда эта разность не меньше, а
больше произведения
НОДов.
Ошибка.
Попробуйте повторить позже
Докажите, что если для некоторых натуральных и
верно, что
то
Подсказка 1
Можно свести задачу к работе с НОД с помощью равенства НОК(x,y) × НОД(x,y) = xy. Как связаны НОД(a,a+5) и НОД(b,b+5)?
Подсказка 2
Верно! Из уравнения следует, что они равны. Тогда на них можно сократить. Как теперь доказать, что a = b?
Из алгоритма Евклида следует, что Аналогичным образом получаем, что
Таким образом, имеем равенство
Из этого равенства следует, что Действительно, если некоторое число
делится на
то и
делится на
и
Тогда
делится на
поэтому в противном случае число в одной из частей равенства делится на
а в другой —
нет. Таким образом
Наше равенство эквивалентно
Поскольку на промежутке функция
строго возрастает (так как в точке
находится вершина
параболы), то наше равенство
эквивалентно равенству
Ошибка.
Попробуйте повторить позже
Существуют ли натуральные и
для которых выполняется равенство
Подсказка 1
Попробуем пойти от противного. Тогда, если такое равенство верно для чисел a, b и c, то оно верно и для чисел a/d, b/d, c/d, где d = НОД(a,b,c). Тогда можно полагать, что НОД(a,b,c) = 1. В задаче должно выполняться равенство НОК(a,b) = НОК(a+c,b+c). Что можно сказать о НОДе a+c и b+c?
Подсказка 2
Верно! Если такое равенство выполняется, то мы получаем, что НОК(a+c,b+c) ≤ ab < (a+c)(b+c), поэтому d = НОД(a+c,b+c) > 1. А можно ли доказать, что a или b имеют общие простые делители с d?
Подсказка 3
Можно! Пусть m = НОК(a+c,b+c) = НОК(a,b). Тогда m | ab. Кроме того, d | m. Тогда d | ab, а потому какое-то из чисел a и b не взаимно просто с d. Не умаляя общности, можно считать, что НОД(a,d) = k > 1. Можно ли доказать, что тогда b и c не взаимно просты с k?
Подсказка 4
Конечно! Ведь c = (c + a) - a. Правая часть делится на k, поэтому правая тоже делится. Аналогично доказывается, что b делится на k. В чем противоречие?
Предположим противное. Можно считать, что иначе можно сократить все числа на этот НОД, и равенство останется
верным. Пусть
и
Так как
поэтому Поскольку
и
то
Тогда
или
Без ограничения общности будем считать, что
Таким образом,
и
делятся на
Выходит, что все три числа
делятся на
При
этом
— противоречие.
Нет, не существуют
Ошибка.
Попробуйте повторить позже
Пусть натуральные числа таковы, что Докажите, что тогда
Подсказка 1
Пусть наш НОК равен a. А можно ли упорядочить отношения a к нашим числам?
Подсказка 2
Верно! Эти отношения упорядочатся в обратном порядке. Тогда a/b — наибольшее число, где b — наименьшее число нашего набора. А какое наименьшее значение может принимать дробь a/b?
Пусть Тогда
— различные натуральные числа. Таким образом,
то есть
Ошибка.
Попробуйте повторить позже
У Пети есть карточек с
последовательными натуральными числами (на каждой карточке написано ровно одно число). Он выложил
эти карточки в ряд в некотором порядке.
У каждых двух чисел на соседних карточках Петя нашёл наибольший общий делитель. При каком наибольшем все эти наибольшие
общие делители могут оказаться различными числами?
Подсказка 1
НОД различных чисел обязательно не превосходит их разности, а в задаче даны n последовательных чисел и их НОДы различны. Что это означает?
Подсказка 2
НОДы принимают значения от 1 до n-1, а их как раз n-1 штука. Значит, все числа от 1 до n-1 встретятся в НОДах. Теперь рассмотрим чётные НОДы. Какое должно выполниться условие, чтобы их все получить?
Подсказка 3
Для этого все чётные числа должны стоять подряд(докажите это!). Теперь осталось рассмотреть то, как они появляются в порядке убывания (полезно отдельно рассмотреть два случая в зависимости от чётности n).
Пример. Возьмём числа и расставим их в следующем порядке:
Тогда НОДы будут
Оценка. Здесь и далее — это НОД
Прежде всего отметим, что:
То есть НОД двух соседних чисел не превосходит модуля их разности. Но модуль разности любых двух из последовательных
натуральных чисел принимает значения от
до
Всего Петя получит как раз
пару соседних чисел. Значит, в качестве НОДов
должны встретиться все числа от
до
по одному разу.
Докажем, что четные числа могут стоять только подряд.
- 1.
-
Пусть
четно:
Тогда произвольная пара чисел отличается на величину от
до
то есть всего четных разностей
а самих четных чисел —
Значит они должны стоять подряд.
- 2.
-
Пусть
нечетно:
Тогда произвольная пара чисел отличается на величину от
до
всего четных разностей
Но заметим, что четных чисел на карточках может быть всего
или
Если их
то мы получим максимум
четных разностей. Тогда их ровно
и они должны стоят подряд.
Заметим, что НОД двух различных нечётных чисел не больше половины от их разности, поскольку разность чётная делит НОД, при этом сам НОД нечётный.
Теперь снова рассмотрим случаи в зависимости от чётности
- 1.
-
Тогда, как мы уже знаем, чётных чисел
Пусть они
НОД
можно получить только поставив рядом
и
Получить НОД
можно или парой
или
поскольку наибольшая нечётая разность как раз
а НОД не может быть больше разности. Будем считать, что выбрана первая пара. Покажем, что так можно сделать без ограничения общности. Заменим все числа на противоположные, а потом добавим
. От этого НОДы соседних чисел не поменяются (поскольку мы добавили
несколько раз, что в любом случае делится на НОД (ведь он не более
Числа всё ещё натуральные и последовательные (
При этом теперь наибольшее число перешло в наименьшее, то есть выбор пары тоже сменился. Тогда посмотрим, как идут в другую сторону чётные элементы. Для НОДа
рядом с
обязательно стоит
поскольку наибольшая из доступных на текущий момент разностей как раз
а НОД не может быть больше разности. Для НОДа
далее стоит
Далее мы снова будем чередовать самое маленькое из оставшихся чётных чисел и самое большое. В итоге, придём к
или к
(в зависимости от чётности
Попробуем получить НОД
НОД нечётных чисел не более
поскольку их максимальная разность
(наименьшее —
наибольшее —
С крайним чётным числом разность не более чем
Для
поэтому такого НОД не получится. Противоречие. Для
получаем последовательность
Но
и
не могут одновременно делится на
Противоречие.
- 2.
-
Без ограничения общности будем считать
чётным. Рядом с
должно стоять
чтобы получить НОД
Аналогично, другим крайним элементом последовательности чётных будет
или
в зависимости от чётности
Тогда снова попробуем получить НОД
Для двух нечётных он снова не более
С крайним чётным числом разность не более
ведь максимальное нечётное
уже занято с другой стороны, а наименьшее нечётное
Для
получаем
противоречие.
Ошибка.
Попробуйте повторить позже
Пусть — взаимно простые в совокупности натуральные числа, и
Найдите все возможные значения где
натуральное число, кратное 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. Но тогда
делит
и
делит
т.е. (без
ограничения общности)
делит
Наконец, из того, что
делит
получаем, что
делит
Значит,
но по
условию
— противоречие.
Итак, Набор
реализует
набор
—
набор
—
Для
возьмем
простое число
и положим
Тогда
и
не делит
откуда
Ошибка.
Попробуйте повторить позже
Илья придумал три числа и
а затем посчитал НОД
НОД
и HOД
У него получились такие результаты:
Докажите, что Илья где-то ошибся.
Подсказка 1
Так как речь идет о НОД чисел, то мы хотим получить какое-то противоречие с делимостью
Подсказка 2
Если НОД(a, b) делится на d, то и a и b должны делиться на d
Подсказка 3
Рассмотрите d = 5. НОД(a, c) делится на 5, НОД(b, c) делится на 5. Что из этого следует?
Предположим, что он нигде не ошибся. Заметим, что тогда и
кратны
(так как их НОД
кратен
) и
и
кратны
(так как их НОД
кратен
). Тогда
и
вместе кратны
=> их НОД должен быть кратен
однако
не кратно
Противоречие.
Замечание. Также противоречие можно получить из-за делимости на Из того, что два НОД делятся на
нетрудно вывести, что
все три числа должны делиться на
Но третий НОД на
не делится.
Ошибка.
Попробуйте повторить позже
На доске написаны натуральные числа от 1 до 100, каждое по одному разу. Каждую минуту мальчик Лёша выбирает два числа и
,
написанных на доске, вычисляет НОД
, пишет его на доску, а сами числа стирает. Через 99 минут на доске останется
одно число. Докажите, что оно не может быть точным квадратом.
Как вообще можно доказать, что число не является квадратом? Если число не квадрат, то в его разложении есть простое число в нечетной
степени. Но мы поступим тут немного наглее, докажем, что существует , такое что оставшееся число делится на
, но не делится на
.
Посмотрим на число
.
1) Если , то НОД
.
2) Если . Тогда
дает остаток 1 при делении на
,
поэтому НОД.
3) Если , то НОД
.
Мы нашли инвариант! Четность количества чисел, которые делятся на , не меняется. Изначально их было 33, значит, последнее число
делится на 3. Покажем, что оно не делится на 9. То есть были в конце числа
мы их заменили на НОД
, при этом
этом так как последнее число делится на 3, то это могло быть только во 2-ом случае (только в этом случае НОД делится на 3). Но давайте
заметим, что
точно не делится на 9 в этом случае, а значит, и НОД
. Таким образом, последнее число не
квадрат.
Ошибка.
Попробуйте повторить позже
Найдем НОД(504, 540).
Для поиска НОДа или НОКа удобно смотреть на числа, разложенные по простым делителям — так сразу видно, что у них общего.
Теперь представим, что мы уже нашли НОД и также разложили его на простые множители. Логично, что кроме 2, 3, 5 и 7 в его разложении ничего нового появиться не может (это же все-таки делитель). Рассмотрим внимательнее 5 и 7: если НОД кратен 5, то 504 кратно 5 (число же кратно своему делителю), а это неверно! Аналогично 540 не кратно 7, значит, НОД тоже не кратен 7.
Получается, НОД. Оба числа кратны
(просто возьмем наименьшую из степеней двойки и тройки в разложениях),
значит, это общий делитель.
А вдруг это не НОД? То есть или
. Если же
хотя бы 3, то 540 кратно как минимум
, то есть тройки входит в
разложении в хотя бы 3-ей степени. Но это не так. Аналогично получаем противоречие в случае
. Получается, что
и
и
НОД
. Однако
является общим делителем и, значит, он наибольший.
Ошибка.
Попробуйте повторить позже
Коля, Серёжа и Ваня регулярно ходят в кинотеатр: Коля бывал в нём каждый 6-й день, Серёжа — каждый 10-й, Ваня — каждый 12-й. Сегодня все ребята были в кино. Когда все трое встретятся в кино в следующий раз?
Подсказка 1
Для того, чтобы прочувствовать тот факт, который мы будем использовать для решения, начните выписывать дни, в которые Коля, Серёжа и Ваня ходят в кинотеатр независимо друг от друга и посмотрите, когда они совпадают, каким свойством обладают эти дни?
Подсказка 2
Правильно, если Коля ходит в дни, которые делятся на 6, а Серёжа в дни, которые делятся на 10, то они могут встретиться только в дни, которые делятся на 6 и на 10, остаётся только добавить в эту цепочку Ивана и радоваться победе!
Начнем нумеровать дни, начиная с завтрашнего (сегодняшний день — «нулевой»). Коля будет ходить в кино в те дни, номера которых
делятся на 6, Сережа — в те дни, номера которых делятся на 10, Ваня — в те дни, номера которых делятся на 12. Чтобы они все вместе
оказались в кино, номер дня должен делиться и на 6, и на 10, и на 12. Раньше всего это произойдет в день с номером
НОК.
Найдем этот НОК:
Для НОКа берем максимальные степени по всем имеющимся простым, то есть НОК.
Ошибка.
Попробуйте повторить позже
Про два натуральных числа и
известно, что их НОК в
раз больше, чем их НОД, и
больше
Докажите, что
больше, чем
Подсказка 1
В условии идёт речь про НОД и НОК. Удобно "выделить" в числах a и b их НОД, представив в виде a=Ad, b=Bd, где d=НОД(a, b).
Подсказка 2
Мы хотим доказать, что А/В>8. В наших обозначениях отношение НОК(a, b) и НОД(a, b) - это АВ. Получается, АВ=75. Какими тогда могут быть А и В, учитывая НОД(А,В)=1?
Представим наши числа как где
Тогда и
Так как по условию , то
.
Из взаимной простоты и следует
или
В каждом из этих случаев
Ошибка.
Попробуйте повторить позже
Сколько существует пар натуральных чисел, у которых наименьшее общее кратное равно ?
Замечание.
На реальных олимпиадах обычно в условии задачи указывают считать пары неупорядоченными, то есть считать одинаковыми пары
и
при
В условии данной задачи этого указано не было. Однако жюри при проверке предлагается засчитывать как
верные решения, учитывающие порядок чисел в паре, так и верные решения, рассматривающие только неупорядоченные
пары.
_________________________________________________________________________________________________________________________________________________________________________________
Рассмотрим два случая
-
Хотя бы одно из чисел равно 5000.
Тогда другое число может быть любым делителем числа 5000. Поскольку
, оно имеет
делителей. Таким образом, в этом случае имеется 20 пар без учёта порядка в паре и
упорядоченных пар (так как среди 20 в одной паре числа совпадают и пара не поменяется при их перестановке).
-
Ни одно из двух чисел
не равно 5000.
Тогда в разложении одного из этих чисел
на простые сомножители должен присутствовать множитель
, а в разложении другого — множитель
Без учёта порядка в паре
положим
где
и независимо от этого
Таким образом, в этом случае имеется
неупорядоченных пар (и соответственно 24 упорядоченные пары, поскольку в каждой из 12 пар числа различны).
_________________________________________________________________________________________________________________________________________________________________________________
Итак, есть пары без учёта порядка и
пары с учётом порядка.
Ошибка.
Попробуйте повторить позже
Можно ли вместо звездочек вставить в выражение
в некотором порядке шесть последовательных натуральных чисел так, чтобы равенство стало верным?
Подсказка 1
Среди шести последовательных чисел ровно три четных и три нечетных. Могут ли четные числа оказаться в разных НОКах?
Подсказка 2
Верно, не могут! Тогда оба нока четны, и их разность не равна 2009. Тогда все четные числа в одном НОКе, а в другом — нечетные. А можно ли теперь применить делимость не на 2, а на какое-то другое небольшое число?
Подсказка 3
Верно! Делимость на 3 нам поможет: среди трех последовательных четных чисел есть делящееся на 3. А верно ли аналогичное утверждение о трех последовательных нечетных?
Предположим, что можно. Среди последовательных чисел ровно
четных. Тогда если четные числа есть и в первом НОКе, и во втором,
то оба НОКа четные и их разность тоже четная (явно не
Значит, в одном НОКе все три четных числа, а в другом — все три
нечетные.
Заметим, что среди трех четных последовательных чисел обязательно есть число, кратное (так как все три числа дают разные остатки
при делении на
Аналогично, среди нечетных есть число, кратное
Тогда оба НОКа кратны
и их разность также кратна
Противоречие, так как
не кратно трем. Значит, наше предположение неверно.
Нет, нельзя
Ошибка.
Попробуйте повторить позже
Докажите, что .
Подумаем, как вообще устроены НОД и НОК. Если разложить каждое из чисел и
на простые множители, то в НОД каждый из
простых множителей идет в минимальной из двух степеней, а в НОК — в максимальной. А так как
, то каждое
простое число входит в левое и правое произведения в одинаковой степени, поэтому два произведения равны.
Ошибка.
Попробуйте повторить позже
Два натуральных числа и
друг на друга не делятся, при этом
, а
. Найдите эти
числа.
Так как НОК чисел равен 1000, то в разложении на простые множители чисел и
присутствуют только 2 и 5 не более чем в 3-й степени.
При этом, так как НОД равен 50, то по две пятерки и по одной двойке в числах точно должны быть.
Далее, в одном из чисел, пусть , присутствует
. Так как числа друг на друга не делятся, то в другом числе
пятерка только во
второй степени, зато в него входит
. Тогда, чтобы НОД двух чисел был равен 50, в число
двойка входить лишь в первой степени. В
итоге получили числа
,
, или наоборот.
Ошибка.
Попробуйте повторить позже
Докажите равенство
Подсказка 1
Для док-ва давайте воспользуемся основной теоремой арифметики, которая утверждает, что любое число больше 1 может быть разложено в произведение степеней простых единственным, с точностью до перестановки множителей, способом. Тогда нам остаётся только доказать, почему в обеих частях каждое простое число входит в одинаковой степени, так давайте распишем a, b, c в виде произведения степеней простых чисел и докажем, что в обеих частях они совпадают
Подсказка 2
Рассмотрите какое-то произвольное простое число и докажите, что у него степени в левой и правой частях совпадают, тогда это будет верно для всех простых. Остаётся только вспомнить определение НОКа и НОДа в терминах степеней простых чисел и увидеть, что всё работает
Рассмотрим все простые числа, на которые делится хотя бы одно из чисел . Докажем, что оно входит в одинаковой степени в правую и
левую часть. Проделав такие рассуждения для всех простых чисел, получим требуемое утверждение. Рассмотрим произвольное такое
простое
Обозначим через
степени вхождения
в числа
соответственно. Заметим, что степень вхождения
в число
равна наибольшему из чисел
, а степень вхождения
в
— сумме 2 самых маленьких чисел из
.
Тогда суммарная степень вхождения
в правую часть равна
, что в точности равно степени вхождения
в левую
часть.
Ошибка.
Попробуйте повторить позже
Ваня загадал два натуральных числа, произведение которых равняется Какое наибольшее значение может принимать НОД этих
чисел?
Источники:
Поскольку каждое из этих чисел делится на их НОД, то их произведение делится на квадрат этого НОД. Наибольший точный квадрат, на
который делится число это
, поэтому НОД двух искомых чисел не превосходит 60. При этом НОД
может равняться 60, если искомые два числа это 60 и 120.
Ошибка.
Попробуйте повторить позже
Найдите наибольшее значение выражения
на множестве натуральных чисел. При каком оно достигается?
Подсказка 1
Числа n+2 и n+9 это же достаточно близкие числа, при этом их разность равна 7. Что тогда можно сказать про их НОД?
Подсказка 2
Да, их НОД либо равен 1, либо равен 7. Обозначим его за d. Какая замена тогда просится, если у нас есть НОК и НОД одних и тех же чисел?
Подсказка 3
Ну конечно, замена НОК(a,b)=ab/НОД(a,b). Тогда наше выражение принимает понятный вид. Осталось исследовать функцию, которая получается делением нашего выражения на d^2 и понять, где она принимает максимальное значение.
Подсказка 4
Да! В точке 12. А что еще принимает максимальное значение в точке 12? Поймите это и получите ответ!
Обозначим Так как
и
делятся на
то их разность
делится на
Тогда
или
Как известно, откуда выражение из условия принимает вид
Поскольку может принимать значения только двух констант:
или
то нам достаточно будет максимизировать
функцию
Эта функция определена уже при всех действительных , потом учтём, что у нас было натуральное
. Для максимизации посмотрим
на её производную:
Производная при имеет ровно одну точку экстремума
(это кстати натуральное число), которая является
точкой максимума, потому является глобальным максимумом при
А ещё удачным образом при
имеем
— также принимает максимальное значение, потому при
достигает максимума и функция
Равен этот
максимум
при