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