Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-08-30
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.

Riemann sums of the Cauchy integral give rational approximation

Statement

Let KUC, where K is compact and U is open, and let f:UC be holomorphic. Then for every ε>0 there is a rational function r whose poles lie on a finite set contained in UK and such that

supzKf(z)r(z)<ε.

Facts & Assumptions

Given: A compact set K, an open neighbourhood U of K, a holomorphic function f:UC, and a tolerance ε>0.

[L1]

There is a polygonal cycle Γ with ΓUK and n(Γ,z)=1 for every zK (A square-grid cycle enclosing a compact set).

[L2]

A cycle null-homologous in an open set satisfies the global Cauchy formula there (Cauchy's integral formula for a null-homologous cycle, Null-homologous cycles and homologous cycles in an open set).

Proof

technique · direct
1.1

Choose Γ as in [L1]. Because n(Γ,z)=1 on K and ΓU, the cycle is null-homologous in U and [L2] gives f(z)=12πiΓf(ζ)ζzdζ(zK).

L1L2given
2.1

Decompose Γ into finitely many oriented line segments γj:[aj,bj]C. For each j, the function ϕj(t,z)=f(γj(t))γj(t)/(γj(t)z) is continuous on the compact set [aj,bj]×K, because ΓK=. By [L3], each ϕj is uniformly continuous there, so a fine enough Riemann sum approximates ajbjϕj(t,z)dt uniformly in zK.

step 1.1L3algebra
3.1

Summing those edgewise Riemann sums gives a rational function of the form r(z)=νcν/(ξνz) with sample points ξνΓ. Choosing the mesh so that the total edgewise error is below ε and using step 1.1 yields supzKf(z)r(z)<ε.

step 1.1step 2.1constructalgebra

Depends on

Used by

Dependency tree · two levels

35 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