Alphabeta Math
False statementConstruction: Literature-sourcedVerification: AI-adaptedSession-authored (Fable 5 assisted)precheck passjudge pass (z-ai/glm-5.2)audited 2026-07-28
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: a function with the intermediate value property on an interval is continuous

Statement

Facts & Assumptions

Given: The interval I:=[1,1]I := [-1,1] (Intervals of R\mathbb{R}: the nine order-convex forms, nondegeneracy, and length).

[L1]

For every real uu there is exactly one integer mm with mu<m+1m \le u < m+1, written u\lfloor u \rfloor (Integer part: for every real xx there is exactly one integer mm with mx<m+1m \le x < m + 1); in particular no integer lies strictly between mm and m+1m+1.

[L2]

min{a,b}\min\{a,b\} and max{a,b}\max\{a,b\} exist for reals a,ba, b, and a nonempty finite set of reals has a minimum and a maximum (Maximum and minimum of a set, Every nonempty finite set of reals has a maximum and a minimum).

[L3]

Sums, scalar multiples, absolute values, maxima, minima and quotients with nonvanishing denominator of continuous functions are continuous, as are constants and the identity; composites of continuous functions are continuous (Sums, scalar multiples, products, absolute values, maxima, minima and quotients with nonvanishing denominator of continuous functions are continuous, as are constants, the identity and every polynomial function, A composite of continuous functions is continuous, with no side hypothesis of the kind the composition of limits needs).

[L4]

Intermediate value theorem: a continuous function on [a,b][a,b] takes every value between its values at the endpoints (Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on [a,b][a,b] takes every value between f(a)f(a) and f(b)f(b)).

[L6]

u0|u| \ge 0, u=0|u| = 0 only for u=0u = 0, and uwuv+vw|u - w| \le |u - v| + |v - w| (Basic properties of the absolute value).

[L7]

ff has the intermediate value property on an order-convex II exactly when for all a<ba < b in II and every yy between f(a)f(a) and f(b)f(b) in either order there is c[a,b]c \in [a,b] with f(c)=yf(c) = y (The intermediate value property (Darboux property) of a function on an interval: the image of every subinterval is order-convex).

Refutation

technique · direct
1.1

Define ψ:RR\psi : \mathbb{R} \to \mathbb{R} by ψ(u):=min{uu, u+1u}\psi(u) := \min\{\, u - \lfloor u \rfloor,\ \lfloor u \rfloor + 1 - u \,\}, the distance from uu to the nearest integer, and define g:[1,1]Rg : [-1,1] \to \mathbb{R} by g(x):=ψ(1/x)g(x) := \psi(1/x) for x0x \ne 0 and g(0):=0g(0) := 0.

L1L2construct
2.1

0ψ(u)1/20 \le \psi(u) \le 1/2 for every real uu: writing θ:=uu[0,1)\theta := u - \lfloor u \rfloor \in [0,1), the two entries are θ0\theta \ge 0 and 1θ>01 - \theta > 0, and their minimum is at most their average 1/21/2. Consequently 0g(x)1/20 \le g(x) \le 1/2 for every x[1,1]x \in [-1,1].

step 1.1L1L2
2.2

ψ(u)=min{um:mZ}\psi(u) = \min\{\, |u - m| : m \in \mathbb{Z} \,\} in the sense that umψ(u)|u - m| \ge \psi(u) for every integer mm, with equality for m=um = \lfloor u \rfloor or m=u+1m = \lfloor u \rfloor + 1. Indeed, with n:=un := \lfloor u \rfloor: for mnm \le n one has um=umun|u - m| = u - m \ge u - n, and for mn+1m \ge n+1 one has um=mun+1u|u - m| = m - u \ge n + 1 - u.

step 1.1L1
2.3

For every real η>0\eta > 0 and every y[0,1/2]y \in [0,1/2] there is xx with 0<x<η0 < x < \eta and g(x)=yg(x) = y: take a natural k1k \ge 1 with 1/ι(k)<η1/\iota(k) < \eta and put x:=1/(ι(k)+y)x := 1/(\iota(k) + y). Then 0<x1/ι(k)<η0 < x \le 1/\iota(k) < \eta and 1/x=ι(k)+y1/x = \iota(k) + y with 0y1/2<10 \le y \le 1/2 < 1, so 1/x=ι(k)\lfloor 1/x \rfloor = \iota(k) and ψ(1/x)=min{y,1y}=y\psi(1/x) = \min\{y, 1-y\} = y.

step 1.1L1L5
3.1

ψ\psi is continuous on R\mathbb{R}, because ψ(u)ψ(v)uv|\psi(u) - \psi(v)| \le |u - v| for all reals u,vu, v: choose an integer mm with um=ψ(u)|u - m| = \psi(u), which exists by step 2.2; then ψ(v)vmvu+um=uv+ψ(u)\psi(v) \le |v - m| \le |v - u| + |u - m| = |u - v| + \psi(u), and exchanging uu and vv gives the other inequality. So δ:=ε\delta := \varepsilon witnesses continuity at every point.

step 2.2L6
3.2

For every real η>0\eta > 0 and every y[0,1/2]y \in [0,1/2] there is xx with η<x<0-\eta < x < 0 and g(x)=yg(x) = y: with kk as in step 2.3 put x:=1/(ι(k)+y)x := -1/(\iota(k) + y), so η<x<0-\eta < x < 0 and 1/x=ι(k)y1/x = -\iota(k) - y. If y=0y = 0 then 1/x=ι(k)1/x = -\iota(k) is an integer and ψ(1/x)=0=y\psi(1/x) = 0 = y; if 0<y1/20 < y \le 1/2 then 1/x=ι(k)1\lfloor 1/x \rfloor = -\iota(k) - 1 and 1/x1/x=1y1/x - \lfloor 1/x \rfloor = 1 - y, so ψ(1/x)=min{1y,y}=y\psi(1/x) = \min\{1-y, y\} = y.

step 1.1step 2.3L1L5
3.3

gg is discontinuous at 00: g(0)=0g(0) = 0, and by step 2.3 every real δ>0\delta > 0 admits xx with 0<x<δ0 < x < \delta and g(x)=1/2g(x) = 1/2, so g(x)g(0)=1/2|g(x) - g(0)| = 1/2. Hence no δ\delta witnesses the continuity condition at 00 for ε:=1/2\varepsilon := 1/2.

step 1.1step 2.3L6
4.1

gg is continuous at every x[1,1]x \in [-1,1] with x0x \ne 0: on the set {x[1,1]:x0}\{x \in [-1,1] : x \ne 0\} the map x1/xx \mapsto 1/x is continuous, and gg is its composite with ψ\psi; continuity at a point of that set is continuity of gg there, since the set contains a whole neighbourhood of xx inside [1,1][-1,1] when x0x \ne 0.

step 1.1step 3.1L3
4.2

If 0[a,b]0 \in [a,b] then, since a<ba < b, either b>0b > 0 or a<0a < 0. In the first case step 2.3 with η:=b\eta := b gives cc with 0<c<b0 < c < b and g(c)=yg(c) = y, and c[a,b]c \in [a,b]; in the second case step 3.2 with η:=a\eta := -a gives cc with a<c<0a < c < 0 and g(c)=yg(c) = y. Either way yg[[a,b]]y \in g[\,[a,b]\,].

step 2.1step 2.3step 3.2L7
5.1

gg has the intermediate value property on [1,1][-1,1]. Let a<ba < b in [1,1][-1,1] and let yy lie between g(a)g(a) and g(b)g(b) in either order; in particular y[0,1/2]y \in [0,1/2] by step 2.1. If 0[a,b]0 \notin [a,b] then gg restricted to [a,b][a,b] is continuous by step 4.1, and the intermediate value theorem supplies c[a,b]c \in [a,b] with g(c)=yg(c) = y.

step 2.1step 4.1L4L7
6.1

So gg is a function on the interval [1,1][-1,1] with the intermediate value property that is not continuous on [1,1][-1,1], and the claim in the Statement is false.

step 3.3step 5.1step 4.2L7discharge-construct

Remarks

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 131 results over 30 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources