Tulon derivoimissääntö
Tulon derivoimissääntö on matemaattinen kaava, jonka avulla voidaan laskea derivaatta funktiolle, joka sisältää derivoituvien funktioiden tulon.
Olkoot funktiot formula_1 ja formula_2 derivoituvia pisteessä formula_3 . Tällöin funktio formula_4 on derivoituva ja 
Tulon derivoimissääntö voidaan kirjoittaa myös yksinkertaisempaan muotoon:
Todistetaan tulon derivoimissääntö derivaatan matemaattisen määritelmän, erotusosamäärän raja-arvon, avulla. Tämän määritelmän mukaan
formula_7 .'
Olkoon funktio formula_4 derivoituva, ja todistetaan että
Ilmaistaan yhtälö formula_10 funktioiden formula_1 ja formula_2 avulla
Lisätään ja vähennetään termi formula_14 yhtälöön formula_15 ja järjestetään termit uudelleen:
Derivaatan määritelmän perusteella
Sen lisäksi nyt pätee
jolloin yhtälöstä formula_21 saadaan
Derivoidaan "ƒ"("x") = "x" sin("x"). Koska "x":n derivaatta on 2"x" ja sin("x"):n derivaatta on cos("x"), niin tulon derivoimissääntöä käyttämällä saadaan "ƒ" '("x") = 2"x" sin("x") + "x"cos("x").
Tulon derivoimissääntöä voidaan käyttää myös useamman kuin kahden funktion yhtälöille. Esimerkiksi kolmen funktion tulon derivaatta on
formula_23
Sääntö voidaan myös yleistää Leibnizin yleinen sääntö avulla "n":n asteen derivaatalle:
Katso myös binomilause and binomikerroin.