Означення. Під кутом між двома векторами
і
будемо розуміти кут, на який необхідно повернути вектор
у додатньому напрямку (проти ходу годинної стрілки) до збігу з напрямком вектора
(див. рис. 4.1).
Рис. 4.1 До визначення кута між двома векторами
Нехай для визначеності, що . З означення і властивостей функції
випливає, що
.
Розглянемо два трикутники: (позначимо його через
) і
, вершини
і
якого лежать на прямих
і
відповідно; позначимо трикутник
через
. Зрозуміло, що вектори
і
коллінеарні; також коллінеарні й вектори
. Введемо для коллінеарних векторів
і
величину
, яка дорівнює відношенню довжин векторів
і
, взятому зі знаком “+” , якщо вектори
і
співнаправлені, і зі знаком “–“ у супротивному випадку.
Рис. 4.2
Визначимо для трикутників і
величину
:
(4.1)
Нехай далі – трійка векторів
, які коллінеарні векторам
(сторонам трикутника
)
– трійка векторів
, які коллінеарні векторам
і
. Визначимо для
і
величину
(4.2)
Лема. (4.3)
Доведення. Спочатку перевіримо, що та
одного знака. Легко переконатися, що зміна напрямку одного з векторів
,
не змінить величини
, тому можна обрати напрямок кожного з них певним чином; наприклад, можна вважати вектори
,
такими, що збігаються за напрямком з векторами ,
,
і
(див. рис. 4.2) .
У цьому випадку кожний з трьох дробів, що входять у вираз має той самий знак, що і відповідний дріб, який входить у вираз
.
Наприклад, дроби
і
будуть додатними, якщо точка розташована між точками
і
, і від’ємними супротивному випадку (див. рис. 4.2, 4.3).
Рис. 4.3
Залишилось довести, що . Маємо
Перемножуючи ці три рівності, одержимо, що . Лема доведена.
Далі буде необхідна рівність, що безпосередньо випливає з означення :
. (4.4)
Сформулюємо тепер теореми Чеви та Менелая.
Теорема Чеви. Для того, щоб прямі і
перетиналися в одній точці, необхідно і достатньо, щоб виконувалась рівність
(4.5)
або еквівалентна рівність
(4.5/)
Теорема Менелая. Для того, щоб точки лежали на одній прямій, необхідно і достатньо, щоб виконувалась рівність
(4.6)
або еквівалентна рівність
(4.6/)
Доведення теореми Чеви.
Необхідність. Нехай прямі ,
перетинаються в одній точці. Доведемо, що виконуються умови (4.5) і (4.5/).
Якщо прямі і
перетинаються в одній точці, то або всі три точки
і
лежать на сторонах трикутника
, або одна з точок лежить на стороні трикутника, а дві інші – на продовженнях відповідних сторін.
У першому випадку всі дроби, що входять у вираз , додатні, а в другому випадку один із трьох дробів, що входить у вираз
, додатний, а два інші – від’ємні, так що знову вираз
(а отже, і
– див. лему) більше нуля.
Доведемо, що (оскільки
>0, то з цього буде випливати, що
дорівнює одиниці).
Позначимо точку перетину прямих і
через
(рис. 4.4а).
а)
б)
Рис. 4.4
Застосовуючи теорему синусів, одержимо
,
Перемножуючи ці рівності, знаходимо , тим самим необхідність доведена.
Достатність. Доведення достатності проведемо методом від супротивного.
Припустимо, що
, але прямі
,
і
не проходять через одну крапку (див. рис. 4.4б).
Позначимо точку перетину прямих і
через
, а через
– точку перетину прямих
і
. Оскільки прямі
,
і
перетинаються в одній точці, то
Але за умовою
,
звідки . Так як і точка
і точка
лежать на прямій
, то з цього випливає, що точки
та
збігаються.
Теорема Чеви доведена.
Доведення теореми Менелая
Необхідність. Відомо, що точки і
лежать на одній прямій. Необхідно довести рівності (4.6) та (4.
).
Якщо точки і
лежать на одній прямій, то або усі вони знаходяться на продовженнях
і
сторін трикутника
, або ж дві з точок
знаходяться на відповідних ним сторонах, а третя – на продовженні.
В обох випадках вираження буде від’ємним. Доведемо тепер, що якщо точки
– на одній прямій, то
(оскільки
<0, з цього буде випливати, що
).
Проведемо через точку пряму, паралельну
, і позначимо точку її перетину з прямою
через
(див. рис. 4.5).
Рис. 4.5
Використовуючи подібність, одержимо
Додавши рівність і перемноживши всі три рівності, одержимо, що
. Необхідність умов теореми Менелая доведена.
Достатність. Доведення достатності умов (4.6) і (4. ) теореми Менелая проводиться аналогічно доведенню достатності умов (4.5) і (4.
) теореми Чеви.
Теорема доведена.
ВИСНОВКИ
Дата: 2019-05-28, просмотров: 231.