Различия

Показаны различия между двумя версиями страницы.

--- math-public:vektory-svojstva-linejnyh-operacij [2016/09/21 16:01] – [Доказательство] labreslav
+++ math-public:vektory-svojstva-linejnyh-operacij [2019/06/12 19:59] (текущий) – [Доказательство] labreslav
@@ Строка 1: / Строка 1: @@
+$\newcommand{\updownarrows}{\uparrow\!\downarrow}$
+$\newcommand{\tg}{\mathop{\rm tg}\nolimits}$
+$\newcommand{\ctg}{\mathop{\rm ctg}\nolimits}$
+$\newcommand{\sign}{\mathop{\rm sign}\nolimits}$
+$\newcommand{\arctg}{\mathop{\rm arctg}\nolimits}$
+$\newcommand{\arcctg}{\mathop{\rm arcctg}\nolimits}$
+$\newcommand{\deg}{^\circ}$
+$\newcommand{\a}{\angle}$
+=====Теорема=====
+Для любых чисел $k, l$ и любых векторов $\vec{a}, \vec{b}$ справедливы равенства:
+  - $(kl)\vec{a}=k(l\vec{a})$;
+  - $k(\vec{a}+\vec{b})=k\vec{a}+k\vec{b}$.
+  - $(k+l)\vec{a}=k\vec{a}+l\vec{a}$;
+====Доказательство====
+===Докажем первый пункт===
+Докажем, что для любых чисел $k$, $l$ и любого вектора $\vec{a}$ справедливо равенство $(kl)\vec{a}=k(l\vec{a})$.
+Если $\vec{a}=\vec{0}$, то справедливость этого равенство очевидна.
+Пусть $\vec{a}\neq\vec{0}$.
+Имеем: $|(lk)\vec{a}|=|kl|\cdot|\vec{a}|=|k|\cdot|l|\cdot|\vec{a}|=|k|\cdot|l\vec{a}|=|k(l\vec{a})|$.
+Далее, если $k\cdot l\geqslant0$, то $(kl)\vec{a}\upuparrows \vec{a}$ и $k(l\vec{a})\upuparrows \vec{a}$.
+Если же $k\cdot l<0$, то $(kl)\vec{a}\updownarrows \vec{a}$ и $k(l\vec{a})\updownarrows \vec{a}$.
+И в том и в другом случае $(kl)\vec{a}\upuparrows k(l\vec{a})$.
+Следовательно, $(kl)\vec{a}=k(l\vec{a})$.
+===Докажем второй пункт===
+Докажем, что для любого числа $k$ и любых векторов $\vec{a}$ и $\vec{b}$ справедливо равенство $k(\vec{a}+\vec{b})=k\vec{a}+k\vec{b}$.
+Если $k=0$, или $\vec{a}=\vec{0}$, или $\vec{b}=\vec{0}$, то справедливость этого равенства очевидна.
+Пусть $k\neq0, \vec{a}\neq\vec{0}, \vec{b}\neq\vec{0}.$
+Возможны три случая.
+===Первый случай===
+Пусть $\vec{a}\upuparrows \vec{b}$.
+Тогда вектора $k(\vec{a}+\vec{b}), k\vec{a}$, $k\vec{b}$, а следовательно, и $k\vec{a}+k\vec{b}$, сонаправлены.
+Кроме того $|k(\vec{a}+\vec{b})|=|k|(|\vec{a}|+|\vec{b}|)=|k\vec{a}|+|k\vec{b}|=|k\vec{a}+k\vec{b}|$.
+Следовательно, $k(\vec{a}+\vec{b})=k\vec{a}+k\vec{b}$.
+===Второй случай===
+Пусть $\vec{a}\updownarrows \vec{b}$.
+Пусть для определённости $|\vec{a}|\geqslant|\vec{b}|$.
+Тогда и $|k\vec{a}|\geqslant|k\vec{b}|$.
+Тогда $k(\vec{a}+\vec{b})\upuparrows(k\vec{a}+k\vec{b})$.
+Кроме того в этом случае $|k(\vec{a}+\vec{b})|=|k|(|\vec{a}|-|\vec{b}|)=|k\vec{a}|-|k\vec{b}|=|k\vec{a}+k\vec{b}|$.
+Следовательно, $k(\vec{a}+\vec{b})=k\vec{a}+k\vec{b}$.
+===Третий случай===
+Пусть $\vec{a}\not \parallel \vec{b}$.
+Тогда отложим  от какой-нибудь точки $O$ векторы $\overrightarrow{OA_1}=\vec{a}$ и $\overrightarrow{OA}=k\vec{a}$, а от точек $A_1$ и $A$ векторы $\overrightarrow{A_1B_1}=\vec{b}$ и $\overrightarrow{AB}=k\vec{b}$.
+Треугольники $OA_1B_1$ и $OAB$ подобны с коэффициентом подобия $|k|$ по второму признаку подобия треугольников.
+Следовательно, $\overrightarrow{OB}=k\cdot \overrightarrow{OB_1}=k(\vec{a}+\vec{b})$.
+C другой стороны, $\overrightarrow{OB}=\overrightarrow{OA}+\overrightarrow{AB}=k\vec{a}+k\vec{b}$.
+Итак, $k(\vec{a}+\vec{b})=k\vec{a}+k\vec{b}$.
+===Докажем третий пункт===
+Докажем, что для любых чисел $k, l$ и любого вектора $\vec{a}$ справедливо равенство $(k+l)\vec{a}=k\vec{a}+l\vec{a}$.
+Если $k=l=0$, то справедливость этого равенство очевидна.
+Пусть хотя бы одно из чисел $k, l$ отлично от нуля.
+Для определённости будем считать, что $|k|\geqslant|l|$, и, следовательно, $k\neq0$ и $\left|\dfrac{l}{k}\right|\leqslant1$.
+Рассмотрим вектор $\vec{a}+\dfrac{l}{k}\vec{a}$.
+Очевидно, $(\vec{a}+\dfrac{l}{k}\vec{a})\upuparrows\vec{a}$.
+Далее, $|\vec{a}+\dfrac{l}{k}\vec{a}|=|\vec{a}|+\dfrac{l}{k}|\vec{a}|=(1+\dfrac{l}{k})|\vec{a}|$.
+Умножая обе части этого равенства на $k$, получим, что справедливо равенство $k\vec{a}+l\vec{a}=(k+l)\vec{a}$.
+=====Теорема=====
+Если точка $C$ лежит на отрезке $AB$, и $AC:CB=\alpha:\beta$, то $\overrightarrow{OC}=\dfrac{\alpha}{\alpha+\beta}\,\overrightarrow{OB}+\dfrac{\beta}{\alpha+\beta}\,\overrightarrow{OA}$.
+{{:math-public:140.jpg?direct&300|}}
+====Доказательство====
+Выберем произвольную точку $O$ и обозначим $\vec{a}=\overrightarrow{OA}, \vec{b}=\overrightarrow{OB},
+\vec{c}=\overrightarrow{OC}$.
+Тогда $\overrightarrow{AB}=\vec{b}-\vec{a}$, $\displaystyle\overrightarrow{AC}=\frac{\alpha}{\alpha+\beta}\overrightarrow{AB}=\frac{\alpha}{\alpha+\beta}(\vec{b}-\vec{a})$.
+Тогда\\ $\displaystyle\vec{c}=\overrightarrow{OC}=\overrightarrow{OA}+\overrightarrow{AC}=\vec{a}+\dfrac{\alpha}{\alpha+\beta}(\vec{b}-\vec{a})=
+\dfrac{\alpha \vec{a}+\beta \vec{a}+\alpha \vec{b}-\alpha\vec{a}}{\alpha+\beta}=\dfrac{\beta \vec{a}+\alpha\vec{b}}{\alpha+\beta}$
+То есть $\vec{c}=\dfrac{\beta}{\alpha+\beta}\vec{a}+\dfrac{\alpha}{\alpha+\beta} \vec{b}$
+Таким образом $\displaystyle\overrightarrow{OC}=\frac{\alpha}{\alpha+\beta}\,\overrightarrow{OB}+\frac{\beta}{\alpha+\beta}\,\overrightarrow{OA}$.
+=====Следствие=====
+Если в треугольника $ABC$ $AM$ -- это медиана, то $\overrightarrow{AM}=\dfrac{\overrightarrow{AB}+\overrightarrow{AB}}{2}$.