Osamäärän derivoimissääntö

Osamäärän derivoimissääntö on matemaattinen kaava, jonka avulla voidaan laskea derivaatta funktiolle, joka on esitettävissä kahden helpommin derivoitavan funktion osamääränä.

Lauseen muotoilu

Olkoon funktio f : A R {\displaystyle f:A\to \mathbb {R} } esitettävissä funktioiden g {\displaystyle g} ja h {\displaystyle h} osamääränä f ( x ) = g ( x ) h ( x ) {\displaystyle f\left(x\right)={\frac {g\left(x\right)}{h\left(x\right)}}} . Olkoot lisäksi funktiot g {\displaystyle g} ja h {\displaystyle h} derivoituvia pisteessä a A {\displaystyle a\in A} ja h ( x ) 0 {\displaystyle h\left(x\right)\neq 0} . Tällöin f ( a ) = g ( a ) h ( a ) g ( a ) h ( a ) h ( a ) 2 {\displaystyle f'\left(a\right)={\frac {g'\left(a\right)h\left(a\right)-g\left(a\right)h'\left(a\right)}{h\left(a\right)^{2}}}} .

Todistus

Derivaatan määritelmän mukaan

f ( a ) = lim Δ a 0 f ( a + Δ a ) f ( a ) Δ a {\displaystyle f'\left(a\right)=\lim _{\Delta a\to 0}{\frac {f\left(a+\Delta a\right)-f\left(a\right)}{\Delta a}}}

Sijoitetaan funktion f {\displaystyle f} tilalle osamäärä g / h {\displaystyle g/h}

= lim Δ a 0 g ( a + Δ a ) h ( a + Δ a ) g ( a ) h ( a ) Δ a {\displaystyle =\lim _{\Delta a\to 0}{\frac {{\frac {g\left(a+\Delta a\right)}{h\left(a+\Delta a\right)}}-{\frac {g\left(a\right)}{h\left(a\right)}}}{\Delta a}}}

Lavennetaan osamäärät samannimisiksi

= lim Δ a 0 g ( a + Δ a ) h ( a ) h ( a + Δ a ) h ( a ) g ( a ) h ( a + Δ a ) h ( a + Δ a ) h ( a ) Δ a {\displaystyle =\lim _{\Delta a\to 0}{\frac {{\frac {g\left(a+\Delta a\right)h\left(a\right)}{h\left(a+\Delta a\right)h\left(a\right)}}-{\frac {g\left(a\right)h\left(a+\Delta a\right)}{h\left(a+\Delta a\right)h\left(a\right)}}}{\Delta a}}}

Siirretään yhteinen nimittäjä koko osamäärän nimittäjään

= lim Δ a 0 g ( a + Δ a ) h ( a ) g ( a ) h ( a + Δ a ) h ( a + Δ a ) h ( a ) Δ a {\displaystyle =\lim _{\Delta a\to 0}{\frac {g\left(a+\Delta a\right)h\left(a\right)-g\left(a\right)h\left(a+\Delta a\right)}{h\left(a+\Delta a\right)h\left(a\right)\Delta a}}}

Lisätään ja vähennetään termi g ( a ) h ( a ) {\displaystyle g\left(a\right)h\left(a\right)}

= lim Δ a 0 g ( a + Δ a ) h ( a ) g ( a ) h ( a + Δ a ) + g ( a ) h ( a ) g ( a ) h ( a ) h ( a + Δ a ) h ( a ) Δ a {\displaystyle =\lim _{\Delta a\to 0}{\frac {g\left(a+\Delta a\right)h\left(a\right)-g\left(a\right)h\left(a+\Delta a\right)+g\left(a\right)h\left(a\right)-g\left(a\right)h\left(a\right)}{h\left(a+\Delta a\right)h\left(a\right)\Delta a}}}

Otetaan h ( a ) {\displaystyle h\left(a\right)} ja g ( a ) {\displaystyle -g\left(a\right)} yhteisiksi tekijöiksi

= lim Δ a 0 ( g ( a + Δ a ) g ( a ) ) h ( a ) g ( a ) ( h ( a + Δ a ) h ( a ) ) h ( a + Δ a ) h ( a ) Δ a {\displaystyle =\lim _{\Delta a\to 0}{\frac {\left(g\left(a+\Delta a\right)-g\left(a\right)\right)h\left(a\right)-g\left(a\right)\left(h\left(a+\Delta a\right)-h\left(a\right)\right)}{h\left(a+\Delta a\right)h\left(a\right)\Delta a}}}

Supistetaan termillä Δ a {\displaystyle \Delta a}

= lim Δ a 0 g ( a + Δ a ) g ( a ) Δ a h ( a ) g ( a ) h ( a + Δ a ) h ( a ) Δ a h ( a + Δ a ) h ( a ) {\displaystyle =\lim _{\Delta a\to 0}{\frac {{\frac {g\left(a+\Delta a\right)-g\left(a\right)}{\Delta a}}h\left(a\right)-g\left(a\right){\frac {h\left(a+\Delta a\right)-h\left(a\right)}{\Delta a}}}{h\left(a+\Delta a\right)h\left(a\right)}}}

Siirretään raja-arvo termeihin erikseen (sillä summan raja-arvo on raja-arvojen summa, samoin osamäärän raja-arvo on raja-arvojen osamäärä)

= lim Δ a 0 g ( a + Δ a ) g ( a ) Δ a h ( a ) g ( a ) lim Δ a 0 h ( a + Δ a ) h ( a ) Δ a lim Δ a 0 h ( a + Δ a ) h ( a ) {\displaystyle ={\frac {\lim _{\Delta a\to 0}{\frac {g\left(a+\Delta a\right)-g\left(a\right)}{\Delta a}}h\left(a\right)-g\left(a\right)\lim _{\Delta a\to 0}{\frac {h\left(a+\Delta a\right)-h\left(a\right)}{\Delta a}}}{\lim _{\Delta a\to 0}h\left(a+\Delta a\right)h\left(a\right)}}}

Havaitaan, että näin syntyneet raja-arvot ovat funktioiden g {\displaystyle g} ja h {\displaystyle h} erotusosamäärien raja-arvoja, eli derivaattoja

= g ( a ) h ( a ) g ( a ) h ( a ) h ( a ) 2 {\displaystyle ={\frac {g'\left(a\right)h\left(a\right)-g\left(a\right)h'\left(a\right)}{h\left(a\right)^{2}}}} .

Esimerkkejä

Esimerkki 1

Määritä funktion f : R R {\displaystyle f:\mathbb {R} \to \mathbb {R} } , f ( x ) = x 2 2 2 x 4 + 7 {\displaystyle f\left(x\right)={\frac {x^{2}-2}{2x^{4}+7}}} derivaatta pisteessä x = 2 {\displaystyle x=2} .

Funktio f {\displaystyle f}  voidaan selvästi esittää kahden funktion, g ( x ) = x 2 2 {\displaystyle g\left(x\right)=x^{2}-2} ja h ( x ) = 2 x 4 + 7 {\displaystyle h\left(x\right)=2x^{4}+7} osamääränä. Molemmat funktiot ovat derivoituvia pisteessä x = 2 {\displaystyle x=2} ja funktiolla h {\displaystyle h} ei ole nollakohtia. Käytetään siis osamäärän derivoimissääntöä.

Lasketaan ensin funktioiden g {\displaystyle g} ja h {\displaystyle h} derivaattafunktiot: g ( x ) = 2 x {\displaystyle g'\left(x\right)=2x} , h ( x ) = 8 x 3 {\displaystyle h'\left(x\right)=8x^{3}} . Osamäärän derivoimissäännön mukaan seuraava pätee:

f ( 2 ) = g ( 2 ) h ( 2 ) g ( 2 ) h ( 2 ) h ( 2 ) 2 {\displaystyle f'\left(2\right)={\frac {g'\left(2\right)h\left(2\right)-g\left(2\right)h'\left(2\right)}{h\left(2\right)^{2}}}}

Sijoittamalla derivaatat lausekkeeseen saadaan

f ( 2 ) = ( 2 2 ) ( 2 2 4 + 7 ) ( 2 2 2 ) ( 8 2 3 ) ( 2 2 4 + 7 ) 2 = 28 1521 . {\displaystyle f'\left(2\right)={\frac {\left(2\cdot 2\right)\left(2\cdot 2^{4}+7\right)-\left(2^{2}-2\right)\left(8\cdot 2^{3}\right)}{\left(2\cdot 2^{4}+7\right)^{2}}}={\frac {28}{1521}}.}

Esimerkki 2

Määritä funktion f ( x ) = | x | + 1 | x | + 1 {\displaystyle f\left(x\right)={\frac {\left|x\right|+1}{\left|x\right|+1}}} derivaatta pisteessä x = 0 {\displaystyle x=0} .

Emme voi käyttää osamäärän derivoimissääntöä, sillä | x | + 1 {\displaystyle |x|+1} ei ole derivoituva pisteessä x = 0 {\displaystyle x=0} , mutta saamme sievennettyä lausekkeen muotoon f ( x ) = 1 {\displaystyle f\left(x\right)=1} , jonka derivaatta jokaisessa pisteessä on nolla.

Tämä esimerkki osoittaa, että vaikka osamäärän derivoimissääntö onkin kätevä, se ei aina ole paras tapa derivoida funktiota, joka voidaan esittää kahden funktion osamääränä.

Lähteet

  • Hurri-Syrjänen, Ritva: Differentiaali- ja integraalilaskenta I.1 wiki.helsinki.fi. Syksy 1999. Viitattu 3.10.2011. (suomeksi)