加入极端向量后,已经足够大的中间和不会变短。
由于中间部分的向量数为奇数,归纳假设给出 ∣v∣≥1|v|\ge1∣v∣≥1。由上式 ∣u+v∣≥∣v∣≥1|u+v|\ge|v|\ge1∣u+v∣≥∣v∣≥1,得到所需结论。