Grænseværdien af sin(t)/t: Et Geometrisk Bevis

Inden for matematik, især i differentialregning, støder man ofte på grænseværdier, der ikke umiddelbart lader sig løse ved simpel algebraisk manipulation. En af de mest berømte og fundamentale af disse er grænseværdien af sin(t)/t, når t nærmer sig nul. At forsøge at indsætte t=0 direkte resulterer i det ubestemte udtryk 0/0, hvilket signalerer, at vi har brug for en mere sofistikeret tilgang. Selvom værktøjer som L'Hôpitals regel kan være effektive, er det i dette specifikke tilfælde en ugyldig metode, da beviset for afledningen af sinusfunktionen selv afhænger af denne grænseværdi. Det ville være en form for cirkulær argumentation. I stedet vil vi i denne artikel udforske et elegant og intuitivt geometrisk bevis, der benytter sig af den kraftfulde Klemmesætning (også kendt som Squeeze Theorem).

Det Første Geometriske Bevis: EnhedsCirklen

For at bevise, at grænseværdien af sin(t)/t er 1, når t nærmer sig 0, kan vi vende tilbage til selve definitionen af de trigonometriske funktioner ved hjælp af enhedscirklen. Dette bevis er ikke kun visuelt tiltalende, men også logisk stringent.

Opsætning af Beviset

Forestil dig en enhedscirkel (en cirkel med radius 1) centreret i origo (0,0) i et koordinatsystem. Vi tegner en radius fra origo (O) ud til et punkt P på cirklen, således at vinklen mellem radius og den positive x-akse er t radianer. For nu antager vi, at t er en spids vinkel, altså 0 < t < π/2.

Koordinaterne for punktet P er (cos(t), sin(t)). Vi tegner derefter en lodret linje fra P ned til x-aksen, som rammer i punktet Q. Vi udvider også radius OP, indtil den skærer den lodrette tangentlinje x=1 i et punkt, vi kalder R.

Med denne konstruktion har vi skabt tre distinkte geometriske figurer, hvis arealer vi kan sammenligne:

1. En trekant OPQ.
2. En cirkeludsnit (sektor) OPQ.
3. En større, retvinklet trekant OQR.

Sammenligning af Arealer

Ved at observere figuren er det tydeligt, at arealet af trekant OPQ er mindre end arealet af cirkeludsnittet OPQ, som igen er mindre end arealet af trekant OQR. Lad os beregne hvert af disse arealer:

• Areal af trekant OPQ: Arealet er (1/2) * grundlinje * højde. Her er grundlinjen OQ = cos(t) og højden PQ = sin(t). En anden metode er at bruge formlen (1/2)ab*sin(C). Siderne OP og OQ er 1 og cos(t), men den nemmeste er at se OQ som base 1 og højden er sin(t). Arealet er (1/2) * 1 * sin(t) = sin(t)/2.
• Areal af cirkeludsnit OPQ: Formlen for arealet af et cirkeludsnit er (1/2) * r² * t, hvor t er vinklen i radianer. Da radius r=1, er arealet (1/2) * 1² * t = t/2.
• Areal af trekant OQR: Dette er en retvinklet trekant med grundlinje OQ=1 og højde QR. Højden er tan(t), da tan(t) = sin(t)/cos(t), og i den store trekant er den modstående katete QR og den hosliggende katete OQ=1. Arealet er (1/2) * 1 * tan(t) = tan(t)/2.

Nu kan vi opstille vores ulighed baseret på arealerne:

Areal(△OPQ) < Areal(sektor OPQ) < Areal(△OQR)

(1/2)sin(t) < (1/2)t < (1/2)tan(t)

Vi kan multiplicere hele uligheden med 2 for at fjerne brøkerne:

sin(t) < t < tan(t)

Da tan(t) = sin(t)/cos(t), kan vi skrive:

sin(t) < t < sin(t)/cos(t)

Isolering af sin(t)/t

Vores mål er at isolere udtrykket sin(t)/t i midten af uligheden. Vi deler uligheden op i to dele.

For den venstre del, sin(t) < t, dividerer vi med t (som er positivt, da 0 < t < π/2). Dette giver:

sin(t)/t < 1

For den højre del, t < sin(t)/cos(t), multiplicerer vi med cos(t) og dividerer med t (begge er positive). Dette giver:

cos(t) < sin(t)/t

Når vi kombinerer disse to resultater, får vi den afgørende ulighed:

cos(t) < sin(t)/t < 1

Håndtering af Negative Vinkler og Klemmesætningen

Indtil videre gælder vores bevis kun for positive vinkler t. Men en grænseværdi skal gælde fra begge sider af nul. Hvad sker der, hvis -π/2 < t < 0? I dette tilfælde er -t en positiv vinkel, og vi kan bruge vores ulighed på -t:

cos(-t) < sin(-t)/(-t) < 1

På grund af symmetriegenskaberne for cosinus og sinus (cos(-t) = cos(t) og sin(-t) = -sin(t)), kan vi omskrive dette:

cos(t) < -sin(t)/(-t) < 1

cos(t) < sin(t)/t < 1

Uligheden gælder altså også for negative vinkler tæt på nul. Nu er vi klar til at anvende Klemmesætningen. Sætningen siger, at hvis en funktion f(x) er "klemt" mellem to andre funktioner, g(x) og h(x), og både g(x) og h(x) nærmer sig den samme grænseværdi L, når x nærmer sig a, så må f(x) også have grænseværdien L.

I vores tilfælde har vi:

lim (t→0) cos(t) ≤ lim (t→0) sin(t)/t ≤ lim (t→0) 1

Vi ved, at lim (t→0) cos(t) = cos(0) = 1, og lim (t→0) 1 er selvfølgelig 1. Vores ulighed bliver derfor:

1 ≤ lim (t→0) sin(t)/t ≤ 1

Den eneste måde, dette kan være sandt på, er, hvis grænseværdien er præcis 1.

En Alternativ Geometrisk Tilgang

Der findes en lidt anderledes, men lige så gyldig, geometrisk tilgang. Den bruger en anden trekant som nedre grænse, hvilket resulterer i en lidt anden ulighed, men fører til samme konklusion.

I denne version sammenligner vi arealerne af:

1. En mindre trekant inde i cirkeludsnittet.
2. Cirkeludsnittet selv.
3. Den samme større trekant som før.

Uligheden bliver: Areal(indre trekant) < Areal(sektor) < Areal(ydre trekant). Dette fører til uligheden:

cos(t) < sin(t)/t < 1/cos(t)

Selvom den øvre grænse er anderledes (1/cos(t) i stedet for 1), er resultatet det samme. Når t nærmer sig nul, nærmer både cos(t) og 1/cos(t) sig 1. Igen, ved Klemmesætningen, må grænseværdien af sin(t)/t være 1.

Sammenligning af de to Beviser

Ofte Stillede Spørgsmål

Hvorfor kan man ikke bare indsætte t = 0 i sin(t)/t?

Hvis man indsætter t=0, får man udtrykket 0/0. Dette er en ubestemt form, hvilket betyder, at man ikke kan bestemme værdien ved direkte indsættelse. Det indikerer, at man skal undersøge, hvordan funktionen opfører sig, når t kommer uendeligt tæt på 0.

Hvorfor er det forkert at bruge L'Hôpitals regel her?

L'Hôpitals regel kræver, at man differentierer tælleren og nævneren. For at differentiere sin(t) skal man vide, at afledningen er cos(t). Beviset for, at afledningen af sin(t) er cos(t), bygger imidlertid på, at man allerede kender grænseværdien af sin(t)/t = 1. At bruge L'Hôpital ville derfor være en cirkulær argumentation.

Hvad er Klemmesætningen (Squeeze Theorem) præcist?

Det er en sætning i matematisk analyse, der siger, at hvis en funktion f(x) altid ligger mellem to andre funktioner g(x) og h(x) i nærheden af et punkt c, og hvis g(x) og h(x) begge har den samme grænseværdi L ved c, så må f(x) også have grænseværdien L ved c.

Er det vigtigt, at vinklen måles i radianer?

Ja, det er absolut afgørende. Hele beviset hviler på formlen for arealet af et cirkeludsnit, A = (1/2)r²t. Denne formel er kun gyldig, når vinklen t måles i radianer. Hvis man brugte grader, ville formlen være anderledes, og uligheden ville ikke føre til det ønskede resultat.