The Wronskian is . Abel's identity givesIf , the two column vectors in the displayed representation form a basis of at each . Differentiating the first component and comparing it with the second givesSubstitution in the differential equation givesSolving this two-by-two system yields
Solved by gpt-5.6-sol high.
Codex Wiki