 Akkor én is lelövöm az én "megoldásom".A két számot a-val, és b-vel fogom jelölni. b=a+k (vagyis a és b között k-1 darab számra kell teljesülnie a feltételnek.)
Az első, ami beugrott, az az ismert feladat, hogy bármely pozitív egész n-re van egymás utáni n darab összetett szám. 6!+1=721 pedig osztható 7-tel, vagyis a=6!, és b=6!+7 jó választás lesz. Azt néztem el, hogy 727 persze nem osztható 7-tel. (No persze annak is be kellett volna ugrani, hogy Wilson-tétele miatt,akkor már pl. 5|4!+1 is igaz, és a=4! is hasonló okok miatt nem megfelelő)
És akkor, hogy lehet jó megoldást adni: Az könnyen látható, hogy a,b>2. Mivel két szomszédos szám legnagyobb közös osztója : (n;n+1)=1, emiatt (a;b-1)>1, és (b;a+1)>1 (és így a-nak, és b-nek kell lennie különböző prímosztójának ). Ha elkezdjük b-1;a-val, illetve b;a+1-gyel az euklideszi-algoritmust, akkor mindkét esetben az első maradék: k-1. Ez a fentiek miatt azt jelenti, hogy k-1-nek legalább két különböző prímosztója van. Nézzük sorba az eseteket (amikor pontosan két prímosztója van k-1-nek!)
1. Ha k-1=2*3. Ekkor b=a+7. (Legyen most 2|a, és 3|b; a fordított eset hasonló!) Ekkor a+1 (=b-6 miatt!); a+2; a+4 (=b-3 is!); a+6 számok "jók", de a+3=b-4 mind a-val, mind b-vel relatív prím. Vagyis ez az eset nem lehet!
2-3. Hasonlóan k-1=2*7 (2|a,7|b) esetre pedig a+7=b-8 "rossz"; míg k-1=2*5 (2|a,5|b) esetre: a+5=b-6 "rossz", amennyiben 3 nem osztója b-nek, és a+9=b-2 "rossz", amennyiben 3 nem osztója a-nak (és persze 3 vagy a-t, vagy b-t oszthatja csak!)
4. Legyen most k-1=3*5 (itt lesz a jó megoldás), illetve 3|a, 5|b! Válasszuk a-t párosnak is (ekkor persze b is az). Így a+1(=b-15 miatt), a+2, a+3,a+4;a+6(=b-10 miatt is);a+8;a+9;a+10;a+11(=b-5 miatt);a+12;a+14;a+15 eleve "jók" (a,és b választása miatt). a+5=b-11; a+7=b-9; a+13=b-3 számokat kell vizsgálnunk csak. Mivel 3 nem osztja b-t, 5 pedig a-t, a fenti három vizsgált szám csak úgy lehet "jó", ha 11|b, míg 7*13|a teljesül. Most ott tartunk, hogy 2*3*7*13=546|a , míg 2*5*11=110|b. Vegyük észre, hogy 5*2*5*11=550 "közel" van 546-hoz. Ha mind 546-t, mind 550-t szorozzuk 4-gyel, akkor megfelelő a-t, b-t kapunk. Vagyis a=2*2*2*3*7*13 = 2184 , és b=2*2*5*5*11 = 2200 valóban jó választás.
Azt még nem látom pontosan, hogy miért ez a legkisebb. Ja és elnézést jonastól (természetesesn Övé az érdem), hogy lelőttem, hogy a megoldása hogy jöhetett ki, a rossz megoldásom miatt próbáltam "kiköszörülni a csorbát"!
Üdv!
|