يجد الاشتقاق الضمني عندما يكون معرّفًا ضمنيًّا بمعادلة، دون حلّ المعادلة صراحةً من أجل أوّلًا. وهو مفيد بوجه خاص عندما يكون الحلّ من أجل صعبًا أو مستحيلًا.
الإجراء: اشتقّ طرفَي المعادلة بالنسبة إلى ، معاملًا كدالة في (بحيث يحصل كل حدّ فيه على عامل بقاعدة السلسلة)، ثم حُلّ من أجل .
مثال: من أجل (دائرة):
- نشتقّ الطرفين: .
- نحلّ: .
يعطي هذا الميل عند أي نقطة على الدائرة دون الحاجة إلى .
الاشتقاق الضمني هو الأداة المعيارية من أجل:
- مماسات المنحنيات التي ليست رسومًا بيانية لدوال.
- مسائل المعدّلات المرتبطة (ماء يملأ مخروطًا، سلّم ينزلق على جدار).
- اشتقاق الدوال العكسية (يُستعمل في استنتاج ).
- حلّ المعادلات التفاضلية والمنحنيات ذات الخاصّية الثابتة (خطوط التسوية).