On admet que pour tout réel a, on a :
cos(2a)=cos²(a)-sin² (a)
1. Montrer que, pour tout réel a, on a :
cos² (a)=[1+cos(2a)]/2

2. Utiliser cette relation pour déterminer les valeurs
exactes de cos(pi/8) et sin(pi/8)