求证 sin(α-3π)+cos(α-4π)/cos(α-π)/sin(α-π)-tan(α-π)=sin(4π-α)c