Path to proving partial fractions and the fundamental theorem of algebra As I've learned Calculus, I've tried to follow along with proofs of the rules that I use.  In most cases, like say the Power Rule, I'm able to follow along with the proofs using concepts I understand, or things I've already proved like the Binomial Theorem.  In other cases, like the Extreme Value Theorem the concepts used to prove it seem to require math that's beyond me, so I save proving them for later.
I recently learned Partial Fraction Decomposition in the context of Integrals, and I became enamored with this technique.  I searched for proofs of why it works, and most of them seem to rely on the Fundamental Theorem of Algebra.  Most of the proofs of the FTA I've seen rely on either Number Theory or Complex Analysis.  I'm interested in proving the FTA regardless of whether I need it to prove partial fractions.
If I want to:

*

*Prove the Fundamental Theorem of Algebra

*Prove why Partial Fractions work

What would be the recommended math path for me following Calc?  Would it be to study Number Theory concepts like Euclidean Division and GCD, or to focus on complex numbers to prove the FTA?
Also, am I correct to assume that proving FTA should come before proving Partial Fractions always work because the latter proof will follow easily from the former?
 A: Partial fraction decomposition can be stated more generally (and independently of FTA) as:

Given polynomials $\,P(x), Q(x)\,$ with $\,\gcd\big(P(x),Q(x)\big) = 1\,$ i.e. relatively coprime, there exist $\,A(x), B(x)\,$ with $\,\deg A \lt \deg P\,$ and $\,\deg B \lt \deg Q\,$ such that:
$$
\frac{1}{P(x)Q(x)} = \frac{A(x)}{P(x)}+\frac{B(x)}{Q(x)}
$$

This follows directly from Bézout's identity for polynomials, which states that polynomials $\,A,B\,$ exist that satisfy the respective degree constraints such that:
$$
1 = \gcd\big(P(x),Q(x)\big) = B(x)P(x) + A(x) Q(x)
$$
Dividing the equality by $\,P(x)Q(x)\,$ yields the partial fraction decomposition.
In particular:

*

*for $\,P(x)=x+p_0\,$ this means $\,\frac{1}{(x+p)Q(x)} = \frac{a_0}{x+p_0}+\frac{B(x)}{Q(x)}\,$ for some constant $\,a_0\,$;


*for $\,P(x)=x^2+p_1x+p_0\,$ this means $\,\frac{1}{(x^2+p_1x+p_0)Q(x)} = \frac{a_1 x + a_0}{x^2+p_1x+p_0}+\frac{B(x)}{Q(x)}\,$.
Applying the same steps to $\,\frac{1}{Q(x)}\,$ in the second term gives in the end the familiar decomposition with linear and quadratic denominators - and the existence of such factorization is the (only) part which relies on the FTA.
