Для решения данной задачи будем использовать теорему косинусов в треугольнике BCD.
Известно, что угол BOC = 90 градусов. Рассмотрим треугольник BCD. Пусть угол BCD = x (тогда угол CBD = 90 - x). Теперь воспользуемся теоремой косинусов:
В треугольнике BCD:
[ \cos(x) = \frac{BC^2 + CD^2 - BD^2}{2 \cdot BC \cdot CD} ]
Учитывая, что угол BOC = 90 градусов, из прямоугольного треугольника BOC по теореме Пифагора:
[ BC^2 = BO^2 + CO^2 ]
Так как BC = BO + CD, то это можно переписать как:
[ (BO + CD)^2 = BO^2 + CO^2 ]
[ BO^2 + 2 \cdot BO \cdot CD + CD^2 = BO^2 + CO^2 ]
[ 2 \cdot BO \cdot CD + CD^2 = CO^2 ]
[ BC \cdot CD = CO^2 ]
Теперь подставим BC \cdot CD в формулу косинусов:
[ \cos(x) = \frac{CO^2 + CD^2 - BD^2}{2 \cdot CO \cdot CD} ]
Так как угол BCD = x, то угол BDA = 180 - x. В треугольнике BDA:
[ \cos(180 - x) = -\cos(x) ]
Значит, аналогично:
[ -\cos(x) = \frac{DA^2 + CD^2 - BD^2}{2 \cdot DA \cdot CD} ]
Далее, подставляем полученное выражение для косинуса угла в формулу:
[ \frac{DA^2 + CD^2 - BD^2}{2 \cdot DA \cdot CD} = \frac{CO^2 + CD^2 - BD^2}{2 \cdot CO \cdot CD} ]
Упростив это уравнение, выразим DA:
[ DA^2 + CD^2 - BD^2 = \frac{CO^2 + CD^2 - BD^2}{CO} \cdot DA ]
[ DA^2 - \frac{CO^2}{CO} \cdot DA = \frac{CD^2 - BD^2 - CD^2 + BD^2}{CO} ]
Итак, мы нашли выражение для DA, используя теорему косинусов в сочетании с теоремой Пифагора и свойствами косинуса угла.
