Proposition 7.15 . [02XD]
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
Proposition 7.15.
Let be a simplex of dimension and
let be an affine function which is non-negative on
. Write for some vector
and constant .
Then equals
| (7.16) |
|
|
|
where the second sum is over with
and the product is over the vertices of
not in . In case
is the defining equation of a hyperplane containing a facet of
,
| (7.17) |
|
|
|
where denotes the unique vertex of not contained
in .