Math Atlas

중선과 수선Medians & Altitudes

GeometryGeometry · 4. 삼각형의 성질4. Triangle Properties

학습 목표
  • 중선·무게중심·수선·수심을 정의하고 그림에서 식별할 수 있다.
  • 중선이 넓이를 이등분함을 증명하고, 무게중심의 2:12:1 성질로 계산할 수 있다.
  • 수선의 발이 변 안·변 자체·연장선 위로 갈리는 세 경우를 구분할 수 있다.
  • 세 수선이 한 점에서 만나는 이유를 외심 정리로 증명할 수 있다.

남은 두 선

지난 차시의 두 자취 — 수직이등분선과 각의 이등분선 — 는 삼각형의 꼭짓점을 지나지 않아도 됐다. 오늘의 두 선은 꼭짓점에서 출발한다. 하나는 맞은편 변의 중점을 겨냥하고, 하나는 맞은편 변에 수직으로 내리꽂힌다. 각각이 특별한 점을 하나씩 데려와서, 삼각형의 4대 중심이 완성된다.

정의중선

삼각형의 한 꼭짓점과 그 대변의 중점을 잇는 선분을 중선이라 한다. 꼭짓점이 셋이니 중선도 셋이다.

G 2 1 A B C M
세 중선은 한 점 G에서 만나고, G는 각 중선을 꼭짓점 쪽에서 2:1로 나눈다.

중선은 넓이를 반으로 가른다

중선이 왜 특별한가 — 길이의 중점을 잡았을 뿐인데, 넓이가 반으로 갈린다.

정리 — 중선은 삼각형을 넓이가 같은 두 삼각형으로 나눈다.

h S/2 S/2 A B C M
밑변이 같고(BM = MC) 높이 h를 공유하니, 두 조각의 넓이는 같다.

증명. 중선 AM\overline{AM}이 만드는 ABM\triangle ABMAMC\triangle AMC를 보자. 밑변은 BM=MCBM = MC(중점의 정의). 높이는 — 두 삼각형 모두 꼭짓점 AA에서 직선 BCBC까지의 거리 hh같은 값 하나를 공유한다. 삼각형의 넓이 공식으로

[ABM]=12BMh=12MCh=[AMC].[\triangle ABM] = \tfrac12 \cdot BM \cdot h = \tfrac12 \cdot MC \cdot h = [\triangle AMC]. \qquad \blacksquare

넓이 공식은 도형을 처음 셈하던 시절에 잘라 붙여 유도해 둔 그 12bh\frac12 bh다. 이 짧은 정리는 앞으로 넓이 문제의 단골 무기가 된다 — 특히 "밑변이 같은 직선 위에 있고 꼭짓점을 공유하면, 넓이의 비는 밑변의 비"라는 일반형은 넓이 단원에서 크게 자란다.

무게중심: 사실 둘, 그리고 정직한 빚

세 중선을 실제로 그려 보면 — 한 점에서 만난다. 그 점을 무게중심 GG라 하고, 두 사실을 쓴다.

사실 1 — 세 중선은 한 점 GG에서 만난다.

사실 2 — GG는 각 중선을 꼭짓점 쪽에서 2:12 : 1로 나눈다. (꼭짓점~GG22, GG~중점이 11.)

참고

이 두 사실의 증명은 아직 못 한다 — 지금 도구함에는 "비율"을 다루는 정리가 없기 때문이다. 닮음 단원에서 중점연결정리를 얻으면 갚고, 좌표기하 단원에서 좌표 계산으로 한 번 더 확인한다. 빚을 빚이라 적어 두는 것 — 그것이 사실을 정확히 쓰는 값이다.

이름의 유래는 물리에 있다. 판지로 삼각형을 오려 무게중심에 연필 끝을 대면 수평으로 균형이 잡힌다. 중선이 넓이를 반으로 가른다는 방금의 정리가 그 감각의 절반을 설명해 준다 — 중선을 따라 접으면 양쪽 판지의 양이 같으니, 균형점은 세 중선 모두의 위에 있어야 할 것이다. (판지 조각들의 역학까지 정확히 따지는 일은 적분의 몫이라, 여기서는 감각과 실험까지만.)

예제 1 · 2:1 계산

GGABC\triangle ABC의 무게중심이고 중선 AM\overline{AM}의 길이가 2121이다. AGAGGMGM을 구하여라.

풀이. AG:GM=2:1AG : GM = 2 : 1이므로 중선을 셋으로 나눠 AG=2321=14AG = \frac23 \cdot 21 = 14, GM=1321=7GM = \frac13 \cdot 21 = 7.

검산: 14+7=2114 + 7 = 21 ✓, 14=2×714 = 2 \times 7 ✓.

참고

중점이 보일 때마다 꺼내던 수법 — 중선 두 배 늘이기(중점 너머로 복제해 맞꼭지각 SAS를 여는 것)의 주 무대가 바로 이 중선이다. 다음 차시에서 중선의 길이를 부등식으로 옭아맬 때 다시 등판하고, 두 배로 늘인 그림이 만드는 사각형은 다음 단원(평행사변형)의 예고편이기도 하다.

수선과 수심

정의수선

삼각형의 한 꼭짓점에서 대변을 품은 직선에 내린 수선(의 선분)을 그 꼭짓점에서 그은 수선이라 하고, 수선이 그 직선과 만나는 점을 수선의 발이라 한다.

넓이 공식에서 쓰던 "높이"가 바로 이 수선의 길이다 — 이름 없이 부리던 선분이 정식 신분을 얻었다.

정의에 "대변을 품은 직선"이라 쓴 데는 이유가 있다. 발이 항상 변 위에 떨어지지는 않기 때문이다.

수선의 발 — 예각삼각형은 변 안, 직각삼각형은 변 자체가 수선, 둔각삼각형은 연장선 위.
  • 예각삼각형: 세 발이 전부 변 안에 떨어진다.
  • 직각삼각형: 두 예각 꼭짓점에서 그은 수선은 두 변 자체다(다리 하나가 다른 다리에 수직이므로).
  • 둔각삼각형: 둔각을 낀 두 꼭짓점에서 그은 수선의 발은 대변의 연장선 위로 나간다.

세 수선(을 품은 직선)도 한 점에서 만난다 — 그 점이 수심 HH다. 직각삼각형에서는 두 수선이 두 다리 자체이므로 수심은 직각의 꼭짓점이고, 둔각삼각형에서는 수심이 삼각형 으로 나간다.

수심은 왜 한 점에서 만나는가: 선불로 증명

무게중심은 빚으로 남겼지만, 수심의 공점은 지금 증명할 수 있다 — 그것도 지난 차시의 외심 정리를 재활용해서. 다만 다음 단원의 정리 하나를 선금으로 미리 꺼내 쓴다.

보조정리(선불) — 마주 보는 두 쌍의 변이 각각 평행한 사각형에서, 마주 보는 변끼리 길이가 같다.

증명. 사각형 ABCDABCD에서 ABDC\overline{AB} \parallel \overline{DC}, BCAD\overline{BC} \parallel \overline{AD}라 하자. 대각선 AC\overline{AC}를 그으면 BAC=DCA\angle BAC = \angle DCA(엇각), BCA=DAC\angle BCA = \angle DAC(엇각), ACAC 공통 — ASA로 ABCCDA\triangle ABC \cong \triangle CDA이고, 대응변에서 AB=CDAB = CD, BC=DABC = DA. \blacksquare (평행사변형 단원에서 주인공이 될 정리를 필요한 만큼만 앞당겼다 — "평행 + 등변"으로 대각선을 이등분시키던 합동 차시의 문제와 한 집안이다.)

정리 — 삼각형의 세 수선(을 품은 직선)은 한 점에서 만난다.

H A B C A′ B′ C′
꼭짓점마다 대변에 평행한 직선을 그으면, 원래 수선들이 큰 삼각형의 수직이등분선이 된다.

증명. ABC\triangle ABC의 각 꼭짓점에서 대변에 평행한 직선을 하나씩 긋는다(플레이페어 공리 — 존재와 유일). BBCC를 지나는 두 직선이 평행하다면 추이성으로 CAAB\overline{CA} \parallel \overline{AB}가 되어 모순이므로 둘은 만난다 — 세 직선이 서로 만나며 큰 삼각형 ABCA'B'C'을 이룬다(AA를 지나는 직선 위에 BB'CC'이 온다).

사각형 ABCBAB'CB는 두 쌍의 대변이 평행하므로(ABBC\overline{AB'} \parallel \overline{BC}, BCAB\overline{B'C} \parallel \overline{AB}) 보조정리로 AB=BCAB' = BC. 사각형 CACBC'ACB도 마찬가지로 CA=BCC'A = BC. 그러므로

AB=CA  (=BC)AB' = C'A \; (= BC)

— 직선 BCB'C' 위에서 AA로부터 같은 거리에 있는 서로 다른 두 점 BB', CC'AA의 반대쪽에 있을 수밖에 없고(같은 쪽이면 같은 점), 따라서 AABC\overline{B'C'}의 중점이다.

이제 AA에서 그은 수선을 보자. BC\overline{BC}에 수직인데 BCBC\overline{B'C'} \parallel \overline{BC}이므로 BC\overline{B'C'}에도 수직이다(평행한 둘 중 하나에 수직이면 다른 하나에도 수직). 중점 AA를 지나며 BC\overline{B'C'}에 수직 — 즉 ABC\triangle ABCAA-수선은 ABC\triangle A'B'C'의 변 BC\overline{B'C'}의 수직이등분선이다. 같은 논증이 세 꼭짓점 모두에서 성립하므로, 세 수선은 큰 삼각형의 세 수직이등분선이고 — 지난 차시의 외심 정리에 의해 — 한 점에서 만난다. \blacksquare

지난 차시에 세운 정리가 이번 차시의 증명 도구가 됐다. 수심은 큰 삼각형의 외심인 셈이다 — 정리를 쌓으면 다음 증명이 짧아진다는 원칙이 단원을 건너 일하는 장면이다.

네 중심, 한 표

중심 세 무엇의 교점 특징 위치
외심 OO 수직이등분선 꼭짓점 등거리 (외접원) 안 · 빗변 중점 · 밖
내심 II 각의 이등분선 변 등거리 (내접원) 항상 안
무게중심 GG 중선 균형점, 2:12:1 항상 안
수심 HH 수선 안 · 직각 꼭짓점 · 밖

정삼각형에서는 넷이 전부 한 점으로 포개진다 — 축 세 개가 각각 수직이등분선·이등분선·중선·수선을 겸직하기 때문이다. 이등변삼각형에서는 넷이 전부 대칭축 위에 줄을 선다(외심·내심은 지난 차시 문제에서 확인했다 — 무게중심과 수심도 축이 중선이자 수선이므로 마찬가지다).

O G H I A B C
부등변삼각형의 네 중심 — O, G, H는 정확히 한 직선 위에 있고, I만 비켜 서 있다.
참고

부등변삼각형에서 네 점은 뿔뿔이 흩어진다 — 그런데 완전히 무질서하지는 않다. 외심 OO, 무게중심 GG, 수심 HH는 언제나 정확히 한 직선 위에 있고(오일러 직선), GGOH\overline{OH}1:21:2로 나눈다. 내심만 이 직선에서 비켜 선다(이등변이면 축 위로 합류한다). 1818세기에 오일러가 발견한 사실로, 증명은 좌표기하 단원에서 좌표의 힘으로 해낸다 — 네 중심을 다 모은 오늘, 예고만 걸어 둔다.

Goals
  • Define medians, the centroid, altitudes, and the orthocenter, and identify each in a figure.
  • Prove that a median bisects the area, and compute with the centroid's 2:12:1 property.
  • Distinguish the three cases for the foot of an altitude: on the side, the side itself, on the extension.
  • Prove that the three altitudes are concurrent, using the circumcenter theorem.

The two remaining lines

Last lesson's two loci — perpendicular bisectors and angle bisectors — did not have to pass through the triangle's vertices at all. Today's two lines launch from a vertex. One aims at the midpoint of the opposite side; the other drops perpendicularly onto it. Each brings along one special point, completing the triangle's four classical centers.

DefinitionMedian

A segment joining a vertex of a triangle to the midpoint of the opposite side is a median. Three vertices, three medians.

G 2 1 A B C M
The three medians meet at one point G, which cuts each median in the ratio 2:1 from the vertex.

A median halves the area

Why is a median special? It only picked the midpoint of a length — yet the area splits in half.

Theorem — a median divides a triangle into two triangles of equal area.

h S/2 S/2 A B C M
Equal bases (BM = MC) and a shared height h — the two pieces have the same area.

Proof. Look at ABM\triangle ABM and AMC\triangle AMC made by the median AM\overline{AM}. Their bases satisfy BM=MCBM = MC (definition of midpoint). Their heights — both triangles use one shared value: the distance hh from AA to line BCBC. The area formula gives

[ABM]=12BMh=12MCh=[AMC].[\triangle ABM] = \tfrac12 \cdot BM \cdot h = \tfrac12 \cdot MC \cdot h = [\triangle AMC]. \qquad \blacksquare

The formula is the same 12bh\frac12 bh derived long ago by cutting and pasting. This short theorem becomes a staple weapon for area problems — especially its general form, "triangles with bases on one line and a shared apex have areas in the ratio of their bases," which grows tall in the area unit.

The centroid: two facts, and an honest debt

Draw all three medians and — they meet at one point. Call it the centroid GG, and record two facts.

Fact 1 — the three medians meet at one point GG.

Fact 2 — GG divides each median in the ratio 2:12 : 1 from the vertex. (Vertex to GG is 22; GG to midpoint is 11.)

Note

These two facts cannot be proved yet — the toolbox holds no theorem for handling ratios. The debt is repaid in the similarity unit once the midsegment theorem arrives, and checked once more by coordinates in the coordinate geometry unit. Writing a debt down as a debt — that is the price of stating facts precisely.

The name comes from physics. Cut a triangle out of cardboard and balance it flat on a pencil tip at the centroid — it holds. The theorem just proved explains half of that feeling: folding along a median puts equal amounts of cardboard on each side, so the balance point ought to sit on all three medians. (Accounting for the mechanics of the cardboard pieces precisely is calculus's job; here we stop at the intuition and the experiment.)

Example 1 · Computing with 2:1

GG is the centroid of ABC\triangle ABC, and the median AM\overline{AM} has length 2121. Find AGAG and GMGM.

Solution. Since AG:GM=2:1AG : GM = 2 : 1, split the median in thirds: AG=2321=14AG = \frac23 \cdot 21 = 14 and GM=1321=7GM = \frac13 \cdot 21 = 7.

Check: 14+7=2114 + 7 = 21 ✓ and 14=2×714 = 2 \times 7 ✓.

Note

The move we reach for whenever a midpoint appears — doubling the median (clone past the midpoint and unlock a vertical-angle SAS) — has its home stage right here. It returns next lesson to pin the median's length with an inequality, and the quadrilateral that the doubled figure creates is a trailer for the next unit (parallelograms).

Altitudes and the orthocenter

DefinitionAltitude

The perpendicular (segment) from a vertex of a triangle to the line containing the opposite side is the altitude from that vertex; the point where it meets that line is its foot.

The "height" used in the area formula is exactly the length of this altitude — the segment we had been working without a name now has official papers.

There is a reason the definition says "the line containing the opposite side": the foot does not always land on the side itself.

The foot of an altitude — inside the side for acute triangles, a leg itself for right triangles, on the extension for obtuse ones.
  • Acute triangle: all three feet land inside the sides.
  • Right triangle: the altitudes from the two acute vertices are the two legs themselves (each leg is perpendicular to the other).
  • Obtuse triangle: from the two vertices flanking the obtuse angle, the feet fall on the extensions of the opposite sides.

The three altitudes (as lines) are also concurrent — at the orthocenter HH. In a right triangle two altitudes are the legs, so the orthocenter is the right-angle vertex; in an obtuse triangle it escapes outside.

Why the altitudes concur: proved, with an advance

The centroid stayed a debt, but the orthocenter's concurrency can be proved right now — by recycling last lesson's circumcenter theorem. We only draw one theorem from the next unit as an advance payment.

Lemma (the advance) — in a quadrilateral whose two pairs of opposite sides are parallel, opposite sides are equal in length.

Proof. In quadrilateral ABCDABCD with ABDC\overline{AB} \parallel \overline{DC} and BCAD\overline{BC} \parallel \overline{AD}, draw diagonal AC\overline{AC}. Then BAC=DCA\angle BAC = \angle DCA (alternate angles), BCA=DAC\angle BCA = \angle DAC (alternate angles), and ACAC is shared — ASA gives ABCCDA\triangle ABC \cong \triangle CDA, and corresponding sides give AB=CDAB = CD, BC=DABC = DA. \blacksquare (A theorem that stars in the parallelogram unit, borrowed early in exactly the amount needed — kin to the congruence-lesson problem where "parallel + equal" made diagonals bisect each other.)

Theorem — the three altitudes of a triangle (as lines) meet at one point.

H A B C A′ B′ C′
Draw a parallel to the opposite side through each vertex — the original altitudes become the big triangle's perpendicular bisectors.

Proof. Through each vertex of ABC\triangle ABC, draw the line parallel to the opposite side (Playfair's postulate — existence and uniqueness). If the lines through BB and through CC were parallel, transitivity would force CAAB\overline{CA} \parallel \overline{AB}, absurd; so they meet — the three lines pairwise meet and form a large triangle ABCA'B'C' (with BB' and CC' landing on the line through AA).

Quadrilateral ABCBAB'CB has both pairs of opposite sides parallel (ABBC\overline{AB'} \parallel \overline{BC} and BCAB\overline{B'C} \parallel \overline{AB}), so the lemma gives AB=BCAB' = BC. Quadrilateral CACBC'ACB likewise gives CA=BCC'A = BC. Hence

AB=CA  (=BC)AB' = C'A \; (= BC)

— on the line BCB'C', the two distinct points BB' and CC' sit at equal distances from AA, so they must lie on opposite sides of AA (same side would make them the same point). AA is the midpoint of BC\overline{B'C'}.

Now look at the altitude from AA. It is perpendicular to BC\overline{BC}, and BCBC\overline{B'C'} \parallel \overline{BC}, so it is perpendicular to BC\overline{B'C'} as well (perpendicular to one of two parallels, perpendicular to the other). Through the midpoint AA, perpendicular to BC\overline{B'C'} — the AA-altitude of ABC\triangle ABC is the perpendicular bisector of side BC\overline{B'C'} of ABC\triangle A'B'C'. The same argument runs at all three vertices, so the three altitudes are the three perpendicular bisectors of the large triangle — and by last lesson's circumcenter theorem, they meet at one point. \blacksquare

A theorem built last lesson became this lesson's proof tool. The orthocenter is, in disguise, the circumcenter of the larger triangle — the principle that stacking theorems shortens the next proof, working across an entire unit boundary.

Four centers, one table

Center Meeting of three... Signature Location
Circumcenter OO perpendicular bisectors equidistant from vertices (circumcircle) inside · hypotenuse midpoint · outside
Incenter II angle bisectors equidistant from sides (incircle) always inside
Centroid GG medians balance point, 2:12:1 always inside
Orthocenter HH altitudes inside · right-angle vertex · outside

In an equilateral triangle all four collapse to one point — each of the three axes moonlights as perpendicular bisector, angle bisector, median, and altitude at once. In an isosceles triangle all four line up on the axis of symmetry (the circumcenter and incenter were checked in last lesson's problems; the centroid and orthocenter follow since the axis is both a median and an altitude).

O G H I A B C
The four centers of a scalene triangle — O, G, H sit exactly on one line, and only I steps aside.
Note

In a scalene triangle the four points scatter — but not without order. The circumcenter OO, centroid GG, and orthocenter HH always lie on exactly one line (the Euler line), with GG dividing OH\overline{OH} in the ratio 1:21:2. Only the incenter steps off the line (rejoining it, on the axis, when the triangle is isosceles). Euler found this in the eighteenth century; the proof is done with the power of coordinates in the coordinate geometry unit — today, with all four centers finally assembled, we hang up the trailer.