>>234
>a[m]≠０ b[n]≠０であり、←なぜここで≠０なのかわかりません
そうしないとそれぞれｍ次、ｎ次と仮定した意味がないでしょ。

>m≧n≧0とする。←なぜこのように定義するのかわかりません
そうした方が分かりやすいし一般性も失われないから。整数問題なんかだとよくあるんだけど
m≧n≧0にしてもn≧m≧0にしてもいから前者を選んだだけ。

あとはよく考えれば分かるはず。