Alphabeta Math
False statementConstruction: Literature-sourcedVerification: AI-adaptedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-24
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.

FALSE: finite volume implies finite lateral surface area

Statement

Every solid of revolution with finite volume has finite lateral surface area.

Facts & Assumptions

Given: Gabriel's horn, obtained by rotating r(x)=1/x for x1, and its compact truncations 1xT.

[L1]

If ab and f:[a,b][0,) is continuous, then its solid of revolution about the x-axis is compact and Jordan measurable and has volume πabf(x)2dx (The disc formula for the volume of a solid of revolution).

[L2]

The improper integral 1xpdx converges for rational p>1 and diverges for p1 (Improper integrals over unbounded intervals, The improper p-test for rational exponents).

[L3]

If a<b and r:[a,b][0,) is C1 on a neighbourhood of [a,b], positive on (a,b), and vanishes at most at the endpoints, then the surface obtained by rotating r about the axis has area 2πabr(s)1+r(s)2ds (The surface of revolution has area 2πabr(s)1+r(s)2ds).

[L5]

If a<b and integrable f,g:[a,b]R satisfy f(x)g(x) for every x, then abfabg (If fg on [a,b] and both are integrable then abfabg; and m(ba)abfM(ba)).

Refutation

technique · direct
1.1

Fix T>1. The profile r(x)=x1 is continuous and positive on [1,T], so [L1] applies with a=1, b=T and gives the truncation volume V(T)=π1Tx2dx. By [L2] at p=2, these volumes tend to the finite value π.

givenL1L2
1.2

On a neighbourhood of [1,T] the same r is C1 with r(x)=x2 by [L4], and it is positive throughout, so the hypotheses of [L3] hold and A(T)=2π1Tx11+x4dx. Since 1+x41 on [1,T], [L5] gives A(T)2π1Tx1dx. By [L2] at p=1, the right side is unbounded as T.

givenL2L3L4L5algebra
2.1

Thus the horn has finite improper volume but unbounded compact-truncation lateral area, refuting the implication. The truncation T=1 is excluded because [L1] and [L3] need ab and a<b respectively; the refutation concerns the unbounded endpoint and uses only T>1.

step 1.1step 1.2L1L3

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

44 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