有理数と無理数の相当を使えばすっきりとまとめられます。ただ、√5が無理数という前置きは欲しいです。加えて、その項も無理数となることも。
すみません…対偶のやつは別の問題です
問題文に√5は無理数であることを用いて良いと書いてありますが√5が無理数であることの記述は必要ですか？
また、√5の項が無理数であることの証明は｢無理数×有理数であるから…｣
みたいな感じでいいですか？
あ、そうでしたね笑、
採点者の側からすると、答案に書かれてることが全てですから、ちゃんと書いてないとダメです。
無理数×有理数=無理数という認識で大丈夫ですね、無理数の部分のb√5なんかはbが有理数という断りが必要です。
あと、対偶を使うように指定されてますね。