✨ คำตอบที่ดีที่สุด ✨
3番目までは(議論そのものの善し悪しは置いておくことにして)まあいいですよね。ただ、その次がまずいですね。なぜなら、z-25=0からはz=25が。3z-5=0からはz=5/3が導かれているわけです。この時点で破綻していますね
さて、そもそも何が悪かったのかといえば、質問者さんが3行目で分けたところが、実は比較しているものがふたつの実数の含まれた式だ、ということです。つまり、(3(a+ib)-5)+(a+ib-25)i=0を本来は比較するべきだったわけです。すると、そもそも実部と虚部の比較はここから直ちには出来ませんね(複素数z,wに対して、z+iw=0を満たすようなz,wはただひとつに定まりますか?実際に計算してみましょう)
恒等式として解けるか、という当初の問いに答えると、できます。実際、先程間違っていたくくり方を変えれば良いのです。そもそも、恒等式そのものは単に「等号が成り立つためにはものによって諸々の条件を満たさないといけなかったりしますよね」ということを格好よく言ったに過ぎないので、「いやまあ=が出てくるなら恒等式だよ」と言えなくもない訳ですから