-общий вид дифференциального уравнения первого порядка, не разрешенного относительно производной. Здесь
F(x,y,p) - заданная непрерывная функция в некоторой непустой области G евклидового пространства с декартовыми прямоугольными координатами x,p,y; x - аргумент; y = y(x) - неизвестная функция.
Вектор функция , где t принадлежит промежутку и - непрерывно дифференцируемы на I, причем , если при подстановке в уравнение (1) получаем тождество
параметрическое решение (1) допускает явное представление y = ω(x).
Положим y' = p и рассмотрим смешанную систему уравнений
Покажем, что уравнение (1) эквивалентно системе (2), т.е каждое решение уравнения (1) определяет решение системы (2) и наоборот.
Действительно, если является параметрическим решением (1), то . Отсюда и . (1)(2)
Обратное пусть удовлетворяют системе (2), находим из второго , а из первого следует что .
Уравнение F(x,y,p) = 0 определяет в такую гладкую поверхность S, для которой известно также и параметрическое представление. Это значит, что существуют такие непрерывно дифференцируемые функции , в некоторой области Ω плоскости с декартовыми прямоугольными координатами u,v, для которых положительна сумма квадратов якобианов:
и для всех .
Второе уравнение системы (2) дает уравнение вида
или
Получилось уравнение первого порядка в симметричной форме.