Loading [MathJax]/jax/element/mml/optable/MathOperators.js

Содержание

Теорема

Для любых чисел k,l и любых векторов a,b справедливы равенства:

  1. (kl)a=k(la);
  2. k(a+b)=ka+kb.
  3. (k+l)a=ka+la;

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

Докажем первый пункт

Докажем, что для любых чисел k, l и любого вектора a справедливо равенство (kl)a=k(la).

Если a=0, то справедливость этого равенство очевидна.

Пусть a0.

Имеем: |(lk)a|=|kl||a|=|k||l||a|=|k||la|=|k(la)|.

Далее, если kl0, то (kl)aa и k(la)a.

Если же kl<0, то (kl)aa и k(la)a.

И в том и в другом случае (kl)ak(la).

Следовательно, (kl)a=k(la).

Докажем второй пункт

Докажем, что для любого числа k и любых векторов a и b справедливо равенство k(a+b)=ka+kb.

Если k=0, или a=0, или b=0, то справедливость этого равенства очевидна.

Пусть k0,a0,b0.

Возможны три случая.

Первый случай

Пусть ab.

Тогда вектора k(a+b),ka, kb, а следовательно, и ka+kb, сонаправлены.

Кроме того |k(a+b)|=|k|(|a|+|b|)=|ka|+|kb|=|ka+kb|.

Следовательно, k(a+b)=ka+kb.

Второй случай

Пусть ab.

Пусть для определённости |a||b|.

Тогда и |ka||kb|.

Тогда k(a+b)(ka+kb).

Кроме того в этом случае |k(a+b)|=|k|(|a||b|)=|ka||kb|=|ka+kb|.

Следовательно, k(a+b)=ka+kb.

Третий случай

Пусть a.

Тогда отложим от какой-нибудь точки 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}.

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

Выберем произвольную точку 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}.