Введём замену: Тогда интеграл примет табличный вид: Продифференцируем: Упростим и воспользуемся основным тригонометрическим тождеством: Получили выражение, которое было под интегралом, значит, всё верно