Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedSession-authored (Fable 5 assisted)precheck 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 nZ and f(z)=O(z2) as z. Then

nZf(n)=aZRes(π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(z2) 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.1

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).

L2
1.2

Integrate F around the rectangle with vertices N+12±iN and N12±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(z2), the integrand is O(z2) on every side, and the boundary integral tends to 0.

given
2.1

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 nZf(n)+aZRes(πcot(πz)f(z),a)=0, which is the stated identity.

step 1.1step 1.2L3

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