>>481
補足　というか本題
[1]式と[2]式に共通解がないと仮定すると与式は
５つの解を持つことになる。（[1]式は3解、[2]は2解。）
これは与式が3次式であることに矛盾する。
よって[1]式と[2]式は共通解を持つ。