Президентский ФМЛ №239

Эта страница только для чтения. Вы можете посмотреть её исходный текст, но не можете его изменить. Сообщите администратору, если считаете, что это неправильно.
$\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}$.