Come dimostrate #secx - cosx = tanx * sinx #?

Usando le definizioni #sec(x)=1/cos(x)# e #tan(x)=sin(x)/cos(x)# insieme all'identità #sin^2(x)+cos^2(x)=1 => sin^2(x)=1-cos^2(x)#,
for #cos(x)!=0# ne ha

#sec(x)-cos(x) = 1/cos(x)-cos^2(x)/cos(x)#

#=(1-cos^2(x))/cos(x)#

#=sin^2(x)/cos(x)#

#=sin(x)/cos(x)*sin(x)#

#=tan(x)*sin(x)#