Reeller Vektorraum/Nach C/Totales Differential/Quotientenregel/Fakt

Es sei ${}U\subseteq V$ eine offene Teilmenge eines endlichdimensionalen reellen Vektorraumes ${}V$ und es seien

$f,g\colon U\longrightarrow \mathbb {C}$

in einem Punkt ${}P\in U$ (reell) total differenzierbare Abbildungen, wobei ${}g(P)\neq 0$ sei.

Dann ist auch die Quotientenfunktion ${}f/g$ (Division in ${}\mathbb {C}$) total differenzierbar, und es gilt

${}\left(D{\frac {f}{g}}\right)_{P}={\frac {g(P)\left(Df\right)_{P}-f(P)\left(Dg\right)_{P}}{g(P)^{2}}}\,.$

Einen Beweis erstellen