"마친(Machin)의 공식"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| 1번째 줄: | 1번째 줄: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==개요== | ==개요== | ||
| − | * | + | * 아크탄젠트 함수를 통한 [[원주율(파이,π)]] 표현:<math>4\arctan\frac{1}{5}-\arctan\frac{1}{239}=\frac{\pi}{4}</math> |
| − | * 아크탄젠트 함수의 급수표현을 | + | * 아크탄젠트 함수의 급수표현을 이용하면 파이로 빠르게 수렴하는 간단한 급수를 얻게 됨 |
* 존 마친(John Machin)에 의해 1706년 발견됨 | * 존 마친(John Machin)에 의해 1706년 발견됨 | ||
| − | + | ||
| − | + | ||
==배각공식을 통한 증명== | ==배각공식을 통한 증명== | ||
| 29번째 줄: | 21번째 줄: | ||
이를 통해, <math>4\alpha</math>의 값이 <math>\frac{\pi}{4}</math>에 가까울 것임을 생각할 수 있다. | 이를 통해, <math>4\alpha</math>의 값이 <math>\frac{\pi}{4}</math>에 가까울 것임을 생각할 수 있다. | ||
| − | + | ||
이제 그 오차를 계산하기 위해, <math>\beta=4\alpha-\frac{\pi}{4}</math>로 두자. | 이제 그 오차를 계산하기 위해, <math>\beta=4\alpha-\frac{\pi}{4}</math>로 두자. | ||
| 41번째 줄: | 33번째 줄: | ||
<math>\frac{\pi}{4}=4\alpha-\beta=4\arctan \frac{1}{5}-\arctan \frac{1}{239}</math>■ | <math>\frac{\pi}{4}=4\alpha-\beta=4\arctan \frac{1}{5}-\arctan \frac{1}{239}</math>■ | ||
| − | + | ||
| − | + | ||
==복소수의 곱셈을 통한 증명== | ==복소수의 곱셈을 통한 증명== | ||
| − | <math>(5+i)^4(-239+i)=-114244-114244 i</math> | + | <math>(5+i)^4(-239+i)=-114244-114244 i</math> 임을 확인하자. |
이로부터, 다음을 얻는다. | 이로부터, 다음을 얻는다. | ||
| 55번째 줄: | 47번째 줄: | ||
따라서 | 따라서 | ||
| − | <math>4\arctan(\frac{1}{5})-\arctan(\frac{1}{239})=\frac{1}{4}\pi</math>. | + | <math>4\arctan(\frac{1}{5})-\arctan(\frac{1}{239})=\frac{1}{4}\pi</math>. ■ |
| − | + | ||
| − | + | ||
==일반화== | ==일반화== | ||
| 65번째 줄: | 57번째 줄: | ||
* 증명의 아이디어처럼, 배각공식을 활용하여 1에 가깝게 되는 각도를 찾아낼 수 있으면, 유사한 형태의 공식을 얻을 수 있음. | * 증명의 아이디어처럼, 배각공식을 활용하여 1에 가깝게 되는 각도를 찾아낼 수 있으면, 유사한 형태의 공식을 얻을 수 있음. | ||
| − | + | ||
| − | + | ||
| − | + | ||
==역사== | ==역사== | ||
| − | * | + | * 1671년 [[그레고리-라이프니츠 급수]] |
| − | * | + | * 1706년 마친, [[#|마친(Machin)의 공식]]을 활용하여 파이값 100자리까지 계산 |
| − | * http://books.google.com/books?id=RasOAAAAYAAJ&pg=PA242&sig=HdJs9ZCM_BmIh_PA6cgIpXStTFw&hl=en#v=onepage&q&f=false | + | * http://books.google.com/books?id=RasOAAAAYAAJ&pg=PA242&sig=HdJs9ZCM_BmIh_PA6cgIpXStTFw&hl=en#v=onepage&q&f=false |
| − | |||
* [[수학사 연표]] | * [[수학사 연표]] | ||
| − | + | ||
| − | + | ||
==관련된 학부 과목과 미리 알고 있으면 좋은 것들== | ==관련된 학부 과목과 미리 알고 있으면 좋은 것들== | ||
| 87번째 줄: | 78번째 줄: | ||
* [[삼각함수]] | * [[삼각함수]] | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| − | * [[원주율(파이,π)|파이]] | + | * [[원주율(파이,π)|파이]] |
| − | ** [[산술기하평균함수(AGM)와 | + | ** [[산술기하평균함수(AGM)와 파이값의 계산]] |
| − | + | ||
| − | + | ||
==사전형태의 참고자료== | ==사전형태의 참고자료== | ||
| 106번째 줄: | 97번째 줄: | ||
* http://mathworld.wolfram.com/MachinsFormula.html | * http://mathworld.wolfram.com/MachinsFormula.html | ||
| − | + | ||
| − | + | ||
==관련논문== | ==관련논문== | ||
| − | * Jack S. Calcut, Gaussian Integers and Arctangent Identities for | + | * Jack S. Calcut, Gaussian Integers and Arctangent Identities for π http://www.oberlin.edu/faculty/jcalcut/gausspi.pdf |
| − | * [http://www.jstor.org/stable/2690908 A Geometric Proof of Machin's Formula] | + | * [http://www.jstor.org/stable/2690908 A Geometric Proof of Machin's Formula] |
** Roger B. Nelsen, Mathematics Magazine, Vol. 63, No. 5 (Dec., 1990), pp. 336-337 | ** Roger B. Nelsen, Mathematics Magazine, Vol. 63, No. 5 (Dec., 1990), pp. 336-337 | ||
| − | * [http://www.jstor.org/stable/3618213 Complex Numbers and Machin-Type Formulae for π] | + | * [http://www.jstor.org/stable/3618213 Complex Numbers and Machin-Type Formulae for π] |
** [http://www.jstor.org/stable/3618213 ]Nick LordThe Mathematical Gazette, Vol. 73, No. 463 (Mar., 1989), pp. 47-49 | ** [http://www.jstor.org/stable/3618213 ]Nick LordThe Mathematical Gazette, Vol. 73, No. 463 (Mar., 1989), pp. 47-49 | ||
| − | |||
| − | |||
| − | |||
| − | |||
[[분류:원주율]] | [[분류:원주율]] | ||
2013년 7월 2일 (화) 08:06 판
개요
- 아크탄젠트 함수를 통한 원주율(파이,π) 표현\[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에 가깝게 되는 각도를 찾아낼 수 있으면, 유사한 형태의 공식을 얻을 수 있음.
역사
- 1671년 그레고리-라이프니츠 급수
- 1706년 마친, 마친(Machin)의 공식을 활용하여 파이값 100자리까지 계산
- http://books.google.com/books?id=RasOAAAAYAAJ&pg=PA242&sig=HdJs9ZCM_BmIh_PA6cgIpXStTFw&hl=en#v=onepage&q&f=false
- 수학사 연표
관련된 학부 과목과 미리 알고 있으면 좋은 것들
관련된 항목들
사전형태의 참고자료
- http://en.wikipedia.org/wiki/John_Machin
- http://en.wikipedia.org/wiki/Machin-like_formula
- http://mathworld.wolfram.com/MachinsFormula.html
관련논문
- Jack S. Calcut, Gaussian Integers and Arctangent Identities for π http://www.oberlin.edu/faculty/jcalcut/gausspi.pdf
- A Geometric Proof of Machin's Formula
- Roger B. Nelsen, Mathematics Magazine, Vol. 63, No. 5 (Dec., 1990), pp. 336-337
- Complex Numbers and Machin-Type Formulae for π
- [1]Nick LordThe Mathematical Gazette, Vol. 73, No. 463 (Mar., 1989), pp. 47-49