>>254
sin（２ｘ）＝２sinｘcosｘ　より　sinｘ＝２sin（ｘ／２）cos（ｘ／２）
なので　sinｘ＝２cos（ｘ／２）√｛（１−（cos（ｘ／２））^2｝
sin（ｘ／２）≧０の場合はこのようになると思います。
あとはcos（ｘ／４），cos（ｘ／８）についても同様に考えていけば良いの
でしょうか？