4. Предложение. Для любых

причем равенство достигается тогда и только тогда, когда векторы l₁, l₂ пропорциональны.

Доказательство. Как в п. 2, для любых вещественных t имеем

Случай l₁ = 0 тривиален. Считая, что , выводим отсюда, что

Но если , то . Поэтому

Строгое равенство здесь достигается тогда и только тогда, когда для подходящего , что завершает доказательство.

В точности так же, как в евклидовом случае, отсюда выводятся следствия:

5. Следствие (неравенство треугольника). Для любых

-1-2-3-4-5-6-7-8-9-10-11-