>>266
実数 t が共通解であるためには
(t^3+t^2+at+2) - (t^3+t^2-2t-a) = 0
を満たすことが「必要」．
このような t がもとの方程式たち（実際は片方でよい）を満たすことが十分条件．
そのように a の値を定める．