Для начала, давайте сформулируем теорему об отрезках пересекающихся хорд в окружности.
Теорема: Если внутри окружности даны две пересекающиеся хорды, то произведение длин отрезков каждой хорды равно.
Доказательство:
Пусть AB и CD - две пересекающиеся хорды в окружности. Проведем диаметр EF, перпендикулярный к хорде AB, в точке пересечения K. Также проведем диаметр GH, перпендикулярный к хорде CD, в точке пересечения L.
Заметим, что треугольники AKB и KEB подобны, так как угол B равен углу EBA (вертикальные углы). Аналогично, треугольники CLD и DCH подобны.
Используя пропорциональность сторон в подобных треугольниках, мы получаем:
AB/EB = AK/KE, и CD/DH = CL/LD.
Учитывая, что AB = AK + KB, CD = CL + LD, и EB = KE + KB, DH = HD + HC, мы можем выразить AK и CL через соответствующие отрезки:
AB/KE = AK/KE + KB/KE, и CD/LD = CL/LD + HD/LD.
Поскольку AK = KE и CL = LD в силу подобия треугольников, мы имеем:
AB/KE = 1 + KB/KE, и CD/LD = 1 + HD/LD.
Учитывая, что KB = HD и KE = LD (также в силу подобия треугольников), мы можем записать:
AB/KE = 1 + KB/LD, и CD/LD = 1 + HD/LD.
Умножая обе стороны каждого уравнения, получаем:
AB * CD = KE * KE + KB * CD = LD * LD + HD * CD,
Что заканчивает доказательство теоремы об отрезках пересекающихся хорд в окружности.