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

РЕШЕНИЕ 

 

ОТВЕТ 

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