Пусть О -центр окружности
Пряммые АA1, BB1 и ОС парарельны, так они перпендикулярны одной и той же пряяммой А1В1.
Так как пряммая ОС делит пополам отрезок АВ, то она делит пополам и отрезо А1В1 по теореме Фалеса,
т.е. точка С является серединой отрезка А1В1, что и требовлаось доказать
Доказано