نتيجة مبرهنة ديموافر هي نتيجة مهمة في نظرية الأعداد المركبة، وتنص على أن:
إذا كان z عددًا مركبًا غير صفري، وn عددًا صحيحًا موجبًا، فإن:
z^n = e^{n\cdot arg(z)}\cdot \left| z \right|^n
حيث arg(z) هو زاوية عدد مركب z، و∣z∣ هو مطلق قيمته.
بمعنى آخر، فإن الأس n لأي عدد مركب غير صفري z يمكن كتابته على شكل حاصل ضرب مركب من عنصر زائدي (مكون من عامل أسه n) وعنصر سالبي (مكون من عامل أسه −n).
وهذه النتيجة لها العديد من التطبيقات في نظرية الأعداد المركبة، مثل:
- إيجاد حلول المعادلات التفاضلية المركبة.
- دراسة الدوال التحليلية المركبة.
- دراسة نظرية الأعداد المركبة.
وفيما يلي بعض الأمثلة على استخدام نتيجة مبرهنة ديموافر:
z^2 = (3 - 4i)^2 = 9 - 24i + 16 = 25 - 24i
z^3 = (3 - 4i)^3 = 27 - 36i + 48 - 64i^2 = 27 - 36i - 64 = -37 - 90i
z^n = e^{in\theta}
f\left( e^{i\theta} \right) = e^{in\theta}
وهذه النتيجة تسمى أيضًا "نظرية تحويلات ديموافر".