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

수학노트
둘러보기로 가기 검색하러 가기
18번째 줄: 18번째 줄:
 
*  radicals to express the quintic formula can be expressed in terms of roots<br>
 
*  radicals to express the quintic formula can be expressed in terms of roots<br>
 
*  the behavior of radicals under permutations<br>
 
*  the behavior of radicals under permutations<br>
−
 
−
 
 
  
 
 
 
 
27번째 줄: 25번째 줄:
 
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">오차방정식</h5>
 
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">오차방정식</h5>
  
−
* <math>x^5 - s_{1} x^{4} + s_{2} x^{3} -s_{3}x^{2}+s_{4} x - s_5= 0</math><br>
+
* 방정식 <math>x^5 - s_{1} x^{4} + s_{2} x^{3} -s_{3}x^{2}+s_{4} x - s_5= 0</math>이 주어졌다고 가정하자.
−
 
 
−
 
 
−
 
 
−
 
 
  
 
* <math>K=\mathbb{C}(x_1,x_2\cdots,x_5)</math><br>
 
* <math>K=\mathbb{C}(x_1,x_2\cdots,x_5)</math><br>
42번째 줄: 36번째 줄:
 
이 방정식의 한 해 v를 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 있다고 가정하자. 그러면 다음이 성립한다. 
 
이 방정식의 한 해 v를 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 있다고 가정하자. 그러면 다음이 성립한다. 
  
−
(1) <math>F=\mathbb{C}(s_1,s_2,\cdots,s_5)</math>의 적당한 radical 확장 <math>R</math>이 존재하며
+
(1) <math>F=\mathbb{C}(s_1,s_2,\cdots,s_5)</math>의 적당한 radical 확장 <math>R</math>이 존재하여, 
−
 
 
−
(2) v는 다음과 같은 형태로 표현가능하다.
 
−
 
 
−
<math>v=v_0+u+v_2u^2+v_3u^3+v_4u^4</math>
 
  
−
여기서 <math>v_0,v_2,v_3,v_4,u^5 \in R</math>
+
(2) <math>v_0,v_2,v_3,v_4,\rho \in R</math>에 대하여 <math>v=v_0+u+v_2u^2+v_3u^3+v_4u^4</math> 형태로 표현가능하다.
  
 
 
 
 
56번째 줄: 46번째 줄:
 
예)
 
예)
  
−
* [[2차 방정식의 근의 공식]]<br>[[2차 방정식의 근의 공식|]]<br><math>ax^2+bx+c=0</math><br><math>x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}</math><br>
+
* [[2차 방정식의 근의 공식]]<br>[[2차 방정식의 근의 공식|]]<br><math>ax^2+bx+c=0</math><br><math>x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}</math><br>  <br>
  
 
* [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]]<br>
 
* [[3차 방정식의 근의 공식|3차, 4차 방정식의 근의 공식]]<br>
65번째 줄: 55번째 줄:
  
 
정리 2.
 
정리 2.
 +
 +
<math>v_0,v_2,v_3,v_4,u^5 \in R</math> 는 
  
 
 
 
 

2010년 1월 31일 (일) 19:27 판

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

 

 

개요

 

 

증명의 개요
  • We start from the field of symmetric functions.
  • Essentially, we are studying the radical extension of that base field.
  • The proof is consisted of two steps.
  • radicals to express the quintic formula can be expressed in terms of roots
  • the behavior of radicals under permutations

 

 

오차방정식
  • 방정식 \(x^5 - s_{1} x^{4} + s_{2} x^{3} -s_{3}x^{2}+s_{4} x - s_5= 0\)이 주어졌다고 가정하자.
  • \(K=\mathbb{C}(x_1,x_2\cdots,x_5)\)
  • \(F=\mathbb{C}(s_1,s_2,\cdots,s_5)\)

 

정리 1. 

이 방정식의 한 해 v를 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 있다고 가정하자. 그러면 다음이 성립한다. 

(1) \(F=\mathbb{C}(s_1,s_2,\cdots,s_5)\)의 적당한 radical 확장 \(R\)이 존재하여, 

(2) \(v_0,v_2,v_3,v_4,\rho \in R\)에 대하여 \(v=v_0+u+v_2u^2+v_3u^3+v_4u^4\) 형태로 표현가능하다.

 

 

예)

 

 

정리 2.

\(v_0,v_2,v_3,v_4,u^5 \in R\) 는 

 

 

 

 

 

solvable in radicals

 

 

 

Monodromy proof

Consider \(3w^5-25w^3+60w-z=0\).

For \(z=\pm 38\) and \(z=\pm 16\), the above equation has four distinct roots.

These are the branch points and determines the Riemann surfaces.

Then the monodromy group is acting as a permutation of sheets and not solvable.

(This is a little different from the Galois group.)

We can apply this monodromy idea to the computation of Galois groups of number fields.

 

 

regular proof

\(f(x)=2x^5-5x^4+5\) is the irreducible polynomial of degree 5 over the rationals.

It has two complex and 3 real roots.

This implies the Galois group is \(S_5\).

 

 

일반적인 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=1338"