を実数とする。不等式 \begin{eqnarray} ax^2 + bx + c &>& 0 \\ bx^2 + cx + a &>& 0 \\ cx^2 + ax + b &>& 0 \end{eqnarray} をすべて満たす実数の集合と、を満たす実数の集合が一致しているとする。