_4和formula_5是给定的函数。我们希望把左面化成两个函数的乘积的导数的形式。考虑函数formula_6。我们把(1)的两边乘以formula_7如果左面是两个函数的乘积的导数，那么：两边积分，得：其中formula_11是一个常数。于是，为了求出函数formula_6，我们把(3)的左面用乘法定则展开：与(2)比较，可知formula_6满足以下微分方程：两边除以formula_6，得：等式(5)是对数导数的形式。解这个方程，得：我们可以看到，formula_