# 피타고라스 정리

빗변을 변으로 하는 정사각형의 넓이는 나머지 두 변을 변으로 한 정사각형의 넓이의 합과 같다.
유클리드 기하학에서, **피타고라스 정리**(문화어: 세 평방의 정리, 영어: Pythagorean theorem, Pythagoras' theorem)는 직각 삼각형의 빗변의 길이의 제곱이 나머지 두 변의 길이의 제곱의 합과 같다는 정리이다.

빗변의 길이를 WIKINIUM\_MATH\_PH\_0 , 나머지 두 변의 길이를 WIKINIUM\_MATH\_PH\_2 라 하면 피타고라스 정리는 다음과 같은 방정식으로 쓸 수 있다.

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

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

## 정리

직각 삼각형의 두 직각변(밑변과 높이)의 길이를 각각 WIKINIUM\_MATH\_PH\_6 , 빗변의 길이를 WIKINIUM\_MATH\_PH\_8 라 하면 다음과 같은 관계가 성립한다.

 WIKINIUM\_MATH\_PH\_10
즉, WIKINIUM\_MATH\_PH\_12 의 제곱은 WIKINIUM\_MATH\_PH\_14 와 WIKINIUM\_MATH\_PH\_16 의 제곱의 합이다. 이는 WIKINIUM\_MATH\_PH\_18 를 변으로 하는 정사각형의 넓이가 WIKINIUM\_MATH\_PH\_20 를 변으로 하는 정사각형의 넓이와 WIKINIUM\_MATH\_PH\_22 를 변으로 하는 정사각형의 넓이의 합과 같음을 의미한다.

### 변의 길이 계산과 끼인각의 판별

직각 삼각형에서 직각변의 길이를 알고 있다면 빗변의 길이는 피타고라스 정리에 제곱근을 취해 다음과 같이 계산할 수 있다.

 WIKINIUM\_MATH\_PH\_24
비슷하게, 빗변과 한쪽 직각변의 길이가 알려진 경우 다른 쪽 변의 길이는 다음과 같이 계산할 수 있다.

 WIKINIUM\_MATH\_PH\_26
또는

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

또한 빗변의 맞은편 각 WIKINIUM\_MATH\_PH\_30 에 대해, 다음이 성립한다.

 WIKINIUM\_MATH\_PH\_32 이면, WIKINIUM\_MATH\_PH\_34 는 직각이다.
 WIKINIUM\_MATH\_PH\_36 이면, WIKINIUM\_MATH\_PH\_38 는 둔각이다.
 WIKINIUM\_MATH\_PH\_40 이면, WIKINIUM\_MATH\_PH\_42 는 예각이다.
### 피타고라스 삼조

피타고라스 정리의 방정식을 만족시키는 세 양의 정수의 쌍을 **피타고라스 삼조**라고 한다. 예를 들어, WIKINIUM\_MATH\_PH\_44 는 피타고라스 수이다.

## 증명

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

### 대수적 증명

대수적 증명
피타고라스 정리는 다음과 같이 대수적으로 증명할 수 있다.
먼저 위의 그림과 같이 직각변이 WIKINIUM\_MATH\_PH\_46 , 빗변이 WIKINIUM\_MATH\_PH\_48 인 4개의 직각 삼각형을 적절히 배열하여 큰 정사각형을 만들 수 있다. 이 큰 정사각형은 WIKINIUM\_MATH\_PH\_50 를 변으로 하므로 그 넓이는 WIKINIUM\_MATH\_PH\_52 이다. 또한, 이는 WIKINIUM\_MATH\_PH\_54 를 변으로 하는 작은 정사각형의 넓이 WIKINIUM\_MATH\_PH\_56 와 직각 삼각형의 넓이 WIKINIUM\_MATH\_PH\_58 의 4배의 합과 같다.

 WIKINIUM\_MATH\_PH\_60
이를 정리하면 피타고라스 정리를 얻는다.

 WIKINIUM\_MATH\_PH\_62
### 삼각형의 닮음을 통한 증명

삼각형의 닮음을 사용한 증명
피타고라스 정리는 삼각형의 닮음을 사용하여 다음과 같이 증명할 수 있다.

그림에서, WIKINIUM\_MATH\_PH\_64 는 WIKINIUM\_MATH\_PH\_66 를 지나는 빗변 WIKINIUM\_MATH\_PH\_68 의 수선이다.

삼각형 WIKINIUM\_MATH\_PH\_70 와 WIKINIUM\_MATH\_PH\_72 는 각 WIKINIUM\_MATH\_PH\_74 를 공유하는 직각 삼각형이므로, AA에 따라 서로 닮음이다. 마찬가지로, 삼각형 WIKINIUM\_MATH\_PH\_76 와 WIKINIUM\_MATH\_PH\_78 는 서로 닮음이다. 따라서, 대응변에 대한 비례식이 다음과 같이 성립한다.

 WIKINIUM\_MATH\_PH\_80
 WIKINIUM\_MATH\_PH\_82
즉, 다음이 성립한다.

 WIKINIUM\_MATH\_PH\_84
 WIKINIUM\_MATH\_PH\_86
이 두 식을 합하면 피타고라스 정리를 얻는다.

 WIKINIUM\_MATH\_PH\_88
### 유클리드의 증명

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

그림에서, WIKINIUM\_MATH\_PH\_90 와 WIKINIUM\_MATH\_PH\_92 , WIKINIUM\_MATH\_PH\_94 는 모두 정사각형이다. WIKINIUM\_MATH\_PH\_96 를 지나는 WIKINIUM\_MATH\_PH\_98 의 수선은 정사각형 WIKINIUM\_MATH\_PH\_100 를 직사각형 WIKINIUM\_MATH\_PH\_102 과 WIKINIUM\_MATH\_PH\_104 으로 나눈다.

삼각형의 넓이는 '1/2 × 밑변 × 높이'이므로, 삼각형 WIKINIUM\_MATH\_PH\_106 의 넓이는 정사각형 WIKINIUM\_MATH\_PH\_108 의 넓이의 절반이다. 마찬가지로, 삼각형 WIKINIUM\_MATH\_PH\_110 의 넓이는 직사각형 WIKINIUM\_MATH\_PH\_112 의 빨간색 부분의 넓이의 절반이다.

삼각형 WIKINIUM\_MATH\_PH\_114 를 WIKINIUM\_MATH\_PH\_116 를 중심으로 시계 방향으로 90도 회전하면 삼각형 WIKINIUM\_MATH\_PH\_118 를 얻으므로, SAS에 따라 삼각형 WIKINIUM\_MATH\_PH\_120 와 WIKINIUM\_MATH\_PH\_122 는 합동이다. 서로 합동인 삼각형의 넓이는 같으므로, 삼각형 WIKINIUM\_MATH\_PH\_124 와 WIKINIUM\_MATH\_PH\_126 의 넓이는 같다.

따라서, 정사각형 WIKINIUM\_MATH\_PH\_128 의 넓이는 직사각형 WIKINIUM\_MATH\_PH\_130 의 넓이와 같다. 마찬가지로, 정사각형 WIKINIUM\_MATH\_PH\_132 의 넓이는 직사각형 WIKINIUM\_MATH\_PH\_134 의 넓이와 같다. 따라서, 정사각형 WIKINIUM\_MATH\_PH\_136 와 WIKINIUM\_MATH\_PH\_138 의 넓이의 합은 정사각형 WIKINIUM\_MATH\_PH\_140 의 넓이와 같다.

### 가필드의 증명

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

두 평행한 변의 길이가 각각 WIKINIUM\_MATH\_PH\_142 이고 이 두 변과 수직인 변의 길이가 WIKINIUM\_MATH\_PH\_144 인 사다리꼴의 넓이는 다음 공식을 따른다.

제임스 가필드의 증명
 WIKINIUM\_MATH\_PH\_146

그림에서 삼각형 1, 2의 면적은 각각 WIKINIUM\_MATH\_PH\_148 이고, 두 삼각형의 면적의 합은 WIKINIUM\_MATH\_PH\_150 이다.

삼각형 3의 면적은 WIKINIUM\_MATH\_PH\_152 이므로

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

 WIKINIUM\_MATH\_PH\_154

## 역

피타고라스 정리의 역 또한 성립한다. 즉, 만약 삼각형의 세 변 WIKINIUM\_MATH\_PH\_156 가 WIKINIUM\_MATH\_PH\_158 를 만족시킨다면, 이 삼각형은 반드시 WIKINIUM\_MATH\_PH\_160 를 빗변으로 하는 직각 삼각형이다.

### 역의 증명

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

삼각형 WIKINIUM\_MATH\_PH\_162 에서, WIKINIUM\_MATH\_PH\_164 의 대변 WIKINIUM\_MATH\_PH\_166 가 WIKINIUM\_MATH\_PH\_168 를 만족시킨다고 하자.

임의의 점 WIKINIUM\_MATH\_PH\_170 을 취하자. WIKINIUM\_MATH\_PH\_172 를 꼭짓점으로 하는 직각을 그리자. 직각의 두 변에서 각각 적절한 WIKINIUM\_MATH\_PH\_174 를 취하여, WIKINIUM\_MATH\_PH\_176 이며, WIKINIUM\_MATH\_PH\_178 이도록 만들자.

그렇다면, WIKINIUM\_MATH\_PH\_180 는 WIKINIUM\_MATH\_PH\_182 를 직각변으로 하는 직각 삼각형이다. 피타고라스 정리에 따라 그 빗변은 WIKINIUM\_MATH\_PH\_184 이다. SSS에 따라 삼각형 WIKINIUM\_MATH\_PH\_186 와 WIKINIUM\_MATH\_PH\_188 는 서로 합동이다. 따라서 각 WIKINIUM\_MATH\_PH\_190 는 각 WIKINIUM\_MATH\_PH\_192 와 같이 직각이다. 즉, WIKINIUM\_MATH\_PH\_194 는 WIKINIUM\_MATH\_PH\_196 를 빗변으로 하는 직각 삼각형이다.

## 일반화

### 코사인 법칙

임의의 삼각형의 세 변 WIKINIUM\_MATH\_PH\_198 사이에 다음과 같은 관계가 성립하며, 이를 코사인 법칙이라고 한다.

 WIKINIUM\_MATH\_PH\_200
여기서

* WIKINIUM\_MATH\_PH\_202 는 WIKINIUM\_MATH\_PH\_204 의 대각이다.
* WIKINIUM\_MATH\_PH\_206 는 코사인이다.

코사인 법칙에 WIKINIUM\_MATH\_PH\_208 를 취하면 피타고라스 정리를 얻는다.

### 유클리드 거리

직교 좌표계의 두 점 WIKINIUM\_MATH\_PH\_210 사이의 거리는 다음과 같다.

 WIKINIUM\_MATH\_PH\_212
보다 일반적으로, WIKINIUM\_MATH\_PH\_214 차원 유클리드 공간 WIKINIUM\_MATH\_PH\_216 의 두 점 WIKINIUM\_MATH\_PH\_218 사이의 거리는 다음과 같다.

 WIKINIUM\_MATH\_PH\_220
### 노름 공간

내적 공간 WIKINIUM\_MATH\_PH\_222 의 두 벡터 WIKINIUM\_MATH\_PH\_224 가 직교한다고 하자. (즉, WIKINIUM\_MATH\_PH\_226 이라고 하자.) 그렇다면, 이 두 원소의 노름과 둘의 합의 노름 사이에 다음과 같은 관계가 성립하며, 이를 노름 공간 위의 피타고라스 정리라고 한다.

 WIKINIUM\_MATH\_PH\_228
보다 일반적으로, WIKINIUM\_MATH\_PH\_230 개의 벡터 WIKINIUM\_MATH\_PH\_232 가 쌍마다 직교한다고 하자. (즉, WIKINIUM\_MATH\_PH\_234 가 대각 행렬을 이룬다고 하자.) 그렇다면, 이들의 노름과 합의 노름 사이에 다음과 같은 관계가 성립한다.

 WIKINIUM\_MATH\_PH\_236
## 역사

정리에 이름이 붙은 피타고라스는 기원전 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년경)에서도 마찬가지로 나타난다.

피타고라스 학파는 피타고라스 삼조를 구하는 방법을 고안하였다. 즉, 홀수 WIKINIUM\_MATH\_PH\_238 에 대하여, WIKINIUM\_MATH\_PH\_240 는 피타고라스 삼조이다. 또한, 피타고라스 학파의 히파소스는 이 과정에서 통약 불가능 비율을 발견하였다고 여겨진다.

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

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

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

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

|  |  |  |
| --- | --- | --- |
| “ | [...] 그들[피타고라스 학파]이 피타고라스 정리를 증명하였었는지에 대해서는 널리 탐구되어 왔으며, 그에 대한 답은 그렇지 않을 수도 있다는 것이다. 닮음 삼각형을 사용한 증명은 상대적으로 쉬운 방법이나, 피타고라스 학파는 닮음 도형에 대한 완전한 이론을 갖지 못했다. 유클리드의 원론 제1권 명제 47에서의 증명은 닮음 도형 이론을 사용하지 않으므로, 어려운 증명이다. 또한, 프로클로는 이 증명의 공로를 유클리드에게 돌렸다. [...] The question of whether they [the Pythagoreans] proved the Pythagorean theorem has been extensively pursued, and the answer is that they probably did not. It is relatively easy to prove it by using facts about similar triangles, but the Pythagoreans did not have a complete theory of similar figures. The proof given in Proposition 47 of Book I of Euclid's Elements (Chap. 4, sec. 4) is a difficult one because it does not use the theory of similar figures, and this proof was credited by Proclus to Euclid himself. | ” |
|   | —  |

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

* Bogomolny, Alexander. “Pythagorean Theorem” (영어). 《Interactive Mathematics Miscellany and Puzzles》. 2018년 11월 10일에 확인함.  (피타고라스 정리의 118여가지 증명법)
* 이철희. “피타고라스 정리”. 《수학노트》.
* “Pythagorean theorem” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
* Weisstein, Eric Wolfgang. “Pythagorean theorem” (영어). 《Wolfram MathWorld》. Wolfram Research.
* “Pythagorean theorem” (영어). 《nLab》.
* “Pythagorean theorem” (영어). 《PlanetMath》.
* “Proof of Pythagorean theorem” (영어). 《PlanetMath》.
* “Pythagoras's theorem” (영어). 《ProofWiki》.
* “Pythagorean theorem (Hilbert space)” (영어). 《ProofWiki》.