مبرهنة فيرما (للنقاط القصوى)

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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

RTCalc.svg

في نقطة معيّنة، وفي نفس هذه النقطة توجد للدالة نقطة قصوى (نهاية عظمى أو صغرى)، فإن قيمة المشتقة في هذه النقطة صفر.[1][2] بكلمات أخرى، يكون مماس الدالة في هذه النقطة موازيًا للمحور الافقي.

هذه ليست المبرهنة الشهيرة والمعروفة لفيرما (المبرهنة الاخيرة لفيرما).

تحذير[عدل]

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

نصّ المبرهنة[عدل]

لنفرض أنّ دالّة معرّفة في القطعة ولنفرض ايضًا انّ نقطة قصوى (نهاية عظمى أو صغرى) فيها الدالّة قابلة للاشتقاق، اذًا فيتحقق .

برهان[عدل]

نبرهن في حالة تكون فيها نقطة نهاية عظمى. البرهان للحالة الثانيّة مشابه.

بما انّ - نقطة نهاية عظمى، اذًا فهناك مجال كلّه داخل القطعة ، حيث انّه لكل يتحقّق . ومن هنا فلكل الّذي يحقّق يتحقّق .

الآن ننظر إلى مشتقّة الدالّة من اليسار واليمين بالنقطة :

هذا صحيح لأنّ البسط دائمًا سالب أو صفر، كما رأينا، والمقام دائمًا موجب، لأن التقارب للصفر هو من اليمين.

بينما:

لأنه في هذه الحالة المقام دائمًا سالب.

لذلك وبما انّ الدالة قابلة للأشتقاق في النقطة ، فيتحقق ولهذا بالتأكيد .

طالع أيضا[عدل]

مراجع[عدل]

  1. ^ "Is Fermat's theorem about local extrema true for smooth manifolds?"، Mathematics Stack Exchange، مؤرشف من الأصل في 18 مايو 2017، اطلع عليه بتاريخ 21 أبريل 2017.
  2. ^ قالب:Note autre projet