Math Atlas

거리와 중점Distance & Midpoints

GeometryGeometry · 11. 좌표기하11. Coordinate Geometry

학습 목표
  • 거리 공식을 피타고라스에서 유도하고 정식으로 명명한다.
  • 중점 공식(평균)과 무게중심 공식(평균의 평균)을 증명한다.
  • 좌표만으로 도형을 판별하는 기본 절차를 익힌다.

기하를 계산으로 번역하다

지금까지의 증명은 그림 위에서 합동과 닮음으로 진행됐다. 좌표평면은 다른 길을 연다 — 점을 수의 쌍으로 바꾸면, 도형의 성질이 계산 문제가 된다. 길이·중점·수직 같은 기하 개념마다 공식이 하나씩 대응하고, 이 단원은 그 사전을 만든다.

거리 공식: 피타고라스의 정식 취임

두 점 A(x1,y1)A(x_1, y_1), B(x2,y2)B(x_2, y_2) 사이의 거리는, 가로 차와 세로 차를 두 다리로 하는 직각삼각형의 빗변이다:

AB=(x2x1)2+(y2y1)2.AB = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}.

A B x₂ − x₁ y₂ − y₁ d
가로 차와 세로 차 — 거리는 언제나 빗변이다.

피타고라스 단원에서 예고 없이 쓰던 세 걸음(가로 차, 세로 차, 피타고라스)이 오늘 거리 공식이라는 이름을 얻는다. 차를 제곱하므로 빼는 순서는 상관없다 — (x1x2)2=(x2x1)2(x_1 - x_2)^2 = (x_2 - x_1)^2.

예제

A(2,3)A(-2, 3)B(4,5)B(4, -5) 사이의 거리:

AB=(4(2))2+(53)2=36+64=10.AB = \sqrt{(4-(-2))^2 + (-5-3)^2} = \sqrt{36 + 64} = 10.

66-88-1010 — 부호 섞인 좌표에서도 공식은 차의 제곱만 본다.

중점 공식: 좌표의 평균

정리 — AB\overline{AB}의 중점 MM의 좌표는 두 끝점 좌표의 평균이다:

M=(x1+x22,  y1+y22).M = \left(\frac{x_1 + x_2}{2}, \; \frac{y_1 + y_2}{2}\right).

증명. AA, MM, BB에서 xx축에 수선을 내리자. 세 수선은 평행하고 MMAB\overline{AB}의 중점이므로, 평행선 잘라내기 원리(닮음 단원)에 의해 세 수선의 발도 같은 비 1:11:1로 잘린다 — 즉 MMxx좌표는 x1x_1x2x_2의 한가운데, x1+x22\dfrac{x_1 + x_2}{2}다. yy좌표도 같은 논증이다. \blacksquare

"가운데"가 "평균"으로 번역되는 것 — 좌표 사전의 둘째 항목이다.

무게중심: 평균의 평균

정리 — ABC\triangle ABC의 무게중심 GG는 세 꼭짓점 좌표의 평균이다:

G=(x1+x2+x33,  y1+y2+y33).G = \left(\frac{x_1 + x_2 + x_3}{3}, \; \frac{y_1 + y_2 + y_3}{3}\right).

증명. BC\overline{BC}의 중점 M=(x2+x32,y2+y32)M = \left(\frac{x_2 + x_3}{2}, \frac{y_2 + y_3}{2}\right)에 대해, GG는 중선 AM\overline{AM}2:12:1로 가르므로 AA에서 MM까지의 23\frac23 지점이다. xx좌표로 쓰면

xG=x1+23(x2+x32x1)=x1+x2+x332x13=x1+x2+x33,x_G = x_1 + \frac23\left(\frac{x_2 + x_3}{2} - x_1\right) = x_1 + \frac{x_2 + x_3}{3} - \frac{2x_1}{3} = \frac{x_1 + x_2 + x_3}{3},

yy좌표도 같다. \blacksquare

식이 세 꼭짓점에 대해 완전히 대칭이라는 점을 눈여겨보라 — 어느 중선으로 계산해도 같은 점이 나온다는 뜻이고, 이것이 세 중선이 한 점에서 만난다는 사실의 좌표판 확인이다.

예제

A(1,7)A(1, 7), B(4,1)B(4, 1), C(7,4)C(7, 4)의 무게중심: G=(1+4+73,7+1+43)=(4,4)G = \left(\dfrac{1+4+7}{3}, \dfrac{7+1+4}{3}\right) = (4, 4).

좌표로 도형을 판별하다

공식 두 개만으로 판별 도구가 여럿 생긴다.

변의 길이로 — 거리 공식으로 세 변(네 변)을 재면 이등변·정삼각형·마름모가 걸러지고, 최장변의 제곱과 나머지 제곱합을 비교하면(피타고라스 판별) 직각까지 걸러진다.

대각선의 중점으로 — 사각형 단원의 판정 "대각선이 서로를 이등분하면 평행사변형"이 좌표에서는 한 줄이 된다: 두 대각선의 중점 좌표가 일치하는가.

예제

A(0,0)A(0, 0), B(5,1)B(5, 1), C(7,5)C(7, 5), D(2,4)D(2, 4)가 평행사변형인지 판별하자.

대각선 AC\overline{AC}의 중점은 (72,52)\left(\frac72, \frac52\right), 대각선 BD\overline{BD}의 중점도 (5+22,1+42)=(72,52)\left(\frac{5+2}{2}, \frac{1+4}{2}\right) = \left(\frac72, \frac52\right)일치한다. 평행사변형이다.

네 변의 길이를 다 재지 않아도 된다 — 판정 정리를 좌표로 번역하면 계산 두 번이면 끝난다.

주의

거리 공식에서 가장 흔한 실수는 제곱을 잊는 것과 차를 더하는 것이다 — (x2x1)2+(y2y1)2\sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}이지 (x2x1+y2y1)2\sqrt{(x_2-x_1+y_2-y_1)^2}이 아니다. 그리고 거리는 언제나 00 이상 — 계산 결과가 음수 안에 있으면 이미 틀린 것이다. 어림 검산(그림에서 눈으로 잰 길이와 비교)을 습관으로.

Goals
  • Derive the distance formula from Pythagoras and give it its official name.
  • Prove the midpoint formula (an average) and the centroid formula (an average of averages).
  • Learn the basic procedures for classifying figures by coordinates alone.

Translating geometry into computation

Until now, proofs ran on pictures — congruence and similarity. The coordinate plane opens another road: turn points into pairs of numbers, and properties of figures become computations. Each geometric notion — length, midpoint, perpendicularity — gets a formula, and this unit writes that dictionary.

The distance formula: Pythagoras takes office

The distance between A(x1,y1)A(x_1, y_1) and B(x2,y2)B(x_2, y_2) is the hypotenuse of the right triangle whose legs are the horizontal and vertical differences:

AB=(x2x1)2+(y2y1)2.AB = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}.

A B x₂ − x₁ y₂ − y₁ d
Horizontal difference, vertical difference — the distance is always the hypotenuse.

The three steps used without a name back in the Pythagorean unit — horizontal difference, vertical difference, Pythagoras — are today christened the distance formula. The differences get squared, so subtraction order is irrelevant: (x1x2)2=(x2x1)2(x_1 - x_2)^2 = (x_2 - x_1)^2.

Example

The distance between A(2,3)A(-2, 3) and B(4,5)B(4, -5):

AB=(4(2))2+(53)2=36+64=10.AB = \sqrt{(4-(-2))^2 + (-5-3)^2} = \sqrt{36 + 64} = 10.

A 66-88-1010 — even with mixed signs, the formula sees only squared differences.

The midpoint formula: averaging coordinates

Theorem — The midpoint MM of AB\overline{AB} has the averaged coordinates:

M=(x1+x22,  y1+y22).M = \left(\frac{x_1 + x_2}{2}, \; \frac{y_1 + y_2}{2}\right).

Proof. Drop perpendiculars from AA, MM, BB to the xx-axis. The three are parallel, and MM bisects AB\overline{AB}, so by the parallel-cut principle (similarity unit) their feet are cut in the same ratio 1:11:1 — the xx-coordinate of MM is halfway between x1x_1 and x2x_2, namely x1+x22\dfrac{x_1 + x_2}{2}. Same argument for yy. \blacksquare

"Middle" translating to "average" — the dictionary's second entry.

The centroid: an average of averages

Theorem — The centroid GG of ABC\triangle ABC has the coordinates of the three vertices' average:

G=(x1+x2+x33,  y1+y2+y33).G = \left(\frac{x_1 + x_2 + x_3}{3}, \; \frac{y_1 + y_2 + y_3}{3}\right).

Proof. With M=(x2+x32,y2+y32)M = \left(\frac{x_2 + x_3}{2}, \frac{y_2 + y_3}{2}\right) the midpoint of BC\overline{BC}, the centroid divides the median AM\overline{AM} in ratio 2:12:1, sitting 23\frac23 of the way from AA to MM. In xx-coordinates,

xG=x1+23(x2+x32x1)=x1+x2+x332x13=x1+x2+x33,x_G = x_1 + \frac23\left(\frac{x_2 + x_3}{2} - x_1\right) = x_1 + \frac{x_2 + x_3}{3} - \frac{2x_1}{3} = \frac{x_1 + x_2 + x_3}{3},

and likewise for yy. \blacksquare

Note the formula's complete symmetry in the three vertices — computing along any median lands on the same point, which is the coordinate edition of the fact that the three medians concur.

Example

The centroid of A(1,7)A(1, 7), B(4,1)B(4, 1), C(7,4)C(7, 4): G=(1+4+73,7+1+43)=(4,4)G = \left(\dfrac{1+4+7}{3}, \dfrac{7+1+4}{3}\right) = (4, 4).

Classifying figures by coordinates

Two formulas already yield several classification tools.

By side lengths — measure the three (or four) sides with the distance formula to catch isosceles, equilateral, and rhombic figures; compare the longest side's square against the sum of the others (the Pythagorean test) to catch right angles.

By diagonal midpoints — the quadrilateral unit's test "diagonals bisecting each other means parallelogram" becomes one line in coordinates: do the two diagonals have the same midpoint?

Example

Decide whether A(0,0)A(0, 0), B(5,1)B(5, 1), C(7,5)C(7, 5), D(2,4)D(2, 4) form a parallelogram.

Diagonal AC\overline{AC} has midpoint (72,52)\left(\frac72, \frac52\right); diagonal BD\overline{BD} has midpoint (5+22,1+42)=(72,52)\left(\frac{5+2}{2}, \frac{1+4}{2}\right) = \left(\frac72, \frac52\right)they coincide. A parallelogram.

No need to measure four sides — translate the right test into coordinates and two midpoint computations finish it.

Watch out

The distance formula's classic errors: forgetting to square, and adding the differences — it is (x2x1)2+(y2y1)2\sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}, never (x2x1+y2y1)2\sqrt{(x_2-x_1+y_2-y_1)^2}. And distances are never negative — a minus sign surviving under the final root means something already went wrong. Make estimation (eyeballing the picture) a standing check.