右边=(sinx/cosx+1/cosx-1)/(sinx/cosx-1/cosx+1)
上下乘cosx
=(sinx+1-cosx)/(sinx-1+cosx)
=(sinx+1-cosx)²/[sin²x-(1-cosx)²]
=(sin²x+cos²x+1-2sinxcosx+2sinx-2cosx)/(sin²x-1+2cosx-cos²x)
=(1+1-2sinxcosx+2sinx-2cosx)/(1-cos²x-1+2cosx-cos²x)
=-2(sinxcosx-sinx+cosx-1)/(2cosx-2cos²x)
=-2(sinx+1)(cosx-1)/[2cosx(1-cosx)]
=(sinx+1)/cosx
=左边
命题得证