Math Atlas

사선 점근선과 유리함수 해부Slant Asymptotes & Rational Anatomy

Precalculus (AP)Precalculus (AP) · 1. 변화율과 함수 심화1. Rates of Change & Functions Revisited

학습 목표
  • 분자 차수가 분모보다 하나 클 때의 사선 점근선을 나눗셈으로 찾고 정당화한다.
  • y=x+1xy = x + \dfrac1x를 완전 해부한다 — 점근선 둘, AM-GM이 주는 극값.
  • 차수 차 0,1,20, 1, 2의 점근 규칙을 하나의 원리("끝 거동 = 몫")로 통일한다.

몫이 점근선이다 — 한 계단 위에서

유리함수 단원의 결론은 "나눗셈 몫이 끝 거동을 정한다"였다 — 차수가 같으면 몫이 상수라 수평 점근선. 분자가 한 차수 높으면 몫이 일차식이 된다:

y=x2+1x=x+1xy = \frac{x^2 + 1}{x} = x + \frac1x

— 몫 xx, 나머지 11. x|x|가 커지면 1x\dfrac1x가 사그라들고, 곡선은 직선 y=xy = x비스듬히 달라붙는다: 사선 점근선이다.

일반 원리는 하나다. f(x)=A(x)B(x)f(x) = \dfrac{A(x)}{B(x)}를 나눠 f(x)=Q(x)+R(x)B(x)f(x) = Q(x) + \dfrac{R(x)}{B(x)} (degR<degB\deg R < \deg B)로 쓰면, 끝에서 RB0\dfrac{R}{B} \to 0이므로:

차수 차 (degAdegB\deg A - \deg B) QQ 끝 거동
00 상수 수평 점근선 y=Qy = Q
11 일차식 사선 점근선 y=Q(x)y = Q(x)
22 이상 이차식 이상 점근 곡선 y=Q(x)y = Q(x)

셋이 다른 규칙이 아니라 한 문장 — "멀리서 유리함수는 자기 몫처럼 보인다."

y=x+1xy = x + \dfrac1x: 정밀 해부

가장 중요한 표본을 완전히 뜯는다.

  • 점근선 둘: 수직 x=0x = 0(1x\frac1x의 유산), 사선 y=xy = x(몫).
  • 홀함수: f(x)=x1x=f(x)f(-x) = -x - \frac1x = -f(x) — 원점 대칭. 1사분면 가지와 3사분면 가지.
  • 극값 — 미분 없이 산술-기하 평균이 해결한다. x>0x > 0에서

x+1x2x1x=2x + \frac1x \ge 2\sqrt{x \cdot \frac1x} = 2

(등호는 x=1xx = \frac1x, 곧 x=1x = 1). 최솟값 22가 점 (1,2)(1, 2)에서 — 홀대칭으로 x<0x < 0에서는 최댓값 2-2(1,2)(-1, -2)에서.

x y O -4 -2 2 4 -6 -4 -2 2 4 6 y = x y = x + 1/x (1, 2) (−1, −2)
두 점근선 사이에 걸린 두 가지 — 극값 (1, 2)와 (−1, −2)는 AM-GM의 등호.

치역이 (,2][2,)(-\infty, -2] \cup [2, \infty)끊어지는 것까지 이 두 사실(점근선 + 극값)이 다 설명한다.

점근선은 "끝"의 약속이다

점근선은 x|x| \to \infty에서 가까워진다는 약속일 뿐 — 중간에서 곡선이 점근선을 가로지르는 것은 허용된다(수평 점근선에서 이미 본 사실의 재확인). 사선도 마찬가지다: 나머지 R(x)R(x)가 중간에서 00이 되면 그 xx에서 곡선이 점근선 위에 올라선다(연습 p13). "닿지 않는 선"이라는 통념은 1x\frac1x류의 우연이지 점근선의 정의가 아니다.

주의

사선 점근선을 찾는 유일한 절차는 나눗셈이다 — 최고차항 비율만 보는 요령은 기울기는 주지만 절편을 놓친다(y=xy = x인지 y=x2y = x - 2인지는 나눗셈이 정한다). 그리고 나누기 전에 약분부터x3xx21\dfrac{x^3 - x}{x^2 - 1}은 사선 점근선이 있는 곡선이 아니라 구멍 두 개 뚫린 직선 y=xy = x다(연습 p08).

Goals
  • Find and justify slant asymptotes by division when the numerator's degree exceeds the denominator's by one.
  • Fully dissect y=x+1xy = x + \dfrac1x — both asymptotes, and the extremes AM–GM delivers.
  • Unify the degree-gap rules (0,1,20, 1, 2) under one principle: "end behavior = the quotient."

The quotient is the asymptote — one step up

The rational functions unit concluded: "the division quotient rules the ends" — equal degrees give a constant quotient, hence a horizontal asymptote. Let the numerator run one degree higher and the quotient turns linear:

y=x2+1x=x+1xy = \frac{x^2 + 1}{x} = x + \frac1x

— quotient xx, remainder 11. As x|x| grows, 1x\dfrac1x dwindles and the curve clings obliquely to the line y=xy = x: a slant asymptote.

One general principle. Divide f(x)=A(x)B(x)f(x) = \dfrac{A(x)}{B(x)} into f(x)=Q(x)+R(x)B(x)f(x) = Q(x) + \dfrac{R(x)}{B(x)} (with degR<degB\deg R < \deg B); at the ends RB0\dfrac RB \to 0, so:

degree gap (degAdegB\deg A - \deg B) quotient QQ end behavior
00 constant horizontal asymptote y=Qy = Q
11 linear slant asymptote y=Q(x)y = Q(x)
22 or more quadratic or higher asymptotic curve y=Q(x)y = Q(x)

Not three rules but one sentence — "from afar, a rational function looks like its quotient."

y=x+1xy = x + \dfrac1x: a precise dissection

The most important specimen, taken fully apart.

  • Two asymptotes: vertical x=0x = 0 (inherited from 1x\frac1x), slant y=xy = x (the quotient).
  • Odd: f(x)=x1x=f(x)f(-x) = -x - \frac1x = -f(x) — origin symmetry; one branch in quadrant I, one in III.
  • Extremes — no calculus needed; AM–GM settles it. For x>0x > 0,

x+1x2x1x=2x + \frac1x \ge 2\sqrt{x \cdot \frac1x} = 2

(equality at x=1xx = \frac1x, i.e. x=1x = 1). Minimum 22 at (1,2)(1, 2) — and by odd symmetry, maximum 2-2 at (1,2)(-1, -2) for x<0x < 0.

x y O -4 -2 2 4 -6 -4 -2 2 4 6 y = x y = x + 1/x (1, 2) (−1, −2)
Two branches strung between two asymptotes — the extremes (1, 2), (−1, −2) are AM–GM's equality.

These two facts (asymptotes + extremes) even explain the broken range (,2][2,)(-\infty, -2] \cup [2, \infty).

An asymptote is a promise about the ends

An asymptote promises closeness as x|x| \to \inftycrossing it midway is allowed (a fact already met with horizontal asymptotes, reconfirmed). Slant ones too: wherever the remainder R(x)R(x) vanishes, the curve stands exactly on its asymptote (exercise p13). "The line never touched" is an accident of the 1x\frac1x family, not the definition.

Watch out

The one procedure for slant asymptotes is division — the leading-terms shortcut gives the slope but loses the intercept (whether y=xy = x or y=x2y = x - 2 is the division's call). And reduce before dividingx3xx21\dfrac{x^3 - x}{x^2 - 1} is no slant-asymptote curve but the line y=xy = x with two holes punched in it (exercise p08).