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

Свойство: Диаметр окружности является максимальной хордой этой окружности.
Обратное утверждение: Если хорда является самой длинной из всех хорд окружности, то эта хорда является диаметром окружности.