Potrebovala by som poradit s dokazom tzv. Bolzanovej vety (niekde sa uvadza ako Cauchy-Bolzanova veta):
Nech funkcia f je definovana a spojita na uzavretom intervale <a,b> a nech f(a).f(b)<0. Potom rovnica f(x)=0 ma na intervale <a,b> aspon jeden koren.
Ina interpretacia: Spojita funkcia, ktora ma na nejakom intervale znamienkovu zmenu, ma vnutri tohto intervalu nulovy bod.
Jeden dokaz mam, ale je velmi strucny a neviem ho dostatocne obkecat, niektore argumenty su navyse prilis strucne a uvedene ako fakty bez dokazu o funkcnosti. Iny som nikde v literature nenasla, zlyhal aj Google :) Ak niekto vie aspon kde by som mala hladat, aj to by bolo super.
Offline
Si to dokaž sama, ne? Není to těžké :-)
Jinak tady jsem dokazoval Darbouxovu větu, která je s Bolzanovou ekvivalentní.
Offline

Hledej "Darbouxovy" na tomto fóru. Kolega Olin, místní analytická kapacita, zde prezentoval přehledný důkaz vesměs stejné věty, jen jinak formulované.
Zkus se u něj inspirovat (stačí infimum/supremum, spojitost a důkaz sporem) a ptej se kdyžtak konkrétněji.
Offline