De functiescos en sin zetten de meetkunde van de cirkel om in analyse. Gedefinieerd door de reële lijn om de eenheidscirkel te winden, zijn ze het archetypie van periodieke functies, en hun afgeleiden maken er oplossingen van van de oscillatievergelijking y′′=−y.
24.1 De eenheidscirkel
Definitie 24.1(Cosinus en sinus)
Laat C de cirkel van straal 1 zijn, gecentreerd in de oorsprong van een orthonormaal stelsel. Aan elk reëel getalt koppelt men het punt M(t) verkregen door een lengte ∣t∣ langs C te winden vanaf het punt I(1,0), in de tegenwijzerzin als t≥0 en met de klok mee anders. Dan zijn cost en sint de coördinaten van M(t):
M(t)=(cost,sint).
Omdat de cirkel omtrek 2π heeft, blijft het punt M(t) onveranderd wanneer t met 2π toeneemt; en omdat M(t) op de eenheidscirkel ligt:
Bewijs. De eerste identiteit is de vergelijking van de eenheidscirkel; de andere drukken de symmetrieën van de cirkel uit: M(−t) is het spiegelbeeld van M(t) t.o.v. de x-as, M(π−t) t.o.v. de y-as, en M(2π−t) t.o.v. de lijn y=x. ∎
In het bijzonder cos2a=2cos2a−1=1−2sin2a en sin2a=2sinacosa.
Bewijs. De vectorenu=(cosa,sina) en v=(cosb,sinb) zijn eenheidsvectoren die een hoek a−b maken; hun inwendig product is tegelijk cosacosb+sinasinb (coördinaten) en uvcos(a−b)=cos(a−b) (meetkunde), wat de derde formule is. Vervangen van b door −b geeft de eerste; de sinusformules volgen met sinx=cos(2π−x). De verdubbelingsformules zijn het geval b=a gecombineerd met cos2+sin2=1. ∎
24.2 Analytische studie
Lemma 24.4(Fundamentele limiet)
t→0limtsint=1ent→0limtcost−1=0.
Bewijs. Voor 0<t<2π, vergelijk drie oppervlaktes in de eenheidscirkel: de driehoek OIM(t), de cirkelsector OIM(t), en de rechthoekige driehoek met basis OI en hoogte tant:
2sint≤2t≤2tant.
De drie geneste oppervlaktes: de driehoek OIM (blauw, oppervlakte 2sint), de cirkelsector (begrensd door de rode boog, oppervlakte 2t), en de rechthoekige driehoek van hoogte tant (oranje, oppervlakte 2tant).
De eerste ongelijkheid geeft tsint≤1; de tweede geeft cost≤tsint. Als t→0+, cost→1 (continuïteit), en de insluitstelling geeft tsint→1; evenheid breidt dit uit naar t→0. Voor de tweede limiet,
met Lemma 24.4. De berekening voor cos is identiek, en de algemene vorm volgt uit de kettingregel. ∎
Propositie 24.6(Variaties)
Op [0,π] daalt cos van 1 tot −1. Op [−2π,2π] stijgt sin van −1 tot 1. Beide functies zijn 2π-periodiek en hebben beeld[−1,1]; cos is even, sin is oneven.
Bewijs. Op (0,π) is (cos)′=−sin<0 omdat het punt M(t) daar een positieve ordinaat heeft; evenzo (sin)′=cos>0 op (−2π,2π). Periodiciteit en pariteit komen uit Propositie 24.2. ∎
De krommen van cos (blauw) en sin (rood).
Methode 24.7(cosx=a en sinx=a oplossen)
Voor a∈[−1,1], vind een bijzondere oplossing α (uit de waardentabel of een rekenmachine). Dan zijn alle oplossingen:
cosx=cosα⟺x=α+2kπ of x=−α+2kπ,k∈Z;
sinx=sinα⟺x=α+2kπ of x=π−α+2kπ,k∈Z.
Voor ongelijkheden, lokaliseer de oplossingsbogen op de eenheidscirkel en lees de intervallen af op één periode.
Voorbeeld 24.8
Los cosx=21 op in (−π,π]: een bijzondere oplossing is 3π, dus de oplossingen zijn x=3π en x=−3π. In heel R: x=±3π+2kπ, k∈Z.
24.3 Oefeningen
Oefening 24.1★
Bereken cos32π, sin65π, cos47π en sin(−3π) met de identiteiten van Propositie 24.2.
Oplossing
Oplossing van Oefening 24.1.
cos32π=cos(π−3π)=−cos3π=−21.
sin65π=sin(π−6π)=sin6π=21.
cos47π=cos(2π−4π)=cos(−4π)=22.
sin(−3π)=−sin3π=−23.
Oefening 24.2★
Differentieer f(x)=sin2x, g(x)=cos(3x)+xsinx en h(x)=2+cosxsinx.
Oplossing
Oplossing van Oefening 24.2.
f′(x)=2sinxcosx=sin2x (kettingregel).
g′(x)=−3sin(3x)+sinx+xcosx (ketting- en productregel).
Los op in [0,2π] de ongelijkheid 2sin2x−sinx−1≥0. (Hint: ontbind de trinomiaal in sinx.)
Oplossing
Oplossing van Oefening 24.5.
Stel s=sinx: 2s2−s−1=(2s+1)(s−1)≥0 ssi s≤−21 of s=1.
sinx=1 geeft x=2π. sinx≤−21: op de cirkel, de boog onder de horizontale lijn y=−21, die in [0,2π] is x∈[67π,611π]. Dus
S={2π}∪[67π,611π].
Oefening 24.6★★
Bereken de limieten
x→0limxsin3x,x→0limx21−cosx,x→+∞limxsinx1.
Oplossing
Oplossing van Oefening 24.6.
xsin3x=33xsin3x→3⋅1=3 (samenstelling met u=3x→0).
Met 1−cosx=1+cosxsin2x:
x21−cosx=(xsinx)21+cosx1x→01⋅21=21.
Met substitutie u=x1→0+: xsinx1=usinu→1.
Oefening 24.7★★
Bestudeer de functief(x)=x+cosx op [0,2π]: variaties en extrema. Toon aan dat fstijgend is op R hoewel f′ in oneindig veel punten verdwijnt.
Oplossing
Oplossing van Oefening 24.7.
f′(x)=1−sinx≥0 voor alle x, met gelijkheid precies wanneer sinx=1, d.w.z. x=2π+2kπ. Op [0,2π] stijgt f van f(0)=1 tot f(2π)=2π+1 (het nulpunt van f′ in 2π is geïsoleerd, dus de stijging is zelfs strikt); minimum1 in 0, maximum2π+1 in 2π. Op R is f′≥0 overal met alleen geïsoleerde nulpunten, dus is f (strikt) stijgend volgens Stelling 22.7, hoewel f′ verdwijnt in elke 2π+2kπ.
Oefening 24.8★★★
Laat f(x)=Acosx+Bsinx met (A,B)=(0,0).
Toon aan dat f geschreven kan worden als f(x)=Rcos(x−φ) met R=A2+B2 en een geschikte φ.
Leid het maximum en minimum van f af, en los cosx+sinx=1 op in (−π,π].
Oplossing
Oplossing van Oefening 24.8.
1. Laat R=A2+B2>0. Het punt (RA,RB) ligt op de eenheidscirkel, dus bestaat er φ met cosφ=RA en sinφ=RB. Dan
Rcos(x−φ)=R(cosxcosφ+sinxsinφ)=Acosx+Bsinx=f(x).
2. Omdat cosbeeld[−1,1] heeft, heeft fmaximumR en minimum−R. Voor cosx+sinx: A=B=1, R=2, φ=4π, dus de vergelijking wordt 2cos(x−4π)=1, d.w.z. cos(x−4π)=22, wat x−4π=±4π+2kπ geeft: in (−π,π], x∈{0,2π}.
Oefening 24.9★★★
Toon aan dat sin en cos beide de differentiaalvergelijking y′′=−y voldoen. Omgekeerd, laat y een oplossing van y′′=−y zijn met y(0)=a en y′(0)=b; toon aan dat y=acos+bsin. (Hint: beschouw g=(y−acos−bsin) en de “energie” E=g2+(g′)2.)
Oplossing
Oplossing van Oefening 24.9.
(sin)′′=(cos)′=−sin en (cos)′′=(−sin)′=−cos: beide lossen y′′=−y op.
Laat g=y−acos−bsin. Dan g′′=−g (lineariteit van differentiatie), g(0)=y(0)−a=0 en g′(0)=y′(0)−b=0. Stel E=g2+(g′)2. Dan
E′=2gg′+2g′g′′=2gg′−2g′g=0,
dus E is constant gelijk aan E(0)=0. Een som van twee kwadraten die identiek verdwijnt forceert g=0, vandaar y=acos+bsin.