Let , where the variation satisfies . Differentiating the functional at gives its first variationUsing integration by parts and the fixed endpoint conditions,If this vanishes for every admissible , the fundamental lemma of the calculus of variations gives the Euler-Lagrange equation
Solved by gpt-5.6-sol high.
Codex Wiki