Poliedar [tex]S[/tex] sastoji se od svih tačaka [tex](x; y; z)[/tex] koje zadovoljavaju nejednakosti [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]. Koliko ivica ima [tex]S[/tex]?
Rešenje:
Temena poliedra [tex]S[/tex] su dopustive tačke u kojima se seku tri od šest graničnih ravni sa linearno nezavisnim vektorima normala. Rešavanjem svih takvih sistema i zadržavanjem dopustivih rešenja dobijamo [tex]7[/tex] temena:
[tex]O(0; 0; 0),\ \ (11; 0; 0),\ \ (0; 9; 0),\ \ (0; 0; 8),\ \ (4; 7; 0),\ \ (9; 0; 2),\ \ (0; 3; 8)[/tex]
Na primer, [tex]x+y+z=11[/tex], [tex]2x+3z=24[/tex] i [tex]y=0[/tex] daju [tex](9; 0; 2)[/tex], dok se tačka [tex](12; 0; 0)[/tex], dobijena iz [tex]2x+3z=24[/tex], [tex]y=z=0[/tex], odbacuje, jer je [tex]12\gt 11[/tex]. Teme [tex](0; 3; 8)[/tex] je degenerisano: kroz njega prolaze četiri ravni, i to [tex]x=0[/tex], [tex]x+y+z=11[/tex], [tex]2x+4y+3z=36[/tex] i [tex]2x+3z=24[/tex]. Svaka od šest ravni sadrži stranu sa sledećim temenima:
[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]
Dakle, četiri strane su četvorouglovi, a dve su trouglovi. Svaka ivica pripada tačno dvema stranama, pa je
[tex]E=\frac{4\cdot 4+2\cdot 3}{2}=11[/tex]
Provera Ojlerovom formulom: [tex]V-E+F=7-11+6=2[/tex]. Takođe, po stepenima: teme [tex](0; 3; 8)[/tex] spojeno je ivicama sa [tex]4[/tex] temena ([tex](0; 9; 0)[/tex], [tex](0; 0; 8)[/tex], [tex](9; 0; 2)[/tex], [tex](4; 7; 0)[/tex]), a svako od ostalih [tex]6[/tex] temena sa [tex]3[/tex], pa je [tex]E=\frac{4+6\cdot 3}{2}=11[/tex] (pretpostavka da su sva temena stepena [tex]3[/tex] dala bi nemoguće [tex]\frac{21}{2}[/tex]). Poliedar ima [tex]11[/tex] ivica.