Förstå talföljder och serier intuitivt (mönster som summeras)

Listan 2, 4, 8, 16 känns som om den pekar någonstans. Du ser de första talen och börjar förutsäga nästa innan någon frågar. Den reflexen, att märka en regel som vecklar ut sig ett steg i taget, är början på talföljder.

Sedan sätter en lärobok index på termerna, introducerar en grekisk versal sigma, och räcker dig separata formler för aritmetiska och geometriska summor. Ett enkelt mönster blir en sida notation. Formlerna fungerar, men originalbilden försvinner.

Den här artikeln återställer bilden. En talföljd är en process som producerar ett tal vid varje steg. En aritmetisk talföljd upprepar addition. En geometrisk talföljd upprepar multiplikation. En serie är vad du får när du adderar utdata, och summaformlerna är genvägar vars former kommer direkt från de två slagen av upprepning.

En talföljd är en funktion med stegstensindata

En talföljd är en ordnad lista tal. Ordningen spelar roll: 2, 4, 8, 16 är inte samma talföljd som 16, 8, 4, 2, även om båda listorna innehåller samma fyra tal.

Det renaste sättet att förstå den ordningen är att koppla talföljder till funktioner. En funktion tar ett indata och returnerar ett utdata. En talföljd gör samma sak, men dess tillåtna indata är positioner: första, andra, tredje, och så vidare. Mata in 1 och den returnerar första termen. Mata in 20 och den returnerar den tjugonde.

Det är vad notationen $a_{n}$ betyder. Bokstaven a namnger talföljden, och det lilla n namnger en position. Symbolen $a_{5}$ betyder inte a gånger 5. Den betyder "termen som sitter på position 5."

Den inramningen skiljer två frågor som elever ofta blandar ihop:

• Vilken regel genererar termerna?
• Vad är värdet på en viss position?

Den synliga listan hjälper dig gissa regeln. Formeln låter dig hoppa direkt till vilken position som helst utan att skriva varje tidigare term.

Aritmetiska talföljder upprepar addition

Betrakta 5, 8, 11, 14, 17, ...

Varje term är 3 mer än den före. Det fasta steget, 3, kallas den gemensamma differensen. En talföljd är aritmetisk när subtraktion av en term från nästa alltid ger samma resultat.

För att nå den andra termen från den första adderar du 3 en gång. För att nå den tredje adderar du den två gånger. För att nå n:te termen adderar du den n minus 1 gånger. Det ger standardformeln:

$$a_{n} = a_{1} + (n - 1)d$$

Här är $a_{1}$ första termen och d den gemensamma differensen. För talföljden ovan:

$$a_{n} = 5 + (n - 1)3$$

Den hundrade termen är därför 5 + 99 gånger 3, vilket är 302. n minus 1 är inte en godtycklig korrigering som måste memoreras. Du startar på den första stegstenen, så att nå sten n kräver n minus 1 steg.

Aritmetiska talföljder modellerar konstant förändring. Lägg till samma belopp på ett sparkonto varje vecka, klättra samma höjd med varje trappsteg, eller öka ett träningsmål med samma tal varje pass, och värdena bildar en aritmetisk talföljd. Rita termnummer mot termvärde och punkterna ligger på en rät linje, för konstant addition är den diskreta versionen av konstant lutning.

Geometriska talföljder upprepar multiplikation

Betrakta nu 5, 15, 45, 135, ...

Differenserna är inte konstanta. De är 10, 30 och 90, så det aritmetiska testet fallerar. Men varje term är 3 gånger den föregående termen. Den fasta multiplikatorn, 3, kallas den gemensamma kvoten. En talföljd är geometrisk när division av en term med den föregående alltid ger samma resultat.

Det upprepade steget är nu multiplikation. För att nå den andra termen multiplicerar du med 3 en gång. För att nå den tredje multiplicerar du med 3 två gånger. För att nå n:te termen multiplicerar du med 3 exakt n minus 1 gånger:

$$a_{n} = a_{1}r^{n - 1}$$

För den här talföljden är $a_{n} = 5 \times 3^{n - 1}$. Samma stegstenslogik förklarar exponenten. Position 1 behöver noll multiplikationer, position 2 behöver en, och position n behöver n minus 1.

Geometriska talföljder modellerar proportionell förändring. Ränta på ränta, upprepad befolkningstillväxt, radioaktivt sönderfall, och en boll som studsar tillbaka till en fast bråkdel av sin föregående höjd fungerar alla så. Kopplingen till exponenter är exakt: upprepad multiplikation är vad en exponent registrerar.

Den gemensamma kvoten kan också ligga mellan -1 och 1, vara negativ, eller noll. Talföljden 80, 40, 20, 10 multiplicerar upprepat med 1/2 och avklingar mot noll. Talföljden 8, -4, 2, -1 multiplicerar upprepat med -1/2, så den krymper medan den växlar sida om noll. "Geometrisk" betyder inte "växer snabbt." Det betyder att kvoten förblir fast.

Rekursiva och explicita regler beskriver olika vyer

Det finns två naturliga sätt att beskriva den aritmetiska talföljden 5, 8, 11, 14, ...

Den rekursiva regeln säger:

$a_{1}$ = 5, och varje ny term är den föregående termen plus 3.

Den explicita regeln säger:

$$a_{n} = 5 + (n - 1)3$$

Den rekursiva regeln beskriver rörelse. Den talar om hur du tar ett steg från där du är. Den explicita regeln beskriver läge. Den talar om var den n:te stegstenen sitter utan att tvinga dig att besöka de tidigare.

Ingen av formerna är mer korrekt. Rekursion är naturlig när nästa tillstånd beror på det nuvarande, som i kontosaldon eller datorsimuleringar. En explicit formel är bättre när du vill ha den miljonte termen och inte vill räkna de första 999 999.

Samma distinktion gäller geometriska talföljder. "Börja på 5 och multiplicera den föregående termen med 3" är rekursivt. "n:te termen är 5 gånger $3^{n - 1}$" är explicit. Den ena talar om processen; den andra komprimerar hela processen till en direktadress.

Inte varje talföljd är aritmetisk eller geometrisk. Fibonacci-talföljden adderar de två föregående termerna, så dess regel är rekursiv men dess differenser och kvoter är inte konstanta. Kvadrattalen 1, 4, 9, 16 har sin egen explicita regel, $a_{n} = n^2$. Aritmetiska och geometriska talföljder spelar roll för att deras upprepning är tillräckligt enkel för att ge kraftfulla summaformler, inte för att varje mönster tillhör en av de två familjerna.

En serie är en talföljd med plustecken

Jämför de här två raderna:

3, 6, 9, 12

3 + 6 + 9 + 12

Den första är en talföljd: fyra separata termer i en viss ordning. Den andra är en serie: de termerna adderade, vilket ger 30. Komman ber dig granska mönstret. Plustecken ber dig summera det.

När en talföljd fortsätter i oändlighet börjar vi ofta med en delsumma, totalen av dess första n termer. Notationen $S_{n}$ betyder precis det. $S_{1}$ är första termen, $S_{2}$ är de första två termerna adderade, och $S_{100}$ är totalen av de första hundra.

Sigma-notation är bara ett kompakt sätt att skriva instruktionen. Den grekiska versalen Σ betyder "addera." Uttrycket bredvid skapar varje term. Det undre talet talar om för indexet var det ska starta, och det övre talet talar om var det ska stanna. Att summera 2k från k = 1 till 4 betyder:

$$2(1) + 2(2) + 2(3) + 2(4) = 2 + 4 + 6 + 8 = 20$$

Symbolen ser avancerad ut för att den komprimerar en hel rad till ett märke. Att veckla ut den återställer den vanliga räkningen under.

Den aritmetiska summaformeln är parning

Ta de första tio termerna av den aritmetiska talföljden från tidigare:

5 + 8 + 11 + 14 + 17 + 20 + 23 + 26 + 29 + 32

Att addera från vänster till höger fungerar, men mönstret erbjuder en genväg. Para första termen med den sista: 5 + 32 = 37. Para den andra med den näst sista: 8 + 29 = 37. Varje yttre par ger samma total för att ett steg inåt adderar 3 till vänster och subtraherar 3 till höger.

Det finns fem par, vart och ett värt 37, så summan är 185.

För vilken aritmetisk serie som helst är den genomsnittliga termen mitt emellan första och sista termen. Multiplicera det genomsnittet med antalet termer:

$$S_{n} = \frac{n(a_{1} + a_{n})}{2}$$

Det här är inte en formel släppt från himlen. Uttrycket ($a_{1}$ + $a_{n}$) / 2 är genomsnittet av ändpunkterna. En jämnt utspridd talföljd balanserar runt det genomsnittet, så dess total är helt enkelt antal termer gånger genomsnittlig term.

Parningen fungerar fortfarande när antalet termer är udda. Mitttermen paras med sig själv, eller så kan du tänka på den som en oparad kopia av genomsnittet. Båda vyerna ger samma formel.

Den geometriska summaformeln är strykning

En aritmetisk serie förblir vänlig för att dess termer kan paras. En geometrisk serie har en annan symmetri: att multiplicera hela summan med den gemensamma kvoten förskjuter varje term ett steg.

Börja med:

$$S_{n} = a_{1} + a_{1}r + a_{1}r^{2} + \ldots + a_{1}r^{n - 1}$$

Multiplicera hela raden med r:

$$rS_{n} = a_{1}r + a_{1}r^{2} + \ldots + a_{1}r^{n - 1} + a_{1}r^{n}$$

Subtrahera den andra raden från den första. Varje mittterm stryks, och bara första termen från toppen och den nya sista termen från botten blir kvar:

$$(1 - r)S_{n} = a_{1} - a_{1}r^{n}$$

Dividera med 1 minus r:

$$S_{n} = \frac{a_{1}(1 - r^{n})}{1 - r}$$

Formeln ser mer komplicerad ut än den aritmetiska för att den underliggande upprepningen är multiplikation i stället för addition. Men dess ursprung är lika konkret. Multiplicera, förskjut, subtrahera, och se mitten försvinna.

Om r är lika med 1 försöker formeln dividera med noll. Det är inte ett mystiskt undantag. En kvot på 1 betyder att varje term är identisk, så summan är helt enkelt n gånger $a_{1}$. Inget stryktrick behövs.

En oändlig serie kan ta slut utan en sista term

Betrakta:

$$\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots = 1$$

Efter en term är delsumman 1/2. Efter två är den 3/4. Efter tre, 7/8. Efter fyra, 15/16. Varje steg fyller hälften av avståndet som återstår under 1.

Det finns aldrig ett sista bråk. Men avståndet till 1 blir 1/2, sedan 1/4, sedan 1/8, och fortsätter att krympa mot noll. Att säga att den oändliga serien summerar till 1 betyder inte att vi avslutade oändligt många additioner. Det betyder att följden av delsummor närmar sig 1 så nära vi vill. Det är samma idé som utvecklas i förstå gränsvärden intuitivt.

För en geometrisk serie innehåller den ändliga formeln redan svaret:

$$S_{n} = \frac{a_{1}(1 - r^{n})}{1 - r}$$

När absolutbeloppet av r är mindre än 1 gör upprepad multiplikation att rⁿ närmar sig noll. Resttermen försvinner i gränsvärdet, och kvar blir:

$$S = \frac{a_{1}}{1 - r}$$

För serien ovan är $a_{1}$ lika med 1/2 och r lika med 1/2, så summan är (1/2) dividerat med (1 - 1/2), vilket är 1.

Om första termen är skild från noll och absolutbeloppet av r är 1 eller större krymper inte termerna mot noll, så den geometriska serien kan inte landa på en ändlig total. Termerna kan växa, förbli konstanta, eller studsa fram och tillbaka. En oändlig lista finns alltid, men en oändlig summa finns bara när dess delsummor närmar sig ett bestämt tal.

Varifrån misstagen kommer

Det första vanliga misstaget är att blanda ihop en talföljd med en serie. Botemedlet är visuellt: komman betyder separata termer, plustecken betyder en total. Innan du tar fram en formel, fråga om problemet vill ha en term eller summan av många termer.

Det andra är att använda n där formeln behöver n minus 1. Både aritmetiska och geometriska n:te-termsformler räknar stegen tagna efter första termen. Första termen är position 1 men kräver noll steg, så position n kräver n minus 1.

Det tredje är att bara testa differenserna. Om en talföljd inte är aritmetisk kallar elever den ofta geometrisk utan att kolla. Aritmetisk betyder konstanta differenser. Geometrisk betyder konstanta kvoter. En talföljd kan vara ingetdera.

Det fjärde är att tillämpa den oändliga geometriska formeln utan att kolla kvoten. Formeln $a_{1}$ dividerat med 1 minus r ger en ändlig summa bara när absolutbeloppet av r är mindre än 1. Skriv det villkoret bredvid formeln tills kollen blir automatisk.

Det sista är att behandla sigma-notation som en ny operation. Det är den inte. Vecka ut de tre första termerna, identifiera mönstret, och symbolen blir en förkortning för räkning du redan kan.

Där Math Zen kommer in

Talföljder blottar små luckor snabbt. Svag teckenräkning gör en negativ gemensam differens obekant. Svaga bråk gör en krympande geometrisk talföljd svårare att känna igen. Svaga exponenter gör n:te-termsformeln till en memoreringsuppgift. Ämnet känns nytt, men de flesta fel kommer från tidigare operationer som ännu inte är automatiska.

Math Zens bucket-progression håller de beroendena synliga. Korta sessioner bygger teckenräkning, bråk, förhållanden, funktioner och exponenter innan mönsterigenkänning, n:te termer och summor blandas in. Utspridd övning återvänder sedan till distinktionen som spelar störst roll: är det här konstant addition, konstant multiplikation, eller ingetdera? Den klassificeringen är det som väljer rätt formel, och upprepade blandade problem bygger den mer tillförlitligt än att läsa om ett formelblad.

Sammanfattning

En talföljd är en funktion vars indata är positioner. En aritmetisk talföljd upprepar addition, så dess n:te term följer en rätlinjig regel. En geometrisk talföljd upprepar multiplikation, så dess n:te term använder en exponent. Rekursiva regler talar om hur du tar nästa steg; explicita regler talar om var vilket steg som helst ligger.

En serie är summan av talföljdstermer. Aritmetiska summor reduceras till antal termer gånger genomsnittlig term för att de yttre värdena paras jämnt. Geometriska summor reduceras genom strykning för att multiplikation med den gemensamma kvoten förskjuter varje term ett steg. När den kvoten har absolutbelopp under 1 krymper den återstående svansen mot noll och till och med en oändlig geometrisk serie kan närma sig en ändlig total.

Notationen är kompakt, men ämnet har bara två motorer: upprepad addition och upprepad multiplikation. När du ser vilken motor som går slutar formlerna att se ut som separata fakta och börjar läsas som beskrivningar av mönstret som redan står på sidan.