ある関数の極値を取る点を求め、それを証明したいのですが、
近似数値的でしか求められない場合、導関数=0となる点は近似した数値でしかありませんよね?
この場合はどうすれば良いのでしょうか
もちろん非近似的方法では導関数=0が解けないとの仮定をおきます