Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-26
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.

The Mobius band presented by two regular patches, with normal comparison on the interiors of the overlap components

Example

Let Ψ(t,s)=((1+scos(t/2))cost, (1+scos(t/2))sint, ssin(t/2)) for (t,s)R×[1/2,1/2]. Set R1=[π/6,7π/6]×[1/2,1/2],R2=[5π/6,13π/6]×[1/2,1/2], and let Ψ1,Ψ2 be the restrictions of Ψ to R1 and R2. These two regular patches cover the Möbius band. At overlap points represented by interior parameter points of both patches, their induced normals agree on the component with the same angle values and are opposite on the component created by the 2π shift.

Facts & Assumptions

Given: The map Ψ above, the two parameter rectangles R1 and R2, and their restrictions Ψ1,Ψ2.

[F1]

A regular patch has no interior parameter point sharing its image with a distinct point of the parameter region (Regular parametrized surface patches on compact Jordan parameter regions).

[F2]

In a compatible finite patch presentation, the preimage of each pairwise overlap has content zero in both parameter regions, and induced normals agree at every overlap point coming from interior parameter points of both patches (Finitely patched regular surfaces, their area, scalar integrals, and flux).

[F3]

The cross product is that of The cross product in R3.

[L1]

(sint)=cost and (cost)=sint (The derivatives of sine and cosine are cosine and minus sine).

[L2]
[L3]

sin(t+π)=sint and cos(t+π)=cost (Quarter-turn values and shifts by pi/2 and pi).

[F4]

A parametrization induces its unit normal on the image of its interior (Unit normal fields, orientations, and flux through a regular surface patch).

[F5]

Integration over a Jordan set is that of its zero extension (The Riemann integral of a bounded function over a bounded Jordan measurable set).

[L4]

A bounded set is Jordan measurable exactly when its boundary has content zero (A bounded set in Rm is Jordan measurable iff its boundary is null, equivalently of content zero).

[F6]
[L5]

Sine and cosine take values in [1,1] (Signs, monotonicity intervals, and ranges of sine and cosine).

Verification

technique · direct
1.1

Writing c=cos(t/2) and q=sin(t/2), the identities in [L1], [L2], and [L3] give Ψ(t+2π,s)=Ψ(t,s) for every (t,s), because cos((t+2π)/2)=c and sin((t+2π)/2)=q while cos(t+2π)=cost and sin(t+2π)=sint.

L1L2L3given
2.1

The two rectangles R1 and R2 each have angle length 4π/3<2π, their union covers a full turn modulo 2π, they overlap directly on K1=[5π/6,7π/6]×[1/2,1/2], and after the shift in step 1.1 they overlap again through K2=[π/6,π/6]×[1/2,1/2] on R1 against [11π/6,13π/6]×[1/2,1/2] on R2.

step 1.1given
3.1

Differentiating and using [F3] and [L1] gives Ψt×Ψs=(1+scos(t/2))(sin(t/2)cost, sin(t/2)sint, cos(t/2))+s2(sint,cost,0), so Ψt×Ψs2=(1+scos(t/2))2+s2/4. Since s1/2 and cos(t/2)1 by [L5], one has 1+scos(t/2)1/2, so this norm squared is positive. For injectivity on either rectangle, equality of two images first gives the same polar angle t modulo 2π because the radial coordinate is positive; the angle interval has length below 2π, so the parameters have the same t. The radial coordinate together with the third coordinate ssin(t/2) then recovers s, because cos2(t/2)+sin2(t/2)=1. Thus no interior parameter point shares its image with another point of the same rectangle, and both restrictions are regular.

step 2.1F1F3L1L2L5
4.1

The points of the first overlap that come from the interiors of both parameter regions have common parameters in K1=(5π/6,7π/6)×(1/2,1/2). On this open rectangle the restrictions are literally the same map with the same derivatives, so their oriented area vectors and induced normals agree by [F4]. At (t,s)=(π,0), step 3.1 gives Ψt×Ψs=(1,0,0), so the common induced normal there is ex. No normal is asserted at an overlap point represented only by a boundary parameter, because [F4] defines the induced normal on the image of the parameter-region interior.

step 3.1F2F4F6
4.2

The points of the second overlap that come from both interiors are represented on R1 by K2=(π/6,π/6)×(1/2,1/2) and on R2 by h(K2), where h(t,s)=(t+2π,s). Step 1.1 gives Ψ2h=Ψ1 there. Substituting (t+2π,s) into the explicit formula of step 3.1 changes the sign of every term in Ψt×Ψs, because sin((t+2π)/2)=sin(t/2), cos((t+2π)/2)=cos(t/2), sin(t+2π)=sint, and cos(t+2π)=cost. Thus the oriented area vectors, and hence the induced normals from [F4], are opposite at every such interior-overlap point. At (t,s)=(0,0) on R1, step 3.1 gives Ψt×Ψs=(0,0,1), while the corresponding point (2π,0) on R2 gives (0,0,1).

step 1.1step 3.1F4L3
5.1

Steps 4.1 and 4.2 exhibit, on the points where both induced normals are defined, one overlap component with matching normals and one with opposite normals. Thus this two-patch presentation carries both sign patterns at once.

step 4.1step 4.2F4F6
6.1

Each overlap preimage is a closed rectangle of positive area, so the content-zero overlap condition in [F2] also fails. The example is therefore a two-patch presentation of the Möbius band, but not a compatible finite patch presentation for flux.

step 4.1step 4.2F2F5L4

Remarks

  • The point of the example is local to this presentation. It does not claim that no other presentation of the Möbius band could behave differently; the next false statement is the finite check on this one.

Depends on

Used by

Dependency tree · two levels

54 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