تنص المبرهنة التحليلية للتقابل على أنه: إذا كانت الدالة العددية $f$ مستمرة ورتيبة تماماً على مجال معلوم $I$، فإنها تحقق تقابلاً من المجال $I$ نحو مجال مستهدف $J$ (حيث $J = f(I)$ يمثل صورة مجال الانطلاق بالدالة $f$). بناءً على هذا التقابل، تقبل الدالة $f$ دالة عكسية يُرمز لها بالرمز التحليلي $f^{-1}$، وتكون معرفة ومستمرة ورتيبة تماماً على المجال $J$ بنفس اتجاه تغير الدالة الأصلية.
يصاغ هذا الارتباط الجبري بالقول أن لكل عنصر حقيقي $y$ ينتمي إلى المجال $J$ سابقة وحيدة $x$ تنتمي إلى المجال $I$ تحقق الشرط التكافئي: $f(x) = y \iff x = f^{-1}(y)$.
تخضع العلاقة الهندسية بين منحنى الدالة الأصلية ومنحنى دالتها العكسية لقاعدة التناظر الطوبولوجي في المستوي المزود بمعلم متعامد ومتجانس $(O; \vec{i}, \vec{j})$؛ حيث يكون المنحنى البياني $(\mathcal{C}_f)$ والمنحنى البياني العكسي $(\mathcal{C}_{f^{-1}})$ متناظرين تماماً بالنسبة إلى المستقيم ذو المعادلة الديكارتية $y = x$، والذي يمثل هندسياً المنصف الأول للمعلم.
| المركب التحليلي أو الهندسي | الخاصية في الدالة الأصلية $f$ | الخاصية المقابلة في الدالة العكسية $f^{-1}$ |
|---|---|---|
| النطاق المجالي للتعريف | تُعرّف وتُدرس على مجال الانطلاق $I$. | تُعرّف وتُدرس على مجال الصورة $J = f(I)$. |
| إحداثيات النقط البيانية | إذا كانت النقطة $M(a; b)$ تنتمي إلى المنحنى $(\mathcal{C}_f)$. | فإن النقطة المتناظرة $M'(b; a)$ تنتمي حتماً إلى المنحنى $(\mathcal{C}_{f^{-1}})$. |
| اتجاه التغير (الرتابة الصارمة) | رتيبة تماماً (متزايدة تماماً أو متناقصة تماماً). | تحافظ قطيعاً على نفس اتجاه التغير (الرتابة مماثلة تماماً لـ $f$). |
يتطلب الإنشاء الهندسي الدقيق للمنحنى البياني $(\mathcal{C}_{f^{-1}})$ انطلاقاً من منحنى معلوم لدالة دون الحاجة لاستخراج العبارة التحليلية الجبرية، تتبع المراحل الهندسية المقررة التالية:
| المرحلة البيانية | الإجراء الهندسي والتحليلي المعتمد |
|---|---|
| 1. رسم محور التناظر | إنشاء المستقيم المرجعي ذو المعادلة الديكارتية $y = x$ (المنصف الأول). |
| 2. تحويل النقط الحصيلة | تعيين صور النقط الحركية والحدية بعكس إحداثياتها الفاصلية والترتيبية؛ فإذا مر $(\mathcal{C}_f)$ بالنقطة $(2; 0)$، يمر $(\mathcal{C}_{f^{-1}})$ حتماً بالنقطة المتناظرة $(0; 2)$. |
| 3. تحويل المستقيمات المقاربة | تنعكس رتب المستقيمات المقاربة بالتناظر المحوري؛ فالمستقيم المقارب العمودي ذو المعادلة $x = k$ للدالة $f$ يتحول إلى مستقيم مقارب أفقي معادلته $y = k$ للدالة العكسية $f^{-1}$، والعكس صحيح بالنسبة للمقاربات الأفقية والمائلات. |
تُعد الدالة $f: x \mapsto x^2$ المعرفة على المجال المغلق $[0; +\infty[$ دالة مستمرة ومتزايدة تماماً، وبالتالي فهي تقبل دالة عكسية معرفة على مجال الصورة $J = f([0; +\infty[) = [0; +\infty[$ وهي دالة الجذر التربيعي المألوفة: $f^{-1}: x \mapsto \sqrt{x}$.
هندسياً، يظهر بوضوح في المعلم المتجانس أن فرع القطع المكافئ الممثل للدالة المربع وصورة منحنى دالة الجذر التربيعي متناظران محاورياً بالنسبة للمستقيم الأفقي المائل $y=x$.
يُعد شرطا الاستمرارية والرتابة الصارمة معاً بمثابة الشروط التأسيسية اللازمة والضرورية لوجود الدالة العكسية كتقابل دالي على مجال ممتد؛ حيث إن أي اختلال في صفة الاستمرارية (وجود انقطاعات بيانية أو تفرعات مجالية) يؤدي إلى فشل صياغة التطبيق العكسي $f^{-1}$ كدالة عددية وحيدة التعريف بالمعنى التحليلي الدقيق على تلك الفترة.