Real Rational Function is Continuous

From ProofWiki
Jump to navigation Jump to search

Theorem

A real rational function is continuous at every point at which it is defined.

Thus a real rational function is continuous on every interval of $\R$ not containing a root of the denominator of the function.


Proof

Let:

$\map R x = \dfrac {\map P x} {\map Q x}$

be a real rational function, defined at all points of $\R$ at which $\map Q x \ne 0$.

Let $c \in \R$.

From Real Polynomial Function is Continuous‎:

$\ds \lim_{x \mathop \to c} \map P x = \map P c$

and:

$\ds \lim_{x \mathop \to c} \map Q x = \map Q c$

Thus by Quotient Rule for Limits of Real Functions:

$\ds \lim_{x \mathop \to c} \map R x = \lim_{x \mathop \to c} \frac {\map P x} {\map Q x} = \frac {\map P c} {\map Q c}$

whenever $\map Q c \ne 0$.


So whatever value we choose for $c$ such that $\map Q c \ne 0$, we have that $\map P x$ is continuous at $c$.


From the definition of continuity on an interval, the second assertion follows.

$\blacksquare$


Sources