| dbp:proof
|
- Define to be the intersection of all its supporting closed half-spaces. Clearly . Now let , show .
Let , and consider the line segment . Let be the largest number such that is contained in . Then .
Let , then . Draw a supporting hyperplane across . Let it be represented as a nonzero linear functional such that . Then since , we have . Thus by , we have , so . (en)
|
