Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passaudited 2026-08-17
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.

Goursat's triangle theorem remains valid for a continuous function holomorphic away from one point

Statement

Let U⊆C be open, let p∈U, and let f:U→C be continuous and holomorphic on U∖{p}. If the filled triangle T=Δ[a,b,c] of Filled complex triangles, their oriented three-edge boundary contours, diameter, and perimeter is contained in U, then

∫∂Tf(z) dz=0.

The exceptional point may lie outside, inside, or on the boundary of T.

Facts & Assumptions

Given: An open set U, a point p∈U, a continuous function f:U→C holomorphic away from p, and a filled triangle T⊆U.

[L1]

Goursat's triangle theorem gives zero boundary integral when the function is holomorphic on an open set containing the filled triangle (Goursat's triangle theorem: a holomorphic function integrates to zero around every triangle contained in its domain).

[L2]

Reversing a contour negates its integral and concatenating compatible contours adds their integrals (Complex line integrals change sign under reversal and add under concatenation).

[L3]

The ML estimate bounds an integral by a uniform bound on the integrand times the contour length (ML estimate: a contour integral is bounded by a supremum bound times path length).

Proof

technique · direct
1.1givenL1L2

If p∉T, then T⊆U∖{p}; this punctured set is open because every z≠p has the ball B(z,∣z−p∣/2) inside it, so [L1] applies. If T is degenerate, order its distinct collinear vertices along their common line and split each directed edge at the intervening vertices; every resulting subsegment occurs equally often in both orientations, so [L2] gives zero.

1.2L1L2

It remains to treat a nondegenerate triangle Δ[p,u,v] having p as a vertex. For 0<t<1, put ut=p+t(u−p) and vt=p+t(v−p). The triangles Δ[ut,u,v] and Δ[ut,v,vt] lie in Δ[p,u,v] and avoid p, so [L1] makes their boundary integrals zero; adding their boundaries and cancelling opposite internal edges by [L2] gives If[p,u,v]=If[p,ut,vt].

2.1step 1.2L3

Continuity at p gives a neighborhood on which ∣f∣≤∣f(p)∣+1. For all sufficiently small t>0, the small triangle lies in that neighborhood, has perimeter tP(Δ[p,u,v]), and [L3] gives ∣If[p,ut,vt]∣≤(∣f(p)∣+1)tP(Δ[p,u,v]).

3.1step 1.2step 2.1algebra

Letting t be arbitrarily small in steps 1.2 and 2.1 forces If[p,u,v]=0, so every triangle having p as a vertex has zero boundary integral.

4.1step 1.1step 3.1L2∎

If p∈T, the three filled triangles Δ[p,a,b], Δ[p,b,c], and Δ[p,c,a] cover T with compatible orientations; their internal edges cancel by [L2], leaving ∂T. Their integrals vanish by steps 1.1 and 3.1, so If(T)=0. Together with the case p∉T from step 1.1, this proves the claim for every position of p.

Depends on

Used by

Dependency tree · two levels

24 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