The commutator follows directly on a test function:Expansion givesTo make , takeThenwhich tends to at both ends.
Applying to gives a partner scattering state with asymptotic amplitudes at and at , and no reflected wave. Their moduli agree. Subtracting the common constant therefore shows that the displayed potential is reflectionless:
Solved by gpt-5.6-sol high.
Codex Wiki