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 circular curve defeats the equality form of the vector-valued mean value theorem
Statement refuted
Refuted claim: if with , if are real, and if is continuous on and differentiable on , then there is some such that
The claim is false already for . The curve
is continuous on its interval and differentiable in its interior, its endpoint increment is zero, and for every . Hence no satisfies the displayed equality.
Facts & Assumptions
Given: The curve on .
The functions and are differentiable on , with and ; also and (The derivatives of sine and cosine are cosine and minus sine).
Let with , let , and let be a limit point of . A map is differentiable at if and only if every component is differentiable there, and its derivative then has the component derivatives as coordinates (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral).
Let with , let be a subspace of a metric space, and let . The map is continuous at a point of if and only if every component is continuous there (A vector-valued function has a limit, or is continuous, if and only if each of its components does; with the algebra of continuous vector-valued functions).
For a real-valued function on , differentiability at a limit point implies continuity there (A function differentiable at is continuous at ).
For every real , (Parity and the Pythagorean identity for sine and cosine).
Both sine and cosine have period (The zero sets of sine and cosine and the least positive common period 2 pi).
On , (The -norms for rational , and ).
The number is positive (Pi as twice the smallest positive zero of cosine).
Counterexample
By [L1] and [L4], both components of are continuous on , so is continuous there by [L3].
Periodicity and the values at zero give , so .
Componentwise differentiation gives for every .
Since , the scalar is nonzero.
For every , .
If the refuted equality held at some , step 1.2 would give ; step 1.4 would then force , contradicting step 2.1. Thus no such exists.
Remarks
The obstruction is geometric: the curve returns to its initial point while its velocity never vanishes. The scalar mean value theorem is not weakened by this example; the failure is the demand that one point encode a vector increment.
Depends on
- The derivatives of sine and cosine are cosine and minus sine
- Parity and the Pythagorean identity for sine and cosine
- The zero sets of sine and cosine and the least positive common period 2 pi
- The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
- Vector-valued functions $f : A \to \mathbb{R}^m$, their limits and continuity, with the dictionary to the metric notions
- A vector-valued function has a limit, or is continuous, if and only if each of its components does; with the algebra of continuous vector-valued functions
- A function differentiable at $c$ is continuous at $c$
- The $p$-norms $\lVert x\rVert_p$ for rational $p \ge 1$, and $\lVert x\rVert_\infty$
- Pi as twice the smallest positive zero of cosine
Used by
- FALSE: the mean value equality holds for vector-valued maps False statement
Dependency tree · two levels
73 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
- J. Lebl, Basic Analysis II, sections 8.3 and 11.4 (standard reference, not scraped)
- University of Toronto MAT237, section 2.1 Differentiation of real-valued functions (standard reference, not scraped)
- W. S. Hall and M. L. Newell, The Mean Value Theorem for Vector Valued Functions: A Simple Proof (standard reference, not scraped)