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.$$