아크탄젠트 함수를 통한 원주율(파이,π) 표현
를 만족시키는 각도
를 생각하자.
탄젠트에 대한 배각공식을 반복적용하면,
이를 통해, 의 값이
에 가까울 것임을 생각할 수 있다.
이제 그 오차를 계산하기 위해, 로 두자.
탄젠트에 대한 덧셈공식을 사용하면, 다음의 결과를 얻을 수 있다.
이제 아크탄젠트함수를 사용하여 다음과 같이 표현할 수 있다.
■
임을 확인하자.
이로부터, 다음을 얻는다.
따라서
. ■
1671년 그레고리-라이프니츠 급수
1706년 마친, 마친(Machin)의 공식을 활용하여 파이값 100자리까지 계산
A Geometric Proof of Machin's Formula