이 그림에서 보는 피타고라스 정리
피타고라스 정리(중국에서는 구고정리라고도 합니다)는 가 직각인 삼각형에서 직각을 끼고 있는 두 변 , 와 빗변 가 을 만족한다는 정리입니다. 두 직각변 위 정사각형 넓이의 합이 빗변 위 정사각형의 넓이와 같습니다. 역도 성립합니다. 을 만족하는 삼각형은 가 직각입니다. 이 페이지는 유클리드의 그림(원론 I.47)을 그리고 가 직각에서 벗어나게 하여 코사인 법칙으로 확장합니다.
각 꼭짓점에서 내린 높이의 선을 대변 위 정사각형까지 연장하면 두 직사각형으로 나뉩니다. 꼭짓점 옆 직사각형의 넓이는 그곳에서 만나는 두 변의 길이를 곱하고 그 각의 코사인을 곱한 값입니다. 같은 꼭짓점 옆의 두 직사각형은 각각 다른 정사각형에 속하지만 넓이가 같습니다. 옆에는 빗금, 옆에는 점, 옆에는 노란색을 사용했습니다. 세 정사각형의 조각들을 더하면 코사인 법칙이 나옵니다. 가 직각이면 노란 조각이 사라지고, 에서 내린 높이의 선이 위 정사각형을 정확히 과 로 나눕니다. 직각이 아니면 노란 조각이 차이를 만들며 각각 입니다. 가 예각이면 양수, 둔각이면 음수입니다. 각 조각은 해당 꼭짓점의 각이 둔각일 때에만 음수가 되어 정사각형 밖에 그려집니다. 이때 그 정사각형의 다른 조각은 정사각형 전체보다 큽니다.
세 증명은 세 가지 질문에 답합니다. 전단(유클리드)은 에서 옆의 조각을 위 정사각형으로 옮깁니다. 전단은 밑변과 높이를 유지하고 90° 회전은 모양과 크기를 유지하므로 모든 순간 넓이가 같습니다. 90°가 아니면 그 조각만 움직이고 노란 조각은 남습니다. 분할(조상(趙爽)의 그림, 3세기)은 합동인 삼각형 네 개와 한 변이 인 정사각형으로 을 채웁니다. 이며, 두 삼각형을 꼭짓점을 중심으로 돌리면 과 을 채웁니다. 닮음은 높이를 따라 원래 삼각형과 닮은 두 삼각형으로 나누며, 각각 와 위에 놓입니다. 닮은 도형의 넓이는 변의 길이의 제곱에 비례하므로 세 변 위의 반원, 정삼각형 또는 원래 삼각형과 닮은 도형도 정사각형처럼 넓이가 더해집니다.
눈여겨볼 점
- 등식에는 직각이 필요하며 는 그 맞은편 변입니다. 직각을 에 두면 대신 옆의 조각들이 사라집니다: . 길이 자체가 더해지는 것은 아닙니다. 3 + 4는 5가 아닙니다.
- 조각은 정사각형 전체보다 클 수도, 음수일 수도 있습니다. , , 일 때 옆의 조각은 로 보다 큽니다. 둔각 옆의 조각은 이며 바깥에 파선으로 그립니다.
- 각이 정확한 직각일 때에만 ‘= 0’과 직각 표시가 나옵니다. 손잡이의 걸림 위치에 맞추거나, 값을 입력하거나, 를 드래그하다가 붙는 위치에서 설정할 수 있습니다. 직각에 가깝게만 드래그한 삼각형은 ‘≈ 0.01’을 표시합니다. 거의 직각인 것과 직각인 것은 다릅니다.
조작 방법
- C를 드래그하면 , , 위의 정사각형은 고정됩니다. 는 를 지름으로 하는 원(가 직각)과, , 를 지나 에 수직인 직선에 붙습니다. 회전 손잡이는 , 을 유지하며 를 바꾸고, 휠은 를 유지하며 , 를 바꿉니다. 변은
3,√2,1/3처럼, 각은60°나π/3처럼 입력하세요. 조상의 그림과 닮은 삼각형 증명에는 직각이 필요합니다. 먼저 를 90°로 옮기고, 원래 삼각형은 돌아갈 수 있도록 희미한 윤곽으로 남겨 둡니다. - 발표 모드는 프로젝터용 전체 화면을 엽니다. 스페이스로 증명을 실행하고, ← → 로 ∠C를 특수각 사이에서 바꾸며, H로 모든 답을 숨깁니다. 공유는 현재 삼각형, 도형, 증명의 링크를 복사합니다.
관련 항목
두 점 사이의 거리 와 단위원 위의 은 이 정리의 응용입니다. 를 지름으로 하는 원 위에서는 모든 각 가 직각입니다(탈레스 정리, 원주각 정리).
더 읽어 보기: Wikipedia: Pythagorean theorem (영어); Wikipedia: Law of cosines (영어); MacTutor 수학사 아카이브: Euclid of Alexandria (영어).