tanx-y C。原式是指對于一個定義在某區間的已知式子y，如果存在可導函數Y(x)，使得在該區間內的任一點都存在dY(x)=ydx，則在該區間內就稱函數Y(x)為函數y的原式。 函數族Y(x) C(C為任一個常數）中的任一個函數一定是y的原式，故若函數y有原式，那么其原式為無窮多個。若函數y在某區間上連續，則y在該區間內必存在原式，這是一個充分而不必要條件，也稱為“原式存在定理”。