נכון, רק הדגשה אחת
לוקחים את הפרמטר שמאפס את a , מציבים בכל הפונקציה ורואים אם יוצא פסוק אמת. הכל נכון, רק שים לב ש"פסוק האמת" לא חייב להיות 0=0 , הכל הרי תלוי במה ששואלים בתרגיל ! נניח לדוגמה שמבקשים שהפונקציה תהיה גדולה מ 3 לכל x . אז כותבים : y>3 מציבים את הפרמטר שמאפס את a , ואז פסוק האמת שנקבל הוא (לדוגמה): 4>3 כלומר פסוק האמת משתנה מתרגיל לתרגיל בהתאם למה ששואלים, זה לא תמיד 0=0 . במקרה האחרון שדיברנו עליו (לפחות נקודת חיתוך אחת) רושמים : y≥0 ומקבלים בהצבה : 0≥0 שזה פסוק אמת.