CA┴AB.
Из А проведем прямую OA ┴ АВ, ∟CAO=φ. Отложим АС=АО; построим отрезок СО, из точки О проведем луч, пересекающий луч AD в точке D, OD || АВ.
OD || АВ, а ОА ┴ АВ, значит, OD ┴ ОА. По теореме о трех перпендикулярах. CO┴OD.
Обозначим AD=a. Тогда в ∆AOD: АО=а sin θ, OD=a cos θ.
Из ∆ОАС по теореме косинусов: CO2= OA2+AC2-2∙AC∙AO*cos φ, СО2=a2 sin2φ+a2 sin2 θ - 2a2 sin2 θ cos φ=2a2 sin2 θ (1 - cos φ).
В прямоугольном ∆COD CD2=OC2+OD2;
CD2=2 a2 sin2 θ (1- cos φ)+a2 cos2 θ.
В ∆CAD по теореме косинусов искомый ∟CAD=x, CD2=CA2+AD2 - 2 CA · AD ∙ cos x.
2a2 sin2 θ (1 - cos φ)+a2 cos2 θ = a2 sin2 θ+a2 -2 a2 sin θ cos x,
2 sin2 θ - 2 sin2 θ cos φ+cos2 θ=sin2 θ+ 1- 2 sin θ cos x, 1-2 sin2 θ cos φ -1=-2 sin θ cos x,
2 sin2 θ cos φ=2 sin θ cos x, sin θ ≠0, следовательно, sin θ cos φ=cos x.