Назад до розділу • Головний зміст
Умова:
Точки і , і попарно симетричні відносно прямої (мал. 1). Доведіть, що навколо чотирикутника можна описати коло.

Покроковий розв’язок:
1. Визначення виду чотирикутника
За означенням осьової симетрії відносно прямої :
- пряма є серединним перпендикуляром до відрізка , тобто ;
- пряма є серединним перпендикуляром до відрізка , тобто .
Оскільки дві прямі, перпендикулярні до однієї й тієї самої прямої, є паралельними між собою, маємо:
Отже, сторони і чотирикутника паралельні, тобто вони є основами трапеції.
Осьова симетрія є рухом (ізометрією), тому вона зберігає відстані між точками. При симетрії відносно прямої точка переходить у точку , а точка — у точку . Звідси випливає рівність відрізків:
Оскільки бічні сторони трапеції рівні (), чотирикутник є рівнобічною трапецією.
2. Доведення можливості описати коло
Навколо чотирикутника можна описати коло тоді й тільки тоді, коли сума його протилежних кутів дорівнює .
Розглянемо кути трапеції :
1) За властивістю рівнобічної трапеції кути при кожній з основ є рівними. Для основи :
2) Прямі і паралельні, а пряма є їхньою січною. Кути та є внутрішніми односторонніми кутами при паралельних прямих і , тому їхня сума дорівнює :
3) Підставимо значення кута у цю рівність:
Кути і є протилежними кутами чотирикутника , і їхня сума становить .
Оскільки сума всіх кутів опуклого чотирикутника дорівнює , то сума іншої пари протилежних кутів також дорівнює:
Отже, суми протилежних кутів чотирикутника дорівнюють , що є достатньою умовою для того, щоб навколо нього можна було описати коло.
Доведено.
Відповідь:
Доведено, що чотирикутник є рівнобічною трапецією, сума протилежних кутів якої дорівнює , тому навколо нього можна описати коло.