5차방정식과 정이십면체

수학노트
Pythagoras0 (토론 | 기여)님의 2012년 12월 22일 (토) 14:05 판
둘러보기로 가기 검색하러 가기

개요



정이십면체 뫼비우스 변환군의 불변량

  • 정이십면체 뫼비우스 변환군
  • vertex points
    • \(V=F_ 1=z_ 1z_ 2(z_ 1^{10}+11z_ 1^5z_ 2^5-z_ 2^{10})\)
  • face points
    • \(F=F_ 2=-(z_ 1^{20}+z_ 2^{20})+228(z_ 1^{15}z_ 2^{5}-z_ 1^{5}z_ 2^{15})-494z_ 1^{10}z_ 2^{10}\)
  • edge points
    • \(E=F_ 3=(z_ 1^{30}+z_ 2^{30})+522(z_ 1^{25}z_ 2^{5}-z_ 1^{5}z_ 2^{25})-10005(z_ 1^{20}z_ 2^{10}+z_ 1^{10}z_ 2^{20})\)
  • syzygy relation
    \(1728F_ 1^5-F_ 2^3-F_ 3^2=0\) 또는 \(1728V^5-E^2-F^3=0\)



Tschirnhaus transformation

  • Tschirnhaus transformation 을 이용하여 일반적인 5차방정식 \(x^5+Ax^4+Bx^3+Cx^2+Dx+E=0\) 을 principal quintic 즉, \(z^5+5az^2+5bz+c=0\) 형태로 바꿀 수 있다



정이십면체 방정식과 초기하급수 해

  • 정이십면체 방정식(icosahedral equation)
    \(w=\frac{V (z)^{5}}{E (z)^{2}}=\frac{z^{5}(z^{10}+11z^5-1)^{5}}{((z^{30}+1)+522(z^{25}-z^{5})-10005(z^{20}+z^{10}))^{2}}\)
    다시 쓰면, \[z^5 \left(z^{10}+11 z^5-1\right)^5-w \left(z^{30}+522 \left(z^{25}-z^5\right)-10005 \left(z^{20}+z^{10}\right)+1\right)^2=0\]
    또는 \[w z^{60}+1044 w z^{55}+252474 w z^{50}+\cdots =0\]
  • 이 60차방정식의 해는 초기하급수를 사용하여 표현할 수 있다
    \(z=\frac{\, _ 2F_ 1\left(-\frac{1}{60},\frac{29}{60};\frac{4}{5};1728 w \right)}{w^{1/5} \, _ 2F_ 1\left(\frac{11}{60},\frac{41}{60};\frac{6}{5};1728 w \right)}\)



슈바르츠 삼각형 함수

  • 초기하 미분방정식(Hypergeometric differential equations)
    \(z (1-z)\frac{d^2w}{dz^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw = 0\)
  • 슈바르츠 삼각형 함수 (s-함수)
    \(s(z)=\frac{z^{1-c}\,_ 2F_ 1(a',b';c';z)}{\,_ 2F_ 1(a,b;c;z)}=\frac{z^{1-c}\,_ 2F_ 1(a-c+1,b-c+1;2-c;z)}{\,_ 2F_ 1(a,b;c;z)}\)
  • \(\alpha=1-c,\beta=b-a,\gamma=c-a-b\) 로 두면, 상반평면을 \(\alpha\pi,\beta\pi,\gamma\pi\) 를 세 각으로 갖는 삼각형인 경우가 된다
  • \(\alpha=1/5, \beta=1/2, \gamma=1/3\) 로 두면, \(a=-1/60,b=29/60,c=4/5\) 를 얻는다
  • \(a=-1/60,b=29/60,c=4/5\) 를 이용하면,
    \(\frac{Z^{1/5}\,_ 2F_ 1(11/60,41/60;6/5;Z)}{\,_ 2F_ 1(-1/60,29/60;4/5;Z)}\)



역사

  • 1900 - 힐버트가 국제수학자대회 연설의 초반부에 클라인의 오차방정식과 정이십면체에 대한 연구를 언급
  • Mathematical Problems
    • Lecture delivered before the International Congress of Mathematicians at Paris in 1900 By Professor David Hilbert

But it often happens also that the same special problem finds application in the most unlike branches of mathematical knowledge. So, for example, the problem of the shortest line plays a chief and historically important part in the foundations of geometry, in the theory of curved lines and surfaces, in mechanics and in the calculus of variations. And how convincingly has F. Klein, in his work on the icosahedron, pictured the significance which attaches to the problem of the regular polyhedra in elementary geometry, in group theory, in the theory of equations and in that of linear differential equations.


[[파일:2026224-icos1.jpg]2026224-icos2.jpg]



메모



관련된 항목들



매스매티카 파일 및 계산 리소스




사전형태의 자료



관련도서

관련논문



관련링크와 웹페이지



블로그