求证：cosa+根号3sina=2sin(兀/6+a)