（その８）をやり直したい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　ｓｉｎｘ＝３２ｓｉｎｘ／６ｃｏｓ^5ｘ／６−３２ｓｉｎｘ／６ｃｏｓ^3ｘ／６＋６ｓｉｎｘ／６ｃｏｓｘ／６

＝ｓｉｎｘ／６ｃｏｓｘ／６（３２ｃｏｓ^4ｘ／６−３２ｃｏｓ^2ｘ／６＋６）

ｓｉｎｘ／６＝ｓｉｎｘ／６^2ｃｏｓｘ／６^2（３２ｃｏｓ^4ｘ／６^2−３２ｃｏｓ^2ｘ／６^2＋６）

　したがって，

ｓｉｎｘ＝

＝ｓｉｎｘ／６^2・ｃｏｓｘ／６・ｃｏｓｘ／６^2・（３２ｃｏｓ^4ｘ／６−３２ｃｏｓ^2ｘ／６＋６）（３２ｃｏｓ^4ｘ／６^2−３２ｃｏｓ^2ｘ／６^2＋６）

＝・・・・・

＝ｓｉｎｘ／６^kΠｃｏｓｘ／６^k・Π（３２ｃｏｓ^4ｘ／６^2−３２ｃｏｓ^2ｘ／６^2＋６）

＝６^kｓｉｎｘ／６^kΠｃｏｓｘ／６^k・Π（３２ｃｏｓ^4ｘ／６^2−３２ｃｏｓ^2ｘ／６^2＋６）／６

　　（３２ｃｏｓ^4ｘ／６^2−３２ｃｏｓ^2ｘ／６^2＋６）

＝（√３２ｃｏｓ^2ｘ／６^2−√６）^2−（３２−８√３）ｃｏｓ^2ｘ／６^2

とすると因数分解は可能である．

　ｋ→∞のとき，ｌｉｍｓｉｎｘ／６^k／（ｘ／６^k）

＝１／ｘ・ｌｉｍ６^kｓｉｎｘ／６^k＝１

　　ｌｉｍ６^kｓｉｎｘ／６^k＝ｘ

　以上より，

　　ｓｉｎｘ／ｘ＝Πｃｏｓ^2ｘ／６^k・（√３２ｃｏｓ^2ｘ／６^2＋√（３２−８√３）−√６）／６

が示される．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝