En este foro se preguntan si el siguiente sistema trigonométrico

\[\begin{cases} v_{1f}\cos(37^\circ)+v_{2f}\cos(\theta) & = 3.5\times 10^5 \\ v_{1f}\sin(37^\circ)-v_{2f}\sin(\theta) & = 0\\v_{1f}^2+v_{2f}^2 & =(3.5 \times 10^5)^2 \end{cases}\]

se puede resolver.

Se propone resolver el problema mediante el teorema de extensión y el uso de bases de Gröbner.