Здраствуйте. Подскажите, пожалуста, как решить такую систему в целых числах?
Ничего у меня не получается.
Система диофантовых уравнений
Система диофантовых уравнений
Последний раз редактировалось GEPIDIUM 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
Сведите систему к одному уравнению относительно одной переменной, просто подстановкой переменных из других уравнений. Получится алгебраическое уравнение восьмой степени. Честно его решить вряд ли получится, но нам-то надо найти только целые корни. А целые корни являются делителями свободного члена (как сплюсом, так и с минусом). Поэтому вам надо будет перебрать все делители свободного члена и проверить, являются ли они корнями.
Последний раз редактировалось 12d3 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
Если сложить эти три уравнения, сгруппировать, то получится выражение, которое строго больше нуля...
Последний раз редактировалось TR63 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
z>=17 z^2>=289 z^2-7>=282
x>=282 x^2>=79524 x^2-3>=79521
y>=79521 y^2>=6323589441 y^2+17>=6323589458
z>=6323589458 и т.д
x>=282 x^2>=79524 x^2-3>=79521
y>=79521 y^2>=6323589441 y^2+17>=6323589458
z>=6323589458 и т.д
Последний раз редактировалось mersenne 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
И что из этого следует? Не догоняю. Как вообще решать?TR63 писал(а):Source of the post Если сложить эти три уравнения, сгруппировать, то получится выражение, которое строго больше нуля...
Последний раз редактировалось GEPIDIUM 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
12d3, я попробовала сделать по Вашему совету, промучилась 2 дня, но ничего не получилось. Если нетрудно, распишите хотя бы начало.12d3 писал(а):Source of the post Сведите систему к одному уравнению относительно одной переменной, просто подстановкой переменных из других уравнений. Получится алгебраическое уравнение восьмой степени. Честно его решить вряд ли получится, но нам-то надо найти только целые корни. А целые корни являются делителями свободного члена (как сплюсом, так и с минусом). Поэтому вам надо будет перебрать все делители свободного члена и проверить, являются ли они корнями.
Последний раз редактировалось GEPIDIUM 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
Например, такое уравнение в натуральных числах (или, даже, в действительных) сможете решить?
(О методе от противного что-нибудь слышали?)
Можно использовать метод подстановки, который Вам предложили. Но тогда выпишите это уравнение восьмой степени. Кстати, если Вам затруднительно раскрывать скобки и приводить подобные слагаемые, то можно воспользоваться вольфрамом. Он это делает мгновенно.
(О методе от противного что-нибудь слышали?)
Можно использовать метод подстановки, который Вам предложили. Но тогда выпишите это уравнение восьмой степени. Кстати, если Вам затруднительно раскрывать скобки и приводить подобные слагаемые, то можно воспользоваться вольфрамом. Он это делает мгновенно.
Последний раз редактировалось TR63 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
TR63, понятно, что это уравнение неразрешимо. А причём здесь метод от противного? Если нетрудно, помогите не намёками, а реально. Что, моя система несовместна? Почему?TR63 писал(а):Source of the post Например, такое уравнение в натуральных числах (или, даже, в действительных) сможете решить?
(О методе от противного что-нибудь слышали?)
Я по Вашему совету сложила все 3 уравнения: . Преобразовывала это выражение по всякому, но не видно, что левая часть строго больше нуля. И до 8-й степени доходила, и показала эти свои выкладки преподавателю. Она только улыбнулась и сказала, что всё намного проще и не надо усложнять.
Последний раз редактировалось GEPIDIUM 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
Метод от противного. Поскольку для данной системы неизвестно, существует ли решение, то без разницы, какую задачу решать: о существовании или о несуществовании решения. Будем решать задачу: доказать, что система не имеет решения в целых числах. Применим метод от противного. Допустим, что система имеет решение. Тогда должно выполняться условие:
Продолжать?
Продолжать?
Последний раз редактировалось TR63 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Система диофантовых уравнений
TR63, всё правильно, левая часть тождественно положительна. Но обосновали Вы своё решение, на мой взгляд, неверно. Вы априори не знаете, совместна ли данная система или нет, но тем не менее применяете метод от противного. А вдруг Вы его применяете для доказательства ложного утверждения? Года полтора-два назад здесь на форуме был на эту тему спор, что будет, если методом исключённого третьего доказывать заведомо ложное утверждение. Я не нашёл этой темы, поэтому просто приведу выдержку из старой, 1947 года, книги Гильберта и Аккермана "Basic principles of theoretical logic":TR63 писал(а):Source of the post Поскольку для данной системы неизвестно, существует ли решение, то без разницы, какую задачу решать: о существовании или о несуществовании решения. Будем решать задачу: доказать, что система не имеет решения в целых числах. Применим метод от противного. Допустим, что система имеет решение.
В данном случае всё срослось, но в принципе это, по-моему, ма-а-а-ленький мухлёж.What will be if we'll try to proof a proposition false a priori by contradiction method?An answer is unexpected - nothing! In consequence we won't come to contradiction. And we won't be successful to get any conclusion about truth or false of initial proposition.
GEPIDIUM, я, кажется, понял, почему она так сказала. Ведь то, что данная система несовместна, видно невооружённым глазом без всяких упрощений и группировок. Взгляните на исходную систему. Предположим, что чётно. Но тогда из 1-го уравнения видно, что нечётно. А из 2-го уравнения следует, что чётно. Но тогда из 3-го уравнения видно, что нечётно. Пришли к противоречию - не может быть чётным.GEPIDIUM писал(а):Source of the post показала эти свои выкладки преподавателю. Она только улыбнулась и сказала, что всё намного проще и не надо усложнять.
Предположим теперь, что нечётно. Но тогда из 1-го уравнения видно, что чётно. А из 2-го уравнения следует, что нечётно. Но тогда из 3-го уравнения видно, что чётно. Приходим к противоречию - не может быть нечётным. А поскольку - целое, но ни чётное, ни нечётное, то решений нет, система несовместна.
Последний раз редактировалось ARRY 27 ноя 2019, 18:28, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Алгебра и теория чисел»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 12 гостей