二次関数 y = ax² + bx + c で a が正なら、グラフは下に凸である。