sinx-sina=2cosx+a/2sinx-a/2 咋来的,能不能详细说明下?