متعدد حدود لاغرانج
'''كثير حدود لاغرانج''' أو '''متعدد حدود لاغرانج''' {{إنج|Lagrange polynomial}} في [[تحليل عددي|التحليل العددي]] هو استيفاء كثير الحدود لمجموعة محددة من النقاط بطريقة لاغرانج.<ref>{{استشهاد بدورية محكمة
 | مؤلف = Jean-Paul Berrut & [[Lloyd N. Trefethen]]
 | سنة = 2004
 | عنوان = Barycentric Lagrange Interpolation
 | صحيفة = [[Society for Industrial and Applied Mathematics|SIAM]] Review
 | المجلد = 46
 | العدد = 3
 | صفحات = 501–517
 | doi = 10.1137/S0036144502417715
}}</ref> اكتشف أولا بواسطة [[إدوارد ويرينغ]] في عام [[1779]] ثم أعيد اكتشافه من قبل [[ليونهارت أويلر|ليونهارد أويلر]] في عام [[1783]].

بما أنه لايوجد إلا [[استيفاء]] واحد [[متعددة الحدود|لكثير الحدود]] لمجموعة من النقاط، فمن الخطأ تسمية كثير الحدود باستيفاء لاغرانج لكثير الحدود (Lagrange interpolation polynomial). يجب أن يكون الاسم الأدق هو استيفاء كثير الحدود بطريقة لاغرانج (interpolation polynomial in the Lagrange form).

[[ملف:Lagrange polynomial.svg|تصغير|هذه الصورة تظهر استيفاء كثير الحدود التكعيبي <font color=#333333>''L''(''x'')</font> لأربع نقاط (<font color=#b30000>(−9,&nbsp;5)</font>, <font color=#0000b3>(−4,&nbsp;2)</font>, <font color=#00b300>(−1,&nbsp;−2)</font>, <font color=#b3b300>(7,&nbsp;9)</font>)، وهو مجموع كثيرات الحدود الأساسية <font color=#b30000>y<sub>0</sub>''ℓ''<sub>0</sub>(''x'')</font>, <font color=#0000b3>y<sub>1</sub>''ℓ''<sub>1</sub>(''x'')</font>, <font color=#00b300>y<sub>2</sub>''ℓ''<sub>2</sub>(''x'')</font> و<font color=#b3b300>y<sub>3</sub>''ℓ''<sub>3</sub>(''x'')</font>. استيفاء كثير الحدود يمر خلال جميع نقاط التحكم الأربعة، وكل كثير حدود أساسي يمر خلال نقطة التحكم الخاصة به ويكون صفرًا عندما ''x'' متعلقة بنقاط التحكم الثلاثة الأخرى]]

== تعريف ==
ليكن لدينا مجموعة ''k''&nbsp;+&nbsp;1 من النقاط.

:<math>(x_0, y_0),\ldots,(x_k, y_k)</math>

حيث لا تتساوى أي ''x''<sub>''j''</sub> لأي نقطتين، فيكون استيفاء كثير الحدود بطريقة لاغرانج هو [[تركيب خطي|التركيبة الخطية]]

:<math>L(x)  = \sum_{j=0}^{k} y_j \ell_j(x)</math>

لكثيرات حدود لاغرانج الأساسية

:<math>\ell_j(x)  = \prod_{i=0,\, i\neq j}^{k} \frac{x-x_i}{x_j-x_i} = \frac{(x-x_0)}{(x_j-x_0)} \cdots \frac{(x-x_{j-1})}{(x_j-x_{j-1})} \frac{(x-x_{j+1})}{(x_j-x_{j+1})} \cdots \frac{(x-x_{k})}{(x_j-x_{k})}.</math>

== ضمان وجود كثيرة الحدود الاستكمالية ==
نظرية التقريب لفير ستراس لنفرض أن ƒ مغلقة ومتصلة على الفترة [a,b] لكل ε>0، يوجد كثيرة حدود (×)p تحقق الخاصية

[f(x) – p(x) | < ɛ, ∀ x ∈[a,b|

== كثيرة حدود لاغرانج الاستكمالية ==
المشكلة هي في إيجاد كثيرة حدود من الدرجة الأولى تمر في النقطة (x<sub>1</sub>, y<sub>1</sub>), (x<sub>0</sub> , y<sub>0</sub>) هو نفس تقريب الدالة f لـ f(x<sub>0</sub>)= y<sub>0</sub> وf(x<sub>1</sub>) = y<sub>1</sub>

عن طريقة أو درجة استكمال كثيرة الحدود أو نفس قيم f عند نقاط معينة من نقاط النهاية ويسمى كثيرة حدود إستكمالية.

(L<sub>0</sub>(x)=(x-x<sub>1</sub>) / (x<sub>0</sub>-x<sub>1</sub> وَ (L<sub>1</sub>(x)= (x-x<sub>0</sub>) / (x<sub>1</sub>-x<sub>0</sub>

((p(x) = L<sub>0</sub>(x) f(x) + L<sub>1</sub>(x<sub>1</sub>) f(x<sub>1</sub>) = ((x-x<sub>1</sub>) / (x<sub>0</sub>-x<sub>1</sub>)) f(x<sub>1</sub>) + ((x-x<sub>0</sub>) / (x<sub>1</sub>-x<sub>0</sub>

== مثال ==
أوجدي كثيرة الحدود [[خطية|الخطية]] للاغرانج الاستكمالية المارة في النقطة (4 , 2), (1 , 5) ؟! المطلوب إيجاد كثيرة حدود خطية أي تكون كثيرة الحدود من الدرجة الأولى ويكون إيجادها باستخدام نقطتين وتكون على الصورة

ليكن لدينا <math>n =2</math> وكان المطلوب إيجاد كثير الحدود باستكمال لاغرانج المار من النقطتين <math>P_0 (5,1), P_1 (2,4)</math>. التابع كثير حدود من الدرجة الأولى يعني هو مستقيم يمر بالنقطتين ويمكن استخدام صيغة لاغرانج لإيجاد المعاملات <math>L_0 (x),L_1(x)</math>:

<math>L_0 (x) = \frac{x- x_1}{x_0 - x_1}= \frac{x- 5}{2-5} = \frac{x- 5}{-3}.</math>

<math>P_1 (x) =4\frac{x- 5}{-3}+1\frac{x- 2}{3}= -x+6.</math>

== تقدير الخطأ في الاستكمال بكثيرات حدود لاغرانج ==
 نظرية (2)
إذا كان لدينا x<sub>0</sub>,x<sub>1</sub>,…….,x<sub>n</sub> أرقام مختلفة في الفترة [a,b] وكانت الدالة [ C<sup>n+1</sup> [a,b ∋ متصلة ولها مشتقات حتى الرتبة n+1 .

ولكل[ x∈[a, b يوجد عدد [ γ(x)∈[a, b يقع بين x<sub>0</sub>,x<sub>1</sub>,…….,x<sub>n</sub>

بحيث يكون
 (f(x) – P<sub>n</sub> (x) | = ((f<sup>(n+1)</sup> (γ(x))) / (n+1)!) (x-x<sub>0</sub>) (x-x<sub>1</sub>) …. (x-x<sub>n</sub>|
حيث (P<sub>n</sub>(x كثيرة حدود لاغرانج الاستكمالية.

== انظر أيضا ==
* [[متعددة الحدود لبيرنشتاين]]

== مراجع ==
{{مراجع}}

{{شريط بوابات|رياضيات}}

[[تصنيف:استيفاء]]
[[تصنيف:تحليل مركب]]
[[تصنيف:متعددات الحدود]]
[[تصنيف:مقالات تحوي براهين]]
كثير حدود لاغرانج أو متعدد حدود لاغرانج  في التحليل العددي هو استيفاء كثير الحدود لمجموعة محددة من النقاط بطريقة لاغرانج. اكتشف أولا بواسطة إدوارد ويرينغ في عام 1779 ثم أعيد اكتشافه من قبل ليونهارد أويلر في عام 1783.

بما أنه لايوجد إلا استيفاء واحد لكثير الحدود لمجموعة من النقاط، فمن الخطأ تسمية كثير الحدود باستيفاء لاغرانج لكثير الحدود (Lagrange interpolation polynomial). يجب أن يكون الاسم الأدق هو استيفاء كثير الحدود بطريقة لاغرانج (interpolation polynomial in the Lagrange form).

تصغير|هذه الصورة تظهر استيفاء كثير الحدود التكعيبي L(x) لأربع نقاط ((−9, 5), (−4, 2), (−1, −2), (7, 9))، وهو مجموع كثيرات الحدود الأساسية y0ℓ0(x), y1ℓ1(x), y2ℓ2(x) وy3ℓ3(x). استيفاء كثير الحدود يمر خلال جميع نقاط التحكم الأربعة، وكل كثير حدود أساسي يمر خلال نقطة التحكم الخاصة به ويكون صفرًا عندما x متعلقة بنقاط التحكم الثلاثة الأخرى

 تعريف 
ليكن لدينا مجموعة k + 1 من النقاط.

حيث لا تتساوى أي xj لأي نقطتين، فيكون استيفاء كثير الحدود بطريقة لاغرانج هو التركيبة الخطية

لكثيرات حدود لاغرانج الأساسية

 ضمان وجود كثيرة الحدود الاستكمالية 
نظرية التقريب لفير ستراس لنفرض أن ƒ مغلقة ومتصلة على الفترة [a,b] لكل ε>0، يوجد كثيرة حدود (×)p تحقق الخاصية

[f(x) – p(x) | < ɛ, ∀ x ∈[a,b|

 كثيرة حدود لاغرانج الاستكمالية 
المشكلة هي في إيجاد كثيرة حدود من الدرجة الأولى تمر في النقطة (x1, y1), (x0 , y0) هو نفس تقريب الدالة f لـ f(x0)= y0 وf(x1) = y1

عن طريقة أو درجة استكمال كثيرة الحدود أو نفس قيم f عند نقاط معينة من نقاط النهاية ويسمى كثيرة حدود إستكمالية.

(L0(x)=(x-x1) / (x0-x1 وَ (L1(x)= (x-x0) / (x1-x0

((p(x) = L0(x) f(x) + L1(x1) f(x1) = ((x-x1) / (x0-x1)) f(x1) + ((x-x0) / (x1-x0

 مثال 
أوجدي كثيرة الحدود الخطية للاغرانج الاستكمالية المارة في النقطة (4 , 2), (1 , 5) ؟! المطلوب إيجاد كثيرة حدود خطية أي تكون كثيرة الحدود من الدرجة الأولى ويكون إيجادها باستخدام نقطتين وتكون على الصورة

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

 تقدير الخطأ في الاستكمال بكثيرات حدود لاغرانج 
 نظرية (2)
إذا كان لدينا x0,x1,…….,xn أرقام مختلفة في الفترة [a,b] وكانت الدالة [ Cn+1 [a,b ∋ متصلة ولها مشتقات حتى الرتبة n+1 .

ولكل[ x∈[a, b يوجد عدد [ γ(x)∈[a, b يقع بين x0,x1,…….,xn

بحيث يكون
 (f(x) – Pn (x) | = ((f(n+1) (γ(x))) / (n+1)!) (x-x0) (x-x1) …. (x-xn|
حيث (Pn(x كثيرة حدود لاغرانج الاستكمالية.

 انظر أيضا 
 متعددة الحدود لبيرنشتاين

 مراجع 

تصنيف:استيفاء
تصنيف:تحليل مركب
تصنيف:متعددات الحدود
تصنيف:مقالات تحوي براهين