متعدد حدود لاغرانج

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

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

تصغير|هذه الصورة تظهر استيفاء كثير الحدود التكعيبي <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 من النقاط.

:(x_0, y_0),\ldots,(x_k, y_k)

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

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

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

:\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})}.

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

[f(x) – p(x) | 1, 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) ؟! المطلوب إيجاد كثيرة حدود خطية أي تكون كثيرة الحدود من الدرجة الأولى ويكون إيجادها باستخدام نقطتين وتكون على الصورة

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

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

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

## تقدير الخطأ في الاستكمال بكثيرات حدود لاغرانج
 نظرية (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 كثيرة حدود لاغرانج الاستكمالية.

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

## مراجع

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