Вертикальные углы находятся друг напротив друга, а рядом лежащие углы являются смежными, так как у них одна сторона общая, а не общие стороны лежат на одной прямой.
Равенство вертикальных углов является следствием определения смежных углов. Смежные углы по определению в сумме составляют 180°.
Возьмем любой угол, образованный двумя пересекающимися прямыми, обозначим его как ∠1 и примем его величину как a.
Тогда смежный ∠2 с ним будет равен 180° – a. Но у этого ∠2 с другой стороны есть другой смежный угол – ∠3. Его величина будет равна 180° минус величина ∠2. Но ∠2 у нас равен 180° – a, поэтому:
∠3 = 180° – ∠2 = 180° – (180° – a) = 180° – 180° + a = a
То есть ∠1 и ∠3 равны.
Можно продолжить и доказать, что ∠4 равен ∠2. Если ∠3 равен a, то ∠4, как смежный с ним, равен 180° – a.
На рисунке ниже доказательство выглядит несколько по-другому. ∠2 смежный и с ∠1, и с ∠3. Поскольку его величина постоянна, а сумма смежных углов равна 180°, то чтобы получить величину ∠2, надо из 180 вычитать одно и то же число, значит ∠1 = ∠3.

Шесты АВ и ДС как основания образуют прямоугольную трапецию АВСД, а пересечение канатов ВД и СА есть не что иное, как пересечение диагоналей прямоугольной трапеции.
Как известно, отрезок, параллельный основаниям и проходящий через пересечение диагоналей прямоугольной трапеции делится точкой пересечения пополам, и если АВ=х, ДС=у, то длина его равна 2·х·у/(х + у).
Исходя из этого: ОК=2·х·у/(х + у)÷2=х·у/(х + у)
1) ОК=(х·у)÷(х + у)
Как видно, длина ОК никаким образом не зависит от расстояний между шестами, а лишь от их высоты.
2) Если AB=х=2 м, а DC=у=8 м, то ОК=(2·8)÷(2+8)=1,6 м
ответ: длина шеста ОК=1,6 м