$x, y$が整数ならば、方程式$x^4+131=3y^4$は解を持たないことを示せ。
都合により、$x$と$y$を入れ替える。
$3x^4-y^4=131$
$(\sqrt{3}x^2+y^2)(\sqrt{3}x^2+y^2)=131$
$(\sqrt{3}x^2+y^2)(\sqrt[4]{3}x+y)(\sqrt[4]{3}x-y)=131$
以上より、解は4つの内虚数解が2つ、無理数解が2つであることが分かった。
代数学の基本定理より、4次方程式の解は4つしかないことを利用している。
131は0じゃないけど、途中で混乱した。虚数解と無理数解が2個ずつじゃないらしい。
とにかく示せているので問題ない。