Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl

Relevanta dokument
Lösning till tentamensskrivning i Diskret Matematik för CINTE och CMETE, m fl, SF1610, tisdagen den 2 juni 2015, kl

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl

Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl

DEL I. Matematiska Institutionen KTH

Lösning till tentamensskrivning i Diskret Matematik, SF1610 och 5B1118, torsdagen den 21 oktober 2010, kl

Lösning till tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610 och 5B1118, tisdagen den 7 januari 2014, kl

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl

, S(6, 2). = = = =

Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 10 januari 2011 kl

Hjalpmedel: Inga hjalpmedel ar tillatna pa tentamensskrivningen. 1. (3p) Los ekvationen 13x + 18 = 13 i ringen Z 64.

DEL I. Matematiska Institutionen KTH

1. (3p) Ett RSA-krypto har parametrarna n = 77 och e = 37. Dekryptera meddelandet 3, dvs bestäm D(3). 60 = = =

Lösningsförslag till tentamensskrivning i SF1610 Diskret Matematik för CINTE 30 maj 2018, kl

1. (3p) Bestäm den minsta positiva resten vid division av talet med talet 31.

DEL I. Matematiska Institutionen KTH

Efternamn förnamn pnr årskurs

1. (3p) Ett RSA-krypto har de offentliga nycklarna n = 33 och e = 7. Dekryptera meddelandet 5. a b c d e. a a b c d e

Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra, SF1604, den 15 mars 2012 kl

a n = A2 n + B4 n. { 2 = A + B 6 = 2A + 4B, S(5, 2) = S(4, 1) + 2S(4, 2) = 1 + 2(S(3, 1) + 2S(3, 2)) = 3 + 4(S(2, 1) + 2S(2, 2)) = = 15.

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604 för D, den 5 juni 2010 kl

Lösning av tentamensskrivning på kursen Linjär algebra, SF1604, för CDATE, CTFYS och vissa CL, tisdagen den 20 maj 2014 kl

Efternamn förnamn pnr årskurs

Efternamn förnamn pnr årskurs

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 11 april, 2002

Efternamn förnamn pnr programkod

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 17 april 2010 kl

Efternamn förnamn ååmmdd kodnr

Lösning till tentamensskrivning på kursen Linjär algebra, SF1604, den 12 mars 2013 kl

Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 9 juni 2011 kl

Tentamen TMV210 Inledande Diskret Matematik, D1/DI2

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 15 mars 2010 kl

1. (a) (1p) Undersök om de tre vektorerna nedan är linjärt oberoende i vektorrummet

Matematiska Institutionen KTH. Lösningar till några övningar inför lappskrivning nummer 7, Diskret matematik för D2 och F, vt08.

x 23 + y 160 = 1, 2 23 = ,

8(x 1) 7(y 1) + 2(z + 1) = 0

Matematiska Institutionen KTH. Lösning till några övningar inför lappskrivning nummer 5, Diskret matematik för D2 och F, vt09.

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 20 december, 2001

18 juni 2007, 240 minuter Inga hjälpmedel, förutom skrivmateriel. Betygsgränser: 15p. för Godkänd, 24p. för Väl Godkänd (av maximalt 36p.

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 22 augusti, 2001

MS-A0409 Grundkurs i diskret matematik Appendix, del II

Efternamn förnamn pnr kodnr

Några satser ur talteorin

Diskret matematik: Övningstentamen 1

Diskret matematik: Övningstentamen 4

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18: Svar: Ja, det gäller, vilket kan visas på flera sätt (se nedan).

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 14 augusti, 2002

Kinesiska restsatsen

Sats 2.1 (Kinesiska restsatsen) Låt n och m vara relativt prima heltal samt a och b två godtyckliga heltal. Då har ekvationssystemet

Modelltentamen. Ditt svar ska vara ett ändligt uttryck utan summationstecken.

Institutionen för matematik, KTH Mats Boij. Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 20 december, 2000

Efternamn förnamn pnr årskurs

Lars-Daniel Öhman Lördag 2 maj 2015 Skrivtid: 9:00 15:00 Hjälpmedel: Miniräknare, lock till miniräknare

Tentamen TMV210/MMGD10 Inledande Diskret Matematik, D1/GU

Hela tal LCB 1999/2000

Lösningsförslag till övningsuppgifter, del II

DEL I. Matematiska Institutionen KTH

Lösningsförslag till övningsuppgifter, del V

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Lösningar till utvalda uppgifter i kapitel 5

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Daniel Bergh. Lösningsförslag Algebra och kombinatorik

SF2715 Tillämpad kombinatorik, 6hp

Lösningar till Algebra och kombinatorik

Algebra och kombinatorik 28/4 och 5/ Föreläsning 9 och 10

Induktion, mängder och bevis för Introduktionskursen på I

1. 20 identiska bollar skall delas ut till fem flickor och fem pojkar. På hur många olika sätt kan detta ske om

SF2715 Applied Combinatorics// Extra exercises and solutions, Part 2

σ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56).

SF2703 Algebra grundkurs Lösningsförslag med bedömningskriterier till tentamen Måndagen den 9 mars 2009

10! = =

Tentamen i Linjär algebra (TATA31/TEN1) ,

Övningshäfte 2: Induktion och rekursion

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18:00

{ } { } En mängd är en samling objekt A = 0, 1. Ex: Mängder grundbegrepp 5 C. Olof M C = { 7, 1, 5} M = { Ce, Joa, Ch, Je, Id, Jon, Pe}

Explorativ övning 9 RELATIONER OCH FUNKTIONER

Om relationer och algebraiska

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

1. (a) Lös ekvationen (2p) ln(x) ln(x 3 ) = ln(x 6 ). (b) Lös olikheten. x 3 + x 2 + x 1 x 1

Lösningar till utvalda uppgifter i kapitel 2

DEL I. Matematiska Institutionen KTH

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del II

kvoten mellan två på varandra följande tal i en talföljd är konstant alltid lika stor.

Grupper och RSA-kryptering

Algebra och kryptografi Facit till udda uppgifter

Tentamen TMV140 Linjär algebra Z

f(x) = x 1 g(x) = x 2 2x + 3.

3. Bestäm med hjälpa av Euklides algoritm största gemensamma delaren till

Föreläsningsanteckningar och övningar till logik mängdlära

RSA-kryptering och primalitetstest

Matematiska uppgifter

Explorativ övning 5 MATEMATISK INDUKTION

Kombinatorik. Kapitel 2. Allmänt kan sägas att inom kombinatoriken sysslar man huvudsakligen med beräkningar av

MS-A0409 Grundkurs i diskret matematik II

Föreläsning 9: NP-fullständighet

SF2703 Algebra grundkurs Lösningsförslag med bedömningskriterier till tentamen Fredagen den 5 juni 2009

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007

4x az = 0 2ax + y = 0 ax + y + z = 0

TMV166 Linjär Algebra för M. Tentamen

Algebra och Diskret Matematik A (svenska)

3 differensekvationer med konstanta koefficienter.

Transkript:

1 Matematiska Institutionen KTH Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl 14.00-19.00. Examinator: Olof Heden Hjälpmedel: Inga hjälpmedel är tillåtna på tentamensskrivningen. Betygsgränser: (OBS: Totalsumma poäng vid denna tentamensskrivning är 36p.) 13 poäng totalt eller mer ger minst omdömet Fx 15 poäng totalt eller mer ger minst betyget E 18 poäng totalt eller mer ger minst betyget D 22 poäng totalt eller mer ger minst betyget C 28 poäng totalt eller mer ger minst betyget B 32 poäng totalt eller mer ger minst betyget A Observera: Generellt gäller att för full poäng krävs korrekta och väl presenterade resonemang. DEL I Var och en av nedanstående uppgifter svarar mot en kontrollskrivning. Godkänt resultat på en kontrollskrivning ger automatiskt full poäng på motsvarande uppgift. Att lösa en uppgift som man på detta sätt redan har till godo ger inga extra poäng. 1. (3p) Bestäm samtliga lösningar i ringen Z 102 till ekvationen 43x + 37 = 50. Lösning. Eftersom sgd(102, 43) = 1 så är elementet 43 inverterbart i ringen Z 102 och lösningen till ekvationen ges av x = 43 1 (50 37). Vi söker inversen till 43 m hj a Euklides algoritm: vilket ger 102 = 2 43 + 16, 43 = 3 16 5, 16 = 3 5 + 1, 1 = 16 3 5 = 16 3(3 16 43) = 8 16 + 3 43 = 8(102 2 43) + 3 43 = 19 43 8 102, så 19 43 1(mod 102). Vi får alltså, med räkningar i ringen Z 102 SVAR: 43. x = 19 13 = {19 13 = 247 = 2 102 + 43} = 43 2. (a) (1p) Tio indetiska objekt skall placeras i fem etiketterade lådor. På hur många olka sätt kan objekten fördelas i lådorna, om vi tillåter att lådor blir tomma? Svaret skall ges i formen av ett heltal. Lösning. Enligt känd formel ( ) 10 + 5 1 = 5 1 SVAR: 1001. 14 13 12 11 1 2 3 4 = 7 13 11 = 91 11 = 1001

2 (b) (1p) Tio olika objekt skall placeras i fem etiketterade lådor med två objekt i varje låda. På hur många olika sätt kan detta ske? Svaret skall ges i formen av ett heltal. Lösning. Enligt känd formel ( ) 10 = 10 9 2 1 2, 2, 2, 2, 2 2 2 2 2 2 SVAR: 113400. = 10 9 7 6 5 3 2 = 10 81 7 20 = 10 567 20 = 113400. (c) (1p) Tio olika objekt skall placeras i fem oetiketterade lådor med två objekt i varje låda. På hur många olika sätt kan detta ske? Svaret skall ges i formen av ett heltal. Lösning. Antag svaret på frågan är x. Eftersom det finns 5! sätt att etikettera fem oetiketterade lådor får vi från föregående deluppgift att x = 1 ( ) 5! 10 = 10 9 7 6 5 3 2 = 5 9 7 3 = 45 21 = 945. 2, 2, 2, 2, 2 1 2 3 4 5 SVAR: 945. 3. (3p) Gruppen G har en delgrupp H med 7 element och en delgrupp K med 5 element samt eventuellt också delgrupper av andra storlekar. Förklara varför antalet sidoklasser i G till delgruppen K är delbart med 7. Lösning. Enligt Lagranges sats så gäller att antal element i gruppen G delas av antalet element i sina delgrupper. Vi har alltså att 5 G och 7 G och därmed att G = k 35. Vet vidare också att sidoklasserna till en delgrupp K partitionerar G i lika stora parvis disjunkta delmängder. Så om t är antalet sidoklasser får vi likheten Då K = 5 får vi t = 7k, vilket skulle visas. t K = G = k 35 4. (a) (2p) Bestäm kontrollmatrisen (parity-checkmatrisen) till en 1-felsrättande kod C med 256 ord av minsta möjliga längd n. Lösning. Antal ord i koden är 2 n r där r är antalet rader i den sökta kontrollmatrisen H och n antalet kolonner i H. Talet n är också ordlängden. Antalet ord är 256 ger då att n r = 8. Men villkoret att kontrollmatrisens kolonner är olika, och skilda från nollkolonnen ger då att r > 3, ty om r = 3 skulle n = 11 men det finns i så fall bara 7 möjliga kolonner att placera i matrisen H. Minsta möjliga n fås då när n = 12. T ex kan vi låta H = 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 (b) (1p) Bestäm antalet ord av längd n som inte tillhör koden C ovan och ej heller kan rättas till ett ord i C. Lösning. Ord på avstånd ett från kodord kan rättas. Det finns 12 ord på avstånd ett från varje kodord. Totala antalet ord som ligger på avstånd ett från ett kodord är eller är ett kodord är då 2 8 12 + 2 8, eftersom varje ord ligger på avstånd ett eller mindre från högst ett kodord. Totalt finns 2 12 ord av längd 12 så SVAR: 2 12 13 2 8, dvs 768.

3 5. (3p) I den planära och sammanhängande grafen G har alla noder valensen 3. Antalet kanter (inklusive eventuella multipelkanter) är 186. Bestäm antalet områden, ytterområdet medräknat, som uppstår vid en plan ritning av grafen. Lösning. Vi kommer att använda Eulers formel r = e + 2 v för sammanhängande planära grafer, där r betecknar antalet områden som bildas vid en plan ritning, e antalet kanter och v antalet noder. Sammbandet mellan nodernas valenser och antalet kanter ger Alltså v = 124. Då 186 + 2 124 = 64 så SVAR: Antalet områden är 64. 3v = 2 186. DEL II 6. (3p) Den oändliga talföljden a 0, a 1,... definieras rekursivt genom sambandet a n = a n 1 + 4a n 2 + 4a n 3, för n = 3, 4,... samt av att a 0 = 3, a 1 = 1 och a 2 = 9. Visa med ett induktionsbevis att a n = ( 1) n + 2 n + ( 2) n för n = 0, 1, 2, 3,.... Lösning. Sätt b n = ( 1) n + 2 n + ( 2) n. Vi skall visa att a n = b n för n = 0, 1, 2,.... Vi konstaterar först att b 0 = 1 + 1 + 1 = a 0, b 1 = 1 + 2 2 = a 1 och b 2 = 1 + 4 + 4 = a 2. Återstår att verifiera det så kallade induktionssteget, dvs implikationen a n 3 = b n 3 a n 2 = b n 2 = a n = b n. a n 1 = b n 1 Vi får nu a n = a n 1 + 4a n 2 + 4a n 3 = {om a n 1 = b n 1, a n 2 = b n 2 och a n 3 = b n 3 } = = b n 1 + 4b n 2 + 4b n 3 = = (( 1) n 1 + 2 n 1 + ( 2) n 1 ) + 4(( 1) n 2 + 2 n 2 + ( 2) n 2 ) + 4(( 1) n 3 + 2 n 3 + ( 2) n 3 ) = = ( 1) n 3 ( 1 4 + 4) + 2 n 3 ( 2 2 + 4 2 + 4) + ( 2) n 3 ( ( 2) 2 + 4( 2) + 4) = = ( 1) n + 8 2 n 3 + ( 8)( 2) n 3 = ( 1) n + 2 n + ( 2) n = b n Induktionsprincipen ger nu att a n = b n för n = 0, 1, 2,... 7. (4p) Bestäm antalet Booleska funktioner g i de fyra variablerna x, y, z och w, dvs g = g(x, y, z, w), som satisfierar bägge ekvationerna i ekvationssystemet { (x + y)z + g(x, y, z, w) = 1 (z + w z)ȳ + g(x, y, z, w) = 1 Lösning. I de punkter där minst en av de Booleska funktionerna (x + y)z och (z + w z)ȳ tar värdet 0 måste g ha värdet 1 för att satisfiera ekvationssystemet. I övriga punkter kan, eftersom 1 + g = 1

4 i varje Boolesk algera, funktionen g tilldelas godtyckligt värdet 0 eller 1. Vi söker allså de punkter där både (x + y)z och (z + w z)ȳ antar värdet 1. De är de enda punkter där produkten av dessa Booleska uttryck är lika med ett. Vi skriver produkten av uttrycken på en disjunktiv normalform: (x + y)z (z + w z)ȳ = xzzȳ + yzzȳ + xzw zy + yzw zȳ = xzȳ = xzȳ(w + w) = xȳzw + xȳz w. De fundamentala konjunktionerna ovan tar värdet 1 i punkterna (1, 0, 1, 1) och (1, 0, 1, 0). Så, 2 2 möjliga funktioner. SVAR: Antalet lösningar till det givna systemet är 4. 8. (4p) Sju flickor och åtta pojkar skall delas in i fyra grupper. På hur många sätt kan detta ske om varje grupp skall innehålla minst en flicka, och exakt en grupp skall sakna pojkar. Svaret får ges som summor och produkter av hela tal, (och lösningen skall motiveras). Lösning. Flickorna kan delas in i fyra icketomma grupper på S(7, 4) olika sätt. Efter varje genomförd sådan uppdelning kan grupperna betraktas som etiketterade, namngivna av sina medlemmar. En av dessa grupper skall sakna pojkar. Det finns fyra val av en sådan grupp. Resterande tre grupper skall innehålla minst en pojke. Antalet uppdelningar av de åtta pojkarna i tre icketomma etiketterade delgrupper beräknas nog enklast med hjälp av inklusion exklusion, på sedvanligt sätt. Detta antal blir 3 8 3 2 8 + 3 1 8 = 81 81 3 256 + 3. Så svaret fås av multiplikationsprincipen till S(7, 4) 4 (81 81 3 256 + 3). För att beräkna Stirlingtalet S(7, 4) använder vi rekursionen S(n, k) = S(n 1, k 1) + ks(n 1, k) och får Vidare S(7, 4) = S(6, 3) + 4S(6, 4), S(6, 3) = S(5, 2) + 3S(5, 3), S(6, 4) = S(5, 3) + 4S(5, 4). S(5, 3) = S(4, 2) + 3S(4, 3), S(5, 2) = S(4, 1) + 2S(4, 2) Vi minns kanske att S(4, 1) = 1, S(4, 2) = 7 och att S(n, n 1) = ( n 2), Så S(5, 2) = 1 + 2 7 = 15, S(5, 3) = 7 + 3 6 = 25, S(5, 4) = 10 och sen Tillslut S(6, 3) = 15 + 3 25 = 90, S(6, 4) = 25 + 4 10 = 65. S(7, 4) = 90 + 4 65 = 350. SVAR: 350 4 (81 81 3 256 + 3). DEL III Om du i denna del använder eller hänvisar till satser från läroboken skall dessa citeras, ej nödvändigvis ordagrant, där de används i lösningen. 9. (a) (1p) Förklara varför mängden av element i en cyklisk grupp G aldrig är en union av mängderna av element i en samling icketriviala delgrupper till G, dvs visa att G H 1 H 2... H k, för varje uppsättning icketriviala delgrupper H 1, H 2..., H k till G om G är en cyklisk grupp. Lösning. Antag att elementet g genererar g. Om G = H 1 H 2... H k,

5 så g H i för någon av delgrupperna H i, för i = 1, 2,..., k. Men då gäller, eftersom H i är sluten m a p operationen i H i, att G = g H i G varur G = H i. Då är H i ingen icketrivial delgrupp till G. (b) (2p) Bevisa att ingen grupp G är en union av två icketriviala delgrupper H 1 och H 2 till G. Lösning. Antag att G = H 1 H 2. Om H 2 H 1 så H 1 H 2 = H 1. Vi kan anta att H 2 inte är innehållet i H 1 och vice versa. Låt h 1 H 1 \ H 2 och h 2 H 2 \ H 1. Då gäller att Antag h 1 h 2 = h 1 H 1. Då gäller h 1 h 2 G = H 1 H 2 h 2 = h 1 1 h 1 H 1 vilket motsäger antagandet h 2 H 2 \ H 1. På samma sätt gäller att h 1 h 2 H 2. Men h 1 h 2 G = H 1 H 2. (c) (1p) Ange en grupp G som är en union av tre icketriviala delgrupper H 1, H 2 och H 3 till G. Lösning. Låt G beteckna gruppen som består av de multiplikativt inverterbara elementen i ringen Z 12, så G = {1, 5, 7, 11}, som har delgrupperna vars union är G. H 1 = 5 = {1, 5}, H 2 = 7 = {1, 7} H 3 = 11 = {1, 11}, (d) (1p) Finns det någon grupp G som är en union av fyra icketriviala delgrupper till G? Motivera ditt svar. Lösning. Vi låter G vara gruppen S 4, dvs mängden av permutationer av elementen i mängden {1, 2, 3, 4}. Denna grupp är följande union av fyra av sina icketriviala delgrupper: S 4 = {id., (1 2 3), (1 3 2)} {id., (1 2)} {id., (2 3)} {id., (1 3)} 10. (5p) Låt S n beteckna mängden av alla permutationer av elementen i mängden {1, 2,..., n}. Låt m(k) beteckna det minsta heltal m sådant att S n har en permutation av ordning k för alla hela tal n m. Härled en formel för antalet permutationer av ordning k i S m(k). (Kvaliteten hos dina motiveringar spelar stor roll vid poängbedömningen av denna uppgift.) Lösning. Vi konstaterar först att om elementet ϕ i gruppen S n har ordning k så finns för varje t n en permutation ψ i S t av ordning k, nämligen { ϕ(i) om i n, ψ(i) = i om n < i t. Alltså räcker det att hitta det minsta tal m = m(k) sådant att S m har en permutation av ordning k. Vi visar att om k = 1 per r, där p 1,..., p r är olika primtal, och exponenterna e 1,..., e r är positiva heltal, så är m(k) = 1 + + per r, samt att varje permutation av ordning k i S m(k) då är en produkt av r disjunkta cykler av längderna 1, pe2 2,..., resp per r. Varje element i S m(k) finns då med i precis en cykel. Eftersom varje cykel av längd q = p ei i kan representeras på q olika sätt, se nedan: (a 1 a 2, a q 1 a q ) = (a 2 a q 1 a q a 1 ) = = (a q a 1 a 2, a q 1 ),

6 så är det sökta formeln för antalet permutationer av ordning k i S m(k), enligt multiplikationsprincipen, lika med m(k)! 1 per r dvs Nu till bevis av att m(k) är som ovan angivits. ( 1 + + per r )! 1. per r Vi kommer att använda oss av att ordningen av en permutation är minsta gemensamma multipleln av cykellängderna, utan att alltid specifikt hänvisa till detta faktum. Till exempel om ϕ är en produkt av r stycken disjunkta cykler av längd p ei i, för i = 1, 2,..., r, så har ϕ ordning k. Vidare kommer vi att använda att l = m 1 m 2 m s = l > m 1 + m 2 + + m s. om m i 2 för i = 1, 2,..., s och minst ett av talen m i är större än 2 samt s 2. (Bevis av detta är ej nödvändigt för full poäng men kommer här: m 1 m 2 > (m 1 1)(m 2 1) > 1 = m 1 m 2 m 1 m 2 + 1 > 1 = m 1 m 2 > m 1 + m 2, om t ex m 2 1 > 1. Fortsätt sedan med ett induktionsbevis för att uppnå den generella olikheten för en produkt av s faktorer samtliga minst lika med 2.) Antag ϕ är en permutation av ordning k. Vi skriver ϕ som en produkt av disjunkta cykler ϕ = l 1 l 2 l s med längderna m 1, m 2,..., m s. Ordningen av ϕ är minsta gemensamma multipeln av talen m 1, m 2,..., m s. Så samtliga primtalspotenser p ei i måste var och en dela minst ett av talen m i. Antag att m i = p ei 1 i 1 p ei 2 i 2 p eiq i q a i. för något heltal a i. Då gäller från ovan att m i p ei 1 i 1 + p ei 2 i 2 + + p eiq i q + a i. (1) Låt d i beteckna antalet tal m j, där j = 1, 2,..., s, som delas av talet p ei i. Vi får då från ekvation (1) att m 1 + + m s d 1 1 + + d rp er r 1 + + per r = m(k) (2) eftersom vi redan konstaterat att d i 1 för i = 1, 2,..., r. Cyklerna l 1,..., l s är disjunkta och minst m(k) olika element permuteras. Av ekvation (2) framgår att det inte finns någon annan möjlighet att uppnå denna undre begränsning på ett annat sätt än när antalet cykler är r och cyklernas längder är p ei i, för i = 1, 2,..., r. SVAR: För k = 1 per r, där p 1,..., p r är olika primtal, och exponenterna e 1,..., e r är positiva heltal, så är den sökta formeln ( 1 + + per r )! 1. per r