לוגריתם
בערך זה |
לוגריתם (Logarithm) הוא פונקציה הפוכה לפונקציה המעריכית. הפונקציה מסומנת באותיות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \log} . פעולה זו מוצאת את החזקה בהינתן בסיס ותוצאה, כלומר היא עונה על השאלה "באיזו חזקה נצטרך להעלות מספר נתון כדי לקבל מספר נתון אחר?". לוגריתם של a לפי בסיס b נכתב .
הגדרה
כאמור, הלוגריתם של בבסיס נתון (הגדול מאפס ושונה מ-1 ובהתאם x חיובי), הוא החזקה שבה יש להעלות את כדי לקבל את .
אם ו־, נאמר ש־ הוא לוגריתם של לפי בסיס , ונכתוב זאת: .
כך, הזהות הלוגריתמית היסודית היא: .
- דוגמה: , משום ש- .
- ובמילים: הלוגריתם של לפי בסיס הוא , משום ש־ בחזקת שווה ל־.
בסיס ברירת המחדל:
שימוש בסימון ללא ציון הבסיס עלול לבלבל מעט, משום שמשמעותו משתנה לפי ההקשר:
- בטקסטים מתמטיים משמעותו (הלוגריתם הטבעי, שבסיסו מספר אוילר). נהוג לכתוב פונקציה זו בקיצור .
- בטקסטים הנדסיים משמעותו .
- בטקסטים שעוסקים במדעי המחשב משמעותו , לעיתים נכתב בקיצור .
רקע היסטורי
הלוגריתמים הוכנסו לשימוש בתחילת המאה ה-17 על ידי ג'ון נפייר. עד להחלפתם על ידי המחשב והמחשבון, בחצי השני של המאה ה-20, היו הלוגריתמים כלי עזר עיקרי לחישוב, באמצעות לוח לוגריתמים ובאמצעות סרגל חישוב. הרעיון הבסיסי מאחורי שני עזרי חישוב אלה הוא הכלל לפיו לוגריתם של מכפלה שווה לסכום הלוגריתמים של כל אחד מאיברי המכפלה. כלל זה מאפשר להחליף פעולת כפל, שהיא פעולה מורכבת יחסית, בפעולת החיבור הפשוטה יותר. בכלים אלה נעשה שימוש בלוגריתמים לפי בסיס .
חוקי הלוגריתמים
החוקים המפורטים להלן נכונים לכל ממשיים חיוביים, ובתנאי שבסיס הלוגריתמים שונה מ־1.
ערכים מיוחדים |
|
כפל, חילוק והעלאה בחזקה
|
לכל ממשי:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \log _c (a^r) = r\cdot \log _c (a)} |
הלוגריתם והפונקציה המעריכית
|
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x^{\log_a b}=b^{\log_a x}}
לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ r}
ממשי:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \log_a a^r=r} |
שינוי בסיס הלוגריתם
|
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \log_a b=\frac{\log_c b}{\log_c a}}
|
גבולות |
כאשר a > 1:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{x\to0} \log_a (x) = -\infty} כאשר a < 1:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{x\to0} \log_a (x) = \infty} כאשר a > 1:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{x\to\infty} \log_a (x) = \infty} כאשר a < 1:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{x\to\infty} \log_a (x) = -\infty}
|
נגזרת |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ {d \over dx} \log_a (x) = \frac{1}{\ln(a)} {1 \over x}} |
אינטגרל |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \int \log_a (x)\, dx = x \log_a (x) - \frac{x}{\ln(a)} + C} |
שיטות לחישוב לוגריתמים
האלגוריתם של פיינמן
ריצ'רד פיינמן המציא אלגוריתם המאפשר לחשב לוגריתמים בקלות יחסית באמצעות שימוש בתהליך שדומה מאד לחילוק ארוך ובטבלת ערכים לוגריתמיים מוכנים, שהוא שימושי מאד במכונות חישוב בינאריות. הרעיון של האלגוריתם מתבסס על העובדה שכל מספר ממשי בטווח בין 1 ל-2 ניתן לפירוק לגורמים מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1 + 2^{{-k}})} באופן יחיד. האלגוריתם בונה מכפלות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} באופן סדרתי: אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P \cdot (1 + 2^{-k}) < x} , אז משנים את P ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P^* = P \cdot (1 + 2^{-k}) } . לאחר מכן בוחנים אם הגורם הבא בפיתוח של המספר הממשי לפירוק לגורמים הוא מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1 + 2^{{-(k+1)}})} . אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P^*\cdot (1 + 2^{{-(k+1)}})<x } אז גילינו עוד גורם בפירוק של x לגורמים. האלגוריתם מפסיק כאשר k גדול מספיק כדי להשיג את הדיוק הדרוש. כיוון ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log(x)} הוא סכום של איברים מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log(1 + 2^{-k})} אשר הופיעו בפירוק לגורמים של x, אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log(x)} ניתן לחישוב בעזרת חיבור פשוט, בעזרת טבלת ערכים של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log(1 + 2^{-k})} עבור כל ערכי k.
הערה: האלגוריתם אינו תחליף לשיטות האנליטיות הרגילות (למשל טורים אינסופיים), שכן אינו מספק שיטה לחשב את הערכים הלוגריתמיים היסודיים, כך שלא ניתן "לדלג" על פיתוח טכניקות "עמוקות" יותר.
הממוצע האריתמטי-גאומטרי
הממוצע האריתמטי-גאומטרי מספק קירובים מהירים ועתירי דיוק ללוגריתם הטבעי. החוקרים Sasaki ו-Kanada הראו ב-1982 שקירובים המבוססים על הממוצע האריתמטי גאומטרי מהירים מיוחד עבור דיוק בין 400 ל-1000 ספרות עשרוניות, בעוד ששיטות המבוססות על טור טיילור הן מהירות יותר כאשר נדרש פחות דיוק. בעבודתם (ln(x מקורב לדיוק של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{{-p}}} בעזרת הנוסחה הבאה (אודות לקרל פרידריך גאוס):
כאשר m נבחר כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \,2^m > 2^{p/2}\, } כדי להבטיח את הדיוק הדרוש.
ראו גם
קישורים חיצוניים
מיזמי קרן ויקימדיה |
---|
ערך מילוני בוויקימילון: לוגריתם |
ספר לימוד בוויקיספר: לוגריתמים (אלגברה) |
תמונות ומדיה בוויקישיתוף: לוגריתם |
- צחי אבנור, לוגריתם - הגדרות, תכונות והוכחות (קובץ PDF על שרת ויקיפדיה)
- How I Feel About Logarithms – סרטון הסבר של Vi Hart על לוגריתמים (באנגלית)