多項式求導公式：x^a==>ax^(a-1)。在數學中，由若干個單項式相加組成的代數式叫做多項式（若有減法：減一個數等於加上它的相反數）。多項式中的每個單項式叫做多項式的項，這些單項式中的最高項次數，就是這個多項式的次數。
公式，在數學、物理學、化學、生物學等自然科學中用數學符號表示幾個量之間關係的式子。具有普遍性，適合於同類關係的所有問題。在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴於這個公式的自由變量的值之外。
公式精確定義依賴於涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定於一階邏輯):公式是相對於特定語言而定義的就是說，一組常量符號、函數符號和關係符號，這裏的每個函數和關係符號都帶有一個元數(arity）來指示它所接受的參數的數目
