Math Atlas

삼각형 내각의 합The Triangle Angle Sum

GeometryGeometry · 2. 각과 평행선2. Angles & Parallel Lines

학습 목표
  • 삼각형 내각의 합이 180°180°임을 평행선으로 증명할 수 있다.
  • 외각 정리(외각 = 이웃하지 않는 두 내각의 합)를 증명하고 쓸 수 있다.
  • 내각합·외각을 방정식과 결합해 각을 구할 수 있다.
  • 내각합 정리가 평행선 공리 위에 서 있음을 설명할 수 있다.

빚 갚는 날

종이 삼각형의 세 모서리를 찢어 한 점에 모으면 정확히 평각을 채운다 — 도형을 처음 배울 때 했던 실험이다. 그때 정직하게 적어 두었다: 찢어 붙이기는 실험이지 증명이 아니고, 세상의 모든 삼각형에 통하는 증명에는 평행선의 성질이 필요하다고. 그 빚을 오늘 갚는다. 도구는 다 모였다 — 보조 평행선을 그을 권리(플레이페어 공리)와, 그 평행선이 각을 나르는 방식(엇각 정리).

정리와 증명

삼각형 내각합 정리 — 삼각형의 세 내각의 합은 180°180°다.

b c a b c
꼭짓점을 지나는 평행선 위에서 세 각이 평각으로 모인다.

증명. 삼각형 ABCABC의 세 내각을 aa, bb, cc라 하자(aa는 꼭짓점 AA의 각). 플레이페어 공리에 의해 AA를 지나 BC\overline{BC}에 평행한 직선을 그을 수 있다.

문장 근거
AA 왼쪽의 각 =b= b 엇각 정리 — AB\overline{AB}는 평행선의 횡단선
AA 오른쪽의 각 =c= c 엇각 정리 — AC\overline{AC}도 횡단선
③ 왼쪽 각 +a++\, a\, + 오른쪽 각 =180°= 180° AA 위의 세 각이 함께 평각을 이룸
b+a+c=180°b + a + c = 180° ③에 ①, ②를 대입

\blacksquare

찢어 붙이기가 하던 일을 다시 보라 — 세 모서리를 "한 점에 모으는" 행위를, 증명에서는 보조 평행선이 대신한다. 엇각 정리가 bbcc를 꼭짓점 AA날라 와서 aa 옆에 나란히 앉히면, 셋이 평각을 채울 수밖에 없다. 실험에서는 우연처럼 보이던 것이 구조였던 것이다.

참고

이 정리는 평행선 공리의 자식이다 — 증명의 첫 문장부터 플레이페어 공리를 썼다. 그래서 평행선 공리가 성립하지 않는 기하(지난 차시의 노트)에서는 내각합도 180°180°가 아니다. 실제로 지구 표면에서 적도의 한 조각과 북극에서 내려오는 두 경도선으로 삼각형을 만들면, 적도와 경도선이 만나는 두 각만 해도 90°+90°90° + 90° — 셋의 합은 180°180°를 훌쩍 넘는다. 내각합 180°180°는 삼각형의 본성이 아니라 우리가 고른 공리의 그림자다.

두 각을 알면 셋째는 공짜이고, 직각삼각형이라면 더 빠르다 — 직각이 90°90°를 가져가므로 두 예각의 합은 90°90°(서로 여각)다.

예제 1 · 셋째 각

(1) 두 내각이 65°65°, 48°48°인 삼각형의 나머지 한 각 (2) 직각삼각형의 한 예각이 31°31°일 때 다른 예각

풀이. (1) 1806548=67°180 - 65 - 48 = 67°. (2) 두 예각은 여각이므로 9031=59°90 - 31 = 59°.

검산: 65+48+67=18065 + 48 + 67 = 180 ✓, 90+31+59=18090 + 31 + 59 = 180 ✓.

외각 정리

삼각형의 한 변을 연장하면, 연장선과 이웃 변 사이에 새 각이 생긴다 — 외각이다. 외각은 이웃한 내각과 선형쌍이니 180°180°에서 빼면 그만이지만, 더 좋은 지름길이 있다.

외각 정리 — 삼각형의 외각은 이웃하지 않는 두 내각의 합과 같다.

a b d d = a + b
외각 d는 멀리 있는 두 내각의 합이다: d = a + b.

증명. 외각 dd는 내각 cc와 선형쌍이므로 d=180°cd = 180° - c. 내각합 정리로 a+b=180°ca + b = 180° - c. 둘 다 180°c180° - c와 같으므로 d=a+bd = a + b. \blacksquare

세 줄짜리 증명이지만 실전 가치가 크다 — "180180에서 빼고, 다시 180180에서 빼는" 두 걸음을 한 걸음으로 줄여 준다.

예제 2 · 외각으로 한 번에

삼각형의 한 외각이 130°130°이고, 이웃하지 않는 두 내각 중 하나가 55°55°다. 다른 하나를 구하여라.

풀이. 외각 정리로 130=55+x130 = 55 + x, 곧 x=75°x = 75°.

검산: 외각과 이웃한 내각은 180130=50°180 - 130 = 50°이고, 55+75+50=18055 + 75 + 50 = 180 ✓.

주의

외각 정리의 짝은 이웃하지 않는 두 내각이다. 외각과 이웃한 내각은 선형쌍의 상대일 뿐 합에 끼지 않는다 — "가까운 각을 더하는" 실수가 잦으니, 외각을 보면 먼저 먼 두 각부터 찾아라.

내각합 정리는 여기서 끝나지 않는다. 사각형·오각형·nn각형의 내각합(다각형 단원), 직각삼각형 두 예각의 여각 관계 위에 세워질 삼각비 — 이 과정의 큰 정리 여럿이 오늘 증명한 한 줄 위에 올라간다. 빚을 갚았을 뿐 아니라 밑천을 마련한 셈이다.

Goals
  • Prove that a triangle's interior angles sum to 180°180°, using parallel lines.
  • Prove and apply the Exterior Angle Theorem (exterior angle = sum of the two remote interior angles).
  • Combine the angle sum and exterior angles with equations to find angles.
  • Explain how the angle-sum theorem stands on the parallel postulate.

Debt day

Tear the three corners off a paper triangle and gather them at a point: they fill a straight angle exactly — the experiment from your first encounter with shapes. And the honest note made back then still stands: tearing is an experiment, not a proof, and a proof good for every triangle in the world would need the properties of parallel lines. Today the debt is paid. The tools have all arrived — the right to draw an auxiliary parallel (Playfair's postulate), and the way that parallel ferries angles around (the alternate angles theorem).

The theorem and its proof

Triangle Angle Sum Theorem — the three interior angles of a triangle sum to 180°180°.

b c a b c
On the parallel line through the apex, the three angles assemble into a straight angle.

Proof. Let triangle ABCABC have interior angles aa, bb, cc (with aa at vertex AA). By Playfair's postulate, draw the line through AA parallel to BC\overline{BC}.

Statement Reason
① the angle left of AA =b= b Alternate angles theorem — AB\overline{AB} is a transversal of the parallels
② the angle right of AA =c= c Alternate angles theorem — AC\overline{AC} is a transversal too
③ left angle +a++\, a\, + right angle =180°= 180° The three angles at AA form a straight angle
b+a+c=180°b + a + c = 180° Substitute ① and ② into ③

\blacksquare

Now look back at the tearing. The act of "gathering the corners at one point" is exactly what the auxiliary parallel does in the proof. The alternate angles theorem ferries bb and cc up to vertex AA and seats them beside aa — and the three have no choice but to fill a straight angle. What looked like a happy accident in the experiment was structure all along.

Note

This theorem is a child of the parallel postulate — the proof's very first sentence invoked Playfair. So in geometries where that postulate fails (last lesson's note), the angle sum fails with it. On the Earth's surface, build a triangle from a stretch of the equator and two lines of longitude running down from the North Pole: the two angles at the equator alone are 90°+90°90° + 90°, and the three together overshoot 180°180° handily. The 180°180° sum is not part of a triangle's nature — it is the shadow of the axiom we chose.

Know two angles and the third comes free — and right triangles are quicker still: the right angle spends 90°90°, so the two acute angles sum to 90°90° (they are complementary).

Example 1 · The third angle

(1) The remaining angle of a triangle with interior angles 65°65° and 48°48° (2) The other acute angle of a right triangle whose one acute angle is 31°31°

Solution. (1) 1806548=67°180 - 65 - 48 = 67°. (2) The acute angles are complementary: 9031=59°90 - 31 = 59°.

Check: 65+48+67=18065 + 48 + 67 = 180 ✓ and 90+31+59=18090 + 31 + 59 = 180 ✓.

The Exterior Angle Theorem

Extend one side of a triangle and a new angle appears between the extension and the neighboring side — an exterior angle. It forms a linear pair with its adjacent interior angle, so you could always subtract from 180°180° — but there is a better shortcut.

Exterior Angle Theorem — an exterior angle of a triangle equals the sum of the two remote interior angles.

a b d d = a + b
The exterior angle d equals the two far interior angles: d = a + b.

Proof. The exterior angle dd forms a linear pair with the interior angle cc, so d=180°cd = 180° - c. By the angle sum theorem, a+b=180°ca + b = 180° - c. Both equal 180°c180° - c, hence d=a+bd = a + b. \blacksquare

Three lines of proof, real practical value — it folds the two steps "subtract from 180180, subtract from 180180 again" into one.

Example 2 · One step with the exterior angle

An exterior angle of a triangle measures 130°130°, and one of the two remote interior angles is 55°55°. Find the other.

Solution. By the Exterior Angle Theorem, 130=55+x130 = 55 + x, so x=75°x = 75°.

Check: the adjacent interior angle is 180130=50°180 - 130 = 50°, and 55+75+50=18055 + 75 + 50 = 180 ✓.

Watch out

The theorem pairs an exterior angle with the two remote interior angles. The adjacent interior angle is only its linear-pair partner and never joins the sum — adding the near angle is the standard slip, so when you spot an exterior angle, find the two far angles first.

And the angle-sum theorem doesn't stop here. The interior angle sums of quadrilaterals, pentagons, and every nn-gon (in the polygons unit), and trigonometry itself — built on the complementary acute angles of a right triangle — all stand on the single line proved today. The debt is paid, and it turns out we were buying capital.