Для доказательства этого факта нам понадобится использовать свойство окружностей.
Пусть у нас есть окружность с центром O и радиусом r. Пусть AB - хорда этой окружности. Пусть C - точка пересечения диаметра, перпендикулярного AB, с самой окружностью.
Для начала, давайте найдем радиус окружности, проходящей через точки A, O и C. Согласно свойству окружностей, все точки, которые расположены на окружности с равными радиусами относительно центра, являются коллинеарными.
Таким образом, если мы соединим точки A и C, получим диаметр окружности AC, радиус которой также равен r.
По определению диаметра, его длина равна удвоенному радиусу, то есть AC = 2r.
Теперь нам нужно доказать, что диаметр AC делит хорду AB пополам. Для этого нам следует доказать, что точка C является серединой отрезка AB.
Для начала, соединим точки O и C. Получится отрезок OC, который является радиусом окружности и, следовательно, равен r.
Так как OC является высотой равнобедренного треугольника AOC, и OA = OC = r соответственно, то треугольник AOC является равнобедренным.
По свойству равнобедренного треугольника, медиана, проведенная из вершины до основания, является одновременно высотой, уголбиссектрисой и медианой, разделяющей сторону на две равные части.
Следовательно, диаметр AC, который является медианой треугольника AOC, делит хорду AB пополам.
Таким образом, доказано, что диаметр окружности, перпендикулярный хорде, делит эту хорду пополам.
