נניח f הרכבה g זה:
f(g(x)) = f(Sqrt(x+5)) = -Sqrt(x+5) + 18
ופשוט לראות שהיא חח"ע ועל בתחום ההגדרה כי היא מונוטונית יורדת ורציפה.
אבל בעקרון תעשה את זה פורמלית בבדידה ...
יהי x1,x2 שמקיים:
f(x1) = f(x2)
תוכיח שזה גורר
x1 = x2
זה מוכיח חח"ע.בעקרון היא לא על כל IR כי למשל היא לא יכולה להיות שווה 100.
