Mathematics · Glossary

What is rational fraction?

Also known as: pole

Definition 9.1 University Mathematics — Year 1 · Chapter 9 — Rational Fractions

A rational fraction over KK (=R= \R or C\C) is a quotient F=ABF = \frac{A}{B} with A,BK[X]A, B \in K[X], B0B \neq 0; two quotients AB\frac AB and AB\frac{A'}{B'} are identified when AB=ABAB' = A'B. Every fraction has a reduced form with gcd(A,B)=1\gcd(A, B) = 1, unique up to constants. With the natural operations, the set K(X)K(X) of rational fractions is a field.

The poles of FF (in reduced form) are the roots of BB; the order of a pole is its multiplicity as a root of BB. The degree of FF is degF=degAdegBZ{}\deg F = \deg A - \deg B \in \Z \cup \{-\infty\}.

Examples

Example 9.2 (Reading off poles, orders and degree)

Let F=X3XX42X3+X2F = \dfrac{X^3 - X}{X^4 - 2X^3 + X^2}. Factor both layers: numerator X(X1)(X+1)X(X-1)(X+1), denominator X2(X1)2X^2(X-1)^2; cancel the common factor X(X1)X(X-1):

F=X+1X(X1)(reduced form).F = \frac{X + 1}{X(X - 1)} \quad\text{(reduced form).}

Poles: 00 and 11, both simple — the orders are read on the reduced denominator, so the apparent double roots of the original one are irrelevant. Degree: degF=12=1\deg F = 1 - 2 = -1, visible asymptotically (xF(x)1xF(x) \to 1 as xx \to \infty). The degree behaves like the polynomial degree (degFG=degF+degG\deg FG = \deg F + \deg G, deg(F+G)max\deg(F + G) \leq \max), a bookkeeping rule used constantly in the coefficient hunts below: each “limit of xF(x)xF(x)” argument is a degree count in disguise.

Example 9.4 (Reduce first, then divide)

Find the integer part of F=X3+1X21F = \dfrac{X^3 + 1}{X^2 - 1}. Dividing blindly: X3+1=(X21)X+(X+1)X^3 + 1 = (X^2 - 1)X + (X + 1), so F=X+X+1X21F = X + \frac{X + 1}{X^2 - 1}. But the fraction was not reduced: X3+1=(X+1)(X2X+1)X^3 + 1 = (X + 1)(X^2 - X + 1) and X21=(X+1)(X1)X^2 - 1 = (X+1)(X-1) share the factor X+1X + 1, and

F=X2X+1X1=X+1X1:F = \frac{X^2 - X + 1}{X - 1} = X + \frac{1}{X - 1} :

the same integer part XX, but the fractional part collapses to a single brick, and the “pole” at 1-1 was never a pole at all. Always reduce to lowest terms before hunting poles: the poles of FF are the roots of the reduced denominator. (The integer part is insensitive to the simplification, as the uniqueness in Proposition 9.3 guarantees.)

Example 9.8

Decompose F=1X(X1)(X2)F = \dfrac{1}{X(X-1)(X-2)}. Three simple poles; cover-up at each:

c0=1(01)(02)=12,c1=11×(12)=1,c2=12×1=12,c_0 = \frac{1}{(0-1)(0-2)} = \frac12, \quad c_1 = \frac{1}{1 \times (1 - 2)} = -1, \quad c_2 = \frac{1}{2 \times 1} = \frac12,

so F=1/2X1X1+1/2X2F = \dfrac{1/2}{X} - \dfrac{1}{X-1} + \dfrac{1/2}{X-2}. Check at X=3X = 3: directly, F(3)=1321=16F(3) = \frac{1}{3\cdot2\cdot1} = \frac16; from the decomposition, 1/2312+1/21=1612+12=16\frac{1/2}{3} - \frac{1}{2} + \frac{1/2}{1} = \frac16 - \frac12 + \frac12 = \frac16.

Read in context →