已知a1,a2,⋯,a10与b1,b2,⋯,b10为互不相同的20个实数,若方程|x−a1|+|x−a2|+⋯+|x−a10|=|x−b1|+|x−b2|+⋯+|x−b10|有有限多个解,则此方程最多有_______个解.
解 问题即函数f(x)=|x−a1|+|x−a2|+⋯+|x−a10|−|x−b1|−|x−b2|−⋯−|x−b10|
的零点个数问题.
我们熟知绝对值函数f(x)的图象是一条两条射线与若干条线段连接而成的折线(可以参考每日一题[203]黎明前的黑暗).在这个问题里,每次折线转折时斜率改变量均为2或−2,且每种改变量都取10次.
一方面,为了使得函数f(x)的零点个数尽可能的多,应当使得斜率改变量依次为2,−2,−2,2,2,−2,−2,2,⋯,
如图(示意图中两种改变量分别为4次).并且在实际的构造中,还需要使得折线中每一条非水平的线段穿过x轴后再发生转折.
另一方面,由于当x很小以及很大时函数f(x)的函数值分别为a1+a2+⋯+a10−b1−b2−⋯−b10
以及−(a1+a2+⋯+a10−b1−b2−⋯−b10),
因此函数f(x)的图象中首尾射线均为水平方向,且分居x轴的两侧.这样就意味着至少有一条非水平的折线段无法穿过x轴.
综合以上两方面可知,此方程最多有9个解.