Normal form of a differential equation, not solvable for the derivative, in a neighborhood of a singular point (Q1069013)

For a smooth function F, the equation \(F(x,y,p)=0\), where \(p=dy/dx\), defines a smooth surface in (x,y,p) space. The folding map of this equation means the projection along the p axis of this surface onto the (x,y) plane. A critical point of the folding is called a singular point of the equation, and the projection of the singular points onto the (x,y) plane is known as the discriminant curve. The main result proved is that in a neighbourhood of each singular point for which the disciminant curve is smooth, the equation can be reduced to the normal form \(y=((dy/dx)+kx)^ 2,\) where k is a constant by a diffeomorphism of the (x,y) plane.