My textbook in algebra states without proof that:
A rational function:
$$s(x)=\frac{p(x)}{(x-\alpha)^m(x-\beta)^n}$$
Where $\alpha \neq \beta$ and $\deg(p(x)<\deg(m+n)$, can always be
partially decomposed as:
$$\frac{A_1}{x-\alpha}+\frac{A_2}{(x-\alpha)^2}+ \ldots
+\frac{A_m}{(x-\alpha)^m}+\frac{B_1}{x-\beta}+\frac{B_2}{(x-\beta)^2}+ \ldots
+\frac{B_n}{(x-\beta)^n}$$
I can motivate that this holds true for simple cases such as $$\frac{y}{(x+a)(x+a_2)}$$
Which can then be written as:
$$\frac{A}{x+a}+\frac{B}{x+a_2}$$
I can motivate that squared polynomials can be dealt with in very special cases, so that:
$$f(x)=\frac{x+2}{(x+1)^2}$$
can be written as:
$$f(x)=\frac{(x+1)+1}{(x+1)^2}]=\frac{1}{(x+1)}+\frac{1}{(x+1)^2}$$
....But that only worked since the nominator was divisible with the denominator and a denominator with one degree lower could be yielded. How can this be generalized to the general case?
I mean, we could easily have something like:
$$f(x)=\frac{x+2}{(x+1)^{1000}}$$
Using the same reasoning as above, this could possibly be rewritten as:
$$\frac{1}{(x+1)^{999}}+\frac{1}{(x+1)^{1000}}$$
But what could possibly be the motivation for expanding this expression to a thousand different terms, as is implied by the textbook?
EDIT:
My question is not so much about why we are expanding the expression that way but about how that's even possible without a compatible numerator.
If push comes to shove I'll work through it, but I was hoping for something more accessible.
– Magnus Feb 09 '23 at 13:02