talk:>>827 導関数で増減を調べればいいのだろう。
talk:>>830 (k+1)階導関数はどうなるか?ちなみに、det(((f(x),g(x)),(h(x),i(x))))^Tの導関数は、det(((f'(x),g'(x)),(h(x),i(x))))^T+det(((f(x),g(x)),(h'(x),i'(x))))^Tになる。