איגור, שאני אסביר, או שאתה?
אני חושב שחברי הפורום היותר ותיקים כבר מכירים את ההרצאה בעל פה... בכל מקרה, הנה זה על קצה המזלג: הערך ln x מתקבל כאשר מאסכמים את הפונקציה "אחד חלקי איקס" בקטע שמ- 1 ועד x. (אסכמת מסויימת). לכן, אם גוזרים את ln x, מקבלים את הפונקציה אחד חלקי איקס. פונקציית האקספוננט (exp, או e^x) מוגדרת כפונקציה ההפוכה של ln. מתקיים, לכל a רציונלי, exp(a) = exp (1)^a, ולכן מסמנים exp(1)=e, ואז: exp(a)=e^a לכל a רציונלי. מכאן גם באה האינטואיציה להגדיר (e^x = exp(x. כלומר, הגדירו מה זה המספר e בחזקת כל מספר ממשי. באמצעות ההגדרה הזו, אפשר להגדיר חזקות גם למספרים לא רציונלים. (כמה זה, למהל, שתיים בחזקת שורש שתיים? לא לענות מהר!) כלומר:
a^y = exp(yln a)
כעת, אחרי שהגדרנו את הפונקציה המעריכית a^x לכל a חיובי, אפשר לדבר על הפונקציה ההפוכה ל-a^x, שאותה מסמנים ב-(log a (x. מתקיים:
log a (x) = (ln x)/(ln a)
כעת, אם תשתמש בעובדה שהנגזרת של e^x היא e^x, והנגזרת של ln x היא אחד חלקי x, תוכל לקבל (באמצעות הנוסחה האחרונה וההגדרה לפונקציה המעריכית):
(a^x)´ = (exp(xlna))´ = exp(xlna)*(xlna)´ = exp(xln a)*ln a = a^x*ln a (log a (x) )´ = [(ln x)/(ln a)]´ = (ln x)´/ln a = 1/xlna
מקווה שעזרתי, אהד.