Треугольник вычитания произвольных векторов: разность векторов c = a — b
Вычита́ние векторо́в[комм 1], или геометри́ческое вычитание векторов (англ.subtraction of vectors), — операция, обратная сложению, ставящая в соответствие двум векторам третий вектор — разность векторов[комм 1], другими словами, по сумме векторов и одному слагаемому определяется второе слагаемое этой суммы[1][2][3][4][5]. При этом разность двух векторов и — это третий вектор такой, что (см. рисунок справа с треугольником вычитания векторов). Разность векторов определяется через сумму векторов либо с использованием противоположного вектора[комм 1], либо без[6][5][7][8][9][10]. Первый вектор разности называется уменьшаемым, а второй — вычитаемым[3][4][5][11].
Вычита́ние векторо́в[комм 1], или геометри́ческое вычита́ние векторо́в — операция, обратная сложению, ставящая в соответствие двум векторам третий вектор — разность векторов[комм 1], другими словами, по сумме векторов и одному слагаемому определяется второе слагаемое этой суммы. Обозначается обычным знаком минус[1][2][3][4][5]:
Определение без использования противоположного вектора
Параллелограмм сложения и вычитания векторов
Следующее определение разности аналогично определению разности чисел[12].
Разность[комм 1] двух векторов и — это третий вектор такой, что (см. рисунок в начале статьи с треугольником вычитания векторов)[6][5][7][8][9][10][12].
Разность существует для любых двух векторов, что следует из следующего правила её построения[12].
Правило построения разности векторов без обратного вектора состоит в следующем. Разность любых двух векторов и , отложенных от одной точки, — это третий вектор , проведённый от конца вектора к концу вектора (см. рисунок в начале статьи с треугольником вычитания векторов)[5][7][8][10][12].
Операция вычитания векторов обладает следующими определяющими свойствами[12]:
всегда выполнима;
однозначна, то есть из следует
Если на двух неколлинеарных векторах построить параллелограмм, то тогда одна диагональ этого параллелограмма будет представлять сумму этих двух векторов. а другая — их разность (см. рисунок справа с параллелограммом сложения векторов)[10].
Противоположный вектор
Вектор, противоположный[комм 1] данному вектору — вектор, равный по модулю данному и противоположно ему направленный. Вектор, противоположный нулевому вектору, определяется тоже как нулевой. Вектор, противоположный вектору , обозначается той же буквой с поставленным перед ней обычным знаком минус (см. рисунок справа)[6][9][10][11][12][13][14][15]:
Также противоположный вектор можно определить как вектор [12].
Треугольник вычитания произвольных векторов: разность векторов есть сумма векторов c = a + (−b)
Из определения противоположного вектора следуют равенства[11][14][15][16]:
Определение с использованием противоположного вектора
Теорема 1.
для любых векторов и (см. рисунок справа)[14][16].
Доказательство. Из определения разности векторов получаем[10][14]:
На основании этой теоремы можно определить понятие разности следующим образом[11][14][16].
Разность[комм 1] двух векторов и — это третий вектор (см. рисунки справа)[5][11][16].
Правило построения разности векторов с использованием обратного вектора состоит в следующем. Разность любых двух векторов и — это третий вектор , проведённый от начала вектора к концу вектора , причём конец первого вектора совпадает с началом второго (см. рисунки справа)[14].
Параллелограмм вычитания произвольных векторов: разность векторов строится как при помощи противоположного вектора, так и без
Если взять за исходное второе определение разности векторов, то первое определение можно сформулировать в виде теоремы[17].
Теорема 2.Вычитание векторов — операция, обратная сложению векторов, то есть по сумме векторов и одному из слагаемых находится второе слагаемое — разность суммы и первого слагаемого:
для любых векторов и (см. рисунок в начале статьи и рисунок справа)[17].
Так как длина отрезка не превосходит длины ломаной, соединяющей его концы, то выполняются неравенство треугольника: модуль разности двух векторов не больше разности модулей этих векторов[20]:
если два вектора направлены одинаково, то модуль разности двух векторов равен разности модулей уменьшаемого и вычитаемого, если модуль уменьшаемого больше модуля вычитаемого:
Для модуля разности векторов возможны три случая (см. рисунок ниже)[5]:
Три случая величины модуля разности векторов: слева |a – b| < |a|, в центре |a – b| = |a|, справа |a – b| > |a|,
Воднев В. Т.[бел.], Наумович А. Ф., Наумович Н. Ф.. Математический словарь высшей школы: Общая часть (рус.) / под. ред. проф. Ю. С. Богданова. — Минск: «Высшая школа», 1984. — 527 с., ил. — 41 000 экз.
Выгодский М. Я. Справочник по высшей математике (рус.). — 12-е, стереотип. — М.: «Наука», 1977. — 871 с., ил. — 150 000 тыс. экз.
Гусятников П. Б., Резниченко С. В.. Векторная алгебра в примерах и задачах: Учеб. пособие для студентов инж.-тех. спец. вузов (рус.). — М.: «Высшая школа», 1985. — 232 с., ил. — 50 000 тыс. экз.
Кочин Н. Е. Векторное исчисление и начала тензорного исчисления (рус.). — 9-е изд. — М.: «Наука», 1965. — 426,[1] с., ил.
Лаптев Г. Ф. Элементы векторного исчисления (рус.). — М.: «Наука», 1975. — 336 с., ил. — 35 000 экз.
Погорелов А. В. Аналитическая геометрия (рус.). — 3-е изд. — М.: «Наука», 1968. — 176 с., ил. — 200 000 экз.
Противоположный вектор // Воднев В. Т., Наумович А. Ф., Наумович Н. Ф. Математический словарь высшей школы: Общая часть / Под. ред. Ю. С. Богданова. Минск: Высшая школа, 1984. 527 с., ил. С. 356.