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.
Cauchy's mean-value theorem in quotient form when the denominator derivative is nonzero
Statement
Let . If are continuous on , differentiable on , and throughout , then and there is such that
Facts & Assumptions
Given: The functions and hypotheses in the statement.
Cauchy's mean value theorem gives for some (Cauchy's mean value theorem: for continuous on with and differentiable on there is with ; no hypothesis on is needed in this product form).
Rolle's theorem says equal endpoint values force an interior zero of the derivative (Rolle's theorem: if , is continuous on , differentiable at every point of , and , then for some ).
Proof
If , Rolle gives with , contrary to the hypothesis. Hence .
Cauchy's theorem supplies with the cross-product identity in [L1].
Divide that identity by the two nonzero factors and to obtain the quotient formula.
Depends on
- Cauchy's mean value theorem: for $f, g$ continuous on $[a,b]$ with $a<b$ and differentiable on $(a,b)$ there is $c \in (a,b)$ with $\bigl(f(b)-f(a)\bigr)g'(c) = \bigl(g(b)-g(a)\bigr)f'(c)$; no hypothesis on $g'$ is needed in this product form
- Rolle's theorem: if $a < b$, $f$ is continuous on $[a,b]$, differentiable at every point of $(a,b)$, and $f(a) = f(b)$, then $f'(c) = 0$ for some $c \in (a,b)$
- The derivative $f'(c) = \lim_{x \to c} \frac{f(x) - f(c)}{x - c}$ of $f : A \to \mathbb{R}$ at a point $c \in A$ that is a limit point of $A$, and differentiability on a set
- The left and right limits of $f$ at $c$, as limits of the restrictions of $f$ to $A \cap (-\infty, c)$ and $A \cap (c, \infty)$
Used by
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 56 results over 18 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
- J. Lebl, Basic Analysis I, Taylor's theorem and related calculus (standard reference, not scraped)
- MIT OpenCourseWare 18.100B Real Analysis, Spring 2025 lecture notes (standard reference, not scraped)
- J. Lebl, Basic Analysis I, Mean value theorem (standard reference, not scraped)
- Colgate University MATH 323, Chapter 5 notes (standard reference, not scraped)