두 단 증명: 수학자처럼 논증하는 법

진술, 이유. 진술, 이유. 두 단 증명은 암기 과제가 아니라 논리 형식입니다. 각 규칙이 언제 적용되는지, 그리고 어떻게 유효한 논증으로 이어 붙이는지 배우실 것입니다.

8 분TEKS 4A,4B,4C,4D기하학

증명은 암기가 아닙니다 — 논리입니다

두 단 증명은 형식이 낯설어 학생들에게 부담스럽게 느껴집니다. 그러나 형식을 걷어내면 여러분이 매일 사용하는 그 추론과 같습니다: X가 주어졌을 때 Y를 결론짓고, 그 이유를 설명한다. Texas Geometry CBE는 증명을 처음부터 만들라고 요구하지 않으며, 오직 주어진 단계에 대한 올바른 이유를 식별하라고 요구합니다.

연역적 추론 vs 귀납적 추론

연역적 추론: 일반 규칙에서 → 구체적인 결론으로 갑니다. "모든 정사각형은 네 각이 직각이다. ABCD는 정사각형이다 ⇒ ABCD는 네 각이 직각이다." 증명은 이 방식을 사용합니다.
귀납적 추론: 구체적 예에서 → 일반 규칙으로 갑니다. "1, 4, 9, 16 → 패턴은 n²." 추측을 세울 때 쓸 뿐 증명에는 사용하지 않습니다.

핵심 아이디어

두 단 증명은 모두 연역적 추론을 사용합니다. 주어진 사실에서 출발해 확립된 정리·공준을 적용하고, 결론까지 사슬을 이어갑니다. 모든 행에는 정당한 근거가 필요합니다.

추론 유형 식별

두 단 증명에서 사용되는 추론 유형은?

반대편의 추론

구체적 예에서 일반 규칙을 만들어 내는 추론은?

형식

왼쪽: 참인 사실. 오른쪽: 왜 참인지. 모든 "왜"에는 정의·공준·정리 또는 주어진 조건이 인용됩니다.

자주 인용되는 이유들

주어진 조건 (Given): 문제에서 명시한 사항으로, 모든 증명의 출발점입니다.
반사성 성질 (Reflexive): 모든 것은 자기 자신과 합동입니다. AB ≅ AB. 두 삼각형이 한 변을 공유할 때 사용합니다.
맞꼭지각 정리: X자 모양으로 마주 보는 두 각은 서로 같습니다. "삼각형 합동" 문제에 자주 등장합니다.
SSS / SAS / ASA / AAS / HL: 다섯 가지 삼각형 합동 규칙 — 두 삼각형이 합동임을 결론지을 때 인용하는 "이유"입니다.
CPCTC: 합동인 삼각형의 대응 부분은 합동이다. 두 삼각형의 합동을 증명한 뒤에 사용하며, 특정 변·각의 쌍이 같음을 결론짓게 해 줍니다.
[도형/용어]의 정의: 예: "중점의 정의" → 그 선분이 두 등분 부분으로 나뉜다는 뜻입니다.

전략

목표에서 거꾸로 풀어 나가시기 바랍니다

먼저 무엇을 증명해야 하는지를 살펴보시기 바랍니다. "이런 결론을 낼 수 있는 규칙이 무엇인가?"라고 자문하고, 이어서 "그 규칙을 적용하려면 무엇이 필요할까?"라고 다시 물어 보십시오. 뒤에서부터 되짚어 나가면 사슬이 명확하게 보입니다.

합동을 증명할 수 없는 이유들

AAA와 SSA

세 각이 모두 일치하는 AAA는 닮음을 증명할 뿐 합동은 아닙니다. 두 변과 끼지 않은 각(SSA)은 유명한 "이중해의 경우"로 서로 다른 두 삼각형이 만들어질 수 있습니다. 둘 다 CBE의 단골 함정입니다.

무효한 "이유" 찾기

두 삼각형의 합동을 증명하는 방법으로 옳지 않은 것은?

3초 요약

두 단 증명은 연역적 추론을 사용합니다(일반 → 구체).
왼쪽 = 진술, 오른쪽 = 이유. 모든 단계에 근거가 필요합니다.
자주 쓰는 이유: 주어진 조건, 반사성, 맞꼭지각, SSS/SAS/ASA/AAS/HL, CPCTC.
CPCTC는 언제나 두 삼각형의 합동을 증명한 뒤에 사용합니다.
목표에서 거꾸로 풀어 사슬을 찾으시기 바랍니다.

스스로 확인하기

확인 문제 #1

두 단 증명에서 유효한 이유(REASON)는?

확인 문제 #2

증명에서 첫 번째 줄은 보통 무엇입니까?