Darboux-en Teorema
Izan bedi f(x) [a,b] tartean den funtzio jarraitua. Izan bitez m = min{f(x) / x %IMAGE_1% [a,b]} eta M = max{f(x) / x %IMAGE_2% [a,b]}. Orduan, f(x) funtzioak m eta M artean dauden balio guztiak gutxienez behin hartzen ditu, x %IMAGE_3% [a; b] denean.
Frogapena
Izan bedi f(x) [a,b] tartean jarraitua den funtzioa. Weierstrass-en teoremaren arabera, f(x) funtzioak [a,b] tartean bere maximoa M eta bere minimoa m hartzen ditu, hau da:
Badaude z1, z2 balioak non m = f(z1), z1 %IMAGE_4% [a,b] eta M = f(z2); z2 %IMAGE_5% [a,b] diren.
Demagun z1 2 dela. Izan bedi R m baldintza betetzen duen edozein balio.
Defini dezagun ondoko funtzioa: g(x) = f(x) - R; %IMAGE_6% x %IMAGE_7% [z1,z2]
g(x) funtzioa jarraitua da [z1; z2] tartean f(x) jarraitua...
