Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
By translation assume that the center of mass of is . Let normalize and let
|
|
|
Then
|
|
|
with .
The maximum of is achieved at some point . Let be the function whose graph is the cone generated by
and . By convexity,
|
|
|
Since is a ball of radius at least , we have
|
|
|
Finally, so the conclusion follows.
∎