Доказательство:
Рассмотрим точки A, B, A1, B1. Нам нужно доказать, что эти точки лежат на одной окружности с диаметром AB.
1. Углы, опирающиеся на диаметр:
2. Свойство окружности:
Угол, который опирается на диаметр окружности, является прямым (равен 90°). Обратно, если угол, опирающийся на отрезок, является прямым, то этот отрезок является диаметром окружности, проходящей через вершины этого угла.
3. Применение к задаче:
4. Вывод:
Поскольку точки A, A1, B принадлежат окружности с диаметром AB, и точки A, B1, B также принадлежат этой же окружности, то все четыре точки A, A1, B, B1 лежат на одной окружности с диаметром AB.