Flatness-integrability theorem

Theorem. If the Gaussian curvature K of the surface associated to a first-order ODE u=ϕ(x,u) is zero, then the ODE can be fully integrated by quadratures.

Proof. Flatness K=0 gives u(A(ϕ))=0, so A(ϕ) depends only on x. Choose Ψ(x)=A(ϕ). Then F(x,u)=ϕ(x,u)Ψ(x) is a first integral of A, and the general solution is ϕ(x,u)Ψ(x)=C.

This is the k=0 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