Initialisation : pour n=1 on a u(1) = 2cos[pi/(4)] = 2*sqrt(2)/2 = sqrt(2). OK.
Hérédité : supposons qu'il existe un rang p tel que 2cos[pi/(2^(p+1))] = sqrt[2+sqrt(2+sqrt(2+...+sqrt(2)] (p radicaux/sqrt)
Montrons qu'alors 2cos[pi/(2^(p+2))] = sqrt[2+sqrt(2+sqrt(2+...+sqrt(2)] (p+1 radicaux/sqrt)
On remarque que pi/(2^(p+1)) = 2*pi/(2^(p+2))
Et on a cos(2x)=2cos²(x)-1
Ainsi cos(pi/2^(p+1))=2cos²(pi/(2^(p+2))-1
2cos²(pi/(2^(p+2))=cos(pi/2^(p+1))+1
4cos²(pi/(2^(p+2))=2cos(pi/2^(p+1))+2
4cos²(pi/(2^(p+2))=2+sqrt[2+sqrt(2+sqrt(2+...+sqrt(2)] (p radicaux/sqrt)
2cos(pi/(2^(p+2))=sqrt[2+sqrt(2+...+sqrt(2)] (p+1 radicaux/sqrt)
c'est exactement ce que l'on voulait trouver donc conclusion blablabla