How do you verify the identity cos^2beta-sin^2beta=1-2sin^2betacos2βsin2β=12sin2β?