>>272
cos(x)>0ならば、cos(x)=√{(cos(2*x)+1)/2}