Alphabeta Math
Session-authored (Fable 5 assisted)
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.

6 results · all verified · 5 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 1 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Areas of Elementary Plane Figures: Examples and Counterexamples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-21Open item page →

One triangle computed by both the determinant and base--height formulas

Example

For A=(1,1), B=(5,1), and C=(3,4), the triangle has Jordan content 6 by both the determinant and base--height formulas.

Facts & Assumptions

Given: The three displayed vertices.

[L1]

Every triangle has content 12det[BA CA], and for AB this equals half its base times perpendicular height (A triangle has content 12det[BA CA], equal to half base times height when the chosen side is nonzero).

Verification

technique · direct
1.1

Here BA=(4,0) and CA=(2,3), so det[BA CA]=12 and [L1] gives content 12/2=6.

L1algebra
2.1

The chosen horizontal base has length 4, and C is at perpendicular distance 3 from its line, so the base--height form in [L1] gives 1243=6 again.

L1algebra
ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-21Open item page →

The content of a parallelogram from a two-by-two matrix

Example

The parallelogram spanned by v=(3,1) and w=(1,3) has Jordan content 8.

Facts & Assumptions

Given: The displayed spanning vectors and base point 0.

[L1]

A parallelogram has content det[v w], equal to base times height when v0 (A parallelogram has Jordan content det[v w], equal to base times height when v0).

Verification

technique · direct
1.1

The determinant is 3311=8, so [L1] gives content 8.

L1algebra
2.1

The base length is 10. Since v,w=6, the residual after projecting w onto Rv is (4/5,12/5) and has norm 8/10; the base--height product is therefore 108/10=8.

L1algebra
ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-21Open item page →

Three collinear vertices give a triangle of zero content

Example

For A=(0,0), B=(2,1), and C=(6,3), the triangle is the segment [A,C] and has Jordan content 0.

Facts & Assumptions

Given: The three displayed vertices.

[L1]

A triangle has zero Jordan content if and only if its vertices are collinear (A triangle has zero Jordan content if and only if its vertices are collinear).

Verification

technique · direct
1.1

One has CA=3(BA), so the three vertices are collinear.

algebra
2.1

By [L1] the content is zero; directly, the determinant of (2,1) and (6,3) is 66=0, and the perpendicular height is zero as well.

step 1.1L1algebra
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-21Open item page →

The unit disc has Jordan content π

Example

The unit disc D1={(x,y):x2+y21} is Jordan measurable and has content π.

Facts & Assumptions

Given: The closed disc of radius 1.

[L1]

A closed disc of radius r0 has Jordan content πr2 (A closed disc of radius r0 has Jordan content πr2).

[L2]

A region between continuous graphs is compact and Jordan measurable, and its graph area equals its Jordan content (Riemann area between continuous graphs equals Jordan content).

Verification

technique · direct
1.1

Substitute r=1 in [L1] to obtain cont(D1)=π.

L1algebra
2.1

The same disc lies between y=1x2 and y=1x2 on [1,1], so [L2] identifies that value with the established graph-area convention, including the endpoint sections of height zero.

step 1.1L2
ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passaudited 2026-08-21Open item page →

An irregular pentagon computed by triangulation and the shoelace formula

Example

Let P have counterclockwise vertices (0,0),(4,0),(5,2),(2,4),(0,3). It is a convex simple pentagon with Jordan content 15.

Facts & Assumptions

Given: The displayed cyclic vertex list.

[L1]

A simple polygon has content equal to the sum of the contents of the triangles in any triangulation (A simple polygon is Jordan measurable and its content is the sum of the contents of its triangles).

[L2]

The counterclockwise shoelace formula gives the Jordan content of a simple polygon (The shoelace formula for the area of a counterclockwise simple polygon).

Verification

technique · direct
1.1

Write the vertices as v0,,v4 in the displayed order. The five supporting-line calculations det(vi+1vi,vjvi)>0(j{i,i+1}) give respectively the positive lists (8,16,12), (8,8,11), (16,8,7), (6,10,7), and (12,15,6), with indices modulo five. Thus every other vertex lies strictly to the left of every directed boundary edge. The intersection of these five closed left half-planes is convex, has exactly the displayed boundary chain, and contains both diagonals from v0; hence the chain is simple and counterclockwise and those diagonals triangulate it. The three triangle determinants are 8, 16, and 6, so [L1] gives content (8+16+6)/2=15.

L1algebra
1.2

The cyclic shoelace sum is (0+8+20+6+0)(0+0+4+0+0)=30, so [L2] gives content 30/2=15.

L2algebra
2.1

The triangulation and shoelace computations agree at 15.

step 1.1step 1.2
CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-21Open item page →

A linear bijection need not preserve Jordan content

Statement refuted

Every linear bijection of R2 preserves Jordan content.

Facts & Assumptions

Given: The unit square Q=[0,1]2 and the linear map T(x,y)=(2x,y).

[L1]

If E is bounded and Jordan measurable, a linear map with matrix A sends E to a bounded Jordan measurable set of content detAcont(E) (A linear endomorphism of Rn sends bounded Jordan sets to bounded Jordan sets and scales their content by the absolute determinant).

[L2]

A rectangle has volume equal to the product of its nonnegative side lengths (Axis-parallel rectangles in Rm and their volume).

[L3]

Jordan inner and outer contents are obtained from finite rectangular inner families and outer covers, with every inner sum at most every outer sum (Jordan inner and outer content and Jordan measurable bounded sets in Rm).

Counterexample

technique · direct
1.1

The matrix of T is diag(2,1), with inverse diag(1/2,1) and determinant 2, and T(Q)=[0,2]×[0,1].

L1algebra
2.1

Each rectangle itself is both a one-rectangle inner family and outer cover, so [L2] and [L3] give cont(Q)=1 and cont(T(Q))=2; equivalently [L1] gives the same scaling. Thus the bijection T does not preserve Jordan content.

step 1.1L1L2L3

Sources