WikiSysop: ١ مراجعة: الصفحات في تصنيف رياضيات

2010-11-12T21:16:21Z

١ مراجعة: الصفحات في تصنيف رياضيات

صفحة جديدة

{{خبير|تاريخ=فبراير_2010}}
في [[الرياضيات]]، تسمح '''قاعدة رافيني''' بعملية القسمة السريعة لأي [[كثيرة حدود]] على [[ذات الحدين]] من الصورة ''x'' − ''r''.
وصفت هذه الطريقة من قبل باولو رفيني عام 1809. تعد قاعدة رفيني حالة خاصة من القسمة المصطنعة عندما يكون القاسم معامل خطي.

[[مخطط هورنر]] هو أحد تطبيقات قاعدة رفيني. طالع أيضا [[قسمة كثيرة الحدود المطولة]].

==الخوارزم==

تخلق القاعدة طريقة لقسمة كثيرة الحدود
:<math>P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0</math>
على ذات الحدين
:<math>Q(x)=x-r\,\!</math>
للحصول على حاصل القسمة، كثيرة حدود
:<math>R(x)=b_{n-1}x^{n-1}+b_{n-2}x^{n-2}+\cdots+b_1x+b_0</math>
وباقي ''s''.

في الحقيقة الخوارزم هو [[قسمة كثيرة الحدود المطولة|قسمة مطولة]] لـ ''P''(''x'') على''Q''(''x'').

لقسمة ''P''(''x'') على ''Q''(''x''):

1. نأخذ معاملات ''P''(''x'') ونكتبها على الترتيب. ثم نكتب ''r'' في أسفل الحافة اليسرى, تماما فوق السطور:
| an an-1 ... a1 a0
|
r |
----|---------------------------------------------------------
|
|
2. نمرر المعامل الواقع تماما إلى اليسار (''a''''n'') إلى أسفل, تخت السطر:
| an an-1 ... a1 a0
|
r |
----|---------------------------------------------------------
| an
|
| = bn-1
|
3. نضرب الرقم على اليمين تماما تحت السطر بـ ''r'' ونكتبه فوق الخط وحركة واحدة لليمين:
| an an-1 ... a1 a0
|
r | bn-1r
----|---------------------------------------------------------
| an
|
| = bn-1
|
4. نضيف القيمتين اللتين وضعتهما في نفس العمود
| an an-1 ... a1 a0
|
r | bn-1r
----|---------------------------------------------------------
| an an-1+(bn-1r)
|
| = bn-1 = bn-2
|
5. نعيد الخطوات 3 و 4 حتى ننتهي من الأعداد
| an an-1 ... a1 a0
|
r | bn-1r ... b1r b0r
----|---------------------------------------------------------
| an an-1+(bn-1r) ... a1+b1r a0+b0r
|
| = bn-1 = bn-2 ... = b0 = s
|

قيم ''b'' هي معاملات نتيجة كثيرة الحدود (''R''(''x''))، الدرجة التي أصبح أقل من سابقتها ''P''(''x'') بمقدار واحد.القيمة الأخيرة التي نحصل عليها, ''s'', هي الباقي. وكما نرى من [[نظرية باقي كثيرة الحدود]], يكون هذا الباقي مساويا لـ ''P''(''r''), قيمة كثيرة الحدود عند ''r''.

هناك مثال عددي في الاسفل.

==استعمالات القاعدة==
هناك تطبيقات عديدة لقاعدة رفيني، أغلبها يعتمد على القسمة المبسطة (كما هو مبين بالأسفل) أو الامتدادات العامة المعطاة أيضا فيما بعد بالأسفل..

===قسمة كثرة الحدود على ''x'' − ''r''===
مثال تم العمل عليه في الوصف السابق.
لتكن:


:<math>P(x)=2x^3+3x^2-4\,\!</math>
:<math>Q(x)=x+1.\,\!</math>

نحن بصدد قسمة ''P''(''x'') by ''Q''(''x'') باستعمال قاعدة رفيني. المشكلة الرئيسية هي أن ''Q''(''x'') ليست كثيرة حدود على الصورة ''x'' − ''r'', بل ''x'' + ''r''. ينبغي إعادة كتابة ''Q''(''x'') بالطريقة التالية:
:<math>Q(x)=x+1=x-(-1).\,\!</math>
بتطبيق الخوارزم الآن:

1. اكتب الفوارق ''r''. لاحظ أنه, لأن ''P''(''x'') لم تحوي على معامل لـ ''x'', فقد كتبنا 0:
| 2 3 0 -4
|
-1 |
----|----------------------------
|
|

2. مرر المعامل الأول في الأسفل:
| 2 3 0 -4
|
-1 |
----|----------------------------
| 2
|

3. اضرب الأخير الذي حصلنا عليه بـ''r'':
| 2 3 0 -4
|
-1 | -2
----|----------------------------
| 2
|

4. أضف القيم:
| 2 3 0 -4
|
-1 | -2
----|----------------------------
| 2 1
|

5. كرر الطرق 3 و4 حتى الانتهاء:
| 2 3 0 -4
|
-1 | -2 -1 1
----|----------------------------
| 2 1 -1 -3
|{معاملات النتيجة}{الباقي}



إذن, إذا كان ''العدد الأصلي'' = ''القاسم''×''حاصل القسمة''+''الباقي'', فإن
:<math>P(x)=Q(x)R(x)+s\,\!</math>, حيث

:<math>R(x) = 2x^2+x-1\,\!</math> و<math>s=-3.\,\!</math>

===إيجاد جذور كثيرة الحدود===

تخبرنا [[نظرية الجذر النسبي]] بأنه لكثيرةالحدود ''f''(''x'') = ''a''''n''''x''''n'' + ''a''''n''−1''x''''n''−1 + ... + ''a''1''x'' + ''a''0 التي كل معاملاتها (''a''''n'' إلى ''a''0) [[عدد صحيح|أعداد صحيحة]]، الجذور [[عددنسبي|النسبية]] الحقيقية تكون دائما على الصورة ''p''/''q'', حيث ''p'' هو قاسم صحيح ''a''0 و''q''هو قاسم صحيح لـ ''a''''n''. بالتالي إذا كانت كثيرة الحدود هي


:<math>P(x)=x^3+2x^2-x-2=0\,\!,</math>

فإن جميع الجذورالنسبية الممكنة تمثل القواسم الصحيحة لـ ''a''0 (−2):
:<math>\mbox{Possible roots:}\left\{+1, -1, +2, -2\right\}.</math>
(هذا مثال بسيط لأنه [[كثيرة حدود أحادية|أحادي]] (i.e. ''a''''n'' = 1); بالنسبة لكثيرات الحدود الغير أحادية فإن الجذور الممكنة ستحوي بعض الكسور، ولكن عدد محدود منها فقط لأن، ''a''''n'' و''a''0 لها عدد محدود من القواسم الصحيحة.) بأي حال, لكثيرات الحدود الأحادية، فإن كل جذر نسبي هو عدد صحيح، وعليه فإن كل عدد صحيح ليس سوى قاسم [[حد ثابت|للحد الثابت]]. يمكن إثبات أن هذا التعبير يظل صحيحا لكثيرات الحدود الغير أحادية. بعبارة أخرى و'''لإيجاد الجذور الصحيحة لأي كثيرة حدود ذات معاملات صحيحة، فإنه يكفي فقط أن تفحص قواسم الحد الثابت'''.

إذن، بوضع ''r'' مساوية لكل جذر من هذه الجذور الممكنة على الدور، فسوف نفحص كثيرة الحدود بـ(''x'' − ''r''). إذا كانت نتيجة حاصل القسمة بدون باقي، فقد أوجدنا الجذر.

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

====طريقة 1====

سنحاول تقسيم ''P''(''x'') على ذات الحدين (''x'' − كل جذر ممكن). إذا كان المتبقي 0، فإن العدد المختار يكون جذرا (والعكس صحيح):
| +1 +2 -1 -2 | +1 +2 -1 -2
| |
+1 | +1 +3 +2 -1 | -1 -1 +2
----|---------------------------- ----|---------------------------
| +1 +3 +2 0 | +1 +1 -2 0

| +1 +2 -1 -2 | +1 +2 -1 -2
| |
+2 | +2 +8 +14 -2 | -2 0 +2
----|---------------------------- ----|---------------------------
| +1 +4 +7 +12 | +1 0 -1 0


:<math>x_1=+1\,\!</math>
:<math>x_2=-1\,\!</math>
:<math>x_3=-2\,\!</math>

====طريقة 2====

نبدأ تماما كالطريقة الأولى حتى نجد جذرا ممكنا. بعد ذلك، بدلا من إعادة العملية مع باقي الجذور الممكنة، نستمر بفحص الجذور الممكنة عكس قاعدة رافيني عن الجذر المشروع الذي أوجدناه حتى يصبح لدينا معاملا متبقيا (تذكر أن الجذور يمكن أن تتكرر: إن وقعت فحاول مع كل جذر مرتين):
| +1 +2 -1 -2 | +1 +2 -1 -2
| |
-1 | -1 -1 +2 -1 | -1 -1 +2
----|--------------------------- ----|---------------------------
| +1 +1 -2 | 0 | +1 +1 -2 | 0
| |
+2 | +2 +6 +1 | +1 +2
------------------------- -------------------------
| +1 +3 |+4 | +1 +2 | 0
|
-2 | -2
-------------------
| +1 | 0


:<math>x_1=-1\,\!</math>
:<math>x_2=+1\,\!</math>
:<math>x_3=-2\,\!</math>

====طريقة 3====
*تحقق من مجموعة الجذور الصحيحة أو النسبية لكثيرةالحدود وفقا ل[[نظرية الجذر النسبي]].
*لكل جذر ممكن r، بدلا عن إجراء القسمة P(x)/(x -r)، نطبق [[نظرية باقي كثيرة الحدود]], والتي تنص على أن باقي هذه القمسة يكون P(r)،أي كثيرة الحدود اللازمة لتقييم x = r.

لذا، لكل r في مجموعتنا، تكون r جذرا لكثيرة الحدود إذا وإذا كان فقط P(r) = 0

هذا يوضح أن البحث عن الجذور ''الصحيحة والنسبية'' لكثيرة الحدود لاتحتاج لقسمة ولا لتطبيق قاعدة رفيني.
مع هذا، عند إيجاد جذر مشروع، ليكن r1:
يمكن تطبيق قاعدة رفيني للتحقق من 
Q(x) = P(x)/(x-r1). 
هذا يسمح لنا بتحليل كثيرة الحدود جزئيا بالصورة 
P(x) = (x -r1)·Q(X)

أي جذر (نسبي) إضافي لكثيرة الحدود هو أيضا جذر لـ Q(x)
وبالطبع، ما زال بالإمكان إيجاده بين الجذور الممكنة التي تم التحقق من سلفا والتي لم تفحص بعد (أي قيمة تم التحقق من أنها لن تكون جذرا لـ P(x) ليست جذرا لـ Q(x) أيضا; وبتعبير أدق, P(r)≠0 → Q(r)≠0).

لذا، يمكن الاستمرار بتقييم Q(r) بدلا عن P(r), و(طالما أمكننا إيجاد جذر آخر r2) بقسمة Q(r) على(x-r2).

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

إذا كما هي الحال غالبا، كنا نحلل كثيرة الحدود من الدرجة n، فإنه:

*إذا وجدنا p=n جذور نسبية فإننا ننتهي بتحليل كامل (كما في الأسفل) إلى p=n عوامل خطية;
*إذا وجدنا p<n حلول نسبية فإننا ننتهي بتحليل جزئي (كما بالأسفل) إلى p عوامل خطية وأخرى غير خطية من الدرجة n-pوالتي بدورها يمكن أن يكون لها جذور غير نسبية أو مركبة.

تذكر أن تفحص القيود للإجراء الكامل.

أمثلة:

=====إيجاد الجذور بدون استخدام قاعدة رفيني=====

P(x) = x³ +2x² -x -2

الجذور الممكنة = {1, -1, 2, -2}

*P(1) = 0 → x1 = 1
*P(-1) = 0 → x2 = -1
*P(2) = 12 → 2 ليس جذرا لكثيرة الحدود
وباقي (x³ +2x² -x -2)/(x-2) هو 12
*P(-2) = 0 → x3 = -2

=====إيجاد الجذور بتطبيق قاعدة رفيني وبيان الحليل الكامل إلى عوامل=====

P(x) = x³ +2x² -x -2

الجذور الممكنة = {1, -1, 2, -2}

*P(1) = 0 → x1 = 1

إذن وبتطبيق قاعدة رفيني:
(x³ +2x² -x -2) / (x -1) = (x² +3x +2) → 
→ x³ +2x² -x -2 = (x-1)(x² +3x +2)

هنا, r1=-1 وQ(x) = x² +3x +2

*Q(-1) = 0 → x2 = -1

مرة أخرى، بتطبيق قاعدة رفيني:
(x² +3x +2) / (x +1) = (x +2) → 
→ x³ +2x² -x -2 = (x-1)(x² +3x +2) = (x-1)(x+1)(x+2)

===تحليل كثيرة الحدود===
{{ترجمة}}
{{توسيع قسم}}
Having used the "''p''/''q''" result above (or, to be fair, any other means) to find all the real rational roots of a particular polynomial, it is but a trivial step further to partially [[factorization|factor]] that polynomial using those roots. As is well-known, each linear factor (''x'' − ''r'') which divides a given polynomial corresponds with a root ''r'', and ''vice versa''.

So if

:<math>P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0\,\!</math> is our polynomial; and
:<math>R=\left\{\mbox{roots of }P(x)\in\mathbb{Q}\right\}\,\!</math> are the roots we have found, then consider the product
:<math>R(x)=a_n{\prod (x-r)} \mbox{ for all } r\in R. \,\!</math>

By the [[fundamental theorem of algebra]], ''R''(''x'') should be equal to ''P''(''x''), if all the roots of ''P''(''x'') are rational. But since we have been using a method which finds only rational roots, it is very likely that ''R''(''x'') is not equal to ''P''(''x''); it is very likely that ''P''(''x'') has some irrational or complex roots not in ''R''. So consider

:<math>S(x)=\frac{P(x)}{R(x)}\,\!</math>, which can be calculated using [[polynomial long division]].

If ''S''(''x'') = 1, then we know ''R''(''x'') = ''P''(''x'') and we are done. Otherwise, ''S''(''x'') will itself be a polynomial; this is another factor of ''P''(''x'') which has no real rational roots. So write out the right-hand-side of the following equation in full:

:<math>P(x)=R(x) \cdot S(x).\,\!</math>

We can call this a ''complete factorization'' of ''P''(''x'') over '''Q''' (the rationals) if ''S''(''x'') = 1. Otherwise, we only have a ''partial factorization'' of ''P''(''x'') over '''Q''', which may or may not be further factorable over the rationals; but which will certainly be further factorable over the reals or at worst the complex plane. (Note: by a "complete factorization" of ''P''(''x'') over '''Q''', we mean a factorization as a product of polynomials with rational coefficients, such that each factor is irreducible over '''Q''', where "irreducible over '''Q'''" means that the factor cannot be written as the product of two non-constant polynomials with rational coefficients and smaller degree.)

====مثال 1: بدون باقي====
Let

:<math>P(x)=x^3+2x^2-x-2.\,\!</math>

Using the methods described above, the rational roots of ''P''(''x'') are:
:<math>R=\left\{+1, -1, -2\right\}.\,\!</math>

Then, the product of (''x'' − each root) is
:<math>R(x)=1(x-1)(x+1)(x+2).\,\!</math>

And ''P''(''x'')/''R''(''x''):
:<math>S(x)=1.\,\!</math>

Hence the factored polynomial is ''P''(''x'') = ''R''(''x'') · 1 = ''R''(''x''):
:<math>P(x)=(x-1)(x+1)(x+2).\,\!</math>

====مثال 2: مع وجود باقي====
Let

:<math>P(x)=2x^4-3x^3+x^2-2x-8.\,\!</math>

Using the methods described above, the rational roots of ''P''(''x'') are:
:<math>R=\left\{-1, +2\right\}.\,\!</math>

Then, the product of (''x'' − each root) is
:<math>R(x)=(x+1)(x-2).\,\!</math>

And ''P''(''x'')/''R''(''x'')
:<math>S(x)=2x^2-x+4.\,\!</math>

As <math>S(x){\ne}1</math>, the factored polynomial is ''P''(''x'') = ''R''(''x'') · ''S''(''x''):
:<math>P(x)=(x+1)(x-2)(2x^2-x+4).\,\!</math>

====تحليل المركبات====
To completely factor a given polynomial over '''C''', the complex numbers, we must know all of its roots (and that could include irrational and/or complex numbers). For example, consider the polynomial above:
:<math>P(x)=2x^4-3x^3+x^2-2x-8.\,\!</math>

Extracting its rational roots and factoring it, we end with:
:<math>P(x)=(x+1)(x-2)(2x^2-x+4).\,\!</math>

But that is not completely factored over '''C'''. If we need to factor our polynomial to a product of linear factors, we must deal with that quadratic factor

:<math>{2x^2-x+4}=0.\,\!</math>

The easiest way is to use quadratic formula, which gives us
:<math>x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}=\frac{1\pm\sqrt{(-1)^2-4\cdot 2\cdot 4}}{2\cdot 2}=\frac{1\pm\sqrt{-31}}{4}\,\!</math>

and the solutions
:<math>x_1=\frac{1+\sqrt{-31}}{4}\,\!</math>
:<math>x_2=\frac{1-\sqrt{-31}}{4}.\,\!</math>

So the completely-factored polynomial over '''C''' will be:
:<math>P(x)=2(x+1)(x-2)(x-\frac{1+i\sqrt{31}}{4})(x-\frac{1-i\sqrt{31}}{4}).\,\!</math>

However, it should be noted that we cannot in every case expect things to be so easy; the quadratic formula's analogue for fourth-order polynomials is very messy and no such analogue exists for 5th-or-higher order polynomials. See [[Galois theory]] for a theoretical explanation of why this is so, and see [[numerical analysis]] for ways to ''approximate'' roots of polynomials numerically.

====قيود====

It is entirely possible that, when looking for a given polynomial's roots, we might obtain a messy higher-order polynomial for S(x) which is further factorable over the ''rationals'' even before considering irrational or complex factorings. Consider the polynomial ''x''5 − 3''x''4 + 3''x''3 − 9''x''2 + 2''x'' − 6. Using Ruffini's method we will find only one root (''x'' = 3); factoring it out gives us ''P''(''x'') = (''x''4 + 3''x''2 + 2)(''x'' − 3).

As explained above, if our assignment was to "factor into irreducibles over '''C'''" we know that would have to find some way to dissect the quartic and look for its irrational and/or complex roots. But if we were asked to "factor into irreducibles over '''Q'''", we might think we are done; but it is important to realize that this might not necessarily be the case.

For in this instance the quartic is actually factorable as the product of two quadratics (''x''2 + 1)(''x''2 + 2). These, at last, are irreducible over the rationals (and, indeed, the reals as well in this example); so now we are done; ''P''(''x'') = (''x''2 + 1)(''x''2 + 2)(''x'' − 3). In this instance it is in fact easy to factor our quartic by treating it as a [[Quartic equation#Biquadratic equations|biquadratic equation]]; but finding such factorings of a higher degree polynomial can be very difficult.

==وصلات خارجية==
*[http://www.purplemath.com/modules/synthdiv.htm Synthetic Division], an article by Elizabeth Stapel on Purple Math

[[تصنيف:خوارزميات]]
[[تصنيف:رياضيات]]

[[ca:Regla de Ruffini]]
[[en:Ruffini's rule]]
[[es:Regla de Ruffini]]
[[it:Regola di Ruffini]]
[[pt:Algoritmo de Briot-Ruffini]]
[[zh:綜合除法]]

قاعدة رفيني - تاريخ المراجعة

WikiSysop: ١ مراجعة: الصفحات في تصنيف رياضيات