피타고라스 정리가 말하는 것
정확히 90도 각을 하나만 가진 직각삼각형에서, 빗변(직각과 마주보는 변)의 길이의 제곱은 나머지 두 변(각각 「직각변」이라 부름)의 길이의 제곱의 합과 같습니다. 공식으로 쓰면: a^2 + b^2 = c^2, 여기서 a와 b는 두 직각변, c는 빗변입니다. 이 관계는 고대 그리스 수학자 피타고라스의 이름을 따서 불리지만, 같은 수치적 관계가 피타고라스 이전에 이미 바빌로니아를 비롯한 여러 고대 수학자들에게 정식 증명과는 별개로 알려지고 사용되었다는 증거가 있습니다.
이 정리는 평평한(유클리드) 평면 위의 직각삼각형에만 적용됩니다. 직각이 없는 삼각형에는 성립하지 않으며 -- 그런 경우 더 일반적인 코사인 법칙이 필요합니다 -- 구면처럼 곡면 위에 그려진 삼각형에도 정확히 성립하지 않는데, 그 기하학 자체가 다르기 때문입니다.
왜 성립하는가: 고전적인 재배열 증명
이 정리를 보여주는 가장 유명한 방법 중 하나인 재배열 증명은, 직각변이 a와 b이고 빗변이 c인 동일한 직각삼각형 네 개를 한 변의 길이가 (a + b)인 하나의 큰 정사각형 안에 배치합니다. 한 가지 방식으로 배치하면 네 삼각형이 한 변의 길이가 c인 작고 기울어진 안쪽 정사각형을 둘러싸게 되어, 큰 정사각형의 넓이는 네 삼각형과 그 안쪽 정사각형의 합으로 나뉩니다: (a + b)^2 = 4 × (1/2 × a × b) + c^2, 이는 (a + b)^2 = 2ab + c^2로 정리됩니다.
왼쪽 변을 대수적으로 전개하면 (a + b)^2 = a^2 + 2ab + b^2입니다. 같은 정사각형의 총넓이를 나타내는 두 식을 같다고 놓으면: a^2 + 2ab + b^2 = 2ab + c^2. 양변에서 2ab를 빼면 a^2 + b^2 = c^2가 남는데 -- 이것이 바로 피타고라스 정리이며, 같은 정사각형의 넓이를 두 가지 방식으로 비교하는 것만으로 유도된 것입니다. 이 증명은 수 세기에 걸쳐 발표된 수백 가지 증명 중 하나일 뿐이며, 엘리샤 루미스의 저서 『The Pythagorean Proposition』은 이 정리의 서로 다른 증명 367가지를 정리해 두었습니다.
피타고라스 수: 3-4-5와 그 너머
피타고라스 수란 a^2 + b^2 = c^2를 정확히 만족하는 양의 정수 a, b, c의 조합을 말하며, 이는 반올림 없이 그 세 정수 길이를 그대로 갖는 직각삼각형이 존재한다는 뜻입니다. 가장 작고 가장 널리 알려진 수는 3-4-5인데, 3^2 + 4^2 = 9 + 16 = 25 = 5^2이기 때문입니다.
이미 알려진 피타고라스 수의 정수 배수 역시 항상 유효한 피타고라스 수입니다 -- 예를 들어 3-4-5를 두 배 하면 6-8-10, 세 배 하면 9-12-15가 되며, 둘 다 a^2 + b^2 = c^2를 만족합니다. 아래의 3-4-5, 5-12-13, 8-15-17처럼 더 작은 수의 배수가 아닌 피타고라스 수는 원시 피타고라스 수라고 부릅니다.
| 직각변 a | 직각변 b | 빗변 c |
|---|---|---|
| 3 | 4 | 5 |
| 5 | 12 | 13 |
| 8 | 15 | 17 |
| 7 | 24 | 25 |
| 9 | 40 | 41 |
| 20 | 21 | 29 |
실생활 활용: 대각선과 거리
직사각형의 대각선은 인접한 두 변과 함께 직각삼각형을 이루므로, 피타고라스 정리는 대각선의 길이를 곧바로 알려줍니다: 대각선 = (길이^2 + 너비^2)의 제곱근. 6×8 크기의 직사각형은 대각선이 (6^2 + 8^2)의 제곱근 = (36 + 64)의 제곱근 = 100의 제곱근 = 정확히 10단위입니다 -- 3-4-5의 배수인 6-8-10 수입니다.
같은 원리를 3차원으로 확장하면 직육면체의 공간 대각선을 구할 수 있는데, 정리를 두 번 적용합니다: 먼저 밑면 직사각형의 대각선을 구하고, 그 대각선을 직육면체의 높이와 결합합니다. 12×9×8 크기의 직육면체는 공간 대각선이 (12^2 + 9^2 + 8^2)의 제곱근 = (144 + 81 + 64)의 제곱근 = 289의 제곱근 = 정확히 17단위입니다. 두 점 사이의 직선 거리를 구하는 좌표 거리 공식 d = ((x2-x1)^2 + (y2-y1)^2)의 제곱근은 같은 정리를 두 점의 수평·수직 차이에 직접 적용한 것입니다: 점 (1,2)와 (4,6)의 경우, 거리는 (3^2 + 4^2)의 제곱근 = 25의 제곱근 = 5입니다.
역: 3-4-5로 직각을 확인하기
피타고라스 정리의 역 또한 참이며 실무에서 자주 쓰입니다: 측정한 세 변의 길이가 a^2 + b^2 = c^2를 만족한다면, 그 각을 직접 측정하지 않았더라도 그 세 변이 이루는 삼각형은 가장 긴 변과 마주보는 위치에 직각을 가질 수밖에 없습니다. 이 역은 건설·목공에서 직각(90도) 모서리를 확인하거나 맞추는 데 쓰이는 전통적인 3-4-5 방법의 근거입니다: 한 변을 따라 3단위, 그와 수직인 변을 따라 4단위를 표시한 뒤 두 표시점 사이의 대각선이 정확히 5단위인지 확인하면 그 모서리가 참된 직각임이 확인됩니다.
이것이 성립하는 이유는 역이 유일한 결과를 보장하기 때문입니다: a^2 + b^2 = c^2를 만족하는 세 양의 길이는 오직 직각삼각형만 이룰 수 있으며, 예각삼각형이나 둔각삼각형은 될 수 없고, 직각은 항상 가장 긴 변 c와 마주보는 위치에 있습니다. 6-8-10이나 9-12-15 같은 3-4-5 수의 배수는 더 큰 모서리를 확인할 때도 동일하게 작동합니다.
자주 묻는 질문
피타고라스 정리 공식은 무엇인가요?
a^2 + b^2 = c^2이며, 여기서 a와 b는 직각삼각형의 두 직각변, c는 직각과 마주보는 변인 빗변입니다. 이 정리는 평평한 평면 위의 직각삼각형에만 적용됩니다.
피타고라스 정리는 어떻게 증명하나요?
고전적인 방법 중 하나인 재배열 증명은 동일한 직각삼각형 네 개를 한 변이 (a + b)인 정사각형 안에 배치해, 그 총넓이를 두 가지 방식 -- 한 번은 (a + b)^2으로, 한 번은 네 삼각형과 넓이 c^2인 기울어진 안쪽 정사각형의 합으로 -- 계산할 수 있게 합니다. 이 두 넓이 식을 같다고 놓고 대수적으로 정리하면 a^2 + b^2 = c^2가 나옵니다. 엘리샤 루미스의 저서가 정리한 367가지를 포함해 수백 가지의 대안 증명도 발표되어 있습니다.
피타고라스 수란 무엇이고, 가장 작은 것은 무엇인가요?
피타고라스 수는 a^2 + b^2 = c^2를 정확히 만족하는 양의 정수 a, b, c의 조합입니다. 가장 작고 가장 흔한 수는 3-4-5인데, 3^2 + 4^2 = 9 + 16 = 25 = 5^2이기 때문입니다. 그 밖에 흔히 쓰이는 수로는 5-12-13, 8-15-17, 7-24-25, 9-40-41이 있습니다.
피타고라스 정리로 직사각형의 대각선을 어떻게 구하나요?
직사각형의 대각선은 그 직사각형의 길이와 너비를 두 직각변으로 하는 직각삼각형의 빗변을 이루므로, 대각선 = (길이^2 + 너비^2)의 제곱근입니다. 6×8 직사각형의 대각선은 (36 + 64)의 제곱근 = 100의 제곱근 = 정확히 10단위입니다.
피타고라스 정리는 곡면에서도 성립하나요?
아닙니다. 이 정리는 평평한(유클리드) 평면 위의 직각삼각형에만 정확히 성립합니다. 구면 같은 곡면에서는 각과 변의 관계가 다른 비유클리드 기하학의 지배를 받으며, 90도 각을 가진 삼각형이라도 a^2 + b^2 = c^2가 더 이상 정확히 성립하지 않습니다.
건축업자들은 3-4-5 규칙으로 직각을 어떻게 확인하나요?
피타고라스 정리의 역에 따르면, 측정한 세 길이가 a^2 + b^2 = c^2를 만족하면 가장 긴 길이와 마주보는 각은 반드시 정확히 90도입니다. 한 변을 따라 3단위, 그에 수직인 변을 따라 4단위를 표시한 뒤 두 점 사이의 거리가 정확히 5단위인지 확인하면 참된 직각 모서리가 검증되며, 이는 건설과 목공에서 흔히 쓰이는 방법입니다.
참고 자료
- Weisstein, Eric W. "Pythagorean Theorem" and "Pythagorean Triple." MathWorld — A Wolfram Web Resource. mathworld.wolfram.com.
- Loomis ES. The Pythagorean Proposition. National Council of Teachers of Mathematics (NCTM), 1968 (a compendium of 367 proofs).
- Euclid. Elements, Book I, Proposition 47 (the classical geometric proof of the theorem).