Bonsoir (Pour la démonstration du cos j'ai eu un + et un - mais pour prouver que c'est positive j'ai essayé d'utiliser la tan car √2-1>0 est ce que c juste) sac

tan(π/8)=√2-1
cos²(π/8)=1/(tan²(π/8)+1)
              =1/((√2-1)²+1)
              =1/(2-2√2+1+1)
              =1/(4-2√2)
              =(4+2√2)/(4²-(2√2)²)
              =(4+2√2)/8
              =(2+√2)/4
0<π/8<π/2 ⇒ cos(π/8)=√((2+√2)/4)=1/2.√(2+√2)