>>413
が意外と簡単だったので、行列ではなく多項式の代数問題。
n を奇数とし、 f (x, y), g (x, y) を高々 n - 1 次の実係数多項式とする。
この時、連立方程式

x^n = f (x, y)
y^n = g (x, y)

は、少なくとも一つの実数解を持つ。