피타고라스 정리

대체글=|섬네일|빗변을 변으로 하는 정사각형의 넓이는 나머지 두 변을 변으로 한 정사각형의 넓이의 합과 같다.
유클리드 기하학에서, **피타고라스 정리**(, )는 직각 삼각형의 빗변의 길이의 제곱이 나머지 두 변의 길이의 제곱의 합과 같다는 정리이다.

빗변의 길이를 c, 나머지 두 변의 길이를 a,b라 하면 피타고라스 정리는 다음과 같은 방정식으로 쓸 수 있다.

:a^2+b^2=c^2

위의 식을 만족시키는 세 양의 정수의 쌍을 **피타고라스 삼조**라고 한다. 피타고라스 정리는 고대부터 현대까지 다양한 방식으로 증명되었으며, 기하적인 증명부터 대수적인 증명까지 다양한 분야를 망라한, 가장 많은 증명을 가진 정리 중 하나이다.

피타고라스 정리는 유클리드 공간이나 유클리드 공간이 아닌 공간으로 일반화할 수 있다. 이때 대상은 직각 삼각형 외에 n차원 도형으로 일반화된다. 예를 들어 유클리드 공간에서 직교 좌표계가 주어지면, 서로 떨어져 있는 두 점 사이의 거리는 피타고라스 정리처럼 표현된다.

## 정리
직각 삼각형의 두 직각변(밑변과 높이)의 길이를 각각 a,b, 빗변의 길이를 c라 하면 다음과 같은 관계가 성립한다.
:a^2+b^2=c^2
즉, c의 제곱은 a와 b의 제곱의 합이다. 이는 c를 변으로 하는 정사각형의 넓이가 a를 변으로 하는 정사각형의 넓이와 b를 변으로 하는 정사각형의 넓이의 합과 같음을 의미한다.

### 변의 길이 계산과 끼인각의 판별
직각 삼각형에서 직각변의 길이를 알고 있다면 빗변의 길이는 피타고라스 정리에 제곱근을 취해 다음과 같이 계산할 수 있다.
:c=\sqrt{a^2+b^2}
비슷하게, 빗변과 한쪽 직각변의 길이가 알려진 경우 다른 쪽 변의 길이는 다음과 같이 계산할 수 있다.
:a=\sqrt{c^2-b^2}
또는
:b=\sqrt{c^2-a^2}

피타고라스 정리는 삼각형이 직각 삼각형인 경우에 대한 정리이므로, 직각 삼각형이 아닌 경우에는 이를 일반화한 코사인 법칙을 이용하여 변의 길이를 계산할 수 있다.

또한 빗변의 맞은편 각 \angle C에 대해, 다음이 성립한다.
: a^2+b^2=c^2이면, \angle C는 직각이다.
: a^2+b^2이면,  \angle C는 둔각이다.
: a^2+b^2>c^2 이면, \angle C는 예각이다.

### 피타고라스 삼조

피타고라스 정리의 방정식을 만족시키는 세 양의 정수의 쌍을 **[[피타고라스 삼조]]**라고 한다. 예를 들어, (3,4,5)는 피타고라스 수이다.

## 증명
피타고라스 정리를 증명하는 방법은 여러 가지가 있다.

### 대수적 증명
섬네일|대수적 증명
피타고라스 정리는 다음과 같이 대수적으로  증명할 수 있다.
먼저 위의 그림과 같이 직각변이 a,b, 빗변이 c인 4개의 직각 삼각형을 적절히 배열하여 큰 정사각형을 만들 수 있다. 이 큰 정사각형은 (a+b)를 변으로 하므로 그 넓이는 (a+b)^2이다. 또한, 이는 c를 변으로 하는 작은 정사각형의 넓이 c^2와 직각 삼각형의 넓이 \textstyle\frac 12ab의 4배의 합과 같다.
:(a+b)^2=c^2+4\cdot\frac 12ab=c^2+2ab
이를 정리하면 피타고라스 정리를 얻는다.
:c^2=(a+b)^2-2ab=a^2+2ab+b^2-2ab=a^2+b^2

### 삼각형의 닮음을 통한 증명
[섬네일|[삼각형의 닮음을 사용한 증명]]
피타고라스 정리는 삼각형의 닮음을 사용하여 다음과 같이 증명할 수 있다.

그림에서, CH는 C를 지나는 빗변 AB의 수선이다.

삼각형 ACH와 ABC는 각 A를 공유하는 직각 삼각형이므로, AA에 따라 서로 닮음이다. 마찬가지로, 삼각형 CBH와 ABC는 서로 닮음이다. 따라서, 대응변에 대한 비례식이 다음과 같이 성립한다.
:\frac{AC}{AH}=\frac{AB}{AC}
:\frac{BC}{BH}=\frac{AB}{BC}
즉, 다음이 성립한다.
:AC^2=AB\cdot AH
:BC^2=AB\cdot BH
이 두 식을 합하면 피타고라스 정리를 얻는다.
:AC^2+BC^2=AB\cdot AH+AB\cdot BH=AB\cdot(AH+BH)=AB^2

### 유클리드의 증명
[섬네일|[유클리드의 원론에 실린 증명]]
유클리드는 원론에서 피타고라스 정리를 다음과 같이 증명하였다.

그림에서, ABDE와 ACFG, BCHJ는 모두 정사각형이다. C를 지나는 AB의 수선은 정사각형 ABDE를 직사각형 AELM과 BDLM으로 나눈다.

삼각형의 넓이는 '1/2 × 밑변 × 높이'이므로, 삼각형 ABG의 넓이는 정사각형 ACFG의 넓이의 절반이다. 마찬가지로, 삼각형 AEC의 넓이는 직사각형 AELM의 빨간색 부분의 넓이의 절반이다.

삼각형 ABG를 A를 중심으로 시계 방향으로 90도 회전하면 삼각형 AEC를 얻으므로, SAS에 따라 삼각형 ABG와 AEC는 합동이다. 서로 합동인 삼각형의 넓이는 같으므로, 삼각형 ABG와 AEC의 넓이는 같다.

따라서, 정사각형 ACFG의 넓이는 직사각형 AELM의 넓이와 같다. 마찬가지로, 정사각형 BCHJ의 넓이는 직사각형 BDLM의 넓이와 같다. 따라서, 정사각형 ACFG와 BCHJ의 넓이의 합은 정사각형 ABDE의 넓이와 같다.

### 가필드의 증명
미국의 20대 대통령 제임스 가필드는 다음과 같은 방법으로 피타고라스 정리를 증명했다.

두 평행한 변의 길이가 각각 a,b이고 이 두 변과 수직인 변의 길이가 a+b인 사다리꼴의 넓이는 다음 공식을 따른다.
[섬네일|[제임스 가필드의 증명]]
A=\frac{1}{2}(a+b)^2 = \frac{1}{2}(a^2 + 2ab + b^2)

그림에서 삼각형 1, 2의 면적은 각각 \tfrac{1}{2} ab이고, 두 삼각형의 면적의 합은 ab이다.

삼각형 3의 면적은 A-ab=\frac{1}{2}(a^2+b^2)=\frac{1}{2}c^2이므로

이를 정리하면 피타고라스 정리를 얻는다.

a^2+b^2=c^2

## 역
피타고라스 정리의 역 또한 성립한다. 즉, 만약 삼각형의 세 변 a,b,c가 a^2+b^2=c^2를 만족시킨다면, 이 삼각형은 반드시 c를 빗변으로 하는 직각 삼각형이다.

### 역의 증명
피타고라스 정리의 역은 다음과 같이 증명할 수 있다.

삼각형 ABC에서, A,B,C의 대변 a,b,c가 a^2+b^2=c^2를 만족시킨다고 하자.

임의의 점 C'을 취하자. C'를 꼭짓점으로 하는 직각을 그리자. 직각의 두 변에서 각각 적절한 A',B'를 취하여, A'C'=AC=b이며, B'C'=BC=a이도록 만들자.

그렇다면, A'B'C'는 a,b를 직각변으로 하는 직각 삼각형이다. 피타고라스 정리에 따라 그 빗변은 c이다. SSS에 따라 삼각형 ABC와 A'B'C'는 서로 합동이다. 따라서 각 C는 각 C'와 같이 직각이다. 즉, ABC는 c를 빗변으로 하는 직각 삼각형이다.

## 일반화
### 코사인 법칙

임의의 삼각형의 세 변 a,b,c 사이에 다음과 같은 관계가 성립하며, 이를 코사인 법칙이라고 한다.
:c^2=a^2+b^2-2ab\cos C
여기서
* C는 c의 대각이다.
* \cos는 코사인이다.
코사인 법칙에 \textstyle C=\frac\pi 2=90^\circ를 취하면 피타고라스 정리를 얻는다.

### 유클리드 거리
직교 좌표계의 두 점 (x_1,y_1),(x_2,y_2)\in\mathbb R^2 사이의 거리는 다음과 같다.
:\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}
보다 일반적으로, n차원 유클리드 공간 \mathbb R^n의 두 점 (a_1,\dots,a_n),(b_1,\dots,b_n)\in\mathbb R^n 사이의 거리는 다음과 같다.
:\sqrt{(a_1-b_1)^2+\cdots+(a_n-b_n)^2}

### 노름 공간
내적 공간 (V,\langle\cdot,\cdot\rangle)의 두 벡터 v,w\in V가 직교한다고 하자. (즉, \langle v,w\rangle=0이라고 하자.) 그렇다면, 이 두 원소의 노름과 둘의 합의 노름 사이에 다음과 같은 관계가 성립하며, 이를 노름 공간 위의 피타고라스 정리라고 한다.
:\Vert v+w\Vert^2=\Vert v\Vert^2+\Vert w\Vert^2
보다 일반적으로, n개의 벡터 v_1,\dots,v_n\in V가 쌍마다 직교한다고 하자. (즉, \langle v_i,v_j\rangle가 대각 행렬을 이룬다고 하자.) 그렇다면, 이들의 노름과 합의 노름 사이에 다음과 같은 관계가 성립한다.
:\Vert v_1+\cdots+v_n\Vert^2=\Vert v_1\Vert^2+\cdots+\Vert v_n\Vert^2

## 역사
정리에 이름이 붙은 피타고라스는 기원전 570년경에 태어난 그리스 철학자이다. 그러나 정리는 피타고라스가 태어나기 훨씬 전부터 여러 문명에서 독립적으로 발견되고 사용되었다.

피타고라스 정리가 한 번 발견되었는지, 아니면 여러 장소에서 여러 번 발견되었는지에 대해서는 논쟁이 있으며, 최초의 발견 시기와 첫 증명 시기 또한 불확실하다. 이 정리의 역사는 피타고라스 삼조에 대한 지식, 직각삼각형의 변 사이의 관계에 대한 지식, 인접한 각 사이의 관계에 대한 지식, 그리고 어떤 연역 체계 내에서의 정리에 대한 증명 등 네 부분으로 나눌 수 있다.

기원전 1800년경에 작성된 이집트 중왕국 시대의 *베를린 파피루스 6619*에는 두 정사각형의 넓이의 합이 세 번째 정사각형의 넓이가 되는 문제와 그 해인 피타고라스 세 쌍인 6:8:10가 써있다. 다만 문제에서 삼각형을 언급하지는 않는다. 플루타르코스에 따르면, 고대 이집트인들은 3:4:5 직각삼각형을 알고 있었으며, 세 변을 각각 오시리스, 이시스, 호루스와 동일시했다.

[섬네일|[피타고라스 삼조가 기록된 바빌로니아 시대의 플림톤 322 점토판.]]
메소포타미아 수학 역사학자들은 피타고라스의 규칙이 피타고라스가 태어나기 천 년 전인 구바빌로니아 시대(기원전 20세기~16세기)에 이미 널리 사용되었다고 결론지었다.

기원전 1800년경 라르사 근처에서 작성된 메소포타미아 점토판 *[[플림톤 322]]*에는 15개의 서로 다른 피타고라스 삼조가 적혀있다. 비슷한 시기의 또 다른 점토판인 *[[YBC 7289]]*에는 정사각형의 대각선, 즉 직각이등변삼각형의 빗변의 계산이 적혀있다.

인도에서는 기원전 8세기에서 5세기 사이로 추정되는 *Baudhayana Shulba Sutra*에는 피타고라스 삼조의 목록과 피타고라스 정리에 대한 서술이 있다. 이는 직각이등변삼각형의 특수한 경우와 일반적인 경우 모두를 다루며, *Apastamba Shulba Sutra*(기원전 600년경)에서도 마찬가지로 나타난다.

피타고라스 학파는 피타고라스 삼조를 구하는 방법을 고안하였다. 즉, 홀수 m에 대하여, \textstyle(m,\frac{m^2-1}2,\frac{m^2+1}2)는 피타고라스 삼조이다. 또한, 피타고라스 학파의 히파소스는 이 과정에서 통약 불가능 비율을 발견하였다고 여겨진다.

에우클레이데스는 원론에서 피타고라스 정리를 서술 및 증명하였으며, 이는 발견된 최초의 증명이다.

인도인 역시 피타고라스 정리를 "직사각형의 대각선의 제곱은 두 이웃변의 제곱합과 같다"는 내용으로서 알고 있었다. 이는 적절한 모양의 제단을 만드는 데 응용되었다.

유휘는 《구장산술주》에서 원주율을 계산하는 데 피타고라스 정리를 사용하였다.

피타고라스 학파가 피타고라스 정리를 발견 및 증명하였는지는 확실하지 않다. 프로클로는 원론의 주해를 쓸 때, 정리의 발견과 최초 증명에 대한 공로를 피타고라스에게 돌렸다. 이에 대하여, 모리스 클라인은 다음과 같이 적었다.

## 같이 보기

* 페르마의 마지막 정리
* 피타고라스
* 법칙
* 수학
* 도형

## 각주

## 외부 링크
*  (피타고라스 정리의 118여가지 증명법)
* 
* 
* 
* 
* 
* 
* 
* 


분류:직각삼각형에 대한 정리
분류:넓이
분류:각
분류:방정식
분류:피타고라스
분류:유클리드 평면기하학
분류:기하학사
분류:그리스의 발명품
분류:사람 이름을 딴 낱말