高階導數以f^(0)=f及f^(n+1)=(f^(n))'遞迴定義每個存在的有限階導數。atlas-higher-order-derivative · canonical_mko高階導數前置節點實函數在一點的導數與差商多項式的和、乘積與合成微分數學歸納法