Прыжки с места
В чисел теории прыжок Виета , также известный как переворачивание корня является методом доказательства . Чаще всего он используется для задач, в которых задана связь между двумя целыми числами, а также утверждение для доказательства ее решений. В частности, его можно использовать для получения новых решений квадратного диофантова уравнения из известных. Существует множество вариантов прыжков Виеты, все из которых связаны с общей темой бесконечного спуска путем поиска новых решений уравнения с использованием формул Виеты .
История [ править ]
Прыжки Виета — классический метод теории квадратных диофантовых уравнений и бинарных квадратных форм . Например, его использовали при анализе уравнения Маркова еще в 1879 году и в статье Миллса 1953 года. [1]
В 1988 году этот метод привлек внимание к задачам математических олимпиад в свете первой олимпиадной задачи, и его использовали в решении, которое было предложено для Международной математической олимпиады и считалось самой сложной задачей на конкурсе: [2] [3]
- Пусть a и b — целые положительные числа такие, что ab + 1 делит a 2 + б 2 . Покажи это представляет собой квадрат целого числа. [4]
Артур Энгель написал следующее о сложности задачи:
Никто из шести членов австралийского проблемного комитета не смог ее решить. Двумя участниками были муж и жена Джордж и Эстер Секерес , оба известные решатели и создатели проблем. Поскольку это была задача теории чисел, ее отправили четырем самым известным австралийским теоретикам чисел. Их попросили поработать над этим шесть часов. Никто из них не смог решить эту проблему за это время. Проблемный комитет представил ее на рассмотрение жюри XXIX IMO, отмеченную двойной звездочкой, что означало сверхсложную задачу, возможно, слишком трудную для постановки. После долгого обсуждения жюри наконец набралось смелости выбрать ее последней задачей конкурса. Одиннадцать студентов дали идеальные решения.
Среди одиннадцати студентов, получивших максимальный балл за решение этой задачи, были Нго Бо Чау , Рави Вакил , Звезделина Станкова и Никушор Дан . [5] Эмануил Атанасов (из Болгарии) решил задачу в абзаце и получил специальный приз. [6]
прыжок Виета Стандартный
Концепция стандартного прыжка Виета представляет собой доказательство от противного и состоит из следующих четырех этапов: [7]
- Предположим в сторону противоречия, что существует некоторое решение ( a 1 , a 2 , ... ), которое нарушает данные требования.
- Возьмем минимальное такое решение согласно некоторому определению минимальности.
- Замените некоторое a i на переменную x в формулах и получите уравнение, для которого a i является решением.
- Используя формулы Виеты, покажите, что из этого следует существование меньшего решения и, следовательно, противоречие.
- Пример
Проблема №6 в IMO 1988 : Пусть a и b — положительные целые числа, такие, что ab + 1 делит a 2 + б 2 . Докажите, что a 2 + б 2 / ab + 1 — полный квадрат . [8] [9]
- Зафиксируйте некоторое значение k , которое является неквадратным положительным целым числом. Предположим, существуют целые положительные числа ( a , b ), для которых k = a 2 + б 2 / аб + 1 .
- Пусть ( A , B ) — целые положительные числа, для которых k = A 2 + Б 2 / AB + 1 и такой, что A + B минимизирован, и без ограничения общности предположим, что A ≥ B .
- Исправив B , замените A на переменную x, чтобы получить x 2 – ( кБ ) x + ( Б 2 – к ) знак равно 0 . Мы знаем, что один корень этого уравнения равен x 1 = A . По стандартным свойствам квадратных уравнений мы знаем, что другой корень удовлетворяет условиям x 2 = kB – A и x 2 = B 2 – к / А .
- Первое выражение для x 2 показывает, что x 2 является целым числом, а второе выражение подразумевает, что x 2 ≠ 0, поскольку k не является полным квадратом. От x 2 2 + Б 2 / x 2 B + 1 = k > 0, далее следует, что x 2 B > −1 , и, следовательно, x 2 является положительным целым числом. Наконец, A ≥ B означает, что x 2 = B 2 - к / А < B 2 / A ≤ A , следовательно, x 2 < A и, следовательно, 2 + B < A + B , что противоречит минимальности A + B. x
спуск прыгает Виета Постоянный
Метод постоянного спуска Вьета-прыжка используется, когда мы хотим доказать утверждение о том, что константа k имеет какое-то отношение к отношению между a и b . В отличие от стандартных прыжков Виета, постоянный спуск не является доказательством от противного и состоит из следующих четырех этапов: [10]
- Случай равенства доказан, так что можно предположить, что a > b .
- b и k фиксированы, а выражение, связывающее a , b и k, преобразуется в квадрат с коэффициентами, выраженными через b и k , одним из корней которого является a . Другой корень x 2 определяется по формулам Виета.
- Для всех ( a , b ) выше определенного базового случая покажите, что 0 < x 2 < b < a и что x 2 является целым числом. Таким образом, сохраняя то же значение , мы можем заменить ( a , b ) на ( b , x2 k ) и повторять этот процесс, пока не придем к базовому случаю.
- Докажите утверждение для базового случая, а поскольку k в ходе этого процесса оставалось постоянным, этого достаточно, чтобы доказать утверждение для всех упорядоченных пар.
- Пример
Пусть a и b — целые положительные числа такие, что ab делит a 2 + б 2 + 1 . Докажите, что 3 ab = a 2 + б 2 + 1 . [11]
- Если а = б , а 2 деление 2 а 2 + 1 означает, что 2 делит 1, и, следовательно, положительные целые числа a = b = 1 и 3(1)(1) = 1 2 + 1 2 + 1 . Итак, без ограничения общности, предположим, что a > b .
- Для любого ( a , b ), удовлетворяющего данному условию, пусть k = a 2 + б 2 + 1 / ab и переставьте и замените, чтобы получить x 2 - ( кб ) Икс + ( б 2 + 1) = 0 . Один корень этого квадратичного уравнения равен a , поэтому по формулам Виеты другой корень можно записать следующим образом: x 2 = kb − a = b 2 + 1 / a .
- Первое уравнение показывает, что x 2 — целое число, а второе — что оно положительное. Поскольку a > b и они оба целые числа, a ≥ b + 1 и, следовательно, ab ≥ b 2 + б ; Пока b > 1 , мы всегда имеем ab > b 2 + 1 и, следовательно, x 2 = b 2 + 1 / а < б . образом, сохраняя то же самое k , мы можем заменить ( a , b ) на ( b , x2 Таким ) и повторять этот процесс, пока не придем к базовому случаю.
- Базовый случай, к которому мы приходим, — это случай, когда b = 1 . Чтобы ( a , 1) удовлетворяло данному условию, a должен разделить a 2 + 2 , что означает, что a делит 2, образуя либо 1, либо 2. Первый случай исключается, поскольку a = b . Во втором случае k = a 2 + б 2 + 1 / ab = 6 / 2 знак равно 3 . Поскольку k остается постоянным на протяжении всего процесса прыжков Виеты, этого достаточно, чтобы показать, что для любого ( a , b ), удовлетворяющего данному условию, k всегда будет равно 3.
интерпретация Геометрическая
Прыжок Виеты можно описать с помощью точек решетки на гиперболах в первом квадранте. [2] Вместо этого тот же процесс поиска меньших корней используется для поиска нижних точек решетки гиперболы, оставаясь при этом в первом квадранте. Процедура следующая:
- Из данного условия получаем уравнение семейства гипербол, которые не изменяются при перестановке x и y так, чтобы они были симметричны относительно прямой y = x .
- Докажите требуемое утверждение для пересечений гипербол и прямой y = x .
- Предположим, что на некоторой гиперболе существует некоторая точка решетки ( x , y ) и без ограничения общности x < y . имеется соответствующая точка решетки с такой же координатой x Тогда по формулам Виета на другой ветви гиперболы , и путем отражения через y = x получается новая точка на исходной ветви гиперболы.
- Показано, что этот процесс создает нижние точки на той же ветви и может повторяться до тех пор, пока не будет достигнуто некоторое условие (например, x = 0 ). Тогда подстановкой этого условия в уравнение гиперболы искомый вывод будет доказан.
- Пример
Этот метод можно применить к задаче №6 на IMO 1988 : пусть a и b — положительные целые числа, такие, что ab + 1 делит a. 2 + б 2 . Докажите, что a 2 + б 2 / ab + 1 — полный квадрат.
- Позволять a 2 + б 2 / ab + 1 = q и зафиксируйте значение q . Если q = 1 , q является желаемым квадратом. Если q = 2 , то ( a - b ) 2 = 2 и не существует интегрального решения a , b . Когда q > 2 , уравнение x 2 + и 2 − qxy − q = 0 определяет гиперболу H и ( a , b ) представляет целую точку решетки на H .
- Если ( x , x ) целая точка решетки на H с x > 0 , то (поскольку q целое) можно видеть, что x = 1 . Тогда утверждение этого предложения верно для точки ( x , x ) .
- Теперь пусть P = ( x , y ) — точка решетки на ветви H с x , y > 0 и x ≠ y (поскольку предыдущее замечание охватывает случай x = y ). По симметрии мы можем предположить, что x < y и что P находится в более высокой ветви H . Применяя формулы Виеты, ( x , qx − y ) является точкой решетки на нижней ветви H . Пусть y ′ = qx − y . Из уравнения для H видно, что 1 + x y ′ > 0 . Поскольку x > 0 , отсюда следует, что ≥ y 0 . Следовательно, точка ( x , y ′ ) находится в первом квадранте. По размышлению точка ( y ′ , x ) также является точкой в первом квадранте H . Более того, из формул Виеты yy ′ = x 2 - q и y ′ знак равно x 2 - д / у . Объединив это уравнение с x < y , можно показать, что y ′ < x . Новая построенная точка Q = ( y ′ , x ) тогда находится в первом квадранте, на более высокой ветви H , и с меньшими координатами x , y , чем точка P, с которой мы начали.
- Процесс предыдущего шага можно повторить всякий раз, когда точка Q имеет положительную координату x . Однако, поскольку координаты x этих точек будут образовывать убывающую последовательность неотрицательных целых чисел, процесс можно повторить только конечное число раз, прежде чем он создаст точку Q = (0, y ) на верхней ветви H ; подстановкой q = y 2 является квадратом, как и требуется.
См. также [ править ]
- Формула Плейса
- Доказательство от противного
- Бесконечный спуск
- Марковское число
- Аполлоническая прокладка
Примечания [ править ]
- ^ Миллс 1953 .
- ↑ Перейти обратно: Перейти обратно: а б Артур Энгель (1998). Стратегии решения проблем . Задачи по математике. Спрингер. п. 127. дои : 10.1007/b97682 . ISBN 978-0-387-98219-9 .
- ^ «Возвращение легенды шестого вопроса» . Числофил . 16 августа 2016 г. Архивировано из оригинала 20 декабря 2021 г. – на YouTube .
- ^ «Международная математическая олимпиада» . www.imo-official.org . Проверено 29 сентября 2020 г.
- ^ «Итоги Международной математической олимпиады 1988 года» . Имо-официальный.org . Проверено 03 марта 2013 г.
- ^ «Индивидуальный рейтинг Эмануила Атанасова» . Международная математическая олимпиада.
- ^ Йимин Гэ (2007). «Метод прыжков Виета» (PDF) . Математические размышления . 5 .
- ^ «Форум AoPS – одна из моих любимых задач, да!» . Artofproblemsolve.com . Проверено 8 января 2023 г.
- ^ КС Браун. «N = (x^2 + y^2)/(1+xy) — квадрат» . MathPages.com . Проверено 26 сентября 2016 г.
- ^ «Форум AoPS — Числа лемуров» . Artofproblemsolve.com . Проверено 8 января 2023 г.
- ^ «Форум AoPS – x*y | x^2+y^2+1» . Artofproblemsolve.com. 07.06.2005 . Проверено 8 января 2023 г.
Внешние ссылки [ править ]
- Vieta Root Jumping на Brilliant.org
- Миллс, штат Вашингтон (1953). «Система квадратных диофантовых уравнений» . Пасифик Дж. Математика . 3 (1): 209–220.