이단 증명은 미국 고등학교 기하학에서 명제가 참임을 증명하는 데 사용되는 표준 형식입니다. 왼쪽 열에는 진술이 나열되고, 오른쪽 열에는 각 진술이 타당한 이유(공준, 정리, 정의 또는 주어진 조건)가 나열됩니다. 이 패턴을 내면화하면, 배정된 거의 모든 증명은 올바른 이유를 올바른 순서로 선택하는 문제가 됩니다.
이단 형식
모든 이단 증명은 동일한 골격을 가집니다:
- 주어진 조건 — 문제가 알려주는 내용(사실, 도형의 표시)
- 증명할 내용 — 정당화해야 하는 진술
- 진술 / 이유 표 — 논리적 단계마다 한 행씩, "증명할 내용" 진술로 끝남
각 행의 이유는 다음 중 하나여야 합니다:
- 주어진 조건 (문제의 사실을 다시 진술)
- 정의 (예: "중점의 정의")
- 공준 (증명 없이 받아들이는 규칙, 예: SSS, SAS, ASA)
- 정리 (이전에 증명된 규칙, 예: 수직각 정리)
- 등식/합동의 성질 (반사, 대칭, 추이, 치환)
공준/정리 치트 시트
이들을 암기하세요 — 함께하면 고등학교 증명의 90%를 다룹니다:
- SSS 공준 — 세 쌍의 변이 같음 ⇒ 삼각형 합동
- SAS 공준 — 두 변과 끼인각이 같음 ⇒ 합동
- ASA 공준 — 두 각과 끼인변이 같음 ⇒ 합동
- AAS 정리 — 두 각과 끼인변이 아닌 변이 같음 ⇒ 합동
- HL 정리 — 빗변 + 한 변이 같음 (직각삼각형에만) ⇒ 합동
- CPCTC — "합동인 삼각형의 대응 부분은 합동이다" (삼각형이 합동임을 증명한 후에 변/각 쌍이 일치함을 결론짓기 위해 사용)
- 수직각 정리 — 수직각은 합동이다
- 엇각 정리 — 평행선 + transversal ⇒ 엇각이 같음
- 이등변삼각형 정리 — 같은 변의 대각이 같음 (그리고 역)
- 반사 성질 — 모든 선분이나 각은 자기 자신과 합동이다 (∠A ≅ ∠A, AB ≅ AB)
합동 공준에 대한 더 깊은 내용은 삼각형의 합동을 증명하는 방법: 5가지 방법을 참조하세요.
범용 템플릿
거의 모든 삼각형 합동 증명은 이 6단계 골격을 따릅니다. 대괄호를 채우세요:
- [주어진 사실 1] — 주어진 조건
- [주어진 사실 2] — 주어진 조건
- [공유하는 변 또는 수직각 관찰] — 반사 성질 / 수직각 정리
- △ABC ≅ △DEF — [SSS / SAS / ASA / AAS / HL]
- [결론에서 원하는 변/각 쌍] — CPCTC
- QED (또는 "∎") — 증명 완료
예제 증명 1 — SSS 합동
주어진 조건: AB ≅ DE, BC ≅ EF, AC ≅ DF.
증명할 내용: △ABC ≅ △DEF.
| 진술 | 이유 |
|---|
| 1. AB ≅ DE | 1. 주어진 조건 |
| 2. BC ≅ EF | 2. 주어진 조건 |
| 3. AC ≅ DF | 3. 주어진 조건 |
| 4. △ABC ≅ △DEF | 4. SSS 공준 |
예제 증명 2 — 공유하는 변을 이용한 SAS (반사 성질)
주어진 조건: AB ≅ AD, ∠BAC ≅ ∠DAC.
증명할 내용: △ABC ≅ △ADC.
| 진술 | 이유 |
|---|
| 1. AB ≅ AD | 1. 주어진 조건 |
| 2. ∠BAC ≅ ∠DAC | 2. 주어진 조건 |
| 3. AC ≅ AC | 3. 반사 성질 |
| 4. △ABC ≅ △ADC | 4. SAS 공준 |
3행의 반사 단계는 두 삼각형이 한 변을 공유할 때 SAS나 ASA를 적용할 수 있게 해줍니다. 이를 잊는 것이 학생 증명이 불완전해지는 가장 큰 원인입니다.
예제 증명 3 — 평행선 + 엇각
주어진 조건: AB ∥ CD, AC ≅ BD.
증명할 내용: △ABE ≅ △DCE, 여기서 E는 AD와 BC의 교점.
| 진술 | 이유 |
|---|
| 1. AB ∥ CD | 1. 주어진 조건 |
| 2. ∠ABE ≅ ∠DCE | 2. 엇각 정리 |
| 3. ∠BAE ≅ ∠CDE | 3. 엇각 정리 |
| 4. AC ≅ BD | 4. 주어진 조건 (평행선 사이의 선분이 같음) |
| 5. AB ≅ CD | 5. 합동인 transversal로 잘린 평행선분의 성질 |
| 6. △ABE ≅ △DCE | 6. ASA 공준 (단계 2, 5, 3) |
예제 증명 4 — 이등변삼각형 밑각 + CPCTC
주어진 조건: AB ≅ AC, AD가 ∠BAC를 이등분함.
증명할 내용: ∠B ≅ ∠C.
| 진술 | 이유 |
|---|
| 1. AB ≅ AC | 1. 주어진 조건 |
| 2. AD가 ∠BAC를 이등분함 | 2. 주어진 조건 |
| 3. ∠BAD ≅ ∠CAD | 3. 각 이등분선의 정의 |
| 4. AD ≅ AD | 4. 반사 성질 |
| 5. △ABD ≅ △ACD | 5. SAS 공준 (단계 1, 3, 4) |
| 6. ∠B ≅ ∠C | 6. CPCTC |
이것은 이등변삼각형 정리의 고전적인 증명입니다. 6단계 골격 — 주어진 조건 → 주어진 조건 → 정의 → 반사 → 합동 → CPCTC — 은 교과서 문제에서 반복적으로 나타납니다.
증명에서 흔한 실수
- 합동을 증명하기 전에 CPCTC를 인용 — CPCTC는 항상 △ABC ≅ △DEF를 증명한 행 다음인 N+1행이며, 그 이전에는 절대 사용하지 않음
- SSA 사용 — SSA 합동 공준은 존재하지 않음 ("모호한 경우" — 여러 삼각형이 가능). HL은 직각삼각형에만 적용
- 반사 단계 생략 — 두 삼각형이 변이나 각을 공유하면, 비록 당연해 보이더라도 반사 성질을 명시적으로 인용해야 함
- "중점의 정의"를 공준으로 취급 — 이들은 서로 다른 범주의 이유임. 정의는 가역적(M이 중점 ⇔ AM ≅ MB); 공준은 보통 단방향 규칙
- ∥과 ⊥ 혼동 — 평행 표시(선분의 »)와 수직 표시(각의 □)가 시험 압박에서 섞임. 천천히 하고 먼저 도형에 표시하세요
방법 선택을 위한 진단 흐름도
- 두 삼각형의 합동을 증명하는가? → 주어진 조건이 지지하는 가장 강력한 공준 선택: SSS > SAS > ASA > AAS > HL
- 두 선분 또는 두 각의 합동을 증명하는가? → 먼저 둘러싼 삼각형의 합동을 증명한 후 CPCTC로 마무리
- 평행선이 관련되었는가? → 엇각 정리 또는 대응각 공준이 등장할 것으로 예상
- 두 삼각형이 변이나 꼭짓점을 공유하는가? → 반사 행이 있을 것으로 예상
- 삼각형이 직각삼각형인가? → SSS/SAS 전에 HL 고려 (종종 단계가 적음)
FAQ
이단 증명이 유일하게 허용되는 형식인가? 아니요 — 문단 증명과 흐름도 증명도 유효합니다. 이단은 미국 고등학교의 기본 형식이며 채점하기 가장 쉬워서 교사들이 보통 요구합니다.
모든 정리를 암기해야 하는가? 전부는 아닙니다. 위의 치트 시트(SSS/SAS/ASA/