Math Atlas

평행선의 판정Proving Lines Parallel

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

학습 목표
  • 플레이페어 공리(평행선의 존재와 유일성)를 말할 수 있다.
  • 동위각·엇각·동측내각의 판정 정리로 두 직선의 평행을 증명할 수 있다.
  • 평행의 추이성을 유일성에서 증명할 수 있다.
  • 주어진 각 정보로 "평행이다 / 아니다 / 판정 근거 없음"을 가려낼 수 있다.

이번에는 반대 방향

지난 차시의 세 정리는 전부 한 방향이다 — "평행이면, 각이 이렇다". 그런데 실전에서 더 절실한 것은 반대 질문이다. 목수가 두 번째 선을 그을 때, 제도사가 평행선을 복사할 때 — 이들은 평행을 알고 시작하는 게 아니라 평행을 만들어야 한다. 방법은 하나뿐이다: 같은 각도로 긋는 것. 이 행위가 정당하려면 필요한 문장은 성질이 아니라 그 이다:

각이 같다    평행하다.\text{각이 같다} \implies \text{평행하다.}

역은 저절로 따라오지 않고 별도의 재판이 필요하다는 것 — 이미 배웠다. 재판을 하려면 도구가 하나 더 필요하다.

플레이페어 공리

직선 밖의 한 점을 지나, 그 직선에 평행한 직선은 하나, 오직 하나 있다.

m A
점 A를 지나는 m의 평행선은 ℓ 하나뿐 — 다른 후보들은 결국 m과 만난다.

"하나 있다"(존재)와 "하나뿐이다"(유일)가 함께 들어 있는 문장이다. 그럴듯한가? 점 AA를 지나는 직선을 조금씩 기울여 보라 — 기울기가 mm과 조금이라도 다르면 언젠가 mm과 만나고, 정확히 같은 순간 하나만 만나지 않는다. 이 직관을 공리로 채택한다.

참고

이 문장은 기하학 역사상 가장 유명한 공리다. 유클리드가 『원론』에 넣은 다섯째 공준(내용상 이것과 같다)은 다른 공리보다 유난히 길고 덜 자명해 보여서, 이천 년 동안 수학자들이 "나머지 공리들로부터 증명해서 목록에서 지워 버리려" 시도했다 — 전부 실패했다. 1919세기에 이유가 밝혀진다: 이 공리를 부정해도 모순 없는 다른 기하가 멀쩡히 존재한다(로바쳅스키와 보여이). 실제로 지구 표면에서 "가장 곧은 길"(대원)을 직선으로 삼으면 평행선이 아예 없고 삼각형의 내각합은 180°180°를 넘는다. 공리는 증명되는 것이 아니라 선택되는 것이고, 이 선택이 우리가 공부하는 유클리드 기하를 정의한다.

판정 정리의 증명

동위각 판정 정리 — 횡단선이 만드는 동위각이 서로 같으면, 두 직선은 평행하다.

m t 1 2 A B
∠1 = ∠2가 주어졌을 때 ℓ ∥ m을 증명한다.

증명. 횡단선 tt\ell, mm과 각각 AA, BB에서 만나고, 그림의 동위각이 같다고 하자: 1=2\angle 1 = \angle 2. 플레이페어 공리에 의해 AA를 지나 mm에 평행한 직선이 꼭 하나 있다 — \ell'라 부르자. m\ell' \parallel m이므로 동위각 공리(성질)에 의해 \ell'tt와 이루는 동위각도 2\angle 2와 같다. 그러면 AA에서 tt의 같은 쪽으로 크기 2\angle 2의 각을 이루는 직선이 \ell\ell' 둘 있는 셈인데, 한 반직선에서 정해진 쪽으로 주어진 크기의 각은 하나만 그릴 수 있다(각도기가 하는 약속이다). 그러므로 \ell\ell'는 같은 직선이고, =m\ell = \ell' \parallel m. \blacksquare

증명의 뼈대를 눈여겨보라 — 유일한 것 곁에 후보를 세우면, 후보는 그것과 같을 수밖에 없다. 유일성은 이렇게 쓰라고 있는 성질이다.

엇각과 동측내각의 판정은 이제 짧다. 엇각부터 — 그림의 번호 대신 일반적으로 쓰면:

문장 근거
① 엇각인 두 각이 같다 주어진 조건
② 한 각을 그 맞꼭지각으로 바꾼다 맞꼭지각 정리
③ 바꾸고 나면 동위각 쌍이 같다 ①, ②와 추이성
④ 두 직선은 평행하다 동위각 판정 정리

엇각 판정 정리 — 엇각이 같으면 평행하다. 동측내각 버전(합이 180°180°이면 평행하다)은 문제 8에서 같은 요령으로 증명한다.

이로써 지난 차시의 세 성질이 전부 왕복 도로가 되었다. 평행을 알면 각을 얻고, 각을 알면 평행을 얻는다.

예제 1 · 스피드 판정

횡단선이 두 직선과 만나 다음 각이 생겼다. 각 경우 두 직선이 평행한지 판정하여라.

(1) 동위각 위치의 두 각이 88°88°, 88°88° (2) 엇각 위치의 두 각이 91°91°, 89°89° (3) 동측내각 위치의 두 각이 107°107°, 73°73°

풀이. (1) 같다 — 동위각 판정으로 평행. (2) 918991 \neq 89 — 엇각이 같지 않으므로 평행이 아니다(평행이었다면 엇각 정리에 어긋난다 — 대우). (3) 같지 않지만 볼 것은 합이다: 107+73=180107 + 73 = 180 — 동측내각 판정으로 평행.

평행의 추이성

m\ell \parallel m이고 mnm \parallel n이면(셋은 서로 다른 직선), n\ell \parallel n일까. 당연해 보이지만 이제는 증명할 수 있다 — 유일성이 또 일한다.

증명. \ellnn이 어떤 점 PP에서 만난다고 하자. 그러면 PP를 지나 mm에 평행한 직선이 \ellnn으로 이 된다 — 플레이페어 공리에 정면으로 어긋난다. 모순이므로 \ellnn은 만나지 않는다. 즉 n\ell \parallel n. \blacksquare

"그렇다고 치면 공리가 깨진다"로 미는 귀류 — 두 직선이 두 점에서 못 만난다는 첫 논증과 같은 무늬다.

예제 2 · 판정 뒤에 성질

직선 aa, bb가 횡단선 tt와 만나 동위각 68°68°, 68°68°를 이룬다. 다른 횡단선 ssaa와 예각 51°51°로 만난다면, ssbb와 몇 도로 만나는가?

풀이. 먼저 판정: 동위각이 같으므로 aba \parallel b. 이제 성질을 쓸 자격이 생겼다: ss가 평행선 aa, bb와 만드는 동위각은 같으므로 bb와도 예각 51°51°로 만난다.

판정으로 평행을 확보한 뒤 성질로 각을 수확하는 왕복 — 두 방향이 한 문제 안에서 손을 잡는 표준 장면이다.

주의

판정 정리를 쓸 때는 두 각이 어느 위치의 쌍인지부터 확인하라. 동위각·엇각은 "같으면" 평행이지만 동측내각은 "합이 180°180°이면" 평행이다 — 동측내각이 서로 같다면(95°95°, 95°95°처럼) 오히려 평행이 아니라는 신호다(합이 190°190°이니까). 그리고 맞꼭지각이 같다는 정보는 한 교차점 안의 이야기일 뿐, 두 직선의 평행과는 아무 관련이 없다.

Goals
  • State Playfair's postulate — the existence and uniqueness of parallels.
  • Prove two lines parallel with the corresponding, alternate interior, and co-interior angle tests.
  • Prove the transitivity of parallelism from uniqueness.
  • Sort angle information into "parallel / not parallel / no verdict."

Now the other direction

All three of last lesson's theorems run one way — "if parallel, then the angles behave." But the more urgent question in practice runs the other way. A carpenter ruling a second edge, a drafter copying a parallel line — they don't know parallelism in advance; they have to manufacture it. And there is only one method: draw at the same angle. What justifies that act is not the property but its converse:

equal angles    parallel.\text{equal angles} \implies \text{parallel.}

A converse never comes free — it stands its own trial. And for this trial we need one more tool.

Playfair's postulate

Through a point not on a line, there is exactly one line parallel to that line.

m A
Through A, exactly one parallel to m — the other candidates eventually meet m.

Two claims live in that sentence: a parallel exists, and it is unique. Plausible? Tilt a line through AA little by little — lean it even slightly differently from mm and it eventually crosses mm; match the lean exactly and just that one line never does. We adopt this intuition as a postulate.

Note

This is the most famous postulate in the history of geometry. Euclid's fifth postulate (equivalent in content) looked longer and less self-evident than his others, so for two thousand years mathematicians tried to prove it from the rest and strike it off the list — all in vain. The nineteenth century revealed why: geometries that deny the postulate exist and are perfectly consistent (Lobachevsky, Bolyai). Indeed, on the surface of the Earth, taking "straightest paths" (great circles) as lines, there are no parallels at all, and triangle angles sum to more than 180°180°. Postulates are not proved but chosen — and this choice is what defines the Euclidean geometry we study.

Proving the tests

Corresponding Angles Test — if a transversal makes equal corresponding angles with two lines, the lines are parallel.

m t 1 2 A B
Given ∠1 = ∠2, prove ℓ ∥ m.

Proof. Let the transversal tt meet \ell at AA and mm at BB, with the marked corresponding angles equal: 1=2\angle 1 = \angle 2. By Playfair's postulate there is exactly one line through AA parallel to mm — call it \ell'. Since m\ell' \parallel m, the corresponding angles property says \ell' makes an angle equal to 2\angle 2 with tt. Now two lines through AA\ell and \ell' — make the same-size angle with tt on the same side. But from a given ray, on a given side, only one angle of a given size can be drawn (that is the protractor's promise). So \ell and \ell' are the same line, and =m\ell = \ell' \parallel m. \blacksquare

Study the skeleton — stand a candidate next to the unique one, and the candidate must be it. Uniqueness exists precisely to be used this way.

The alternate and co-interior tests are now short. For alternate angles, in general terms:

Statement Reason
① a pair of alternate interior angles is equal Given
② swap one of them for its vertical angle Vertical Angles Theorem
③ the swap yields equal corresponding angles ①, ② and transitivity
④ the lines are parallel Corresponding Angles Test

Alternate Interior Angles Test — equal alternate interior angles force parallel lines. The co-interior version (a 180°180° sum forces parallel lines) is proved the same way in Problem 8.

With that, all three of last lesson's properties become two-way roads. Know the parallels, harvest the angles; know the angles, harvest the parallels.

Example 1 · Rapid verdicts

A transversal meets two lines, making the following angles. Decide, in each case, whether the lines are parallel.

(1) corresponding positions: 88°88°, 88°88° (2) alternate interior positions: 91°91°, 89°89° (3) co-interior positions: 107°107°, 73°73°

Solution. (1) Equal — parallel, by the corresponding angles test. (2) 918991 \neq 89not parallel: if they were, the alternate angles theorem would be violated (the contrapositive at work). (3) Not equal, but equality isn't the question here — the sum is: 107+73=180107 + 73 = 180, so parallel by the co-interior test.

Transitivity of parallelism

If m\ell \parallel m and mnm \parallel n (three different lines), is n\ell \parallel n? It looks obvious — and now it can be proved. Uniqueness goes to work again.

Proof. Suppose \ell and nn met at some point PP. Then two lines through PP — namely \ell and nn — would be parallel to mm, flatly contradicting Playfair's postulate. So \ell and nn never meet; that is, n\ell \parallel n. \blacksquare

"Suppose so, and a postulate shatters" — the same shape as our very first argument, that two lines cannot meet twice.

Example 2 · Test first, then property

Lines aa and bb meet a transversal tt in corresponding angles of 68°68° and 68°68°. Another transversal ss meets aa at an acute angle of 51°51°. At what acute angle does ss meet bb?

Solution. Test first: equal corresponding angles give aba \parallel b. That earns us the right to use the property: the corresponding angles ss makes with the parallel lines aa and bb are equal, so ss meets bb at 51°51° as well.

Secure parallelism with a test, then harvest angles with the property — the two directions joining hands inside one problem is a scene you will see constantly.

Watch out

Before applying any test, check which pair the two angles form. Corresponding and alternate angles force parallelism by being equal; co-interior angles force it by summing to 180°180°. Equal co-interior angles — say 95°95° and 95°95° — are actually a signal the lines are not parallel (the sum is 190°190°). And equal vertical angles say nothing at all about parallelism: that is a one-crossing story.