"마친(Machin)의 공식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로)
잔글 (찾아 바꾸기 – “</h5>” 문자열을 “==” 문자열로)
1번째 줄: 1번째 줄:
<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>
+
<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%;">이 항목의 스프링노트 원문주소==
  
 
* [[마친(Machin)의 공식]]
 
* [[마친(Machin)의 공식]]
7번째 줄: 7번째 줄:
 
 
 
 
  
==개요</h5>
+
==개요==
  
 
*  아크탄젠트 함수를 통한 [[원주율(파이,π)]] 표현<br><math>4\arctan\frac{1}{5}-\arctan\frac{1}{239}=\frac{\pi}{4}</math><br>
 
*  아크탄젠트 함수를 통한 [[원주율(파이,π)]] 표현<br><math>4\arctan\frac{1}{5}-\arctan\frac{1}{239}=\frac{\pi}{4}</math><br>
17번째 줄: 17번째 줄:
 
 
 
 
  
==배각공식을 통한 증명</h5>
+
==배각공식을 통한 증명==
  
 
<math>\tan \alpha = \frac{1}{5}</math> 를 만족시키는 각도<math>\alpha</math>를 생각하자.
 
<math>\tan \alpha = \frac{1}{5}</math> 를 만족시키는 각도<math>\alpha</math>를 생각하자.
45번째 줄: 45번째 줄:
 
 
 
 
  
==복소수의 곱셈을 통한 증명</h5>
+
==복소수의 곱셈을 통한 증명==
  
 
<math>(5+i)^4(-239+i)=-114244-114244 i</math> 임을 확인하자.
 
<math>(5+i)^4(-239+i)=-114244-114244 i</math> 임을 확인하자.
61번째 줄: 61번째 줄:
 
 
 
 
  
==일반화</h5>
+
==일반화==
  
 
* 증명의 아이디어처럼, 배각공식을 활용하여 1에 가깝게 되는 각도를 찾아낼 수 있으면, 유사한 형태의 공식을 얻을 수 있음.
 
* 증명의 아이디어처럼, 배각공식을 활용하여 1에 가깝게 되는 각도를 찾아낼 수 있으면, 유사한 형태의 공식을 얻을 수 있음.
71번째 줄: 71번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">역사</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">역사==
  
 
*  1671년 [[그레고리-라이프니츠 급수]]<br>
 
*  1671년 [[그레고리-라이프니츠 급수]]<br>
83번째 줄: 83번째 줄:
 
 
 
 
  
==관련된 학부 과목과 미리 알고 있으면 좋은 것들</h5>
+
==관련된 학부 과목과 미리 알고 있으면 좋은 것들==
  
 
* [[삼각함수]]
 
* [[삼각함수]]
91번째 줄: 91번째 줄:
 
 
 
 
  
==관련된 항목들</h5>
+
==관련된 항목들==
  
 
* [[원주율(파이,π)|파이]]<br>
 
* [[원주율(파이,π)|파이]]<br>
100번째 줄: 100번째 줄:
 
 
 
 
  
==사전형태의 참고자료</h5>
+
==사전형태의 참고자료==
  
 
* http://en.wikipedia.org/wiki/John_Machin
 
* http://en.wikipedia.org/wiki/John_Machin
110번째 줄: 110번째 줄:
 
 
 
 
  
==관련논문</h5>
+
==관련논문==
  
 
* Jack S. Calcut, Gaussian Integers and Arctangent Identities for π  http://www.oberlin.edu/faculty/jcalcut/gausspi.pdf
 
* Jack S. Calcut, Gaussian Integers and Arctangent Identities for π  http://www.oberlin.edu/faculty/jcalcut/gausspi.pdf

2012년 11월 1일 (목) 13:48 판

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

개요

  • 아크탄젠트 함수를 통한 원주율(파이,π) 표현
    \(4\arctan\frac{1}{5}-\arctan\frac{1}{239}=\frac{\pi}{4}\)
  • 아크탄젠트 함수의 급수표현을 이용하면 파이로 빠르게 수렴하는 간단한 급수를 얻게 됨
  • 존 마친(John Machin)에 의해 1706년 발견됨

 

 

배각공식을 통한 증명

\(\tan \alpha = \frac{1}{5}\) 를 만족시키는 각도\(\alpha\)를 생각하자.

탄젠트에 대한 배각공식을 반복적용하면,

\(\tan 2\alpha =\frac{2\tan\alpha}{1-\tan^2\alpha}=\frac{5}{12}\)

\(\tan 4\alpha =\frac{2\tan 2\alpha}{1-\tan^22\alpha}=\frac{120}{119}\)

이를 통해, \(4\alpha\)의 값이 \(\frac{\pi}{4}\)에 가까울 것임을 생각할 수 있다.

 

이제 그 오차를 계산하기 위해, \(\beta=4\alpha-\frac{\pi}{4}\)로 두자.

탄젠트에 대한 덧셈공식을 사용하면, 다음의 결과를 얻을 수 있다.

\(\tan\beta=\tan(4\alpha-\frac{\pi}{4})=\frac{\tan 4\alpha+\tan(-\frac{\pi}{4})}{1-\tan 4\alpha \tan(-\frac{\pi}{4})}=\frac{1}{239}\)

이제 아크탄젠트함수를 사용하여 다음과 같이 표현할 수 있다.

\(\frac{\pi}{4}=4\alpha-\beta=4\arctan \frac{1}{5}-\arctan \frac{1}{239}\)■

 

 

복소수의 곱셈을 통한 증명

\((5+i)^4(-239+i)=-114244-114244 i\) 임을 확인하자.

이로부터, 다음을 얻는다.

\(4\arctan(\frac{1}{5})+\pi-\arctan(\frac{1}{239})=\frac{5}{4}\pi\)

따라서

\(4\arctan(\frac{1}{5})-\arctan(\frac{1}{239})=\frac{1}{4}\pi\). ■

 

 

일반화

  • 증명의 아이디어처럼, 배각공식을 활용하여 1에 가깝게 되는 각도를 찾아낼 수 있으면, 유사한 형태의 공식을 얻을 수 있음.

 

 

 

역사==    

관련된 학부 과목과 미리 알고 있으면 좋은 것들

 

 

관련된 항목들

 

 

사전형태의 참고자료

 

 

관련논문