本記事は以下の過去記事の内容を用います．ラグランジュ関数，ラグランジュ双対問題，最適性条件(KKT条件)のあらすじをまとめる - エンジニアを目指す浪人のブログ係数行列が対称行列の二次関数が凸関数(あるいは狭義凸関数)であるための必要十分条件はその…