As I promisse, follow a solution for this question.
Let us suppose, by contraction, there is ##y \in C## such that ##\langle x-\overline{x}, y - \overline{x} \rangle > 0##.
Let ##z=ty+(1-t)\overline{x}##, where ##t \in (0,1)##.
By hypothesis, ##C## is convex. Therefore, ##z \in C##.
We...