תחום הגדרה: תנאים וחיתוך תחומים
תחום ההגדרה כולל את כל הקלטים שעבורם הביטוי מוגדר במספרים הממשיים. בשיעור זה נרשום את תנאי ההגדרה, נפתור אותם ונמצא את החיתוך ביניהם.
התנאים הבסיסיים
תחום הגדרה מקסימלי
תחום ההגדרה המקסימלי כולל את כל הערכים שמקיימים את כל תנאי הביטוי. אין להוציא ממנו ערך שהביטוי מוגדר בו.
- בשורש ריבועי, הביטוי שבתוך השורש חייב להיות אי־שלילי: $\sqrt{u(x)}$ דורש $u(x)\geq 0$.
- בלוגריתם, הארגומנט חייב להיות חיובי: $\ln(u(x))$ דורש $u(x)>0$.
- בשבר, המכנה חייב להיות שונה מאפס: $\frac{u(x)}{v(x)}$ דורש $v(x)\ne 0$.
- בשורש ריבועי שנמצא במכנה, התנאים מצטרפים: $\frac{u(x)}{\sqrt{v(x)}}$ דורש $v(x)>0$.
- בפונקציות $\arcsin(u(x))$ ו־$\arccos(u(x))$, נדרש $-1\leq u(x)\leq 1$.
- בפונקציה $\tan(u(x))$, נדרש $u(x)\ne\frac{\pi}{2}+k\pi$ לכל $k\in\mathbb{Z}$.
אם הארגומנט או המכנה מכילים ביטוי נוסף, יש לבדוק גם את תנאי ההגדרה שלו.
חיתוך תנאים
כאשר הביטוי מכיל כמה רכיבים, כל התנאים חייבים להתקיים יחד. אם תחומי הרכיבים הם $D_1$ ו־$D_2$, התחום המשותף הוא:
$$D=D_1\cap D_2.$$איחוד מתאר כמה קטעים מותרים. חיתוך בוחר רק ערכים ששייכים לכל התנאים.
סדר עבודה
- רשמו תנאי לכל שורש, לוגריתם ומכנה.
- בדקו את הארגומנטים של הפונקציות הטריגונומטריות ההפוכות.
- פתרו את התנאים ומצאו את החיתוך ביניהם.
- בדקו בנפרד כל נקודת קצה בביטוי המקורי.
בדיקה קצרה: שורש ולוגריתם
תרגיל מקורי
מצאו את תחום ההגדרה של $h(x)=\sqrt{x+2}+\ln(3-x)$.
תנאי השורש הוא $x\geq-2$. תנאי הלוגריתם הוא $x<3$. לכן:
$$D=[-2,3).$$בקצה השמאלי השורש שווה לאפס והלוגריתם מוגדר. בקצה הימני ארגומנט הלוגריתם שווה לאפס, ולכן הקצה אינו כלול.
שורש במכנה: תנאי מחמיר יותר
לוגריתם חלקי שורש של סינוס
מבחן 24.06.22 שאלה 16
מצאו את תחום ההגדרה של:
$$f(x)=\frac{\ln(3+2x-x^2)}{\sqrt{\sin(\pi x)}}.$$תחילה נדרוש ארגומנט חיובי בלוגריתם:
$$3+2x-x^2=-(x+1)(x-3)>0 \quad\Longleftrightarrow\quad -1<x<3.$$השורש נמצא במכנה. לכן נדרוש:
$$\sin(\pi x)>0.$$בתוך הקטע שמצאנו, הסינוס חיובי בקטעים $(0,1)$ ו־$(2,3)$. הוא שלילי בקטעים $(-1,0)$ ו־$(1,2)$, ומתאפס בנקודות השלמות.
$$D=(0,1)\cup(2,3).$$בכל נקודה בתחום זה ארגומנט הלוגריתם חיובי והמכנה מוגדר ושונה מאפס. יתר הנקודות מפרות לפחות אחד מהתנאים.
טעות נפוצה: לאפשר אפס בכל שורש
בשורש רגיל אפשר לקבל אפס. בשורש שנמצא במכנה אסור לקבל אפס. לפני פתרון אי־השוויון, בדקו את מיקום השורש בביטוי.
שורש של טנגנס: סימן ונקודות אי־הגדרה
שילוב תנאי מחזורי עם תנאי לוגריתמי
מבחן 22.08.24 שאלה 16
מצאו את תחום ההגדרה המקסימלי של:
$$f(x)=\sqrt{\tan(4x)}+\ln(x-x^2).$$תנאי הלוגריתם הוא:
$$x-x^2=x(1-x)>0 \quad\Longleftrightarrow\quad 0<x<1.$$עבור השורש נדרוש שהטנגנס יהיה מוגדר ואי־שלילי. בכל מחזור מתקיים:
$$k\pi\leq 4x<k\pi+\frac{\pi}{2}, \qquad k\in\mathbb{Z}.$$לאחר חלוקה נקבל:
$$\frac{k\pi}{4}\leq x<\frac{k\pi}{4}+\frac{\pi}{8}.$$בחיתוך עם $(0,1)$ נשארים שני קטעים:
$$D=\left(0,\frac{\pi}{8}\right)\cup\left[\frac{\pi}{4},1\right).$$הנקודה $x=\frac{\pi}{8}$ אסורה כי הטנגנס אינו מוגדר בה. הנקודה $x=\frac{\pi}{4}$ מותרת כי $\tan(\pi)=0$ וארגומנט הלוגריתם חיובי. הנקודות $x=0$ ו־$x=1$ אסורות בגלל הלוגריתם. כך מתקיימים כל התנאים בדיוק בתחום שנמצא.
פונקציות טריגונומטריות הפוכות בתוך לוגריתם
התחום הראשוני אינו תמיד התחום הסופי
הפונקציות $\arcsin x$ ו־$\arccos x$ מוגדרות בקטע $[-1,1]$. אם הן מופיעות במכנה או בתוך לוגריתם, יש להוסיף את התנאים של הפעולות האלה.
בדיקת המכנה וחיוביות ארגומנט הלוגריתם
מבחן 20.06.24 שאלה 16
מצאו את תחום ההגדרה של:
$$f(x)=\ln\left(\frac{\arcsin x}{\arccos x}+\frac12\right).$$שתי הפונקציות הטריגונומטריות ההפוכות דורשות $-1\leq x\leq1$. בנוסף, $\arccos(1)=0$, ולכן נותר התחום הראשוני $[-1,1)$.
בתחום זה $\arccos x>0$. לכן אפשר לכפול בו את תנאי הלוגריתם בלי לשנות את כיוון אי־השוויון:
$$\frac{\arcsin x}{\arccos x}+\frac12>0 \quad\Longleftrightarrow\quad 2\arcsin x+\arccos x>0.$$כמו בפתרון הרשמי, נגדיר:
$$g(x)=2\arcsin x+\arccos x.$$בקטע הפתוח מתקיים:
$$g'(x)=\frac{2}{\sqrt{1-x^2}}-\frac{1}{\sqrt{1-x^2}} =\frac{1}{\sqrt{1-x^2}}>0.$$הפונקציה רציפה גם בקצה השמאלי, ושם:
$$g(-1)=2\left(-\frac{\pi}{2}\right)+\pi=0.$$לכן $g(x)>0$ לכל $-1<x<1$. בנקודה $x=-1$ ארגומנט הלוגריתם שווה לאפס. בנקודה $x=1$ המכנה שווה לאפס. מכאן:
$$D=(-1,1).$$בתמליל הפתרון מופיע בטעות $g(-1)>0$. החישוב נותן $g(-1)=0$. הפתרון כאן משתמש בשוויון זה.
בכל נקודה בקטע הפתוח שתי הפונקציות מוגדרות, המכנה חיובי וארגומנט הלוגריתם חיובי. לכן אין הגבלות נוספות.
בדיקה קצרה: נקודת קצה מותרת
תרגיל מקורי
מהו תחום ההגדרה של $h(x)=\frac{1}{\arccos x}$?
הארק־קוסינוס מוגדר ב־$[-1,1]$ ומתאפס רק ב־$x=1$. בקצה האחר מתקיים $\arccos(-1)=\pi\ne0$, ולכן הוא כלול.
שילוב מלא: שורש של מנה
מונה שיכול להתאפס ומכנה לוגריתמי
מבחן 28.03.24 שאלה 16
מצאו את תחום ההגדרה של:
$$f(x)=\sqrt{\frac{\arccos(x^2/25)}{\ln(2^{3x-8}-1)}}.$$מתנאי הארק־קוסינוס נקבל:
$$-1\leq\frac{x^2}{25}\leq1 \quad\Longleftrightarrow\quad -5\leq x\leq5.$$בתוך הקטע $(-5,5)$ המונה חיובי. לכן המנה שמתחת לשורש אי־שלילית רק כאשר המכנה חיובי:
$$\ln(2^{3x-8}-1)>0 \quad\Longleftrightarrow\quad 2^{3x-8}-1>1 \quad\Longleftrightarrow\quad x>3.$$תנאי זה מבטיח גם שהלוגריתם מוגדר והמכנה אינו אפס. לכן מתוך הקטע הפתוח נשאר $(3,5)$.
כעת נבדוק בנפרד את הנקודות שבהן המונה מתאפס. בנקודה $x=-5$ ארגומנט הלוגריתם הוא $2^{-23}-1<0$, ולכן הביטוי אינו מוגדר. בנקודה $x=5$ המונה שווה לאפס והמכנה הוא $\ln(127)>0$, ולכן השורש מוגדר ושווה לאפס.
$$D=(3,5].$$בתמליל הפתרון מופיעים סימני אי־שוויון חדים בתנאי הארק־קוסינוס. נשתמש בתנאי הכולל שוויון, בהתאם להגדרת הפונקציה. כמו כן, אפס במונה אינו מחייב מכנה חיובי; לכן בדקנו את שתי נקודות האפס בנפרד.
הבדיקה מכסה את פנים הקטע ואת קצותיו. כל ערך מחוץ לקטע שנמצא מפר לפחות תנאי הגדרה אחד.
בדיקה קצרה: לוגריתם במכנה
תרגיל מקורי
מצאו את תחום ההגדרה של $h(x)=\frac{1}{\ln(x+2)}$.
הלוגריתם דורש $x+2>0$. המכנה דורש $\ln(x+2)\ne0$, כלומר $x+2\ne1$. לכן:
$$D=(-2,-1)\cup(-1,\infty).$$בכל נקודה בתחום זה הלוגריתם מוגדר ושונה מאפס. מותר לו להיות גם שלילי, כי אין כאן שורש של המנה.