اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
في الرياضيات, نظرية مرافق الجذر المركب تنص على أنه إذا كان "م" هو دالة متعددة الحدود في متغير واحد تحتوي على معامل حقيقي وس + ت ص هو أحد حلول الدالة "م" حيث س و ص أرقام حقيقية، إذن مرافق العدد المركب س - ت ص هو أيضا جذر للدالة م.
ويستنتج من هذا (والمبرهنة الأساسية في الجبر) أنه إذا كانت درجة الدالة متعددة الحدود فردية، إذن يجب أن يكون واحد على الأقل من جذورها الدالة جذر حقيقي. ويمكن إثبات ذلك باستخدام مبرهنة القيمة الوسطية أيضًا.
الجذور الغير حقيقية دائمًا يكون ناتج ضربهم دالة متعددة الحدود من الدرجة الثانية بمعاملات حقيقية. بينما كل دالة متعددة الحدود بمعاملات مركبة يمكن كتابتها بمعامل من الدرجة الأولى.
ويترتب على هذه النظرية والنظرية الأساسية في الجبر أنه إذا كانت درجة متعددة الحدود فردية، يجب أن يكون واحد على الأقل من جذورها جذر حقيقي.
هذا يمكن إثباته على النحو التالي:
إثبات النظرية على النحو التالي:
بفرض متعددة الحدود على الشكل الآتي:
حيث ar معامل حقيقي. بفرض العدد المركب ζ هو جذر للدالة P، إذن:
إذن
ويمكن كتابتها على الشكل الآتي:
وإذا قمنا باستخدام خصائص مرافقات الأعداد المركبة نصل إلى:
بما أن:
و
إذن: