Очевидно что все х1, х2, х3, х4 одновременно отрицательными быть не могут, тогда в левой части было отрицательное число.
очевидно что ни один из х1, х2, х3, х4 не может быть 0, (остальные тогда должны равняться 2, и 0+2*2*2=2 неверное, противоречие)
домножая первое на х1, второе на х2, третье на х3, четвертое на х4, получим
вычитая (и используя разность квадратов) получим откуда или
аналогично получаем другие соотношения таких же двух возможных типов соотношений между корнями
итого в общем надо рассмотреть следующие возможные комбинации (остальные дадут повтор в силу симметрии записи уравнений по переменным), + первое исходное уравнение можем убедиться что (1,1,1,1) - единственное решение
ym+yn+yk+m+n+k=m(y+1)+n(y+1)+k(y+1)=(y+1)(m+n+k)