Bestämda integraler: Skillnad mellan sidversioner
Hoppa till navigering
Hoppa till sök
Hakan (diskussion | bidrag) |
Hakan (diskussion | bidrag) |
||
(3 mellanliggande sidversioner av samma användare visas inte) | |||
Rad 181: | Rad 181: | ||
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? | 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, the last fraction can be shown to go to zero. | As ''h'' approaches 0 in the limit, the last fraction can be shown to go to zero. 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> | :<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 | where <math>x+h_1</math> and <math>x+h_2</math> are points where <math>f</math> reaches its maximum and its minimum, respectively, in the interval <math>[x, x + h]</math>. | ||
By the continuity of | By the continuity of <math>f</math>, the latter expression tends to zero as <math>h</math> does. Therefore, the left-hand side tends to zero as <math>h</math> does, which implies | ||
:<math>f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h}.</math> | :<math>f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h}.</math> | ||