Нехай
Інші позначення зрозумілі з рисунка 3.3.
Рис. 3.3 До доведення теорими Чеви у формі синусів
Застосовуючи теорему синусів до трикутників
Або
Аналогічно, застосовуючи теорему синусів до трикутників
і до трикутників
Перемножуючи записані співвідношення, знаходимо
Отже, умова нашої теореми рівносильна умові звичайної теореми Чеви.
Теорема доведена.
При доведенні теореми ми не застосовували відношень орієнтованих відрізків. В загальному випадку необхідно розглянути не тільки орієнтовані відрізки, але й орієнтовані кути, припускаючи, наприклад, що
Далі наведемо мало відому стереометричну теорему Чеви для довільного тетраедра.
Теорема Чеви для тетраедра. Нехай
І навпаки, якщо для точок
Рис. 3.4 До формуліровки теореми Чеви для тетраедра
Доведення необхідності легко одержати, якщо помітити, що точки
Обернена теорема доводиться так само, як і обернена теорема Менелая в просторі: необхідно провести площину через точки
3.2 Застосування теорем Чеви для розв’язання задач
Задача 3.1.Задано трикутникАВС. Як слід побудувати точку О всередині трикутника, щоб площі трикутниківАОС, ВОС таАОВвідносилися як 7 : 11 : 13.
Розв’язок.
1 спосіб.
РозглянемотрикутникАВСйпобудуємоточку K, яка ділитьсторону AB увідношенні 7 : 11, рахууючи відвершини A, та точку L, яка ділить сторону CA увідношенні 11 : 13, рахууючи відвершини C.
Нехай O – точка перетинувідрізків CK та BL. Покажемо, що O – шукана точка. Зазначимо, що у трикутників ACK та BCK спільна висота, яка опущена з вершини С, тому відношенняїх площиндорівнюєвідношенню основ
SACK : SBCK = AK : BK.
Аналогічно, SAOK : SBOK = AK : BK.
Застосовуючи властивість пропорції (
SAOС : SBOС = AK : BK = 7 : 11.
Аналогічно, розглядаючи дві пари трикутників з основами AL та СL, доводимо, що
SBOС : SAOВ = CL : AL = 11 : 13.
Отже, SAOС : SBOС : SAOВ = 7 : 11 : 13, що і необхідно було довести.
2 спосіб.
З теореми Чеви випливає, що пряма АO розділить сторону ВС у відношенні 13 : 7, рахууючи від вершини В. Якщо застосовувати теорему Чеви в обернену сторону, то до розв’язку задачі можна було підійти інакше.
Нехай задано відрізок PQ, точка E, яка ділить його у відношенні p : q, де p та q – задані числа, й точка F, яка не належить прямій PQ. Аналогічно з наведеним розв’язком можна довести, що геометричним місцем точок М площини, для яких SPFM : SQFM = p : q є пряма EF (за виключенням точок E та F).
Отже, для того, щоб побудуватишукану точку О можна розділити сторони АВ, ВС та СА трикутника АВС відповідно точками K, NтаL так, щоб
AK : BK = 7 : 11; BN : CN = 13 : 7; CL : AL = 11 : 13.
Тоді, згідно з теоремою Чеви
Задача 3.2. В трикутник
Доведення.
З умови задачі випливає, що точки
Центр
З прямокутних трикутників
Зазначимо, що відрізки
Отже, згідно з теоремою Чеви прямі
Задача 3.3. Через вершини трикутника