✨ ベストアンサー ✨
オレンジのところというか、
上の方の「また、①から」の直後の3式が、
すでに①の必要条件です
そこから得られたk=2が①を満たすかの保証がないので、
その確認をしているのがオレンジの部分です
採点基準は採点陣の決めることですが、
理屈としては、ないとダメなものです
あなたの言った「必要条件」がそういう意味です
p⇒qの時点では、qを満たすものがpを満たすとは限らないですよね
与えられたpと同値なものが答えになりうるのだから、
q⇒pを確かめなくてはなりません
ここでは、たとえばk=2が①を矛盾なく満たすかを確認しています
ありがとうございます！
ベストアンサーにした後で申し訳ないのですが、①を満たす保証がないとはどういうことですか？