Proof of the theorem

Sufficiency

Suppose \(x∈Ω\) satisfies

\(\hspace{4cm}∇f(x)^{T}(y-x)≥0,∀y∈Ω\)........................\((8)\).

By the first order characterization of convexity, we have

\(\hspace{3,5cm}f(y)≥f(x)+∇f^{T}(x)(y-x),∀y∈Ω.\).................\((9)\)

Then \((8)\)+\((9)\) \(⇒ f(y)≥f(x),∀y∈Ω⇒ x \) is optimal.

Necessity

Suppose x is optimal but for some \( y∈Ω\) we had \(∇f^{T}(x)(y-x)<0\)

Consider \(g(α):=f(x+(α(y-x)))\). Because \(Ω\) is convex, \(∀α∈[0,1],x+α(y-x)∈Ω.\) Observe that

\(\hspace{1cm}g′(α) = (y-x)^{T}∇f(x+α(y-x))⇒ g′(0)=(y-x)^{T}∇f(x)<0.\)

This implies that

\(\hspace{1cm}∃δ > 0,s.t.g(α)<g(0),∀α∈(0,δ)⇒ f(x+α(y-x))<f(x),∀α∈(0,δ)\)

But this contradicts the optimality of \(x\).