Como você prova secx - cosx = tanx * sinx secx−cosx=tanx⋅sinx?
Usando as definições sec(x)=1/cos(x)sec(x)=1cos(x) e tan(x)=sin(x)/cos(x)tan(x)=sin(x)cos(x) junto com a identidade sin^2(x)+cos^2(x)=1 => sin^2(x)=1-cos^2(x)sin2(x)+cos2(x)=1⇒sin2(x)=1−cos2(x),
para cos(x)!=0cos(x)≠0 temos
sec(x)-cos(x) = 1/cos(x)-cos^2(x)/cos(x)sec(x)−cos(x)=1cos(x)−cos2(x)cos(x)
=(1-cos^2(x))/cos(x)=1−cos2(x)cos(x)
=sin^2(x)/cos(x)=sin2(x)cos(x)
=sin(x)/cos(x)*sin(x)=sin(x)cos(x)⋅sin(x)
=tan(x)*sin(x)=tan(x)⋅sin(x)