Рис. 3.1 До формуліровки теореми Чеви
Аналогічно з трикутника
Розділимо перше співвідношення на друге
Залишилося помітити, що
Необхідність доведена для випадку прямих, що перетинаються.
Якщо ж прямі
Перемножуючи пропорції, одержимо
тобто
Необхідність доведена в повному обсязі.
Рис. 3.2 До доведення теореми Чеви
Достатність. Нехай для точок
Звідси й зі співвідношення (3.1) випливає
Якщо ж прямі
Наслідки з теореми Чеви для трикутника.
В одній точці перетинаються
1) медіани трикутника;
2) висоти трикутника;
3) бісектриси трикутника;
4) відрізки, що з’єднують вершини трикутника з точками дотику вписаного кола (точка Жергонна);
5) відрізки, що з’єднують вершини трикутника з точками дотику відповідних вневписаних кіл (точка Нагеля);
(Вневписане коло трикутника – це коло, що дотикається однієї сторони трикутника та продовженн двох інших його сторін. Для кожного трикутника існує точно три вневписаних кола. Центром вневписаного кола, яке дотикається сторони АВ , є точка перетину бісектрис зовнішніх кутів А та В.)
6) відрізки, що з’єднують вершини трикутника з вершинами правильних трикутників, побудованих на його протилежних сторонах у зовнішню сторону (точка Торричеллі).
Доведення.
1) Оскільки
2) Розглянемо випадок, коли трикутник
Маємо
Звідси випливає
Якщо трикутник
3) З властивості бісектрис випливають наступні рівності:
Перемножуючи відповідно ліві та праві частини цих рівностей, одержуємо умову теореми Чеви.
4) З властивостей дотичних, проведених з однієї точки до кола маємо:
Звідси випливає рівність з теореми Чеви:
5)
Отже,
Це і означає, що прямі
6) Нехай
при цьому знак “мінус” береться в тому випадку, коли точка
Іноді теорему Чеви зручно використовувати, вводячи замість відношень відрізків відношення синусів деяких кутів.
Теорема Чеви в формі синусів. Нехай на сторонах
Доведення.
Ми повинні переписати “в синусах” теорему Чеви. Запишемо її у формі (3.2):
Доведемо цю теорему для випадку, коли точки