في التحليل الرياضي، قاعدة الضرب (وتدعى أيضًا قانون لايبنتز) قاعدة تستخدم لحساب اشتقاق حاصل ضرب دالتين قابلتين للاشتقاق :

بيان هندسي يمكن من البرهان على قاعدة الضرب

لهذا يمكن القول تبعا لترميز لاغرانج :

(fg)=fg+fg

أو بترميز لايبنز :

ddx(uv)=udvdx+vdudx..[1][2][3]

أمثلة

لنحسب تفاضل f(x)=sin(x)cos(x). حسب قاعدة الضرب لدينا:

ddx[sin(x)cos(x)]=sin(x)ddx[cos(x)]+cos(x)ddx[sin(x)]=sin2(x)+cos2(x)=12sin2(x).

البراهين

لتكن h(x)=f(x)g(x)، ونعتبر أن g(x) وf(x) موجودين. لدينا:

h'(x)=lima0h(x+a)h(x)a=lima0f(x+a)g(x+a)f(x)g(x)a=lima0f(x+a)g(x+a)f(x)g(x+a)+f(x)g(x+a)f(x)g(x)a=lima0[f(x+a)f(x)]g(x+a)+f(x)[g(x+a)g(x)]a=lima0f(x+a)f(x)alima0g(x+a)+lima0f(x)lima0g(x+a)g(x)a=f'(x)g(x)+f(x)g'(x).

تعميمات

جداء أكثر من حدين

قاعدة الضرب يمكن أن تعمم عند حساب اشتقاق أكثر من حدين. على سبيل المثال، اشتقاق جداء ثلاثة حدود يُحسب كما يلي:

d(uvw)dx=dudxvw+udvdxw+uvdwdx.

من أجل حساب اشتقاق جداء عدد معين من الدوال f1,,fk، يتوفر ما يلي:

ddx[i=1kfi(x)]=i=1k((ddxfi(x))j=1,jikfj(x))=(i=1kfi(x))(i=1kf'i(x)fi(x)).

اشتقاق من درجات عليا

انظر إلى مبرهنة ذي الحدين.

dn(uv)=k=0n(nk)d(nk)(u)d(k)(v).
(uv)(n)(x)=k=0n(nk)u(nk)(x)v(k)(x).
(i=1kfi)(n)=j1+j2++jk=n(nj1,j2,,jk)i=1kfi(ji).

مراجع

  1. ^ "معلومات عن قاعدة الضرب على موقع brilliant.org". brilliant.org. مؤرشف من الأصل في 2023-02-08.
  2. ^ law "معلومات عن قاعدة الضرب على موقع ncatlab.org". ncatlab.org. مؤرشف من الأصل في 2023-07-04. {{استشهاد ويب}}: تحقق من قيمة |مسار= (مساعدة)
  3. ^ "معلومات عن قاعدة الضرب على موقع britannica.com". britannica.com. مؤرشف من الأصل في 2023-02-20.

انظر أيضا