OliForum Matematico

credo che sia un risultato-folklore, ma secondo me è carino e vale la pena di giocarci un po'.

definizioni. un politopo in $\mathbb{R}^n$ è un'intersezione di iperspazi con parte interna non vuota. ad ogni faccia di codimensione 1 del politopo associamo un vettore-faccia $F\in \mathbb{R}^n$ che ha le seguenti proprietà:
* $F$ è ortogonale (rispetto alla metrica standard) alla faccia;
* $F$ punta fuori dal politopo (nel senso che per ogni $p$ nella faccia e per ogni $\varepsilon > 0$ si ha che $p+\varepsilon F$ non appartiene al politopo);
* $F$ ha lunghezza pari al volume $n-1$-dimensionale della faccia.

divertitevi a dimostrare questo allegro fatterello (e magari a trovare più dimostrazioni, che può essere istruttivo -- anche per me!).

teorema. siano $F_1,\dots,F_N$ i vettori-faccia di un politopo in $\mathbb{R}^n$. dimostrare che $$F_1+\dots+F_N = 0.$$

Interpretazione fisica del fatto intuitivamente "ovvio" per $n=3$: la risultante delle forze di pressione su un corpo in un fluido uniforme è nulla.

Scegliamo una direzione qualunque $v$, mostriamo che il vettore $F_1+\dots+F_N$ proiettato su $v$ è $0$. Consideriamo l'iperpiano $P$ ortogonale alla direzione scelta, il modulo di $F_i$ proiettato su $v$ è uguale all'area della proiezione dell'$i$-esima faccia su $P$. È però chiaro che la somma con segno delle proiezioni delle facce su $P$ è nulla, perché è uguale alla somma di due copie con segni opposti della proiezione del politopo su $P$.