Нужно именно свойство,которое буде использоваться при доказательсве этого: (само док-во не нужно) докажите, что перпендикуляр, проведенный из какой-нибудь точки окружности к диаметру, есть среднее пропорциональное для отрезков, на которые основание перпендикуляра делит диаметр.
