Citat:
Ursprungligen postat av
innesko
Nej det stämmer inte. Säg att ditt bevis stämmer, varför bevisar ditt argument inte att f'(x) = 0 för alla x och alla deriverbara funktioner f?
Du bör börja utifrån att (f(x) - f(x_0))/(x - x_0) = f'(ξ) för något ξ mellan x_0 och x.
Såg det, mitt nya försök då:
Jag antar att x0 har ett lokalt max enligt frågans påstående, samt att f´(x0) finns.
lim x -->x0^+ f(x)-f(x0) / (x-x0) <= 0
f´(x0) = lim x--> x0^+ f(x)-f(x0) / (x-x0) <= 0
Sedan:
lim x --x0^- f(x) - f(x0) / (x-x0) >= 0
f´(x0) = lim x --x0^- f(x) - f(x0) / (x-x0) >= 0
Och härifrån kan man se att f´(x0) = 0
Men jag förstår inte varför man blandar in lim x-->x0
Om man ska försöka tolka det i text,
funktionen f har en punkt mellan (a,b) där lutningen är = 0
varför tar man
f(x) - f(x0) Är inte f(x) hela funktionen? i vanliga fall tar man ju två punkter i funktionen, t.ex. a och b.