3.1 Теореми Чеви для трикутника, тетраедра, в формі синусів
Джованні Чева (1648-1734) - італійський математик. Народився в Мілані, більшу частину життя провів в Мантує. Теорема Чеви для трикутника була опублікована в роботі “De lineis rectis se invicem secantibus statica constructio” (1678). В цій роботі Чева також наводить узагальнення теореми Менелая: якщо сторони просторового чотирикутника перетинаються площиною, то на них утворюються вісім відрізків таких, що добуток чотирьох з них, що не мають спільних кінців, дорівнює добутку чотирьох інших.
За допомогою теореми Чеви розвязуються задачі про трійки прямих, що проходять через одну точку, а також доводяться теореми про перетин трійок прямих в одній точці.
Теорема Чеви для трикутника. Нехай задан трикутник і три прямі, що проходять через його вершини. Пряма, що проходить через вершину , перетинає пряму в точці . Пряма, що проходить через вершину , перетинає пряму в точці . Пряма, що проходить через точку перетинає в точці . Ці прямі проходять через одну точку або паралельні тоді і тільки тоді , коли
(3.1)
Зауваження. Добуток відношень у теоремі Чеви іноді записують так:
(3.2)
Чевіана - це відрізок, який зєднує вершину трикутника з деякою точкою на протилежній стороні.
Доведення.
Необхідність. Нехай через деяку точку проходять три прямі як показано на рисунку 3.1. Застосуємо теорему Менелая до трикутника , який перетинає пряма
.
Рис. 3.1 До формуліровки теореми Чеви
Аналогічно з трикутника згідно з теоремою Менелая маємо
.
Розділимо перше співвідношення на друге
Залишилося помітити, що
і
Необхідність доведена для випадку прямих, що перетинаються.
Якщо ж прямі і паралельні (див. рис. 3.2), то згідно з теоремою Фалеса маємо
,
.
Перемножуючи пропорції, одержимо
тобто
.
Необхідність доведена в повному обсязі.
Рис. 3.2 До доведення теореми Чеви
Достатність. Нехай для точок і на прямих і виконується співвідношення (3.1), а прямі і перетинаються в точці . Пряма перетинає прямую в деякій точці . По вже доведеному
.
Звідси й зі співвідношення (3.1) випливає , що означає збіг точок і .
Якщо ж прямі і паралельні, то з (3.1) випливає, що і пряма буде їм паралельна. Теорема доведена.
Наслідки з теореми Чеви для трикутника.
В одній точці перетинаються
1) медіани трикутника;
2) висоти трикутника;
3) бісектриси трикутника;
4) відрізки, що зєднують вершини трикутника з точками дотику вписаного кола (точка Жергонна);
5) відрізки, що зєднують вершини трикутника з точками дотику відповідних вневписаних кіл (точка Нагеля);
(Вневписане коло трикутника - це коло, що дотикається однієї сторони трикутника та продовженн двох інших його сторін. Для кожного трикутника існує точно три вневписаних кола. Центром вневписаного кола, яке дотикається сторони АВ , є точка перетину бісектрис зовнішніх кутів А та В.)
6) відрізки, що зєднують вершини трикутника з вершинами правильних трикутників, побудованих на його протилежних сторонах у зовнішню сторону (точка Торричеллі).
Доведення.
1) Оскільки , , , то , отже медіани трикутника перетинаються в одній точці.
2) Розглянемо випадок, коли трикутник гострокутний.
Маємо , , , , , .
Звідси випливає
Якщо трикутник тупокутний, то дві висоти цього трикутника не є чевіанами. У випадку, коли точно один з відрізків є чевіаною, а інші зєднують вершини з точками продовжень протилежних сторін, при цьому ці відрізки не паралельні, твердження теореми Чеви також виконується. Залишається повторити проведені вище обчислення для тупокутного трикутника.
3) З властивості бісектрис випливають наступні рівності:
, , .
Перемножуючи відповідно ліві та праві частини цих рівностей, одержуємо умову теореми Чеви.
4) З властивостей дотичних, проведених з однієї точки до кола маємо:
, , .
Звідси випливає рівність з теореми Чеви: .
5)
, де - півпериметр трикутника ,
,
Отже, .
Це і означає, що прямі перетинаються в одній точці.
6) Нехай - сторони трикутника . Нехай - вершини правильних трикутників, побудованих на сторонах відповідно, а - точки перетину відрізків з відповідними сторонами або їх продовженнями. Зазначимо, що
,
при цьому знак “мінус” береться в тому випадку, коли точка лежить зовні відрізка . Аналогічно розписуються відношення для точок та . Після перемноження маємо . Наслідки доведено.
Іноді теорему Чеви зручно використовувати, вводячи замість відношень відрізків відношення синусів деяких кутів.
Теорема Чеви в формі синусів. Нехай на сторонах і трикутника взяті точки ,. Прямі і проходять через одну точку або паралельні тоді і тільки тоді, коли
. (3.3)
Доведення.
Ми повинні переписати “в синусах” теорему Чеви. Запишемо її у формі (3.2):
.
Доведемо цю теорему для випадку, коли точки і лежать на сторонах трикутника. Випадки іншого розташування точок вимагають несуттєвих змін міркувань.
Нехай .
Інші позначення зрозумілі з рисунка 3.3.
Рис. 3.3 До доведення теорими Чеви у формі синусів
Застосовуючи теорему синусів до трикутників і , маємо
Або
Аналогічно, застосовуючи теорему синусів до трикутників і , маємо
,
і до трикутників і :
.
Перемножуючи записані співвідношення, знаходимо
Отже, умова нашої теореми рівносильна умові звичайної теореми Чеви.
Теорема доведена.
При доведенні теореми ми не застосовували відношень орієнтованих відрізків. В загальному випадку необхідно розглянути не тільки орієнтовані відрізки, але й орієнтовані кути, припускаючи, наприклад, що і т.п.
Далі наведемо мало відому стереометричну теорему Чеви для довільного тетраедра.
Теорема Чеви для тетраедра. Нехай - точка всередині тетраедра , - точки перетину площин з ребрами відповідно (див. рис. 3.4). Тоді
(3.4)
І навпаки, якщо для точок , що лежать на відповідних ребрах, виконується співвідношення (3.4), то площини проходять через одну точку.
Рис. 3.4 До формуліровки теореми Чеви для тетраедра
Доведення необхідності легко одержати, якщо помітити, що точки (див. рис. 3.4) лежать в одній площині (це площина, що проходить через прямі та , які перетинаються в точці ), і застосувати теорему Менелая.
Обернена теорема доводиться так само, як і обернена теорема Менелая в просторі: необхідно провести площину через точки і довести, що ця площина перетне ребро в точці.
- 8.Процедура голосування: теореми та парадокси
- Конспект заняття математичного гуртка. 9-й клас
- Тема 4: Теореми Ролля, Лагранжа, Коші, їх геометрична ілюстрація та застосування. Правило Лопіталя.
- Тема 14. Ряди та їх застосування
- Телемах у Нестора і в Менелая
- 1*. Суть закону великих чисел і центральної граничної теореми
- Доведення необхідності
- 30. Нестандартні задачі і теореми елементарної геометрії. Принцип Діріхле. Теореми Чеви і Менелая.