Умножение вектора на число
Умноже́ние ве́ктора на число́, или умноже́ние ве́ктора на скаля́р (англ. scalar multiplication of a vector) – операция, ставящая в соответствие вектору и числу — скаляру — другой коллинеарный вектор — произведение вектора на это число[1]. При этом произведение вектора и числа в случае ненулевых вектора и числа — новый вектор, у которого[2][3][4]:
- модуль равен произведению модуля исходного вектора на абсолютную величину числа;
- направление, совпадающее с направлением исходного вектора, если число положительно, и противоположное, если число отрицательно (см. рисунок справа).
Обозначение произведения вектора и скаляра следующее[2][3][4]:
- или
В итоге получаем[2]:
Произведение вектора и числа равно нулевому вектору тогда и только тогда, когда хотя бы один из сомножителей равен нулю[2][3][4]:
Существуют два действия, обратных умножению вектора на число:
Определение
[править | править код]Умножение вектора на число – операция, ставящая в соответствие вектору и числу другой коллинеарный вектор — произведение вектора на это число[1].
Вполне естественно, что умножение вектора на целое положительное число — то же самое, что сложение вектора с самим собою раз подряд (см. рисунок справа). В результате такой операции возникает новый вектор с тем же направлением, что и исходный вектор , но в раз большим модулем[5][6]:
Тогда умножение вектора на целое отрицательное число — то же самое, что умножение противоположного вектора на абсолютную величину целого числа (см. рисунок справа)[7]:
Другими словами, в результате такой операции возникает новый вектор с направлением, противоположным исходному вектору и в раз большим модулем[2][6].
Обобщая эти частные определения, получаем, что произведение вектора и числа в случае ненулевых вектора и числа — новый вектор, у которого[2][3][4]:
- модуль равен произведению модуля исходного вектора на абсолютную величину числа;
- направление, совпадающее с направлением исходного вектора, если число положительно, и противоположное, если число отрицательно.
Обозначения произведения вектора и скаляра прииняты такие[2][3][4]:
- или
Отсюда следует, что модуль произведения вектора и скаляра равен произведению их модулей[2]:
По поводу нулевых значений верно, что произведение вектора и числа равно нулевому вектору тогда и только тогда, когда хотя бы один из сомножителей равен нулю[2][3][4]:
Законы умножения на скаляр
[править | править код]Три закона умножения вектора на скаляр те же самые, что и законы умножения чисел[2]:
- ;
- ;
- ;
- .
Теорема 1. Закон переместительности. Произведение вектора на число не изменяется при перестановке сомножителей местами[2]:
Доказательство. По определению произведение вектора на число то же самое, что и произведение числа на вектор, обе эти операции тождественны[2].
Теорема 2. Закон сочетательности для числовых множителей. Последовательное произведение вектора на несколько чисел то же самое, что произведение этого вектора на произведение этих чисел[6][8][9]:
Теорема 3. Закон двоякой распределительности. Почленно можно вычислять[10][11]:
- произведение суммы векторов на число (закон распределительности числового сомножителя относительно суммы векторов[1]):
- ;
- произведение суммы чисел на вектор (закон распределительности векторного сомножителя относительно суммы чисел[1])[6]:
- .
1. Построим два треугольника (см.рисунок справа)[10][6][11]:
- треугольник со сторонами , и ;
- треугольник со сторонами и .
Эти треугольники подобны, поскольку у этих треугольников стороны , и , [10][6][11]:
- соответственно параллельны;
- соответственно пропорциональны:
- .
Следовательно, третьи стороны треугольников также параллельны и их отношение также равно , то есть первый закон распределительности доказан[12][6][11]:
- .
Рисунок справа сделан для положительного . При отрицательном направления всех трёх сторон треугольника меняются на противоположные и доказательство остаётся справедливым[13].
2. Рассмотрим два случая, определяемые знаком суммы чисел [13][14]:
- . Тогда векторы
- и
- сонаправлены и их модули равны, поскольку
- ,
- ,
- то есть в этом случае второй закон распределительности доказан:
- ;
- . Тогда , и по доказанному в первом случае
- .
- После умножения обеих частей последнего равенства на получаем:
- ,
- то есть и во втором случае второй закон распределительности доказан.
Доказанная формула закона распределительности числового сомножителя относительно суммы векторов
- ;
верна и для нескольких векторов[6]:
- .
Деление векторов
[править | править код]Деление вектора на число
[править | править код]Деление вектора на число (англ. scalar division of a vector) — первая операция, обратная умножению вектора на число, ставящая в соответствие вектору и числу другой коллинеарный вектор — частное вектора и этого число, другими словами, по произведению вектора на число и этому числу определяется вектор-сомножитель. При этом частное — это второй вектор такой, что [15].
Частное вектора и числа определяется умножением вектора на обратное число[13][15]:
- .
Деление вектора на вектор
[править | править код]Рассмотрим другую взаимную связь коллинеарных векторов. Деление вектора на вектор (англ. vector division), причём второй вектор ненулевой, — вторая операция, обратная умножению вектора на число, ставящая в соответствие двум коллинеарным векторам, причём второй вектор ненулевой, число — частное, или отношение[16], двух коллинеарных векторов, другими словами, по произведению ненулевого вектора на число и второму коллинеарному вектору определяется число-сомножитель. При этом частное — это число такое, что [17].
Частное, или отношение двух коллинеарных векторов и , причём второй вектор ненулевой, вычисляется следующим образом[17][18]:
- ;
- , если векторы и сонаправлены, , если векторы и противоположно направлены, и , если .
Частное равных векторов равно 1. Два вектора взаимно противоположны, если их частное равно –1, и их можно обозначить и . Частное нулевого вектора и любого другого ненулевого равно нулю. Частное любого вектора и нулевого не определено[18]. Если , то [19].
Для любых трёх векторов , и , причём векторы и ненулевые, выполняется следующее равенство[20][19]:
- .
Деление вектора на вектор используется при разложении вектора в одномерном случае.
Разложение вектора
[править | править код]Геометрическое вычитание векторов — операция, обратная геометрическому сложению векторов. Кроме неё, обратной операцией к сложению векторов является геометрическое разложение вектора, или просто разложение вектора — операция представления данного вектора в виде замыкающей нескольких векторов. Геометрически строится ломаная линия, которую замыкает данный вектор. Но так эту операцию определить нельзя, и чтобы её определить, нужно наложить на геометрические слагаемые определённые условия, которые рассматриваются в следующих трёх разделах[6].
Одномерный случай
[править | править код]Векторы Если векторы и связаны соотношением
- ,
то они коллинеарны. Обратное утверждение также справедливо, как показывает следующая теорема[21].
Теорема 4. Разложение вектора по одному коллинеарному вектору. Любой вектор можно единственным образом выразить через коллинеарный вектор по следующей формуле[21][22]:
- ,
где — число, которые вычисляется так, как показано в предыдущем разделе Деление векторов.
На рисунке справа:
- частное синих векторов и чёрного вектора равны 2 и 0,5;
- частные красных векторов и чёрного вектора равны –1 и –0,4.
Особенно важен частный случай равенства единице модуля одного из коллинеарных векторов, то есть когда этот вектор является единичным вектором, или ортом. Орт вектора обозначают или [21][23].
Орт вектора называется также направлением вектора[21].
Теорема 5. Любой вектор равен произведению его орта на его модуль, другими словами, умножение орта вектора на его модуль даёт сам вектор[23][21]:
- .
Эта формула замечательна тем, что в ней два элемента, которые характеризуют вектор, разделены[21]:
- модуль вектора ;
- направление вектора .
Двумерный случай
[править | править код]Если два вектора и не коллинеарны, то третий вектор — сумма векторов
будет всегда параллелен плоскости, которую определяют векторы и , то есть эти три вектора компланарны, так как геометрическая сумма векторов, лежащих в одной плоскости, лежит в той же плоскости. Обратное утверждение также справедливо, как показывает следующая теорема[21].
Теорема 6. Разложение вектора по двум неколлинеарным векторам, если все три вектора компланарны. Любой вектор можно единственным образом выразить через неколлинеарные и ненулевые векторы и , которые компланарны исходному вектору , по следующей формуле[21]:
- .
Отложим все три компланарных вектора , и от одной и той же точки (см. рисунок справа вверху). Через конец вектора проведём прямые и , параллельные соответственно векторам и , то есть соответственно прямым и . Тогда вектор окажется геометрической суммой двух векторов и , коллинеарных соответственно векторам и . В итоге получим искомое разложение вектора по векторам и [21].
Докажем от противного, что это разложение единственное. Пусть имеется два разных разложения
- ,
- ,
тогда после вычитания этих равенств получим:
- ,
откуда
- ,
то есть
- ,
а это противоречит тому, что два исходных разложения разные[24].
А если, например, , то тогда из уравнения
следует равенство
- ,
то есть либо векторы и коллинеарны, либо , что противоречит условию[25].
Теорема 7. Уравнение прямой. Уравнение прямой, проходящей через заданную точку с радиус-вектором и параллельной заданному вектору , задаётся следующим радиус-вектором произвольной точки прямой (см. рисунок справа)[26]:
- .
Другими словами, радиус-вектор произвольной точки заданной прямой (относительно произвольной фиксированной точки ) разлагается на сумму радиус-вектора заданной точки прямой и направляющего вектора прямой с числовым коэффициентом (см. рисунок справа).
Доказательство. Рассмотрим вектор :
- ,
следовательно, вектор коллинеарен вектору , и точка всегда находится на прямой, параллельной вектору и проходящей через точку [26].
Трёхмерный случай
[править | править код]Теорема 8. Разложение вектора по трём некомпланарным векторам. Любой вектор трёхмерного пространства можно единственным образом выразить через некомпланарные и ненулевые векторы , и по следующей формуле[25][27]:
- .
Числовые коэффициенты , и называются координатами вектора относительно векторов , и [28].
Приведём два разных доказательства.
Первое доказательство. Используется правило параллелепипеда сложения векторов. Отложим все четыре , , и от одной и той же точки (см. рисунок справа). Через конец вектора проведём три плоскости, которые параллельны граням трёхгранного угла, который образован тремя некомпланарными векторами , и . Тогда вектор окажется геометрической суммой трёх векторов , и , коллинеарных соответственно векторам , и . В итоге получим искомое разложение вектора по векторам , и [25].
Докажем от противного, что это разложение единственное. Пусть имеется два разных разложения
- .
- .
тогда после вычитания этих равенств получим:
- ,
откуда
- ,
то есть
- ,
а это противоречит тому, что два исходных разложения разные[25].
А если, например, , то тогда из уравнения
следует равенство
- ,
то есть либо векторы , и компланарны, либо , что противоречит условию[25].
Второе доказательство. Используется правило многоугольника сложения векторов. Отложим все четыре , , и от одной и той же точки (см. рисунок справа). Через конец вектора проведём прямую, которая параллельна вектору и которая пересекается с плоскостью векторов и в точке . Через точку проведём ещё одну прямую, которая параллельна вектору и которая пересекается с прямой вектора в точке . Получаем, что
- ,
но векторы , и коллинеарны соответственно векторам , и , следовательно,
- , и ,
откуда
- ,
что и требовалось получить[29].
Пусть имеется два разложения
- .
- .
тогда после вычитания этих равенств получим:
- ,
но поскольку векторы , и некомпланарны по условию, то
- ,
то есть
- ,
следовательно, оба разложения совпадают между собой[27].
Примечания
[править | править код]- ↑ 1 2 3 4 Умножение вектора на число, 1984.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 23.
- ↑ 1 2 3 4 5 6 Пытьев Ю. П. Векторная алгебра, 1977, с. 633.
- ↑ 1 2 3 4 5 6 Пытьев Ю. П. Векторная алгебра, 1988, с. 108.
- ↑ Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 22.
- ↑ 1 2 3 4 5 6 7 8 9 10 Кочин Г. Ф. Векторное исчисление и начала тензорного исчисления, 1965, § 2. Сложение… векторов.…, с. 11.
- ↑ Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 22—23.
- ↑ Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 23—24.
- ↑ 1 2 3 4 Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия. 7—9 классы, 2014, Задачи повышенной трудности. Задач к главе IX. 903, с. 219.
- ↑ 1 2 3 4 5 6 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 24.
- ↑ 1 2 3 4 5 Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия. 7—9 классы, 2014, Задачи повышенной трудности. Задач к главе IX. 903, с. 219—220.
- ↑ 1 2 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 24—25.
- ↑ 1 2 3 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 25.
- ↑ Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия. 7—9 классы, 2014, Задачи повышенной трудности. Задач к главе IX. 903, с. 220.
- ↑ 1 2 Выгодский М. Я. Справочник по высшей математике, 1977, § 89. Умножение и деление вектора на число, с. 123.
- ↑ Александров П. С. Лекции по аналитической геометрии, 1968, Глава II. Координаты на прямой. § 2. Направленные отрезки (векторы); их отношение, с. 18.
- ↑ 1 2 Выгодский М. Я. Справочник по высшей математике, 1977, § 89. Умножение и деление вектора на число, с. 124.
- ↑ 1 2 Александров П. С. Лекции по аналитической геометрии, 1968, Глава II. Координаты на прямой. § 2. Направленные отрезки (векторы); их отношение, с. 19.
- ↑ 1 2 Постников М. М. Аналитическая геометрия, 1973, Глава I. Векторное исчисление. § 2. Векторы на прямой. 3. Отношение векторов на прямой;, с. 27.
- ↑ Александров П. С. Лекции по аналитической геометрии, 1968, Глава II. Координаты на прямой. § 2. Направленные отрезки (векторы); их отношение, с. 20.
- ↑ 1 2 3 4 5 6 7 8 9 Кочин Г. Ф. Векторное исчисление и начала тензорного исчисления, 1965, § 2. Сложение… векторов.…, с. 12.
- ↑ Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 5. Линейные зависимости между векторами, с. 27.
- ↑ 1 2 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 4. Умножение и деление вектора на скаляр, с. 26.
- ↑ 1 2 Кочин Г. Ф. Векторное исчисление и начала тензорного исчисления, 1965, § 2. Сложение… векторов.…, с. 12—13.
- ↑ 1 2 3 4 5 6 Кочин Г. Ф. Векторное исчисление и начала тензорного исчисления, 1965, § 2. Сложение… векторов.…, с. 13.
- ↑ 1 2 Кочин Г. Ф. Векторное исчисление и начала тензорного исчисления, 1965, § 2. Сложение… векторов.…, с. 15.
- ↑ 1 2 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 5. Линейные зависимости между векторами, с. 30.
- ↑ Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 5. Линейные зависимости между векторами, с. 31.
- ↑ 1 2 Лаптев Г. Ф. Элементы векторного исчисления, 1975, Глава I. Линейные операции над векторами. § 5. Линейные зависимости между векторами, с. 29—30.
Источники
[править | править код]- Александров П. С. Лекции по аналитической геометрии, пополненные необходимыми сведениями из алгебры с приложением собрания задач, снабжённых решениями, составленного А. С, Пархоменко. 2-е изд. М.: Наука, 1968. 912 с., ил.
- Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия. 7—9 классы : учебник для общеобразовательных организаций. 2-е изд. М.: Просвещение, 2014. 383 с., ил.
- Выгодский М. Я. Справочник по высшей математике. Изд-е 12-е, стереотип. М.: Наука, 1977. 871 с., ил.
- Кочин Г. Ф. Векторное исчисление и начала тензорного исчисления. Изд-е 9-е. М.: Наука, 1965. 427 с., ил.
- Лаптев Г. Ф. Элементы векторного исчисления. М.: Наука, 1975. 336 с., ил.
- Постников М. М. Аналитическая геометрия. М.: Наука, 1973. 751 с., ил.
- Пытьев Ю. П. Векторная алгебра // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 1 А—Г. М.: «Советская Энциклопедия», 1977. 1152 стб., ил. Стб. 632—636.
- Пытьев Ю. П. Векторная алгебра // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров; Ред. Кол.: С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. М.: «Советская энциклопедия», 1988. 847 с., ил. С. 107—109.
- Умножение вектора на число // Воднев В. Т., Наумович А. Ф., Наумович Н. Ф. Математический словарь высшей школы: Общая часть / Под. ред. Ю. С. Богданова. Минск: Высшая школа, 1984. 527 с., ил. С. 462.
Эта статья выставлена на рецензию. Пожалуйста, выскажите своё мнение о ней на подстранице рецензии. |