logo
Voprosy_1y_semestr_1_kurs_Avtosokhranennyy

Антикоммутативность: .

Доказательство:

Положим , . По определению векторы и имеют одинаковую длину. Также в силу того, что оба вектора и ортогональны к плоскости, определяемой векторами и , вектор коллинеарен вектору . Тогда либо , либо . Если бы имело место первое равенство, то по определению, обе тройки , , и , , оказались бы правыми, но это невозможно. Итак, . ■

  1. Однородность: .

Доказательство:

Положим , . Пусть векторы и не коллинеарные и . Обозначим и . По определению , .

Возможны два случая:

Рис. 2.30

В обоих случаях , тогда . Далее, заметим, что векторы и коллинеарные. Остаётся проверить, что эти векторы имеют одинаковое направление.

Пусть , тогда векторы , а значит и векторы . Итак, . ■