Vamos usar a soma de arcos para calcular o cosseno do ângulo de 75º.
$$cos(75º) = cos(45º + 30º) = cos(45º)cos(30º)-sen(45º)sen(30º) =$$
$$\frac{\sqrt{2}}{2}\cdot\frac{\sqrt{3}}{2} – \frac{\sqrt{2}}{2}\cdot\frac{1}{2}=$$
$$\frac{\sqrt{2}}{2}\cdot(\frac{\sqrt{3}}{2}-\frac{1}{2})=$$
$$\frac{\sqrt{2}(\sqrt{3}-1)}{4} = 0,258819$$.