نظرية مرافق الجذر المركب

في الرياضيات, نظرية مرافق الجذر المركب تنص على أنه إذا كان "م" هو دالة متعددة الحدود في متغير واحد تحتوي على معامل حقيقي وس + ت ص هو أحد حلول الدالة "م" حيث س و ص أرقام حقيقية، إذن مرافق العدد المركب  س - ت ص هو أيضا جذر للدالة م.

ويستنتج من هذا (والمبرهنة الأساسية في الجبر) أنه إذا كانت درجة الدالة متعددة الحدود فردية، إذن يجب أن يكون واحد على الأقل من جذورها الدالة جذر حقيقي. ويمكن إثبات ذلك باستخدام مبرهنة القيمة الوسطية أيضًا.

أمثلة واستنتاجات

• متعددة الحدود س² + 1 = 0 لها جذور ± ت.
• أي مصفوفة مربعة من درجة فردية تحتوي على جذر حقيقي واحد على الأقل من القيم الذاتية. على سبيل المثال، إذا كانت المصفوفة متعامدة، إذن 1 أو -1 هي القيمة الذاتية.
• متعددة الحدود

$x^3-7x^2+41x-87$

لها جذور

$3,2+5i,2-5i,$

وبالتالي يمكن كتابتها بالشكل الآتي:

$(x-3)(x-2-5i)(x-2+5i).$

$(x-3)(x^2-4x+29).$

الجذور الغير حقيقية دائمًا يكون ناتج ضربهم دالة متعددة الحدود من الدرجة الثانية بمعاملات حقيقية. بينما كل دالة متعددة الحدود بمعاملات مركبة يمكن كتابتها بمعامل من الدرجة الأولى.

طبيعية متعددة الحدود ذي الدرجة الفردية

يمكن إثبات ذلك أيضًا باستخدام مبرهنة القيمة الوسطية.

ويترتب على هذه النظرية والنظرية الأساسية في الجبر أنه إذا كانت درجة متعددة الحدود فردية، يجب أن يكون واحد على الأقل من جذورها جذر حقيقي.

هذا يمكن إثباته على النحو التالي:

• الجذور الغير الحقيقية المركبة تأتي في أزواج (العدد ومرافقه)، وهناك عدد زوجي منهم
• ولكن متعددة الحدود من الدرجة الفردية تحتوي على عدد فردي من الجذور.
• ولذلك بعض منها يجب أن يكون حقيقي.

الإثبات

إثبات النظرية على النحو التالي:

بفرض متعددة الحدود على الشكل الآتي:

$P(z)=a_0+a_{1}z+a_2{z}^2+\cdots +a_n{z}^n$

حيث a_r معامل حقيقي. بفرض العدد المركب ζ هو جذر للدالة P، إذن:

$P(\bar{\zeta })=0$

إذن

$a_0+a_1\zeta +a_2{\zeta }^2+\cdots +a_n{\zeta }^n=0$

ويمكن كتابتها على الشكل الآتي:

$\sum _{r=0}^n{a}_r{\zeta }^r=0.$

$P(\bar{\zeta })=\sum _{r=0}^n{a}_r{\left(\bar{\zeta }\right)}^r$

وإذا قمنا باستخدام خصائص مرافقات الأعداد المركبة نصل إلى:

$\sum _{r=0}^n{a}_r{\left(\bar{\zeta }\right)}^r=\sum _{r=0}^n{a}_r\overline{{\zeta }^r}=\sum _{r=0}^n\overline{a_r{\zeta }^r}=\overline{\sum _{r=0}^n{a}_r{\zeta }^r}.$

بما أن:

$\overline{\sum _{r=0}^n{a}_r{\zeta }^r}=\bar{0}$

و

$\sum _{r=0}^n{a}_r{\left(\bar{\zeta }\right)}^r=\bar{0}=0.$

إذن:

$P(\bar{\zeta })=a_0+a_1\bar{\zeta }+a_2{\left(\bar{\zeta }\right)}^2+\cdots +a_n{\left(\bar{\zeta }\right)}^n=0.$