23
It means that l(yn+1) ψ n ⅛ 1. It is also a contradiction. □
We still have to prove Theorem 3.7. It suffices to consider the case in which P
has an integral point x0, i.e., Ax0 ≤ b. Following the same line of the proof of the
above theorem, we can show that there is at most one completely labeled simplex
of type II in this case. It is clear we only need to demonstrate that the procedure
will produce at least two different completely labeled simp lices. Let us suppose to
the contrary that the procedure only generates a completely labeled simplex, say,
σ(z1, ∙ ∙ ∙ , æi+1), of type II. It is easy to see that for each к ∈ N, the starting point
vk ∈ Ck can be expressed as
vk = x0 - ∑ ʌ^(ʌ)
⅛∈^r-⅛
where λk are positive integers for all h E N-к- Notice that in Step (2) the procedure
operates by only using q(Jι) for h ∈ N~k for each к ∈ N. Hence, starting from
vk ∈ Ck, the vertices xkj generated by the procedure can be written as
jΛ = ,V+ £ i⅛)
⅛∈^r-⅛
where λk' are integers for all h ∈ N_k- Since starting from the n ⅛ 1 starting
points cl, ∙ ∙ ∙, un+1, the procedure generates a unique completely labeled simplex
σ(x1, ∙ ∙ ∙ , æn+1) of type II, it implies that for each к ∈ N,
xi = ∙, + Σ⅛t,⅛i⅛(4
= ∙, + Σ⅛Mfr(J)
(4.2)
= 4'° + Σ½V.l.+ ,, W’"*’ 4W
where λkh3k are integers for all h ∈ .∖~k∙ It is not difficult to derive that
ʌ ⅛⅛ _ ʌ 4ι
λh - λh