Teorema Brunn-Minkowski este o teoremă clasică a geometriei convexe:
Fie și corpuri convexe compacte în spațiul euclidian n - dimensional . Se consideră suma Minkowski , , adică mulțimea de puncte care împart segmentele cu capete în orice puncte ale mulțimilor și în raport cu . Apoi funcția
este o funcție concavă a .
În plus, o funcție este liniară dacă și numai dacă și sunt omotetice.
Teorema a fost stabilită de Brunn în 1887, rafinată și completată de Minkowski [1] , generalizată la cazul corpurilor compacte arbitrare de Lyusternik [2] .
Dovada destul de simplă dată de Blaschke folosește simetrizarea Steiner . O altă dovadă scurtă și simplă a fost găsită de G. Hadwiger și D. Oman. [3] În ea, inegalitatea este dovedită mai întâi pentru perechile de paralelipipede cu fețe paralele - această parte este echivalentă cu inegalitatea dintre media geometrică și media aritmetică . În plus, prin inducție, se dovedește pentru uniuni finite ale unor astfel de paralelipipede. Urmează inegalitatea deoarece orice corp poate fi aproximat printr-o astfel de uniune.