مبرهنة الرواسب

في التحليل العقدي، مبرهنة الرواسب أو مبرهنة الرواسب لكوشي، هي أداة قوية لتقييم التكاملات الخطية للدوال التحليلية على المنحنيات المغلقة؛ يمكن استخدامه أحيانًا لحساب التكاملات الحقيقية والمتسلسلات اللانهائية أيضًا. تُعَمِّمْ هذه المبرهنة مبرهنة كوشي للتكامل وصيغة كوشي التكاملية.

نص المبرهنة 
نص المبرهنة هو كالتالي:

لتكن  مجموعة فرعية مفتوحة مرتبطة ارتباطا بسيطا من المستوى العقدي تحتوي على قائمة منتهية من النقاط  ،  ، والدالة  معرفة وهولومورفية على  . ليكن  منحنى مغلق قابل للتقويم في ، ويشير إلى   حول  بـ  . التكامل الخطي لـ   حول  يساوي  مضروبًا في مجموع رواسب  عند النقاط، كل منها يحسب عدة مرات على أن  يلتف حول النقطة:إذا كان  عبارة عن منحنى مغلق بسيط موجهة إلى اتجاه موجب،  إذا كان  داخل ، و 0 إذا لم يكن كذلك، فإن:مع مجموع حول أعداد  التي بداخل  .

مراجع

دوال تحليلية
مبرهنات في التحليل المركب