極値の判定と必要条件に関する定理