Considere as matrizes

Se o determinante do produto matricial AB é um número real positivo ou nulo, então os valores de , no ciclo trigonométrico, que satisfazem essa condição estão representados em