Опишем окружность около треугольника ABC. Биссектриса угла ABC делит дугу AC пополам. Серединный перпендикуляр к хорде AC также делит дугу AC пополам. То есть биссектриса и серединный перпендикуляр имеют общую точку O на дуге AC. Точки A, B, C, O лежат на одной окружности.