계산기 설명
피타고라스 정리 계산기는 직각삼각형의 임의의 두 변으로 나머지 한 변을 구합니다. 두 직각변 a, b를 알면 빗변 c=a2+b2를, 빗변과 한 직각변을 알면 다른 직각변을 역산합니다. 삼각형의 넓이 ab/2도 함께 줍니다.
문제에 「직각」이 나오면 어디든 쓸 수 있습니다. 벽과 바닥, 화면의 가로와 세로, 좌표축 위의 두 변위, 사다리와 벽이 그렇습니다. 두 변을 재면 나머지 한 변은 재지 않아도 됩니다. 이 계산기는 두 점 사이 거리, 코사인 법칙, 벡터의 크기 같은 개념의 출발점이기도 하며, 이것을 이해하면 직각좌표계에서 「길이」가 어떻게 정의되는지 이해하게 됩니다.
하지 않는 일도 있습니다. 직각이 아닌 삼각형을 다루지 않고(그것은 코사인 법칙이나 사인 법칙이 필요합니다), 주어진 세 변이 삼각형을 이루는지 판단하지 않으며, 단위 환산도 하지 않습니다. 세 변은 반드시 같은 길이 단위를 써야 합니다.
계산 예
네 가지 계산 예는 모두 엔진 pythagorean의 compute로 다시 계산했습니다. 표시 기준은 소수점 이하 최대 8자리, 뒤쪽 0 제거입니다.
예 1: 고전적인 3-4-5
입력: a=3, b=4.
- a2+b2=9+16=25.
- c=25=5.
- 넓이 S=3×4/2=6.
화면 표시: 빗변 5, 넓이 6. 가장 작은 정수 피타고라스 수 조합이며, 《주비산경》의 「구삼고사현오(勾三股四弦五)」가 바로 이것을 말합니다.
그림 1: 예 1의 직각삼각형. 빗변은 직각을 마주 보는 변이며 언제나 가장 길다
예 2: 빗변을 알고 직각변 역산
입력: c=13, b=5(a 비움).
- c2−b2=169−25=144.
- a=144=12.
화면 표시: 직각변 a 12. 이때 「넓이」 필드가 0으로 표시되는 것에 주의하십시오. 엔진은 두 직각변이 모두 입력일 때만 넓이를 계산하고, 역산한 a는 넓이 계산에 참여하지 않습니다. 넓이를 보려면 12를 「직각변 a」에 다시 넣고 빗변을 비우면 30이 나옵니다.
예 3: 사다리 문제
길이 6.5 m의 사다리를 벽에 기대어 놓았고, 사다리 발이 벽에서 2.5 m 떨어져 있다면 꼭대기는 얼마나 높을까요? 여기서 빗변은 사다리이고, 직각변은 「벽에서 떨어진 거리」와 「높이」입니다.
입력: c=6.5, a=2.5(b 비움).
- c2−a2=42.25−6.25=36.
- b=36=6.
화면 표시: 직각변 b 6. 반대로 벽에서 2.5 m, 높이 6 m를 알면 a=2.5, b=6을 입력해 빗변 6.5, 넓이 7.5를 얻습니다.
예 4: 무리수 결과와 화면 대각선
입력: a=1, b=1: c=2, 화면 표시는 1.41421356(8자리), 넓이는 0.5. 역사상 처음으로 「분수가 아님」이 증명된 길이입니다.
입력: a=1920, b=1080(1080p 화면의 픽셀 가로·세로): 대각선은 2202.90717008 픽셀입니다. 이 화면의 공칭 크기가 27인치(대각선 27 in)라면 c=27, b=13.24(높이)로 역산해 가로 23.53088184 in를 얻습니다. 「27인치」는 가로가 아니라 대각선을 가리킵니다.
예 1의 입력을 패널에 그대로 넣어 재현할 수 있습니다. a, b를 모두 1로 바꾸면 빗변이 1.41421356이 됩니다.
원리와 유도
직각변의 제곱합이 빗변의 제곱과 같은 이유
가장 직관적인 증명은 퍼즐 맞추기입니다. 한 변의 길이가 a+b인 큰 정사각형을 두 가지 방법으로 잘라 봅니다.
- 자르기 1: 네 변에 각각 한 점을 잡아 큰 정사각형을 합동인 직각삼각형 네 개(직각변 a, b)와 가운데 기울어진 정사각형으로 나눕니다. 기울어진 정사각형의 변이 바로 직각삼각형의 빗변 c이므로 가운데 넓이는 c2입니다.
- 자르기 2: 같은 삼각형 네 개를 둘씩 붙여 a×b 직사각형 두 개를 만들고 큰 정사각형의 두 모서리에 놓으면, 남는 것은 정확히 a×a 정사각형 하나와 b×b 정사각형 하나이고 넓이는 a2+b2입니다.
두 방법에 쓰인 삼각형 네 개가 완전히 같고 큰 정사각형도 같으므로, 남는 넓이도 같아야 합니다: c2=a2+b2.
그림 2: 같은 (a+b)²의 두 가지 자르기. 네 삼각형이 같으므로 c² = a² + b²
유클리드 《원론》 제1권 명제 47은 다른 증명을 제시합니다. 세 변에 바깥쪽으로 정사각형을 세우고 작은 두 정사각형의 넓이 합이 큰 정사각형의 넓이와 같음을 보이는 방식입니다. 명제 48은 역정리를 증명합니다. 삼각형이 a2+b2=c2을 만족하면 그 삼각형은 반드시 직각삼각형입니다. 역정리는 공사 현장에서 「3-4-5로 직각을 잡는」 근거입니다. 길이 3, 4, 5를 재어 만든 삼각형의 끼인각은 정확히 90°입니다.
사실은 「거리」의 정의
직각좌표계에서 (x1,y1)에서 (x2,y2)로 가는 두 변위 Δx, Δy는 서로 수직이므로 두 점 사이의 직선거리가 빗변입니다: d=Δx2+Δy2. 이것이 두 점 사이 거리 계산기의 공식이고, 3차원으로 확장하는 것은 피타고라스를 한 번 더 쓰는 것과 같습니다(먼저 밑면의 대각선을 구하고, 그것과 높이로 새 직각삼각형을 만듭니다). 벡터의 크기, 복소수의 절댓값, 통계의 표준편차(편차 제곱합의 제곱근)도 모두 같은 식입니다.
코사인 법칙과의 관계
임의의 삼각형에서 c2=a2+b2−2abcosC입니다. 끼인각 C=90°이면 cosC=0이 되어 마지막 항이 사라지고 피타고라스 정리로 퇴화합니다. 따라서 피타고라스 정리는 코사인 법칙의 직각 특수형입니다. 반대로 c2과 a2+b2의 대소 관계로 끼인각이 예각(c2<a2+b2)인지 둔각(c2>a2+b2)인지 판단할 수 있습니다.
피타고라스 수
세 변이 모두 정수인 직각삼각형을 피타고라스 수 조합(피타고라스 삼원조)이라 합니다. 가장 작은 몇 가지는 다음과 같습니다.
| (a,b,c) |
검산 |
| (3, 4, 5) |
9+16=25 |
| (5, 12, 13) |
25+144=169 |
| (8, 15, 17) |
64+225=289 |
| (7, 24, 25) |
49+576=625 |
| (20, 21, 29) |
400+441=841 |
유클리드 공식은 모든 원시 피타고라스 수를 생성합니다. 서로소이고 홀짝이 다른 양의 정수 m>n을 잡고 a=m2−n2, b=2mn, c=m2+n2으로 두면 됩니다. m=2,n=1은 (3, 4, 5)를, m=3,n=2는 (5, 12, 13)을 줍니다. 어떤 피타고라스 수든 비례해서 키워도 여전히 피타고라스 수입니다. (6, 8, 10), (0.3, 0.4, 0.5)도 계산기에서 깔끔한 결과를 냅니다.
역사
바빌로니아 점토판 플림프턴 322(기원전 1800년경)에는 이미 많은 피타고라스 수가 적혀 있습니다. 중국의 《주비산경》에는 「구삼고사현오」가 실려 있고, 《구장산술》의 「구고」 장은 피타고라스 정리로 문제를 푸는 방법을 체계적으로 제시했으며, 조상(趙爽)이 주석을 달며 그린 「현도(弦圖)」가 바로 위의 퍼즐 증명입니다. 피타고라스 학파(기원전 6세기경)가 최초의 일반적 증명을 제시한 것으로 여겨지며, 2의 발견으로 분수로 쓸 수 없는 길이가 존재한다는 사실도 알게 되었습니다. 「구(勾)」와 「고(股)」는 직각삼각형 두 직각변의 옛 이름이고(짧은 변이 구, 긴 변이 고), 「현(弦)」은 빗변입니다.
평면에서만 성립
피타고라스 정리는 유클리드 평면기하학의 정리입니다. 구면에서는 서로 수직인 두 대원호 a, b와 세 번째 변 c가 cosc=cosacosb를 만족하며(단위구), 세 변이 구의 반지름보다 훨씬 작을 때만 a2+b2=c2로 근사해 돌아옵니다. 지도에서 수십 킬로미터 안에서는 피타고라스를 안심하고 써도 되지만, 대륙을 넘는 거리에는 구면 공식을 써야 합니다.