微分の定義からそれぞれを導く事にする。
微分の定義から
のように書ける。これを展開して整理すると
ここで三角関数の和と積の変換公式 と極限の公式 を使った。同様にすれば cosx や tanx の微分も計算できる。