Math Atlas

각의 쌍Angle Pairs

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

학습 목표
  • 각을 ABC\angle ABC 꼴로 정확히 이름 짓고, 각의 덧셈 공리와 이등분선을 쓸 수 있다.
  • 여각·보각·선형쌍을 정의대로 판별하고, 방정식과 결합해 각을 구할 수 있다.
  • "같은 각의 보각(여각)은 서로 같다"를 증명하고 근거로 쓸 수 있다.
  • 수직의 정의에서 네 각이 모두 직각임을 끌어낼 수 있다.

각, 정식으로

한 점에서 나온 두 반직선이 만드는 벌어짐이 각이다 — 공통의 시작점이 꼭짓점, 두 반직선이 이다. 이제 이름 짓는 법을 약속하자. 변 위의 점 하나씩과 꼭짓점으로 ABC\angle ABC처럼 쓰는데, 꼭짓점이 반드시 가운데다. 그래서 ABC\angle ABCCBA\angle CBA는 같은 각의 두 표기다 — 변 두 개는 그대로고 읽는 순서만 다르니까.

A C B
꼭짓점 B와 두 변 위의 점 A, C — 이 각의 이름이 ∠ABC다.

혼동될 각이 하나뿐이면 B\angle B로 줄여 쓰고, 그림이 붐빌 때는 1\angle 1, 2\angle 2처럼 번호를 붙인다. 지난 차시의 관례도 이어 간다 — 등식 안의 ABC\angle ABC는 그 각의 크기를 뜻한다.

각에도 선분의 덧셈과 똑같은 공리가 하나 필요하다. 반직선 OCOCAOB\angle AOB의 내부에 있으면

AOC+COB=AOB.\angle AOC + \angle COB = \angle AOB.

부분 둘이 전체를 채운다 — 각의 덧셈 공리다. 지난 차시 마지막 문제(겹친 두 직각)에서 이미 이 공리를 썼다. 선분에서 하던 계산이 각에서 그대로 통하는 이유가 이 평행한 공리 한 쌍이다.

A C B O
OC가 ∠AOB 내부에 있으면 ∠AOC + ∠COB = ∠AOB.
예제 1 · 각의 덧셈 방정식

반직선 OCOCAOB\angle AOB의 내부에 있고 AOC=2x+5\angle AOC = 2x + 5, COB=3x10\angle COB = 3x - 10, AOB=80°\angle AOB = 80°다. 두 각을 구하여라.

풀이. 각의 덧셈 공리로

(2x+5)+(3x10)=80    5x5=80    x=17.(2x + 5) + (3x - 10) = 80 \implies 5x - 5 = 80 \implies x = 17.

따라서 AOC=2(17)+5=39°\angle AOC = 2(17) + 5 = 39°, COB=3(17)10=41°\angle COB = 3(17) - 10 = 41°.

검산: 39+41=8039 + 41 = 80 ✓.

선분에 중점이 있듯 각에는 이등분선이 있다 — 각의 내부를 지나며 각을 크기가 같은 두 각으로 나누는 반직선이다. OCOCAOB\angle AOB의 이등분선이면 AOC=COB=12AOB\angle AOC = \angle COB = \tfrac12 \angle AOB — 중점의 AM=MB=12ABAM = MB = \tfrac12 AB와 완전히 평행한 문장이고, 그림에서도 같은 속기(두 쪽에 같은 개수의 눈금)를 쓴다.

여각과 보각

합이 90°90°인 두 각은 서로 여각, 합이 180°180°인 두 각은 서로 보각이라 한다. 한자 그대로 — 직각을 채우고 남은(餘) 각, 평각을 보충하는(補) 각이다.

b a a + b = 90° b a a + b = 180°
직각을 나누면 여각, 평각을 나누면 보각.

62°62°의 여각은 9062=28°90 - 62 = 28°, 보각은 18062=118°180 - 62 = 118°. 눈치챘겠지만 보각이 여각보다 정확히 90°90° 크다 — 우연이 아니다:

(180x)(90x)=90.(180 - x) - (90 - x) = 90.

xx가 지워지므로 어느 각이든 보각과 여각의 차는 90°90°다. 문자 계산 한 줄이 무한히 많은 사례를 한꺼번에 처리했다.

주의할 것 하나 — 여각은 아무나 갖지 못한다. 90°90° 이상인 각은 9090에서 빼면 남는 게 없으니 여각이 없다. 보각도 180°180° 미만인 각의 전유물이다.

예제 2 · 보각 방정식

어떤 각의 보각이 그 각의 두 배일 때, 그 각을 구하여라.

풀이. 각을 xx라 하면 보각은 180x180 - x이므로

180x=2x    180=3x    x=60°.180 - x = 2x \implies 180 = 3x \implies x = 60°.

검산: 60°60°의 보각은 120°120° — 과연 두 배다 ✓.

이웃각과 선형쌍

꼭짓점과 변 하나를 공유하고 내부가 겹치지 않는 두 각을 이웃각(인접각)이라 한다. 이웃각 중에서도 특별한 경우 — 공유하지 않는 두 변이 서로 반대 방향의 반직선(합쳐서 한 직선)이면 선형쌍이라 부른다. 선형쌍의 두 각은 함께 평각을 채우므로 자동으로 보각이다. 이 사실은 각의 덧셈 공리와 평각 =180°= 180°에서 바로 나오며, 우리는 이것을 공리 수준의 상비 도구로 쓴다. 지난 차시 맞꼭지각 증명의 ①, ② 줄("두 각이 함께 평각을 이룸")이 바로 이 도구였다.

이름을 얻는 정리들

지난 차시에 문제로 증명해 둔 문장이 있다 — 1+3=180°\angle 1 + \angle 3 = 180°이고 2+3=180°\angle 2 + \angle 3 = 180°이면 1=2\angle 1 = \angle 2. 이제 정식 이름을 붙이자.

같은 각의 보각 정리 — 같은 각의 보각인 두 각은 서로 같다. 크기가 같은 두 각의 보각끼리도 마찬가지다(논증이 한 글자도 달라지지 않는다). 여각 버전도 똑같이 성립한다 — 같은 각의 여각인 두 각은 서로 같다. 증명은 1801809090으로 바꾸면 끝이라, 연습 문제로 남겨 둔다(문제 8).

이 정리가 있으면 맞꼭지각 정리는 공짜가 된다. 두 직선이 만나 생긴 맞꼭지각 1\angle 13\angle 3을 보라 — 1\angle 12\angle 2와 선형쌍이고, 3\angle 3도 같은 2\angle 2와 선형쌍이다. 둘 다 같은 각 2\angle 2의 보각이므로, 정리에 의해 1=3\angle 1 = \angle 3. 증명 끝.

지난 차시에는 등식 넉 줄로 직접 증명했고, 오늘은 정리 하나로 두 문장 만에 끝냈다. 같은 결론, 두 길 — 정리를 쌓을수록 다음 증명이 짧아진다. 이 과목이 앞으로 반복할 리듬이다.

수직

두 직선이 직각을 이루며 만나면 서로 수직이라 하고 m\ell \perp m으로 쓴다. 정의는 직각 "하나"만 요구하지만, 하나면 넷이 다 따라온다:

90°
직각 하나를 표시하면 나머지 셋은 따라온다.

직각 하나가 있다고 하자. 그 이웃각은 선형쌍이라 18090=90°180 - 90 = 90° — 역시 직각. 나머지 둘은 맞꼭지각 정리로 각각 90°90°. 네 각 전부 직각이다. 방금 배운 도구 두 개(선형쌍, 맞꼭지각)가 벌써 일하는 모습이다.

참고

90°90° 표시는 그림에서 작은 정사각형 모서리로 그린다 — 눈금 표시가 "같다"의 속기이듯, 정사각형 모서리는 "직각"의 속기다. 표시가 하나뿐이어도 방금의 논증 덕에 넷 모두 직각임을 아는 것이고, 그래서 그림에도 하나만 그린다.

Goals
  • Name angles precisely in the form ABC\angle ABC, and use the Angle Addition Postulate and angle bisectors.
  • Identify complementary angles, supplementary angles, and linear pairs by their definitions, and find angles with equations.
  • Prove and use "supplements (complements) of the same angle are equal."
  • Derive from the definition of perpendicular that all four angles are right angles.

Angles, officially

Two rays from a common point make an angle — the shared starting point is the vertex, the rays are the sides. Now for the naming agreement: write ABC\angle ABC, using one point from each side around the vertex, with the vertex always in the middle. That is why ABC\angle ABC and CBA\angle CBA are two spellings of one angle — same two sides, opposite reading order.

A C B
Vertex B and points A, C on the sides — this angle is named ∠ABC.

When only one angle could be meant, abbreviate to B\angle B; when a figure gets crowded, number the angles 1\angle 1, 2\angle 2. Last lesson's convention also carries over — inside an equation, ABC\angle ABC stands for the angle's measure.

Angles need one postulate of their own, the exact twin of segment addition. If ray OCOC lies in the interior of AOB\angle AOB, then

AOC+COB=AOB.\angle AOC + \angle COB = \angle AOB.

Two parts fill the whole — the Angle Addition Postulate. Last lesson's final problem (the two overlapping right angles) was already running on it. This matching pair of postulates is why every calculation you did with segments works verbatim with angles.

A C B O
If OC is interior to ∠AOB, then ∠AOC + ∠COB = ∠AOB.
Example 1 · An angle addition equation

Ray OCOC lies inside AOB\angle AOB, with AOC=2x+5\angle AOC = 2x + 5, COB=3x10\angle COB = 3x - 10, and AOB=80°\angle AOB = 80°. Find the two angles.

Solution. By the Angle Addition Postulate,

(2x+5)+(3x10)=80    5x5=80    x=17.(2x + 5) + (3x - 10) = 80 \implies 5x - 5 = 80 \implies x = 17.

So AOC=2(17)+5=39°\angle AOC = 2(17) + 5 = 39° and COB=3(17)10=41°\angle COB = 3(17) - 10 = 41°.

Check: 39+41=8039 + 41 = 80 ✓.

Just as a segment has a midpoint, an angle has a bisector — a ray through the interior that cuts the angle into two equal angles. If OCOC bisects AOB\angle AOB, then AOC=COB=12AOB\angle AOC = \angle COB = \tfrac12 \angle AOB — the exact parallel of the midpoint's AM=MB=12ABAM = MB = \tfrac12 AB, and drawings use the same shorthand (matching tick marks on the two halves).

Complementary and supplementary

Two angles summing to 90°90° are complementary; two summing to 180°180° are supplementary. A handy anchor: complementary–corner (90°90°), supplementary–straight (180°180°), and cc comes before ss just as 9090 comes before 180180.

b a a + b = 90° b a a + b = 180°
Split a right angle: complements. Split a straight angle: supplements.

The complement of 62°62° is 9062=28°90 - 62 = 28°; its supplement is 18062=118°180 - 62 = 118°. Notice the supplement is exactly 90°90° bigger — no accident:

(180x)(90x)=90.(180 - x) - (90 - x) = 90.

The xx cancels, so for every angle the supplement exceeds the complement by 90°90°. One line of algebra just handled infinitely many cases at once.

One caution — not every angle owns a complement. An angle of 90°90° or more leaves nothing when subtracted from 9090, so it has no complement; likewise only angles under 180°180° have supplements.

Example 2 · A supplement equation

An angle's supplement is twice the angle. Find the angle.

Solution. Call the angle xx; its supplement is 180x180 - x, so

180x=2x    180=3x    x=60°.180 - x = 2x \implies 180 = 3x \implies x = 60°.

Check: the supplement of 60°60° is 120°120° — twice, indeed ✓.

Adjacent angles and linear pairs

Two angles sharing a vertex and one side, with no overlap of interiors, are adjacent. Among adjacent pairs, one case is special — if the two unshared sides are opposite rays (together forming a line), the angles are a linear pair. A linear pair fills a straight angle, so the two angles are automatically supplementary. That follows at once from the Angle Addition Postulate plus the straight angle's 180°180°, and we keep it on the shelf as an everyday tool. Lines ① and ② of last lesson's vertical angles proof ("together they form the straight angle") were exactly this tool.

Theorems earn their names

Last lesson, in an exercise, you proved this: if 1+3=180°\angle 1 + \angle 3 = 180° and 2+3=180°\angle 2 + \angle 3 = 180°, then 1=2\angle 1 = \angle 2. Time to give it its official name.

Congruent Supplements Theorem — supplements of the same angle are equal to each other. The same holds for supplements of equal angles (not a letter of the argument changes). And the complement version holds too — complements of the same angle are equal to each other. Its proof is the same with 180180 replaced by 9090, so it is left as an exercise (Problem 8).

With this theorem in hand, the Vertical Angles Theorem comes free. Look at vertical angles 1\angle 1 and 3\angle 3 where two lines cross — 1\angle 1 forms a linear pair with 2\angle 2, and 3\angle 3 forms a linear pair with the same 2\angle 2. Both are supplements of the same angle 2\angle 2, so the theorem says 1=3\angle 1 = \angle 3. Done.

Last lesson took four lines of equations; today, one theorem finished it in two sentences. Same conclusion, two roads — every theorem you stack makes the next proof shorter. That is the rhythm this course will repeat again and again.

Perpendicular

Two lines meeting at right angles are perpendicular, written m\ell \perp m. The definition asks for only one right angle — but one drags along all four:

90°
Mark one right angle and the other three follow.

Suppose one angle is 90°90°. Its neighbor forms a linear pair with it: 18090=90°180 - 90 = 90° — right angle again. The remaining two are vertical to these, so 90°90° each by the Vertical Angles Theorem. All four right angles — courtesy of the two tools you learned minutes ago.

Note

In figures, a right angle is drawn as a small square corner — just as tick marks are shorthand for "equal," the square corner is shorthand for "right angle." One mark is enough: the argument above guarantees the other three, which is exactly why drawings carry only one.