ここで、formula_9をformula_17について微分すると、