9. В треугольнике ATS известно, что AT = 25, TS = 16, AS = 17. Найдите cos ∠ATS.

По теореме косинусов для угла T, противолежащая сторона которого AS:

\(\cos\angle ATS=\frac{AT^2+TS^2-AS^2}{2\cdot AT\cdot TS}=\frac{25^2+16^2-17^2}{2\cdot25\cdot16}=\frac{592}{800}=\frac{37}{50}\).

Ответ: \(\frac{37}{50}\).