"원분다항식의 해법"의 두 판 사이의 차이

2012년 7월 13일 (금) 10:12 판

http://books.google.com/books?id=0bH6SUHSvloC&pg=PA24%20#%20v=onepage&q&f=false 참조
다음의 원분다항식(cyclotomic polynomial) 을 생각하자.
\(x^{11}-1=(x-1) \left(x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1\right)\)
\(x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=0\) 의 해 \(\alpha\)를 근호를 사용하여 표현하는 문제
\(\beta\) 는 \(\beta^{10}=1\) 를 만족시키는 primitive root of unity, 즉 \(\beta ^4-\beta ^3+\beta ^2-\beta +1=0\) 이라 두자.
다음과 같은 라그랑지 resolvents 를 사용하자
\(t_i=\alpha +\alpha ^2 \beta ^i+\alpha ^4 \beta ^{2 i}+\alpha ^8 \beta ^{3 i}+\alpha ^5 \beta ^{4 i}+\alpha ^{10} \beta ^{5 i}+\alpha ^9 \beta ^{6 i}+\alpha ^7 \beta ^{7 i}+\alpha ^3 \beta ^{8 i}+\alpha ^6 \beta ^{9 i}\)
여기서 \(i=1,2,\cdots, 10\)
\(t_{i}t_{1}^{10-i}\)는 \(\beta\) 만을 사용하여 표현할 수 있다
예를 들어

@@ 20번째 줄: / 20번째 줄: @@
 * <math>x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=0</math> 의 해 <math>\alpha</math>를 근호를 사용하여 표현하는 문제
 * <math>\beta</math> 는 <math>\beta^{10}=1</math> 를 만족시키는 primitive root of unity, 즉 <math>\beta ^4-\beta ^3+\beta ^2-\beta +1=0</math> 이라 두자.
-*  다음과 같은 [[라그랑지 resolvent|라그랑지 resolvents]] 를 사용하자<br><math>t=\alpha +\alpha ^2 \beta +\alpha ^4 \beta ^2+\alpha ^8 \beta ^3+\alpha ^5 \beta ^4+\alpha ^{10} \beta ^5+\alpha ^9 \beta ^6+\alpha ^7 \beta ^7+\alpha ^3 \beta ^8+\alpha ^6 \beta ^9</math><br><math>t_i=\alpha +\alpha ^2 \beta ^i+\alpha ^4 \beta ^{2 i}+\alpha ^8 \beta ^{3 i}+\alpha ^5 \beta ^{4 i}+\alpha ^{10} \beta ^{5 i}+\alpha ^9 \beta ^{6 i}+\alpha ^7 \beta ^{7 i}+\alpha ^3 \beta ^{8 i}+\alpha ^6 \beta ^{9 i}</math><br>
+*  다음과 같은 [[라그랑지 resolvent|라그랑지 resolvents]] 를 사용하자<br><math>t_i=\alpha +\alpha ^2 \beta ^i+\alpha ^4 \beta ^{2 i}+\alpha ^8 \beta ^{3 i}+\alpha ^5 \beta ^{4 i}+\alpha ^{10} \beta ^{5 i}+\alpha ^9 \beta ^{6 i}+\alpha ^7 \beta ^{7 i}+\alpha ^3 \beta ^{8 i}+\alpha ^6 \beta ^{9 i}</math><br> 여기서 <math>i=1,2,\cdots, 10</math><br>
-* <math>t_{1}^{10}</math> 과
+* <math>t_{i}t_{1}^{10-i}</math>는 <math>\beta</math> 만을 사용하여 표현할 수 있다
+* 예를 들어