В геометрії, Теорема Фалеса (названа на честь Фалеса з Мілету) стверджує, що якщо A, B і C є точками на колі, де відрізок AC є діаметром кола, тоді кут ABC є прямим.
Теорема Фалеса є окремим випадком теореми про вписані кути. Вона згадується і доводиться як 33-тя пропозиція, третьої книги Евкліда «Начала».
Доведення Редагувати
Використаємо такі факти: сума кутів трикутника дорівнює двом прямим кутам і що кути при основі рівнобедреного трикутника рівні.
Нехай O є центром кола. Оскільки OA = OB = OC, OAB і OBC є рівнобедреними трикутниками, із рівності кутів при основі рівнобедреного трикутника, OBC = OCB і BAO = ABO. Нехай γ = BAO і δ = OBC.
Оскільки сума кутів прямокутного трикутника рівна двом прямим кутам, отримаємо
і
Також відомо що
Додавши перші два рівняння та віднявши третє, отримаємо
що, після скорочення γ ′ and δ ′, дає
Обернена теорема Редагувати
Обернена теорема також вірна. Вона стверджує, що якщо для даного прямокутного трикутника побудувати коло, так, що його гіпотенуза буде діаметром кола, то коло буде описаним навколо трикутника.
Пряма та обернена теореми можуть бути сформульовані так:
Узагальнення Редагувати
Теорема Фалеса є спеціальним випадком наступної теореми: якщо дані три точки A, B і C на колі із центром O, кут AOC вдвічі більшим від ABC.
Історія Редагувати
Фалес не був першовідкривачем теореми названої на його честь, оскільки давні єгиптяни та вавилоняни знали її на емпіричному рівні. Але Фалесу належить перше доведення цієї теореми.
Інші теореми відомі під даною назвою Редагувати
В країнах колишнього Радянського Союзу назва «теорема Фалеса» стосується іншої теореми — Теорема Фалеса про пропорційні відрізки