שינויים
/* חוקי חזקות */
באופן דומה, אנו רוצים לכפול במספר הופכי (חצי, שליש, וכדומה) על מנת לבצע פעולת חילוק. אנו מגדירים את המספרים ה'''ראציונאליים''' בתור כל השברים של שני מספרים שלמים ומסמנים:
::<math>\mathbb{Q}=\{\frac{p}{q}|p\in \mathbb{Z},q\in \mathbb{ZN}\}</math> (שימו לב לסימון <math>\in</math> האומר '''שייך לקבוצה'''. כמובן שבכיתה ובהמשך נבהיר את הרישום המתמטי)
כלומר גם q הינו מספר '''זוגי'''. אבל זה לא ייתכן, כיוון שהצגנו את שורש 2 כשבר '''מצומצם'''. לכן הגענו ל'''סתירה''' המצביעה על העובדה שההנחה שלנו היא '''לא נכונה'''. ההנחה שלנו כמובן היא ששורש 2 הוא מספר רציונאלי.
אם כך, קיים לפחות מספר אחד שאנו מכירים שאינו רציונאלי. אבל לא הכל אבוד! אם נבחר לקרב את שורש 2 על ידי 10 הספרות הראשונות שלו, נקבל מספר רציונאלי:
::<math>1.4142135623=\frac{14142135623}{10000000000}</math>
לכן ניתן להתקרב ככל שנרצה (כלומר לרמת הדיוק הרצוייה) על ידי מספרים רציונאליים לכל מספר שאנו מכירים. למעשה, בעתיד המתמטי שלכם תראו שאנו מגדירים את קבוצת המספרים העשרוניים על ידי גבול של קירובים רציונאליים. לקבוצת המספרים העשרוניים אנו קוראים מספרים '''ממשיים''' ומסמנים אותם ב<math>\mathbb{R}</math>.
==חזקות==
הפעולה הבאה שנגדיר היא '''חזקה'''. ניקח מספר ממשי <math>x\in \mathbb{R}</math> כלשהו, וניקח חזקה '''טבעית''' <math>n\in\mathbb{N}</math>. '''נגדיר''' את x בחזקת n להיות המכפלה של x בעצמו n פעמים:
::<math>x^n=x\cdot x \cdots x</math>
כעת, ניקח מספר ממשי '''חיובי''' <math>0<x\in \mathbb{R}</math> וניקח חזקה שהיא הופכית למספר טבעי <math>\frac{1}{n}</math>. נגדיר את x בחזקת אחד חלקי n להיות השורש הn-י של x. כלומר, מספר שכאשר נעלה אותו בחזקת n נקבל את x:
::<math>y=x^{\frac{1}{n}}=\sqrt[n]{x}</math> הוא פתרון המשוואה <math>x=y^n</math>
באופן כללי, נגדיר חזקה רציונאלית באופן הבא:
::<math>x^{p/q}=(\sqrt[q]{x})^p</math>
שאלה: מה נעשה אם החזקה הינה מספר ממשי שאינו רציונאלי?
תשובה: בדומה להגדרתנו למספרים הממשיים, נקרב את החזקה על ידי מספרים רציונאליים, כאשר חזקה רציונאלית אנו יודעים לחשב.
==חוקי חזקות==
נסכם (אבל לא נוכיח) מספר חוקים לגבי חזקות:
*לכל <math>x</math> מתקיים <math>1^x=1</math>
*לכל <math>x</math> מתקיים <math>x^0=1</math> ובפרט <math>0^0=1</math>
*לכל <math>x>0</math> מתקיים <math>0^x=0</math>
*לכל x כך ששני הצדדים מוגדרים מתקיים <math>x^a\cdot x^b = x^{a+b}</math>
*לכל <math>x,y>0</math> מתקיים <math>x^a\cdot y^a=(xy)^a</math>
*לכל <math>x>0</math> מתקיים <math>\big(x^a\big)^b = x^{ab}</math>
*<math>x^{-a} = \frac{1}{x^a}</math>
*<math>\frac{x^a}{x^b}=x^{a-b}</math> (תרגיל: הסק כלל זה מהכללים הקודמים)
==תרגילים==
'''תרגיל''' מצא את הפתרונות של המשוואה <math>2\Big(\frac{4^x+1}{2^x}\Big)^2 -7\Big(\frac{4^{-x}+1}{2^{-x}}\Big)+5=0</math>
'''פתרון'''. ראשית נשים לב לכך ש
<math>\frac{4^x+1}{2^x}=\frac{4^{-x}+1}{2^{-x}}=2^x+\frac{1}{2^x}</math>
ולכן נסמן <math>t=2^x+\frac{1}{2^x}</math> ונקבל את המשוואה הריבועית
<math>2t^2-7t+5=0</math> עם הפתרונות <math>t_{1,2}=1,\frac{5}{2}</math>
לכן עלינו לפתור את המשוואות <math>2^x+\frac{1}{2^x}=1</math>, <math>2^x+\frac{1}{2^x}=\frac{5}{2}</math>
ראשית, נביט במשוואה <math>2^x+\frac{1}{2^x}=1</math>. נכפול בשני האגפים ב<math>2^x</math> ונקבל
<math>(2^x)^2-2^x+1=0</math>. נסמן <math>s=2^x</math> ונקבל את המשוואה הריבועית <math>s^2-s+1=0</math> שאין לה פתרונות.
שנית, נביט במשוואה <math>2^x+\frac{1}{2^x}=\frac{5}{2}</math>, נכפול בשני האגפים ב<math>2\cdot 2^x</math> ונקבל
<math>2(2^x)^2 -5(2^x)+2=0</math>. נציב <math>s=2^x</math> ונקבל את המשוואה הריבועית <math>2s^2-5s+2=0</math> עם הפתרונות <math>s_{1,2}=2,\frac{1}{2}</math>.
לכן נותר לנו לפתור את שתי המשוואות <math>2^x=2</math>, <math>2^x=\frac{1}{2}</math>
ולכן '''הפתרונות הסופיים''' הם <math>x=\pm 1</math>
'''תרגיל''' מצא את הפתרונות של המשוואה <math>\Big(\sqrt{2+\sqrt{3}}\Big)^x + \Big(\sqrt{2-\sqrt{3}}\Big)^x=4</math>
'''פתרון''' נכפול את שני אגפי המשוואה בביטוי <math>\Big(\sqrt{2+\sqrt{3}}\Big)^x</math> ונקבל
:<math>\Big(\sqrt{2+\sqrt{3}}\Big)^{2x} + \Big(\sqrt{(2-\sqrt{3})(2+\sqrt{3})}\Big)^x=4\Big(\sqrt{2+\sqrt{3}}\Big)^x</math>
שימו לב, לפי הנוסחא <math>(a-b)(a+b)=a^2-b^2</math> לכפל מקוצר, מתקיים כי <math>(2-\sqrt{3})(2+\sqrt{3})=4-3=1</math> והרי <math>\sqrt{1}^x=1</math>. לכן קיבלנו
:<math>\Big(\sqrt{2+\sqrt{3}}\Big)^{2x} -4\Big(\sqrt{2+\sqrt{3}}\Big)^x+ 1=0</math>
נציב <math>t=\Big(\sqrt{2+\sqrt{3}}\Big)^x</math> ונקבל את המשוואה הריבועית <math>t^2-4x+1=0</math> עם הפתרונות <math>t_{1,2}=2\pm \sqrt{3}</math>.
לכן נותר לנו לפתור את שתי המשוואות <math>\Big(\sqrt{2+\sqrt{3}}\Big)^x=2\pm \sqrt{3}</math>
המשוואה <math>\Big(\sqrt{2+\sqrt{3}}\Big)^x=2+ \sqrt{3}</math> שקולה למשוואה <math>\Big(2+\sqrt{3}\Big)^{\frac{x}{2}}=2+ \sqrt{3}</math>
ולכן <math>\frac{x}{2}=1</math> ומכאן <math>x=2</math>.
את המשוואה <math>\Big(\sqrt{2+\sqrt{3}}\Big)^x=2- \sqrt{3}</math> נכפול בשני האגפים ב<math>2+\sqrt{3}</math> ונקבל
:<math>(2+\sqrt{3})\Big(\sqrt{2+\sqrt{3}}\Big)^x=1</math>
ולכן
:<math>(\sqrt{2+\sqrt{3}})^2\Big(\sqrt{2+\sqrt{3}}\Big)^x=1</math>
:<math>\Big(\sqrt{2+\sqrt{3}}\Big)^{x+2}=1</math>
ולכן <math>x+2=0</math> כלומר <math>x=-2</math>.
סה"כ '''הפתרונות הסופיים''' הינם <math>x=\pm 2</math>
==לוגריתמים==
נגדיר את הפעולה ההפוכה מחזקה בתור לוגריתם:
::<math>\log_a(b)=x</math> אם ורק אם <math>a^x=b</math>
לדוגמא:
*<math>\log_2(8)=3</math>
*<math>\log_{10}(1,000,000)=6</math>
הלוגריתם השימושי ביותר עבורנו הוא הלוגריתם לפי בסיס e אשר אנחנו מסמנים
::<math>\log_e = \ln</math>
לדוגמא:
*<math>ln(e)=1</math>
==חוקי לוגריתמים==
*<math>\log_a(x)</math> מוגדר רק עבור <math>1\neq a>0</math> (כי הגדרנו חזקות כאשר הבסיס חיובי ואם a=1 אז a בחזקת <math>\log_a b</math> הוא מצד אחד b לפי הגדרת הלוגריתם ומצד שני 1 כי 1 בחזקת כל דבר זה 1) וכמו כן מוגדר רק עבור <math>x>0</math> (כיוון שחזקה תמיד נותנת תוצאה חיובית).
*<math>a^{\log_a(x)}=x</math>
*<math>\log_a(1)=0</math>
*<math>\log_a(a)=1</math>
*<math>\log_a(x\cdot y) = \log_a(x) + \log_a(y)</math>
*<math>\log_a(x^y) = y\log_a(x)</math>
*<math>\log_a(\frac{x}{y})=\log_a(x)-\log_a(y)</math> (תרגיל)
*<math>\log_a (b) = \frac{log_c(b)}{log_c(a)}</math> (שינוי בסיס הלוגריתם, תרגיל)
==תרגילים==
'''תרגיל''' פתור את המשוואה <math>\ln (x+1) + \ln (1-x) = 0</math> (שים לב לתחום ההגדרה!)
'''תרגיל''' חשב את <math>\log_3 (15)-2\log_9(5)</math>
'''תרגיל''' הוכח <math>\log_{10} (2)\cdot\log_{10} (40)+\log_{10} (5)\cdot\log_{10} (4) = \log_{10} (8)</math>
