S programom Derive postavimo domnevo za vsoto dane končne vrste. Našo domnevo nato potrdimo (dokažemo) s popolno indukcijo "peš" (na klasičen način).
Zapomnimo si:
Uvod
S programom Derive postavimo domnevo za vsoto dane končne vrste. Našo domnevo nato potrdimo (dokažemo) s popolno indukcijo "peš" (na klasičen način).
Zapomnimo si:
Izračunajmo vsoto
Izračunajmo vsoto vrste pri
S programom Derive dano končno vrsto vnesemo takole.
| |
| |
| |
|
Postavimo domnevo
Ponovimo postopek še s , , , in , ter vsakič izračunajmo vsoto.
Glede na dobljene rezultate lahko postavimo domnevo. Vsota členov tega zaporedja je .
Preverimo domnevo
Preverimo, ali naša domneva velja za vsoto prvih . Velja.
Poskusimo, ali zna program Derive izračunati tudi vsoto členov ( Simplify
). Ste presenečeni? Derive nam izračuna .
Zato le pogumno s popolno indukcijo dokažimo, da velja
Naloga
Postavi domnevo za vsoto naslednjih končnih vrst. Domnevo nato potrdi s popolno indukcijo.
| KONČNA VRSTA | VNOS ZA DERIVE | VSOTA |
| 2k-1 | ||
| k(3k+1) | ||
| 1/((2k-1)(2k+1)) | ||
| 1/2^k |