Чтобы решить систему уравнений:
- ( x + y = 1 )
- ( x^4 + y^4 = 17 )
начнем с первого уравнения. Мы можем выразить ( y ) через ( x ):
[
y = 1 - x
]
Теперь подставим это выражение во второе уравнение:
[
x^4 + (1 - x)^4 = 17
]
Раскроем скобки во втором уравнении. Сначала найдем ( (1 - x)^4 ):
[
(1 - x)^4 = 1 - 4x + 6x^2 - 4x^3 + x^4
]
Теперь подставим это обратно в уравнение:
[
x^4 + (1 - 4x + 6x^2 - 4x^3 + x^4) = 17
]
Соберем все члены:
[
2x^4 - 4x^3 + 6x^2 - 4x + 1 = 17
]
Теперь упростим уравнение, перенесем 17 на левую сторону:
[
2x^4 - 4x^3 + 6x^2 - 4x + 1 - 17 = 0
]
[
2x^4 - 4x^3 + 6x^2 - 4x - 16 = 0
]
Теперь можем разделить все члены на 2 для упрощения:
[
x^4 - 2x^3 + 3x^2 - 2x - 8 = 0
]
Теперь у нас есть многочлен четвертой степени. Попробуем найти его корни. Для этого можем использовать метод подбора или теорему о рациональных корнях. Проверим некоторые простые значения:
- Подставим ( x = 2 ):
[
2^4 - 2 \cdot 2^3 + 3 \cdot 2^2 - 2 \cdot 2 - 8 = 16 - 16 + 12 - 4 - 8 = 0
]
Таким образом, ( x = 2 ) является корнем уравнения. Теперь можем выделить ( (x - 2) ) как множитель. Мы можем использовать деление многочлена для нахождения других корней.
Делим ( x^4 - 2x^3 + 3x^2 - 2x - 8 ) на ( x - 2 ):
При делении получаем:
[
x^4 - 2x^3 + 3x^2 - 2x - 8 = (x - 2)(x^3 + 0x^2 + 3x + 4)
]
Теперь решаем кубическое уравнение:
[
x^3 + 3x + 4 = 0
]
Это уравнение не имеет рациональных корней, поэтому можем использовать численные методы или графики для нахождения корней. Например, можно попробовать подставить значения.
В итоге, мы нашли один корень ( x = 2 ). Теперь подставим это значение в первое уравнение для нахождения ( y ):
[
y = 1 - x = 1 - 2 = -1
]
Таким образом, одно решение системы:
[
(x, y) = (2, -1)
]
Теперь проверим, удовлетворяет ли это решение второму уравнению:
[
2^4 + (-1)^4 = 16 + 1 = 17
]
Решение верное. Теперь необходимо проверить, есть ли другие решения. В графическом представлении ( x^4 + y^4 = 17 ) и ( x + y = 1 ) можно увидеть, что другие пересечения могут отсутствовать.
Таким образом, единственное решение данной системы уравнений:
[
\boxed{(2, -1)}
]