Citat:
Ursprungligen postat av
Nameless.
Visa att 5^(2n+1) − 3^(2n+1) − 2^(2n+1) är delbart med 30, för alla n ≥ 0.
Jag antar att jag ska visa detta med induktion. Så här långt har jag kommit:
1) Jag har visat att det stämmer för n=0.
2) Jag gör ett antagande att det stämmer för n=p≥0. Mitt antagande är alltså :
5^(2p+1) − 3^(2p+1) − 2^(2p+1) = 30k, (k, icke neg heltal)
3) Nu vill jag visa att det stämmer för n=p+1. Då får jag att
5^(2p+3) − 3^(2p+3) − 2^(2p+3)
ska vara delbart med 30.
Jag har kört fast helt. Jag har använd 30k från mitt antagande med det hjälper mig inte. Vore grymt tacksam om någon kan hjälpa mig på vägen!
Jag hade i efterhand också föredragit Chepitos spår, men om du hade fortsatt på ditt spår men med modulo-beteckning
VL(p+1)
=5^(2p+3) − 3^(2p+3) − 2^(2p+3)
=25*5^(2p+1) − 9*3^(2p+1) − 4*2^(2p+1)
Ditt induktionsantagande blir att 5^(2p+1) − 3^(2p+1) − 2^(2p+1) = 0 Mod 30 (*)
Varje multipel av detta vänsterled blir då också 0 modulo 30, så speciellt kan du använda att
-19*(5^(2p+1) − 3^(2p+1) − 2^(2p+1)) = 0 Mod 30
...för att skriva om ditt vänsterled VL(p+1) Mod 30, men det kräver ju typ att man i förväg 'ser' att det kommer falla ut rätt då:
VL(p+1) Mod 30
= VL(p+1) + 0 Mod 30
= VL(p+1) - 19*(5^(2p+1) − 3^(2p+1) − 2^(2p+1)) Mod 30
= 25*5^(2p+1) − 9*3^(2p+1) − 4*2^(2p+1) - 19*(5^(2p+1) − 3^(2p+1) − 2^(2p+1)) Mod 30
= 6*5^(2p+1) + 10*3^(2p+1) + 15*2^(2p+1) Mod 30
= 6*5*5^(2p) + 10*3*3^(2p) + 15*2*2^(2p) Mod 30
= 30*5^(2p) + 30*3^(2p) + 30*2^(2p) Mod 30
= 0*5^(2p) + 0*3^(2p) + 0*2^(2p) Mod 30
= 0 Mod 30