בדיקת פונקציה הפוכה

פונקציה והפונקציה ההפוכה שלה מבטלות זו את זו, ולכן הרכבתן מחזירה את הקלט: f(f^-1(x)) = x. זהו מבחן לכל פונקציה נטענת שהיא הפוכה: הרכיבו את שתי הפונקציות ובדקו אם x חוזר.

ניקח את p(x) = 4x - 3 ואת הטענה q(x) = (x + 3)/4. אז p(q(x)) = 4 × (x + 3)/4 - 3. ה־4 מצטמצמים, ונשאר x + 3 - 3, ששווה ל־x. הטענה נכונה.

ניחוש שגוי נכשל לעיני כול. נסו r(x) = x/4 + 3: p(r(x)) = x + 12 - 3, שזה x + 9, ולא x. הניחוש ביטל את השלבים בסדר שגוי: כדי לבטל כפל ב־4 ואז חיסור 3, צריך תחילה להוסיף 3 ולחלק ב־4 בסוף.