Я правильно понял,что предлагается ввести в уравнение параметр, найти корни при нулевом значении параметра…
Как-то так. Но параметр не вводится в отличие от метода гомотопии (или он же метод продолжения по параметру). Параметр всегда присутствует как длина самой кривой. В случае нескольких степеней свободы, мы можем выбирать произвольные направления в соответствующих множествах. Примерно, как при численном решении уравнений в частных производных. И ищутся не совсем решения при нулевом значении (корни – это не очень правильно, если речь вообще о СНУ), а просто любая точка, которая принадлежит множеству решений, и в которой все частные производные исходного уравнения одновременно не обращаются в 0. Заметьте, именно все одновременно, а не как в теореме о неявной функции. И от этой точки мы строим решение в обоих направлениях, если не имеем сведений о замкнутости кривой, и в любом одном, когда имеем. Длину кривой просто принимаем за “0” в этой точке… Обычно, конечно, решается численно, но, бывает, пакет радует буквенным решением…
… а потом построить неявную функцию корня от параметра с помощью дифура и метода коши?
Почему мы строим неявную функцию “корня” от параметра? Именно явную, пусть, численно, но явную…