원주율

3.14은(는) 여기로 연결됩니다.

3월 14일에 대한 내용에 대한 내용은 3월 14일 문서

, BMS 곡에 대한 내용은 3.14(BMS) 문서

참고하십시오.

수학상수 Mathematical Constants
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	[math(^\ast)] 초월수임이 증명됨.
[math(0)] (덧셈의 항등원)	[math(1)] (곱셈의 항등원)	[math(sqrt{2})] (최초로 증명된 무리수)	[math(495)], [math(6174)] (카프리카 상수)	[math(0)], [math(1)], [math(3435)], [math(438579088)] (뮌하우젠 수)
[math(pi)] (원주율)[math(^\ast)]	[math(tau)] (새 원주율)[math(^\ast)]	[math(e)] (자연로그의 밑)[math(^\ast)]	[math(varphi)] (황금수)	[math(i)] (허수단위)
[math(G)] (카탈랑 상수)	[math(zeta(3))] (아페리 상수)	[math({rm Si}(pi))] (윌브레이엄-기브스 상수)	[math(gamma)] (오일러-마스케로니 상수)	[math(gamma_n)] (스틸체스 상수)
[math(Omega)] (오메가 상수)[math(^\ast)]	[math(2^{sqrt{2}})] (겔폰트-슈나이더 상수)[math(^\ast)]	[math(C_n,)] (챔퍼나운 상수)[math(^\ast)]	[math(A,)] (글레이셔-킨켈린 상수)	[math(A_k,)] (벤더스키-아담칙 상수)
[math(-e, {rm Ei}(-1))] (곰페르츠 상수)	[math(mu)] (라마누잔-졸트너 상수)	[math(B_{2})], [math(B_{4})] (브룬 상수)	[math(rho)] (플라스틱 상수)	[math(delta)], [math(alpha)] (파이겐바움 상수)

}}}}}}}}} ||

평면기하학 Plane Geometry
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	<colbgcolor=#765432> 공통		도형 · 직선 (반직선 · 선분 · 평행) · 각 (맞꼭지각 · 동위각 · 엇각 · 삼각비) · 길이 · 넓이 · 다각형 (정다각형 · 대각선) · 작도 · 합동 · 닮음 · 등적변형 · 삼각함수 (덧셈정리) · 접선 · 벡터
삼각형	종류	정삼각형 · 이등변삼각형 · 부등변삼각형 · 예각삼각형 · 직각삼각형 · 둔각삼각형
	성질	오심 (관련 정리 · 구점원) · 피타고라스 정리 · 사인 법칙 · 코사인 법칙 · 헤론의 공식 · 신발끈 공식 · 스튜어트 정리 · 우산 정리 · 오일러 삼각형 정리 · 데자르그 정리 · 메넬라오스 정리 · 나폴레옹의 정리 · 체바 정리 · 사영 정리 · 판아우벌 정리
	기타	세모 모양 · 평범한 삼각형 · 젤곤 삼각형 · 랭글리 삼각형 · 페르마 점
사각형		정사각형 · 직사각형 · 마름모 · 평행사변형 · 사다리꼴 · 등변 사다리꼴 · 연꼴 · 네모 모양
그 외 다각형		오각형 · 육각형 · 칠각형 · 팔각형 (정팔각형) · 구각형 · 십각형 · 십일각형 · 십이각형 · 백각형
원		단위원 · 원주율 · 호 · 부채꼴 · 할선 · 활꼴 · 방정식 · 원주각 · 방멱 정리 · 톨레미 정리
원뿔곡선		포물선 · 타원 · 쌍곡선 · 파스칼 정리
기타		유클리드 · 보조선 · 테셀레이션(펜로즈 타일) · 제곱근의 앵무조개 · 픽의 정리 · 논증 기하학 · 해석 기하학 · 3대 작도 불능 문제	}}}}}}}}}

수학 \| 교과 내용 요소
{{{#!wiki style="margin: -0px -10px -5px; min-height: 26px" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-6px -2px -12px"	[참고] 이 틀은 중학교 수학 내용 요소만을 담고 있습니다.
<colbgcolor=#2667a9><colcolor=white> ㄱ	<colbgcolor=#fff,#191919> 가감법 · 각도 · 규칙 · 각기둥 · 곱셈 공식 · 공약수 · 그래프 · 각뿔대 · 겉넓이 · 거듭제곱
ㄴ	내각 · 내접 · 농도
ㄷ	다각형 · 도형 · 등식 · 다항식 (단항식) · 도수분포표 · 대입법 · 대푯값 · 동위각 · 도수분포다각형 ·등변사다리꼴
ㅁ	막대그래프 · 무리수 · 미지수 · 면 · 맞꼭지각 · 마름모
ㅂ	부채꼴 · 부피
ㅅ	소수 · 사각형 · 삼각형 · 삼각비 · 실수 · 소인수분해 · 순환소수 · 사분면 · 선 · 수선 · 선분 · 상대도수 · 산포도 · 산점도 · 수직이등분선
ㅇ	원 · 원기둥 · 일차방정식 · 이차방정식 · 유리수 · 유한소수 · 일차함수 · 연립방정식 · 이차함수 · 완전제곱식 · 외각 · 엇각 · 외심 · 이등변삼각형 · 원주각 · 원주율
ㅈ	자연수 · 좌표평면 · 제곱근 · 정수 · 점 · 작도 · 전개도 · 중선 · 중근 · 지수 · 직사각형
ㅊ	최소공배수 · 최대공약수
ㅍ	피타고라스 정리 · 평행선 · 평행사변형
ㅎ	함수 · 합동 · 히스토그램 · 합성수 · 회전체 · 현 · 확률

}}}}}}}}} ||

원주율을 선으로 시각화한 길이

1. 개요2. 표기와 어원3. 역사4. 수학적 정의와 성질5. 값

5.1. 유의미한 원주율 논쟁5.2. 원주율의 배수 사용 논쟁

6. 계산법7. 교육과 이용8. 호도법9. 여담

9.1. 원주율 암기법과 언어유희9.2. 파이데이

[clearfix]

1. 개요

원주율(圓周率) 또는 파이(π, pi)는 원의 지름에 대한 원주(원둘레)의 비율을 뜻한다. 그 값은 약 3.14이다.

2. 표기와 어원

그리스 문자 [math(\pi)]로 표시하는데, 한국 발음으로는 파이 [1]이며, 그리스어로 '둘레'를 뜻하는 페리메트로스(περίμετρος)의 첫 글자 π에서 땄다고 한다. 페리메트로스는 영단어 '퍼리미터(perimeter)'의 어원이기도 한데, '서컴퍼런스(circumference)'와 비교해 전자는 다각형과 폐곡선을 모두 포함한 2차원 도형의 둘레라는 뜻으로 쓰이며, 후자는 원과 타원 등의 폐곡선에 한해서 쓰이는 경향이 있다.

한편, 최초로 원주율을 [math(\pi)]로 표기한 사람은 웨일스의 수학자 윌리엄 존스로[2], 자신의 저서에 [math(\pi)]를 사용하였다. 이후 이 표기는 레온하르트 오일러에 의해 대중화되었다.

3. 역사

자세한 내용은 원주율/역사 문서 참고하십시오.

4. 수학적 정의와 성질

원주율은 '3.14159…'로 순환하지 않는 무한소수인 무리수이며, 대수적이지 않은 수인 초월수이다. 즉 단순한 3도, 3.14도, 3.1414...나 3.1444... 같은 유리수도, 3.141 2 3 4 5 6 7 8 9 10 11 12 13... 또는 3.14 15 16 17 18 19 20...같은 진법 등의 조건상 규칙이 있는 무리수도 아니라는 것이다[3]. 물론 숫자 9만 6번 반복되는 파인만 포인트가 나오기는 하지만 일시적일 뿐이다. 원주율이 무리수라는 것은 고등학교 수준으로도 충분히 이해 가능한 증명이 있다. 그러나 소수처럼 원주율로 수렴하는 코시수열[4]이 완전한 무작위성을 보이는지는 증명되지 않았다.

원주율이 무리수임을 증명

람베르트 증명
니벤의 증명

니벤의 논문 [5]
증명의 아이디어 자체는 간단하다.
귀류법을 이용하여 [math(\pi=\dfrac pq)]라는 유리수라고 가정한 뒤, [math(f(x)=\dfrac{x^n(p-qx)^n}{n!})]이라는 함수와 이 함수로부터 유도된 [math(\displaystyle F(x) = \sum_{k=0}^n (-1)^k f^{(2k)}(x))]를 이용하여 모순을 유도하는 것.
[math(F(0)+F(\pi))]를 계산해보면 정수가 나와야 하며, 이 값은 [math(\displaystyle \int_0^\pi f(x) \sin x {\rm d}x)]가 되는데, 두 함수 [math(f(x))]와 [math(\sin x)]가 0 이상인 구간 [math((0,\pi))]에서 곱해진 것을 적분한 것이므로 [math(\displaystyle 0 < \int_0^\pi f(x) \sin x {\rm d}x \leq )][math(,,sup)][math(\,f(x) \times \sup{\sin x}\times \pi)]라는 관계식이 성립하게 된다. 그런데 이 관계식의 가장 우측항은 [math(n\to\infty)]의 극한을 취하면 0으로 수렴, 즉 1보다 작게 된다는 걸 보일 수 있는데, [math(0)]보다 크면서 1보다 작은 정수는 없다. 따라서 [math(\pi=\dfrac pq)]라고 가정한 전제가 틀렸으므로 [math(\pi)]는 무리수다.

원주율이 초월수임을 증명

린데만-바이어슈트라스 정리를 이용한 증명 [6]

초월수 증명 자체는 간단하다. 귀류법을 사용하는데, 먼저 [math(\pi)]가 대수적인 수라고 가정하자. 그러면 [math(i\pi)] 역시 0이 아닌 대수적인 수다. 그러면 린데만-바이어슈트라스 정리에 따라 [math(e^{i\pi})]는 초월수여야 한다. 하지만 오일러 등식에 따라 [math(e^{i\pi})]는 대수적 수인 [math(-1)]이다. 이는 모순이므로, 따라서 [math(\pi)]가 대수적인 수라고 가정한 전제가 틀렸다는게 된다. 따라서 [math(\pi)]는 초월수다.

존재성과 유일성 증명

복소해석학을 이용한 증명 - 월터 루딘의 저서인 RCA의 서문(prologue) 부분에 등장한다. 지수함수의 테일러 급수와 오일러 공식을 이용해 복소평면상에서 절댓값이 1인 모든 복소수의 집합이 모여 그리는 도형이 단위원임을, 그리고 그 둘레의 절반이 원주율임을 보인다.

원주율 [math(\pi)] (또는 [math(\tau)])와 자연로그의 밑 [math(e)]와 허수단위 [math(i)] 간에는 [math(e^{i\pi} + 1 = 0)] (또는 [math(e^{i\tau} = 1)])의 관계가 성립한다. 이를 오일러 등식이라고 하며, 수학의 아름다움을 극명하게 나타내 주는 식으로 유명하다. 오일러의 공식에 [math(x = \pi)] 또는 [math(\tau)]를 대입하면 나오는 결과다. 이를 이용해서 무작정 [math(\pi = - i \ln\left(-1\right))]라고 하는 경우가 많은데, 이는 틀린 표현이다.[7] 엄밀히는 [math(e^{\left(\pi+2n\pi\right)i}=-1)], 즉 [math(e^{i\theta} = -1)]을 만족하는 [math(\theta)]가 [math(\pi)] 말고도 [math(-\pi)], [math(3\pi)], ……로 무수히 많아 하나로 특정되지 않기 때문에 복소수 [math(z)]의 편각 [math(\theta = \arg z)]가 [math(-\pi<\arg z\le\pi)]라는 조건을 붙여야 하며[8], 이 조건에서의 복소로그함수 표기 [math(\mathrm{Log})]를 이용하여 [math(\pi = -i\mathrm{Log}\,\left(-1\right))]로 나타내야 한다.

정적분으로도 정의할 수 있다. 역삼각함수의 치역이 주요값이라고 할 때 [math(\arcsin1 = \dfrac\pi2)], [math(\arctan1 = \dfrac\pi4)], [math(\lim\limits_{x\to\infty}\arctan x = \dfrac\pi2)]이므로 각각의 도함수 [math((\arcsin x)' = \dfrac1{\sqrt{1 - x^2}})], [math((\arctan x)' = \dfrac1{1+x^2})]를 이용하면 다음과 같이 된다.

[math(\begin{aligned} \displaystyle \pi &= \int^1_{-1} \frac{{\rm d}x}{\sqrt{1-x^2}} \\ &= 2\int_{-1}^1\frac{{\rm d}x}{1+x^2} = \int_{-\infty}^\infty\frac{{\rm d}x}{1+x^2}\end{aligned})]

[math(\sqrt{10} = 3.162277660\cdots)]으로, [math(\pi)]보다 근소하게 더 크다. 즉, [math(\pi^2 = 9.869604401\cdots<10)]이다. 작은 분모의 근삿값은 [math(\cfrac{22}7 = 3.1428\cdots)], 큰 건 [math(\cfrac{103993}{33102} = 3.141592653\cdots)] 역시나 제시된다. 참고로 이 유리수 표기는 [math(\pi)]의 무한 연분수 표기

[math(\pi = 3 + \cfrac1{7 + \cfrac1{15 + \cfrac1{1 + \cfrac1{292 + \cfrac1{1 + \cfrac1{1 + \cfrac1{1 + \cfrac1{\ddots}}}}}}}})]

을 적당한 선에서 끊어서 분모의 나머지 분수를 0으로 근사하면 얻을 수 있다. 즉

[math(\begin{aligned} \frac{22}7 &= 3 + \frac17 \\ \frac{103993}{33102} &= 3 + \cfrac1{7 + \cfrac1{15 + \cfrac1{1 + \cfrac1{292}}}}\end{aligned})]

이다.

5. 값

{{{#!folding 원주율 소수점 이하 1000자리 [펼치기 · 접기]

3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679821480865132823066470938446095505822317253594081284811174502841027019385211055596446229489549303819644288109756659334461284756482337867831652712019091456485669234603486104543266482133936072602491412737245870066063155881748815209209628292540917153643678925903600113305305488204665213841469519415116094330572703657595919530921861173819326117931051185480744623799627495673518857527248912279381830119491298336733624406566430860213949463952247371907021798609437027705392171762931767523846748184676694051320005681271452635608277857713427577896091736371787214684409012249534301465495853710507922796892589235420199561121290219608640344181598136297747713099605187072113499999983729780499510597317328160963185950244594553469083026425223082533446850352619311881710100031378387528865875332083814206171776691473035982534904287554687311595628638823537875937519577818577805321712268066130019278766111959092164201989

}}}

원주율의 값은 2022년 기준 100조 번째 자리까지 밝혀졌다.

원주율의 값에서 뭔가 규칙을 찾아냈다면 이는 무작위성과 우연에 의한 착각일 뿐이다. 원주율은 초월수이기 때문이다. 첫자리 3을 포함하여 359, 360, 361번째 수는 각각 3, 6, 0이고, 수십억 혹은 조 자리까지 뒤로 가면 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0이 순서대로 나오는 등 흥미로운 숫자 조합이 많이 나오지만, 이런 예들은 어디까지나 10진법이라는 기수법으로 출력된 숫자의 나열일 뿐 전혀 수학적인 규칙이 아니다.[9] #뉴턴 포스트

만약 발견한 것이 '꽤 오래 반복되는' 순환소수 부분이라면 파이를 조금 더 근사치에 가까운 10진법 유리수처럼 보일 수 있으므로 상징적인 의미를 부여할 수는 있다. 가장 유명한 예로 762번째부터 767번째까지 9가 연달아 나오며, 이 부분을 파인만 포인트라 부른다.[10] 참고로 소수점 아래 24번째까지는 같은 숫자가 연속으로 나오지 않으며, 24번째와 25번째에 3이 두 번 연속으로 나오는 것이 최초이다.

정수 2개의 비로 표현할 수 없는 무리수이기 때문에 자릿수가 무한하므로 각종 기록들을 양산하기도 한다. 가장 많은 수를 외운 사람이라든가 소수점 새로운 자릿수 계산이라든가 하는 등, 현재 기네스 북에서는 원주율에 관련된 기네스북 기록들이 더러 있다. 그 예로 소수점 이하 수백 자리까지 외우고 다니는 사람이 간혹 있을지도 모른다. 파인만 포인트는 애시당초 리처드 파인만이 자기는 762자리까지만 외운다면서 나온 수이고, 현재까지 인정된 기네스 공식 세계 기록은 중국인 차오 루의 6만 7890자리.[11] 일본인 하라구치 아키라의 기록으로는 8만 3431자리까지 외웠다고 하는데 이건 공식적으로 인정된 기록은 아니다.

이 사이트에서 특정 문자열이 원주율의 몇 번째 자리에서 등장하는지 검색할 수 있다. 2억 번째 자리까지 지원하므로, 파인만 포인트 찾으려고 999999 입력하는 것 정도는 순식간에 처리한다.[12] 재미로 해보면 2억 번째 자리 안에서도 주민번호 앞자리나 뒷자리, 010을 제외한 자신의 휴대폰번호 등을 거의 다 찾을 수 있다. 앱도 있고, 새 원주율(타우) 버전도 있다.

5.1. 유의미한 원주율 논쟁

한편, 소수점 이하 10자리 이상은 쓸 필요가 없다는 통설이 있다. 관측 가능한 우주의 둘레를 수소원자의 직경의 오차 이하로 계산하는데도 39자리(소수점 38자리)면 된다. 애초에 자릿수라는 개념이 기하급수적이라서 맞는 말이다. 옛날에는 계산자를 써서 3.14159까지 소수점 다섯째 자리까지 사용하는 것이 일반적이었다. NASA가 우주선의 달 착륙에 관련된 계산을 할 때도 5자리 정도로 충분했다.[13] 현재 과학적 컴퓨팅 분야에서는 유효 정밀도 약 15자리인 binary64 포맷을 주로 사용한다.

NASA 제트추진연구소의 엔지니어인 Marc Rayman에 따르면, 관측 가능한 우주를 기준으로 원주율을 통해 우주의 둘레를 계산할 때, 약 1nm 수준의 오차 이내로 계산하려면 원주율 소숫점 39~40자리까지만 계산해도 된다고 한다. JPL - How many decimals of Pi do we really need? 또한 NASA에서 실제로 로켓, 인공위성 등을 개발할 때 원주율 15자리[14]만 사용한다고 전하였다.

따라서, 실제 물리학에서 원주율이 사용되는 연산을 할 때 대부분의 경우에는 20자리 이상의 원주율을 사용하는 것은 거의 의미가 없다고 봐도 무방[15]할 것이다.

5.2. 원주율의 배수 사용 논쟁

원주율의 두 배의 값을 갖는 새로운 기준 상수를 정의해야 한다고 주장하는 수학자들이 있다. 자세한 내용은 타우(수학) 문서 참조.

원주율 파이의 정의는 본래 원의 둘레를 구한다는 문제를 해결하기 위해 등장한 것으로, 지름-둘레의 관계를 나타내고 있다. 그런데 지름을 기준으로 하는 이 상수는 반지름을 기준으로 여러 상호작용을 이루는 현대 수학과 과학에 있어 매우 부자연스럽고 불편하다. 때문에 매번 [math(2\pi)]를 쓰는 대신, [math(2\pi=6.2831\cdots\cdots)]의 값을 갖는 상수를 도입하여 사용하자는 것이다. 미국 물리학자 마이클 하틀(Michael Hartl)의 '[math(tau)] 선언문'(The Tau Manifesto), 우리나라 뉴스 실제로 원은 반지름으로 정의되기에 반지름 대 원주의 비로 정의되는 이 상수가 원주율로서 더 적합하다고 한다. 이들은 기념일도 3월 14일 대신 이의 2배인 6월 28일에 원주율을 기념한다. 그러면 원주의 길이는 [math(\tau r)], 원의 넓이는 [math(\dfrac12 \tau r^2)][16], 구의 겉면적은 [math(2 \tau r^2)], 구의 부피는 [math(\dfrac23 \tau r^3)]이 된다. 매번 두 배를 곱할 필요가 없어지고 식이 깔끔해지는 모습을 볼 수 있다. 여기에서 출발하는 각종 응용 개념과 공식은 더욱 효과가 크게 나타날 것이다.

단, 경로의존성으로 사람들이 이미 기존 원주율에 훨씬 익숙하고 계산 편의성 면에서도 얻을 수 있는 이득이 크지 않아 바로 바꾸기는 어려울 것으로 보인다. 일반인도 원주율을 3으로 계산하는 것은 오차가 너무 크다는 것을 알기에[17] 대략적인 정수배로 가늠하는 용도 이외에는 원주율을 3.14 또는 [math(\dfrac {22}7)]을 쓰고 있다.[18] 일상생활에서는 원둘레와 원넓이를 계산해야할 때가 많은데, 이 경우에는 수학적 상징을 떠나 [math(\tau r)]과 [math(\dfrac12 \tau r^2)]을 쓰는 것보다 [math(\pi R)][19]과 [math(\pi r^2)]을 쓰는 것이 더 간결한 것도 사실이다.

물리학에서는 플랑크 상수 [math(h)]와 함께 [math(h)]를 [math(2\pi)]로 나눈 디랙 상수 [math(\hbar)]가 따로 있으며, 양자역학에서는 계산 편의성을 인정받아 플랑크 상수보다 디랙 상수를 더 많이 쓰고 있다.

6. 계산법

초창기에는 원에 내접/외접하는 정다각형들의 둘레를 구해 원의 둘레가 그 사이에 있다는 것을 활용하여 원주율을 구했다.
하지만 뉴턴의 등장으로 무한급수를 통해 원주율 값을 계산하기 시작했다.

Veritasium한국채널의 설명

원주율의 값을 계산하는 방법도 여러 가지가 있다. 보통 무한급수를 이용하는데, 상기 아크사인 혹은 아크탄젠트의 적분식을 테일러 전개하여

[math(\displaystyle \begin{aligned} \pi &= \int^1_{-1} \frac{{\rm d}x}{\sqrt{1-x^2}} = 2\int^1_0\frac{{\rm d}x}{\sqrt{1-x^2}} = \sum_{n=0}^\infty \frac{2{\cdot}(2n)!}{4^n(n!)^2(2n+1)} = 2+\frac13+\frac3{20}+\frac5{56}+\cdots\cdots \\ &= 2\int_{-1}^1\frac{{\rm d}x}{1+x^2} = 4\int_0^1\frac{{\rm d}x}{1+x^2} = \sum_{n=0}^\infty\dfrac{4(-1)^n}{2n+1} = 4 - \frac43 + \frac45 - \frac47 + \cdots\cdots\end{aligned})]

로 계산할 수 있다.[20] 역사적으로 원주율과 관련된 무한급수 또는 무한곱으로 다음과 같은 것들이 있다.

발견 년도	발견자	수식
1593	프랑수아 비에트	[math(\dfrac2{\pi}=\dfrac{\sqrt2}2{\cdot}\dfrac{\sqrt{2+\sqrt2}}2{\cdot}\dfrac{\sqrt{2+\sqrt{2+\sqrt2}}}2\cdot\cdots\cdots)]
1593	프랑수아 비에트	[증명] [펼치기 · 접기] 주어진 식을 [math(\displaystyle\prod_{n=1}^\infty a_n)]의 형태로 나타냈을 때, 수열 [math(\{a_n\})]의 점화식을 구해보면 [math(a_{n+1}=\dfrac{\sqrt{2a_n+2}}2=\sqrt\dfrac{a_n+1}2)] 이다. 코사인 함수의 반각 공식이 이 점화식의 형태를 띠면서 [math(\cos\dfrac\pi4 = \dfrac{\sqrt2}2 = a_1)]이므로 [math(a_n = \cos\dfrac\pi{2^{n+1}})] 임을 알 수 있다. 한편, 사인 함수의 반각 공식을 이용하여 다음 관계식이 성립함을 알 수 있다. [math(\begin{aligned} 1 &= \sin\dfrac\pi2 \\ &= 2\sin\dfrac\pi4\cos\dfrac\pi4 \\ &= 2\left(2\sin\dfrac\pi8\cos\dfrac\pi8\right)\cos\dfrac\pi4 \\ &= 2\left\{2\left(2\sin\dfrac\pi{16}\cos\dfrac\pi{16}\right)\cos\dfrac\pi8\right\}\cos\dfrac\pi4 \\ &\quad\vdots \\ &= 2^n\sin\dfrac\pi{2^{n+1}}\prod_{k=1}^n\cos\dfrac\pi{2^{k+1}} \\ \therefore \prod_{k=1}^n\cos\dfrac\pi{2^{k+1}} &= \dfrac1{2^n\sin\dfrac\pi{2^{n+1}} } = \dfrac2\pi\dfrac1{\dfrac{2^{n+1} }\pi\sin\dfrac\pi{2^{n+1}} }\end{aligned})] 주어진 식은 [math(n\to\infty)]일 때의 좌변이며 이때 [math(\dfrac{2^{n+1}}\pi\sin\dfrac\pi{2^{n+1}}\to1)]로 수렴하므로 주어진 식은 [math(\dfrac2\pi)]로 수렴한다.
1655	존 월리스 #	[math(\begin{aligned} \dfrac{\pi}2 &= \prod_{n=1}^\infty\left(\dfrac{2n}{2n-1}{\cdot}\dfrac{2n}{2n+1}\right) \\ &=\dfrac21{\cdot}\dfrac23{\cdot}\dfrac43{\cdot}\dfrac45{\cdot}\dfrac65{\cdot}\dfrac67{\cdot}\cdots\cdots\end{aligned})]
1655	존 월리스 #	[증명] [펼치기 · 접기] 바이어슈트라스 분해 정리에 의해 [math(\displaystyle\frac{\sin\pi z}{\pi z} = \prod_{n=1}^\infty{\left(1-\dfrac{z^2}{n^2}\right)})] 가 성립하는데 위 식에 [math(z=\dfrac12)]을 대입하고 양변에 역수를 취하면 증명 끝. 참고로 위 식은 엄밀하진 않지만 다음과 같은 방법으로도 유도할 수 있다. 방정식 [math(\sin x = 0)]의 해는 정수를 [math(n_{\rm Z})]로 나타낼 때 [math(x = n_{\rm Z}\pi)]이므로 [math(\sin x)]는 [math((x - n_{\rm Z}\pi))]라는 인수가 무한개인 함수라고 생각할 수 있다. 이때 식을 조금 변형하여 [math(x = 0)]및 [math(\left(1-\dfrac x{n_{\rm Z}\pi}\right))]를 인수로 갖는다고 하면 [math(\sin x)]를 다음과 같이 나타낼 수 있다. [math(\displaystyle \sin x = Ax\prod_{n=1}^\infty{\left(1-\dfrac{x^2}{n^2\pi^2}\right)})] 여기서 [math(A)]는 비례 상수이다. 양변을 [math(x)]로 나누면 [math(\displaystyle\frac{\sin x}x = A\prod_{n=1}^\infty{\left(1-\dfrac{x^2}{n^2\pi^2}\right)})] [math(x\to0)]의 극한을 취하면 좌변이 [math(1)]로 수렴하고 우변 역시 [math(1)]로 수렴하므로 [math(A = 1)]이다. 즉 [math(\displaystyle\frac{\sin x}x = \prod_{n=1}^\infty{\left(1-\dfrac{x^2}{n^2\pi^2}\right)})] 이다. 이제 [math(x = \pi z)]를 대입하면 [math(\displaystyle\frac{\sin\pi z}{\pi z} = \prod_{n=1}^\infty{\left(1-\dfrac{z^2}{n^2}\right)})]
1671(1674)	제임스 그레고리(라이프니츠)	[math(\displaystyle \frac\pi4=\sum_{n=0}^\infty\frac{\left(-1\right)^n}{2n+1} \\ =1-\frac13+\frac15-\frac17+\frac19-\cdots\cdots)]
1706	존 마친[21]	[math(\displaystyle \frac\pi4=4\arctan{\left(\frac15\right)}-\arctan{\left(\frac1{239}\right)} \\ =\sum_{n=0}^\infty{\left\{\frac{4(-1)^n}{2n+1}{\left(\frac15\right)}^{2n+1}-\frac{(-1)^n}{2n+1}{\left(\frac1{239}\right)}^{2n+1}\right\}})]
1735	레온하르트 오일러	[math(\displaystyle \frac{\pi^2}6=\sum_{n=1}^\infty\frac1{n^2} \\ =1+\frac1{2^2}+\frac1{3^2}+\frac1{4^2}+\cdots\cdots)][22]
		[math(\displaystyle \frac{\pi^2}8=\sum_{n=0}^\infty\frac1{\left(1+2n\right)^2} \\ =1+\frac1{3^2}+\frac1{5^2}+\frac1{7^2}+\cdots\cdots)][23]
		[math(\displaystyle \frac{\pi^2}{12}=\sum_{n=1}^\infty\frac{\left(-1\right)^{n+1}}{n^2} \\ =1-\frac1{2^2}+\frac1{3^2}-\frac1{4^2}+\cdots\cdots)]
		[math(\displaystyle \frac{\pi^2}{24}=\sum_{n=1}^\infty\frac1{\left(2n\right)^2} \\ =\frac1{2^2}+\frac1{4^2}+\frac1{6^2}+\frac1{8^2}+\cdots\cdots)]
1914	스리니바사 라마누잔	[math(\displaystyle \frac1\pi=\frac{2\sqrt2}{99^2} \sum_ {n=0}^\infty \frac{(4n)!}{\left(n!\right)^4}\cdot\frac{26390n+1103}{396^{4n}})]
1988	처드노브스키 형제	[math(\displaystyle \frac1\pi= 12 \sum_ {q=0}^\infty \frac{(-1)^q(6q)!(545140134q+13591409)}{(3q)!(q!)^3(640320)^{3q+\frac{3}{2}}})]

테일러 급수를 이용한 기계적인 증명이 아닌, 기하학적인 증명은 다음 영상을 참고.

존 월리스의 공식: 3Blue1Brown의 'The Wallis product for pi, proved geometrically'
1의 거듭제곱근에 대한 성질과 인수정리 등을 이용한다. 복소수에 대한 이해가 필요하다.
라이프니츠의 공식: 3Blue1Brown의 '소수의 규칙성에 숨어있는 파이([math(pi)])'
원의 면적과 복소평면에서의 소수의 규칙성을 이용하여 유도/증명한다. 소수와 복소수에 대한 이해가 필요하다.
오일러의 공식/바젤 문제: 3Blue1Brown의 'Why is pi here? And why is it squared? A geometric answer to the Basel problem'

우변의 무한급수를 등대에서 나오는 빛의 세기로 비유하여 설명한다. 15:31까지는 [math(\dfrac{\pi^2}8)]로 시작하는 6번째 공식을 유도하고, 그 이후로는 이 공식에서 원래 공식을 유도한다.

7. 교육과 이용

원주율을 알고 있다면 원의 둘레의 길이를 구하기 위해 힘들게 줄자를 사용할 필요가 없다. 지름의 길이를 구해서 지름의 길이에 원주율을 곱하면 되기 때문이다. 같은 원리로 원주율은 수학, 과학 및 공학의 여러 분야에서 계산을 편리하게 하기 위한 도구로 쓰인다. 보통 지름보다는 반지름을 더 많이 사용하므로 반지름의 2배에 원주율을 곱해서 계산한다고 표현([math(2\pi r)])하기도 한다. 예를 들어 지름이 [math(1\,\rm cm)]인 원의 둘레의 길이는 [math(3.1415\cdots\cdots\,\rm cm)]이고, 지름이 [math(2\,\rm cm)]인 원의 둘레의 길이는 [math(6.2831\cdots\cdots\,\rm cm)]이다.

수학 정규 교육과정에서는 가장 먼저 만나게 되는 무리수이자 초월수이다. 보통 초등학교에서는 6학년 때부터 근삿값으로는 3.14를 사용한다.[24] 중학교부터는 그냥 깔끔하게 [math(\pi)]를 붙이면 끝. 사실 그냥 [math(\pi)]를 쓰는 게 더 편하고 정확하다.[25][26]아무래도 무한소수라는 개념에 익숙하지 않음을 고려한 결정으로 보인다.

공대에서는 삼각함수와 엮어서 매우 다양하게 사용한다. 특히 전자나 통신 계열에서는 한 학기의 절반은 [math(\pi)]와 함께 보낸다. 그리고 대부분의 시간을 자연로그의 밑 [math(e)]와 함께 보낸다. 그러다가, 오일러 공식인 [math(e^{ix} = \cos x + i\sin x)]로 인해서 복소수, [math(e)], 삼각함수, 지수함수가 아예 세트로 묶여 다닌다. 예를 들어, 해석학 교재인 PMA에서는 지수함수를 무한급수로 정의한 후 [math(ix)]를 대입한 실수/허수부를 각각 [math(\cos x)], [math(\sin x)]로 정의하고 [math(\cos x)]의 최소 양근의 2배를 [math(\pi)]로 정의한다.

물리학과에서도 자못 자주 쓰인다. 고전역학에서만 봐도 각속도, 각가속도, 각진동수, 각운동량 같은 것들이 있으며, 양자역학에서는 그야말로 황금열쇠라고 해도 과언이 아닌 디랙 상수 [math(\hbar)]의 정의식에 들어간다.

8. 호도법

자세한 내용은 호도법 문서 참고하십시오.
호도법(라디안)이라고 하는 각의 단위가 있는데, 이는 원주율을 기준으로 한 각의 단위이다. 자세한 내용은 문서 참조.

어느 한 원 위의 점이 원점을 중심으로 반지름의 길이만큼 한 방향으로 움직였을 때 대응하는 각의 크기를 1 라디안(rad)이라고 정의한다. 이때 원주만큼 움직였을 때 대응하는 각의 크기는 [math(2\pi)] 라디안(rad)이다. 여기서 [math(\pi)]가 원주율이다.

9. 여담

곡률이 0이 아닌 곡면 위에서는 원주율의 값이 달라진다. 정확히 말하면, '1회전'의 회전량은 유클리드에서건 비유클리드에서건 동일하기 때문에 [math(\pi)]값은 상수로서 일정하나, 원주율의 문자 그대로의 뜻인 '원주와 지름의 비율'은 달라질 수 있다. 이는 당장 곡률이 (+)인 지구본 위에 컴퍼스로 원을 그려보면 알 수 있다. 곡률이 (+)인 곡면에서는 원둘레가 [math(2\pi r)]보다 작게, (-)인 곡면에서는 크게 측정된다.

별 의미 없는 것처럼 들리겠지만, 이를 한 차원 높여서 만약 우리 우주 공간의 곡률이 0이 아니라면[27] 우주 공간에 거대한 구를 만들어 봤을 때 표면적/지름의 비가 다르게 나올 수 있다. 만약 곡률이 (+)라면 표면적은 [math(4\pi r^2 )]보다 작게, (-)라면 크게 측정된다. 일단 현재까지의 관측 결과로는 우리 우주의 곡률은 거의 0에 가까운 것으로 보인다.

유튜브 등지에는 가끔 어떤 무리수의 값에서 곡조를 따오는 노래들이 있는데, 그 중에서는 원주율이 제일 많이 나오는 편이다. 다음은 그 예시.

12진법으로 표시해 다단조에 대응시킨 버전 #[28]
10진법으로 표시해 5음음계에 대응시킨 버전 #[29]
이상한 나라의 수학자에 나온 버전 #[30]
새원주율로 시도한 버전 #

있다

[31]

원주율을 노래로 만드는 시도 중에는 가사가 원주율을 외는 것인 노래들도 있다. 다음은 그 예시.

하츠네 미쿠를 사용한 버전 #

위 버전의 원본 #[32]

카가미네 린렌를 사용한 버전 #
연애 서큘레이션 패러디 버전 #[33]
일본 가수 KOKIA의 노래인 Clap your hands!에서는 가사 중간에 소수점 아래 100자리까지 일본어로 나온다.
테니스의 왕자에 나오는 이누이 사다하루의 캐릭터송 중 [math(\pi)]가 있는데, 실상은 노래와는 거리가 멀고 8분 반 동안 원주율을 읊는 내용이다. 팬 사이에서는 수면용BGM 취급을 받는듯.

영어로 부른 노래도 있다 [우회필요]

디트로이트 메탈 시티의 음수전이라는 노래에선 슴가는 원주율과 같다고 한다. 이런 사상을 갖고 있는 주인공이 나오는 만화도 있다.

PIE를 거울에 비춰보면 3.14와 비슷한 형태가 된다고 한다.참고

셜록 셰린포드는 원주율을 3으로 친다고 한다.

원주율에서 소숫점 이하 32번째 자리에서 처음으로 숫자 0이 나옴으로써 0에서 9까지 모든 숫자가 사용된다.

과거 유토리 교육 시대에 일본의 초등학교에서는 원주율의 근사값을 3으로 쳤다. 문부성의 학습지도 요령에 '목적에 따라 3으로 처리할 수 있다'고 규정돼 있기 때문이다. 일각에서는 이것이 가짜뉴스라고 주장하지만 오히려 이는 틀린 내용이며, 일본의 대다수 학교에서는 문부성 방침에 따라 "원주율은 그냥 3으로 쳐라."는 식으로 교육해왔던 것이 사실이다.출처(중앙일보) 출처(세계일보) 유토리 교육을 비판할 때 단골로 인용되기도 하는 일화로, 후쿠다 야스오 총리는 유토리 교육에 반대한다는 취지로 기자회견 문답에서 "3이면 계산할 수 있는데 3.14는 계산하기 어렵다는 건 이상합니다. 나는 더 많이 외울 수 있어요. 3.141592..."라며 원주율을 쭉 읊었었다. ~~하지만 저걸 가지고 계산한다고 상상해보자~~ 드래곤 사쿠라에서도 원주율과 유토리 교육의 진짜 문제점(=원의 본질을 가르치기는 하는가)을 짚는 도쿄대 입시문제로서 인용되었다.

다만 한국인들에게는 원주율과 한국사에 조금만이라도 관심이 있다면 소숫점 이하 6자리까지는 외울 수 있는데, 3.141592...에서 3.14는 초등학교에서부터 배운 값이고 그 뒤 1592는 공교롭게도 임진왜란이 발발한 해이기 때문이다. (물론 위의 사례처럼 소숫점 이하 6자리나 되는 수를 갖고 곱하려면 끔찍하겠지만.)

무려 원주율 100만 자리를 적은 책이 있다!

레온하르트 오일러는 규칙이 없어보이는 소수를 관찰하면서 소수로만 이뤄진 식을 하나 만들었다. [math(\displaystyle \prod_{p\,\in\,\mathbb P}^\infty \frac{p^s}{p^s-1} )](혹은 [math(\displaystyle \prod_{p\,\in\,\mathbb{P}}^{\infty} \frac{1}{1 - p^{-s}} )])라고 표기되는 '오일러 곱'이라는 것인데, 여기서 [math(s=2)]인 경우가 바젤 문제의 해답 [math(\dfrac{\pi^2}{6})]이 된다. 놀랍게도, 베른하르트 리만은 이 오일러 곱이 제타 함수 [math(\zeta (s) := \displaystyle \sum_{n = 1}^{\infty} \frac 1{n^s})]와 같다는 점을 증명하고 악명 높은 리만 가설을 내놓게 된다.

영화 라이프 오브 파이에서 주인공이 학교에서 이상한 이름을 가졌다는 이유로 피싱(pissing, 오줌을 싸다)이라는 별명으로 놀림받자 자신을 다른 이름으로 부르게 하기 위해 원주율을 외워 별명이 파이로 바뀌었다.

원주율 소숫점 아래 25번째 자리까지 비밀번호로 쓰는 사람이 있다. 다음 링크 참조.#

아동 수학 학습만화에서 빠지지 않고 나오는 것이 바로 이 [math(\pi)]의 기원에 대한 농담이다. 앗! 시리즈의 '수학이 또 수군수군'에서도 다음과 같이 나온다.
[math(\pi)]는 옛날의 수학자들이 간단한 원을 연구하는 과정에서 나왔다.

수학자 1: 한가운데를 지나가는 거리를 지름이라고 부릅시다.

수학자 2: 그리고 원의 가장자리를 한 바퀴 도는 거리를 원주라고 부릅시다.

수학자 1: 지름을 재는 것은 쉽지요!

수학자 2: 그 길이가 얼마인지 매듭을 지어 표시합시다.

수학자 1: 그런데 원주를 재는 것은 아주 어렵군요.

수학자 2: 만약 원주가 지름의 몇 배라고 나타낼 수만 있다면, 쉽게 계산할 수 있을 텐데요.

수학자 2: 흠, 내가 보기엔 원주가 지름의 약 3배인 것 같은데?

수학자 3: (파이를 들고 오며)약 3배라고?

수학자 2: 3배보다는 조금 긴데요?

수학자 1: 그러면 그것을 '3과 조금 더'라고 부릅시다.

수학자 2: 별로 좋은 이름 같지 않은데요.

수학자 3: '파이'라고 부르는 게 어떨까요?

수학자 1: 파이?

수학자 2: 왜죠?[35]

수학자 3: (냠냠 쩝쩝하며 파이를 먹는다.) 왜라니요? 원도 둥글고 파이도 둥그니까, 파이라고 하면 되지요!

대략 이런 과정을 통해 [math(\pi)]가 생겨났을 것이다.

원래는 그리스 문자의 '피(π)'를 '파이'라고 발음하는 영어권 나라에서나 먹히는 농담이지만, 한국에서도 π의 발음을 '파이'라고 규정한 관계로 한국에서도 먹히는 개드립이 되었다.

한자 兀(우뚝할 올)과 기호가 비슷하다.

질량이 [math(1\,\rm kg)]인 물체 [math(A)]가 마찰이 없는 평면 위에 벽면을 바라보고 정지하여 있을 때, 질량이 [math(100^{n-1}\,\rm kg)]인 물체 [math(B)]가 벽면과 수직인 방향으로 [math(A)]를 향해 일직선으로 다가와 탄성 충돌하면, 물체 [math(A)]는 원주율의 정수부와 소수점 이하 [math(n)]자리까지의 숫자로 표기되는 정수만큼 충돌한다. 물리엔진 구현 수학적인 증명 [36]
물론 위 방법을 실제로 원주율 값을 계산하는 데에는 쓸 수 없다.[37] 애초에 원주율은 자릿수가 많아질수록 정확도는 기하급수적으로 증가하기 때문. 고작 원주율 [math(20)]자리 구하는데 물체 하나의 질량이 [math(100\,\rm g)]이라면 다른 하나의 물체로 놔 두어야 하는 물체의 질량은 무려 [math(\mathbf{10^{37}\, kg})]으로 이는 우리은하 중심에 있는 초대질량 블랙홀의 질량과 맞먹는다. [math(100\,\rm g)]의 물체와 충돌해도 미동도 하지 않을 벽과, [math(\mathbf{10^{37}\, kg})]의 물체에 의한 중력을 무시할 수 있는 [math(100\,\rm g)]의 물체가 필요하다. 게다가, 충돌 횟수를 일일이 세어줘야 하기 때문에 20자리 구할 때만 해도 3141경이 넘는 충돌 횟수를 다 세어야 하고, 그것마저도 천천히 충돌하는 것도 아니라 1초에 엄청 많은 충돌을 일으키기 때문에...[38]

xkcd에서는 사실 원주율이 구조 메세지라는 농담이 나온 적이 있다. #

원주율을 천자문을 이용해서 외운 사람도 있다. #

원주율의 제곱은 10보다 약간 작은 [math(9.8696)] 정도로[39], 지구 지표면에서 중력가속도 [math(g_n = 9.806\,65{\rm\,m/s^2})]의 크기와 상당히 비슷하다. 우연이 아니라 미터법 초기에 미터를 진자로 정의하려던 시도의 흔적이다. 진자의 길이가 [math(l)]인 단진자에서 진동각이 매우 작을 때 주기 [math(T)]는 [math(T \approx 2\pi\sqrt{\dfrac lg})]로 근사되는데 [math(l = \dfrac14\,{\rm m} = 25{\rm\,cm})]일 때 [math(T = \dfrac\pi{\sqrt g} \approx 1.006419\cdots{\rm\,s})], 즉 주기가 [math(1)]초에 매우 근접한 값이 나온다.[40]

칼 세이건의 소설 콘택트에는 원주율 안에 창조주의 메시지(서명)가 숨겨져 있다는 암시가 등장한다. 10의 20승 자리부터 이진수로 나오고, 아스키 아트로 해석하면 0으로 된 배경에 1로 된 작은 원이 있는 구조. 다만 영화판에서는 나오지 않았다.

비상장 가상화폐 중 하나인 파이 네트워크의 파이는 원주율의 '파이'가 맞다.

인디애나에서는 원주율을 법으로 지정하려고 했었다. #

원주율에 해당하는 글자 수대로 내용을 적은 책이 있다.

파이데이 기념으로 티셔츠에 소숫점 아래 976자리 쓴 사람이 있다.

블루 아카이브의 ASMR 상품 중 18분 동안 원주율을 읽어주는 ASMR이 있다. 화자는 아케보시 히마리(CV: 유카나).

몇몇 일본 만화에는 천재 캐릭터가 집중할 때 원주율을 최대한 읊는 클리셰가 있다. 그 예로 R-15의 엔슈 리츠와 너를 너무너무너무너무 좋아하는 100명의 그녀의 에이아이 나노가 있다.

S.H.E의 Selina의 노래 3.1415가 있다.

선발투수가 통산 2034 이닝을 던져 710 자책점을 기록할 경우 그 평균자책점은 3.1415929204 로서 원주율에 가장 근접해진다고 한다#[41].

9.1. 원주율 암기법과 언어유희

규칙적으로 외우는 방법이 몇 가지 나와 있기는 하지만, 사실 그냥 통째로 외우는 게 더 빠르기 때문에 기억술이라고 하기는 애매하다. 원주율의 숫자를 이용한 재밌는 장난이라고 보는게 좋을 듯. 4자리씩 끊어 읽는것이 가장 편리한 방법중 하나이다.

원주율을 소수점 아래 열네 자리까지 암기할 수 있는 다음 영어 문장이 가장 유명하다. 각 단어의 철자 수에 주목.

How I want a drink, alcoholic of course after the heavy lectures involving quantum mechanics!
(양자역학을 포함한 어려운 강의 후에는 얼마나 한 잔이 하고 싶은지!)

위 문장의 철자 수를 배열해보면 3.14159 26535 8979가 된다.

오르(A. C. Or)라는 사람이 만든 시도 있다.

Now I, even I, would celebrate
In rhymes unapt, the great
Immortal Syracusan, rivaled nevermore,
Who in his wondrous lore,
Passed on before,
Left men his guidance
How to circles mensurate...

심지어 나 같은 이라도, 서툰 운율로라도,
더 이상 견줄 사람 없을
영원불멸의 시라쿠사인을 찬양하리다.
우리에게 전승되었던
훌륭한 이야기 속에
사람들에게 방법을 남겨 주었지
어떻게 측정 원을 [42] 하는지를...

이 역시 철자 수를 환산하면 3.14159 26535 89793 23846 26433 83279(30자리)이 된다.

과학쟁이라는 과학 잡지는 이러한 문장을 만들었다.

"돌고래가 모직 남방 만들며 아침 산책 도는 동안 럭비나 봐라."

이건 다음과 같이 글자의 초성을 숫자로 바꾼다.

ㄱ	ㄴ	ㄷ	ㄹ	ㅁ	ㅂ	ㅅ	ㅇ	ㅈ/ㅊ
1	2	3	4	5	6	7	8	9

숫자로 환산하면 3.14159 26535 89793 23846 264(23자리)가 된다.

다행히 원주율의 소수점 32자리 숫자는 0이므로, 각 자릿수를 하나의 단어로 대용하는 규칙을 사용하면서 문장을 32단어 이상으로 확장할 수 없다. 물론 위 한글 버전처럼 0에 대응하는 문자를 배당해 사용하거나, 혹은 10자리 단어를 0으로 계산한다면 가능하다.

9.2. 파이데이

일반적으로는 원주율 소수 둘째 자리까지인 '3.14'가 잘 알려져 있으며, 이에 3월 14일을 파이데이(([math(\pi)] day))로 기념한다. 이 파이의 날을 기념해 진짜 파이를 먹는 사람들도 있다. 이 날은 원주율을 기념하기 위한 기념일이다. 파이의 날은 원주율의 근삿값 [math(3.14)]을 기준으로 하여 3월 14일에 치러진다. 보통 3.14159에 맞추기 위해 오후 1시 59분에 기념하는데, 오후 1시 59분은 엄밀히 말하면 13시 59분이기 때문에 오전 1시 59분 혹은 15시 9분(오후 3시 9분)에 치러야 한다고 주장하는 사람도 있다. 세계 각국의 수학과에서 기념행사를 연다. 3월 14일은 알베르트 아인슈타인의 생일이자 스티븐 호킹의 기일이기도 하다. 이 날은 여러 방법으로 기념된다. 사람들이 모여서 원주율이 그들의 생활에서 어떤 역할을 했는지 이야기하고 원주율이 없는 세상을 상상해 본다. 모임에서는 흔히들 상상하는 것처럼 보통 파이(pie)를 먹는다. 또한 많은 행사에서 원주율 외우기 대회가 열린다. 매사추세츠 공대(MIT)의 경우는 매년 합격자 발표일이 3월 14일이다. 그리고 새원주율을 기념하여 6시 28분에 발표한다.

[math(\dfrac{22}7)]가 [math(\pi)]의 근삿값이므로 파이 근삿값의 날은 7월 22일이다.

[1] 영어식으로 발음했을 때나 '파이'이지, 원어인 그리스어 발음으로는 '삐'(외래어 표기법으로는 '피')다. 그러나 그리스 문자 가운데 한국어 기준으로 같은 표기인 글자(φ)가 따로 있기 때문에 유의해야 한다.[2] 인도유럽어족이라는 개념을 제시해 최초로 연구한, 즉 역사비교언어학이라는 학문을 개척한 그 윌리엄 존스의 아버지다.[3] 다만 이렇게 진법으로 뒀을 때 규칙이 보이는 수도 얼마든지 무리수가 될 수 있다. 실제로 최초로 증명된 초월수는 리우빌 상수라는 것으로, 이런 식으로 진법상에서의 규칙성을 주되, 실제로는 반복되는 일이 없는 무한소수로 구성된다. 그 외에도 챔퍼나운 상수가 정확하게 이런 형태.[4] 3을 제1항으로 두고 소숫점 이하 1자리씩 늘어날 때마다 항을 부여받은 수열. 즉, 제1항이 3이라면 제2항은 3.1, 제3항은 3.14, 이러한 방식으로 나아가는 수열이다.[5] 딱 한 장이다.[6] 린데만-바이어슈트라스 정리는 유리수체 위에서 0이 아닌 서로 선형독립적인 유한 개의 대수적 수 [math(\{\beta_k\})]에 대해서 역시 같은 수의 대수적 수의 쌍 [math(\{\alpha_k\})]가 존재하여, 대응되는 두 수를 곱한 수 [math(\alpha_k\beta_k)]의 합이 0이 아니라면 [math(\alpha_k e^{\beta_k})]의 합 역시 0이 아니라는 정리다. 즉, 유리수체 위의 선형독립적인 원소들로 구성된 집합은, [math(e)]의 거듭제곱 꼴로 바꾸더라도 선형독립적인 원소들로 이루어져 있다는 정리. 또한 여기서 따름정리로 [math(e^a)]에서 [math(a)]가 0이 아닌 대수적인 수라면 [math(e^a)]는 초월수라는 것 역시 알려져 있다.[7] 이게 참이라면 [math(2\pi = -2i\ln\left(-1\right) = -i\left\{\ln\left(-1\right)+\ln\left(-1\right)\right\} = -i\ln\left\{\left(-1\right)\left(-1\right)\right\} = -i\ln 1 = 0)], 즉 [math(2pi = 0)]이라는 말도 안 되는 식이 나온다! 한편 [math(e^{2\pi i} = 1)]이므로 [math(2\pi i = \ln1 = 0)]에서도 유도할 수 있다.[8] 이를 '주요값(principal value)'이라고 한다.[9] 다른 예로, 초월수가 실존함을 보이기 위해 자연수를 일렬로 늘어놓고 앞에 소수점 하나 찍어서 (0.12345678910111213...) 초월수를 만들어내기도 했다.[10] 1억 7233만 850~1억 7233만 858번째까지 자리엔 0이 연속 8번이나 나오고, 2465만 8601~2465만 8609번째 자리엔 7이 무려 연속 9번 나온다. 이는 전체를 통틀어 가장 처음으로 9번 연속된 숫자다.[11] EBS의 다큐프라임 넘버스 1부 '하늘의 수 - [math(\pi)]'에 출연하여 당시 기록을 세웠을 때의 일화를 소개하였다.[12] 999999 입력한 후 189번 Find Next를 누르면 찾을 수 없다(200000000번째 안에서)라고 뜬다.[13] 실제로 NASA의 제미니 계획이나 아폴로 계획의 미션 기록들을 보면, 일반인의 생각과는 달리 그렇게 아주 정밀하게 수치를 따지지는 않은 부분들이 꽤 있다. delta-v를 맞추기 위한 로켓 점화도 대략 '몇 초 점화' 하는 식으로 휴스턴 관제센터에서 지시하고, 생략되는 소수 부분 때문에 오차가 약간 발생하면 우주비행사들이 그때 그때 조금씩 보완하는 식으로 ~~떠넘기기~~ 미션을 수행했다.[14] 3.141592653589793[15] 만약 우리가 일상에서 볼 수 있는 구형 물체의 둘레를 구할 때 50자리 쯤 되는 원주율을 사용한다면, 오차 범위는 원자핵은 물론, 플랑크 길이보다도 훨씬 작아지게 된다. 우주의 둘레를 구할 때라도 100자리 정도면 플랑크 길이보다 작아지기에 충분하다. 이쯤되면 원주율이 아닌 다른 측정 변수들로 더 큰 오차가 생길 것이다. SI 단위 측정에 동원되는 정밀기기도 유효숫자를 소숫점 아래 20자리 정도까지만 뽑아낸다.[16] 상기 '[math(\tau)] 선언문'에서는 이 식이 물리학적으로 오히려 자연스럽다고 주장한다. "운동 에너지 공식 [math(\dfrac12mv^2)]은 운동량 [math(p=mv)]를 속도 [math(v)]로 적분한 것이며, 보존력의 위치 에너지 [math(\dfrac12kx^2)]은 보존력 [math(F=-kx)]을 변위 [math(x)]로 적분한 것이고, 진공에서 자유 낙하하는 물체의 거리 공식 [math(\dfrac12gt^2)]은 중력에 의한 속도 [math(v = gt)]를 시간 [math(t)]로 적분한 식이다. 원의 넓이는 원주 적분(폭이 [math({\rm d}r)]인 아주 얇은 링을 겹겹이 쌓아나가서 넓이를 구하는 방식)으로 따져보면 둘레가 [math(\tau r)]인 원주를 반지름 [math(r)]로 적분한 것이므로 앞선 예시들처럼 [math(\dfrac12\tau r^2)]이 나오는 게 오히려 자연스럽다."라고는 하지만, 이는 조금은 헛소리인게, 사실 기존의 [math(2\pi r)] 를 적분해도, 여전히, [math(\pi r^2)] 이다. 즉 자연스럽다기보다는 다른 공식과 형태적으로 유사해진다고 표현할 수는 있겠다. 이 식의 정당성을 이야기하고 싶었다면 부채꼴의 넓이([math(\dfrac12\theta r^2)])와의 관계 등을 이야기하는 편이 나았다.[17] [math(\pi)]를 3으로 근사할 경우 약 4.5%의 오차가 발생한다.[18] 3.14는 원주율보다 약 0.05% 작고 [math(\dfrac {22}7)]은 원주율보다 약 0.05% 크기에 과잉과 부족 중에서 어디에 여유를 둘 것인지에 따라 취사선택할 수 있다.[19] 기하학적으로는 정사각형에 내접하는 원의 원둘레는 정사각형 한 변의 길이에 원주율을 곱한 것과 같다.[20] 단, 둘 다 수렴 속도는 꽤 느린 편이다. 아크탄젠트는 십만 개의 항을 계산해야 [math(3.1415\mathbf8\cdots\cdots)]이 되고, 아크사인은 십만 개의 항을 계산해도 근삿값이 [math(3.1{\bf5886})]으로 소수점 아래 둘째자리를 못 맞춘다.[21] 일명 마친 공식이라고 한다.[22] 바젤 문제라는 빛의 세기에 관한 문제를 해결하면서 우연히 발견. 즉, 자연수 제곱의 역수들의 합(우변)을 계산하려고 하니 우연치 않게 원주율(좌변)이 나왔던 것.[23] 기하학적인 의미로 따졌을 때 바로 위의 공식보다 더 근본적인 공식으로, 이 식을 이용하여 위의 식을 곧바로 유도 할 수 있다.[24] 매번 3.14를 곱하는 것은 세자리 수 곱셈법과 유사해서 더러운 계산량이 나오기도 한다. 그래선지 3, 3.1, 또는 반지름 길이를 7의 배수로 주고 [math(\dfrac{22}7)]로 계산하도록 하는 방식으로 대체되기도 하였으나, 2025년부터 적용되는 2022 개정 교육과정부터는 이러한 방법이 오개념을 낳는다는 이유로 3.14 외에 다른 값을 근삿값으로 사용하는 것을 전면 금지하였다.[25] 하지만 [math(\pi)]는 중학교 1학년때 배워서 원의 둘레를 처음 배우는 초등학교 6학년 때에는 일일이 계산해야 한다. 계산량이 더럽지만 곱셈 계산을 반복 숙달시키려는 의도도 있다.[26] 3.14로 배우는 과정에서의 최종 형태는 원기둥의 겉넓이로, 기본형만 가지고도 이미 3.14를 곱한 값들끼리의 덧셈이 추가된다. 분배법칙마저도 안 배운 시점에 응용형을 풀라고 하면 뭘 구해야하는지는 이해하더라도 뒤따라올 사칙연산의 지옥 때문에 푸는 것 자체를 포기해버릴 지경. 회전축에서 약간 떨어진 직사각형을 회전시킨 회전체의 겉넓이를 구하는 문제를 생각해보자. 제시된 숫자마저도 유효숫자가 제법 되는 상태면 출제자의 악의만 남은 수준.[27] 고등학교 지구과학을 배운 사람이라면 본 적 있을 닫힌 우주(구)/평탄 우주(평면)/열린 우주(말안장 혹은 프링글스) 모형이 바로 그것이다.[28] 이 사이트를 참조하면 좋다.[29] 이쪽은 음의 길이까지 원주율로 결정했다.[30] 원주율을 완주하지는 않고 중간에 루프한다. 3.1415926535897과 중반부에 93238462643383을 반복한다고 보면 된다[31] 실제로 저 영상에서는 파이 노래라면서 첫 5자리 이후로는 완전히 무작위적으로 연주한 노래가 나왔는데, 모르고 들으면 알아채기 힘들다.[32] 맨 마지막에 10,239자리까지 나오지만 소수점도 1자리로 치고 카운팅을 했기에 10,238자리이다. 이쪽은 재생 시간이 무려 1시간 8분 20초나 된다. 대한민국 가요 사상 단일 곡 중 가장 길다는 태초의 노래, 노래의 종말보다도 2분 14초나 더 길다.[33] 40초 쯤에 '...5105820974944...'가 맞으나 '...51058204944...'라고 나와있다.[우회필요] 저작권 문제로 막혀 있다.[35] 원문에서는 Pi? Why?라고 운율이 만들어지는 것도 소소한 포인트.[36] 간단히 설명하자면, 좌표축을 두 물체의 속도와 질량으로 조절한 위상공간을 만든 뒤 에너지 보존법칙과 운동량 보존법칙, 그리고 원주각의 성질을 이용하면 유도할 수 있다.[37] 그래도 눈으로 보는 것보다는 나은 편.[38] 첫 번째 충돌 후 두 번째 충돌까지의 시간을 100초로 두면, 200초 정도가 경과한 시점에서 무려 1초에 [math(5\times10^{35})]회 정도의 충돌이 일어난다. 또한, 작은 물체의 속력은 초기 큰 물체 속력의 1000경 배가 되기 때문에, 아무리 큰 물체의 초기 속력이 나노미터를 넘어 아예 펨토, 욕토 단위여도 나중에는 아예 특수 상대성 이론을 고려해야 할 시기가 온다. 게다가 이 정도로 질량차가 커지면 둘 사이에서 발생하는 중력장의 변화도 무시할 수 없게 되어 특수 상대성 이론은 커녕 일반 상대성 이론까지 고려해야 한다.[39] 참고로 [math(\sqrt{10} \fallingdotseq 3.1622)]이다.[40] 그런데 실제 단진자에서 나타나는 미분방정식을 미세 진동으로 근사하지 않고 일반적인 상태로 비선형 항을 유지한 채 구하면 타원 적분과 야코비 타원 함수라는 괴악한 특수함수를 만나게 된다.[41] 마찬가지로 선발투수가 통산 2215 이닝 동안 669 자책점을 기록할 경우 평균자책점은 2.7182844244..가 되고 2264와 2/3 이닝 동안 684 자책점을 기록할 경우 2.718280836..이 되어 자연로그의 밑과 근접해진다.[42] 원문의 마지막 줄은 'How to mensurate circles(어떻게 원을 측정하는지를)'이 되어야 맞다. 그러니 고급 언어유희가 아니라는 소리. 근데 서툰 운율이라고 되어 있다.

원주율