피타고라스 정리

기하학에서 피타고라스 정리(문화어: 세 평방의 정리, 영어: Pythagorean theorem, Pythagoras' theorem)는 직각 삼각형의 빗변을 변으로 하는 정사각형의 넓이는 두 직각변을 각각 한 변으로 하는 정사각형 넓이의 합과 같다는 정리이다. 또한, 피타고라스 정리는 유클리드 기하학에서 직각삼각형을 이루는 세 변의 길이의 비에 대한 기본적인 관계이다. 이 정리는 피타고라스 방정식이라고 불리는 다리 a, b와 빗변 c의 길이에 관련된 방정식으로 쓰여질 수 있다. a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} 이 정리는 기원전 570년경에 태어난 그리스 철학자 피타고라스의 이름을 따서 붙여졌다. 고전 고대에 그에게서 기인되었음에도 불구하고, 그 정리의 양상이 초기 문화에 알려졌다는 증거가 있어 현대의 학계에서는 피타고라스 자신이 그것을 알고 있었는지에 대해서도 의문을 제기해왔다. 그 정리는 많은 다른 방법들에 의해 수없이 증명되었다. 증명은 기하학적 증명과 대수적 증명 모두를 포함하여 다양하며, 일부는 수천 년 전으로 거슬러 올라간다. 이 정리는 차원, 유클리드 공간이 아닌 공간, 직각 삼각형이 아닌 객체, 그리고 전혀 삼각형이 아닌 n차원 입체 객체 등 다양한 방법으로 일반화될 수 있다. 피타고라스의 정리는 수학적 난해함, 신비성, 또는 지적 힘의 상징으로서 문학, 연극, 뮤지컬, 노래, 우표, 그리고 만화 등 수학 외의 관심을 끌었다. 직각 삼각형의 두 직각변 a , b {\displaystyle a,b} 를 각각 한 변으로 하는 정사각형 면적의 합은 빗변 c {\displaystyle c} 를 한 변으로 하는 정사각형의 면적과 같다. a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} 즉, c {\displaystyle c} 의 제곱은 a {\displaystyle a} 와 b {\displaystyle b} 의 제곱의 합이다. 다시 말해, c {\displaystyle c} 를 변으로 하는 정사각형의 넓이는 a {\displaystyle a} 를 변으로 하는 정사각형의 넓이와 b {\displaystyle b} 를 변으로 하는 정사각형의 넓이의 합이다. 피타고라스 정리는 직각 삼각형의 직각변 a , b {\displaystyle a,b} 와 빗변 c {\displaystyle c} 가운데 둘을 알 때 남은 하나를 구하는 형식으로 쓸 수 있다. 직각 삼각형의 다리 길이만 알고 빗변은 알고 있지 않다면 빗변의 길이는 다음 방정식으로 계산할 수 있다. c = a 2 + b 2 {\displaystyle c={\sqrt {a^{2}+b^{2}}}} 빗변과 한쪽 다리의 길이가 알려진 경우, 다른 쪽 다리의 길이는 다음과 같이 계산될 수 있다. a = c 2 − b 2 {\displaystyle a={\sqrt {c^{2}-b^{2}}}} 또는 b = c 2 − a 2 {\displaystyle b={\sqrt {c^{2}-a^{2}}}} 여기서 x {\displaystyle x} 가 음이 아닌 실수일 때, x {\displaystyle {\sqrt {x}}} 는 x {\displaystyle x} 의 음이 아닌 제곱근을 나타낸다. 이 정리의 일반화는 코사인 법칙으로, 다른 두 변의 길이와 그들 사이의 각도를 고려할 때, 삼각형의 어느 변의 길이를 계산할 수 있다. 다른 변 사이의 각도가 직각이라면 코사인 법칙은 피타고라스 방정식으로 감소한다. 피타고라스 정리의 관계를 만족시키는 세 양의 정수의 쌍을 피타고라스 삼조라고 한다. 예를 들어, ( 3 , 4 , 5 ) {\displaystyle (3,4,5)} 는 피타고라스 수이다. 피타고라스 정리를 증명하는 방법은 여러 가지가 있다. 유클리드는 원론에서 피타고라스 정리를 다음과 같이 증명하였다. 그림에서, A B D E {\displaystyle ABDE} 와 A C F G {\displaystyle ACFG} , B C H J {\displaystyle BCHJ} 는 모두 정사각형이다. C {\displaystyle C} 를 지나는 A B {\displaystyle AB} 의 수선은 정사각형 A B D E {\displaystyle ABDE} 를 직사각형 A E L M {\displaystyle AELM} 과 B D L M {\displaystyle BDLM} 으로 나눈다. 삼각형의 넓이는 '1/2 × 밑변 × 높이'이므로, 삼각형 A B G {\displaystyle ABG} 의 넓이는 정사각형 A C F G {\displaystyle ACFG} 의 넓이의 절반이다. 마찬가지로, 삼각형 A E C {\displaystyle AEC} 의 넓이는 직사각형 A E L M {\displaystyle AELM} 의 빨간색 부분의 넓이의 절반이다. 삼각형 A B G {\displaystyle ABG} 를 A {\displaystyle A} 를 중심으로 시계 방향으로 90도 회전하면 삼각형 A E C {\displaystyle AEC} 를 얻으므로, SAS에 따라 삼각형 A B G {\displaystyle ABG} 와 A E C {\displaystyle AEC} 는 합동이다. 서로 합동인 삼각형의 넓이는 같으므로, 삼각형 A B G {\displaystyle ABG} 와 A E C {\displaystyle AEC} 의 넓이는 같다. 따라서, 정사각형 A C F G {\displaystyle ACFG} 의 넓이는 직사각형 A E L M {\displaystyle AELM} 의 넓이와 같다. 마찬가지로, 정사각형 B C H J {\displaystyle BCHJ} 의 넓이는 직사각형 B D L M {\displaystyle BDLM} 의 넓이와 같다. 따라서, 정사각형 A C F G {\displaystyle ACFG} 와 B C H J {\displaystyle BCHJ} 의 넓이의 합은 정사각형 A B D E {\displaystyle ABDE} 의 넓이와 같다. 피타고라스 정리는 삼각형의 닮음을 사용하여 다음과 같이 증명할 수 있다. 그림에서, C H {\displaystyle CH} 는 C {\displaystyle C} 를 지나는 빗변 A B {\displaystyle AB} 의 수선이다. 삼각형 A C H {\displaystyle ACH} 와 A B C {\displaystyle ABC} 는 각 A {\displaystyle A} 를 공유하는 직각 삼각형이므로, AA에 따라 서로 닮음이다. 마찬가지로, 삼각형 C B H {\displaystyle CBH} 와 A B C {\displaystyle ABC} 는 서로 닮음이다. 따라서, 대응변에 대한 비례식이 다음과 같이 성립한다. A C A H = A B A C {\displaystyle {\frac {AC}{AH}}={\frac {AB}{AC}}} B C B H = A B B C {\displaystyle {\frac {BC}{BH}}={\frac {AB}{BC}}} 즉, 다음이 성립한다. A C 2 = A B ⋅ A H {\displaystyle AC^{2}=AB\cdot AH} B C 2 = A B ⋅ B H {\displaystyle BC^{2}=AB\cdot BH} 이 두 식을 합하면 피타고라스 정리를 얻는다. A C 2 + B C 2 = A B ⋅ A H + A B ⋅ B H = A B ⋅ ( A H + B H ) = A B 2 {\displaystyle AC^{2}+BC^{2}=AB\cdot AH+AB\cdot BH=AB\cdot (AH+BH)=AB^{2}} 피타고라스 정리는 대수학의 방법을 사용하여 다음과 같이 증명할 수 있다. 그림과 같이, 직각변이 a , b {\displaystyle a,b} , 빗변이 c {\displaystyle c} 인 4개의 직각 삼각형을 적절히 배열하여 큰 정사각형을 만들 수 있다. 이 큰 정사각형은 ( a + b ) {\displaystyle (a+b)} 를 변으로 하므로 그 넓이는 ( a + b ) 2 {\displaystyle (a+b)^{2}} 이다. 또한, 이는 c {\displaystyle c} 를 변으로 하는 작은 정사각형의 넓이 c 2 {\displaystyle c^{2}} 와 직각 삼각형의 넓이 1 2 a b {\displaystyle \textstyle {\frac {1}{2}}ab} 의 4배의 합과 같다. ( a + b ) 2 = c 2 + 4 ⋅ 1 2 a b = c 2 + 2 a b {\displaystyle (a+b)^{2}=c^{2}+4\cdot {\frac {1}{2}}ab=c^{2}+2ab} 이를 정리하면 피타고라스 정리를 얻는다. c 2 = ( a + b ) 2 − 2 a b = a 2 + 2 a b + b 2 − 2 a b = a 2 + b 2 {\displaystyle c^{2}=(a+b)^{2}-2ab=a^{2}+2ab+b^{2}-2ab=a^{2}+b^{2}} 미국의 20대 대통령 제임스 가필드는 다음과 같은 방법으로 피타고라스 정리를 증명했다. 두 평행한 변의 길이가 각각 a , b {\displaystyle a,b} 이고 이 두 변과 수직인 변의 길이가 a + b {\displaystyle a+b} 인 사다리꼴의 넓이는 다음 공식을 따른다. A = 1 2 ( a + b ) 2 = 1 2 ( a 2 + 2 a b + b 2 ) {\displaystyle A={\frac {1}{2}}(a+b)^{2}={\frac {1}{2}}(a^{2}+2ab+b^{2})} 그림에서 삼각형 1, 2의 면적은 각각 1 2 a b {\displaystyle {\tfrac {1}{2}}ab} 이고, 두 삼각형의 면적의 합은 a b {\displaystyle ab} 이다. 삼각형 3의 면적은 A − a b = 1 2 ( a 2 + b 2 ) = 1 2 c 2 {\displaystyle A-ab={\frac {1}{2}}(a^{2}+b^{2})={\frac {1}{2}}c^{2}} 이므로 이를 정리하면 피타고라스 정리를 얻는다. a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} 피타고라스 정리의 역 또한 성립한다. 즉, 만약 삼각형의 세 변 a , b , c {\displaystyle a,b,c} 가 a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} 를 만족시킨다면, 이 삼각형은 반드시 c {\displaystyle c} 를 빗변으로 하는 직각 삼각형이다. 피타고라스 정리의 역은 다음과 같이 증명할 수 있다. 삼각형 A B C {\displaystyle ABC} 에서, A , B , C {\displaystyle A,B,C} 의 대변 a , b , c {\displaystyle a,b,c} 가 a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} 를 만족시킨다고 하자. 임의의 점 C ′ {\displaystyle C'} 을 취하자. C ′ {\displaystyle C'} 를 꼭짓점으로 하는 직각을 그리자. 직각의 두 변에서 각각 적절한 A ′ , B ′ {\displaystyle A',B'} 를 취하여, A ′ C ′ = A C = b {\displaystyle A'C'=AC=b} 이며, B ′ C ′ = B C = a {\displaystyle B'C'=BC=a} 이도록 만들자. 그렇다면, A ′ B ′ C ′ {\displaystyle A'B'C'} 는 a , b {\displaystyle a,b} 를 직각변으로 하는 직각 삼각형이다. 피타고라스 정리에 따라 그 빗변은 c {\displaystyle c} 이다. SSS에 따라 삼각형 A B C {\displaystyle ABC} 와 A ′ B ′ C ′ {\displaystyle A'B'C'} 는 서로 합동이다. 따라서 각 C {\displaystyle C} 는 각 C ′ {\displaystyle C'} 와 같이 직각이다. 즉, A B C {\displaystyle ABC} 는 c {\displaystyle c} 를 빗변으로 하는 직각 삼각형이다. 임의의 삼각형의 세 변 a , b , c {\displaystyle a,b,c} 사이에 다음과 같은 관계가 성립하며, 이를 코사인 법칙이라고 한다. c 2 = a 2 + b 2 − 2 a b cos ⁡ C {\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos C} 여기서 C {\displaystyle C} 는 c {\displaystyle c} 의 대각이다. cos {\displaystyle \cos } 는 코사인이다. 코사인 법칙에 C = π 2 = 90 ∘ {\displaystyle \textstyle C={\frac {\pi }{2}}=90^{\circ }} 를 취하면 피타고라스 정리를 얻는다. 직교 좌표계의 두 점 ( x 1 , y 1 ) , ( x 2 , y 2 ) ∈ R 2 {\displaystyle (x_{1},y_{1}),(x_{2},y_{2})\in \mathbb {R} ^{2}} 사이의 거리는 다음과 같다. ( x 1 − x 2 ) 2 + ( y 1 − y 2 ) 2 {\displaystyle {\sqrt {(x_{1}-x_{2})^{2}+(y_{1}-y_{2})^{2}}}} 보다 일반적으로, n {\displaystyle n} 차원 유클리드 공간 R n {\displaystyle \mathbb {R} ^{n}} 의 두 점 ( a 1 , … , a n ) , ( b 1 , … , b n ) ∈ R n {\displaystyle (a_{1},\dots ,a_{n}),(b_{1},\dots ,b_{n})\in \mathbb {R} ^{n}} 사이의 거리는 다음과 같다. ( a 1 − b 1 ) 2 + ⋯ + ( a n − b n ) 2 {\displaystyle {\sqrt {(a_{1}-b_{1})^{2}+\cdots +(a_{n}-b_{n})^{2}}}} 내적 공간 ( V , ⟨ ⋅ , ⋅ ⟩ ) {\displaystyle (V,\langle \cdot ,\cdot \rangle )} 의 두 벡터 v , w ∈ V {\displaystyle v,w\in V} 가 직교한다고 하자. (즉, ⟨ v , w ⟩ = 0 {\displaystyle \langle v,w\rangle =0} 이라고 하자.) 그렇다면, 이 두 원소의 노름과 둘의 합의 노름 사이에 다음과 같은 관계가 성립하며, 이를 노름 공간 위의 피타고라스 정리라고 한다. ‖ v + w ‖ 2 = ‖ v ‖ 2 + ‖ w ‖ 2 {\displaystyle \Vert v+w\Vert ^{2}=\Vert v\Vert ^{2}+\Vert w\Vert ^{2}} 보다 일반적으로, n {\displaystyle n} 개의 벡터 v 1 , … , v n ∈ V {\displaystyle v_{1},\dots ,v_{n}\in V} 가 쌍마다 직교한다고 하자. (즉, ⟨ v i , v j ⟩ {\displaystyle \langle v_{i},v_{j}\rangle } 가 대각 행렬을 이룬다고 하자.) 그렇다면, 이들의 노름과 합의 노름 사이에 다음과 같은 관계가 성립한다. ‖ v 1 + ⋯ + v n ‖ 2 = ‖ v 1 ‖ 2 + ⋯ + ‖ v n ‖ 2 {\displaystyle \Vert v_{1}+\cdots +v_{n}\Vert ^{2}=\Vert v_{1}\Vert ^{2}+\cdots +\Vert v_{n}\Vert ^{2}} 바빌론인은 많은 쌍의 피타고라스 삼조를 알고 있었다. 검증되지 않은 일화에 따르면, 이집트인은 밧줄을 3 : 4 : 5 {\displaystyle 3:4:5} 비율로 매듭내어 직각삼각형을 만들었다. 피타고라스 학파는 피타고라스 삼조를 구하는 방법을 고안하였다. 즉, 홀수 m {\displaystyle m} 에 대하여, ( m , m 2 − 1 2 , m 2 + 1 2 ) {\displaystyle \textstyle (m,{\frac {m^{2}-1}{2}},{\frac {m^{2}+1}{2}})} 는 피타고라스 삼조이다. 또한, 피타고라스 학파의 히파소스는 이 과정에서 통약 불가능 비율을 발견하였다고 여겨진다. 에우클레이데스는 원론에서 피타고라스 정리를 서술 및 증명하였으며, 이는 발견된 최초의 증명이다. 인도인 역시 피타고라스 정리를 "직사각형의 대각선의 제곱은 두 이웃변의 제곱합과 같다"는 내용으로서 알고 있었다. 이는 적절한 모양의 제단을 만드는 데 응용되었다. 유휘는 《구장산술주》에서 원주율을 계산하는 데 피타고라스 정리를 사용하였다. 피타고라스 학파가 피타고라스 정리를 발견 및 증명하였는지는 확실하지 않다. 프로클로는 원론의 주해를 쓸 때, 정리의 발견과 최초 증명에 대한 공로를 피타고라스에게 돌렸다. 이에 대하여, 모리스 클라인은 다음과 같이 적었다. 만약, a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} 라면, 그 삼각형은 ∠ C {\displaystyle \angle C} 가 직각인 직각삼각형이다. 만약, a 2 + b 2 < c 2 {\displaystyle a^{2}+b^{2}<c^{2}} 라면, 그 삼각형은 ∠ C {\displaystyle \angle C} 가 둔각인 둔각삼각형이다. 만약, a 2 + b 2 > c 2 {\displaystyle a^{2}+b^{2}>c^{2}} 라면, 그 삼각형은 ∠ C {\displaystyle \angle C} 가 예각인 예각삼각형이다. 여기서, c {\displaystyle c} 는 빗변, a , b {\displaystyle a,b} 는 직각을 낀 빗변이 아닌 나머지 두 변이고, 삼각형이 될 필요충분조건인 a + b > c {\displaystyle a+b>c} 를 만족한다.(여기서, ∠ C {\displaystyle \angle C} 는 변 c {\displaystyle c} 의 대각을 뜻한다.) 위키미디어 공용에 관련된 미디어 분류가 있습니다. 피타고라스 정리 페르마의 마지막 정리 피타고라스 법칙 수학 도형 Judith D. Sally; Paul Sally (2007). 〈Chapter 3: Pythagorean triples〉. 《Roots to research: a vertical development of mathematical problems》. American Mathematical Society Bookstore. 63쪽. ISBN 978-0-8218-4403-8.  “Pythagorean Theorem and its many proofs”. 2019년 1월 30일에 확인함.  Kline, Morris (1972). 《Mathematical Thoughts from Ancient to Modern Times. Volume 1》 (영어). New York, New York: Oxford University Press. ISBN 0-19-506135-7.  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. (...) 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》 (영어).