Como você prova #secx – cosx = tanx * sinx #?

Como você prova #secx – cosx = tanx * sinx #? Usando as definições #sec(x)=1/cos(x)# e #tan(x)=sin(x)/cos(x)# junto com a identidade #sin^2(x)+cos^2(x)=1 => sin^2(x)=1-cos^2(x)#, para #cos(x)!=0# temos #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)#