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.
Areas of Elementary Plane Figures: Examples and Counterexamples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connectedness
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Fubini and Change of Variables
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- pi: the Equivalent Characterizations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Properties of the Integral and the Working FTC
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- The Derivative and the Mean Value Theorems
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
One triangle computed by both the determinant and base--height formulas
Example
For , , and , the triangle has Jordan content by both the determinant and base--height formulas.
Facts & Assumptions
Given: The three displayed vertices.
Every triangle has content , and for this equals half its base times perpendicular height (A triangle has content , equal to half base times height when the chosen side is nonzero).
Verification
Here and , so and [L1] gives content .
The chosen horizontal base has length , and is at perpendicular distance from its line, so the base--height form in [L1] gives again.
The content of a parallelogram from a two-by-two matrix
Example
The parallelogram spanned by and has Jordan content .
Facts & Assumptions
Given: The displayed spanning vectors and base point .
A parallelogram has content , equal to base times height when (A parallelogram has Jordan content , equal to base times height when ).
Verification
The determinant is , so [L1] gives content .
The base length is . Since , the residual after projecting onto is and has norm ; the base--height product is therefore .
Three collinear vertices give a triangle of zero content
Example
For , , and , the triangle is the segment and has Jordan content .
Facts & Assumptions
Given: The three displayed vertices.
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
One has , so the three vertices are collinear.
By [L1] the content is zero; directly, the determinant of and is , and the perpendicular height is zero as well.
The unit disc has Jordan content
Example
The unit disc is Jordan measurable and has content .
Facts & Assumptions
Given: The closed disc of radius .
A closed disc of radius has Jordan content (A closed disc of radius has Jordan content ).
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
Substitute in [L1] to obtain .
The same disc lies between and on , so [L2] identifies that value with the established graph-area convention, including the endpoint sections of height zero.
An irregular pentagon computed by triangulation and the shoelace formula
Example
Let have counterclockwise vertices . It is a convex simple pentagon with Jordan content .
Facts & Assumptions
Given: The displayed cyclic vertex list.
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).
The counterclockwise shoelace formula gives the Jordan content of a simple polygon (The shoelace formula for the area of a counterclockwise simple polygon).
Verification
Write the vertices as in the displayed order. The five supporting-line calculations give respectively the positive lists , , , , and , 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 ; hence the chain is simple and counterclockwise and those diagonals triangulate it. The three triangle determinants are , , and , so [L1] gives content .
The cyclic shoelace sum is , so [L2] gives content .
The triangulation and shoelace computations agree at .
A linear bijection need not preserve Jordan content
Statement refuted
Every linear bijection of preserves Jordan content.
Facts & Assumptions
Given: The unit square and the linear map .
If is bounded and Jordan measurable, a linear map with matrix sends to a bounded Jordan measurable set of content (A linear endomorphism of sends bounded Jordan sets to bounded Jordan sets and scales their content by the absolute determinant).
A rectangle has volume equal to the product of its nonnegative side lengths (Axis-parallel rectangles in and their volume).
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 ).
Counterexample
The matrix of is , with inverse and determinant , and .
Each rectangle itself is both a one-rectangle inner family and outer cover, so [L2] and [L3] give and ; equivalently [L1] gives the same scaling. Thus the bijection does not preserve Jordan content.