過去ログ

ゴンとも

#40974

半角の公式で
cos(45/2度)^2=(1+cos(45度))/2=factor((1+sqrt(2)/2)/2)=(sqrt(2)+1)/2^(3/4)=(2+sqrt(2))/4
cos(45/2)=sqrt(2+sqrt(2))/2 で全く同じ!

　　 10月3日（木） 17:15:28　　　　40976