بالنسبة لتطبيق قابل للاشتقاق F(u,v)=(x,y)=(f(u,v),g(u,v))، يكون جاكوبيانه J=[[f_u,f_v],[g_u,g_v]]. تتحقق التغيرات الصغيرة according to [dx,dy] (transpose)=J[du,dv] (transpose) إلى الرتبة الأولى. لإيجاد u_x مع إبقاء y ثابتاً، اشتق كلتا المعادلتين المُعرِّفتين بالنسبة لـ x: f_u u_x+f_v v_x=1 و g_u u_x+g_v v_x=0. هذه نظام خطي مترابط، وليست قاعدتي معكوس سكريبتية مستقلة.
إذا كانت f و g قابلة للاشتقاق بشكل مستمر حول النقطة وكان det J=f_u g_v−f_v g_u لا يساوي صفراً هناك، فإن نظرية الدالة العكسية توفر معكوساً محلياً قابلاً للاشتقاق. مشتقتها هي J⁻¹=(1/det J)[[g_v,−f_v],[−g_u,f_u]]. وبالتالي u_x=g_v/det J، u_y=−f_v/det J، v_x=−g_u/det J و v_y=f_u/det J. قيّم كل مشتق عند النقطة المقابلة. المعكوس المحلي قد لا يتمدد ليكون معكوساً عالمياً.
بالنسبة للمعادلات الضمنية H(u,v,x,y)=0 و K(u,v,x,y)=0، قم بالاشتقاق مع إبقاء الإحداثي المستقل المطلوب ثابتاً. حل [[H_u,H_v],[K_u,K_v]][u_x,v_x] (transpose)=−[H_x,K_x] (transpose). يجب أن لا يساوي الصفر المحدد في المتغيرات المجهولة u,v لاستخدام نظرية الدالة الضمنية المعتادة. تأتي الإشارات على اليمين من نقل المشتقات المعلومة إلى الطرف الآخر. إذا اختفى المحدد، تكون هذه النظرية غير حاسمة؛ فهي لا تثبت بحد ذاتها عدم وجود معكوس أو حل ضمني.
الاختصار السكريبت du/dx=1/(dx/du) صالح لمعكوس متغير واحد بمشتق لا يساوي صفراً، لكنه يفشل عادةً في النظام المترابط لأن v يتغير لإبقاء y ثابتاً. بالنسبة لـ x=u+v,y=u+2v، J=[[1,1],[1,2]] له محدد 1 ومعكوس [[2,−1],[−1,1]]. لذلك u_x=2 بينما 1/f_u=1. جاكوبيان المعكوس يحول الحساسية التفاضلية؛ بينما تكامل تغيير المتغيرات يستخدم تحديد القيمة المطلقة لمقياس المساحة أو الحجم، وليس مدخلاً معكوساً محدداً.