質問: a=b=0の否定はaが0でないまたはbが0でないなので背理法でbが0でないことを矛盾させて、b=0と a=b=0の否定はaが0でないまたはbが0でないなので背理法でbが0でないことを矛盾させて、b=0といえることは、わかりませずが、その時同時にa=0になりませんか?背理法なので、否定が違っていたら元の命題が正しかったことになりますから、ではなぜこの解答ではわざわざb=0を式に代入してa=0を求めているのでしょうか。
回答: b≠0で矛盾することから言えるのはb=0のみでaの値に関しては考慮していません(aの値によらず常に矛盾) ですのでb=0と言えて、背理法はここで終わりです b=0なのだから試しに元の式に入れてみると、a=0と求まっただけです 整理すると 背理法をやるとbは0でないといけない事が分かった 代入すると、b=0ならa=0となることが分かった なので、a=b=0