Math Atlas

이등변삼각형과 증명 연습Isosceles Triangles & Proof Practice

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

학습 목표
  • 이등변삼각형의 밑각 정리와 그 역을 증명하고 쓸 수 있다.
  • 정삼각형이 등각삼각형임(각 60°60°)을 따름정리로 끌어낼 수 있다.
  • 이등변삼각형의 축(꼭지각 이등분선 = 중선 = 수직이등분선)을 활용할 수 있다.
  • 성질(등변→등각)과 판정(등각→등변)을 문제에서 가려 쓸 수 있다.

오래된 빚

도형을 처음 배울 때 이렇게 적어 두었다 — 이등변삼각형의 두 밑각은 같다, 증명은 합동을 배우는 Geometry에서. 합동 조건 다섯 개가 장전된 지금, 그 빚을 갚는다.

용어부터 정돈하자. 적어도 두 변이 같은 삼각형이 이등변삼각형이다(포함적 정의 — 정의를 검사하던 차시의 약속 그대로, 정삼각형도 포함된다). 같은 두 변이 등변, 나머지 한 변이 밑변, 밑변의 양 끝 각이 밑각, 마주 보는 각이 꼭지각이다.

밑각 정리: 거울 논법

밑각 정리 — 이등변삼각형의 두 밑각은 서로 같다. (AB=ACAB = AC이면 B=C\angle B = \angle C.)

증명이 놀랍다 — 보조선 하나 없이, 삼각형을 자기 자신의 거울상과 합동시킨다.

A B C A C B
같은 삼각형을 거울에 비추면 — △ABC ≅ △ACB.

증명. ABC\triangle ABCACB\triangle ACB를 비교한다 — 같은 삼각형을 꼭짓점만 다른 순서로 읽은 것이다.

문장 근거
AB=ACAB = AC 주어진 조건
A=A\angle A = \angle A 반사성
AC=ABAC = AB ①과 대칭성
ABCACB\triangle ABC \cong \triangle ACB ①, ②, ③ — SAS
B=C\angle B = \angle C 대응각 (BCB \leftrightarrow C)

\blacksquare

합동의 상대가 자기 자신이어도 규칙 위반이 아니다 — 합동 표기의 순서가 대응을 선언할 뿐이라는 것, 그리고 ABCACB\triangle ABC \cong \triangle ACB가 성립하는 삼각형이 바로 이등변이라는 것(합동의 뜻 차시에서 대칭을 세던 그 문제!)을 기억하면, 이 네 줄은 속임수가 아니라 정공법이다. 서기 44세기 알렉산드리아의 파푸스가 남긴 증명으로, 유클리드의 원래 증명(보조선 둘을 쓰는 긴 길)을 우아하게 앞지른 것으로 유명하다.

역도 참: 판정으로 승격

밑각 정리의 역 — 두 각이 같은 삼각형은 그 두 각을 밑각으로 하는 이등변삼각형이다. (B=C\angle B = \angle C이면 AB=ACAB = AC.)

역은 별도의 재판 — 그런데 같은 거울이 다시 일한다. ABC\triangle ABCACB\triangle ACB에서 B=C\angle B = \angle C, BC=CBBC = CB(반사성), C=B\angle C = \angle B — ASA로 합동이고, 대응변으로 AB=ACAB = AC. 정식 증명은 문제 8에 맡긴다.

이로써 "등변"과 "등각"은 왕복 도로가 되었다 — 변이 같음을 알면 각을 얻고, 각이 같음을 알면 변을 얻는다. 평행선의 성질↔판정에서 봤던 그 구조가 삼각형 안에서 재현된 것이다.

예제 1 · 왕복 계산

(1) AB=ACAB = AC인 삼각형에서 A=44°\angle A = 44°일 때 B\angle B (2) B=C=71°\angle B = \angle C = 71°이고 AB=9AB = 9일 때 ACAC

풀이. (1) 밑각 정리로 B=C\angle B = \angle C이므로 B=180442=68°\angle B = \frac{180 - 44}2 = 68°.

(2) 역(판정)으로 두 각이 같으니 마주 보는 두 변이 같다: AC=AB=9AC = AB = 9.

검산: (1) 44+68+68=18044 + 68 + 68 = 180 ✓.

정삼각형: 설계의 보상

정삼각형은 세 변이 다 같으니, 어느 두 변을 골라도 이등변이다 — 포함적 정의를 고른 보상이 여기서 지급된다.

AB=ACAB = AC에서 B=C\angle B = \angle C, BA=BCBA = BC에서 A=C\angle A = \angle C — 밑각 정리를 두 번 쓰면 세 각이 전부 같고, 내각합 180°180°을 셋이 나누니 각각 60°60°다. 정삼각형은 등각삼각형이고, 각 각은 60°60°다. 역방향도 판정 두 번으로 같은 길: 세 각이 같으면 세 변이 같다.

예제 2 · 방정식과 판정의 합작

ABC\triangle ABC에서 B=C\angle B = \angle C이고 AB=3x1AB = 3x - 1, AC=2x+5AC = 2x + 5, BC=10BC = 10이다. 둘레를 구하여라.

풀이. 두 각이 같으므로 판정에 의해 AB=ACAB = AC:

3x1=2x+5    x=6    AB=AC=17.3x - 1 = 2x + 5 \implies x = 6 \implies AB = AC = 17.

둘레는 17+17+10=4417 + 17 + 10 = 44.

검산: 3(6)1=173(6) - 1 = 17, 2(6)+5=172(6) + 5 = 17 — 일치 ✓.

이등변삼각형의 축

이등변삼각형에는 대칭축이 있다 — 꼭지각 AA에서 밑변으로 내려가는 그 선이다. 이미 증명해 둔 조각을 모으면 이 한 선이 세 가지 신분을 겸직한다는 사실이 완성된다:

A B C M
꼭지각에서 내려온 한 선 — 이등분선이자 중선이자 수선이다.

AB=ACAB = AC인 삼각형에서 밑변의 중점을 MM이라 하면, ABMACM\triangle ABM \cong \triangle ACM(SSS — 합동 조건을 처음 배우던 차시의 증명)에서 AM\overline{AM}중선이면서 동시에 꼭지각의 이등분선이고 밑변의 수선임이 나왔다. 즉 중선·이등분선·수직이등분선이 한 선에 포개진다. 일반 삼각형에서는 이 세 선이 제각각 흩어지는데(다음 단원에서 각각을 따로 만난다), 이등변에서만 하나로 합쳐진다 — 대칭이 하는 일이다.

참고

남은 빚 하나도 이 차시의 도구로 갚을 수 있게 되었다 — HL 조건. 두 직각삼각형을 같은 다리끼리 맞붙이면 큰 이등변삼각형이 생기고, 밑각 정리가 각 재료를 만들어 AAS로 마무리된다. 문제 11이 그 상환 절차다(피타고라스를 기다리지 않아도 된다).

Goals
  • Prove and use the Base Angles Theorem and its converse.
  • Derive, as a corollary, that equilateral triangles are equiangular (60°60° each).
  • Use the axis of an isosceles triangle (apex bisector = median = perpendicular bisector).
  • Tell the property (equal sides → equal angles) from the test (equal angles → equal sides) in problems.

An old debt

Back in the first encounter with shapes, a note was left: the base angles of an isosceles triangle are equal — to be proved in Geometry, once congruence arrives. Five congruence criteria are now loaded. Time to pay.

Terms first. A triangle with at least two equal sides is isosceles (the inclusive definition — exactly as agreed in the lesson on testing definitions, so equilateral triangles are included). The two equal sides are the legs, the third side the base, the angles at the base the base angles, and the angle opposite the base the apex angle.

The Base Angles Theorem: the mirror argument

Base Angles Theorem — the base angles of an isosceles triangle are equal. (If AB=ACAB = AC, then B=C\angle B = \angle C.)

The proof is a small shock — no auxiliary line at all; the triangle is proved congruent to its own mirror image.

A B C A C B
The same triangle, reflected — △ABC ≅ △ACB.

Proof. Compare ABC\triangle ABC with ACB\triangle ACB — the same triangle, vertices read in a different order.

Statement Reason
AB=ACAB = AC Given
A=A\angle A = \angle A Reflexive property
AC=ABAC = AB ① and the symmetric property
ABCACB\triangle ABC \cong \triangle ACB ①, ②, ③ — SAS
B=C\angle B = \angle C Corresponding angles (BCB \leftrightarrow C)

\blacksquare

A triangle congruent to itself breaks no rules — congruence notation merely declares a correspondence, and the triangles for which ABCACB\triangle ABC \cong \triangle ACB holds are precisely the isosceles ones (the very symmetry-counting problem from the first congruence lesson!). Four lines, no trick — a proof left to us by Pappus of Alexandria in the fourth century, famous for elegantly overtaking Euclid's original two-auxiliary-line route.

The converse holds too: promotion to a test

Converse of the Base Angles Theorem — a triangle with two equal angles is isosceles, with those angles as its base angles. (If B=C\angle B = \angle C, then AB=ACAB = AC.)

A converse demands its own trial — and the same mirror reports for duty. In ABC\triangle ABC versus ACB\triangle ACB: B=C\angle B = \angle C, BC=CBBC = CB (reflexive), C=B\angle C = \angle B — congruent by ASA, and corresponding sides give AB=ACAB = AC. The formal write-up is yours in Problem 8.

With that, "equal sides" and "equal angles" become a two-way road — know the sides, harvest the angles; know the angles, harvest the sides. The property-versus-test structure from parallel lines, replaying inside a single triangle.

Example 1 · Round trips

(1) In a triangle with AB=ACAB = AC and A=44°\angle A = 44°, find B\angle B. (2) If B=C=71°\angle B = \angle C = 71° and AB=9AB = 9, find ACAC.

Solution. (1) By the Base Angles Theorem B=C\angle B = \angle C, so B=180442=68°\angle B = \frac{180 - 44}2 = 68°.

(2) By the converse (the test), equal angles face equal sides: AC=AB=9AC = AB = 9.

Check: (1) 44+68+68=18044 + 68 + 68 = 180 ✓.

Equilateral triangles: the design pays out

An equilateral triangle has all three sides equal, so any two of them make it isosceles — here is where the inclusive definition pays its dividend.

From AB=ACAB = AC, B=C\angle B = \angle C; from BA=BCBA = BC, A=C\angle A = \angle C — two applications of the Base Angles Theorem make all three angles equal, and the 180°180° sum split three ways gives 60°60° each. Equilateral triangles are equiangular, at 60°60° per angle. The reverse runs on the test, twice: three equal angles force three equal sides.

Example 2 · The test meets an equation

In ABC\triangle ABC, B=C\angle B = \angle C, with AB=3x1AB = 3x - 1, AC=2x+5AC = 2x + 5, and BC=10BC = 10. Find the perimeter.

Solution. Equal angles, so by the test AB=ACAB = AC:

3x1=2x+5    x=6    AB=AC=17.3x - 1 = 2x + 5 \implies x = 6 \implies AB = AC = 17.

The perimeter is 17+17+10=4417 + 17 + 10 = 44.

Check: 3(6)1=173(6) - 1 = 17 and 2(6)+5=172(6) + 5 = 17 — agreed ✓.

The axis of an isosceles triangle

An isosceles triangle owns a line of symmetry — the line descending from the apex to the base. Pieces already proved now assemble into the full statement: this one line holds three jobs at once.

A B C M
One line from the apex — bisector, median, and perpendicular all at once.

With MM the midpoint of the base of a triangle with AB=ACAB = AC, the congruence ABMACM\triangle ABM \cong \triangle ACM (SSS — proved back in the first lesson on congruence criteria) showed that AM\overline{AM} is at once the median, the bisector of the apex angle, and a perpendicular to the base. Median, angle bisector, perpendicular bisector — stacked into a single line. In a general triangle these three lines scatter (the next unit meets each separately); only in an isosceles triangle do they merge. That is what symmetry does.

Note

One more debt can now be settled with this lesson's tools — the HL criterion. Fit two right triangles together along their equal legs: a large isosceles triangle appears, the Base Angles Theorem manufactures the angle ingredient, and AAS closes the case. Problem 11 is the repayment procedure — no need to wait for Pythagoras.