取n足够大，那么肯定是有至少n-1个a[i]在（0，a）上且全相等时左边有可能的最大值。不妨剩下的那个a[i]在[a，b]上，研究左边关于它的单调性，左边对它求导，根据已知可以推出来左边是关于它单调减少的，于是让它为a，再利用上凸函数性质可知所有a[i]都相等时左边有最大值。