Math Atlas

ASA·AAS와 직각삼각형의 합동ASA, AAS & HL

GeometryGeometry · 3. 삼각형의 합동3. Triangle Congruence

학습 목표
  • ASA 합동 조건을 쓰고, AAS가 ASA의 따름정리임을 증명할 수 있다.
  • SSA가 합동 조건이 못 되는 이유를 반례 그림으로 설명할 수 있다.
  • 직각삼각형의 HL(빗변·다른 한 변) 조건을 쓸 수 있다.
  • 다섯 조건(SSS·SAS·ASA·AAS·HL)과 두 함정(AAA·SSA)을 가려낼 수 있다.

ASA: 두 각과 끼인변

변 하나에 양 끝 각 둘 — 이 묶음도 삼각형을 결정한다.

ASA 합동 조건 — 두 쌍의 대응각과 그 끼인변이 각각 같으면 두 삼각형은 합동이다.

이유는 그리는 순서에 있다. 끼인변을 놓으면 양 끝에서 두 각이 반직선의 방향을 각각 고정하고, 셋째 꼭짓점은 그 두 반직선의 교점이다. 그런데 서로 다른 두 직선은 많아야 한 점에서 만난다 — 첫 차시의 첫 정리가 여기서 유일성을 보증한다. 교점이 하나뿐이니 삼각형도 하나뿐이다. SSS·SAS와 함께 ASA도 공리 목록에 얹는다.

예제 1 · 평행선이 각 재료를 대 준다

ABCD\overline{AB} \parallel \overline{CD}이고, 선분 AD\overline{AD}BC\overline{BC}가 점 MM에서 만난다. MMAD\overline{AD}의 중점이면 MMBC\overline{BC}의 중점이기도 함을 증명하여라.

A B C D M
평행선 사이에서 만나는 두 선분 — 엇각 두 쌍이 공짜다.

증명.

문장 근거
MAB=MDC\angle MAB = \angle MDC 엇각 정리 — AD\overline{AD}는 평행선의 횡단선
AM=DMAM = DM MMAD\overline{AD}의 중점
AMB=DMC\angle AMB = \angle DMC 맞꼭지각 정리
AMBDMC\triangle AMB \cong \triangle DMC ①, ②, ③ — ASA
BM=CMBM = CM 대응변 — 즉 MMBC\overline{BC}의 중점

\blacksquare

각·변·각 순서로 재료를 적었고, 변 AMAM이 두 각 사이에 끼어 있음을 확인했다. 각 재료 둘을 평행선(엇각)과 맞꼭지각이 공짜로 만들어 냈다는 점이 이 증명의 풍경이다 — U2에서 쌓은 정리들이 합동의 재료 공장이 되었다.

AAS: 공리가 아니라 정리

두 각과 끼이지 않은 변 하나(AAS)는 어떨까. 이것도 합동을 강제한다 — 그런데 이번에는 공리로 얹을 필요가 없다. 내각합 정리가 있으니 증명이 되기 때문이다.

두 각이 같으면 셋째 각도 같다 — 180°180°에서 같은 두 각을 빼면 남는 것도 같으니까. 셋째 각이 확보되는 순간, 주어진 변은 어떤 두 각 사이엔가 반드시 끼게 되고, ASA가 마무리한다. (정식 두 칸 증명은 문제 11에서 쓴다.)

같은 세 글자여도 신분이 다르다 — ASA는 공리, AAS는 정리. 무엇이 공짜고 무엇이 증명으로 얻어진 것인지의 장부는 계속 정직하게 적어 간다.

SSA: 조건이 되지 못한 배열

두 변과 끼이지 않은 각(SSA)은 어떨까. 지난 차시부터 미뤄 온 반례를 공개한다.

A B C₁ C₂
같은 각 A, 같은 변 AB, 같은 길이 BC — 그런데 삼각형이 둘이다.

AA와 변 ABAB를 고정하고, BB에서 길이 BCBC를 컴퍼스로 벌려 밑변 쪽으로 휘둘러 보라. 원호가 밑변 반직선과 두 점 C1C_1, C2C_2에서 만난다. 삼각형 ABC1ABC_1ABC2ABC_2A\angle A, ABAB, BCBC가 전부 같지만 — 하나는 CC의 각이 둔각, 하나는 예각으로 — 서로 합동이 아니다. 같은 SSA 자료에 삼각형이 둘이니, SSA는 삼각형을 결정하지 못한다. 반례 하나면 충분하다.

HL: 직각이 SSA를 구출한다

그런데 그림을 다시 보면 탈출구가 보인다. 원호가 두 점에서 만나는 건 변 BCBC비스듬히 설 수 있기 때문인데, 주어진 각이 직각이면 사정이 달라진다.

HL 합동 조건 — 두 직각삼각형에서 빗변과 다른 한 변이 각각 같으면 합동이다. (직각 90°90°·빗변 H·다리 L — 배열로는 SSA지만 성립하는 특례다.)

근거는 미리 적어 둔다: 직각삼각형에서는 빗변과 한 변이 남은 변의 길이를 결정한다는 사실이 성립하고(그 유명한 피타고라스 정리의 즉각적 결과 — U7에서 증명한다, 빚 하나 기록), 세 변이 정해지니 SSS로 환원된다. 다음 차시의 도구로 피타고라스 없이 증명하는 길도 있다 — 그쪽은 다음 차시 문제로 만난다.

조건 총정리

판정 배열 신분
SSS 변 · 변 · 변 공리
SAS 변 · 끼인각 · 변 공리
ASA 각 · 끼인변 · 각 공리
AAS 각 · 각 · 변 정리 (내각합으로 ASA에 환원)
HL 직각 · 빗변 · 변 정리 (U7에서 상환할 빚 포함)
AAA 각 · 각 · 각 ✗ — 크기를 못 정한다 (다른 크기의 정삼각형 반례)
SSA 변 · 변 · 안 끼인 각 ✗ — 오늘의 두 삼각형 반례 (직각이면 HL로 구출)

다섯이 통과하고 둘이 탈락한다. 탈락 둘의 사인이 각각 반례 하나였다는 것 — 수학 주장의 문법 그대로다.

Goals
  • Use the ASA congruence criterion, and prove that AAS is a corollary of it.
  • Explain, with the counterexample figure, why SSA fails as a criterion.
  • Use the HL (hypotenuse–leg) criterion for right triangles.
  • Sort the five criteria (SSS, SAS, ASA, AAS, HL) from the two traps (AAA, SSA).

ASA: two angles and the included side

One side with the two angles at its ends — this bundle also determines a triangle.

ASA Congruence Criterion — if two pairs of corresponding angles and their included sides are equal, the triangles are congruent.

The reason lives in the drawing order. Lay down the included side; the two angles at its ends fix the directions of two rays, and the third vertex is where those rays intersect. But two different lines meet in at most one point — the very first theorem of this course, now guaranteeing uniqueness. One intersection, one triangle. ASA joins SSS and SAS on the postulate list.

Example 1 · Parallel lines supply the angles

ABCD\overline{AB} \parallel \overline{CD}, and segments AD\overline{AD} and BC\overline{BC} meet at MM. Prove that if MM is the midpoint of AD\overline{AD}, it is the midpoint of BC\overline{BC} as well.

A B C D M
Two segments crossing between parallel lines — two free pairs of angles.

Proof.

Statement Reason
MAB=MDC\angle MAB = \angle MDC Alternate angles theorem — AD\overline{AD} is a transversal of the parallels
AM=DMAM = DM MM is the midpoint of AD\overline{AD}
AMB=DMC\angle AMB = \angle DMC Vertical Angles Theorem
AMBDMC\triangle AMB \cong \triangle DMC ①, ②, ③ — ASA
BM=CMBM = CM Corresponding sides — that is, MM is the midpoint of BC\overline{BC}

\blacksquare

The ingredients are listed angle–side–angle, and the side AMAM sits between its two angles. The scenery worth admiring: both angle ingredients came free — one from parallel lines (alternate angles), one from vertical angles. The theorems stacked in Unit 2 have become a parts factory for congruence.

AAS: a theorem, not a postulate

What about two angles and a non-included side (AAS)? It, too, forces congruence — but this one needs no postulate. With the angle sum theorem in hand, it can be proved.

If two angles match, so does the third — subtract the same two angles from 180°180° and the remainders agree. The moment the third angle is secured, the given side finds itself included between some two matching angles, and ASA finishes. (The formal two-column proof is yours in Problem 11.)

Same three letters, different status — ASA is a postulate, AAS a theorem. The ledger of what is free versus what is earned stays honestly kept.

SSA: the arrangement that never made the cut

And two sides with a non-included angle (SSA)? The counterexample postponed since last lesson is hereby unsealed.

A B C₁ C₂
Same angle A, same side AB, same length BC — yet two triangles.

Fix angle AA and side ABAB; then open a compass to length BCBC at BB and swing it toward the base ray. The arc crosses the ray at two points, C1C_1 and C2C_2. Triangles ABC1ABC_1 and ABC2ABC_2 share A\angle A, ABAB, and BCBC in full — yet one has an obtuse angle at CC and the other an acute one. Not congruent. One SSA data set, two triangles: SSA does not determine a triangle, and one counterexample settles it.

HL: the right angle rescues SSA

Look at the figure once more, though, and an escape route appears. The arc hits twice because side BCBC may lean slantwise — but if the given angle is a right angle, the story changes.

HL Congruence Criterion — two right triangles with equal hypotenuses and one pair of equal legs are congruent. (Right angle, Hypotenuse, Leg — an SSA arrangement that survives, as the special case.)

The grounds, recorded in advance: in a right triangle, the hypotenuse and one leg determine the remaining leg — an immediate consequence of the celebrated Pythagorean theorem, proved in Unit 7 (one debt duly noted) — so all three sides are pinned and SSS takes over. There is also a proof free of Pythagoras, using next lesson's tool; you will meet it there as a problem.

The criteria, assembled

Test Arrangement Status
SSS side · side · side postulate
SAS side · included angle · side postulate
ASA angle · included side · angle postulate
AAS angle · angle · side theorem (reduces to ASA via the angle sum)
HL right angle · hypotenuse · leg theorem (with a debt payable in Unit 7)
AAA angle · angle · angle ✗ — cannot fix size (equilateral triangles of different sizes)
SSA side · side · non-included angle ✗ — today's two-triangle counterexample (rescued by HL when the angle is right)

Five pass, two fail — and each failure was certified by a single counterexample. The grammar of mathematical claims, working exactly as advertised.