Теорема: Диаметр окружности перпендикулярен к её хорде тогда и только тогда, когда он проходит через середину этой хорды.

Обратная теорема: Если диаметр окружности проходит через середину хорды, то он перпендикулярен к этой хорде.