>>269

なぜ、まずくないのでしょうか？

以下のようになるかと思います。

0 = (a_0 - b_0) + (a_1 - b_1)*x + … + (a_n - b_n)*x^n + o(x^n)

x = 0 のとき、

0 = (a_0 - b_0) だから、
a_0 = b_0

0 = (a_1 - b_1)*x + … + (a_n - b_n)*x^n + o(x^n) = x * [(a_1 - b_1) + (a_2 - b_2)*x… + (a_n - b_n)*x^(n-1) + o(x^(n-1))]

x ≠ 0 のとき、

0 = (a_1 - b_1) + (a_2 - b_2)*x… + (a_n - b_n)*x^(n-1) + o(x^(n-1))

x → 0 のとき、

0 = (a_1 - b_1) だから、
a_1 = b_1

以下同様。