57 Найдите все значения параметра k, при каждом из которых уравнение  `/`(`*`(`+`(1, `*`(`+`(2, `-`(`*`(2, `*`(k)))), `*`(sin, `*`(t))))), `*`(`+`(`*`(cos, `*`(t)), `-`(`*`(sin, `*`(t)))))) = `+`(`*`(2, `*`(k)))  имеет хотя бы одно решение на интервале (0;π/2). 

РЕШЕНИЕ 

 

 

ОТВЕТ 

`and`(`<`(`/`(1, 2), k), `and`(`<`(k, `*`(`*`(`+`(2, sqrt(2)), `/`(1, 2)), `*`(8;8, `*`(k)))), `>`(`*`(`*`(`+`(2, sqrt(2)), `/`(1, 2)), `*`(8;8, `*`(k))), `*`(`+`(2, sqrt(2)), `/`(1, 2)))))