公式だけで１０００を目指すｽﾚ

2^n半角公式　範囲[0,π/2]　√がn個続く
sin(x/2^n)=√(2-√(2+……+√(2+2 cos(x) )…))/2 =(e^(ix/2^n)-e^(-ix/2^n))/2i
cos(x/2^n)=√(2+√(2+……+√(2+2 cos(x) )…))/2 =(e^(ix/2^n)+e^(-ix/2^n))/2
n=5でπの近似値を求めると　　2^5*√(2-√(2+√(2+√(2+√(2)))))= 3.1403311…