Indica-se por det A o determinante de uma matriz quadrada A. Seja a matriz A = (a_{ij}), de ordem 2, em que j < i se sen[j < i se,)ji.(4 \, sen \, a_{ij} eq - =, quantos números reais x, tais que -2\, ext{π} < x < 2\text{π}, satisfazem a sentença 4 \, det \, A = 1?