Rezolvare pentru problema 27876 din GM 6-7-8 / 2020

Fie f :    o funcție polinomială de gradul 4 cu rădăcinile complexe x1 , x2 , x3 , x4 . Evident,

f  x   a  x  x1   x  x2   x  x3   x  x4  .

not .
 Dacă x1  x2  x3  x4  2 , atunci x2  2  x1 , x4  2  x3 și

f  x   a  x  x1   x   2  x1    x  x3   x   2  x3   .

Se veifică imediat că f  2  x   f  x  , x   , ceea ce este echivalent cu faptul că

f    x   f    x  , x   , adică graficul funcției f admite axa de simetrie x   .

 Dacă graficul funcției funcția f admite axa de simetrie x   atunci f  2  x   f  x  , x   .

Rezultă că f  2  xi   f  xi   0, i {1,2,3,4} , deci valorile 2  xi sunt tocmai valorile xi ,

eventual într-o altă ordine, adică există o permutare   S4 astfel încât
2  xi  x (i ) , i {1,2,3,4} . (1)

Mai mult, deoarece 2  xi  x (i )  2  x (i )  xi , rezultă că

 (i )  j   ( j )  i. (2)

Cazul 1:  (i)  i , i  {1, 2,3, 4} .

1 2 3 4
Fără a restrânge generalitatea putem lua   1  2 și rezultă obligatoriu     , deci
 2 1 4 3
2  x1  x2 , 2  x3  x4 , de unde x1  x2  x3  x4 .

Cazul 2: Există i pentru care  (i)  i .

Fără a restrânge generalitatea putem considera  (1)  1. Datorită proprietății (2) rezultă că mai există
cel puțin un alt element cu această proprietate, și iarăși fără a restrânge generalitatea vom lua  (2)  2.
Dar  (1)  1  2  x1  x1  x1   și analog x2   , de unde x1  x2  2 .
Pe de altă parte,
4 4 4 4 4
 (2  xk )   xk  8   xk   xk   xk  4 ,
k 1 k 1 k 1 k 1 k 1

deci
x  x  x  x  4  x3  x4  2  x3  x4  x1  x2 .
1   2 3 4
2