imported>Mod ב־17:38, 17 בספטמבר 2021

2021-09-17T17:38:26Z

דף חדש

[[קובץ:Gaussian logarithm.svg|ממוזער|250px|left|הפונקציות <math>s_b(z)</math> ו-<math>d_b(z)</math> בעבור <math>b = e</math>.]]
ב[[מתמטיקה]], משתמשים ב'''לוגריתמי חיבור וחיסור''' או '''לוגריתמים גאוסיאנים''' כדי למצוא את ה[[לוגריתם|לוגריתמים]] של ה[[סכום]] וה[[הפרש]] של זוג מספרים שערכי הלוגריתמים שלהם ידועים, מבלי לדעת את המספרים עצמם. הבסיס המתמטי ללוגריתמים הגאוסיאנים מצוי בעבודתם של Zecchini Leonelli ו[[קרל פרידריך גאוס]] משנות ה-1800 המוקדמות.

פעולות החיבור והחיסור ניתנות לחישוב על ידי הנוסחה שכדלקמן:

:<math>\log_b(|X|+|Y|)=x+s_b(y-x)</math>
:<math> \log_b(||X|-|Y||)=x+d_b(y-x),</math>

כאשר <math> x = \log_b(|X|), y = \log_b(|Y|) </math>, "פונקציית הסכום" מוגדרת להיות <math>s_b(z)=\log_b(1+b^z)</math>, ו"פונקציית ההפרש" מוגדרת להיות <math>d_b(z)=\log_b(|1-b^z|)</math>. הפונקציות <math>s_b(z)</math> ו-<math>d_b(z)</math> נקראות גם '''לוגריתמים גאוסיאנים''', ובאמצעות חוקי הלוגריתמים ניתן להראות בנקל שהביטויים באגף ימין אכן שווים ללוגריתמים של סכום והפרש המספרים, בהתאמה. הבעיה היא חישוב "פונקציית הסכום" ו"פונקציית ההפרש".

בעבור [[לוגריתם טבעי|לוגריתמים טבעיים]] עם <math>b = e</math>, הזהויות הבאות, הכוללות [[פונקציות היפרבוליות]], מתקיימות:

:<math>s_e(z) = \ln 2 + \frac{z}{2} + \ln \left(\cosh\frac{z}{2}\right)</math>
:<math>d_e(z) = \ln 2 + \frac{z}{2} + \ln \left|\sinh\frac{z}{2}\right|</math>

מה שמראה של-<math>s_e</math> יש [[פיתוח טיילור]] שבו כל המקדמים פרט לאיבר החופשי הם [[מספר רציונלי|רציונליים]] וכל האיברים האי זוגיים פרט לאיבר הליניארי הם אפס.

לוגריתמים אלו משמשים במערכת האריתמטית המכונה "מערכת המספרים הלוגריתמית" (ב[[אנגלית]]: ''LNS - Logarithmic number system'').

== השקילות בין לוגריתמים גאוסיאנים לחישוב עקיף ==
נוכיח שהמבנה החישובי של לוגריתמים גאוסיאנים שקול לחישוב לפי השיטה העקיפה (חישוב עקיף פירושו מציאה תחילה של זוג המספרים לפי ערכי הלוגריתמים שלהם, חישוב סכומם ולאחר מכן חישוב הלוגריתם של הסכום). לשם כך נרשום את "פונקציית הסכום" <math>s_e(z)</math> לפי המשתנים המקוריים <math>|X|</math> ו-<math>|Y|</math>:

: <math>z = y-x = \ln (\frac{|Y|}{|X|})\implies s_e(y-x) = \ln 2 + \frac{\ln (\frac{|Y|}{|X|})}{2} + \ln (\cosh(\frac{\ln (\frac{|Y|}{|X|})}{2})) = \ln 2 + \ln (\sqrt{\frac{|Y|}{|X|}})+ \ln (\frac{\sqrt{\frac{|Y|}{|X|}}+\sqrt{\frac{|X|}{|Y|}}}{2})</math>

לפי חוקי הלוגריתמים, סכום של לוגריתמים של משתנים שווה ללוגריתם של מכפלת המשתנים, ולכן:

: <math>s_e(y-x) = \ln (\frac{2\sqrt{|Y|/|X|}\cdot (\sqrt{|Y|/|X|}+\sqrt{|X|/|Y|})}{2}) = \ln ((|Y|/|X|) + 1)</math>

ולסיכום נקבל שחישוב לפי לוגריתמים גאוסיאנים מוביל לתוצאה:

: <math>x + s_e(y-x) = \ln |X|+\ln ((|Y|/|X|) + 1) = \ln (|Y|+|X|)</math>

כאשר את הנוסחה עבור לוגריתם של הפרש מוכיחים באופן דומה. ההבדל המרכזי בין חישוב בעזרת לוגריתמים גאוסיאנים לחישוב עקיף הוא שהדרך הראשונה מאפשרת להגיע אל אותו הדיוק (הנמדד לפי כמות הספרות אחרי [[נקודה עשרונית|הנקודה העשרונית]]) בקביעת התוצאה בעזרת מספר מועט יותר של [[ארבע פעולות החשבון|פעולות חישוב אלמנטריות]] - כיוון שבדיוק מחצית מהאיברים בטור טיילור של <math>s_e(z)</math> מתאפסים, מובטחת [[התכנסות (מתמטיקה)|התכנסות]] מהירה יותר אל ערך הלוגריתם של סכום המספרים. לשם השוואה, בחישוב בדרך העקיפה נדרש לבצע שתי העלאות של הקבוע המתמטי e בחזקה, חיבור שתי התוצאות ולאחר מכן חישוב הלוגריתם של הסכום - זאת כאשר הן בטור טיילור של פונקציית ה[[אקספוננט]] והן בטור טיילור של פונקציית הלוגריתם אף אחד מהמקדמים בטור טיילור אינו מתאפס. לכן, חישוב בעזרת לוגריתמים גאוסיאנים חסכוני יותר מבחינה חישובית.

== מקורות ==
* Logarithm: Addition and Subtraction, or Gaussian Logarithms". Encyclopædia Britannica Eleventh Edition".
* Leonelli, Zecchini (1803) [1802]. Supplément logarithmique. Théorie des logarithmes additionels et diductifs (in French).
* Gauß, Johann Carl Friedrich (1808-02-12). "LEONELLI, Logarithmische Supplemente". Allgemeine Literaturzeitung (in German). Halle-Leipzig (45): 353–356.
[[קטגוריה:אנליזה נומרית]]
[[קטגוריה:לוגריתמים]]

לוגריתם גאוסיאני - היסטוריית גרסאות

imported>Mod ב־17:38, 17 בספטמבר 2021