Deje $x,y,z\in R$ y tal que $$\sin y-\sin x=\sin z-\sin y\ge 0 $$ lo demuestran:
$$\cos x,\cos y,\cos z$$ no hacen progresión aritmética estrictamente decreciente
mi idea: tenemos $$2\sin y=\sin x +\sin z\cdots\cdots\tag 1$$ y supongamos que existe $x,y,z$ tal que $$2\cos y=\cos x+\cos z\cdots\cdots \tag2$$ y $(1)^2+(2)^2$ tenemos $$4=2+2(\sin x\sin z+\cos x\cos z)=2+2\cos(x-z)$$
entonces $$\cos(x-z)=1\Longrightarrow x=z+k\pi,k\in Z$$ así que $$\cos x=(-1)^k\cos z,\sin x=(-1)^k\sin z$$
¿Entonces?