tan'(x)=lim(Δx→0)[tan(x+Δx)-tanx]/Δx
=lim(Δx→0)[tan(x+Δx)-tanx]/Δx
=lim(Δx→0)[(tanx+tanΔx)/(1-tanxtanΔx)-tanx]/Δx
=lim(Δx→0)[(tanx+tanΔx)/(1-tanxtanΔx)-tanx]/Δx
=lim(Δx→0)[(tanx+tanΔx-tanx+tan²xtanΔx)/[(1-tanxtanΔx)Δx]
=lim(Δx→0)[(tanΔx(1+tan²x)/[(1-tanxtanΔx)Δx]
=lim(Δx→0)[(1+tan²x)/[(1-tanxtanΔx)]
=(1+tan²x)=sec²x (lim(Δx→0)tanx/x=lim(Δx→0)sinx/xcosx=1)