Bolzano's theorem

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Intermediate_Value_Theorem
gptkbp:appliesTo continuous functions
closed intervals
real-valued functions
gptkbp:field mathematical analysis
https://www.w3.org/2000/01/rdf-schema#label Bolzano's theorem
gptkbp:namedAfter gptkb:Bernard_Bolzano
gptkbp:publishedIn Rein analytischer Beweis
gptkbp:state If a continuous function f on [a, b] satisfies f(a)·f(b) < 0, then there exists c in (a, b) such that f(c) = 0.
gptkbp:usedIn root-finding algorithms
proofs of existence
gptkbp:yearProposed 1817
gptkbp:bfsParent gptkb:Bernard_Bolzano
gptkbp:bfsLayer 5