次を解け。
符号を変えうるのは解だけなので、まず解を探す。 連続関数が符号を変えるのは値が 0 になる場所だけなので、、、 として の判別式を計算する。
なので実数解はまったくない。したがってこの式は 0 をよぎることがなく、数直線上のどこでも符号が同じである。
その 1 つの符号を最高次の係数から決める。 なので放物線は下に凸で、実数解をもたない以上、軸より上にまるごと位置するしかない。ゆえに任意の実数 に対して であり、この不等式は 全体で満たされる。
平方完成で独立に証明する。 の係数の半分は なので
となる。この恒等式は 個の厳密な有理点で確認されている ✓。これは検査ではなく証明であり、すべての について一度に成り立つ。
平方から下からの評価を読み取る。 実数の平方は負にならないので であり、したがって
が成り立つ。最小値は で、 でとる。直接確かめると ✓。
解集合を述べる。
付随する事実もただちに従う。 には解がなく、 にも実数解はない(その解は複素数 である)。
Need to solve a different problem like this? Open the solver →