cos2x-√2/2=0 aidez moi svp

Cos2x = √2/2
on sait que cos pi /4 = √2/2 

cos 2x = cos pi/4   <=>

2x = pi /4 + 2kpi
ou
2x = - pi/4 + 2kpi                   avec k appartenant à Z

x = pi /4*2 + 2/2 kpi          
ou
x =  - pi /4*2 + 2/2 kpi                      <=>

x= pi /8  + kpi
ou
x = - pi/8 + kpi

les solutions  dans R sont
{ - pi /8  + kpi    ;  pi/8 +kpi }    avec k appartenant à Z