Why the LP Optimum Lives at a Vertex

The Fundamental Theorem of Linear Programming: a linear objective over a polyhedral feasible region attains its optimum at a vertex (extreme point). Students learn the endpoint lemma for line segments, the vertex theorem, and how to solve a small LP by enumerating and evaluating vertices.

Step 1 of 157%

Tutorial

A Linear Function on a Line Segment

A linear (affine) objective f(x)=cx+df(\mathbf{x}) = \mathbf{c}^\top \mathbf{x} + d behaves very simply on a line segment. Take two points a\mathbf{a} and b\mathbf{b}, and consider any point on the segment between them, written as a convex combination

x=(1λ)a+λb,λ[0,1].\mathbf{x} = (1-\lambda)\,\mathbf{a} + \lambda\,\mathbf{b}, \qquad \lambda \in [0,1].

Linearity passes straight through to ff:

f(x)=(1λ)f(a)+λf(b).f(\mathbf{x}) = (1-\lambda)\,f(\mathbf{a}) + \lambda\, f(\mathbf{b}).

The value of ff along the segment is itself a convex combination of f(a)f(\mathbf{a}) and f(b)f(\mathbf{b}). Therefore,

min{f(a),f(b)}    f(x)    max{f(a),f(b)}.\min\{f(\mathbf{a}),\,f(\mathbf{b})\} \;\leq\; f(\mathbf{x}) \;\leq\; \max\{f(\mathbf{a}),\,f(\mathbf{b})\}.

The maximum (and the minimum) of a linear function over a segment is attained at one of its endpoints, never strictly in the interior.

Illustration. Let f(x,y)=2xyf(x,y) = 2x - y on the segment from (0,3)(0,3) to (4,1)(4,1). We have

f(0,3)=3,f(4,1)=7.f(0,3) = -3, \qquad f(4,1) = 7.

So ff ranges over [3,7][-3,\,7] on this segment, attaining its max at (4,1)(4,1) and its min at (0,3)(0,3).

navigate · Enter open · Esc close · ⌘K/Ctrl K toggle