Как называется уравнение которое нельзя решить

Нерешаемые задачи: уравнения Навье-Стокса, гипотеза Ходжа, гипотеза Римана. Задачи тысячелетия

Нерешаемые задачи — это 7 интереснейших математических проблем. Каждая из них была предложена в свое время известными учеными, как правило, в виде гипотез. Вот уже много десятилетий над их решением ломают головы математики во всем мире. Тех, кто добьется успеха, ждет вознаграждение в миллион американских долларов, предложенное институтом Клэйя.

Предыстория

В 1900 году великий немецкий математик-универсал Дэвид Гильберт, представил список из 23-х проблем.

Исследования, осуществленные с целью их решения, оказали огромное влияние на науку 20 века. На данный момент большинство из них уже перестали быть загадками. В числе нерешенных или решенных частично остались:

• проблема непротиворечивости арифметических аксиом;
• общий закон взаимности на пространстве любого числового поля;
• математическое исследование физических аксиом;
• исследование квадратичных форм при произвольных алгебраических числовых коэффициентах;
• проблема строгого обоснования исчислительной геометрии Федора Шуберта;
• и пр.

Институт Клэйя

Под таким названием известна частная некоммерческая организация, штаб-квартира которой находится в Кембридже, штат Массачусетс. Она была основана в 1998 году гарвардским математиком А. Джеффи и бизнесменом Л. Клэйем. Целью деятельности института является популяризация и развитие математических знаний. Для ее достижения организация выдает премии ученым и спонсирует многообещающие исследования.

В начале 21 столетия Математический институт Клэйя предложил премию тем, кто решит проблемы, которые известны, как самые сложные нерешаемые задачи, назвав свой список Millennium Prize Problems. Из «Списка Гильберта» в него вошла только гипотеза Римана.

Задачи тысячелетия

В список института Клэйя изначально входили:

• гипотеза о циклах Ходжа;
• уравнения квантовой теории Янга — Миллса;
• гипотеза Пуанкаре;
• проблема равенства классов Р и NP;
• гипотеза Римана;
• уравнения Навье Стокса, о существовании и гладкости его решений;
• проблема Берча — Свиннертон-Дайера.

Эти открытые математические проблемы представляют огромный интерес, так как могут иметь множество практических реализаций.

Что доказал Григорий Перельман

В 1900 году известный ученый-философ Анри Пуанкаре предположил, что всякое односвязное компактное 3-мерное многообразие без края гомеоморфно 3-мерной сфере. Ее доказательство в общем случае не находилось в течение века. Лишь в 2002-2003 годах петербургский математик Г. Перельман опубликовал ряд статей с решением проблемы Пуанкаре. Они произвели эффект разорвавшейся бомбы. В 2010 году гипотеза Пуанкаре была исключена из списка «Нерешенные задачи» института Клэйя, а самому Перельману было предложено получить полагающееся ему немалое вознаграждение, от которого последний отказался, не объяснив причин своего решения.

Самое понятное объяснение того, что удалось доказать российскому математику, можно дать, представив, что на бублик (тор), натягивают резиновый диск, а затем пытаются стянуть края его окружности в одну точку. Очевидно, что это невозможно. Другое дело, если произвести этот эксперимент с шаром. В таком случае вроде бы трехмерная сфера, получившаяся из диска, окружность которого стянули в точку гипотетическим шнуром, будет трехмерной в понимании обычного человека, но двумерной с точки зрения математики.

Пуанкаре предположил, что трехмерная сфера является единственным трехмерным «предметом», поверхность которой можно стянуть в одну точку, а Перельману удалось это доказать. Таким образом, список «Нерешаемые задачи» сегодня состоит из 6 проблем.

Теория Янга-Миллса

Эта математическая проблема была предложена ее авторами в 1954-м году. Научная формулировка теории имеет следующий вид: для любой простой компактной калибровочной группы квантовая пространственная теория, созданная Янгом и Милльсом, существует, и при этом имеет нулевой дефект массы.

Если говорить на языке, понятном для обычного человека, взаимодействия между природными объектами (частицами, телами, волнами и пр.) делятся на 4 типа: электромагнитное, гравитационное, слабое и сильное. Уже много лет физики пытаются создать общую теорию поля. Она должна стать инструментом для объяснения всех этих взаимодействий. Теория Янга-Миллса — это математический язык, с помощью которого стало возможно описать 3 из 4-х основных сил природы. Она не применима к гравитации. Поэтому нельзя считать, что Янгу и Миллсу удалось создать теорию поля.

Кроме того, нелинейность предложенных уравнений делает их крайне сложными для решения. При малых константах связи их удается приближенно решить в виде ряда теории возмущений. Однако пока непонятно, как можно решить эти уравнения при сильной связи.

Уравнения Навье-Стокса

С помощью этих выражений описываются такие процессы, как воздушные потоки, течение жидкостей и турбулентность. Для некоторых частных случаев аналитические решения уравнения Навье-Стокса уже были найдены, однако сделать это для общего пока никому не удалось. В то же время, численное моделирование для конкретных значений скорости, плотности, давления, времени и так далее позволяет добиться прекрасных результатов. Остается надеяться, что у кого-нибудь получится применить уравнения Навье-Стокса в обратном направлении, т. е. вычислить с их помощью параметры, либо доказать, что метода решения нет.

Задача Берча — Свиннертон-Дайера

К категории «Нерешенные задачи» относится и гипотеза, предложенная английскими учеными из Кембриджского университета. Еще 2300 лет назад древнегреческий ученый Эвклид дал полное описание решений уравнения x2 + y2 = z2.

Если для каждого из простых чисел посчитать количество точек на кривой по его модулю, получится бесконечный набор целых чисел. Если конкретным образом «склеить» его в 1 функцию комплексной переменной, тогда получится дзета-функция Хассе-Вейля для кривой третьего порядка, обозначаемая буквой L. Она содержит информацию о поведении по модулю всех простых чисел сразу.

Брайан Берч и Питер Свиннертон-Дайер выдвинули гипотезу относительно эллиптических кривых. Согласно ей, структура и количество множества ее рациональных решений связаны с поведением L-функции в единице. Недоказанная на данный момент гипотеза Берча — Свиннертон-Дайера зависит от описания алгебраических уравнений 3 степени и является единственным сравнительно простым общим способом расчета ранга эллиптических кривых.

Чтобы понять практическую важность этой задачи, достаточно сказать, что в современной криптографии на эллиптических кривых основан целый класс асимметричных систем, и на их применении основаны отечественные стандарты цифровой подписи.

Равенство классов p и np

Если остальные «Задачи тысячелетия» относятся к чисто математическим, то эта имеет отношение к актуальной теории алгоритмов. Проблема, касающаяся равенства классов р и np, известная также, как проблема Кука-Левина, понятным языком может быть сформулирована следующим образом. Предположим, что положительный ответ на некий вопрос можно проверить достаточно быстро, т. е. за полиномиальное время (ПВ). Тогда правильно ли утверждение, что ответ на него можно довольно быстро отыскать? Еще проще эта задача звучит так: действительно ли решение задачи проверить не труднее, чем его найти? Если равенство классов р и np будет когда-либо доказано, то все проблемы подбора можно будет решать за ПВ. На данный момент многие специалисты сомневаются в истинности этого утверждения, хотя не могут доказать обратное.

Гипотеза Римана

Вплоть до 1859 года не было выявлено какой-либо закономерности, которая описывала бы, как распределяются простые числа среди натуральных. Возможно, это было связано с тем, что наука занималась другими вопросами. Однако к середине 19 столетия ситуация изменилась, и они стали одними из наиболее актуальных, которыми начала заниматься математика.

Гипотеза Римана, появившаяся в этот период — это предположение о том, что в распределении простых чисел существует определенная закономерность.

Сегодня многие современные ученые считают, что если она будет доказана, то придется пересмотреть многие фундаментальные принципы современной криптографии, составляющие основу значительной части механизмов электронной коммерции.

Согласно гипотезе Римана, характер распределения простых чисел, возможно, существенно отличается от предполагаемого на данный момент. Дело в том, что до сих пока не было обнаружено какой-либо системы в распределения простых чисел. Например, существует проблема «близнецов», разность между которыми равна 2. Этими числами являются 11 и 13, 29. Другие простые числа образуют скопления. Это 101, 103, 107 и др. Ученые давно подозревали, что подобные скопления существуют и среди очень больших простых чисел. Если их найдут, то стойкость современных криптоключей окажется под вопросом.

Гипотеза о циклах Ходжа

Эта нерешенная до сих пор задача сформулирована в 1941 году. Гипотеза Ходжа предполагает возможность аппроксимации формы любого объекта путем «склеивания» вместе простых тел большей размерности. Этот способ был известен и успешно применяется достаточно давно. Однако не известно, до какой степени можно производить упрощение.

Теперь вы знаете, какие нерешаемые задачи существуют на данный момент. Они являются предметом исследования тысяч ученых во всем мире. Остается надеяться, что в ближайшее время они будут решены, а их практическое применение поможет человечеству выйти на новый виток технологического развития.

7 математических загадок тысячелетия. Просто о сложном

Только для мыслящих людей!

«Я знаю только то, что ничего не знаю, но другие не знают и этого»
(Сократ, древнегреческий философ)

НИКОМУ не дано владеть вселенским разумом и знать ВСЁ. Тем не менее, у большинства ученых, да и тех, кто просто любит размышлять и исследовать, всегда есть стремление узнать больше, разгадать загадки. Но остались ли еще неразгаданные темы у человечества? Ведь, кажется, все уже ясно и нужно только применять полученные веками знания?

НЕ стоит отчаиваться! Еще остались нерешенные проблемы из области математики, логики, которые в 2000 году эксперты Математического института Клэя в Кембридже (Массачусетс, США) объединили в список, так называемые, 7 загадок тысячелетия (Millennium Prize Problems). Эти проблемы волнуют ученых всей планеты. С тех пор и по сей день любой человек может заявить, что нашел решение одной из задач, доказать гипотезу и получить от бостонского миллиардера Лэндона Клэя (в честь которого и назван институт) премию. Он уже выделил на эти цели 7 миллионов долларов. К слову сказать, на сегодняшний день одна из проблем уже решена.

Итак, вы готовы узнать о математических загадках?

Уравнения Навье — Стокса (сформулированы в 1822 году)

Уравнения о турбулентных, воздушных потоках, а также течении жидкостей известны как уравнения Навье — Стокса. Если, к примеру, плыть по озеру на чем-либо, то неизбежно вокруг возникнут волны. Это касается и воздушного пространства: при полете на самолете в воздухе также будут образовываться турбулентные потоки.
Данные уравнения как раз производят описание процессов движения вязкой жидкости и являются стержневой задачей всей гидродинамики. Для некоторых частных случаев уже найдены решения, в которых части уравнений отбрасываются, как не влияющие на конечный результат, но в общем виде решения этих уравнений не найдены.
Необходимо найти решение уравнениям и выявить гладкие функции.

Гипотеза Римана (сформулирована в 1859 году)

Область: теория чисел

Известно, что распределение простых чисел (Которые делятся только на себя и на единицу: 2,3,5,7,11…) среди всех натуральных чисел не подчиняется никакой закономерности.
Над этой проблемой задумался немецкий математик Риман, который сделал свое предположение, теоретически касающееся свойств имеющейся последовательности простых чисел. Уже давно известны так называемые парные простые числа — простые числа-близнецы, разность между которыми равна 2, например 11 и 13, 29 и 31, 59 и 61. Иногда они образуют целые скопления, например, 101, 103, 107, 109 и 113.
Если такие скопления будут найдены и выведен определенный алгоритм, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.

Проблема Пуанкаре (сформулирована в 1904 году. Решена в 2002 году.)

Область: топология или геометрия многомерных пространств

Суть проблемы заключается в топологии и состоит в том, что если натягивать резиновую ленту, к примеру, на яблоко (сферу), то будет теоретически возможным сжать ее до точки, медленно перемещая без отрыва от поверхности ленту. Однако если эту же ленту натянуть вокруг бублика (тора), то сжать ленту без разрыва ленты или разлома самого бублика не представляется возможным. Т.е. вся поверхность сферы односвязна, в то время как тора – нет. Задача состояла в том, чтобы доказать, что односвязной является только сфера.

Представитель ленинградской геометрической школы Григорий Яковлевич Перельман является лауреатом премии тысячелетия математического института Клэя (2010 г.) за решение проблемы Пуанкаре. От знаменитой Фильдсовской премии он отказался.

Гипотеза Ходжа (сформулирована в 1941 году)

Область: алгебраическая геометрия

В реальности существуют множество как простых, так и куда более сложных геометрических объектов. Чем сложнее объект, тем труднее его изучать. Сейчас учеными придуман и вовсю применяется подход, основанный на использовании частей одного целого («кирпичики») для изучения этого объекта, как пример — конструктор. Зная свойства «кирпичиков», становится возможным подступиться и к свойствам самого объекта. Гипотеза Ходжа в данном случае связана с некоторыми свойствами как «кирпичиков», так и объектов.
Это очень серьезная проблема алгебраической геометрии: найти точные пути и методы анализа сложных объектов с помощью простых «кирпичиков».

Уравнения Янга — Миллса (сформулированы в 1954 году)

Область: геометрия и квантовая физика

Физики Янг и Миллс описывают мир элементарных частиц. Они, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения в области квантовой физики. Тем самым был найден путь к объединению теорий электромагнитного, слабого и сильного взаимодействий.
На уровне микрочастиц возникает «неприятный» эффект: если на частицу действуют несколько полей сразу, их совокупный эффект уже нельзя разложить на действие каждого из них поодиночке. Это происходит по причине того, что в этой теории друг к другу притягиваются не только частицы материи, но и сами силовые линии поля.
Хотя и уравнения Янга — Миллса приняты всеми физиками мира, экспериментально теория, касающаяся предсказывания массы элементарных частиц, не доказана.

Гипотеза Берча и Свиннертон-Дайера (сформулирована в 1960 году)

Область: алгебра и теория чисел

Гипотеза связана с уравнениями эллиптических кривых и множеством их рациональных решений. В доказательстве теоремы Ферма эллиптические кривые заняли одно из важнейших мест. А в криптографии они образуют целый раздел имени себя, и на них основаны некоторые российские стандарты цифровой подписи.
Задача в том, что нужно описать ВСЕ решения в целых числах x, y, z алгебраических уравнений, то есть уравнений от нескольких переменных с целыми коэффициентами.

Проблема Кука (сформулирована в 1971 году)

Область: математическая логика и кибернетика

Ее еще называют «Равенство классов P и NP», и она является одной из наиболее важных задач теории алгоритмов, логики и информатики.
Может ли процесс проверки правильности решения какой-либо задачи длиться дольше, чем время, затраченное на само решение этой задачи (независимо от алгоритма проверки)?
На решение одной и той же задачи, порой, нужно разное количество времени, если изменить условия и алгоритмы. К примеру: в большой компании вы ищете знакомого. Если вы знаете, что он сидит в углу или за столиком — то вам понадобится доли секунд, чтобы его увидеть. Но если вы не будете знать точно, где находится объект, то затратите больше времени на его поиски, обходя всех гостей.
Основным вопросом является: все или не все задачи, которые можно легко и быстро проверить, можно также легко и быстро решить?

Математика, как может показаться многим, не так далека от реальности. Она является тем механизмом, с помощью которого можно описать наш мир и многие явления. Математика всюду. И прав был В.О. Ключевский, который изрек: «Не цветы виноваты, что слепой их не видит».

Неопределенные уравнения в математике с примерами решения и образцами выполнения

При изучении уравнений первой степени мы уже видели, что если число уравнений меньше числа неизвестных, то такая система имеет бесчисленное множество решений. Такие уравнения называются неопределёнными.

Наиболее часто в практике встречается случай одного уравнения с двумя неизвестными. Общий вид такого уравнения будет:
αx+by=c,
где x и у—неизвестные, а, b и с—данные коэффициенты.

Часто условия задачи бывают таковы, что правильный ответ на вопрос, поставленный в задаче, дают только целые значения, а иногда только целые и притом положительные значения.

Задача:

Разложить число 118 на такие два числа, из которых одно делилось бы на 11, а другое на 17.

Обозначая одно число через Их, а другое через 17у, мы получим уравнение:
11x+17y=118.

Так как в задаче ничего не сказано о знаке чисел, на которые нужно разложить число 118, то в данном случае мы можем считать ответом на задачу и отрицательные решения. Так, условию задачи удовлетворяют числа 33 и 85 (при х=3 и у=5), но также удовлетворяют и числа 220 и —102 (при х=20 и у=—6).

Задача:

Для упаковки самоваров имеются ящики, из которых в одни укладываются 4 самовара, в другие 7. Сколько нужно взять тех или других ящиков, чтобы упаковать 41 самовар?

Обозначив число малых ящиков через х, а число больших через у, будем иметь уравнение:
4x-+7y=41.

Очевидно, что по условию задачи здесь пригодны только целые и притом положительные решения. Такое решение данное уравнение допускает лишь одно, именно: x=5, у=3.

Таким образом, необходимо уметь решать неопределённые уравнения в целых числах, а также в целых и положительных числах.

Признак невозможности решения уравнения в целых числах

Если среди коэффициентов а, b и с имеются дробные, то мы можем привести все коэффициенты к одному знаменателю и затем его отбросить. Тогда все коэффициенты будут целыми числами.

Далее, если а, b и с имеют какой-либо общий множитель, то на него можно сократить обе части уравнения.

Итак, мы будем предполагать, что коэффициенты a, b и с —числа целые, не имеющие общего множителя.

Предположим теперь, что а и b имеют общим множителем некоторое целое число, отличное от 1. Пусть, например,
a=ma₁, b=mb₁.

Разделив все его члены на m, получим:

При целых значениях х и у левая часть уравнения представляет собой целое число, правая же часть — дробь, так как с, по предположению, не делится на m. Такое равенство невозможно. Следовательно:
Если коэффициенты при неизвестных неопределённого уравнения имеют общий множитель, которого не имеет свободный член, то уравнение не может иметь целых решений.

Поэтому во всех дальнейших рассуждениях мы будем предполагать числа а и b взаимно простыми.

Признак невозможности решения уравнения в положительных числах

Пусть в уравнении ax+by=c коэффициенты а и b положительны, а свободный член с — отрицателен. Тогда при всяких положительных значениях х и у левая часть уравнения будет положительной, а правая останется отрицательной. Такое равенство невозможно.

Если коэффициенты а и b отрицательны, а с — положительно, то, умножив все члены уравнения на —1, мы сведём этот случай к предыдущему. Итак:
Если коэффициенты при неизвестных неопределённого уравнения имеют знаки, противоположные знаку свободного члена, то уравнение не имеет положительных решений.

Общая формула корней неопределённого уравнения

Предположим, что каким-либо способом (например, путём непосредственных проб) мы нашли одно целочисленное решение неопределённого уравнения:
ax+by=с.

Пусть это решение будет х=а и y=β. Подставляя значение x и у в данное уравнение, получим тождество:
a a+bβ =c.

Вычитая почленно это тождество из данного уравнения, получим:
α(x-α)+b(y-β)=0,
откуда:
ax=aa — b(y—β), или

Для того чтобы x было целым числом, необходимо и достаточно, чтобы выражение было целым числом (так как а—число
целое). Другими словами, необходимо и достаточно, чтобы выражение b(y-β) нацело делилось на а. Но, по предположению, b — число взаимно простое с а, следовательно, необходимо (и достаточно), чтобы разность у—β нацело делилась на а. Обозначив целое частное от деления у— β на а через t (оно может быть и положительным и отрицательным), получим:
откуда y=β+at.

Подставляя в формулу для х число t вместо дроби , получим:
x = a-bt.

Таким образом, мы имеем для корней неопределённого уравнения формулы:
x = a-bt, y=β+at.

Давая в этих формулах t произвольные целые значения, положительные и отрицательные, мы получим бесчисленное множество целых решений данного неопределённого уравнения. В частности, при t=0 получим решение х = а; y=β, найденное нами уже ранее.

Присматриваясь к найденным формулам, легко заметить, что они составлены по следующему правилу:

1. Первым членом формулы является найденное частное значение данного неизвестного.
2. Вторым членом формул является произвольное целое число t, умноженное на коэффициент данного уравнения, причём в формуле для x берётся коэффициент при у в данном уравнении, а в формуле для у берётся коэффициент при х.
3. Один из коэффициентов берётся с обратным знаком.

Нетрудно видеть, что совершенно безразлично, который из коэффициентов мы берём с тем же знаком, с каким он стоит в уравнении и который берём с обратным знаком. В самом деле, формулы:
x=a-bt, y=β+at и x=a+bt, y=β -at
будут давать одни и те же решения; только те решения, которые одни формулы дают при положительных значениях t, другие будут давать при равных по абсолютной величине отрицательных значениях t.

Пример:

Непосредственной подстановкой убеждаемся, что уравнение удовлетворяется значениями х=2 и у=4. Тогда все остальные решения найдутся из формул:
x=2+5t, у=4—3t, или х=2—5t, y=4+3t.

Давая в этих формулах t произвольные целые значения, будем получать различные целочисленные решения данного уравнения. Например, взяв первые формулы, будем иметь:

Если бы мы взяли вторые формулы, то те же решения получили бы, давая t последовательно значения: 0; —1; —2; —3; 1; 2 и т. д.

Таким образом, задача решения в целых числах неопределенного уравнения сводится к нахождению какого-либо одного решения.

Способ подстановки

Для нахождения одного решения неопределённого уравнения можно пользоваться следующим способом. Пусть дано уравнение:
ах+by=с.

Определим из него одно из неизвестных в зависимости от другого (лучше взять то, у которого коэффициент меньше). Пусть, например, a Частный вид неопределённого уравнения

Неопределённое уравнение легко решается в общем виде, когда один из коэффициентов при неизвестных равен единице. Пусть, например, равен единице коэффициент при х. Будем иметь:
x+by=c.
Определим х:
x=c-by.

Очевидно, что любому целому значению у будет соответствовать целое же значение х.

Пример:

Дано уравнение: 5x+y=18.
Находим:
у = 18—5х.
Давая x произвольные целые значения, будем соответственно получать целые значения для у:

Общее решение неопределённого уравнения

Покажем на примере способ решения неопределённого уравнения с любыми коэффициентами. Пусть дано уравнение:
23x+53y=109.

Определим из этого уравнения то неизвестное, у которого коэффициент меньше, в данном случае х:

или, исключив целую часть:

Для того чтобы x было целым при у целом, необходимо и достаточно, чтобы выражение было каким-нибудь целым числом. Обозначив последнее через t, будем иметь:
, или 17—7y=23t, 23t+7y=17

Если мы найдём для у и t такие целые значения, которые удовлетворяют уравнению , или, что то же, уравнению:
23t+7y=17,
то тем самым мы найдём соответствующие целые значения для х, и наша задача будет решена. Таким образом, решение данного уравнения мы свели к решению другого, более простого уравнения, у которого коэффициенты меньше, чем у данного.

По отношению к новому уравнению поступаем таким же образом. Определяем из него у:

Для того чтобы у было целым, необходимо и достаточно, чтобы было целым числом. Обозначив это число через t₁, будем иметь:
, или 7t₁+2t=3.

При целых t и t₁, удовлетворяющих последнему уравнению, мы получим соответственно целые значения для х и у, удовлетворяющие данному уравнению. Следовательно, наша задача свелась к решению последнего уравнения, у которого коэффициенты ещё меньше. Поступаем с ним так же, как и прежде:

Приравняв выражение целому числу t₂, получим:
, или 2t₂+t₁=1.

Мы получили уравнение, в котором коэффициент при одном из неизвестных равен единице, а такие уравнения решать мы уже умеем. Решив его, получим:
t₁=1-2t₂.

Давая в этом уравнении произвольные целые значения t₂, будем получать целые значения для t₁. Подставляя найденные целые значения t₁ и t₂ в выражение для t:

получим соответствующие целые значения для t. Подставляя соответствующие пары значений t и t₁ в выражение для у:

получим соответствующие целые значения для у. Наконец, делая подстановку найденных значений для у и t в выражение для х:

получим соответствующие целые значения для х.

Можно, однако, прямо выразить х и у в зависимости от t₂. Для этого подставим в выражение для t вместо t₁ его выражение через t₂:
t=1-3t₂+t₂=1-3 (1—2t₂)+t₂ ,
или
t=-2+7t₂ .

Подставим теперь в выражение для у вместо t и t₁ их выражения через t₂:
y=2-3t+t₁=2-3(-2+7t₂) + (1- 2t₂),
или
y=9-23t₂.

Наконец, подставляя найденные значения у и t в выражение для х, получим:
x=4-2y+t=4-2(9-23t₂)+(-2+7t₂),
или
x=- 16+53t₂ .

Таким образом, мы получим для х и у формулы:
x= — 16+53t₂, y=9-23t₂.

Давая в них произвольные целые значения для t₂, как положительные, так и отрицательные, будем получать бесчисленное множество решений данного уравнения; некоторые из них помещены в следующей таблице:

Рассматривая операции, которые производились над коэффициентами данного и следующих уравнений, можно заметить такую последовательность:

1. Больший коэффициент данного уравнения 53 делили на меньший 23; получили частное 2 и остаток 7.
2. Меньший коэффициент данного уравнения 23 делили на остаток 7; получили частное 3 и второй остаток 2.
3. Первый остаток 7 делили на второй остаток 2; получили частное 3 и третий остаток 1.

Другими словами, мы поступали точно так, как если бы находили общий наибольший делитель коэффициентов данного уравнения.

Мы знаем, что два взаимно простых числа имеют общим наибольшим делителем единицу. А так как в неопределённом уравнении мы всегда предполагаем коэффициенты при неизвестных взаимно простыми, то производя над уравнением указанные выше операции, мы всегда придём к такому уравнению, у которого коэффициент при одном из неизвестных равен единице. Тем самым мы находим решения и данного уравнения. Отсюда следует:

Если коэффициенты при неизвестных неопределённого уравнения-числа взаимно простые, то уравнение всегда имеет целые решения.

Упрощение решения уравнения. Иногда при решении неопределённого уравнения можно внести некоторые упрощения, позволяющие быстрее прийти к решению.

1. В случае, когда один из коэффициентов при неизвестных и свободный член имеют общий множитель, то на него можно сократить обе части уравнения, если надлежащим образом ввести новое неизвестное.

Пример:

Коэффициент 6 и свободный член имеют общим множителем 3. Следовательно, и член 5у должен делиться на 3, а так как 5 не делится на 3, то у должен быть кратным трём. Полагая у=3t, где t— целое число, будем иметь:
6x-15t=21,
или, по сокращении на 3:
2x-5t =7.

Решаем последнее уравнение:

Подставляя найденное значение в выражения, полученные для х и у, будем иметь:
x=3+2(-1+2t₁)+t₁ =1+5t₁;
y=3(-1+2t₁) = -3+6t₁ .

Пример:

Дано уравнение: 9x+14y=105.
Полагая у=3t и сокращая обе части уравнения на 3, получим:
3x+14t=35.

Полагая в этом уравнении x=7t₁ и сокращая обе части уравнения на 7, получим:
3t₁ +2t=5.

Решаем последнее уравнение:

Произведя последовательные подстановки, получим:
t=2-(1-2t₂) + t₂ = 1+3t₂;
x=7t₁=7(1-2t₂)=7-14t₂ ;
y=3t=3(1+3t₂) = 3+9t₂ .

2. Если в приравниваемом целому числу выражении члены, находящиеся в числителе, имеют общий множитель, то решение уравнения можно упростить.

Пример:

Дано уравнение: 12x+17y=41.
Решаем его относительно х:

Для того чтобы выражение было целым числом, необходимо и достаточно, чтобы было целым числом.

Приравнивая это выражение целому числу t, получим:

Соответственно получаем для х:
x=3-(1-12t)+5t=2+17t

3. Если при выделении целой части остаток будет более половины делителя, то удобно ввести отрицательный остаток.

Пример:

Дано уравнение: 11х—20y=49.
Решим его относительно х:

Произведя подстановки, получим:
y=2-5(1-2t₁)+t₁ = -3+11t₁;
x=4+2(-3+ 11t₁)+(1-2t₁) = -1+20t₁.

Если бы решали данное уравнение обычным способом, то получили бы для х:

и следующее уравнение было бы:

Это уравнение сложнее уравнения, полученного нами при помощи введения отрицательного остатка:
11t+2y=5.

Пример:

Дано уравнение: 15x+28y=59.
Решаем уравнение относительно х, вводя отрицательные остатки:

Попробовав решить приведённые в примерах уравнения обычным путём, легко убедимся, что без применения указанных упрощений все они потребовали бы для решения большего числа операций.

Положительные решения

Как уже говорилось ранее, часто из всех найденных решений неопределённого уравнения нужно взять лишь те, которые дают одновременно положительные значения для х и у. Найдя общие формулы для х и у, можно сразу определить, при каких значениях произвольного множителя будут получаться целые и положительные значения х и у.

Для того чтобы x и у были положительными, необходимо брать для t только такие значения, при которых:
a+bt>0; β-αt>0.

Будем считать а числом положительным. (Это мы всегда имеем право предположить, так как в противном случае мы могли бы обе части уравнения умножить на —1.) Тогда могут встретиться три различных случая.

1. Оба неравенства одинакового смысла. Это случится когда b — число отрицательное. В самом деле, пользуясь свойствами неравенства, будем иметь:
bt > — a ; at 0; 2+-5t>0,
или

Взяв для t любое целое число, большее (или, что то же, большее нуля), мы будем получать бесчисленное множество пар положительных значений х и у, удовлетворяющих данному уравнению.

Пример:

Решаем уравнение:

Ищем положительные решения:
1 —3t>0; 7 —8t>0,
или

Любое целое значение t, меньшее (т. е. 0, —1, —2, …), даёт целые и положительные значения для х и у.

2. Неравенства противоположного смысла, причём они противоречат одно другому. Пусть, например, мы получим следующие неравенства:

Очевидно, что не существует таких значений t, которые одновременно удовлетворяли бы обоим неравенствам. В этом случае уравнение не может иметь положительных решений.

Пример:

4x+5y=-7.
Решая это уравнение, получим:
х=— 3+5t; y=1—4t.
Отсюда:
— 3+5t>0; 1 — 4t>0,
или

Неравенства противоречат друг другу; уравнение не имеет положительных решений.

3. Неравенства противоположного смысла, причём они не противоречат друг другу. Пусть, например, мы получили неравенства:

Все целые значения t, заключающиеся между и , т. е. 5,
6 и 7, дадут для х и у положительные решения. Таким образом, в этом случае:

Уравнение имеет столько целых положительных решений, сколько целых чисел заключено между найденными пределами для t.

Заметим, что, в частности, уравнение и здесь может не иметь положительных решений. Это будет тогда, когда между найденными пределами для t не содержится ни одного целого числа. Например, пусть мы получим неравенства:

Неравенства не противоречат друг другу, но между и не
находится ни одного целого числа. Уравнение не имеет целых положительных решений.

Пример:

3x+7y=55.
Решаем уравнение:

у=1 — 3t; x= 16+7t.

Отсюда:
1 —3t>0; 16+7t> 0,
или

Очевидно, для / можно взять лишь значения: 0; —1; —2. Получаем три решения уравнения:

Пример:

5. 5x+4y=3.
Решая уравнение, получим:
х=— 1 + 4t; у=2 —5t.
Отсюда:

Неравенства не противоречат друг другу; но между и нет целых чисел. Уравнение не имеет целых положительных решений.

Решение заданий и задач по предметам:

Дополнительные лекции по высшей математике:

Образовательный сайт для студентов и школьников

Копирование материалов сайта возможно только с указанием активной ссылки «www.lfirmal.com» в качестве источника.

© Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института