Definiere f : ℝ \ { a1,...,an} → ℝ durch$$f(x)=\frac1{x-a_1}+\cdots+\frac1{x-a_n}+c$$Betrachte die Teilintervalle
J0 = (-∞,a1), Jk = (ak,ak+1) für k = 1,...,n-1 und Jn = (an,+∞).
In J0 gilt f(x) → c für x → -∞ und f(x) → -∞ für x → a1.
In Jk gilt f(x) → +∞ für x → ak und f(x) → -∞ für x → ak+1 und k = 1,...,n-1.
In Jn gilt f(x) → +∞ für x → an und f(x) → c für x → +∞.
Auf jedem Teilintervall ist f differenzierbar. Wegen f'(x) < 0 für alle x ∈ ℝ \ { a1,...,an} ist f streng monoton fallend auf jedem der Teilintervalle. Daher existiert in jedem Teilintervall Jk für k = 1,...,n-1 genau eine Nullstelle. Ist c = 0, existieren keine weiteren Nullstellen. Ist c > 0, existiert genau eine weitere Nullstelle in J0. Ist c < 0, existiert genau eine weitere Nullstelle in Jn. Zur Veranschaulichung sei die Beispielfunktion mit n = 3, a1 = 1, a2 = 2, a3 = 3 und c = 1 in folgender Skizze dargestellt.