Wiskunde bovenbouw · Grades 10–12
24Goniometrische functies
De functies en zetten de meetkunde van de cirkel om in analyse. Gedefinieerd door de reële lijn om de eenheidscirkel te rollen, zijn ze het oerbeeld van de periodieke functies, en hun afgeleiden maken hen tot oplossingen van de vergelijking van de trillingen .
24.1 De eenheidscirkel
Definitie 24.1 (Cosinus en sinus)
Zij de cirkel met straal 1 en middelpunt de oorsprong van een orthonormaal assenstelsel. Koppel aan elke reële het punt dat je krijgt door vanaf het punt een lengte langs op te rollen, tegen de wijzers van de klok in wanneer en met de wijzers mee anders. Dan zijn en de coördinaten van :
Omdat de cirkel omtrek heeft, blijft het punt ongewijzigd wanneer met toeneemt; en omdat op de eenheidscirkel ligt:
Propositie 24.2 (Fundamentele identiteiten)
Voor alle en geldt
Bewijs. De eerste identiteit is de vergelijking van de eenheidscirkel; de andere drukken de symmetrieën van de cirkel uit: is het spiegelbeeld van om de -as, om de -as, en om de rechte . ∎
De waarden die je uit het hoofd moet kennen:
| [6pt] | |||||
| [6pt] |
Propositie 24.3 (Somformules)
Voor alle geldt
In het bijzonder is en .
Bewijs. De vectoren en hebben lengte en maken een hoek ; hun scalair product is zowel (coördinaten) als (meetkunde), en dat is de derde formule. door vervangen geeft de eerste; de formules voor de sinus volgen met . De formules voor de dubbele hoek zijn het geval , gecombineerd met . ∎
24.2 Analytische studie
Lemma 24.4 (Fundamentele limiet)
Bewijs. Vergelijk voor drie oppervlakten in de eenheidscirkel: de driehoek , de cirkelsector , en de rechthoekige driehoek met basis en hoogte :
De eerste ongelijkheid geeft ; de tweede geeft . Voor is (continuïteit), en de insluitstelling levert ; de pariteit breidt dat uit tot . Voor de tweede limiet:
∎
Stelling 24.5 (Afgeleiden van sinus en cosinus)
De functies en zijn differentieerbaar op , met
Algemener geldt en .
Bewijs. Met de somformules is
met Lemma 24.4. De berekening voor verloopt identiek, en de algemene vorm volgt uit de kettingregel. ∎
Propositie 24.6 (Verloop)
Op daalt van naar . Op stijgt van naar . Beide functies zijn -periodiek met beeld ; is even, is oneven.
Bewijs. Op is , want het punt heeft daar een positieve ordinaat; net zo is op . De periodiciteit en de pariteit komen uit Propositie 24.2. ∎
Methode 24.7 ( en oplossen)
Zoek voor één bijzondere oplossing (uit de tabel met waarden of met een rekenmachine). Dan zijn alle oplossingen:
Voor ongelijkheden lokaliseer je de oplossingsbogen op de eenheidscirkel en lees je de intervallen binnen één periode af.
Voorbeeld 24.8
Los op in : een bijzondere oplossing is , dus zijn de oplossingen en . Op heel : , .
24.3 Oefeningen
Oefening 24.1 ★
Bereken , , en met de identiteiten van Propositie 24.2.
Oplossing
Oplossing van Oefening 24.1.
.
.
.
.
Oefening 24.2 ★
Leid , en af.
Oplossing
Oplossing van Oefening 24.2.
(kettingregel).
(ketting- en productregel).
Quotiëntregel:
Oefening 24.3 ★
Los op in , en daarna in :
Oplossing
Oplossing van Oefening 24.3.
(a) Een bijzondere oplossing van is . Algemene oplossingen: of . In : .
(b) geeft , dus . In : .
Oefening 24.4 ★★
Bereken met de somformules de exacte waarde van en . (Tip: .)
Oplossing
Oplossing van Oefening 24.4.
Met en :
Oefening 24.5 ★★
Los in de ongelijkheid op. (Tip: ontbind de kwadratische uitdrukking in .)
Oplossing
Oplossing van Oefening 24.5.
Stel : precies wanneer of .
geeft . : op de eenheidscirkel is dat de boog onder de horizontale rechte , wat in overeenkomt met . Bijgevolg is
Oefening 24.6 ★★
Bereken de limieten
Oplossing
Oplossing van Oefening 24.6.
(samenstelling met ).
Met :
Met de substitutie : .
Oefening 24.7 ★★
Bestudeer de functie op : verloop en extrema. Toon aan dat stijgend is op hoewel in oneindig veel punten verdwijnt.
Oplossing
Oplossing van Oefening 24.7.
voor alle , met gelijkheid precies wanneer , dus . Op stijgt van tot (het nulpunt van in is geïsoleerd, zodat de stijging zelfs strikt is); minimum in , maximum in . Op is overal met alleen geïsoleerde nulpunten, dus is (strikt) stijgend volgens Stelling 22.7, hoewel in elke verdwijnt.
Oefening 24.8 ★★★
Zij met .
- Toon aan dat te schrijven is als met en een geschikte .
- Leid het maximum en het minimum van af, en los op in .
Oplossing
Oplossing van Oefening 24.8.
1. Zij . Het punt ligt op de eenheidscirkel, dus bestaat er een met en . Dan is
2. Omdat het beeld heeft, heeft maximum en minimum . Voor : , en , zodat de vergelijking wordt, dus , waaruit : in is .
Oefening 24.9 ★★★
Toon aan dat en allebei aan de differentiaalvergelijking voldoen. Toon omgekeerd aan, voor een oplossing van met en , dat . (Tip: bekijk en de “energie” .)
Oplossing
Oplossing van Oefening 24.9.
en : allebei lossen ze op.
Zij . Dan is (lineariteit van het afleiden), en . Stel . Dan is
dus is constant en gelijk aan . Een som van twee kwadraten die identiek verdwijnt, dwingt af, dus .
24.4 Opgave: het geheim van de slinger
Probleem 24.1
Weekendopgave — één meetkundige limiet drijft de afgeleiden van sinus en cosinus aan, en van daaruit alle trillingen: veren, slingers, zwevingen en de meter die het bijna werd
Elke klok die ooit tikte en elke snaar die ooit klonk, gehoorzaamt aan dezelfde wiskunde: een terugdrijvende kracht evenredig met de uitwijking, dus de vergelijking , dus cosinussen. Aan de basis van dat alles ligt één onschuldig ogende limiet, — in jaar 9 beloofd, door Stelling 24.5 gebruikt, en hier met een tekening bewezen. Deze opgave klimt van die limiet naar de slag van een slinger van één meter, en legt uit waarom de meter er op een haar na niet mee gedefinieerd is.
Deel I — De fundamentele limiet.
- Warm op met getallen: bereken voor en (in radialen!).
- De insluiting, op de eenheidscirkel met : druk met elementaire meetkunde de oppervlakten uit van (i) de driehoek met hoekpunten , en het cirkelpunt ; (ii) de cirkelsector ; (iii) de rechthoekige driehoek met .
- Leid uit de insluiting van de oppervlakten af dat , daarna dat , en besluit met de insluitstelling dat (de pariteit regelt ).
- Leid af (vermenigvuldig met de toegevoegde uitdrukking).
- Leg uit waarom die limiet de motor van Stelling 24.5 is (wat is ?), en waarom ze ook een oude schuld vereffent: in welke zin zijn radialen de enige hoekeenheid waarvoor zonder constante geldt?
Deel II — Harmonische beweging.
- Ga met de kettingregel na dat voldoet aan .
- Een massa aan een veer voldoet aan , met en . Neem (uit Oefening 24.9) aan dat alle oplossingen van de vorm zijn, en bepaal en .
- Herschrijf de oplossing als (Oefening 24.8): geef de amplitude , de periode en de fase (drie decimalen).
- Op welk tijdstip passeert de massa voor het eerst de evenwichtsstand ?
- De slinger: een bol aan een koord met lengte voldoet exact aan — niet oplosbaar met elementaire functies. Vervang voor kleine uitslagen door (deel I verantwoordt dat!) en leid de periode af. Bereken voor m (): de beroemde ontdekking van Galilei — waarvan hangt de formule niet af?
- De secondeslinger: welke lengte geeft precies s? De Franse Academie aarzelde in 1791 tussen die lengte en het tienmiljoenste van de kwartmeridiaan om de meter te definiëren — hoeveel millimeter verschillen de twee kandidaten?
Deel III — De somformules aan het werk.
- Toon met de somformules (Propositie 24.3) aan dat en : afleiden is op de cirkel een kwartdraai — ga de overeenstemming met Stelling 24.5 na.
- Leid de identiteit af, die producten in sommen omzet, en de linearisatie (het hoofdstuk over integreren zal je dankbaar zijn).
- Zwevingen: leid af, en pas het toe op twee stemvorken van en Hz: welke toon hoort het oor, en hoeveel zwevingen per seconde? (Zo stemmen orkesten.)
- Leid de identiteit voor de drievoudige hoek af (schrijf ). Aan welke derdegraadsvergelijking moet voldoen als je stelt? (Dat die vergelijking niet met vierkantswortels alleen op te lossen is, is precies de reden waarom het driedelen van een hoek twee millennia lang aan passer en liniaal weerstond — het volledige verhaal staat in de universitaire volumes.)
- Een wisselstroom luidt . Herschrijf hem als : wat is de piekstroom en wat de fase?
Deel IV — De trillende wereld.
- Perioden: wat is de (kleinste) periode van (gebruik vraag 13)? En van ?
- Een echte slinger dempt uit: . Beschrijf de beweging, bereken de waarde van de omhullende in (er duikt een oude bekende op, Probleem 23.1), en noem het hoofdstuk waarin vergelijkingen met zulke oplossingen opgelost worden.
- Waarom beheersen sinussen en cosinussen elke trilling? Geef het woordenboek van natuurkunde naar wiskunde in twee zinnen (terugdrijvende kracht evenredig met de uitwijking welke vergelijking welke oplossingen), en zeg wat Oefening 24.9 aan die bewering bijdraagt.
- Slotstuk: de boog van dit hoofdstuk in vier stappen — één meetkundige limiet, twee afgeleiden, één differentiaalvergelijking, en alle trillingen. En het eerlijke sterretje: bij grote uitslagen bevat de echte periode van de slinger een elliptische integraal, die bliksemsnel berekend wordt door … het rekenkundig-meetkundig gemiddelde van Gauss, het toetje van Probleem 20.1. De draden van de reeks knopen zichzelf aan elkaar.
Oplossing
Oplossing van Probleem 24.1.
1. en : kruipend naar .
2. Driehoek : basis , hoogte : oppervlakte . Sector : het deel van de eenheidsschijf: oppervlakte . Driehoek : basis , hoogte : oppervlakte .
3. De driehoek ligt in de sector, en die in de grote driehoek: , dus . Uit volgt ; en uit volgt, na vermenigvuldigen met , dat . Voor is : ingesloten streeft naar ; en is even, zodat de tweezijdige limiet is.
4. .
5. : het hele afleiden van sinus en cosinus vloeit uit die ene limiet voort. In graden gemeten zou de limiet zijn, en zou elke afgeleide die constante meeslepen: radialen zijn precies de eenheid die de analyse van de trilling zuiver houdt.
6. en .
7. . ; , dus : .
8. ; periode ; fase : .
9. voor het eerst wanneer : s.
10. Met wordt : harmonisch met en periode . Voor is s. De periode hangt niet van de amplitude af (bij kleine uitslagen) — de isochronie van Galilei, het feit dat slingeruurwerken mogelijk maakt.
11. m: de secondeslinger komt ongeveer mm tekort op de meridiaanmeter. De Academie koos de meridiaan (de zwaartekracht verschilt van plaats tot plaats en verraadt de slinger); was een haartje groter geweest, dan zou onze meter tikken.
12. ; . Dus geeft de sinus afleiden de sinus een kwartdraai verder (), en nog eens (), en nog eens, en na vier stappen ben je thuis: afleiden draait de cirkel rond.
13. De twee uitwerkingen van optellen geeft . Met : , dus .
14. Met en als spiegelbeeld geeft uitwerken en optellen . Voor en Hz: een toon van Hz waarvan de luidheid gemoduleerd wordt door — de luidheid piekt keer per seconde (de absolute waarde van de omhullende): vier zwevingen per seconde, die verdwijnen zodra de stemvorken het eens zijn.
15. . In is , dus voldoet aan — een derdegraadsvergelijking zonder oplossing in vierkantswortels: construeren, dus in drieën delen, ligt buiten het bereik van passer en liniaal.
16. ; : : : piek ampère, met een faseachterstand van .
17. : periode . heeft periode en heeft : de som herhaalt zich na het kleinste gemeenschappelijke veelvoud, .
18. Een trilling met periode binnen de krimpende omhullende : elke slag ongeveer lager. In is de omhullende — opnieuw de constante van Probleem 23.1. Vergelijkingen met zulke gedempte oplossingen () worden opgelost in het hoofdstuk over differentiaalvergelijkingen.
19. Een kracht die evenredig met de uitwijking terugtrekt geeft ; en Oefening 24.9 toont dat de oplossingen van die vergelijking precies de combinaties van en zijn — bestaan door aanwijzing, uniciteit door de oefening: een trilling kan niet anders dan sinusvormig zijn.
20. Eén limiet (, met ingesloten oppervlakten), twee afgeleiden (, ), één vergelijking (), en een wereld van klokken, snaren, stromen en getijden. Het sterretje: voor grote uitslagen is — het rekenkundig-meetkundig gemiddelde van Probleem 20.1 berekent de elliptische integraal in een handvol iteraties: de dagboeknotitie van Gauss en de slinger van Galilei, één formule van elkaar verwijderd.