After multiplying either solution by if necessary, suppose both are positive on . SetThe equations giveSince is positive between consecutive zeros,ThereforeBut is nondecreasing, so both endpoint values coincide at zero and . Since both solutions are strictly positive inside,This is the equality case in the wronskian proof of Sturm comparison.
Solved by gpt-5.6-sol high.
Codex Wiki