Итак, полиэдральное множество в
![\[ E^n \] \[ E^n \]](https://dxdy-03.korotkov.co.uk/f/a/f/7/af792e1217e16238d8ae041ba1bdd01082.png)
задается системой неравенств вида:
Вершины определяются тем условием, что некоторые подсистемы уравнений из соответствующей системы:
![\[
\left\{ {\begin{array}{*{20}c}
{\vec a_1 \cdot \vec x = \vec b_1 } \\
. \\
. \\
. \\
{\vec a_m \cdot \vec x = \vec b_m } \\
\end{array}} \right\] \[
\left\{ {\begin{array}{*{20}c}
{\vec a_1 \cdot \vec x = \vec b_1 } \\
. \\
. \\
. \\
{\vec a_m \cdot \vec x = \vec b_m } \\
\end{array}} \right\]](https://dxdy-03.korotkov.co.uk/f/e/b/9/eb99f265e3d7fb3259bf334cf2a25ccb82.png)
имеют единственное решение. Вот и попробуйте связать эти факты с определением крайних точек.