Рассмотрим теорему. Предположим, что прямая АВ имеет две общих точки с окружностью (рис. 7).

Рис. 7. Иллюстрация к теореме

Имеем хорду АВ. Точка Н, по условию, – середина хорды АВ и лежит на диаметре СD.

Требуется доказать, что в таком случае диметр перпендикулярен хорде.

Доказательство:

Рассмотрим равнобедренный треугольник ОАВ, он равнобедренный, так как .

Точка Н, по условию, – середина хорды, значит середина медианы АВ равнобедренного треугольника. Мы знаем, что медиана равнобедренного треугольника перпендикулярна его основанию, значит, является высотой: , отсюда , таким образом, доказано, что диаметр, проходящий через середину хорды, перпендикулярен ей.

Справедлива и обратная теорема: если диаметр перпендикулярен хорде, то он проходит через ее середину.

Задана окружность с центром О, ее диаметр СD и хорда АВ. Известно, что диаметр перпендикулярен хорде, нужно доказать, что он проходит через ее середину (рис. 8).

Рис. 8. Иллюстрация к теореме

Доказательство:

Рассмотрим равнобедренный треугольник ОАВ, он равнобедренный, так как . ОН, по условию, – высота треугольника, так как диаметр перпендикулярен хорде. Высота в равнобедренном треугольнике одновременно является медианой, таким образом, АН=НВ, значит, точка Н является серединой хорды АВ, значит, доказано, что диаметр, перпендикулярный хорде, проходит через ее середину.

Прямую и обратную теорему можно обобщить следующим образом.

Теорема:

Диаметр перпендикулярен хорде тогда и только тогда, когда он проходит через ее середину.