s² - r² - 12s + 36 = (s² - 12s + 36) - r² = (s - 6)² - r² = (s - 6 - r)(s - 6 + r)
Складываешь по формуле суммы косинусов
2cos(20+25) = 2cos45
cos45 = корень из 2