Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passaudited 2026-08-27
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Cotangent residues sum a rational function over the integers

Statement

Let f be a rational function such that f(n) is defined for every n∈Z and f(z)=O(z−2) as ∣z∣→∞. Then

∑n∈Zf(n)=−∑a∉ZRes⁡(πcot⁡(πz)f(z),a),

where the sum on the right is over the nonintegral poles of f.

Facts & Assumptions

Given: A rational function f with no integer pole and with f(z)=O(z−2) at infinity.

[L1]

The zeros of sin⁡(πz) are exactly the integers, and they are simple because (sin⁡(πz))′=πcos⁡(πz) does not vanish there (The zeros of complex sine are the integer multiples of pi, and the zeros of complex cosine are the odd half-integer multiples of pi, Complex sine, cosine, hyperbolic sine, and hyperbolic cosine are entire with their standard derivatives).

[L2]

If q has a simple zero at a, then Res⁡(p/q,a)=p(a)/q′(a) (Residues of p over q at a simple zero of q).

[L3]

The residue theorem applies on expanding rectangles (The residue theorem for a null-homologous cycle).

Proof

technique · direct
1.1L2

Let F(z)=πcot⁡(πz)f(z). By [L1], sin⁡(πz) has a simple zero at [L1, L2, algebra] each integer n, so applied to πcos⁡(πz)f(z)/sin⁡(πz) gives Res⁡(F,n)=πcos⁡(πn)f(n)πcos⁡(πn)=f(n).

1.2given

Integrate F around the rectangle with vertices N+12±iN and −N−12±iN. On the vertical sides one has cot⁡(π(x+iy))=∓itanh⁡(πy) because x=±(N+12), so ∣cot⁡∣ is uniformly bounded there. On the horizontal sides cot⁡(π(x±iN)) tends uniformly to ∓i as N→∞. Since f(z)=O(z−2), the integrand is O(z−2) on every side, and the boundary integral tends to 0.

2.1step 1.1step 1.2L3∎

By [L3], the sum of all residues of F inside the rectangle is therefore 0. Those residues are the integer residues from step 1.1 together with the nonintegral poles of f. Letting N→∞ yields ∑n∈Zf(n)+∑a∉ZRes⁡(πcot⁡(πz)f(z),a)=0, which is the stated identity.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

23 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources