Решить уравнение: Cos(17 - 2x) = √2/2

$cos(17-2x)= \frac{ \sqrt{2} }{2} \\ 17-2x=+- \frac{ \pi }{4} +2 \pi \pi n\\\\17-2x= \frac{ \pi }{4} +2 \pi n\\-2x= \frac{ \pi }{4} +2 \pi n-17 \\ 2x=- \frac{ \pi }{4} -2 \pi n+17\\x=- \frac{ \pi }{8} - \pi n+8.5\\\\ 17-2x= -\frac{ \pi }{4} +2 \pi n\\-2x= -\frac{ \pi }{4} +2 \pi n-17 \\ 2x=\frac{ \pi }{4} -2 \pi n+17\\x= \frac{ \pi }{8} - \pi n+8.5$
n ∈ Z