Bestämda integraler: Skillnad mellan sidversioner
Hoppa till navigering
Hoppa till sök
Hakan (diskussion | bidrag) |
Hakan (diskussion | bidrag) |
||
Rad 176: | Rad 176: | ||
Läs gärna vad {{svwp | Analysens_fundamentalsats}} även om det är på en hög nivå för det är så häftigt. | Läs gärna vad {{svwp | Analysens_fundamentalsats}} även om det är på en hög nivå för det är så häftigt. | ||
=== Det röda överskottet === | |||
För att göra beviset mer överskådligt ar vi lyft ut ett resonemang om det röda överskottet. Kan vi vara säkra på att det går mot noll då h går mot noll, vi dividerar ju med h? | |||
As ''h'' approaches 0 in the [[limit of a function|limit]], the last fraction can be shown to go to zero.<ref>[[Lipman Bers|Bers, Lipman]]. ''Calculus'', pp. 180–181 (Holt, Rinehart and Winston (1976).</ref> This is true because the area of the red portion of excess region is less than or equal to the area of the tiny black-bordered rectangle. More precisely, | |||
:<math>\left|f(x) - \frac{A(x+h) - A(x)}{h}\right| = \frac{|\text{Red Excess}|}{h} \le \frac{h(f(x+h_1) - f(x+h_2))}{h} = f(x+h_1) - f(x+h_2),</math> | |||
where <math>x+h_1</math> and <math>x+h_2</math> are points where {{mvar|f}} reaches its maximum and its minimum, respectively, in the interval {{math|[''x'', ''x'' + ''h'']}}. | |||
By the continuity of {{math|''f''}}, the latter expression tends to zero as {{math|''h''}} does. Therefore, the left-hand side tends to zero as {{math|''h''}} does, which implies | |||
:<math>f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h}.</math> | |||
=== Anteckningar från lektionen === | === Anteckningar från lektionen === |