"각의 삼등분(3등분, The trisection of an angle)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
 
<h5>간단한 소개</h5>
 
<h5>간단한 소개</h5>
  
−
* [[작도문제와 구적가능성]] 에 나온 서술된 바와 같이, 작도가 가능한 수는 유리수체로부터 시작하여, 그 원소들의 제곱근을 통해 얻어지는 체확장을 반복해서 얻어지는 수의 집합 안에 들어 있다.
+
* [[작도문제와 구적가능성]] 에 나온 서술된 바와 같이, 작도가 가능한 수는 유리수체로부터 시작하여, 그 원소들의 제곱근을 통해 얻어지는 체확장을 반복해서 얻어지는 체에 들어 있다.
−
* 만약 3등분 가능하지 않은 각을 제시할 수 있으면 증명이 된다.
+
*  
  
 
 
 
 
8번째 줄: 8번째 줄:
 
<h5>3등분 가능하지 않은 각도</h5>
 
<h5>3등분 가능하지 않은 각도</h5>
  
−
먼저 유리수체로부터 시작하여, 그 원소들의 제곱근을 통해 얻어지는 체확장을 반복해서 얻어지는 모든 수의 집합을 <math>\mathbb K</math>라 하자.
+
만약 3등분 가능하지 않은 각을 제시할 수 있으면 증명이 끝난다.
 +
 
 +
먼저 유리수체로부터 시작하여, 그 원소들의 제곱근을 통해 얻어지는 체확장을 반복해서 얻어지는 모든 수가 이루는 체를 <math>\mathbb K</math>라 하자.
  
 
주어진 각 <math>\theta=\frac{\pi}{3}</math> 를 3등분하는 경우에 대하여 생각해 보자. 먼저 이 각도는 정삼각형의 한 각의 크기와 같으므로, 자와 컴파스로 작도가능하다.
 
주어진 각 <math>\theta=\frac{\pi}{3}</math> 를 3등분하는 경우에 대하여 생각해 보자. 먼저 이 각도는 정삼각형의 한 각의 크기와 같으므로, 자와 컴파스로 작도가능하다.
16번째 줄: 18번째 줄:
 
<math>\cos \theta = \frac{1}{2}</math> 와 코사인이 만족시키는 공식 <math>\cos(3\alpha) = 4\cos^{3}(\alpha) - 3\cos(\alpha)</math> 을 활용하면,  <math>\cos \alpha</math>
 
<math>\cos \theta = \frac{1}{2}</math> 와 코사인이 만족시키는 공식 <math>\cos(3\alpha) = 4\cos^{3}(\alpha) - 3\cos(\alpha)</math> 을 활용하면,  <math>\cos \alpha</math>
  
−
<math>y=\cos \alpha</math> 는 유리계수다항식 <math>1/2 = 4y^{3} - 3y</math> 즉, 
+
<math>y=\cos \alpha</math> 는 유리계수다항식 <math>1/2 = 4y^{3} - 3y</math> 즉, <math>(2y)^{3} - 3(2y) - 1 = 0</math> 을 만족시킨다. 
−
 
 
−
Note that a number [http://en.wikipedia.org/wiki/Constructible_number constructible] in one step from a [http://en.wikipedia.org/wiki/Field field] K is a solution of a [http://en.wikipedia.org/wiki/Polynomial second-order polynomial]. Note also that π / 3 [http://en.wikipedia.org/wiki/Radian radians] (60 [http://en.wikipedia.org/wiki/Degree_(angle) degrees], written 60°) is [http://en.wikipedia.org/wiki/Equilateral_triangle constructible].
 
−
 
 
−
However, the angle of π / 3 [http://en.wikipedia.org/wiki/Radian radians] (60 [http://en.wikipedia.org/wiki/Degree_(angle) degrees]) cannot be trisected. Note <math>\cos(\pi/3) = \cos(60^\circ) = 1/2</math>.
 
  
−
If 60° could be trisected, the minimal polynomial of <math>\cos(20^\circ)</math> over <math>\mathbb{Q}</math> would be of second order. Note the [http://en.wikipedia.org/wiki/Trigonometric_identity trigonometric identity] cos(3α) = 4cos<sup style="line-height: 1em;">3</sup>(α) − 3cos(α). Now let <math>y = \cos(20^\circ)</math>.
+
<math>x = 2y</math> 로 두면, <math>x^{3} - 3x - 1 = 0</math> 가 만족된다. 
  
−
By the above identity, <math>\cos(60^\circ) = 1/2 = 4y^{3} - 3y</math>. So 4y<sup style="line-height: 1em;">3</sup> − 3y − 1 / 2 = 0. Multiplying by two yields 8y<sup style="line-height: 1em;">3</sup> − 6y − 1 = 0, or (2y)<sup style="line-height: 1em;">3</sup> − 3(2y) − 1 = 0. Now substitute x = 2y, so that x<sup style="line-height: 1em;">3</sup> − 3x − 1 = 0. Letp(x) = x<sup style="line-height: 1em;">3</sup> − 3x − 1.
+
한편 <math>x^{3} - 3x - 1 = 0</math>는 유리수체 위에서 인수를 갖지 않는 기약다항식이다. 
  
−
The [http://en.wikipedia.org/wiki/Minimal_polynomial_(field_theory) minimal polynomial] for x (hence <math>\cos(20^\circ)</math>) is a factor of p(x). If p(x) has a [http://en.wikipedia.org/wiki/Rational_root rational root], by the [http://en.wikipedia.org/wiki/Rational_root_theorem rational root theorem], it must be 1 or −1, both clearly not roots. Therefore p(x) is [http://en.wikipedia.org/wiki/Irreducible_polynomial irreducible] over <math>\mathbb{Q}</math>, and the minimal polynomial for <math>\cos(20^\circ)</math> is of degree 3.
+
따라서 <math>x</math>는 <math>\mathbb K</math>안에 있을 수 없고, <math>y</math>도 마찬가지이다. 
  
−
So an angle of <math>60^\circ = \pi/3</math> [http://en.wikipedia.org/wiki/Radians radians] cannot be trisected.
+
그러므로 각도 <math>\theta=\frac{\pi}{3}</math> 는 자와 컴파스로 삼등분할 수 없다. 
  
 
 
 
 

2009년 6월 29일 (월) 23:26 판

간단한 소개
  • 작도문제와 구적가능성 에 나온 서술된 바와 같이, 작도가 가능한 수는 유리수체로부터 시작하여, 그 원소들의 제곱근을 통해 얻어지는 체확장을 반복해서 얻어지는 체에 들어 있다.
  •  

 

3등분 가능하지 않은 각도

만약 3등분 가능하지 않은 각을 제시할 수 있으면 증명이 끝난다.

먼저 유리수체로부터 시작하여, 그 원소들의 제곱근을 통해 얻어지는 체확장을 반복해서 얻어지는 모든 수가 이루는 체를 \(\mathbb K\)라 하자.

주어진 각 \(\theta=\frac{\pi}{3}\) 를 3등분하는 경우에 대하여 생각해 보자. 먼저 이 각도는 정삼각형의 한 각의 크기와 같으므로, 자와 컴파스로 작도가능하다.

여기서는 각도 \(\alpha = \frac{\theta}{3}\) 는 작도가능하지 않음을 보이자. 즉, \(\cos \alpha\)가 \(\mathbb K\) 안에 들어있지 않음을 보이면 된다.

\(\cos \theta = \frac{1}{2}\) 와 코사인이 만족시키는 공식 \(\cos(3\alpha) = 4\cos^{3}(\alpha) - 3\cos(\alpha)\) 을 활용하면,  \(\cos \alpha\)

\(y=\cos \alpha\) 는 유리계수다항식 \(1/2 = 4y^{3} - 3y\) 즉, \((2y)^{3} - 3(2y) - 1 = 0\) 을 만족시킨다. 

\(x = 2y\) 로 두면, \(x^{3} - 3x - 1 = 0\) 가 만족된다. 

한편 \(x^{3} - 3x - 1 = 0\)는 유리수체 위에서 인수를 갖지 않는 기약다항식이다. 

따라서 \(x\)는 \(\mathbb K\)안에 있을 수 없고, \(y\)도 마찬가지이다. 

그러므로 각도 \(\theta=\frac{\pi}{3}\) 는 자와 컴파스로 삼등분할 수 없다. 

 

 

 

하위주제들

 

 

 

하위페이지

 

 

재미있는 사실
  •  

 

관련된 단원

 

 

많이 나오는 질문

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상

 



원본 주소 "https://wiki.mathnt.net/index.php?title=각의_삼등분(3등분,_The_trisection_of_an_angle)&oldid=3627"