Fórum: Érdekes matekfeladatok

Tisztázva az eddigieket: a 2^m-1 (mod 2n-1) kongruencia természetesen előállhat, de ez nem jelenti azt, hogy a bal oldali oszlop teljesen fekete lesz. A zavart az okozza, hogy ha 2^m0 (mod 2n-1), az jelentheti a 2n-1 sorszámú korongot is. A kezdetben 0 (bal alsó) illetve 2n-1 (jobb felső) sorszámú korongok minden művelet után eredeti helyükre térnek vissza, ezért elég a többi korong mozgását követni. Ha 2^mq (mod 2n-1) (a jobb alsó korong m művelet után a q pozícióba kerül) és 2q2n-2, akkor könnyen látható, hogy van olyan páros p (2p2n-2), amelyre qp mod 2n-1 páratlan. Ez azt jelenti, hogy a kezdetben páros p sorszámú korong (bal oszlopbeli fehér) páratlan pozícióba, azaz a jobboldali oszlopba kerül. Márpedig a jobboldali oszlop soha nem lehet teljesen fehér, mivel a tetején mindig fekete korong áll. Vagyis m művelet elvégzése után csak akkor lesznek újra egyszínűek az oszlopok (és ekkor minden korong az eredeti helyére kerül vissza), ha 2^m1 (mod 2n-1).

Ha 2^mq (mod 2n-1) és 2q2n-2 akkor p legyen 2n-1/q felső egészrésze, vagy ha ez páratlan adjunk még hozzá 1-et. Ezzel a p-vel qp páros és 2nqp4n-3, vagyis qp mod 2n-1 =qp-(2n-1), ami páratlan.

Összefoglalva: a_n olyan, hogy 2^a_n1 (mod 2n-1). a_n néhány első értéke: 1,2,4,6,6,10,12,8

Lásd ugyanezen topik Fálesz Mihály [1944] hozzászólását ( jelenleg a 31. oldalon található)

Mértani sor összegképletét használva az állítás átírható a következő szintén érdekes alakra:

Ahol omega(n) az n különböző prímosztóinak a száma. Bár nem tudom, hogy ez segít a bizonyításhoz...

Bizonyítsuk be,hogy

ahol p végig fut a primek halmazán.

Javítás: "1 vagy -1 2-es alapú logaritmusa modulo 2n+1" helyesen: 1 vagy -1 2-es alapú logaritmusa modulo 2n-1. Másrészt a 2^m-1 (mod 2n-1) kongruencia valószínűleg soha nem állhat elő, mert a 0 sorszámú korong mindig helyben marad, vagyis a baloldali oszlop soha nem lehet teljesen fekete, márpedig ebből a kongruenciából az következne. Ezen még gondolkozok.

Lórántfy zsetonos feladatáról néhány gondolat. Számozzuk a zsetonokat a következőképen: A baloldali oszlop alsó korongja 0, a jobboldali oszlop alsó korongja 1, a bal oszlop alulról második korongja 2, a jobb oszlop alulról második korongja 3, s.í.t. sorszámokat kapnak. Vagyis a bal oszlopban alulról számolva 0-tól 2n-2 -ig páros sorszámot kapnak, míg a jobboldali oszlopban 1-től 2n-1 -ig páratlan sorszámot kapnak a korongok. összefésülés után, nyilván alulról 0-tól 2n-1 -ig lesznek megszámozva a korongok az egyesített oszlopban. Felezzük el az összefésült oszlopot lórántfy utasítása szerint, majd számozzuk újra a korongokat az előző eljárás szerint. Ekkor, ha egy korong sorszáma eredetileg p volt, akkor újraszámozás után ugyanez a korong 2p mod 2n-1 sorszámot kap. Ha pl. n=3 és a 3-as sorszámú korongot tekintjük (jobboldali oszlop alulról második korongja), akkor ez a 2*3=1 (mod 5) sorszámot kapja, ami azt jelenti, hogy a művelet elvégzése után a jobboldali oszlop aljára kerül. Általában m művelet elvégzése után az eredetileg p sorszámú korong a 2^mp mod 2n-1 sorszámot kapja. Látható, hogy így minden egyes korong mozgását pontosan nyomon tudjuk követni. Tekintsük az eredetileg 1-es sorszámú (jobb oszlop alsó) korongot. Ha 2^m1 (mod 2n-1), akkor m menet után ez a korong az eredeti helyére ér vissza. De ekkor minden korong is az eredeti helyére ér vissza, mert nyilván 2^mpp (mod 2n-1) is igaz. Ha 2^m-12n-2 (mod 2n-1), akkor az eredetileg jobb oszlop alsó korongja a bal oszlop tetejére érkezik, és mindkét oszlop oszloponként egyszínű korongokból fog állni, csak éppen az eredeti sorrend fordítottjaként. Tehát a válasz: ha 2^m1 (mod 2n-1), akkor m művelet elvégzése után biztosan újra egyszínű oszlopokat kapunk. Próbálgatással úgy tűnik azonban, hogy kevesebb lépésben ez nem áll elő. Ezt még be kéne bizonyítani. természetesen az m többszörösei is jók, tehát a legkissebb ilyen m-et keressük (1 vagy -1 2-es alapú logaritmusa modulo 2n+1; nem tudom hogy lehet könnyen kiszámítani).

Amíg nem születik prcíz megoldás, itt egy geomatriai megközelítés, ahol elfogadjuk, hogy "határozott integrál" = "görbe alatti terület" és f'(x) = "érintő meredeksége". A feltétel miatt

Legyen s=sup{|f'(x)|:x[0,1]}>0 ( a triviális 0 esettől eltekinthetünk ). Mindkét oldalt s-sel osztva a baloldalon g(x) = 1/s f(x) integrálja szerepel, a jobboldalon a/2 . Bizonyítandó tehát:

,

ahol g olyan függvény, melyre sup{|g'(x)|:x[0,1]}=1 . Tegyük fel, hogy g(a)=h0 ( ellenkező esetben az abszolút érték miatt vehetjük a -g(x) függvényt ) Ha ábrázoljuk g(x)-et, megállapíthatjuk, hogy 0 és a között nem lehet pontja a -1 meredekségű y = h - ( x - a ) = h + a - x egyenes felett, ugyanis ha valamilyen u-ban g(x) > h + a - u , akkor u és a között lenne olyan v, ahol |g'(v)| > 1. Ugyanígy nem lehet g(x)-nek pontja (0,a) -ban az y = h + x - a egyenes alatt sem. A baloldali integrál abszolut értéke, a görbe alatti terület akkor a legnagyobb, ha a teljes rendelkezésre álló pozitív tartományt kitölti, vagyis . a és 1 között a görbe alatti terület 0, tehát g(x) negatív értéket is felvesz, ezért van olyan x(a,1) , ahol g(x) = 0 . Az a-hoz legközelebbi ilyen x legyen b. Az előzőekhez hasonlóan belátható, hogy a és b között a görbének nem lehet pontja az y = h + a - x egyenes alatt, így ba+h és Végül a (b,1) szakaszon , a görbének nem lehet pontja az y = b -x egyenes alatt, amiből az előzőekhez hasonlóan következik. Egyenlőtlenségeinket egybevetve

. Nemnegatív számokról lévén szó

Legyen f:[0,1]R deriválható függvény, úgy hogy létezik a(0,1) melyre Bizonyitsuk be hogy:

A céltábla középpontja csak a 2×2-es négyzet közepébe eső 1×1-es négyzetbe eshet. Egy lövés akkor találja el a céltáblát, ha annak sugarú környezetébe esik a céltábla középpontja. A kérdés tehát az, legkevesebb hány sugarú körrel fedhető le az egységnégyzet. Ehhez pedig legalább 4 szükséges ugyanis tekintsük a négyzet sarkait, ha 3 körrel le tudnánk fedni, lenne két sarok amit ugyanaz a kör fed le. Ez csak úgy lehet ha az egyik oldal a az egyik kör átmérője, a kimaradó rész pedig könnyen láthatóan nem fedhető le 2 körrel (a két már lefedett sarokhoz akármilyen közel van még lefedendő pont így megint oldal átmérőjű köröket kell elhelyezni).

4 elég.