Õppetund
Teooria — Sigma-summeerimise tööriist
Sigmatähistus on kompaktne juhis liitmiseks. ∑ ütleb: võta sellest paremal asuv avaldis, lase indeksil läbida kõik täisarvud alampiirist kuni ülempiirini — mõlemad rajad kaasa arvatud — ning liida tulemused kokku.
Sigmaavaldise neli osa: summeerimismärk, mille kohal on ülempiir ning all indeks ja alampiir, millele järgneb liidetav liige.
- Summeerimismärk. Selles endas väärtust ei peitu — see annab juhise liitmiseks.
- Ülempiir
nsigma kohal: indeksi viimane väärtus, kaasa arvatud. - Indeks ja selle alampiir,
k = m, sigma all: kust loendamine algab, samuti kaasa arvatud. - Liige
f(k)paremal: selle väärtus arvutatakse indeksi iga väärtuse korral ning just need tulemused liidetakse kokku.
Mida iga sümbol tähendab
k- indeks — loendur, mis võtab järgemööda iga täisarvulise väärtuse. Matemaatiliselt on selle tähis summa siseasi, mistõttu
ivõijtähendaksid täpselt sama asja; siin on see alatikning ülaloleva tabeli veeru pealkiri onIndex (k). m- alampiir, mis on kirjutatud sigma alla kujul
k = m. See on indeksi esimene väärtus ja see on kaasa arvatud — see on ülalolev väli from. n- ülempiir, kirjutatud sigma kohale. Indeksi viimane väärtus, samuti kaasa arvatud — seepärast annab vahemik 1-st 10-ni üheksa liikme asemel kümme liiget. See on ülalolev väli to.
f(k)- liige — avaldis, mille väärtus arvutatakse iga indeksi väärtuse korral ühe korra. Siin saab selle valida viie valiku hulgast:
k,k^2,2k+1,1/kja(-1)^k.
Kust valem tuleb
- Kuna mõlemad rajad on kaasa arvatud, ei ole liikmete arv
n − m. Kirjutame indeksi väärtused välja:m,m + 1ja nii edasi kuni väärtusenin. - Lahutame iga elemendi väärtusest
m, et loend algaks nulliga:0,1, … ,n − m. Tähiste muutmine muudab elementide nimetust, mitte nende arvu. - Loend 0-st kuni väärtuseni
n − msisaldabn − m + 1elementi. Seega 1-st 10-ni annab kümme liiget ja 0-st 12-ni annab kolmteist liiget — just seda kajastab mõlemal juhul ülalnäidatud Term count.
- Eeldab
- Indeksi väärtused on täisarvud, mis suurenevad ühesammuliselt, ning neid on lõplik hulk: mõlemad rajad ümardatakse täisarvudeni ja piiratakse vahemikku −30 kuni 30, et leht ei kiiluks kinni. Liige valitakse tippimise asemel viie eelseadistuse hulgast, mis teeb sellest lehest tähistuse näitliku mudeli, mitte üldotstarbelise summeerimiskalkulaatori.
- Ei kehti, kui
- Kui valite
1/kja alustate indeksit väärtusest 0, on esimene liige määramata. Seda ei jääda vaikimisi vahele — arvutus peatub seal: tulemuseks kuvatakseundefined, Term count langeb väärtusele1ning lahtikirjutuse tabel lõppeb selle ühe reaga. Lahtikirjutatud avaldis näitab endiseltundef + 1/1 + 1/2 + ⋯, mis annab edasi tegeliku pildi — üks määramata liige muudab kogu summa määramatuks, olenemata sellest, kui palju korrapäraseid liikmeid sellele järgneb.
Harjutus
Kontrolli ennast
Ennusta vastust esmalt ise ja kasuta siis ülal olevaid juhtelemente. Ava lahendus alles siis, kui oled otsustanud — just see teebki sellest harjutuse.
-
Eelseade paaritud arvud liidab 2k+1 väärtustel k = 0 kuni 12 ja teatab tulemuse 169 üle 13 liikme. Teised eelseaded näitavad summa all kinnist valemit; see ei näita ühtegi. Leia muster ise — sea ülemiseks piiriks 4, siis 9, siis 19.
Näita vastust
25, 100 ja 400, vastavalt 5, 10 ja 20 liikme kohta. Esimese n paaritu arvu summa on alati täpselt n² ja 169 on 13². Kujuta ette ruutu, mis kasvab L-kujuliste kihtidena: üks punkt, siis selle ümber kolmest punktist L, siis viiest punktist L — n kihi järel on käes n × n ruut ja iga lisatud kiht oli järgmine paaritu arv. Tööriist tunneb k ja k² kinniseid valemeid ning näitab neid; seda ta ei tunne, nii et sulle jääb ainult summa. -
Eelseade harmooniline liidab 1/k väärtustel 1 kuni 8 ja saab 2.717857 ning märkus ütleb, et osasummad ei jää ühelegi lõplikule piirväärtusele pidama. Arva ära, kui kaugele peab ülemine piir minema, et summa ületaks 5 — ja siis kontrolli.
Näita vastust
83. Liige 82 jätab selle väärtusele 4.990020 ja liige 83 viskab selle üle: 5.002068. Kuueni jõudmiseks kulub 227 liiget ja 226 jääb väärtusele 5.999961 — neli miljondikku puudu. Pane tähele, et 227 ÷ 83 = 2.73, mis on peaaegu täpselt e: osasummad järgivad ln n, seega iga järgmine +1 samm maksab umbes e ≈ 2.718 korda rohkem liikmeid kui kogu senine tee kokku. Kümne ületamiseks kulub 12367 liiget; tööriist arvutab selle välja, kui küsid. Just nii näeb „ei jää pidama“ seestpoolt välja — tõusmine ei lõpe kunagi, aga aeglustub geomeetriliselt, ja just seepärast viis kaheksa liiget sind ainult 2.7-ni.
Ülesanne täielikult lahendatud
-
Ruutude summa, milleni 1 ja 10 paaritamine ei ulatu 6 sammu
Liida arvud 1-st 10-ni paaride moodustamise, mitte otse liitmise teel, ning kasuta sama võtet ruutude summa leidmiseks — milleni paaride moodustamine ei küüni.
-
Kirjuta summa välja. Kümme liidetavat on piisavalt vähe, et neid otse liita, mis on täpselt põhjus, miks nii teha ei tohiks.
-
Liida summat iseenda vastupidise järjekorraga. Iga tulp annab sama summa ja neid on n tükki — seega kahekordne summa moodustab ristküliku.
-
Üldine tulemus. Pane tähele, et arutlus kahekordistab summa selle pooleks murdmise asemel, mistõttu ei vaja see eraldi juhtu paaritu n jaoks — mõlemast otsast liikmeid paaritav versioon aga vajab.
-
Nüüd ruudud. Alusta järjestikuste kuupide vahest, mis avaneb avaldiseks, mis sisaldab liiget k².
-
Liida mõlemad pooled kokku. Vasak pool koondub teleskoopselt üheks liikmeks; parem pool sisaldab otsitavat summat pluss summat, mis sul juba käes on.
-
Võta veel üks aste kõrgemaks ja seaduspärasus sulgub iseendasse.
Vastus
55, seejärel 385, seejärel 3025 — ning kolmas on esimene ruudus. Paaride moodustamise arutlus on kuulus ja ühtlasi umbtee: see töötab, sest liikmed on lineaarsed, ning ruute pole kuidagi võimalik võrdseteks paarideks voltida. Selle asemel tuleb kasutada teleskopeerimist. Kirjuta üles järjestikuste kuupide vahe, liida see kokku ja peaaegu kõik koondub välja; ruutude summa langeb rusudest välja. Sama mehhanism ühe astme võrra kõrgemal annab kuupide summa ning tulemuseks on 55² — esimese n kuubi summa on esimese n arvu summa ruut iga n korral. See ei ole kokkulangevus, mida näeks arvudele otsa vaadates, ning seepärast tasub teleskopeerimine selgeks õppida, ehkki paaride moodustamine annab esimese vastuse kiiremini.
-
Allikad (3)
- Where the Σ sign comes from — Euler’s own text: L. Euler, Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum, vol. 1. Academiae Imperialis Scientiarum Petropolitanae, 1755 (E212).
- And the history of the notation itself: Florian Cajori, A History of Mathematical Notations, Volume II. The Open Court Publishing Company, 1929.
- The conventions this page relies on — inclusive limits, index changes, and why an empty sum is 0: R. L. Graham, D. E. Knuth & O. Patashnik, Concrete Mathematics, 2nd ed., chapter 2 (“Sums”). Addison-Wesley, 1994. ISBN 978-0-201-55802-9.