"5차방정식과 근의 공식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
12번째 줄: 12번째 줄:
 
* 이 증명은 학부에서 배우는 표준적인 증명과는 성격이 약간 다르다
 
* 이 증명은 학부에서 배우는 표준적인 증명과는 성격이 약간 다르다
 
* 표준적인 증명은 [[거듭제곱근 체확장(radical extension)]] 과 [[가해군(solvable group)]] 항목을 참조
 
* 표준적인 증명은 [[거듭제곱근 체확장(radical extension)]] 과 [[가해군(solvable group)]] 항목을 참조
−
 
−
 
 
−
 
−
 
 
−
 
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">증명의 개요</h5>
 
−
 
−
*  증명은 크게 세 부분으로 구성<br>
 
−
**  5차 방정식의 해를 거듭제곱근기호를 써서 표현하는 경우, 근의 공식가 갖는 일반적인 형태<br>
 
−
**  거듭제곱근의 기호를 써서 표현할 때 등장하는 수를 방정식의 해의 유리함수로 표현할 수 있다는 사실의 증명<br>
 
−
**  위의 두 사실 사이의 긴장을 이용하여 모순을 이끌어내는 부분<br>
 
  
 
 
 
 
38번째 줄: 27번째 줄:
  
 
* [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]]<br><math>x^3 + px + q = 0</math><br><math>x_1=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>x_2=\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>x_3=\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}} </math><br>
 
* [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]]<br><math>x^3 + px + q = 0</math><br><math>x_1=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>x_2=\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>x_3=\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}} </math><br>
−
 
−
 
 
−
 
−
 
 
−
 
−
 
 
−
 
−
<h5 style="margin: 0px; line-height: 2em;">근의 공식이 갖는 일반적인 형태의 이해</h5>
 
−
 
−
*  위 [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]] 을 다른 형태로 표현해 보자<br><math>A=\sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>, <math>B=\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>A^3=-\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}</math>, <math>1/A^3=\frac{27}{p^3}\cdot (\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}})</math><br><math>AB=\sqrt[3]{-\frac{p^3}{27}}=-\frac{p}{3}</math><br><math>B=-\frac{p}{3A}=-\frac{pA^2}{3A^3}=-\frac{9(\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}})}{p^2}A^2</math><br> 따라서,<br><math>x_1=A+B=A-\frac{9(\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}})}{p^2}A^2</math><br>
 
−
*  거듭제곱근 체확장의 개념을 도입하는 것이 유용하다<br>
 
  
 
 
 
 
58번째 줄: 36번째 줄:
 
<h5 style="margin: 0px; line-height: 2em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">거듭제곱근 체확장</h5>
 
<h5 style="margin: 0px; line-height: 2em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">거듭제곱근 체확장</h5>
  
−
* 체(field)의 기본적인 사항에 대해서는 [[체론(field theory)]] 항목을 참조<br>
+
* [[#]]<br> 체(field)의 기본적인 사항에 대해서는 [[체론(field theory)]] 항목을 참조<br>
 
*  방정식의 계수로부터 만들어지는 기본체 <math>F=R_0</math><br>
 
*  방정식의 계수로부터 만들어지는 기본체 <math>F=R_0</math><br>
 
*  적당한 원소 <math>a_0 \in R_0</math>와 소수 <math>n_0</math>에 대하여, 거듭제곱근 <math>\sqrt[n_0]a</math> 를 추가하여 얻어지는 체확장 <math>R_1=R_0(\sqrt[n_0]a_0)</math><br>
 
*  적당한 원소 <math>a_0 \in R_0</math>와 소수 <math>n_0</math>에 대하여, 거듭제곱근 <math>\sqrt[n_0]a</math> 를 추가하여 얻어지는 체확장 <math>R_1=R_0(\sqrt[n_0]a_0)</math><br>
70번째 줄: 48번째 줄:
 
<h5 style="margin: 0px; line-height: 2em;">5차방정식의 근의 공식에 대한 아벨의 증명</h5>
 
<h5 style="margin: 0px; line-height: 2em;">5차방정식의 근의 공식에 대한 아벨의 증명</h5>
  
−
*  <br>
+
* [[5차방정식의 근의 공식과 아벨의 증명|5차방정식의 근의 공식에 대한 아벨의 증명]]<br>
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
<h5 style="margin: 0px; line-height: 2em;">5차방정식 근의 공식의 불가능성 증명</h5>
 
−
 
 
−
'''정리 0.'''
 
−
 
 
−
소수 p 에 대하여 <math>F</math>의 거듭제곱근 체확장 <math>R=F(\sqrt[p]a)</math> 이 있다고 하자. 
 
−
 
 
−
원소 <math>v\in R-F</math> 에 대하여, 다음이 성립한다.
 
−
 
 
−
(1) <math>\rho, v_0,v_1=1, v_2,v_3, \cdots, v_{p-1} \in F</math>이 존재하여, 
 
−
 
 
−
(2) <math>v=v_0+{\sqrt[p]\rho}+v_2{\sqrt[p]\rho^2}+v_3{\sqrt[p]\rho^3}++\cdots+v_{p-1}{\sqrt[p]\rho^{p-1}}</math> 형태로 표현가능하다.
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
<math>u_0,u_1, u_2,u_3, \cdots, u_{p-1} \in F</math>가 존재하여 <math>v=u_0+u_1{\sqrt[p]a}+u_2{\sqrt[p]a^2}+u_3{\sqrt[p]a^3}++\cdots+u_{p-1}{\sqrt[p]a^{p-1}}</math>로 쓸 수 있다. 
 
−
 
 
−
<math>u_i\sqrt[p]a^i\neq 0 </math> 인 i가 적어도 하나 존재한다. <math>\sqrt[p]\rho=u_i\sqrt[p]a^i</math>, 즉 <math>\rho=u_i^p a^i</math> 로 두면 된다.  ■
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
'''정리 1.'''
 
−
 
 
−
소수 p 에 대하여 <math>F</math>의 거듭제곱근 체확장 <math>R=F(\sqrt[p]a)</math> 이 있다고 하자. 
 
−
 
 
−
원소 <math>v\in R-F</math> 가 F의 계수를 가지는 방정식의 해라고 하고, '''정리 0'''에 따라 <math>v=v_0+{\sqrt[p]\rho}+v_2{\sqrt[p]\rho^2}+v_3{\sqrt[p]\rho^3}++\cdots+v_{p-1}{\sqrt[p]\rho^{p-1}}</math>로 꼴로 쓸 수 있다. 
 
−
 
 
−
그러면, 이 방정식의 p개의 해 <math>v=\alpha_1, \alpha_2,\alpha_3, \cdots, \alpha_{p} </math>는 모두 R의 원소이며, <math>\rho, v_0,v_1=1, v_2,v_3, \cdots, v_{p-1} \in F</math> 는 모두 <math>\alpha_1, \alpha_2,\alpha_3, \cdots, \alpha_{p} </math>의 유리함수 표현으로 쓸 수 있다. 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
생략. ■
 
−
 
 
−
 
 
−
 
 
−
예)
 
−
 
 
−
 <math>\alpha_1=v_0+u+v_2u^2</math>
 
−
 
 
−
 <math>\alpha_2=v_0+\zeta u+v_2\zeta^2u^2</math>
 
−
 
 
−
 <math>\alpha_3=v_0+\zeta^2 u+v_2\zeta u^2</math>
 
−
 
 
−
 
 
−
 
 
−
<math>v_0=\frac{1}{3}(\alpha_1+\zeta^2\alpha_2+\zeta \alpha_3)</math>
 
−
 
 
−
<math>u=\frac{1}{3}(\alpha_1+\zeta^2\alpha_2+\zeta \alpha_3)</math>
 
−
 
 
−
 
 
−
 
 
−
이제 5차방정식 <math>x^5 - s_{1} x^{4} + s_{2} x^{3} -s_{3}x^{2}+s_{4} x - s_5= 0</math>의 해를 <math>x_1,x_2,\cdots,x_5</math> 라 하자.  복소수체에 방정식의 계수들을 넣어 만들어진 체 <math>F=\mathbb{C}(s_1,s_2,\cdots,s_5)</math>를 정의하자. 
 
−
 
 
−
 
 
−
 
 
−
'''정리 2. '''
 
−
 
 
−
이 5차방정식의 한 해 v를 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 있다고 가정하자. 그러면 다음이 성립한다. 
 
−
 
 
−
(1) <math>F=\mathbb{C}(s_1,s_2,\cdots,s_5)</math>의 적당한 거듭제곱근 체확장 <math>R</math>과 적당한 소수 p, 원소 <math>\rho, v_0,v_1=1, v_2,v_3, \cdots, v_{p-1} \in F</math>이 존재하여,
 
−
 
 
−
(2)  <math>v=v_0+{\sqrt[p]\rho}+v_2{\sqrt[p]\rho^2}+v_3{\sqrt[p]\rho^3}++\cdots+v_{p-1}{\sqrt[p]\rho^{p-1}}</math> 형태로 표현가능하다.
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
'''정리 0'''을 반복해서 사용. ■
 
−
 
 
−
 
 
−
 
 
−
<br> 예)
 
−
 
 
−
* [[2차 방정식의 근의 공식]]<br>[[2차 방정식의 근의 공식|]]<br><math>ax^2+bx+c=0</math><br><math>x_1=\frac{-b+ \sqrt{b^2-4ac}}{2a}</math>,  <math>x_2=\frac{-b+ \sqrt{b^2-4ac}}{2a}</math><br>  <br>
 
−
* [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]]<br><math>x^3 + px + q = 0</math><br><math>x_1=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>x_2=\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}</math><br><math>x_3=\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}} </math><br>
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
'''정리 3.''' (theorem of natural irrationalities)
 
−
 
 
−
<math>v_0,v_2,v_3,\cdots, v_{p-1},\rho</math> 는 방정식의 해 <math>x_1,x_2,\cdots,x_5</math> 의 유리함수로 표현할 수 있다.
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
예)
 
−
 
 
−
* [[2차 방정식의 근의 공식]]<br>[[2차 방정식의 근의 공식|]]<br><math>ax^2+bx+c=0</math> 의 해를 <math>x_1,x_2</math>라 하면, <math>\sqrt{b^2-4ac}=x_1-x_2</math> 이다. <br>
 
−
* [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]]<br>
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
체확장의 높이에 따른 귀납법을 사용하자. 
 
−
 
 
−
높이가 1이면, '''정리0'''에 의하여, 적당한 소수 l에 대하여 <math>R=F(\sqrt[l]a)</math>의 형태로 쓸 수 있다. 정리 1을 적용하면, a는 <math>x_1,x_2,\cdots,x_5</math>의 유리함수로 표현가능하며, 따라서 모든  <math>R=F(\sqrt[l]a)</math>의 원소를 <math>x_1,x_2,\cdots,x_5</math>의 유리함수로 표현할 수 있다. <math>v_0,v_2,v_3,\cdots, v_{p-1},\rho</math>는 모두 R의 원소이므로, 마찬가지로  <math>x_1,x_2,\cdots,x_5</math>의 유리함수로 쓸 수 있다. 
 
−
 
 
−
이제 체확장의 높이가 2이상이면 , <math>F</math>의 거듭제곱근 체확장 <math>R_1</math> 이 존재하여, 적당한 소수 l에 대하여 <math>R=R_1(\sqrt[l]u)</math> 의 형태로 쓸 수 있다. 
 
−
 
 
−
귀납법의 가정에 의하여, 체확장 <math>R_1</math>의 모든 원소들은 방정식의 해 <math>x_1,x_2,\cdots,x_5</math> 의 유리함수로 표현가능하다. 
 
−
 
 
−
이제  <math>R=R_1(\sqrt[l]u)</math>에 '''정리 1'''을 적용하면,  u는 <math>x_1,x_2,\cdots,x_5</math>의 유리함수로 표현가능하며 따라서 R의 모든 원소는  <math>x_1,x_2,\cdots,x_5</math> 의 유리함수로 쓸 수 있다. ■
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
'''정리 4.'''
 
−
 
 
−
<math>n\geq 5</math> 라 하자. 체 <math>\mathbb{C}(x_1,x_2\cdots,x_n)</math>의 원소 <math>u,a</math>가 <math>u^p= a</math> 를 만족시킨다고 하자. a가 <math>\sigma=(123)</math>, <math>\tau=(345)</math>에 의해 불변이면. u도 역시  <math>\sigma=(123)</math>, <math>\tau=(345)</math>에 의해 불변이다.
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
<math>\chi</math> 를 u에 의해 정의되는 character 라 하자.
 
−
 
 
−
<math>\sigma(u)=\chi(\sigma)u</math>
 
−
 
 
−
<math>\tau(u)=\chi(\tau)u</math>
 
−
 
 
−
 
 
−
 
 
−
<math>\tau\sigma=(12453)</math>
 
−
 
 
−
<math>\tau\sigma^2=(14532)</math>
 
−
 
 
−
이므로 <math>\chi(\sigma)=1</math>, <math>\chi(\tau)=1</math>이다.  ■
 
−
 
 
−
 
 
−
 
 
−
노트. 여기가 <math>n\geq 5</math> 조건이 필요한 부분이다.
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
'''정리 5.'''
 
−
 
 
−
<math>F=\mathbb{C}(s_1,s_2,\cdots,s_5) \subset R \subset K=\mathbb{C}(x_1,x_2\cdots,x_5)</math> 인  F의 거듭제곱근 체확장 <math>R</math>은 <math>\sigma=(123)</math>, <math>\tau=(345)</math>에 의해 불변이다. 
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
체확장의 높이에 따른 귀납법을 사용하자. 
 
−
 
 
−
높이가 1이면, 정리0에 의하여,  <math>R=F(\sqrt[p]a)</math>의 형태로 쓸 수 있다. 여기에 정리 3을 적용하면, 체확장 <math>R</math>은 <math>\sigma=(123)</math>, <math>\tau=(345)</math>에 의해 불변임을 알 수 있다.
 
−
 
 
−
이제 체확장의 높이가 2이상이면 , <math>F</math>의 거듭제곱근 체확장 <math>R_1</math> 이 존재하여, 적당한 소수 p 에 대하여  <math>R=R_1(\sqrt[p]u)</math> 의 형태로 쓸 수 있다. 귀납법의 가정에 의하여, 체확장 <math>R_1</math>은 <math>\sigma=(123)</math>, <math>\tau=(345)</math>에 의해 불변이다.  <math>R=R_1(\sqrt[p]u)</math>에 '''정리 4'''을 적용하면, 체확장 <math>R</math>은 <math>\sigma=(123)</math>, <math>\tau=(345)</math>에 의해 불변이다. ■
 
−
 
 
−
 
 
−
 
 
−
'''정리 6.''' (5차방정식의 근의 공식의 불가능성)
 
−
 
 
−
 
 
−
 
 
−
(증명)
 
−
 
 
−
일반적인 5차방정식 <math>x^5 - s_{1} x^{4} + s_{2} x^{3} -s_{3}x^{2}+s_{4} x - s_5= 0</math>의 근의 공식이 존재한다고 하고, 다섯 해를 <math>x_1,x_2,\cdots,x_5</math> 라 하자.
 
−
 
 
−
'''정리 2'''에 의하여, <math>F=\mathbb{C}(s_1,s_2,\cdots,s_5)</math>의 적당한 거듭제곱근 체확장 <math>R</math>과  원소 <math>v_0,v_2,v_3,\cdots, v_{p-1},\rho</math>이 존재하여,  <math>x_1=v_0+{\sqrt[p]\rho}+v_2{\sqrt[p]\rho^2}+v_3{\sqrt[p]\rho^3}++\cdots+v_{p-1}{\sqrt[p]\rho^{p-1}}</math> 의 꼴로 쓸 수 있다.
 
−
 
 
−
'''정리 3'''에 의하여, <math>F=\mathbb{C}(s_1,s_2,\cdots,s_5) \subset R \subset K=\mathbb{C}(x_1,x_2\cdots,x_5)</math> 를 가정할 수 있다. 
 
−
 
 
−
'''정리 5'''에 의하여, 거듭제곱근 체확장 <math>R</math>과  원소 <math>v_0,v_2,v_3,v_4,\rho \in R</math> 는 모두 <math>\sigma,\tau</math>에 의해 불변이다. 정리 5를 한번 더 적용하면, <math>\sqrt[p]\rho</math> 도 역시  <math>\sigma,\tau</math>에 의하여 불변이다.
 
−
 
 
−
따라서  <math>x_1=v_0+{\sqrt[p]\rho}+v_2{\sqrt[p]\rho^2}+v_3{\sqrt[p]\rho^3}++\cdots+v_{p-1}{\sqrt[p]\rho^{p-1}}</math> 의 우변은 <math>\sigma</math>에 의하여 불변이다. 그러나 <math>x_1</math>은  <math>\sigma</math>에 의하여 불변일 수 없으므로 모순이다.  ■
 
  
 
 
 
 
266번째 줄: 54번째 줄:
 
 
 
 
  
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">맴돌이(monodromy)</h5>
+
<h5 style="margin: 0px; line-height: 2em;">5차방정식의 근의 공식과 갈루아 이론</h5>
  
−
*  <math>3w^5-25w^3+60w-z=0</math>.<br>
+
* [[5차방정식의 근의 공식과 갈루아 이론]]<br>
−
* <math>z=\pm 38</math> and <math>z=\pm 16</math> 에서 w는 중근을 가진다<br>
 
−
*  리만곡면의 branch point<br>
 
  
 
 
 
 

2010년 2월 18일 (목) 15:45 판

이 항목의 스프링노트 원문주소

 

 

개요

 

 

 

방정식의 근의 공식

\(x_1=\frac{-b+ \sqrt{b^2-4ac}}{2a}\),  \(x_2=\frac{-b+ \sqrt{b^2-4ac}}{2a}\)

  • 3차, 4차 방정식의 근의 공식
    \(x^3 + px + q = 0\)
    \(x_1=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}\)
    \(x_2=\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}\)
    \(x_3=\left( -\tfrac{1}{2}-\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}}+\left( -\tfrac{1}{2}+\tfrac{\sqrt{3}}{2}i \right)\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^{2}}{4}+\frac{p^{3}}{27}}} \)

 

 

 

거듭제곱근 체확장
  • #
    체(field)의 기본적인 사항에 대해서는 체론(field theory) 항목을 참조
  • 방정식의 계수로부터 만들어지는 기본체 \(F=R_0\)
  • 적당한 원소 \(a_0 \in R_0\)와 소수 \(n_0\)에 대하여, 거듭제곱근 \(\sqrt[n_0]a\) 를 추가하여 얻어지는 체확장 \(R_1=R_0(\sqrt[n_0]a_0)\)
  • 적당한 원소 \(a_1\in R_1\)와 소수 \(n_1\)에 대하여, 거듭제곱근 \(\sqrt[n_1]a_1\) 를 추가하여 얻어지는 체확장 \(R_2=R_1(\sqrt[n_1]a_1)\)
  • 이러한 체확장을 유한번 반복하여 얻어지는 \(F=R_0\)의 체확장 \(R\) 을 거듭제곱근 체확장이라 하며, 이 반복의 회수를 체확장의 높이라 하자.

 

 

5차방정식의 근의 공식에 대한 아벨의 증명

 

 

5차방정식의 근의 공식과 갈루아 이론

 

 

학부대수학의 표준적인 증명
  • \(f(x)=2x^5-5x^4+5\)는 유리수체 위에 정의된 기약다항식
  • 두개의 복소수해와 3세의 실수해를 가짐
  • 갈루아군은 \(S_5\)은 가해군이 아니므로, splitting field는 거듭제곱근 체확장이 아니다.

 

 

 

일반적인 n차 방정식

일반적인 방정식

\(x^n - s_{1} x^{n-1} + s_{2} x^{n-2} + \cdots + (-1)^{n-1}s_{n-1} x +(-1)^n s_n= 0\)

 

\(K=\mathbb{C}(x_1,\cdots,x_n)\)

\(F=\mathbb{C}(s_1,\cdots,s_n)\)

 

 

 

역사

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

링크

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=5차방정식과_근의_공식&oldid=1385"