두 점 와 사이의 거리를 구하여라.
Find the distance between and .
정답과 풀이Answer & solution
가로 차 , 세로 차 — --의 빗변이다.
Horizontal difference , vertical — the hypotenuse of a --.
지금까지의 증명은 그림 위에서 합동과 닮음으로 진행됐다. 좌표평면은 다른 길을 연다 — 점을 수의 쌍으로 바꾸면, 도형의 성질이 계산 문제가 된다. 길이·중점·수직 같은 기하 개념마다 공식이 하나씩 대응하고, 이 단원은 그 사전을 만든다.
두 점 , 사이의 거리는, 가로 차와 세로 차를 두 다리로 하는 직각삼각형의 빗변이다:
피타고라스 단원에서 예고 없이 쓰던 세 걸음(가로 차, 세로 차, 피타고라스)이 오늘 거리 공식이라는 이름을 얻는다. 차를 제곱하므로 빼는 순서는 상관없다 — .
과 사이의 거리:
-- — 부호 섞인 좌표에서도 공식은 차의 제곱만 본다.
정리 — 의 중점 의 좌표는 두 끝점 좌표의 평균이다:
증명. , , 에서 축에 수선을 내리자. 세 수선은 평행하고 이 의 중점이므로, 평행선 잘라내기 원리(닮음 단원)에 의해 세 수선의 발도 같은 비 로 잘린다 — 즉 의 좌표는 과 의 한가운데, 다. 좌표도 같은 논증이다.
"가운데"가 "평균"으로 번역되는 것 — 좌표 사전의 둘째 항목이다.
정리 — 의 무게중심 는 세 꼭짓점 좌표의 평균이다:
증명. 의 중점 에 대해, 는 중선 을 로 가르므로 에서 까지의 지점이다. 좌표로 쓰면
좌표도 같다.
식이 세 꼭짓점에 대해 완전히 대칭이라는 점을 눈여겨보라 — 어느 중선으로 계산해도 같은 점이 나온다는 뜻이고, 이것이 세 중선이 한 점에서 만난다는 사실의 좌표판 확인이다.
, , 의 무게중심: .
공식 두 개만으로 판별 도구가 여럿 생긴다.
변의 길이로 — 거리 공식으로 세 변(네 변)을 재면 이등변·정삼각형·마름모가 걸러지고, 최장변의 제곱과 나머지 제곱합을 비교하면(피타고라스 판별) 직각까지 걸러진다.
대각선의 중점으로 — 사각형 단원의 판정 "대각선이 서로를 이등분하면 평행사변형"이 좌표에서는 한 줄이 된다: 두 대각선의 중점 좌표가 일치하는가.
, , , 가 평행사변형인지 판별하자.
대각선 의 중점은 , 대각선 의 중점도 — 일치한다. 평행사변형이다.
네 변의 길이를 다 재지 않아도 된다 — 판정 정리를 좌표로 번역하면 계산 두 번이면 끝난다.
거리 공식에서 가장 흔한 실수는 제곱을 잊는 것과 차를 더하는 것이다 — 이지 이 아니다. 그리고 거리는 언제나 이상 — 계산 결과가 음수 안에 있으면 이미 틀린 것이다. 어림 검산(그림에서 눈으로 잰 길이와 비교)을 습관으로.
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 between and is the hypotenuse of the right triangle whose legs are the horizontal and vertical differences:
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: .
The distance between and :
A -- — even with mixed signs, the formula sees only squared differences.
Theorem — The midpoint of has the averaged coordinates:
Proof. Drop perpendiculars from , , to the -axis. The three are parallel, and bisects , so by the parallel-cut principle (similarity unit) their feet are cut in the same ratio — the -coordinate of is halfway between and , namely . Same argument for .
"Middle" translating to "average" — the dictionary's second entry.
Theorem — The centroid of has the coordinates of the three vertices' average:
Proof. With the midpoint of , the centroid divides the median in ratio , sitting of the way from to . In -coordinates,
and likewise for .
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.
The centroid of , , : .
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?
Decide whether , , , form a parallelogram.
Diagonal has midpoint ; diagonal has midpoint — they coincide. A parallelogram.
No need to measure four sides — translate the right test into coordinates and two midpoint computations finish it.
The distance formula's classic errors: forgetting to square, and adding the differences — it is , never . 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.
두 점 와 사이의 거리를 구하여라.
Find the distance between and .
가로 차 , 세로 차 — --의 빗변이다.
Horizontal difference , vertical — the hypotenuse of a --.
두 점 와 을 잇는 선분의 중점을 구하여라.
Find the midpoint of the segment joining and .
음수가 섞여도 평균은 평균이다 — 부호째로 더해 반으로 나눈다.
Negatives change nothing — add with signs, halve.
세 꼭짓점이 , , 인 삼각형의 무게중심을 구하여라.
Find the centroid of the triangle with vertices , , .
검산 — 중선으로: 밑변의 중점 과 꼭짓점 를 잇는 중선 위에서 꼭짓점으로부터 지점은 ✓.
Check along a median: from toward the base's midpoint , the mark is ✓.
세 점 , , 로 만든 삼각형이 어떤 삼각형인지 판별하고, 둘레를 구하여라.
Classify the triangle with vertices , , , and find its perimeter.
— 이등변이고, 둘레는 .
직각은 아닌지도 확인해 두자: 최장변 에 대해 — 예각삼각형이다. 좌표 판별은 "재고, 비교한다" 두 동작의 반복이다.
— isosceles, with perimeter .
Check for a right angle too: against the longest side, — acute. Coordinate classification is two moves on repeat: measure, compare.
점 이 와 를 잇는 선분의 중점이다. 의 좌표를 구하여라.
is the midpoint of the segment from to . Find .
중점 공식을 거꾸로 푼다:
"평균이 "을 "합이 "으로 읽으면 한 줄이 된다: . 검산: ✓, ✓.
Run the midpoint formula backwards:
Reading "average is " as "sum is " makes it one line: . Check: ✓, ✓.
네 점 , , , 이 평행사변형의 꼭짓점(이 순서대로)인지 대각선의 중점으로 판별하여라.
Using diagonal midpoints, decide whether , , , (in this order) are the vertices of a parallelogram.
두 중점이 일치한다 — 대각선이 서로를 이등분하므로, 사각형 단원의 판정에 의해 평행사변형이다.
변 네 개의 길이나 기울기를 잴 필요가 없다 — 좋은 판정 정리를 골라 번역하는 것이 좌표 기하의 절반이다.
They coincide — the diagonals bisect each other, so by the quadrilateral unit's test, a parallelogram.
No side lengths, no slopes — half of coordinate geometry is choosing the right test theorem to translate.
세 점 , , 으로 만든 삼각형이 어떤 삼각형인지 판별하고, 넓이를 구하여라.
Classify the triangle with vertices , , , and find its area.
세 변의 제곱을 먼저 나열하라.
List the squared side lengths first.
(이등변)이고 — 피타고라스의 역으로 . 직각이등변이다.
검산 — 상자 빼기: ✓. 제곱 상태로 비교를 끝내는 것이 요령 — 근호는 마지막까지 벗기지 않는다.
(isosceles) and — the Pythagorean converse gives . Right isosceles.
Check by box-subtraction: ✓. Work in squares throughout — peel the radical only at the very end.
두 점 , 에서 같은 거리에 있는 점 가 만족하는 관계식을 구하여라.
Find the equation satisfied by every point equidistant from and .
으로 세운다(제곱으로 비교해 근호를 피한다):
, 이 양변에서 지워지고 직선이 남는다 — 두 점에서 등거리인 점의 자취는 수직이등분선이라는 합동 단원의 정리가, 좌표에서는 이차항의 소거로 나타난다. 검산: 의 중점 를 대입하면 ✓.
Set (compare in squares — no radicals):
The and cancel and a line remains — the congruence unit's theorem that the equidistant locus is the perpendicular bisector shows up, in coordinates, as the vanishing of the quadratic terms. Check: the midpoint of satisfies ✓.
세 꼭짓점이 , , 인 삼각형에서, 꼭짓점 에서 나가는 중선의 길이를 구하여라.
In the triangle with vertices , , , find the length of the median from .
중선은 와 의 중점을 잇는다:
중점 공식과 거리 공식의 2단 조합 — 좌표 기하의 문제는 대부분 이렇게 공식 두세 개의 릴레이다.
The median joins to the midpoint of :
Midpoint formula, then distance formula — most coordinate problems are relays of two or three formulas.
중점 공식을 증명하여라: , 의 중점 의 좌표가 임을, 합동 또는 평행선 잘라내기로 보여라. (좌표는 같은 논증이므로 생략해도 좋다.)
Prove the midpoint formula: show that the midpoint of , has -coordinate , using congruence or the parallel-cut principle. (The -coordinate is the same argument; you may omit it.)
, , 에서 축으로 수선을 내려라.
Drop perpendiculars from , , to the -axis.
, , 에서 축에 내린 수선의 발을 각각 , , 이라 하자. 세 수선은 모두 축과 수직이므로 서로 평행하다.
평행선 잘라내기 원리(닮음 단원): 평행선 묶음이 한 횡단선()을 로 가르면, 다른 횡단선(축)도 같은 비로 가른다:
즉 은 과 의 한가운데이고, 수직선 위 한가운데의 좌표는
(좌표는 축으로 수선을 내려 같은 논증을 반복하면 된다.)
좌표 공식은 허공에서 오지 않는다 — 닮음 단원의 정리가 공식 하나하나를 떠받치고 있고, 그 연결을 확인하는 것이 이 증명의 목적이다.
채점 기준 (논리가 맞는 다른 풀이도 만점 — 합동 삼각형 논증 포함)
Let , , be the feet of the perpendiculars from , , to the -axis. All three are perpendicular to the same axis, hence parallel to one another.
The parallel-cut principle (similarity unit): if a family of parallels cuts one transversal () in ratio , it cuts every other transversal (the -axis) in the same ratio:
So is halfway between and , and halfway along a number line means
(For , drop perpendiculars to the -axis and repeat.)
Coordinate formulas do not come from thin air — a similarity-unit theorem stands under each one, and tracing that connection is this proof's point.
Rubric (any logically correct proof earns full credit — including congruent-triangle arguments)
무게중심 공식을 유도하여라: 의 무게중심 가 임을 중선의 성질로 보이고, 이 식의 대칭성이 "세 중선이 한 점에서 만난다"를 어떻게 재확인하는지 설명하여라.
Derive the centroid formula: show that the centroid of is using the median's property, and explain how the formula's symmetry re-confirms that the three medians concur.
는 에서 맞은편 중점 까지의 지점이다.
sits of the way from to the opposite midpoint .
의 중점은 . 는 중선 을 로 가르므로, 에서 방향으로 전체의 만큼 간 점이다. 좌표로:
좌표도 같은 계산이다.
대칭성의 의미. 결과 식은 , , 를 어떻게 바꿔 넣어도 변하지 않는다. 그런데 위 계산은 "의 중선"을 골라서 한 것 — 의 중선으로 계산해도, 의 중선으로 계산해도 같은 대칭식이 나온다. 즉 세 중선 위의 지점이 전부 같은 점이다 — 세 중선이 한 점(무게중심)에서 만난다는 사실이, 식의 대칭성 하나로 재확인된다. 닮음 단원에서 합동·닮음으로 증명했던 공점 정리의 좌표판 상환이다.
채점 기준 (논리가 맞는 다른 풀이도 만점)
The midpoint of is . Since divides the median with , it lies of the way from toward . In :
Same computation for .
What the symmetry means. The result is unchanged under any relabeling of , , . Yet the computation above chose 's median — computing along 's or 's median must produce the same symmetric expression. So the points of all three medians are one and the same point: the medians' concurrence, re-confirmed by nothing more than the formula's symmetry. The coordinate repayment of the concurrence theorem proved with similarity.
Rubric (any logically correct derivation earns full credit)
네 점 , , , 가 정사각형의 꼭짓점(이 순서대로)임을 보이고, 넓이를 구하여라.
Show that , , , (in this order) are the vertices of a square, and find its area.
네 변과 한 대각선 — 다섯 거리면 충분하다.
Four sides and one diagonal — five distances suffice.
네 변의 제곱:
— 네 변이 같으니 마름모다. 대각선 하나를 재면
— 피타고라스의 역으로 . 직각을 가진 마름모는 정사각형이다.
한 변이 인 기울어진 정사각형 — 격자에 비스듬히 놓인 정사각형의 넓이가 정수가 되는 것은 덕분이다. (기울기로도 검산: 의 기울기 , 의 기울기 — 곱이 ✓.)
The four squared sides:
— all equal: a rhombus. One diagonal:
— the Pythagorean converse gives . A rhombus with a right angle is a square.
A tilted square of side — its area is a whole number thanks to . (Slopes double-check it: has slope , has — product ✓.)
점 와 이 축 위쪽에 있다. 축 위의 점 에 대하여 의 최솟값과, 그때의 의 좌표를 구하여라.
Points and lie above the -axis. For a point on the -axis, find the minimum of and the coordinates of the minimizing .
를 축에 대해 접어 내려라 — 꺾인 길이 곧은 길이 된다.
Fold across the -axis — the bent path becomes straight.
를 축에 대칭시킨 점 를 잡으면, 축 위의 어느 에 대해서도 (대칭은 거리를 보존). 그러므로
등호는 가 위에 있을 때다(삼각부등식 — 꺾인 길보다 곧은 길).
의 위치: 에서 으로 가며 가 이 되는 지점은 전체의 지점이므로
검산: , , 합 ✓.
강에서 물을 긷고 목적지로 가는 최단 경로의 고전 — 접기(대칭)가 "꺾인 문제"를 "곧은 문제"로 바꾸고, 거리 공식이 마무리한다. 빛이 거울에서 반사각을 지키는 이유도 같은 원리다.
Reflect across the axis to . For every on the axis, (reflection preserves distance), so
with equality exactly when lies on (triangle inequality — the straight path beats the bent one).
Locating : traveling from to , the height reaches at the mark, so
Check: , , sum ✓.
The classic fetch-water-from-the-river route — folding (reflection) turns a bent problem straight, and the distance formula finishes it. Light bouncing off a mirror at equal angles obeys the very same principle.