Några matematiska härledningar och bevis: Skillnad mellan sidversioner

Från MaFy
 
(4 mellanliggande sidversioner av samma användare visas inte)
Rad 1: Rad 1:
==Logaritmlagarna==
===Multiplikaton===
Logaritmlagen som associerar multiplikation med addition lyder:
<math>\log_b(AB)=\log_b(A)+\log_b(B)</math>
Den troliggörs enligt följande:
<math>\log_b A = x \iff A = b^x</math>
<math>\log_b B = y \iff B = b^y</math>
<math>A\cdot B=b^x\cdot b^y=b^{x+y}</math>
<math>\log_b(AB)=x+y=\log_bA+\log_bB</math>
===Division===
Under uppbyggnad
<math>\log\left(\frac{a}{b}\right)=\log(a)-\log(b)</math>
===Potenser===
Under uppbyggnad
<math>\log a^b=b\log a</math>
==Värdet på basen av den naturliga logaritm==
==Värdet på basen av den naturliga logaritm==
===Metod 1, via serieutveckling===
===Metod 1, via serieutveckling===
Rad 45: Rad 20:


<math>e=\displaystyle\lim_{x\to \infty}\left(1+\frac{1}{x}\right)^x</math> enligt ansättningen av <math>y</math> ovan.
<math>e=\displaystyle\lim_{x\to \infty}\left(1+\frac{1}{x}\right)^x</math> enligt ansättningen av <math>y</math> ovan.
----


===Metod 2, via [[l'Hôpital's regel]] för gränsvärdesberäkning===
===Metod 2, via [[l'Hôpital's regel]] för gränsvärdesberäkning===
Rad 51: Rad 28:
<math>\ln y=\displaystyle\lim_{x\to \infty}\ln \left(1+\frac{1}{x}\right)^x=\displaystyle\lim_{x\to \infty}x\ln\left(1+\frac{1}{x}\right)</math>, som kan skrivas om till
<math>\ln y=\displaystyle\lim_{x\to \infty}\ln \left(1+\frac{1}{x}\right)^x=\displaystyle\lim_{x\to \infty}x\ln\left(1+\frac{1}{x}\right)</math>, som kan skrivas om till


<math>\ln y = \displaystyle\lim_{x\to \infty}\frac{x\ln\left(1+\frac{1}{x}\right)}{x^{-1}}</math>
<math>\ln y = \displaystyle\lim_{x\to \infty}\frac{\ln\left(1+\frac{1}{x}\right)}{x^{-1}}</math>


Det ser inte så roligt ut, men det syns att såväl täljare och nämnare i uttrycket går mot noll när <math>x</math> ökar obegränsat. Enligt [[l'Hôpital's regel]] gäller då att gränsvärdet för uttrycket blir detsamma som gränsvärdet då täljare och nämnare deriveras:
Här syns att såväl täljare och nämnare i uttrycket går mot noll när <math>x</math> ökar obegränsat. Enligt [[l'Hôpital's regel]] gäller då att gränsvärdet för uttrycket blir detsamma som gränsvärdet då täljare och nämnare deriveras:


<math>\ln y=\displaystyle\lim_{x\to \infty}\frac{\left(\frac{1}{1+\frac{1}{x}} \right)\cdot\left(0-x^{-2} \right)}{-x^{-2}}=\displaystyle\lim_{x\to \infty}\left(\frac{1}{1+\frac{1}{x}} \right)=1</math>
<math>\ln y=\displaystyle\lim_{x\to \infty}\frac{\left(\frac{1}{1+\frac{1}{x}} \right)\cdot\left(0-x^{-2} \right)}{-x^{-2}}=\displaystyle\lim_{x\to \infty}\left(\frac{1}{1+\frac{1}{x}} \right)=1</math>


Eftersom <math>\ln y=1</math> gäller att <math>y=\displaystyle\lim_{x\to \infty}\left(1+\frac{1}{x}\right)^x=e</math>.
Eftersom <math>\ln y=1</math> gäller att <math>y=\displaystyle\lim_{x\to \infty}\left(1+\frac{1}{x}\right)^x=e</math>.

Nuvarande version från 2 juni 2019 kl. 17.50

Värdet på basen av den naturliga logaritm

Metod 1, via serieutveckling

Ansätt

Logaritmering av respektive led ger:

Enligt taylorutveckling av så gäller

För värden på nära noll gäller enligt detta att (ju närmare noll, desto bättre approximation), varför

för stora värden på .

Således gäller att för stora värden på .

Antilogaritmering ger direkt att med gränsvärdet

enligt ansättningen av ovan.


Metod 2, via l'Hôpital's regel för gränsvärdesberäkning

Ansätt och logaritmera:

, som kan skrivas om till

Här syns att såväl täljare och nämnare i uttrycket går mot noll när ökar obegränsat. Enligt l'Hôpital's regel gäller då att gränsvärdet för uttrycket blir detsamma som gränsvärdet då täljare och nämnare deriveras:

Eftersom gäller att .