x=4+y; x=4+y; x=4+y; x=4+y; x=4+y; y=0;
(4+y)+2(4+y)y+y^2=4; 4+y+8y+2y^2+y^2=4; 3y^2+9y=0; 3y(y+3)=0; y=0; x=4;
y=-3; y=-3;
x=1.
x=4+y; x=4+y; x=4+y; x=4+y; x=4+y; y=0;
(4+y)+2(4+y)y+y^2=4; 4+y+8y+2y^2+y^2=4; 3y^2+9y=0; 3y(y+3)=0; y=0; x=4;
y=-3; y=-3;
x=1.
очевидно что ни один из х1, х2, х3, х4 не может быть 0, (остальные тогда должны равняться 2, и 0+2*2*2=2 неверное, противоречие)
домножая первое на х1, второе на х2, третье на х3, четвертое на х4, получим
вычитая (и используя разность квадратов) получим
откуда
или
аналогично получаем другие соотношения таких же двух возможных типов соотношений между корнями
итого в общем надо рассмотреть следующие возможные комбинации (остальные дадут повтор в силу симметрии записи уравнений по переменным),
+
первое исходное уравнение
можем убедиться что (1,1,1,1) - единственное решение