For real with , the principal inverse tangent satisfies
To prove it, multiply the complex numbers and . Their product is , whose positive real part places its complex argument in . The individual complex arguments are and , and their sum is in . Multiplication adds these complex arguments, so the positive real part forces the sum into the same principal range and gives the displayed formula.
If , both have the same sign. Add to the right-hand side when , and subtract when . If , the sum is or according to the sign of . These cases record the branch information that can be lost by applying the tangent addition formula alone.
For S-wave scattering, write the radial wavefunction as . In the attractive shell , the hard-core boundary condition gives
Outside the potential, choose
Continuity of the logarithmic derivative at yields
Put . The tangent addition formula gives
and solving for gives
Let . From part (iii), and . The tangent addition formula therefore gives
or, without singular coordinate tangents,
For with , smooth choice of the angular branch gives
The tangent addition formula gives
Hence . The restriction excludes the poles of tangent that can arise in the possible range . One should not replace this identity by globally: the principal inverse tangent can differ from by an integer multiple of .