Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
continuous functions
differentiable functions real-valued functions |
| gptkbp:category |
theorems in calculus
theorems in real analysis |
| gptkbp:condition |
f(a) = f(b)
function is continuous on closed interval [a, b] function is differentiable on open interval (a, b) |
| gptkbp:countryOfOrigin |
gptkb:France
|
| gptkbp:field |
calculus
|
| gptkbp:firstStated |
1691
|
| https://www.w3.org/2000/01/rdf-schema#label |
Rolle's theorem
|
| gptkbp:namedAfter |
gptkb:Michel_Rolle
|
| gptkbp:plotSummary |
there exists c in (a, b) such that f'(c) = 0
|
| gptkbp:relatedTo |
gptkb:Intermediate_Value_Theorem
gptkb:Mean_Value_Theorem |
| gptkbp:statedIn |
real analysis
|
| gptkbp:usedIn |
proof of Mean Value Theorem
|
| gptkbp:bfsParent |
gptkb:Lagrange's_mean_value_theorem
|
| gptkbp:bfsLayer |
6
|