Math Atlas

평행선의 성질Parallel Lines & Transversals

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

학습 목표
  • 횡단선이 만드는 여덟 각에서 동위각·엇각·동측내각을 짚을 수 있다.
  • 동위각 공리에서 엇각 정리와 동측내각 정리를 증명할 수 있다.
  • 평행선에서 각 하나가 주어지면 나머지 일곱을 전부 구할 수 있다.
  • 방정식과 결합된 평행선 각 문제를 풀 수 있다.

평행: 만나지 않는 직선들

한 평면 위의 두 직선이 만나지 않으면 서로 평행하다고 하고 m\ell \parallel m으로 쓴다. 기찻길의 두 레일, 공책의 가로줄 — 아무리 연장해도 만나지 않는 선들이다. 지난 차시까지는 "만나는" 직선들의 각을 다뤘으니, 이번에는 만나지 않는 두 직선 차례다.

그런데 만나지 않는 두 직선 사이에 무슨 각이 있다는 걸까. 제3의 직선이 등장하면 이야기가 시작된다.

횡단선이 만드는 여덟 각

두 직선을 가로지르는 제3의 직선을 횡단선이라 부르자. 횡단선은 교차점 두 개를 만들고, 각 교차점마다 각이 넷 — 모두 여덟 개의 각이 생긴다.

m 1 2 3 4 5 6 7 8
평행선 ℓ, m을 가로지르는 횡단선 — 여덟 개의 각.

여덟 각 사이의 관계에 이름을 붙인다. 기준은 두 가지 — 교차점에서의 위치와, 두 직선 사이(내부)인가 바깥인가.

  • 동위각: 두 교차점에서 같은 위치에 있는 쌍. 1\angle 15\angle 5, 2\angle 26\angle 6, 3\angle 37\angle 7, 4\angle 48\angle 8.
  • 엇각: 내부에 있으면서 횡단선의 반대편에 있는 쌍. 3\angle 36\angle 6, 4\angle 45\angle 5.
  • 동측내각: 내부에 있으면서 횡단선의 같은 편에 있는 쌍. 3\angle 35\angle 5, 4\angle 46\angle 6.

이름이 낯설 때는 모양으로 찾는 게 빠르다 — 동위각은 F, 엇각은 Z, 동측내각은 C(ㄷ) 무늬의 두 굽이에 앉아 있다:

F Z C
동위각은 F, 엇각은 Z, 동측내각은 C 무늬의 굽이에 있다.

여기까지는 순수한 이름표다 — 두 직선이 평행하든 말든 동위각·엇각·동측내각은 정의된다. 각들이 특별해지는 것은 평행할 때다.

동위각 공리

평행한 두 직선은 기울어짐이 완전히 같은 직선들이다. 그래서 횡단선이 지나가면, 한 교차점의 각 무늬를 통째로 밀어 옮기면 다른 교차점의 무늬에 정확히 포개진다 — 공책 줄 위에 연필로 비스듬한 선을 긋고 교차점들을 비교해 보면 눈으로 확인된다. 이 직관을 문장으로 굳힌다:

동위각 공리 — 평행한 두 직선이 횡단선과 만나면, 동위각은 서로 같다.

"밀어 옮기면 포개진다"는 그럴듯한 직관이지만, 그것을 증명으로 바꾸려면 지금 우리에게 없는 더 깊은 도구가 필요하다. 그래서 이 문장은 증명 없이 공리 목록에 올린다 — 공리에는 선택의 자유가 있고 어느 출발점을 골랐는지 밝히면 된다는 것, 기억할 것이다. 사실 이 근방은 기하학 역사상 가장 유명한 논쟁이 이천 년 동안 벌어진 지점인데, 그 이야기는 다음 차시에 제대로 하기로 하자.

공리에서 정리 둘을 캐내다

동위각 공리 하나를 놓으면 엇각과 동측내각의 성질은 증명해서 얻을 수 있다. 엇각부터 — 그림의 4\angle 45\angle 5로 보이자. (m\ell \parallel m이 가정이다.)

문장 근거
4=8\angle 4 = \angle 8 동위각 공리 (m\ell \parallel m)
8=5\angle 8 = \angle 5 맞꼭지각 정리
4=5\angle 4 = \angle 5 ①, ②와 추이성

엇각 정리 — 평행한 두 직선이 횡단선과 만나면, 엇각은 서로 같다. 증명이 세 줄이다. 동위각으로 아래 교차점까지 내려간 뒤, 맞꼭지각으로 반대편으로 건너뛰었다 — 공리 하나에 지난 단원의 정리 하나를 이어 붙이니 새 정리가 나온다.

동측내각도 같은 요령이다. 동측내각 정리 — 평행한 두 직선이 횡단선과 만나면, 동측내각의 합은 180°180°다. 같은 크기가 아니라 합이 정해진다는 점이 다르다. 증명은 동위각 공리에 선형쌍을 이어 붙이면 되는데, 문제 8로 남겨 둔다.

하나를 알면 여덟을 안다

세 도구(동위각·엇각·동측내각)에 지난 단원의 둘(맞꼭지각·선형쌍)을 합치면, 평행선 그림에서 각 하나가 주어지는 순간 여덟 개가 전부 결정된다.

예제 1 · 연쇄 결정

그림에서 m\ell \parallel m이고 1=115°\angle 1 = 115°다. 나머지 일곱 각을 모두 구하여라.

풀이. 위 교차점부터: 4=115°\angle 4 = 115°(맞꼭지각), 2=3=180115=65°\angle 2 = \angle 3 = 180 - 115 = 65°(선형쌍). 아래 교차점은 동위각 공리로 위와 똑같은 무늬다: 5=1=115°\angle 5 = \angle 1 = 115°, 8=115°\angle 8 = 115°, 6=7=65°\angle 6 = \angle 7 = 65°.

검산: 엇각 쌍 4=5=115\angle 4 = \angle 5 = 115 ✓, 동측내각 4+6=115+65=180\angle 4 + \angle 6 = 115 + 65 = 180 ✓.

결국 여덟 각의 크기는 두 값뿐이다 — 어떤 각 aa와 그 보각 180°a180° - a. 평행선 그림이 아무리 복잡해 보여도 값의 종류는 둘이라는 것, 각 추적 문제의 든든한 바닥이다.

예제 2 · 엇각 방정식

m\ell \parallel m이고 어떤 엇각 쌍의 크기가 (3x+20)°(3x + 20)°(5x40)°(5x - 40)°다. 이 각을 구하여라.

풀이. 엇각 정리로 두 크기가 같다:

3x+20=5x40    60=2x    x=30.3x + 20 = 5x - 40 \implies 60 = 2x \implies x = 30.

각은 3(30)+20=110°3(30) + 20 = 110°. 검산: 5(30)40=110°5(30) - 40 = 110° — 일치 ✓.

주의

세 정리의 가정은 전부 "평행한 두 직선이 …"로 시작한다. 평행이 아니면 동위각도 엇각도 같을 이유가 없다 — 이름은 붙지만 성질은 없다. 명제의 가정을 확인하는 습관이 여기서도 일한다. 거꾸로, 각이 같으면 평행을 결론낼 수 있는가 — 역의 문제다. 역은 별도의 재판이 필요하다는 것을 배웠으니, 다음 차시가 그 재판이다.

Goals
  • Pick out corresponding angles, alternate interior angles, and co-interior angles among the eight angles a transversal makes.
  • Prove the alternate interior and co-interior angle theorems from the corresponding angles postulate.
  • Given one angle at parallel lines, find all seven others.
  • Solve parallel-line angle problems coupled with equations.

Parallel: lines that never meet

Two lines in a plane that never meet are parallel, written m\ell \parallel m. Train rails, the ruled lines of a notebook — lines that fail to meet no matter how far they run. So far every angle we've studied came from lines that do cross; now it's the turn of lines that don't.

But what angles could two non-meeting lines possibly have between them? The story starts when a third line walks in.

Eight angles from a transversal

A third line crossing both is called a transversal. It creates two intersection points, four angles at each — eight angles in all.

m 1 2 3 4 5 6 7 8
A transversal across parallel lines ℓ and m — eight angles.

The relationships among the eight get names, keyed to two things — position at each crossing, and whether an angle sits between the two lines (interior) or outside.

  • Corresponding angles: pairs in the same position at the two crossings — 1\angle 1 and 5\angle 5, 2\angle 2 and 6\angle 6, 3\angle 3 and 7\angle 7, 4\angle 4 and 8\angle 8.
  • Alternate interior angles: interior pairs on opposite sides of the transversal — 3\angle 3 and 6\angle 6, 4\angle 4 and 5\angle 5.
  • Co-interior angles (same-side interior): interior pairs on the same side of the transversal — 3\angle 3 and 5\angle 5, 4\angle 4 and 6\angle 6.

When the names blur, hunt by shape — the pairs sit in the bends of an F, a Z, and a C:

F Z C
Corresponding angles live in an F, alternate interior angles in a Z, co-interior angles in a C.

So far these are pure labels — corresponding, alternate, and co-interior angles exist whether or not the lines are parallel. The angles become special when the lines are parallel.

The Corresponding Angles Postulate

Parallel lines are lines with exactly the same lean. So when a transversal passes through, sliding one crossing's whole angle pattern along lands it precisely on the other crossing's pattern — draw a slanted pencil line across a ruled notebook page and compare the crossings to see it. We now freeze that intuition into a sentence:

Corresponding Angles Postulate — if two parallel lines are cut by a transversal, corresponding angles are equal.

"Slide it and it fits" is convincing, but turning it into a proof needs deeper tools than we own right now. So the sentence joins the postulate list without proof — remember, there is freedom in choosing starting points, as long as you declare them. In fact this very spot is where the most famous argument in the history of geometry ran for two thousand years; that story gets proper treatment next lesson.

Mining two theorems out of one postulate

With the corresponding angles postulate in place, the properties of alternate interior and co-interior angles can be proved. Alternate interior first — using 4\angle 4 and 5\angle 5 from the figure, with m\ell \parallel m given.

Statement Reason
4=8\angle 4 = \angle 8 Corresponding Angles Postulate (m\ell \parallel m)
8=5\angle 8 = \angle 5 Vertical Angles Theorem
4=5\angle 4 = \angle 5 ①, ② and transitivity

Alternate Interior Angles Theorem — if two parallel lines are cut by a transversal, alternate interior angles are equal. Three lines of proof: ride the corresponding pair down to the lower crossing, then hop across with vertical angles — one postulate spliced to last unit's theorem yields a new theorem.

Co-interior angles work the same way. Co-interior Angles Theorem — if two parallel lines are cut by a transversal, co-interior angles sum to 180°180°. Note the difference: not equal, but a fixed sum. The proof splices the postulate to a linear pair, and it is left for you as Problem 8.

Know one, know all eight

Put the three tools (corresponding, alternate, co-interior) together with last unit's two (vertical angles, linear pairs), and the moment one angle in a parallel-line figure is known, all eight are decided.

Example 1 · The cascade

In the figure, m\ell \parallel m and 1=115°\angle 1 = 115°. Find the other seven angles.

Solution. Upper crossing first: 4=115°\angle 4 = 115° (vertical angles), 2=3=180115=65°\angle 2 = \angle 3 = 180 - 115 = 65° (linear pairs). The lower crossing repeats the pattern by the corresponding angles postulate: 5=1=115°\angle 5 = \angle 1 = 115°, 8=115°\angle 8 = 115°, 6=7=65°\angle 6 = \angle 7 = 65°.

Check: alternate pair 4=5=115\angle 4 = \angle 5 = 115 ✓; co-interior 4+6=115+65=180\angle 4 + \angle 6 = 115 + 65 = 180 ✓.

In the end the eight angles take only two values — some angle aa and its supplement 180°a180° - a. However tangled a parallel-line figure looks, the value count is two: solid ground under every angle chase.

Example 2 · An alternate-angle equation

m\ell \parallel m, and one pair of alternate interior angles measures (3x+20)°(3x + 20)° and (5x40)°(5x - 40)°. Find the angle.

Solution. By the Alternate Interior Angles Theorem the measures are equal:

3x+20=5x40    60=2x    x=30.3x + 20 = 5x - 40 \implies 60 = 2x \implies x = 30.

The angle is 3(30)+20=110°3(30) + 20 = 110°. Check: 5(30)40=110°5(30) - 40 = 110° — agreed ✓.

Watch out

Every one of these theorems begins "if two parallel lines…". Without parallelism, corresponding and alternate angles still have their names but none of the properties — there is simply no reason for them to be equal. The habit of checking a statement's hypothesis is on duty again. And the reverse question — if the angles are equal, may we conclude the lines are parallel? — is a converse. Converses get their own trial, as you know. Next lesson is that trial.