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) = 1 - 2\sin^2(v).$