Ну просто подставляете в систему

, получаете пару уравнений вида

, где

выражения от

, в которых будет фигурировать ранее введенная функция

. Чтобы у этой пары уравнений было что-то нетривиальное, надо определитель положить равным

, это даст обыкновенный диффур на

, а от системы останется одно уравнение первого порядка на одну искомую функцию

.
Как-то так.