Komplexe Zahlen/Reell-differenzierbare Funktionen/Antiholomorphe Ableitung/Produktregel/Fakt

Es sei  ${}G\subseteq {\mathbb {C} }$  offen und seien ${}f,g\colon G\rightarrow {\mathbb {C} }$ reell total differenzierbare Abbildungen. Dann erfüllt die antiholomorphe Ableitung ${}{\frac {\partial }{\partial {\overline {z}}}}$ die Produktregel

${}{\frac {\partial (fg)}{\partial {\overline {z}}}}=f{\frac {\partial g}{\partial {\overline {z}}}}+g{\frac {\partial f}{\partial {\overline {z}}}}\,.$

Zum Beweis, Alternativen Beweis erstellen