Формальное доказательство 1: Перпендикуляр из центра к хорде (Геометрия окружности)

Теорема 1 по геометрии окружности Прямая, проведенная из центра окружности перпендикулярно хорде, делит эту хорду пополам. Прямая, проведенная из центра окружности к середине хорды, перпендикулярна этой хорде.