Flatness-integrability theorem
Theorem. If the Gaussian curvature of the surface associated to a first-order ODE is zero, then the ODE can be fully integrated by quadratures.
Proof. Flatness gives , so depends only on . Choose . Then is a first integral of , and the general solution is .
This is the instance of the constant curvature integrability theorem.
Related notes: constant curvature integrability, relative Jacobi field, Gauss curvature of an ODE-surface, Riemannian metric for a first-order ODE
Reference: @panalvarez2023surfaces