Convexity and unique minimum points

We show constructively that every quasi-convex, uniformly continuous function f : C → R with at most one minimum point has a minimum point, where C is a convex compact subset of a finite dimensional normed space. Applications include a result on strictly quasi-convex functions, a supporting hyperplane theorem, and a short proof of the constructive fundamental theorem of approximation theory.