14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

8 The Brunn–Minkowski Inequality 159<br />

Let P be a convex polytope with V (P) = V (K ) such that all its facets are among<br />

the faces<br />

Gi = � x : ui · x = h P(ui) � ∩ P.<br />

For the proof of the theorem we have to show the following:<br />

(7) The total free surface energy of P is greater than that of K ,<br />

unless P is a translate of K .<br />

To see this, we first show that:<br />

(8) V � (1 − λ)P + λK � is a positive polynomial in λ for 0 ≤ λ ≤ 1, <strong>and</strong><br />

V � (1 − λ)P + λK � = (1 − λ) d V (P)<br />

+ (1 − λ) d−1λ � m�<br />

εi v(Gi) +<br />

n�<br />

δi εi v(Gi) �<br />

+ O(λ 2 ) as λ → 0.<br />

i=1<br />

G i facet of P<br />

i=m+1<br />

G i facet of P<br />

The first statement follows from Minkowski’s (see Fig. 8.3) theorem 6.5 on mixed<br />

volumes. To see the second, note that (1 − λ)P + λK can be dissected into the polytope<br />

(1 − λ)P, cylinders with basis (1 − λ)Gi <strong>and</strong> height λεi if i ≤ m, respectively,<br />

λδiεi if i > m, where Gi is a facet of P, <strong>and</strong> polytopes of total volume O(λ 2 ).<br />

Second, since V (P) = V (K ), the theorem of Brunn–Minkowski implies that<br />

(9) The function f (λ) = V � (1 − λ)P + λK � 1 d − (1 − λ)V (P) 1 d − λV (K ) 1 d<br />

for 0 ≤ λ ≤ 1 with f (0) = f (1) = 0 is strictly concave, unless P is a<br />

translate of K , in which case it is identically 0.<br />

Note that V (P) = V (K ). Since, by (8), f is differentiable for 0 ≤ λ ≤ 1, Proposition<br />

(9) implies that<br />

(10) f ′ (0) ≥ 0, where equality holds if <strong>and</strong> only if P is a translate of K .<br />

o K<br />

(1 − λ)P<br />

Fig. 8.3. Proof of Wulff’s theorem<br />

(1 − λ)P + λK

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!