すうじあむ

> 確認した方がいい気もする
ということなら， を差にする手もありますね．

なお，「複素係数の任意の 次式が 次式の積に分解できる」ことは既知なのか？また， の十分性のチェックがどの程度の配点なのかも気になるところです．

　　　　　削除されましたが　直に　割り算の　方；

(-1 - a^2 + a^4 - 3 a^2 b + b^2)= 0, (-1 + a^2 - 3 b) (a^2 - b) = 0

を解けばよく,　条件に合わぬのを　棄て；

{{a -> -(1/2) - (I Sqrt[3])/2,
b -> -(1/2) + (I Sqrt[3])/2}, {a -> 1/2 + (I Sqrt[3])/2,
b -> -(1/2) + (I Sqrt[3])/2}, {a -> 1/2 - (I Sqrt[3])/2,
b -> -(1/2) - (I Sqrt[3])/2}, {a -> -(1/2) + (I Sqrt[3])/2,
b -> -(1/2) - (I Sqrt[3])/2}}; 　　　　　　

　　　　　　　で 素直に　Fin.

>>1
コメント有り難うございます。

> を差にする
なるほど…
　　　
とすれば、始めから必要十分で議論できる、ということでしょうか？


> 十分性のチェック
私は最初、河合塾の解答を読んでいるときに十分性に言及しているのかいまいちピンとこなかったのですが、大括弧の中の「α=βの場合は…」を読んで、十分性も考慮しているのだと受け取りました。
はっきり「因数定理より～」とか書いてあれば悩みませんでしたが、複素数係数の多項式なので因数定理と書けないのかな…？
確かにどのように採点しているのか気になる部分です。


> 「複素係数の任意の 次式が 次式の積に分解できる」
これも考え始めるとなかなか悩ましいですね…
試験場で答案にサッと書いてクリアできそうな理屈を、なかなか今すぐには私は思いつきませんが…


>>2
> 削除されましたが
全く関係のない変な youtube のリンクを貼らないでいただけますか？

判り難くてすみません．
　
⇔
なので，差とは
　
のことです．一方
　または
⇔
なので，ご投稿の別解は，そのまま（i）または（iii）に対するものになっています．

> 十分性のチェック
一般には であっても が を因数に持つとは限りませんからね．

> 試験場で答案にサッと書いて
「平方完成して極形式の平方根を用いると」くらいでしょうか．

なお，（イ）の扱いですが．．．
では により となり，（ロ）に反するので，．このとき， 次の項の係数を順に比較すれば
　

となり，展開すると
　
なので， 次の項の係数を比較して
　
といった具合にもできますね．

> 差とは…のことです．
理解しました。同じくらいの作業量で(iii)に対する必要十分も分かりやすい解法であることを納得しました。

> ご投稿の別解は，そのまま（i）または（iii）に対するもの
このご指摘があってはじめて気付きましたが(遅脳ですみません…)、つまり、論理の達人からすれば、(i)と(iii)の場合分けは全くナンセンスである、ということになるでしょうか？
　　　(イ) ⇔ (i)または(ii)または(iii)
で、本質的な場合分けは「(ii)」と「(i)または(iii) (一括処理できる)」だけを考えればよくて、しかも私の別解中の「これが十分であることを…」以下はそもそも不必要であると…。
これだとだいぶん解答がスリムになりますね。

> 「平方完成して極形式の平方根を用いると」
複素数係数の多項式の割り算を前提として、x^2+ax+b=0の解の存在を言えばよい、ということですよね。

> なお，(イ)の扱いですが．．．
割り算による解法にこのバリエーションがあるとは考えもしませんでした。
6,5,4,0,1と確認すれば暗算でも割り算できそうですね。(その後の展開は
ソラでは私には無理ですが…)

どうせなら 「(ii)かつ条件ロ」 も上のような方法で求めてみたい…と思案中です。
( をそれぞれ求めてから を出すのは、ちょっともどかしいですよね)

まだここで披露できるほど整理洗練はされてませんが、
　　　
と考えれば、割りと自然に
　　　
が得られます。
この解法のメリットは、 をそれぞれ求めるじれったさから解放されただけでなく、 なのか なのか神経を使わなくて済むし、何度も「複号同順」という四字熟語を書かなくて済む、という点にもあるでしょう。

> 上のような方法で
というと．．．
　
⇔
⇔
⇔
または
辺りでしょうか？

>>7
私の考えていたのはhondaさんのような鮮やかなのではなくて、
条件(ロ)に拘泥した低空飛行です…

(条件(ロ)を活用した計算も場合分けも少ない試験場でもできそうな解法を探りたい…というのが私の気持ちです)

　　　
のとき、条件(ロ)があるので、
　　　
などが分かります。すると、
　　　
条件(ロ)より なので
　　　
となります。
(十分を確認しないといけないので、かっこ悪いですが…)

> 探りたい
ということなら．．．
（イ）により， の根の集合 は関数 に関して閉じている（＊）が， だから， ならば， の中には等しいものがあり
　 または
　
つまり
　
が必要で，それぞれに対して
　
なので，（イ）を満たす の根の集合は
　
　
のみ．

なお，一般の次数で（＊）⇒（イ）とならないことは，例えば から判りますね．

>>9
有難うございます。
受験生がこんな冴えた解答を思いつけるかどうかはおいとくとして…
こうすれば一気に(統一的に)解けるわけですね。