Wiskunde · Begrippenlijst

Wat is arcsin⁡, arccos⁡, arctan⁡?

Definitie 4.9 Universitaire wiskunde — Bachelor jaar 1 · Hoofdstuk 4 — Standaardfuncties

De beperkingen

sin ⁣:[π2,π2][1,1],cos ⁣:[0,π][1,1],tan ⁣:(π2,π2)R\sin \colon \intcc{-\tfrac\pi2}{\tfrac\pi2} \to \intcc{-1}{1}, \qquad \cos \colon \intcc{0}{\pi} \to \intcc{-1}{1}, \qquad \tan \colon \intoo{-\tfrac\pi2}{\tfrac\pi2} \to \R

zijn strikt monotone bijecties. Hun inverse afbeeldingen worden arcsin\arcsin, arccos\arccos en arctan\arctan genoteerd. Zo is bijvoorbeeld y=arcsinxy = \arcsin x (met x[1,1]x \in \intcc{-1}{1}) dé hoek in [π2,π2]\intcc{-\frac\pi2}{\frac\pi2} waarvan de sinus xx is.

Van links naar rechts: , , . Elk erft zijn grafiek van de beperkte directe functie door spiegeling in de rechte y = x.
Van links naar rechts: arcsin\arcsin, arccos\arccos, arctan\arctan. Elk erft zijn grafiek van de beperkte directe functie door spiegeling in de rechte y=xy = x.

Voorbeelden

Voorbeeld 4.11 (Een verborgen constante herkennen)

Bestudeer g(x)=arctan1x1+xg(x) = \arctan\dfrac{1 - x}{1 + x} op (1,+)\intoo{-1} {+\infty}. De kettingregel en een korte berekening geven

g(x)=11+(1x1+x)2(1+x)(1x)(1+x)2=2(1+x)2+(1x)2=11+x2,g'(x) = \frac{1}{1 + \bigl(\frac{1-x}{1+x}\bigr)^2}\cdot \frac{-(1+x) - (1-x)}{(1+x)^2} = \frac{-2}{(1+x)^2 + (1-x)^2} = \frac{-1}{1 + x^2} ,

want (1+x)2+(1x)2=2+2x2(1+x)^2 + (1-x)^2 = 2 + 2x^2. Dus g=arctang' = -\arctan': de functie g+arctang + \arctan heeft afgeleide nul op het interval (1,+)\intoo{-1}{+\infty} en is daar dus constant; haar waarde in x=0x = 0 is arctan1+arctan0=π4\arctan 1 + \arctan 0 = \frac\pi4. Besluit:

arctan1x1+x=π4arctanx(x>1).\arctan\frac{1 - x}{1 + x} = \frac\pi4 - \arctan x \qquad (x > -1) .

Op (,1)\intoo{-\infty}{-1} geldt dezelfde berekening van de afgeleide, maar is de constante een andere (3π4-\frac{3\pi}4: bereken de limiet voor xx \to -\infty). Het inzicht: “afgeleide nul, dus constant” is een uitspraak per interval — precies de subtiliteit die in Oefening 4.6 en Oefening 4.10 uitgebuit wordt.

Voorbeeld 4.14 (Terugvouwen naar het hoofdinterval)

Bereken

arctan(tan3π4)enarctan(tan17π5).\arctan\Bigl(\tan\frac{3\pi}4\Bigr) \qquad\text{en}\qquad \arctan\Bigl(\tan\frac{17\pi}5\Bigr).

Het recept: vervang de hoek door de unieke hoek uit (π2,π2)\intoo{-\frac\pi2}{\frac\pi2} met dezelfde tangens, dat wil zeggen trek het juiste veelvoud van π\pi af (de periode van tan\tan). Eerst: 3π4π=π4\frac{3\pi}4 - \pi = -\frac\pi4, dus het antwoord is π4-\frac\pi4. Dan: 17π53π=2π5(π2,π2)\frac{17\pi}5 - 3\pi = \frac{2\pi}5 \in \intoo{-\frac\pi2}{\frac\pi2}, dus het antwoord is 2π5\frac{2\pi}5. De berekening is een vermomde euclidische deling van de hoek door π\pi — en de analoge recepten voor arcsin\arcsin (vouw terug naar [π2,π2]\intcc{-\frac\pi2}{\frac\pi2}, periode 2π2\pi) en arccos\arccos (vouw terug naar [0,π]\intcc0\pi) sturen Oefening 4.1 en het stuksgewijze antwoord van Oefening 4.10.

Voorbeeld 4.15 (Boogtangenten veilig optellen)

We bewijzen

arctan12+arctan15+arctan18=π4.\arctan\frac12 + \arctan\frac15 + \arctan\frac18 = \frac\pi4 .

Twee ingrediënten: de somformule voor de tangens en — de stap die beginners vergeten — een lokalisering van de som. Ten eerste geeft tan(u+v)=tanu+tanv1tanutanv\tan(u + v) = \frac{\tan u + \tan v}{1 - \tan u\tan v} met u=arctan12u = \arctan\frac12 en v=arctan15v = \arctan\frac15

tan(u+v)=12+151110=7/109/10=79,\tan(u + v) = \frac{\frac12 + \frac15}{1 - \frac1{10}} = \frac{7/10}{9/10} = \frac79,

en vervolgens

tan(u+v+arctan18)=79+181772=65/7265/72=1.\tan\Bigl(u + v + \arctan\frac18\Bigr) = \frac{\frac79 + \frac18}{1 - \frac7{72}} = \frac{65/72}{65/72} = 1 .

Ten tweede ligt elk van de drie hoeken in (0,π4)\intoo0{\frac\pi4} (hun argumenten zijn kleiner dan 11), zodat de som in (0,3π4)\intoo0{\frac{3\pi}4} ligt; de enige hoek daar met tangens 11 is π4\frac\pi4. Zonder de lokalisering zou de conclusie “π4\frac\pi4 op een veelvoud van π\pi na” luiden — een half bewijs. Dezelfde tweestapsdiscipline stuurt Oefening 4.8 en Oefening 4.12.

Lees in het hoofdstuk →