مبرهنة الدالة الضمنية

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

نبذة تاريخية 
أوغستين لوي كوشي (1789-1857) ينسب إليه أول شكل صارم لنظرية الدالة الضمنية. ثم قام يوليس ديني (1845-1918) بتعميم نسخة المتغير الحقيقي من نظرية الدالة الضمنية على سياق وظائف أي عدد من المتغيرات الحقيقية.

مبرهنة الدالة الضمنية (هندسة تفاضلية) 
إذا كانت  مجموعة مفتوحة و  دالة ناعمة و  واذا كانت رتبة  لكل  تساوي  فإنَ  متعدد شعب ذو بعد  .

انظر أيضا 
 معادلة دالية

مراجع 

حساب تفاضلي
دوال
دوال عكسية
مبرهنات في التحليل الحقيقي
مبرهنات في حساب التفاضل والتكامل
مطابقات رياضية