Respuesta :

cos(pi/2 - x) = sin(x). sec(x) = 1/cos(x), so the left side would be sinx/cosx = tanx. So it checks out.