解tan(π/2+x)
=sin(π/2+x)/cos(π/2+x)
=cosx/（-sinx）
=-cosx/sinx
=-cotx
=-1/tanx