The polyhedron [tex]S[/tex] consists of all points [tex](x, y, z)[/tex] satisfying the inequalities [tex]x\ge 0,\ y\ge 0,\ z\ge 0[/tex], [tex]x+y+z\le 11[/tex], [tex]2x+4y+3z\le 36[/tex], [tex]2x+3z\le 24[/tex]. How many edges does [tex]S[/tex] have?
Solution:
The vertices of [tex]S[/tex] are the feasible points where three of the six bounding planes with linearly independent normals meet. Solving all such systems and keeping the feasible solutions gives [tex]7[/tex] vertices:
[tex]O(0, 0, 0),\ \ (11, 0, 0),\ \ (0, 9, 0),\ \ (0, 0, 8),\ \ (4, 7, 0),\ \ (9, 0, 2),\ \ (0, 3, 8)[/tex]
For example, [tex]x+y+z=11[/tex], [tex]2x+3z=24[/tex] and [tex]y=0[/tex] give [tex](9, 0, 2)[/tex], while the point [tex](12, 0, 0)[/tex] obtained from [tex]2x+3z=24[/tex], [tex]y=z=0[/tex] is rejected since [tex]12\gt 11[/tex]. The vertex [tex](0, 3, 8)[/tex] is degenerate: four of the planes pass through it, namely [tex]x=0[/tex], [tex]x+y+z=11[/tex], [tex]2x+4y+3z=36[/tex] and [tex]2x+3z=24[/tex]. Each of the six planes contains a face with the following vertices:
[tex]x=0:\quad O,\ (0, 9, 0),\ (0, 3, 8),\ (0, 0, 8)[/tex]
[tex]y=0:\quad O,\ (11, 0, 0),\ (9, 0, 2),\ (0, 0, 8)[/tex]
[tex]z=0:\quad O,\ (11, 0, 0),\ (4, 7, 0),\ (0, 9, 0)[/tex]
[tex]x+y+z=11:\quad (11, 0, 0),\ (9, 0, 2),\ (0, 3, 8),\ (4, 7, 0)[/tex]
[tex]2x+4y+3z=36:\quad (0, 9, 0),\ (4, 7, 0),\ (0, 3, 8)[/tex]
[tex]2x+3z=24:\quad (0, 0, 8),\ (9, 0, 2),\ (0, 3, 8)[/tex]
So four faces are quadrilaterals and two are triangles. Every edge belongs to exactly two faces, hence
[tex]E=\frac{4\times 4+2\times 3}{2}=11[/tex]
Check with Euler's formula: [tex]V-E+F=7-11+6=2[/tex]. Also by degrees: the vertex [tex](0, 3, 8)[/tex] is joined to [tex]4[/tex] vertices ([tex](0, 9, 0)[/tex], [tex](0, 0, 8)[/tex], [tex](9, 0, 2)[/tex], [tex](4, 7, 0)[/tex]) and each of the other [tex]6[/tex] vertices to [tex]3[/tex], so [tex]E=\frac{4+6\times 3}{2}=11[/tex] (assuming that every vertex has degree [tex]3[/tex] would give the impossible [tex]\frac{21}{2}[/tex]). The polyhedron has [tex]11[/tex] edges.