✨ ベストアンサー ✨
高校の範囲だと"下に凸"という概念は視覚的に理解で十分であり厳密に定義しないためこのような答案でもいいのですが、g(x)が下に凸であることを厳密に定義すると
(g(a)+g(b))/2 ≧ g((a+b)/2)
であること、すなわち
g(x+y)+g(x-y) ≧ 2g(x) ⋯ (#)
であることに他ならないわけです
後半の赤で囲った部分は「g(x)が下に凸であるから(#)が成り立つ」というスタイルで書かれていますが、本来は「(#)が成り立つときにg(x)が下に凸であると言う」はずなのでそういった意味で論理が逆と言っているのかと思います
分かりにくいかなーと思っていたので伝わってよかったです(`・ω・´)

なるほど!わかりやすかったです。ありがとうございます