Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2015/geometric-modelling/3/d/solution

For a finite nonempty collection , its convex hull is the smallest convex set containing all the points. Equivalently, it is the set of all convex combinations:
Every convex set containing the must contain these combinations; the displayed set is itself convex and contains each , proving the equivalence. For a full-dimensional finite collection this is a convex polyhedron. A collinear or coplanar collection instead has a lower-dimensional convex hull, so the solid case needs a separate dimensionality assumption.

New to topics? Read the docs here!