LHS=sinx-siny/cosx+cosy = 2cos((x+y)/2)sin((x-y)/2)/2cos((x+y)/2)cos((x-y)/2) = tan((x-y)/2) = RHSHence, proved