Math Atlas

포물선과 초점Parabolas & the Focus

Algebra 2Algebra 2 · 10. 원뿔곡선 입문10. Introduction to Conic Sections

학습 목표
  • 포물선을 초점과 준선에서 등거리인 점의 자취로 재정의하고, x2=4pyx^2 = 4py를 유도한다.
  • 초점·준선·꼭짓점·통경을 다루고, 정의(등거리)를 계산 도구로 쓴다.
  • 반사 성질과 그 응용(안테나·반사경)을 만난다.

아는 곡선의 새 정의

포물선은 낯익은 곡선이다 — 이차함수의 그래프로 이미 오래 만났다. 이 단원은 같은 곡선을 기하의 언어로 다시 정의한다:

한 점 FF(초점)와 그 점을 지나지 않는 직선 ll(준선)에서 같은 거리에 있는 점들의 자취.

핀 하나와 자 하나로 그릴 수 있는 정의다 — 그리고 이 정의가 이차함수와 같은 곡선을 낳는다는 것이 첫 정리다.

정의에서 방정식으로

초점을 F(0,p)F(0, p), 준선을 y=py = -p로 놓자(p>0p > 0). 점 P(x,y)P(x, y)가 자취 위에 있을 조건은

PF=(P에서 l까지 거리)    x2+(yp)2=y+p.\overline{PF} = (P\text{에서 } l\text{까지 거리}) \;\Longleftrightarrow\; \sqrt{x^2 + (y - p)^2} = |y + p|.

양변 다 00 이상이므로 제곱해도 동치다(무리방정식의 그 각서 — 이번엔 안전):

x2+y22py+p2=y2+2py+p2    x2=4pyx^2 + y^2 - 2py + p^2 = y^2 + 2py + p^2 \;\Longrightarrow\; \boxed{x^2 = 4py}

y=14px2y = \dfrac{1}{4p}x^2 — 과연 이차함수다. 거꾸로 읽으면: 모든 이차함수의 그래프에 초점과 준선이 숨어 있었다. y=x2y = x^2이라면 4p=14p = 1, 초점 (0,14)\left(0, \frac14\right), 준선 y=14y = -\frac14.

축을 눕히면 y2=4pxy^2 = 4px — 오른쪽으로 열린 포물선이고, 무리함수 y=±4pxy = \pm\sqrt{4px}의 두 반쪽이 합쳐진 그 곡선이다.

l F P
자취의 정의 — 곡선 위 어느 점에서든 초점까지와 준선까지가 같다.

정의가 곧 도구다

통경: 초점을 지나는 수평 현의 길이 — y=py = p를 넣으면 x=±2px = \pm 2p, 길이 4p4p. 방정식의 계수 4p4p가 곡선 위에서 눈에 보이는 길이인 것이다.

초점 거리 공식: 포물선 x2=4pyx^2 = 4py 위 점 P(x0,y0)P(x_0, y_0)에서 초점까지 거리는, 정의에 의해 준선까지 거리와 같다:

PF=y0+p\overline{PF} = y_0 + p

— 거리 공식 없이 좌표 하나로 끝난다. 정의를 쓰는 이 한 수가 이 단원 문제 풀이의 심장이다.

반사 성질: 평행 광선이 한 점에 모인다

축과 평행하게 들어온 빛은 포물면에 반사되어 모두 초점을 지난다 — 위성 안테나가 접시 모양이고 수신기가 접시 앞 한 점에 떠 있는 이유, 손전등이 전구를 반사경의 초점에 두는 이유다.

등거리 정의가 이 성질의 원천이다 — 빛의 경로 ((평행선)PF) \to P \to F에서 평행선 구간은 준선까지의 거리로 바꿔 셈할 수 있고(정의!), 그래서 어느 PP로 들어와도 여정의 길이가 같아진다(연습 p12가 이 논법으로 최단 거리를 잰다). 반사각까지 엄밀히 다루는 완전한 증명은 접선의 정의가 필요해 미적분의 몫으로 남긴다.

주의

x2=4pyx^2 = 4pyy2=4pxy^2 = 4px의 구분 — 제곱된 변수의 축을 따라 열리지 않는다(x2x^2형은 위아래, y2y^2형은 좌우). 초점은 항상 곡선의 안쪽, 준선은 바깥쪽이다. 그리고 pp는 "꼭짓점에서 초점까지"이지 통경(4p4p)이 아니다.

Goals
  • Redefine the parabola as the locus equidistant from a focus and a directrix, and derive x2=4pyx^2 = 4py.
  • Work with focus, directrix, vertex, and latus rectum, using the definition (equidistance) as a computational tool.
  • Meet the reflection property and its applications (antennas, reflectors).

A new definition for a familiar curve

The parabola is an old acquaintance — long known as the graph of a quadratic. This unit redefines the same curve in geometry's language:

The locus of points at equal distance from a point FF (the focus) and a line ll not through it (the directrix).

A definition drawable with a pin and a ruler — and the first theorem is that it produces the very curve the quadratics did.

From definition to equation

Place the focus at F(0,p)F(0, p) and the directrix at y=py = -p (with p>0p > 0). A point P(x,y)P(x, y) lies on the locus exactly when

PF=(distance from P to l)    x2+(yp)2=y+p.\overline{PF} = (\text{distance from } P \text{ to } l) \;\Longleftrightarrow\; \sqrt{x^2 + (y - p)^2} = |y + p|.

Both sides are nonnegative, so squaring is an equivalence (the radical-equation affidavit — safe this time):

x2+y22py+p2=y2+2py+p2    x2=4pyx^2 + y^2 - 2py + p^2 = y^2 + 2py + p^2 \;\Longrightarrow\; \boxed{x^2 = 4py}

That is y=14px2y = \dfrac{1}{4p}x^2 — a quadratic indeed. Read backwards: every quadratic's graph has carried a hidden focus and directrix all along. For y=x2y = x^2: 4p=14p = 1, focus (0,14)\left(0, \frac14\right), directrix y=14y = -\frac14.

Lay the axis sideways for y2=4pxy^2 = 4px — opening rightward: the curve whose two halves are the radical functions y=±4pxy = \pm\sqrt{4px}.

l F P
The locus definition — from any point of the curve, focus and directrix are equally far.

The definition is the tool

Latus rectum: the horizontal chord through the focus — substituting y=py = p gives x=±2px = \pm 2p: length 4p4p. The equation's coefficient 4p4p is a length visible on the curve.

Focal distance formula: from a point P(x0,y0)P(x_0, y_0) on x2=4pyx^2 = 4py, the distance to the focus equals — by definition — the distance to the directrix:

PF=y0+p\overline{PF} = y_0 + p

— one coordinate, no distance formula. This single move, using the definition, is the heart of the unit's problem solving.

The reflection property: parallel rays meet at a point

Light entering parallel to the axis reflects off a parabolic dish through the focus — why satellite dishes are parabolic with the receiver hovering at one point, and why flashlights seat the bulb at the reflector's focus.

The equidistance definition is the source — on the light's route (parallel ray)PF(\text{parallel ray}) \to P \to F, the parallel stretch can be re-measured as distance to the directrix (the definition!), making the journey's length the same through every PP (exercise p12 measures a shortest path by exactly this argument). The full proof, handling reflection angles rigorously, needs the definition of a tangent line — left to calculus.

Watch out

Distinguishing x2=4pyx^2 = 4py from y2=4pxy^2 = 4px: the curve does not open along the squared variable's axis (x2x^2-type opens up/down, y2y^2-type sideways). The focus always sits inside the curve, the directrix outside. And pp is vertex-to-focus — not the latus rectum (4p4p).