Bolcano-Košī teorēma
Ja funkcija f ar reālām vērtībām ir nepārtraukta segmentā [a, b], turklāt f(a) = A, f(b) = B un C atrodas starp A un B, tad eksistē tāds c no [a, b], ka f(c) = C.
Šo faktu bez pamatojuma izmantoja līdz XIX gs. sākumam. Pirmo teorēmas pierādījumu deva čehu zinātnieks B.Bolcano 1817.gadā, bet viņa darbu tai laikā neievēroja. Vēlāk franču zinātnieks O.Košī izveidoja savu pierādījumu, kā arī parādīja šīs teorēmas nozīmību matemātiskajā analīzē. Ar teorēmu pamato vienādojumu skaitliskās atrisināšanas metodes - nogriežņu dalīšanas metodi, hordu metodi.