{{위키데이터 속성 추적}}
[[파일:Pythagorean.svg|대체글=|섬네일|'''피타고라스 정리:''' 두 직각변에 얹힌 두 정사각형의 넓이의 합은 빗변에 얹힌 정사각형의 넓이와 같다.]]
[[기하학]]에서 '''피타고라스 정리'''({{문화어|세 평방의 정리}}, {{llang|en|Pythagorean theorem, Pythagoras' theorem}})는 [[직각 삼각형]]의 [[빗변]]을 변으로 하는 정사각형의 넓이는 두 [[직각변]]을 각각 한 변으로 하는 정사각형 넓이의 [[합]]과 같다는 [[정리]]이다. 또한, 피타고라스 정리는 [[유클리드 기하학]]에서 직각삼각형을 이루는 세 변의 길이의 비에 대한 기본적인 관계이다. 이 정리는 피타고라스 방정식이라고 불리는 다리 a, b와 빗변 c의 길이에 관련된 [[방정식]]으로 쓰여질 수 있다.<ref name="Sally0">{{서적 인용|title=Roots to research: a vertical development of mathematical problems |author1=Judith D. Sally |author2=Paul Sally |page=63 |chapter=Chapter 3: Pythagorean triples |chapter-url=https://books.google.com/books?id=nHxBw-WlECUC&pg=PA63 |isbn=978-0-8218-4403-8 |year=2007 |publisher=American Mathematical Society Bookstore}}</ref>

:<math>a^2+b^2=c^2</math>

이 정리는 기원전 570년경에 태어난 [[고대 그리스|그리스]] 철학자 [[피타고라스]]의 이름을 따서 붙여졌다. [[고전 고대]]에 그에게서 기인되었음에도 불구하고, 그 정리의 양상이 초기 문화에 알려졌다는 증거가 있어 현대의 학계에서는 피타고라스 자신이 그것을 알고 있었는지에 대해서도 의문을 제기해왔다. 그 정리는 많은 다른 방법들에 의해 수없이 [[증명 (수학)|증명]]되었다. 증명은 기하학적 증명과 대수적 증명 모두를 포함하여 다양하며, 일부는 수천 년 전으로 거슬러 올라간다.

이 정리는 [[고차원 공간|차원]], [[비유클리드 기하학|유클리드 공간이 아닌 공간]], 직각 삼각형이 아닌 객체, 그리고 전혀 삼각형이 아닌 n차원 입체 객체 등 다양한 방법으로 [[일반화]]될 수 있다. 피타고라스의 정리는 수학적 난해함, 신비성, 또는 지적 힘의 상징으로서 문학, 연극, 뮤지컬, 노래, 우표, 그리고 만화 등 수학 외의 관심을 끌었다.

== 정의 ==
직각 삼각형의 두 직각변 <math>a,b</math>를 각각 한 변으로 하는 정사각형 면적의 합은 빗변 <math>c</math>를 한 변으로 하는 정사각형의 면적과 같다.
:<math>a^2+b^2=c^2</math>
즉, <math>c</math>의 제곱은 <math>a</math>와 <math>b</math>의 제곱의 합이다. 다시 말해, <math>c</math>를 변으로 하는 [[정사각형]]의 [[넓이]]는 <math>a</math>를 변으로 하는 정사각형의 넓이와 <math>b</math>를 변으로 하는 정사각형의 넓이의 합이다.

=== 다른 형식 ===
피타고라스 정리는 직각 삼각형의 직각변 <math>a,b</math>와 빗변 <math>c</math> 가운데 둘을 알 때 남은 하나를 구하는 형식으로 쓸 수 있다.

직각 삼각형의 다리 길이만 알고 빗변은 알고 있지 않다면 빗변의 길이는 다음 방정식으로 계산할 수 있다.
:<math>c=\sqrt{a^2+b^2}</math>
빗변과 한쪽 다리의 길이가 알려진 경우, 다른 쪽 다리의 길이는 다음과 같이 계산될 수 있다.
:<math>a=\sqrt{c^2-b^2}</math>
또는
:<math>b=\sqrt{c^2-a^2}</math>
여기서 <math>x</math>가 음이 아닌 [[실수]]일 때, <math>\sqrt x</math>는 <math>x</math>의 [[주요 제곱근|음이 아닌 제곱근]]을 나타낸다.

이 정리의 일반화는 [[코사인 법칙]]으로, 다른 두 변의 길이와 그들 사이의 각도를 고려할 때, 삼각형의 어느 변의 길이를 계산할 수 있다. 다른 변 사이의 각도가 직각이라면 코사인 법칙은 피타고라스 방정식으로 감소한다.

=== 피타고라스 삼조 ===
{{본문|피타고라스 삼조}}
피타고라스 정리의 관계를 만족시키는 세 양의 정수의 쌍을 '''[[피타고라스 삼조]]'''라고 한다. 예를 들어, <math>(3,4,5)</math>는 피타고라스 수이다.

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

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

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

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

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

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

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

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

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

=== 대수적 증명 ===
[[파일:Pythagoras proof.svg|섬네일|[[대수적]] 증명]]
피타고라스 정리는 [[대수학]]의 방법을 사용하여 다음과 같이 증명할 수 있다.

그림과 같이, 직각변이 <math>a,b</math>, 빗변이 <math>c</math>인 4개의 직각 삼각형을 적절히 배열하여 큰 정사각형을 만들 수 있다.

이 큰 정사각형은 <math>(a+b)</math>를 변으로 하므로 그 넓이는 <math>(a+b)^2</math>이다. 또한, 이는 <math>c</math>를 변으로 하는 작은 정사각형의 넓이 <math>c^2</math>와 직각 삼각형의 넓이 <math>\textstyle\frac 12ab</math>의 4배의 합과 같다.
:<math>(a+b)^2=c^2+4\cdot\frac 12ab=c^2+2ab</math>
이를 정리하면 피타고라스 정리를 얻는다.
:<math>c^2=(a+b)^2-2ab=a^2+2ab+b^2-2ab=a^2+b^2</math>

=== 가필드의 증명 ===
미국의 20대 대통령 [[제임스 A. 가필드|제임스 가필드]]는 다음과 같은 방법으로 피타고라스 정리를 증명했다.<ref>{{웹 인용|url=http://www.faculty.umb.edu/gary_zabel/Courses/Phil%20281b/Philosophy%20of%20Magic/Arcana/Neoplatonism/Pythagoras/index.shtml.html|제목=Pythagorean Theorem and its many proofs|확인날짜=2019-01-30}}</ref>

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

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

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

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

<math>a^2+b^2=c^2</math>

== 역 ==
피타고라스 정리의 [[역 (논리학)|역]] 또한 성립한다. 즉, 만약 삼각형의 세 변 <math>a,b,c</math>가 <math>a^2+b^2=c^2</math>를 만족시킨다면, 이 삼각형은 반드시 <math>c</math>를 빗변으로 하는 직각 삼각형이다.

=== 역의 증명 ===
피타고라스 정리의 [[역 (논리학)|역]]은 다음과 같이 증명할 수 있다.

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

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

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

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

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

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

== 역사 ==
바빌론인은 많은 쌍의 [[피타고라스 삼조]]를 알고 있었다.

검증되지 않은 일화에 따르면, 이집트인은 밧줄을 <math>3 : 4 : 5 </math>비율로 매듭내어 직각삼각형을 만들었다.<ref name="Kline" />

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

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

인도인 역시 피타고라스 정리를 "직사각형의 대각선의 제곱은 두 이웃변의 제곱합과 같다"는 내용으로서 알고 있었다.<ref name="Kline" /> 이는 적절한 모양의 제단을 만드는 데 응용되었다.<ref>Carl Benjamin Boyer; Uta C. Merzbach (2011). "China and India". A history of mathematics, 3rd Edition. Wiley. p. 229. {{ISBN|978-0470525487}}. Quote: [In Sulba-sutras,] we find rules for the construction of right angles by means of triples of cords the lengths of which form Pythagorean triages, such as 3, 4, and 5, or 5, 12, and 13, or 8, 15, and 17, or 12, 35, and 37. Although Mesopotamian influence in the Sulvasũtras is not unlikely, we know of no conclusive evidence for or against this. Aspastamba knew that the square on the diagonal of a rectangle is equal to the sum of the squares on the two adjacent sides. Less easily explained is another rule given by Apastamba – one that strongly resembles some of the geometric algebra in Book II of Euclid's Elements. (...)</ref>

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

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

{{인용문2|[...] 그들[피타고라스 학파]이 피타고라스 정리를 증명하였었는지에 대해서는 널리 탐구되어 왔으며, 그에 대한 답은 그렇지 않을 수도 있다는 것이다. 닮음 삼각형을 사용한 증명은 상대적으로 쉬운 방법이나, 피타고라스 학파는 닮음 도형에 대한 완전한 이론을 갖지 못했다. 유클리드의 원론 제1권 명제 47에서의 증명은 닮음 [[도형]] 이론을 사용하지 않으므로, 어려운 증명이다. 또한, 프로클로는 이 증명의 공로를 유클리드에게 돌렸다.<br />{{lang|en|[...] 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.}}|<ref name="Kline">{{서적 인용
|성=Kline
|이름=Morris
|제목=Mathematical Thoughts from Ancient to Modern Times. Volume 1
|언어=en
|출판사=Oxford University Press
|위치=New York, New York
|날짜=1972
|isbn=0-19-506135-7
}}</ref>{{rp|34, §3.5}}}}

== 피타고라스 정리를 이용한 삼각형의 종류의 판별 ==
만약, <math>a^2+b^2=c^2</math>라면, 그 삼각형은 <math>\angle C</math>가 [[직각]]인 [[직각삼각형]]이다.

만약, <math>a^2+b^2<c^2 </math>라면, 그 삼각형은 <math>\angle C</math>가 [[둔각]]인 [[둔각삼각형]]이다.

만약, <math>a^2+b^2>c^2 </math>라면, 그 삼각형은 <math>\angle C</math>가 [[예각]]인 [[예각삼각형]]이다.

여기서, <math>c</math>는 [[빗변]], <math>a, b</math>는 직각을 낀 빗변이 아닌 나머지 두 변이고, 삼각형이 될 필요충분조건인 <math>a+b>c </math>를 만족한다.(여기서, <math>\angle C</math>는 변 <math>c</math>의 대각을 뜻한다.)

== 같이 보기 ==
{{위키공용분류}}
* [[페르마의 마지막 정리]]
* [[피타고라스]]
* [[법칙]]
* [[수학]]
* [[도형]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{웹 인용|url=http://www.cut-the-knot.org/pythagoras/index.shtml|성=Bogomolny|이름=Alexander|제목=Pythagorean Theorem|언어=en|웹사이트=Interactive Mathematics Miscellany and Puzzles|확인날짜=2018-11-10}} (피타고라스 정리의 118여가지 증명법)
* {{수학노트|title=피타고라스 정리}}
* {{eom|title=Pythagorean theorem}}
* {{매스월드|id=PythagoreanTheorem|title=Pythagorean theorem}}
* {{nlab|id=Pythagorean theorem}}
* {{플래닛매스|urlname=PythagoreanTheorem|title=Pythagorean theorem}}
* {{플래닛매스|urlname=ProofOfPythagoreanTheorem|title=Proof of Pythagorean theorem}}
* {{proofwiki|id=Pythagoras's_Theorem|제목=Pythagoras's theorem}}
* {{proofwiki|id=Pythagorean Theorem (Hilbert Space)|제목=Pythagorean theorem (Hilbert space)}}

{{전거 통제}}

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