Cosinus för dubbla vinkeln brukar skrivas som $\cos(2v) = \cos^2 (v) - \sin^2 (v).$ Med hjälp av trigonometriska ettan kan man ta fram ett alternativt sätt att skriva formeln på: $\cos(2v) = 2\cos^2(v)-1.$