Докажите, что перпендикуляр, проведенный из какой-нибудь точки окружности к диаметру, есть среднее пропорциональное для отрезков, на которые основание перпендикуляра делит диаметр.

Дано:

Доказать:

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