有大佬救一下么

你可以先从2个数，3个数的情况开始研究

能不能从排序不等式入手？猜的，反正我不会

其实仔细想想并不难
不失一般性，不妨假设max(右边)=a1^2-a1
分类讨论
a1>0.5，即对称轴右边，那么显然max(a[n])=a1，所以max(左边)≥a1^2-a2≥a1^2-a1=max(右边)
a1<0.5，即对称轴左边，那么显然min(a[n])=a1，所以max(左边)≥a2021^2-a1≥a1^2-a1=max(右边)
a1=0.5，只能是所以a[n]都是0.5，符合要求