قاعدة ديكارت للإشارات

في الرياضيات ، **قاعدة ديكارت للإشارات ([[الانجليزية|بالإنجليزية]] : Descartes rule of signs)** ، التي اشار إليها رينيه ديكارت لأول مرة في عمله *[[الهندسة (ملحق كتاب)|الهندسة (La Géométrie)]]* ، هي تقنية للحصول على معلومات حول عدد الجذور الحقيقية الموجبة لدالة متعددة الحدود . وتبين القاعدة أن عدد الجذور الموجبة هو على الأكثر عدد تغيرات الإشارة في سلسلة معاملات متعددات الحدود (بإهمال المعاملات الصفرية)، وأن الفرق بين الجذرين يكون دائمًا زوجيًا. وهذا يعني، بشكل خاص، أنه إذا كان عدد التغييرات في الإشارة هو صفر أو واحد، فسيكون هناك جذر واحد موجب (إذا كان عدد التغييرات واحد) أو انه لن يوجد أي جذر موجب (إذا كان عدد التغييرات صفر)

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

استخدم ديكارت التحويل () لاستخدام قاعدته للحصول على معلومات حول عدد الجذور السالبة.

## قاعدة الاشارات لديكارت

### الجذور الموجبة
تنص القاعدة على أنه إذا تم ترتيب الحدود غير الصفرية لمتعددة حدود ذات متغير واحد وذات معاملات حقيقية من خلال أس متغير بشكل تنازلي، فإن عدد الجذور الموجبة لمتعددة الحدود إما أن يكون مساويًا لعدد تغيرات الإشارة بين المعاملات المتتالية (غير الصفرية)، أو أقل منه بعدد زوجي . الجذر المتعدد عدد k مرات يحتسب كعدد k جذور.

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

### الجذور السالبة
كنتيجة طبيعية للقاعدة، فإن عدد الجذور السالبة هو عدد تغيرات الإشارة أو اقل منها برقم زوجي بعد تعويض المتغير x ب (-x) . على سبيل المثال، الجذور السالبة للدالة ax^3+bx^2+cx+d هي الجذور الإيجابية ل

: a(-x)^3+b(-x)^2+c(-x)+d = -ax^3+bx^2-cx+d. 

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

### مثال: متعددة حدود تكعيبية
متعددة الحدود

: f(x) = + x^3 + x^2 - x - 1 

هنا يمكنك ان تلاحظ تغير إشارة واحدة بين الحدين الثاني والثالث، حيث أن سلسلة الاشارات هي  . ولذلك، فهي تحتوي على جذر موجب واحد بالضبط. للعثور على عدد الجذور السالبة، قم بتعويض (-x) بدلا عن x، ثم طبق قاعدة الاشارات لديكارت على متعددة الحدود f(-x)= - x^3 + x^2 + x - 1 .

متعددة الحدود هذه لها تغييران في الإشارة، حيث أن سلسلة الاشارات هي  ، مما يعني أن متعددة الحدود الثانية هذه لها جذران موجبان أو صفر؛ وبالتالي فإن متعددة الحدود الأصلية لها جذران سلبيان أو صفر.

في الواقع، تفكيك متعددة الحدود الأصلية يؤدي الى :

: f(x)=(x + 1)^{2}(x - 1), 

وبالتالي فإن الجذور هي 1- (مرتين) و1+ (مرة واحدة).

تفكيك متعددة الحدود الثانية يؤدي الى :

: f(-x)=-(x - 1)^{2}(x + 1). 

إذن الجذور هنا هي 1+ (مرتين) و1- (مرة واحدة)، وهو ما يقابل الجذور الخاصة بمتعددة الحدود الاصلية مع عكس الاشارة.

## البرهان
ما يلي هو مخطط تقريبي للبرهان.  أولاً: بعض التعريفات الأولية:

* اكتب متعددة الحدود f(x) على شكل \sum_{i=0}^n a_i x^{b_i} حيث لدينا قوى مرتبة تنازليا 0 \leq b_0  ، ومعاملات غير صفرية a_i \neq 0 .

* لتكن V(f) عدد التغييرات في اشارة معاملات f ، يعني عددا ما k حيث a_k a_{k+1}  .

* لتكن Z(f) عدد الجذور الإيجابية (مع حساب التعدد).

ومن خلال هذه يمكننا أن نذكر بشكل رسمي قاعدة ديكارت على النحو التالي:

**مبرهنة : عدد الجذور الموجبة (باحتساب التعددية) الخاصة بالدالة f تساوي عدد التغيرات في اشارة معاملات الدالة f , وبطرح عدد زوجي منها**

إذا كان b_0 > 0 ، اذن يمكننا قسمة متعددة الحدود على x^{b_0} ، والتي لن تغير عدد جذورها الإيجابية . وبالتالي بدون فقدان التعميم، لتكن b_0 = 0 .

## الجذور غير الحقيقية
*أي* متعددة حدود من الدرجة n لها عدد جذور *n* بالضبط في المستوى المركب إذا تم حسابها وفقًا للتعددية. لذا، إذا كانت *f* ( *x* ) متعددة حدود ذات معاملات حقيقية وليس لها جذر عند 0 (أي متعددة حدود ذات حد ثابت غير صفري)، فإن *الحد الأدنى* لعدد الجذور غير الحقيقية يساوي

: c = n-(p+q)

حيث تشير *p* إلى الحد الأقصى لعدد الجذور الموجبة، وتشير *q* إلى الحد الأقصى لعدد الجذور السالبة (كلاهما يمكن العثور عليهما باستخدام قاعدة الاشارات لديكارت)، وتشير *n* إلى درجة المعادلة و c تشير الى الحد الادنى لعدد الجذور الخيالية.

### مثال: بعض المعاملات الصفرية والجذور غير الحقيقية
متعدد الحدود :

: f(x) = x^3-1 ,

لديها تغيير واحد في الاشارة . لذا فإن الحد الأقصى لعدد الجذور الحقيقية الموجبة هو واحد. اما

: f(-x) = -x^3-1 ,

ليس لها تغيير في الإشارة، لذا فأن الدالة الأصلية ليس لها جذور حقيقية سالبة. إذن الحد الأدنى لعدد الجذور غير الحقيقية هو

: 3 - (1+0) = 2 .

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

## حالة خاصة
يتم طرح مضاعفات العدد 2 من الحد الأقصى لعدد الجذور الموجبة فقط لأن متعددة الحدود قد يكون لها جذور غير حقيقية، والتي تأتي دائمًا على شكل مترافقين لأن القاعدة تنطبق على متعددات الحدود التي تكون معاملاتها حقيقية. وبالتالي، إذا كانت متعددة الحدود لها جذور حقيقية فقط، فإن هذه القاعدة تسمح للشخص بإيجاد العدد الدقيق للجذور الموجبة والسالبة. وبما أنه من السهل تحديد تعدد الصفر كجذر، فيمكن تحديد إشارة جميع الجذور في هذه الحالة.

## التعميمات
إذا كانت متعددة الحدود الحقيقية *P* لها جذور موجبة حقيقية *k* تحسب باخذ التعددية بالاعتبار، فلكل *a* > 0 هناك على الأقل *k* تغييرات في الإشارة في سلسلة معاملات سلسلة تايلور للدالة *e* *ax* *P* ( *x* ). بالنسبة لـ *a* كبيرة بما فيه الكفاية، هناك بالضبط *k* مثل هذه التغييرات في الإشارة.  

في سبعينيات القرن العشرين، طور أسكولد خوفانسكي نظرية *الحدود القليلة* التي تعمم قاعدة ديكارت.  يمكن اعتبار قاعدة الاشارات على أنها تنص على أن عدد الجذور الحقيقية لمتعددة الحدود يعتمد على تعقيد متعددة الحدود، وأن هذا التعقيد يتناسب مع عدد أحاديات الحد لديها، وليس درجتها. أظهر خوفانسكي أن هذا ينطبق ليس فقط على متعددات الحدود ولكن أيضًا على المجموعات الجبرية للعديد من الدوال المتسامية ، ما يسمى بدوال فافيان .

## أنظر أيضا

*

## ملحوظات

## روابط خارجية
This article incorporates material from Descartes' rule of signs on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

* قاعدة ديكارت للاشارات – برهان القاعدة
* قاعدة الاشارات لديكارت – شرح أساسي

تصنيف:مبرهنات رياضية