If you do not find what you're looking for, you can use more accurate words.
الدالة الضمنية دالة رياضية تمثل أقترانا ضمنيا، وتكون الدالة ضمنية إذا كان المتغير التابع والمستقل (المجال والمجال المقابل) في طرف واحد من المعادلة (كان الأقتران ضمنيا) مثل: . و تنص المبرهنة على أنه يمكن تعريف متتعدد الشعب بإستخدام خصائص دالة آخرى، حيث يعتبر متعدد الشعب أصفار هذه الدالة، إذا إنطبقت على مشتقة هذه الدالة شروط معينة
أوغستين لوي كوشي (1789-1857) ينسب إليه أول شكل صارم لنظرية الدالة الضمنية. ثم قام يوليس ديني (1845-1918) بتعميم نسخة المتغير الحقيقي من نظرية الدالة الضمنية على سياق وظائف أي عدد من المتغيرات الحقيقية.
إذا كانت مجموعة مفتوحة و دالة ناعمة و واذا كانت رتبة لكل تساوي فإنَ متعدد شعب ذو بعد .