Bevis for grenseverdien til sin v delt på v

Bevis for grenseverdien til sin v delt på v

I denne oppgaven skal du vise at limv0+sinvv=1\lim_{v \to 0^+} \dfrac{\sin v}{v} = 1.

I figuren nedenfor er AB=AD=1AB = AD = 1, og buen BDBD er del av en sirkel med sentrum i AA. Vi lar BAC=v\angle BAC = v (målt i radianer).

Figur til grenseverdibevis

Bruk arealbetraktninger til å begrunne at

12sinv<12v<12tanv\frac{1}{2}\sin v < \frac{1}{2}v < \frac{1}{2}\tan v

Forklar at dette gir oss

1<vsinv<1cosv1 < \frac{v}{\sin v} < \frac{1}{\cos v}

Bruk ulikhetene fra oppgave b til å begrunne at limv0+sinvv=1\lim_{v \to 0^+} \dfrac{\sin v}{v} = 1.

Fasit

Se løsningsforslag.

LøsningsforslagKI-generert

Vi ser på tre figurer som alle befinner seg innenfor sirkelen med sentrum AA og radius 11, og sammenligner arealene.

Trekant ABDABD. DCDC er høyden fra DD ned til grunnlinjen ABAB. Siden AD=1AD = 1 og DAB=v\angle DAB = v, er DC=sinv|DC| = \sin v. Grunnlinjen AB=1|AB| = 1, og arealet er

TABD=121sinv=12sinv.T_{\triangle ABD} = \frac{1}{2} \cdot 1 \cdot \sin v = \frac{1}{2}\sin v.

Sirkelsektor ABDABD. En sektor med radius r=1r = 1 og sentralvinkel vv (i radianer) har areal

Tsektor=12r2v=1212v=12v.T_{\text{sektor}} = \frac{1}{2}r^2 v = \frac{1}{2} \cdot 1^2 \cdot v = \frac{1}{2}v.

Trekant ABEABE. La EE være punktet på linjen gjennom AA og CC slik at BEABBE \perp AB. Da AB=1AB = 1 og BAE=v\angle BAE = v, gir tangens at BE=tanv|BE| = \tan v. Arealet er

TABE=121tanv=12tanv.T_{\triangle ABE} = \frac{1}{2} \cdot 1 \cdot \tan v = \frac{1}{2}\tan v.

Innklusjonen av figurene. Trekant ABDABD er en delfigur av sektoren (alle punkter i trekanten ligger innenfor sektoren), og sektoren er en delfigur av trekant ABEABE (buen BDBD er kortere enn siden BEBE). Derfor gjelder:

12sinv<12v<12tanv.\frac{1}{2}\sin v < \frac{1}{2}v < \frac{1}{2}\tan v. \qquad \square

Vi starter fra ulikheten i a:

12sinv<12v<12tanv.\frac{1}{2}\sin v < \frac{1}{2}v < \frac{1}{2}\tan v.

For 0<v<π20 < v < \dfrac{\pi}{2} er sinv>0\sin v > 0, så vi kan dele alle ledd med 12sinv\dfrac{1}{2}\sin v (positivt, ulikhetstegnene bevares):

1<vsinv<tanvsinv.1 < \frac{v}{\sin v} < \frac{\tan v}{\sin v}.

Vi forenkler høyre side:

tanvsinv=sinvcosvsinv=1cosv.\frac{\tan v}{\sin v} = \frac{\dfrac{\sin v}{\cos v}}{\sin v} = \frac{1}{\cos v}.

Dermed:

1<vsinv<1cosv.1 < \frac{v}{\sin v} < \frac{1}{\cos v}. \qquad \square

Fra b har vi for 0<v<π20 < v < \dfrac{\pi}{2}:

1<vsinv<1cosv.1 < \frac{v}{\sin v} < \frac{1}{\cos v}.

Vi tar grenseverdien når v0+v \to 0^+ i ytterleddet:

limv0+1=1oglimv0+1cosv=1cos0=11=1.\lim_{v \to 0^+} 1 = 1 \qquad \text{og} \qquad \lim_{v \to 0^+} \frac{1}{\cos v} = \frac{1}{\cos 0} = \frac{1}{1} = 1.

Begge yttergrensene er 11, og vsinv\dfrac{v}{\sin v} er klemt mellom dem. Av skviseteoremet (sandwich-teoremet) følger det at

limv0+vsinv=1.\lim_{v \to 0^+} \frac{v}{\sin v} = 1.

Siden vsinv0\dfrac{v}{\sin v} \neq 0 i en omegn av 00, kan vi ta den gjensidige verdien:

limv0+sinvv=11=1.\lim_{v \to 0^+} \frac{\sin v}{v} = \frac{1}{1} = \underline{\underline{1}}. \qquad \square