Forskjell mellom versjoner av «Bevis -derivasjon sinus»
(54 mellomliggende revisjoner av samme bruker vises ikke) | |||
Linje 1: | Linje 1: | ||
− | f(x) = sin(x) | + | f(x) = sin(x). Skal bevise at f'(x) = cos(x) |
+ | |||
+ | $ \displaystyle{f' (x) = \displaystyle \lim_{\Delta x \rightarrow 0} \frac {sin(x + \Delta x)- sin(x)}{\Delta x}} $ | ||
+ | |||
+ | $ f'(x)= \displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(x)Cos(\Delta x)+cos(x)sin(\Delta x)- sin(x)}{ \Delta x} $ | ||
+ | |||
+ | $ f'(x) = \displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(x) (cos(\Delta x) -1) +cos(x)sin(\Delta x)}{\Delta x} $ | ||
+ | |||
+ | $ f'(x) =\displaystyle \lim_{\Delta x \rightarrow 0} sin(x) \cdot \frac{cos(\Delta x) -1}{\Delta x} + \displaystyle \lim_{\Delta x \rightarrow 0}cos(x) \cdot \frac{sin(\Delta x)}{\Delta x} $ | ||
+ | |||
+ | $ f'(x) = sin(x) \cdot \displaystyle\lim_{\Delta x \rightarrow 0} \frac{cos(\Delta x) -1}{\Delta x} + cos(x) \cdot\displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(\Delta x)}{\Delta x}}$ | ||
+ | |||
+ | |||
+ | Nå kommer vi ikke videre før vi har sjekket ut de to grenseverdiene, men det ligger vel i kortene hva de må være siden vi vet hva vi ønsker å bevise... | ||
+ | |||
+ | ==Grenseverdiene $\displaystyle \lim_{x\to \ 0} \frac{sin(x)}{x} $ og $\displaystyle \lim _{x\to \ 0} \frac{cos(x)-1}{x}$ == | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | '''Vi tar først $ \displaystyle \lim_{x\to \ 0} \frac{sin(x)}{x} $''' | ||
− | |||
− | |||
[[File:Bevis grense 1.png]] | [[File:Bevis grense 1.png]] | ||
Linje 13: | Linje 35: | ||
Buelengden BC har har lengden v radianer, siden radius er 1. Buelengden BC er lengre enn Sin(v), men kortere enn Tan(v) (observasjon). Vi får da: | Buelengden BC har har lengden v radianer, siden radius er 1. Buelengden BC er lengre enn Sin(v), men kortere enn Tan(v) (observasjon). Vi får da: | ||
− | $ sin(v)< v < tan(v) | + | $ sin(v)< v < tan(v) $ |
+ | |||
+ | $ 1 < \frac{v}{sin(v)} < \frac{1}{cos(v)} $ | ||
+ | |||
+ | $ 1> \frac{sin (v)}{v}> cos(v) $ | ||
Når v går mot null går cos(v) mot 1. $\frac{sin(v)}{v}$ ligger mellom to størrelser som begge går mot en når x går mot null. Derfor er: | Når v går mot null går cos(v) mot 1. $\frac{sin(v)}{v}$ ligger mellom to størrelser som begge går mot en når x går mot null. Derfor er: | ||
− | $\lim_{x \to \0} \frac{sin(v)}{v} =1$ | + | $\displaystyle \lim_{x \to \ 0} \frac{sin(v)}{v} =1$ |
+ | |||
+ | Da er den bevist. | ||
+ | |||
+ | ==Så er det $ \displaystyle\lim_{x \to \ 0} \frac{cos(x)-1}{x}$ : == | ||
+ | |||
+ | $ \displaystyle\lim_{x \to \ 0} \frac{cos(x)-1}{x} \cdot \frac{cos(x)+1}{cos(x) + 1} $ | ||
+ | |||
+ | $ = \displaystyle\lim_{x \to \ 0} \frac{cos^2(x)-1}{x( cos(x)+ 1)} $ | ||
+ | |||
+ | $ = \displaystyle\lim_{x \to \ 0} \frac{sin^2(x)}{x( cos(x)+ 1)} $ | ||
+ | |||
+ | $ = \displaystyle\lim_{x \to \ 0} \frac{sin(x)}{x} \cdot \displaystyle\lim_{x \to \ 0} \frac{sin(x)}{ cos(x)+ 1} \\ = 1 \cdot 0 =0$ | ||
+ | |||
+ | Da kan vi fullføre beviset. | ||
+ | |||
+ | $ f'(x) = sin(x) \cdot \displaystyle \lim_{\Delta x \rightarrow 0} \frac{cos(\Delta x) -1)}{\Delta x} + cos(x) \cdot\displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(\Delta x)}{\Delta x} $ | ||
+ | |||
+ | $ f'(x) = sin(x) \cdot 0 + cos (x) \cdot 1 = cos(x)$ | ||
+ | |||
+ | QED. | ||
+ | |||
+ | [[ Derivasjonsregler ]] |
Nåværende revisjon fra 14. okt. 2021 kl. 09:42
f(x) = sin(x). Skal bevise at f'(x) = cos(x)
$ \displaystyle{f' (x) = \displaystyle \lim_{\Delta x \rightarrow 0} \frac {sin(x + \Delta x)- sin(x)}{\Delta x}} $
$ f'(x)= \displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(x)Cos(\Delta x)+cos(x)sin(\Delta x)- sin(x)}{ \Delta x} $
$ f'(x) = \displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(x) (cos(\Delta x) -1) +cos(x)sin(\Delta x)}{\Delta x} $
$ f'(x) =\displaystyle \lim_{\Delta x \rightarrow 0} sin(x) \cdot \frac{cos(\Delta x) -1}{\Delta x} + \displaystyle \lim_{\Delta x \rightarrow 0}cos(x) \cdot \frac{sin(\Delta x)}{\Delta x} $
$ f'(x) = sin(x) \cdot \displaystyle\lim_{\Delta x \rightarrow 0} \frac{cos(\Delta x) -1}{\Delta x} + cos(x) \cdot\displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(\Delta x)}{\Delta x}}$
Nå kommer vi ikke videre før vi har sjekket ut de to grenseverdiene, men det ligger vel i kortene hva de må være siden vi vet hva vi ønsker å bevise...
Grenseverdiene $\displaystyle \lim_{x\to \ 0} \frac{sin(x)}{x} $ og $\displaystyle \lim _{x\to \ 0} \frac{cos(x)-1}{x}$
Vi tar først $ \displaystyle \lim_{x\to \ 0} \frac{sin(x)}{x} $
Tangens til v er lik lengden av linjestykke CD. De to trekantene er formlike og sirkelen har radius 1: $\frac{sin(v)}{cos(v)} = \frac{tan(v)}{1}$. som gir oss en definisjon for tangens som vi kjenner fra før.
Buelengden BC har har lengden v radianer, siden radius er 1. Buelengden BC er lengre enn Sin(v), men kortere enn Tan(v) (observasjon). Vi får da:
$ sin(v)< v < tan(v) $
$ 1 < \frac{v}{sin(v)} < \frac{1}{cos(v)} $
$ 1> \frac{sin (v)}{v}> cos(v) $
Når v går mot null går cos(v) mot 1. $\frac{sin(v)}{v}$ ligger mellom to størrelser som begge går mot en når x går mot null. Derfor er:
$\displaystyle \lim_{x \to \ 0} \frac{sin(v)}{v} =1$
Da er den bevist.
Så er det $ \displaystyle\lim_{x \to \ 0} \frac{cos(x)-1}{x}$ :
$ \displaystyle\lim_{x \to \ 0} \frac{cos(x)-1}{x} \cdot \frac{cos(x)+1}{cos(x) + 1} $
$ = \displaystyle\lim_{x \to \ 0} \frac{cos^2(x)-1}{x( cos(x)+ 1)} $
$ = \displaystyle\lim_{x \to \ 0} \frac{sin^2(x)}{x( cos(x)+ 1)} $
$ = \displaystyle\lim_{x \to \ 0} \frac{sin(x)}{x} \cdot \displaystyle\lim_{x \to \ 0} \frac{sin(x)}{ cos(x)+ 1} \\ = 1 \cdot 0 =0$
Da kan vi fullføre beviset.
$ f'(x) = sin(x) \cdot \displaystyle \lim_{\Delta x \rightarrow 0} \frac{cos(\Delta x) -1)}{\Delta x} + cos(x) \cdot\displaystyle \lim_{\Delta x \rightarrow 0} \frac{sin(\Delta x)}{\Delta x} $
$ f'(x) = sin(x) \cdot 0 + cos (x) \cdot 1 = cos(x)$
QED.