=0\end{equation*}と定式化できます。\)がともに存在します。仮に効用関数\(u\)が\(C^{1}\)級であるならば、スカラー場\(f\)もまた明らかに\(C^{1}\)級になります、また、スカラー場\(g\)は明らかに\(C^{1}\)級です。}\)はともに\(C^{1}\)級であるものと仮定します。\not=0\end{equation*}が成り立ちます。w}\)を特定できます。\tag{2}\end{eqnarray}という関係が成り立ちます。\)を代入しても問題はありません。w}\)を導出するためには以下の手順を踏むことになります。