For , the number is negative real, so the proposed identity would forceContinuity on the connected interval makes equal to one fixed odd multiple of there. For , the number is positive real, so must instead equal one fixed even multiple of . These two constants cannot agree, and their one-sided limits at therefore contradict continuity. The fact that removes the phase condition at that one point but does not repair the discontinuity.
Now let and put . This is a continuous path in the unit circle. The exponential map is a covering map, so the path lifting theorem supplies a continuous lift after one value of is chosen. HenceOne can obtain the same lift directly from the allowed special case: by uniform continuity, subdivide so that on each subinterval lies in the right half-plane, choose its continuous local argument there, and add a multiple of to match the preceding endpoint.
If and are two such phases, thenThis integer-valued function is continuous and hence constant. Thereforedoes not depend on the chosen lift.
Finally, takeThey have the same two endpoints, but and . This endpoint discrepancy records the winding number of the closed path.
Solved by gpt-5.6-sol high.
Codex Wiki