Cómo puedo probar $x_{1}+x_{2}>2x_{0}$

Question

Suponga que $$f(x)=x^2-2x+\sin{\left(\dfrac{\pi}{2}x\right)},0<x<1$$ El punto de $x_{0}$ ,$f(x_{0})=\displaystyle\min_{x\in(0,1)}f(x),$, y los otros dos puntos de $x_{1}\neq x_{2}$, $f(x_{1})=f(x_{2})$ Demostrar que $$x_{1}+x_{2}>2x_{0}$$

A partir de la condición, he a $$f'(x_{0})=2x_{0}-2+\dfrac{\pi}{2}\cos{\left(\dfrac{\pi}{2}x_{0}\right)}=0$$ donde me muestran que la primera $$(x_{1}-x_{2})(x_{1}+x_{2}-2)=\sin{\left(\dfrac{\pi}{2}x_{2}\right)}-\sin{\left(\dfrac{\pi}{2}x_{1}\right)}$$ y Si puedo mostrar $$\dfrac{\pi}{2}\cos{\left(\dfrac{\pi}{2}x_{0}\right)}>\dfrac{\sin{\left(\dfrac{\pi}{2}x_{1}\right)}-\sin{\left(\dfrac{\pi}{2}x_{2}\right)}}{x_{1}-x_{2}}$$ pero no veo la manera de hacer las estimaciones.Si alguien tiene una idea de cómo proceder en que la desigualdad sin el uso de Lagrange (el Valor medio Teorema).

Answer 1

primero debemos saber que sólo hay una solución $x_0$ $f'(x)=0$ $(0,1) , 2x-2 $es mono y el aumento de $cos(\dfrac{\pi x}{2})$ es mono función decreciente. WLOG, $x_1<x_2,f(x_1)=f(x_2)\implies x_1<x_0<x_2$

$f'(\dfrac{1}{2})>0 \implies x_0 < \dfrac{1}{2}$

$y_1=x_0-x_1>0,y_2=x_2-x_0>0,x_1+x_2>2x_0 \iff y_2-y_1>0$ edit 1: la siguiente ecuación tiene un error, así que he de cambiar la solución:

$f(x_1)=f(x_0-y_1)=f(x_2)=f(x_0+y_2) \iff (y_1+y_2)(y_2-y_1)+2(y_1+y_2)(x_0-1)+2sin(\dfrac{\pi}{2}(\dfrac{y_1+y_2}{4})cos(\dfrac{\pi}{2}(\dfrac{2x_0+y_2-y_1}{4}))=0$

la de la derecha es

$ y_2^2-y_1^2+2(y_1+y_2)(x_0-1)+2sin(\dfrac{\pi}{2}(\dfrac{y_1+y_2}{2})cos(\dfrac{\pi}{2}(\dfrac{2x_0+y_2-y_1}{2}))=0$

$x_0-1=-\dfrac{\pi}{4} cos\dfrac{\pi x_0}{2}$

deje $g(y_1)= y_2^2-y_1^2-(y_1+y_2)\dfrac{\pi}{2} cos\dfrac{\pi x_0}{2}+2sin(\dfrac{\pi}{2}(\dfrac{y_1+y_2}{2})cos(\dfrac{\pi}{2}(\dfrac{2x_0+y_2-y_1}{2}))$

ahora podemos probar :$g'(y_1)<0$

$g'(y_1)=-2y_1-\dfrac{\pi}{2} cos\dfrac{\pi x_0}{2}+\dfrac{\pi}{2}cos\dfrac{\pi (y_1-x_0)}{2}=-2y_1+\dfrac{\pi}{2}*2sin\dfrac{\pi y_1}{4}sin\dfrac{\pi (2x_0-y_1)}{4}< -2y_1+\pi *\dfrac{\pi y_1}{4}\dfrac{\pi (2x_0-y_1)}{4}=y_1(\dfrac{\pi ^3(2x_0-y_1)}{16}-2) <y_1(\dfrac{\pi ^3}{16}-2) <0$

$ g(y_1=y_2)=cos\dfrac{\pi x_0}{2}(sin\dfrac{\pi y_2}{2}-\dfrac{\pi y_2}{2})<0 \implies g(y_1)=0 \cap y_1<y_2 $