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 second-derivative test for strict local extrema
Statement
Suppose and exists and is continuous near . If , then is a strict local minimum; if , then is a strict local maximum.
Facts & Assumptions
Given: The hypotheses at .
Continuity preserves a strict sign on a sufficiently small neighbourhood (Continuity of at a point of and on : the - condition, its agreement with at a limit point, and continuity at an isolated point).
A positive derivative gives strict increase and a negative derivative gives strict decrease (On an interval , for continuous on and differentiable at every interior point: throughout gives nondecreasing, gives increasing, and give the two decreasing forms; conversely a nondecreasing has and a nonincreasing has wherever it is differentiable, and no strict converse is claimed).
Proof
If , [L1] gives an interval about on which . Hence is strictly increasing there; since , to the left and to the right.
If , apply the preceding argument to ; this gives a strict local maximum.
Applying [L2] to , it decreases toward from the left and increases away from on the right, so is a strict local minimum.
The two stated sign cases are exhausted.
Depends on
- Higher derivatives and the classes $C^k$ and $C^\infty$
- On an interval $I$, for $f$ continuous on $I$ and differentiable at every interior point: $f' \ge 0$ throughout gives $f$ nondecreasing, $f' > 0$ gives $f$ increasing, $f' \le 0$ and $f' < 0$ give the two decreasing forms; conversely a nondecreasing $f$ has $f' \ge 0$ and a nonincreasing $f$ has $f' \le 0$ wherever it is differentiable, and no strict converse is claimed
- Continuity of $f : A \to \mathbb{R}$ at a point of $A$ and on $A$: the $\varepsilon$-$\delta$ condition, its agreement with $\lim_{x \to c} f(x) = f(c)$ at a limit point, and continuity at an isolated point
- 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
Used by
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 45 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
- MIT OpenCourseWare 18.100B Real Analysis, Spring 2025 lecture notes (standard reference, not scraped)
- J. Lebl, Basic Analysis I, Taylor's theorem and related calculus (standard reference, not scraped)