Usando fórmulas trigonométricas, pode-se expressar sen(3t) em função de sen(t). A partir disso, pode-se obter um polinômio P com coeficientes inteiros que admite sen(10°) como uma raiz (P(sen(10°)=0). Esse polinômio é