**원주율**은 원둘레와 지름의 비 즉, 원의 지름에 대한 둘레의 비율을 나타내는 수학 상수이다. 수학과 물리학의 여러 분야에 두루 쓰인다. 그리스 문자 π로 표기하고, **파이**(π)라고 읽는다. 원주율의 값은 순환하지 않는 무한소수(무리수)이기 때문에, 원주율을 포함한 계산에서는 3.14 또는 3.141 등 첫 소수점 아랫자리를 취한 근삿값을 사용하거나 기호 파이(π)를 사용한다.

## 개요
유클리드 평면에서 원은 크기와 관계없이 언제나 닮은 도형이다. 따라서 원의 지름에 대한 둘레의 비는 언제나 일정하며, 이를 원주율이라 한다. 즉, 원의 지름을 d, 둘레를 C라 하면 원주율 π는 다음의 식으로 나타낼 수 있다.

원주율을 나타내는 기호 π는 1706년 영국의 수학자 윌리엄 존스가 최초로 사용했다. 이것은 둘레를 뜻하는 고대 그리스어 "페리페레스"(περιφηρής) 또는 "페리메트론"(περίμετρον)의 첫 글자를 딴 것이다.

원주율은 소수점 아래 어느 자리에서도 끝나지 않고, 순환마디도 없이 무한히 계속되는 비순환소수이다. 원주율이 무리수라는 것은 1761년 요한 하인리히 람베르트가 증명했다. 원주율의 소수점 이하에서 나타나는 수열은 무작위 표집을 통해 만드는 난수표와 성질이 같다. 원주율은 십진법으로는 값을 정확하게 표기할 수 없기 때문에 실제 계산에서는 근삿값을 이용한다.

한편, 원주율은 계수가 유리수인 유한 차수 다항식의 해가 될 수 없다. 이러한 종류의 수를 초월수라 부른다. 이 사실은 1882년 페르디난트 폰 린데만이 증명하였다. 여기에서 원주율은 어떤 정수에 적당한 유리수를 곱하고 제곱근을 씌우는 등의 연산을 조합하여 얻어낼 수 없다는 사실을 알 수 있다. 또한 원주율이 초월수라는 사실을 통해, 그리스 3대 난제 중 하나였던 “자와 컴퍼스만을 사용하여 원과 넓이가 같은 정사각형을 작도하는 원적문제”가 유한한 대수적 방법으로는 불가능하다는 것을 증명할 수 있다.

유클리드 기하학에서 원과 원주율의 관계를 살펴보면 다음과 같은 사실을 확인할 수 있다., 구약성경 열왕기상 7장 23절과 역대하 4장 2절에는 직경과 둘레의 길이를 기술하여 원주율이 3정도 임을 알고 있었다고 추측된다. 고대 중국의 수학책인 구장산술에서도 3을 원주율로 제시하였다. 구장산술에는 다음과 같은 문제가 실려 있다.
구장산술의 계산은 평균값으로 이루어져있다. (1) 원둘레가 30보인 경우 반지름은 30=2r*3.14 r=4.78 이경우의 면적은 71.74 (2) 지름이 10보인 경우 면적은 78.5. (1)과 (2)의 평균은 75보. 그러므로 구장산술의 계산이 부정확하다는 것은 잘못되었다.섬네일|왼쪽|원에 내접하는 정육각형
구장산술에 실린 계산이 매우 부정확하다는 것은 왼쪽 그림을 보면 쉽게 알 수 있다. 지름이 1인 원에 내접하는 정육각형의 둘레는 3이고 실제 원의 둘레는 그것과는 차이가 상당하기 때문이다. 이는 고대에서부터 이미 널리 알려진 문제였고 값을 보다 정확하게 구하기 위한 노력이 계속되었다. 고대 이집트에서는 원통형 바퀴를 굴려 직접 측정해 원주율을 계산하였는데 =3.16049……를 사용하였다.

한편 기원전 3세기의 고대 그리스 수학자 아르키메데스는 근대 적분이 없었던 당시에 무한소라는 개념을 사용하였다. 그는 소거법을 사용하여 에 대해 다음과 같이 함수의 극한을 취하면 원주율을 얻을 수 있다.
아르키메데스는 정구십육각형을 이용하여 의 값을 다음과 같이 계산하였다.
아르키메데스는 이 결과에 따라 임을 증명하였다. 아르키메데스는 자신의 저서 구와 원기둥에서 어떠한 크기가 주어지더라도 임의의 크기에 적당한 수를 곱하여 주어진 크기를 초과할 수 있다고 가정하였다. 이를 실수에서의 아르키메데스 성질이라고 한다.

중국의 삼국시대 위나라 수학자 유휘는 구장산술에 주해를 달아 다시 출판하였는데, 아르키메데스와 같은 방법을 사용하여 원주율을 =3.14 로 계산하였다. 유휘가 계산한 원주율 근삿값은 오늘날에도 일상생활에서 사용한다.

2세기에 들어 중국의 장형은 원주율을 3.1623으로 계산하였고

### 컴퓨터를 통한 원주율 계산
1949년 9월 최초로 컴퓨터를 이용하여 70시간에 걸쳐 소수점 아래 2,037자리까지 계산하였다. 원주율 계산에 컴퓨터를 도입한 이후 원주율 계산은 단순 알고리즘의 무한 반복에 불과한 작업이 되어 수학적 의미를 잃었다. 2005년 일본 도쿄 대학의 가네다 야스마사 교수는 컴퓨터를 601시간 56분 동안 사용하여 원주율을 소수점 1,241,100,000,000자리까지 구하였다. 2009년 〈도쿄신문〉에 따르면, 일본 쓰쿠바 대학 계산과학연구센터는 17일, 슈퍼컴퓨터를 사용한 원주율 계산에서, 2조 5769억 8037만 자리수의 세계기록을 수립했다고 한다. (73시간 59분 소요)

## 원주율의 값
값의 소수점 아래 1,000자리 수는 다음과 같다.

## 수학적 특성
원주율은 두 정수의 비로 나타낼 수 없는 무리수이다. 또한, 계수가 유리수인 다항식의 근이 될 수 없는 초월수이다.

### 무리수
원주율이 무리수라는 것은 1761년에 요한 하인리히 람베르트가 증명했다.
 역시 무리수이다.

### 초월수
원주율이 초월수임은 오일러 등식을 이용하여 다음과 같이 증명할 수 있다. 오일러 등식은,
이다. 이 때 π가 정계수 대수방정식  역시 성립하여야 한다. 이제 y=iπ라 하면 π=-iy 이고 -π=iy 이므로, iπ는 다음 식으로 나타낼 수 있는 정계수 대수방정식을 만족시켜야 한다.
이제 에는 iπ가 존재하여야 하므로, 식 (1)에 따라 다음과 같이 나타낼 수 있다.
그런데 이러한 관계를 만족하는 대수방정식의 근이 유리수라고 가정하면 무한히 약분할 수 있어서, 이를 기약분수로 표현할 수 없는 모순이 생긴다.의 근이라는 최초의 가정이 잘못되었다고 볼 수밖에 없다. 즉, 원주율은 초월수이다. 자세한 증명은 링크한 주석을 참고하기 바란다.

### 수열
개요에서 밝혔듯이 원주율은 반복되지 않고 무한히 계속되는 수열을 이룬다. 네덜란드 수학자 라위트전 브라우어르는 다음과 같은 질문을 제기하였다.

브라우어르는 이 수열이 무한히 계속되기 때문에 이 수열을 어느 정도까지만 확인한 결과만으로는 위 질문에 답할 수 없다는 점을 지적하였다. 실제 소수점 이하 762번째에서부터 수열 999999 가 출현한다. 이 수열은 파인만 포인트로 알려져 있으며 원주율의 소수점 이하 수열에서 확률 0.08%로 발견할 수 있는 것으로 알려져 있다. 은 유한한 개수를 대상으로 한 것에만 적용 수 있을 뿐 무한한 것에 적용할 수 없다고 결론지었다.

원주율에서 나타나는 수열은 무작위 표집을 사용해 만든 난수표의 성질을 보인다. 하지만, 실제 원주율의 수열이 완전한 무작위성을 보이는지는 증명되지 않았다.

## 계산식
원주율은 무리수이기 때문에 그 값은 근삿값으로밖에 알 수 없다. 대부분의 계산에는 3.14나 22/7 라는 근삿값을 사용해도 충분하다. 355/113은 외우기 좋고, 정밀도도 좋다. 좀 더 정밀한 기술의 계산에서는 3.1416 또는 3.14159 등을 사용하기도 한다. 기상 예보나 인공 위성 등의 계산에는 소수점 아래 30자리까지 나아간 근삿값을 사용하고 있다. 이렇게 불규칙적인 패턴을 가지는 원주율은 다음과 같이 규칙적인 수식을 이용하여 계산할 수 있다. 더 정확한 값을 얻으려면 수식을 연장하기만 하면 된다.

이 식을 이용하면 2진수 그리고 16진수로 표기한 π값의 소수점 아래 ''n''자리 값을 ''n''-1째 자리까지 구하지 않고 바로 계산해 낼 수 있다. [https://web.archive.org/web/20030501201647/http://www.nersc.gov/~dhbailey/ 베일리의 홈페이지] 에선 다양한 프로그래밍 언어를 이용해 구현한 실제 예를 볼 수 있다.

## 적용
원주율은 수학과 물리학 등 여러 분야에서 다양하게 적용한다.

### 기하학
아르키메데스는 원과 구의 다음과 같은 성질을 증명하였다.

한편, 원은 이심률이 0인 타원으로 간주할 수 있으며 이에 따라 타원 방정식은 일반적으로 다음과 같이 표현한다.
리만 제타 함수는 s가 짝수일 때 위 식을 이용하여 그 값을 쉽게 계산할 수 있으나 홀수일 때는 자명하지 않다. 1978년 s가 3일 때 무리수로 수렴하는 것이 증명되었다. 이 수렴값은 아페리 상수라고 한다.

### 복소수 계산
복소수 는 극좌표계를 이용하여 다음과 같이 나타낼 수 있다.

복소해석학에서 π는 복소수 변수가 지수 함수에서 보이는 행동과 연관이 있으며 오일러의 공식에 따라 다음과 같이 표현할 수 있다.

''i''는 허수 단위이기 때문에 ''i'' = −1 이므로 이를 π라디안(=180°)과 함께 자연로그의 밑 ''e''의 지수로 표현하면 다음과 같은 오일러 등식을 얻는다.

따라서 ''n'' 번째 단위근은 다음과 같다.

이제 가우스 적분으로 나타내면,

이 결과는 반정수의 감마 함수가 √π의 유리수 곱임을 뜻한다.

### 확률과 통계
확률과 통계에서 원주율이 등장하는 정리들은 다음과 같은 것들이 있다.
이 된다.

조르주루이 르클레르 드 뷔퐁이 제기한 뷔퐁의 바늘 문제는 원주율의 근삿값을 구하는 경험주의적인 방법으로 거론된다. 길이가 L인 바늘을 일정 간격으로 그린 평행선에 떨어뜨린다고 가정해 보자. 이 때 평행선의 간격 S가 바늘의 길이보다 크다고 하면, 바늘을 떨어뜨린 횟수 n번에 대해 바늘이 평행선 밖으로 나간 횟수 x번에는 몬테카를로 방법에 의해 다음과 같은 관계가 있다.
즉, 뷔퐁의 바늘 문제에서 바늘을 떨어뜨리는 횟수가 매우 많아지면 바늘이 평행선을 벗어나는 횟수에 대한 바늘을 떨어뜨린 전체 횟수의 비는 원주율에 근사한다.

### 물리학
원주율 자체는 물리 상수가 아니지만 물리학의 여러 분야에서 두루 사용한다. 이는 자연 현상의 상당수가 원과 관계가 있기 때문이다. 예를 들어 회전수를 일정하게 유지하는 등속원운동에서 각속도와 원주속도는 다음과 같이 계산할 수 있다.

이 외에 물리학에서 원주율을 사용하는 경우는 다음과 같다.