정리가 증명되면 다른 결과들이 거의 즉시 도출되는 경우가 많습니다. 따름정리는 정리에서 직접적으로 도출되는 명제로, 보통 추가적인 작업이 거의 필요하지 않습니다. 따름정리는 새로운 정리라기보다는 자연스러운 귀결에 가깝습니다.
유클리드 원론에는 수많은 따름정리가 담겨 있습니다. 삼각형의 내각의 합이 180도임을 증명한 후, 삼각형은 두 각이 모두 직각일 수 없다는 따름정리가 나옵니다. 이 따름정리는 주된 정리가 확립되면 유용하고 쉽게 이해할 수 있습니다.
수학자들은 지식을 체계화하기 위해 따름정리를 사용합니다. 따름정리는 중요한 결과를 강조하고 참조하기 쉽게 만들어 줍니다. 정리, 명제, 보조정리, 따름정리의 구분은 부분적으로 강조점의 차이입니다. 보조정리는 디딤돌이고, 따름정리는 최종 결과입니다. 둘 다 주 증명이 구축한 논리적 구조에 의존합니다.
- 정리로부터 쉽게 도출된다
- 일반적으로 추가적인 증거는 거의 필요하지 않습니다.
- 유클리드 기하학 및 현대 문헌에서 흔히 볼 수 있는 내용입니다.
- 중요한 결과를 강조합니다
Comments (2)
Leave a comment