Vastaus. Aluksi huomioimme, että funktion f(x) määrittelyalue on rajoitettu, eli Dom(f) = [-1, 1]. Funktion f rakenteeseen kuuluu useita yhdistettyjä funktioita, joiden derivoituvuus voidaan tarkistaa erikseen. Funktio f voidaan esittää kahden osafunktion summana, ja molempien derivoituvuus voidaan todeta tunnetuilla derivoituvuusteorioilla. Käyttämällä seuraavaa esitystä, jossa g(x) = arcsin(|x|), voimme kirjoittaa f(x) osina, joissa on seuraavat osafunktiot:

  • h(z) = arcsin(z)

  • q(y) = √y

  • p(x) = |x|

Ensimmäinen funktio p(x) on derivoituva kaikilla arvoilla paitsi kohdassa x = 0, toinen funktio q(y) on derivoituva (0, +∞) välillä ja kolmas funktio h(z) on derivoituva välillä (-1, 1). Näin ollen niiden yhdistelmä g(x) on derivoituvainen ainakin väleillä (-1, 0) ja (0, 1).

Edellä mainittujen funktioiden kompositio, q(p(x)) = |x| √, on myös derivoituva, ja sen seurauksena log(1 + |x|) on derivoituva kyseisillä väleillä. Tällöin f(x) on derivoituvainen ainakin väleillä (-1, 0) ja (0, 1).

Kuitenkin on tarkasteltava, mitä tapahtuu kohdassa x = 0 ja ääriarvoissa ±1. Aluksi tarkastelemme derivoituvuuden ehtoja kohdassa 0. Fuktio f(x) on määritelty seuraavasti:

f(x)=(arcsin(x)x)log(1+x)f(x) = \left( \arcsin(|x|) - |x| \right) \log(1 + |x|)

Ensimmäinen askel on laskea ensimmäisen kertaluvun Taylor-laajennus arcsin-funktiolle, joka on seuraavan muotoinen:

arcsin(z)=z+zω(z)\arcsin(z) = z + zω(z)

Tässä ω(z) on funktion jäännös, ja sen raja-arvo nollassa on nolla, eli lim_{z→0} ω(z) = 0. Näin ollen, kun otamme limitin x → 0, saamme seuraavan lausekkeen:

limx0f(x)f(0)x=limx0xω(x)log(1+x)x\lim_{x \to 0} \frac{f(x) - f(0)}{x} = \lim_{x \to 0} \frac{|x| \sqrt{ω(|x|)} \log(1 + |x|)}{|x|}