Math Atlas

무리함수의 그래프Radical Functions

Algebra 2Algebra 2 · 5. 무리함수와 거듭제곱근5. Radicals & Root Functions

학습 목표
  • y=xy = \sqrt{x}y=x3y = \sqrt[3]{x}의 그래프와 정체(역함수)를 안다.
  • 변환 규칙으로 무리함수의 시작점·방향·정의역·치역을 추적한다.
  • 그래프 교점으로 무리방정식의 해를 내다본다.

y=xy = \sqrt{x}: 반쪽 포물선의 정체

무리함수 가족의 부모 y=xy = \sqrt{x}는 낯익은 곡선이다 — y=x2y = x^2(x0x \ge 0으로 제한)의 역함수이기 때문이다(역함수 차시에서 만든 그 함수). 그래프는 제한된 포물선을 y=xy = x에 반사한 것: 원점에서 시작해 오른쪽으로 뻗으며 점점 완만해지는 곡선이다.

  • 정의역 [0,)[0, \infty) (근호 안 0\ge 0), 치역 [0,)[0, \infty)
  • 증가 함수 — 커질수록 천천히 (제곱의 "빨라짐"을 거꾸로 뒤집은 성질)
x y O -6 -4 -2 2 4 6 8 -2 2 4 y = √x y = ∛x
두 부모 — 오른쪽으로 뻗는 √x와 온 실수를 지나는 ³√x.

y=x3y = \sqrt[3]{x}는 성격이 다르다 — 홀수근이라 모든 실수에서 정의되고, x3x^3의 역함수답게 원점 대칭(홀함수)이며, 원점을 완만하게 통과해 양쪽으로 뻗는다.

변환: 시작점을 추적하라

x\sqrt{x}의 그래프는 시작점(끝점) 하나와 뻗는 방향으로 결정된다 — 변환 문제는 시작점 추적 문제다.

y=axh+k:시작점 (h,k),  a의 부호가 위⋅아래를 정한다.y = a\sqrt{x - h} + k: \quad \text{시작점 } (h, k), \; a\text{의 부호가 위·아래를 정한다.}

예제

y=2xy = \sqrt{2 - x}를 분석하자. 안쪽을 정리하면 (x2)\sqrt{-(x - 2)}yy축 반사 후 오른쪽 22다:

  • 정의역: 2x02 - x \ge 0, 곧 x2x \le 2
  • 시작점 (2,0)(2, 0)에서 왼쪽으로 뻗는 곡선

안의 -가 좌우를 뒤집는다는 U1의 규칙이, 정의역의 방향(\le)으로 그대로 나타난다 — 그래프의 방향과 정의역의 부등호는 언제나 같은 쪽이다.

치역도 시작점에서 읽힌다 — y=x+2+3y = -\sqrt{x + 2} + 3은 시작점 (2,3)(-2, 3)에서 아래로(a<0a < 0) 뻗으므로 치역은 (,3](-\infty, 3].

그래프가 예고하는 방정식

x=x2\sqrt{x} = \dfrac{x}{2}의 해는 두 그래프의 교점이다 — 곡선과 직선이 원점과 (4,2)(4, 2)에서 만나므로 해는 x=0,4x = 0, 4.

대수로 확인하면: 양변을 제곱해 x=x24x = \dfrac{x^2}{4}, 곧 x(x4)=0x(x - 4) = 0 ✓. 그런데 제곱하는 조작은 유리방정식의 LCD 곱처럼 동치를 깨뜨릴 수 있다 — 그 이야기(무연근의 두 번째 출몰)가 다음 차시의 주제다.

주의

x\sqrt{x}형 그래프의 정의역·치역은 반드시 시작점과 방향에서 읽어라 — 공식 없이 "[h,)[h, \infty)"라 외우면 2x\sqrt{2 - x}처럼 반사된 경우((,2](-\infty, 2])에서 틀린다. 그리고 x3\sqrt[3]{x}는 정의역 제한이 없다 — 짝수근의 조건을 홀수근에 관성적으로 붙이는 실수를 경계할 것.

Goals
  • Know the graphs and identities (as inverses) of y=xy = \sqrt{x} and y=x3y = \sqrt[3]{x}.
  • Track a radical function's endpoint, direction, domain, and range through transformations.
  • Preview radical equations as graph intersections.

y=xy = \sqrt{x}: the half-parabola unmasked

The radical family's parent y=xy = \sqrt{x} is a familiar curve — it is the inverse of y=x2y = x^2 restricted to x0x \ge 0 (built in the inverse functions lesson). Its graph is that restricted parabola reflected across y=xy = x: starting at the origin, reaching rightward, flattening as it goes.

  • Domain [0,)[0, \infty) (radicand 0\ge 0), range [0,)[0, \infty)
  • Increasing — ever more slowly (the square's "speeding up," mirrored)
x y O -6 -4 -2 2 4 6 8 -2 2 4 y = √x y = ∛x
The two parents — √x reaching right, ³√x running through all reals.

y=x3y = \sqrt[3]{x} has another temperament — an odd root, defined on all reals, origin-symmetric (odd) as befits the inverse of x3x^3, passing gently through the origin toward both ends.

Transformations: track the endpoint

A x\sqrt{x}-type graph is determined by one endpoint and a direction — transformation problems are endpoint-tracking problems.

y=axh+k:endpoint (h,k),  the sign of a choosing up or down.y = a\sqrt{x - h} + k: \quad \text{endpoint } (h, k), \; \text{the sign of } a \text{ choosing up or down.}

Example

Analyze y=2xy = \sqrt{2 - x}. Rearranging the inside, (x2)\sqrt{-(x - 2)} — a yy-axis reflection, then right 22:

  • Domain: 2x02 - x \ge 0, i.e. x2x \le 2
  • The curve reaches leftward from the endpoint (2,0)(2, 0)

U1's rule that an inside minus flips left-right shows up directly as the domain's direction (\le) — the graph's direction and the domain's inequality always point the same way.

Ranges read from the endpoint too — y=x+2+3y = -\sqrt{x + 2} + 3 reaches downward (a<0a < 0) from (2,3)(-2, 3), so the range is (,3](-\infty, 3].

Equations the graph foretells

The solutions of x=x2\sqrt{x} = \dfrac{x}{2} are the intersections of two graphs — curve and line meet at the origin and (4,2)(4, 2), so x=0,4x = 0, 4.

Algebra confirms: squaring gives x=x24x = \dfrac{x^2}{4}, i.e. x(x4)=0x(x - 4) = 0 ✓. But squaring, like the LCD multiplication of rational equations, can break equivalence — that story (the second coming of extraneous roots) is next lesson's subject.

Watch out

Read a radical graph's domain and range from endpoint and direction, never from a memorized "[h,)[h, \infty)" — reflected cases like 2x\sqrt{2 - x} (domain (,2](-\infty, 2]) break the formula. And x3\sqrt[3]{x} carries no domain restriction — beware attaching even-root conditions to odd roots out of habit.