ここからaを消去して16次方程式を作って解いてもいいんですが、解が全然見つからないので工夫しようと思いいろいろ考えてたんですけどかなり時間がかかってしまいました。平方完成をして(a-1)^2<=0みたいな関係式を作ったり出来ないかというのを狙った変形をしました。上の8次連立方程式で、下を2倍して引きます。あることが分かります。あとは後ろの6次式の処理です。dに何を代入しても0になる気配がなく、、、奇数次のときは必ず実根を持つので探さなければいけませんが偶数次だとすべてが虚根ということも有り得るのでそれを示してやろうと思いました。はじめはf(d)とおいて微分して示そうと思いましたがさすがに5次方程式解けなさそう(やってないけど)なので平方完成で処理しました。