Очевидно что все х1, х2, х3, х4 одновременно отрицательными быть не могут, тогда в левой части было отрицательное число.
очевидно что ни один из х1, х2, х3, х4 не может быть 0, (остальные тогда должны равняться 2, и 0+2*2*2=2 неверное, противоречие)
домножая первое на х1, второе на х2, третье на х3, четвертое на х4, получим
вычитая (и используя разность квадратов) получим откуда или
аналогично получаем другие соотношения таких же двух возможных типов соотношений между корнями
итого в общем надо рассмотреть следующие возможные комбинации (остальные дадут повтор в силу симметрии записи уравнений по переменным), + первое исходное уравнение можем убедиться что (1,1,1,1) - единственное решение
Запишем цикличность. Первый цикл: 1 - большой, 2 - указательный, 3 - средний, 4 - безымянный, 5 - мизинец, 6- безымянный, 7 - средний, 8 - указательный. Тут конец первого цикла, далее идет повторение цикла. Второй цикл: 9 - большой, 10 - указательный, 11 - средний, 12 - безымянный, 13 - мизинец, 14 - безымянный, 15 - средний, 16 - указательный. Далее, третий цикл ... Таким образом "длина" цикла - 8. 2016 разделим на 8. 2016 = 8*252, делится нацело. Таким образом на 2016ом цикл завершается, поэтому 2016ый - это указательный палец.
очевидно что ни один из х1, х2, х3, х4 не может быть 0, (остальные тогда должны равняться 2, и 0+2*2*2=2 неверное, противоречие)
домножая первое на х1, второе на х2, третье на х3, четвертое на х4, получим
вычитая (и используя разность квадратов) получим
откуда
или
аналогично получаем другие соотношения таких же двух возможных типов соотношений между корнями
итого в общем надо рассмотреть следующие возможные комбинации (остальные дадут повтор в силу симметрии записи уравнений по переменным),
+
первое исходное уравнение
можем убедиться что (1,1,1,1) - единственное решение