Skillnad mellan versioner av "Eriks skumma talföljder"
Erik (diskussion | bidrag) |
Alex (diskussion | bidrag) (→Bevis) |
||
| (En mellanliggande version av samma användare visas inte) | |||
| Rad 14: | Rad 14: | ||
Joakim slafsade sedan fram en rekursionsformel och ett början till bevis för Eriks formel i sömnen. Han insåg samtidigt att allt de hade gjort var att slafsa fram en variant av Pascals Triangel. Senare slafsade han fram sambandet mellan talföljderna och inte lika skumma följder av tvåpotenser. | Joakim slafsade sedan fram en rekursionsformel och ett början till bevis för Eriks formel i sömnen. Han insåg samtidigt att allt de hade gjort var att slafsa fram en variant av Pascals Triangel. Senare slafsade han fram sambandet mellan talföljderna och inte lika skumma följder av tvåpotenser. | ||
| + | |||
| + | Kort därefter bestämde sig [[Erland]] för att vara gnällig och klagade på att icke heltal är otrevliga att ha som index. Ingen orkade bry sig, förrän Joakim en tid senare efter oerhörda mängder slafs löste problemet genom att ''inte'' ha heltal som index. | ||
==Definition== | ==Definition== | ||
''Eriks galna jävla (explicita) formel'' säger att <math>{}_na_k=\sum_{i=\frac{n}{2}-[ \frac{n}{2}]}^\frac{n}{2} {k \choose 2i}</math> där <math>{}_na_k</math> är den k:te termen i den n:te talföljden. Första termen i varje följd, 1, är <math>{}_na_1</math>, men första följden, {1, 1, 1...}, är <math>{}_0a_k</math> - den räknas som den 0:te följden, och {1, 2, 3...} är den första. | ''Eriks galna jävla (explicita) formel'' säger att <math>{}_na_k=\sum_{i=\frac{n}{2}-[ \frac{n}{2}]}^\frac{n}{2} {k \choose 2i}</math> där <math>{}_na_k</math> är den k:te termen i den n:te talföljden. Första termen i varje följd, 1, är <math>{}_na_1</math>, men första följden, {1, 1, 1...}, är <math>{}_0a_k</math> - den räknas som den 0:te följden, och {1, 2, 3...} är den första. | ||
| + | |||
| + | Om man är en [[Erland|gnällig jävel]] och bestämmer sig för att klaga, kan denna, förbättrade formel användas: <math>{}_na_k=\sum_{i=0}^{[\frac{n}{2}]} {k \choose 2(i+\frac{n}{2}-[\frac{n}{2}])}</math> | ||
Eriks galna jävla formel kan skrivas som <math>{k \choose 0}+{k \choose 2}+...+{k \choose n}</math> för jämna n, och <math>{k \choose 1}+{k \choose 3}+...+{k \choose n}</math> för udda n. T.ex. den tredje talföljden är <math>{k \choose 1}+{k \choose 3}</math> och den fjärde är <math>{k \choose 0}+{k \choose 2}+{k \choose 4}.</math> | Eriks galna jävla formel kan skrivas som <math>{k \choose 0}+{k \choose 2}+...+{k \choose n}</math> för jämna n, och <math>{k \choose 1}+{k \choose 3}+...+{k \choose n}</math> för udda n. T.ex. den tredje talföljden är <math>{k \choose 1}+{k \choose 3}</math> och den fjärde är <math>{k \choose 0}+{k \choose 2}+{k \choose 4}.</math> | ||
| Rad 51: | Rad 55: | ||
Ett bevis för Eriks galna jävla formel kan troligen härledas genom att sätta in den i den rekursiva formeln, som endast är en följd av definitionen för Eriks skumma talföljder. Då måste man antagligen dela upp beviset i två fall - när n är jämn och när n är udda. | Ett bevis för Eriks galna jävla formel kan troligen härledas genom att sätta in den i den rekursiva formeln, som endast är en följd av definitionen för Eriks skumma talföljder. Då måste man antagligen dela upp beviset i två fall - när n är jämn och när n är udda. | ||
| + | |||
| + | Här är ett förslag till bevis: | ||
| + | formeln stämmer uppenbart för rad 1, antag att den stämmer för alla rader <math>1\leq i \leq n-1 </math> och antag att <math> 2|n </math>. Formeln stämmer fortfarande för <math> {}_na_1 ={1 \choose 0} = 1</math>. Sätt <math> k > 1 </math> och antag <math>{}_na_j = {j \choose 0} + { j \choose 2} + \ldots + {j\choose n} </math> för alla <math> j < k </math>. Då blir <math>{}_na_k = {}_na_{k-1}+{}_{n-1}a_{k-1} = \sum_{2|i, i<n}{k-l\choose i} + \sum_{2 \not| i, i<n}{k-l\choose i} = \sum_{j, 2j<n}{k-l\choose 2j}+{k-1\choose 2j-1} = \sum_{j, 2j<n}{k \choose 2j}</math> vilket vi skulle visa. Fallet <math> n </math>-udda behandlas ungefär på samma sätt. | ||
Versionen från 23 april 2010 kl. 22.13
|
Den här artikeln behöver mer slafs! |
Eriks skumma talföljder upptäcktes av Erik. De definieras av Eriks galna jävla formel.
Innehåll
Historia
Eriks skumma talföljder slafsades fram av Erik när han för en gångs skull inte sov under en matematiklektion med Ulf. Den första talföljden var 1, 2, 3, 4, 5... och dessa tal var differensen mellan talen i nästa följd, som var differensen mellan talen i nästa följd. Han visade dem för Joakim som märkte att den fjärde talföljden var samma som för antalet regioner i en cirkel där man har dragit alla möjliga kordor mellan ett n antal punkter på periferin. Han slafsade fram formeln, som klassen tidigare hade slafsat fram under en Paullektion, och visade den för Erik som slafsade fram liknande formler för de andra talföljderna. Sedan slafsade han fram en allmän formel för den n:te talföljden. Joakim testade den, och meddelade sedan häpet på MSN att den galna jävla formeln stämde. Detta är historiskt, eftersom det markerar första gången Erik gör rätt och Erik får göra så.
Joakim slafsade sedan fram en rekursionsformel och ett början till bevis för Eriks formel i sömnen. Han insåg samtidigt att allt de hade gjort var att slafsa fram en variant av Pascals Triangel. Senare slafsade han fram sambandet mellan talföljderna och inte lika skumma följder av tvåpotenser.
Kort därefter bestämde sig Erland för att vara gnällig och klagade på att icke heltal är otrevliga att ha som index. Ingen orkade bry sig, förrän Joakim en tid senare efter oerhörda mängder slafs löste problemet genom att inte ha heltal som index.
Definition
Eriks galna jävla (explicita) formel säger att [math]{}_na_k=\sum_{i=\frac{n}{2}-[ \frac{n}{2}]}^\frac{n}{2} {k \choose 2i}[/math] där [math]{}_na_k[/math] är den k:te termen i den n:te talföljden. Första termen i varje följd, 1, är [math]{}_na_1[/math], men första följden, {1, 1, 1...}, är [math]{}_0a_k[/math] - den räknas som den 0:te följden, och {1, 2, 3...} är den första.
Om man är en gnällig jävel och bestämmer sig för att klaga, kan denna, förbättrade formel användas: [math]{}_na_k=\sum_{i=0}^{[\frac{n}{2}]} {k \choose 2(i+\frac{n}{2}-[\frac{n}{2}])}[/math]
Eriks galna jävla formel kan skrivas som [math]{k \choose 0}+{k \choose 2}+...+{k \choose n}[/math] för jämna n, och [math]{k \choose 1}+{k \choose 3}+...+{k \choose n}[/math] för udda n. T.ex. den tredje talföljden är [math]{k \choose 1}+{k \choose 3}[/math] och den fjärde är [math]{k \choose 0}+{k \choose 2}+{k \choose 4}.[/math]
Den rekursiva formeln är [math]{}_na_1={}_0a_k=1, \quad {}_na_k={}_na_{k-1}+{}_{n-1}{}a_{k-1}.[/math]
Egenskaper
Av definitionen följer att om [math]\begin{matrix} a & b \\ c & d \end{matrix}[/math] är tal i Eriks skumma talföljder så gäller att [math]d-c=a[/math] eller [math]d=a+c[/math]. Jämför med Pascals Triangel (som man får om man vrider på den medsols så att a är överst och d är underst), där det i stället gäller att [math]d=b+c[/math].
I följd n gäller att de n+1 första termerna följer formeln [math]2^{k-1}[/math]. Avvikelsen från formeln för term n+m följer talföljden [math]{}_{m-1}a_k[/math]. Detta kan vara en följd av det icke existerande beviset för Eriks galna jävla formel.
Här följer en tabell över de tio första termerna i de tio första följderna:
[math]\begin{matrix} 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 1 & 2 & 4 & 7 & 11 & 16 & 22 & 29 & 37 & 46 \\ 1 & 2 & 4 & 8 & 15 & 26 & 42 & 64 & 93 & 130 \\ 1 & 2 & 4 & 8 & 16 & 31 & 57 & 99 & 163 & 256 \\ 1 & 2 & 4 & 8 & 16 & 32 & 63 & 120 & 219 & 382 \\ 1 & 2 & 4 & 8 & 16 & 32 & 64 & 127 & 247 & 466 \\ 1 & 2 & 4 & 8 & 16 & 32 & 64 & 128 & 255 & 502 \\ 1 & 2 & 4 & 8 & 16 & 32 & 64 & 128 & 256 & 511 \\ 1 & 2 & 4 & 8 & 16 & 32 & 64 & 128 & 256 & 512 \end{matrix}[/math]
Bevis
Ett bevis för Eriks galna jävla formel kan troligen härledas genom att sätta in den i den rekursiva formeln, som endast är en följd av definitionen för Eriks skumma talföljder. Då måste man antagligen dela upp beviset i två fall - när n är jämn och när n är udda.
Här är ett förslag till bevis: formeln stämmer uppenbart för rad 1, antag att den stämmer för alla rader [math]1\leq i \leq n-1 [/math] och antag att [math] 2|n [/math]. Formeln stämmer fortfarande för [math] {}_na_1 ={1 \choose 0} = 1[/math]. Sätt [math] k \gt 1 [/math] och antag [math]{}_na_j = {j \choose 0} + { j \choose 2} + \ldots + {j\choose n} [/math] för alla [math] j \lt k [/math]. Då blir [math]{}_na_k = {}_na_{k-1}+{}_{n-1}a_{k-1} = \sum_{2|i, i\lt n}{k-l\choose i} + \sum_{2 \not| i, i\lt n}{k-l\choose i} = \sum_{j, 2j\lt n}{k-l\choose 2j}+{k-1\choose 2j-1} = \sum_{j, 2j\lt n}{k \choose 2j}[/math] vilket vi skulle visa. Fallet [math] n [/math]-udda behandlas ungefär på samma sätt.
