Középiskolai Matematikai és Fizikai Lapok
Informatika rovattal
Kiadja a MATFUND Alapítvány
Már regisztráltál?
Új vendég vagy?

Fórum: Érdekes matekfeladatok

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]    [51]    [52]    [53]    [54]    [55]    [56]    [57]    [58]    [59]    [60]    [61]    [62]    [63]    [64]    [65]    [66]    [67]    [68]    [69]    [70]    [71]    [72]    [73]    [74]    [75]    [76]    [77]    [78]    [79]    [80]    [81]    [82]    [83]    [84]    [85]    [86]    [87]    [88]    [89]    [90]    [91]    [92]    [93]    [94]    [95]    [96]    [97]    [98]    [99]    [100]    [101]    [102]    [103]    [104]    [105]    [106]    [107]    [108]    [109]    [110]    [111]    [112]    [113]    [114]    [115]    [116]    [117]    [118]    [119]    [120]    [121]    [122]    [123]    [124]    [125]    [126]    [127]    [128]    [129]    [130]    [131]    [132]    [133]    [134]    [135]    [136]    [137]    [138]    [139]    [140]    [141]    [142]    [143]    [144]    [145]    [146]    [147]    [148]    [149]    [150]    [151]    [152]    [153]    [154]    [155]    [156]    [157]    [158]    [159]    [160]    [161]  

Szeretnél hozzászólni? Jelentkezz be.
[2928] jenei.attila2009-04-22 13:13:29

Szép megoldás, grat. Én egy kicsit másképp számoltam, persze az eredmény ugyanez. Ahhoz, hogy bármely 3 pénztáros ki tutja nyitni a széfet, minden zárhoz legalább 2 kulcsot kell kiosztani, ugyanis ekkor bármely 3 pénztárost kiválasztva, legalább az egyiknél lesz az adott zárhoz kulcs. A feladat feltétele szerint azonban semmelyik 2 pénztáros sem tudja a széfet kinyitni, ezért egyik zárhoz sem lehet 2-nél több kulcsot kiosztani. Ugyanis ha valamelyik zárhoz 3 pénztárosnál lenne kulcs, akkor ezt a zárat bármely 2 pénztáros tudná nyitni, a maradék 5 zárat pedig legfeljebb 5 pár pénztáros nem tudná nyitni, de 6 lehetséges pénztáros pár van. Mivel így 12 kulcsot osztunk ki, egy pénztároshoz 3 kulcs kerül. Innentől kezdve ugyanúgy gondolkodtam ahogy te, vagyis "A feltételek értelmében minden egy és kételemű csoportnak van TZ-je, de a három vagy négyelemű csoportoknak nincs. Két kételemű csoportnak – párnak - nem lehet közös TZ-je, hiszen akkor a két pár egyesítéséből adódó legalább 3 elemű csoport nem tudná ezt a zárat kinyitni."

Előzmény: [2924] HoA, 2009-04-21 12:10:19
[2927] jenei.attila2009-04-21 20:56:06

Egyébként összefüggésben van az előző néhány hozzászólásban tárgyalt ún. Dirichlet féle approximációs tétellel, ami az irracionális számok másodrendű racionális közelíthetőségéről szól.

Előzmény: [2925] MTM, 2009-04-21 17:25:26
[2926] jenei.attila2009-04-21 20:39:45

Ezeket úgy hívják, hogy Pell egyenlet. Sok helyen utána lehet nézni.

Előzmény: [2925] MTM, 2009-04-21 17:25:26
[2925] MTM2009-04-21 17:25:26

501. feladat:

Adjunk meg végtelen sok pozitív egész c számot, amire

a, 7c2+1

b, 13c2+1

négyzetszám.

[2924] HoA2009-04-21 12:10:19

500. feladat Nevezzük egy pénztáros csoporthoz tartozó tiltott zárnak (TZ) az olyan zárat, amelyet a csoport tagjai együtt sem tudnak kinyitni. A feltételek értelmében minden egy és kételemű csoportnak van TZ-je, de a három vagy négyelemű csoportoknak nincs. Két kételemű csoportnak – párnak - nem lehet közös TZ-je, hiszen akkor a két pár egyesítéséből adódó legalább 3 elemű csoport nem tudná ezt a zárat kinyitni. Mivel \binom 4 2 = 6 pár van, legalább 6 TZ kell legyen, és mivel éppen 6 zár van, minden párnak pontosan egy TZ-je van. Minden pénztáros 3 pár tagja, így nem lehet nála e három pár TZ –jének kulcsa, vagyis legfeljebb 6-3 = 3 kulcsa lehet. Másrészt 3 olyan pár van, amelyiknek egy kiválasztott pénztáros nem tagja. E 3 pár TZ-jének kulcsa nála kell legyen, különben az egyik ilyen párral hármas csoportot alkotva a pár TZ-jét nem tudnák kinyitni. Ezért legalább 3 kulcsa van. Tehát a feladat kikötése „melynél mindegyik pénztáros ugyanannyi kulccsal rendelkezik” elhagyható, csak ilyen elosztás lehetséges: mindenkinek 3 kulcsa van. A TZ-k párokhoz rendelése a kulcselosztást egyértelműen meghatározza: a fentiek szerint minden pénztáros azzal a 3 kulccsal rendelkezik, amelyik az őt nem tartalmazó párok TZ-jét nyitja. Így a kulcselosztások száma annyi, ahányféleképpen a 6 TZ hozzárendelhető a hat párhoz: 6! = 720.

Előzmény: [2916] lorantfy, 2009-04-19 15:08:06
[2923] sakkmath2009-04-21 11:19:02

EV-tételnek hívják és itt található.

Előzmény: [2909] Cogito, 2009-04-14 16:28:10
[2922] jenei.attila2009-04-20 09:15:07

Először én is a skatulya elvvel hasonló módon próbáltam bizonyítani mint te, mert intuitíve elég nyilvánvalónak tűnik, hogy az {nx} (x rögzített irracionális, n végigfut az egészeken) sűrű [0,1] intervallumban és nem maradnak rések. Egy kicsit tovább gondolva azért rendbe lehet tenni ezt a bizonyítást: osszuk a [0,1] intervallumot N egyenlő részre, ahol 1/N<\varepsilon. Akkor a skatulya elv szerint ahogy írtad, léteznek i és j természetes számok, hogy {ix} és {jx} ugyanabba az 1/N hosszúságú részintervallumba esnek és különbözőek (mivel x irracionális). Ezért {ix}-{jx}<\varepsilon, amiből {(i-j)x}<\varepsilon következik (feltehető hogy i>j). Definíció szerint legyen h:={(i-j)x}. Mivel h<\varepsilon, ezért [0,1] minden 1/N hosszúságú részintervallumában megtalálható lesz h-nak valamelyik többszöröse. Tehát tetszőlegesen kiválasztva egy részintervallumot, valamely k természetes számmal kh eleme lesz ennek a részintervallumnak. Azonban kh=k{(i-j)x}={k(i-j)x}, azaz ha m-et k(i-j) -nek definiáljuk, x-nek olyan mx többszörösét kapjuk, amelynek törtésze az előre kiválasztott 1/N hosszú részintervallumban van. Ez pedig már tényleg azt jelenti, hogy {nx} sűrű [0,1]-ben. Visszatérve az irracionális számok másodrendű racionális közelíthetőségére: úgy tűnik, hogy ez és a most skatulyaelvvel bizonyított állítás ekvivalensek. Tehát próbáljuk meg skatulyaelvvel bizonyítani, hogy tetszőleges x irracionális számra végtelen sok a,b természetes szám létezik, hogy |x-\frac{a}{b}|<\frac{1}{b^2}

Előzmény: [2920] jonas, 2009-04-19 16:08:39
[2921] jenei.attila2009-04-19 17:14:21

Sajnos még mindig nem értem. Amikor ezt írod "{floor(np)} sűrű a [0..1] intervallumon"; itt a floor mit jelent? Az alsó egészrész? Ez ugye nem kell. Az állítás szerintem: tetszőleges adott p irracionális számra az {np} alakú számokból álló halmaz (ahol n végig fut az egész számokon) sűrű [0,1]-ben. "Vegyük most a p első 1/\varepsilon többszörösét, vagyis a p,2p,3p,...,ceil(1/\varepsilon)p számokat. Ezek mindegyike 0 és 1 közé esik" ezt szintén nem értem. Ha pl p=\sqrt{2}, akkor p többszörösei nem esnek 0 és 1 közé. Itt valószínűleg a többszörösök törtrészére gondoltál. "Az np törtrész többszöröseiről nem azt mondom, hogy sűrűek, hanem csak azt, hogy legfeljebb \varepsilon távolságra vannak egymástól". Itt szerintem az np többszörösök törtrészeire gondoltál. Azt nem értem, hogy ezekről mi alapján állítod, hogy "legfeljebb \varepsilon távolságra vannak egymástól". Mert az OK, hogy van olyan \varepsilon hosszú intervallum, amelybe p legalább két többszörösének törtrésze esik, de miből tudjuk, hogy nem marad ki valamely \varepsilon hosszú intervallum? Nem akarlak megsérteni, de szerintem ez a bizonyításod így nem jó. Esetleg ha agy numerikus példán mutatnád be...

Előzmény: [2920] jonas, 2009-04-19 16:08:39
[2920] jonas2009-04-19 16:08:39

A bizonyítást tényleg nem igazán jól írtam le.

Az np törtrész többszöröseiről nem azt mondom, hogy sűrűek, hanem csak azt, hogy legfeljebb \varepsilon távolságra vannak egymástól, így bármilyen valós számhoz van legfeljebb \varepsilon/2 távolságra egy többszörös. Mivel azonban ez minden \varepsilon-ra igaz, ezért a p összes többszörösének törtrészei már sűrűek a [0..1]-ben.

Azt, hogy p irracionális, ott használtam föl, hogy a p többszöröseinek törtrészei nem esnek egybe, mert ellenkező esetben előfordulhatna, hogy a két egy intervallumba eső egészrész valójában egyenlő, vagyis floor(np)=0, amikor is a bizonyítás nem működik.

Előzmény: [2918] jenei.attila, 2009-04-19 15:47:28
[2919] jenei.attila2009-04-19 15:50:57

több helyen lemaradt a {} mint a törtrész jelölése. Én beírtam, csak nem jelent meg.

Előzmény: [2918] jenei.attila, 2009-04-19 15:47:28
[2918] jenei.attila2009-04-19 15:47:28

Az igaz, hogy lesz olyan epszilon hosszú intervallum amelyikbe két többszörös kerül. De ez még nem biztosítja azt, hogy nem lesz olyan epszilon hosszú intervallum, amibe egy többszörös sem kerül. Márpedig a mindenhol sűrűséghez ez kéne. np többszörösei pedig természetesen nem sűrűek R-ben. Az np+k már igen. Továbbra is fenntartom, hogy a mindenhol való sűrűséghez kell, hogy p mint irracionális szám, elsőrendűnél jobban legyen közelíthető racionálisan. Egyébként a te bizonyításodban hol használjuk ki, hogy p irracionális? Mert ha p racionális, akkor is igaz lehet amit mondasz (lesz két olyan np és kp amelyek egy intervallumba esnek).

Előzmény: [2917] jonas, 2009-04-19 15:14:31
[2917] jonas2009-04-19 15:14:31

Azt szerintem is ki kell használni, hogy ha p irracionális, akkor {floor(np)} sűrű a [0..1] intervallumon. Erre viszont én egy másik bizonyítást találok természetesnek, mégpedig a következőt.

Rögzítsük a 0<\varepsilon számot. Osszuk fel a [0..1] intervallumot 1/\varepsilon egyforma részre: [0..\varepsilon],[\varepsilon..2\varepsilon],...,[floor(1/\varepsilon)\varepsilon..floor(1+1/\varepsilon)\varepsilon], mindegyik \varepsilon hosszú. Vegyük most a p első 1/\varepsilon többszörösét, vagyis a p,2p,3p,...,ceil(1/\varepsilon)p számokat. Ezek mindegyike 0 és 1 közé esik, és annyi van belőlük, mint intervallum, így kell lennie egy intervallumnak, ahova kettő esik. Ennek a két többszörösnek a különbsége abszolutértékben legfeljebb \varepsilon, legyen ez a különbség mondjuk 0<floor(np)<\varepsilon (ahol n lehet pozitív vagy negatív, de nem nulla). Ekkor vehetjük egyszerűen np többszöröseit, és ezek is \varepsilon sűrűek.

Előzmény: [2915] jenei.attila, 2009-04-19 14:17:32
[2916] lorantfy2009-04-19 15:08:06

500. feladat: Egy bank páncélszekrényén 6 zár van. Kulcsaikat úgy osztották el a 4 pénztáros között, hogy a páncélszekrény kinyitásához legalább hármójuknak jelen kell lennie, de mind a négynek nem. Egy zárhoz többüknél is van kulcs, illetve egy pénztárosnál több kulcs is van. Hány olyan kulcselosztás van, melynél mindegyik pénztáros ugyanannyi kulccsal rendelkezik?

[2915] jenei.attila2009-04-19 14:17:32

Kíváncsian várom a te megoldásodat. Igazából ez a feladat hasonló állításra épül, mint amit az identitás fv. két periodikus fv. összegeként való előállításakor már említettem. Nevezetesen az np+kq alakú számok halmaza (ahol p,q rögzített nem összemérhető (p/q irracionális) számok, n és k pedig végigfutnak az egész számokon), sűrű a valós számok halmazában. Egyelőre úgy látom, hogy ezt a tényt a feladatod megoldásában ki kell használni, és ez az irracionális számok elsőrendűnél jobb racionális közelíthetőségén múlik.

Előzmény: [2914] forex, 2009-04-19 10:32:27
[2914] forex2009-04-19 10:32:27

Szép,elegáns megoldás! Ha lesz egy kis időm,mutatok egy elemi megoldást is.Köszönöm szépen hogy felraktad a megoldásodat!

üdv Zoli

Előzmény: [2913] jenei.attila, 2009-04-15 19:47:32
[2913] jenei.attila2009-04-15 19:47:32

log210 irracionális, mivel ha rac. lenne, akkor valamely p,q természetes számokkal log_210=\frac{p}{q}, amiből 2^{\frac{p}{q}}=10, azaz 2p=10q. A jobboldalnak 5 osztója, azonban a baloldalnak nem.

Előzmény: [2910] jenei.attila, 2009-04-15 13:07:10
[2912] jenei.attila2009-04-15 14:04:48

Egy elírás: h:=\frac{log_2(n+1)}{log_2n} helyesen h:=log_2\frac{n+1}{n}

Előzmény: [2910] jenei.attila, 2009-04-15 13:07:10
[2911] jenei.attila2009-04-15 13:25:11

Kicsit pontosítva: t:=log2(n+1) és a/b alulról közelítse x -et (a lánctört szeletek felváltva alulról-fölülről közelítik x-et).

Előzmény: [2910] jenei.attila, 2009-04-15 13:07:10
[2910] jenei.attila2009-04-15 13:07:10

Először egy önmagában is érdekes segéd állítást fogok bebizonyítani: legyenek t valós, x irracionális, h pozitív valós számok adottak. Ekkor léteznek k és m természetes számok, hogy

|t+kx-m|<h

, vagyis a t kezdőértékű, x differenciájú számtani sorozat tagjai tetszőlegesen közel kerülhetnek egész számokhoz. Ismeretes, hogy az x irracionális szám másodrendben jól közelíthető racionális számokkal, ami azt jelenti, hogy végtelen sok a és b relatív prím természetes szám létezik, hogy

|x-\frac{a}{b}|<\frac{1}{b^2}

(az x irracionális szám lánctört kifejtésének szeletei ilyenek; ld. Niven Zuckerman: Bevezetés a számelméletbe). Válasszunk olyan b-t, amire 1/b<h/2 teljesül, u pedig definíció szerint legyen u:=[tb] ([] az egészrészt jelöli). Nyilván igaz, hogy |t-\frac{u}{b}|<\frac{1}{b}. Mivel a és b relatív prímek, létezik olyan 0\lek<b természetes szám, amelyre b osztója u+ka -nak. Definíció szerint legyen m:=\frac{u+ka}{b} természetes szám. Ezek szerint

|t+kx-m|=|t-\frac{u}{b}+k(x-\frac{a}{b})|\le |t-\frac{u}{b}|+k|x-\frac{a}{b}|<\frac{1}{b}+\frac{k}{b^2}<\frac{2}{b}<h

Visszatérve az eredeti feladathoz: tetszőleges n természetes számhoz olyan 2 hatványt kell találnunk, amelynek 10-es számrendszerbeli első néhány jegye éppen n-et adja. Ez azt jelenti, hogy léteznek k és m természetes számok, amelyekre

n10k\le2m<(n+1)10k

teljesül. Ezzel ekvivalens

log2n+k*log210\lem<log2(n+1)+k*log210

Látható, hogy az előző allításunkat kapjuk vissza t:=log_2n, x:=log_210, h:=\frac{log_2(n+1)}{log_2n} szereposztással, a k és m pedig ugyanaz. Itt a másodrendű racionális közelíthetőség miatt fontos, hogy log210 irracionális. Ezt szintén be kéne bizonyítani.

Előzmény: [2905] forex, 2009-04-04 14:42:56
[2909] Cogito2009-04-14 16:28:10

Szép, korrekt megoldás (egy apróság: alulról a 9. sorban a harmadik "=" helyére "\ge" írandó).

E feladat általánosítása kapcsán vetette fel Vasile Cirtoaje "egyenlőtlenség-szakértő" :) a következő tételt:

"Adottak az x1, x2, ..., xn nemnegatív valós számok, melyekre fennáll, hogy x1 + x2 + ... + xn = konstans1 és x12 + x22 + ... + xn2 = konstans2. Adott még a k > 2 szám.

Az S = x1k + x2k + ... + xnk összeg maximális, ha x1 = x2 = ... = xn-1 \le xn."

E tétel bizonyítását 'Vasc' sajnos nem közölte. Ismeri valaki ezt a tételt? Érdekelne a bizonyítása, vagy legalább a forrásmű neve, elérhetősége.

Előzmény: [2907] S.Ákos, 2009-04-11 22:33:02
[2908] S.Ákos2009-04-11 22:34:32

az elejéről lemaradt: (a+b+c)2=a2+b2+c2+2(ab+ac+bc), így a2+b2+c2=7

Előzmény: [2907] S.Ákos, 2009-04-11 22:33:02
[2907] S.Ákos2009-04-11 22:33:02

Remélem nem néztem el semmit.

Előzmény: [2906] Cogito, 2009-04-11 20:52:35
[2906] Cogito2009-04-11 20:52:35

Az a, b, c nemnegatív valós számokra a + b + c = 3 és ab + bc + ca = 1. Határozzuk meg az a4 + b4 + c4 kifejezés maximumát.

[2905] forex2009-04-04 14:42:56

Sziasztok!

Bizonyítsátok be hogy tetszőleges k jegyű pozitív n egész számhoz létezik olyan kettőhatvány, melynek első k jegye rendre megegyezik n első k jegyével.

pl.: n=51 ----> 512 ; n=102 -----> 1024 ; n=20 ----> 2048 ;

[2904] jonas2009-04-04 12:12:01

Akkor másodszorra már jó sorozatra hivatkoztam, mert annak ugyanez a rekurziós képlete.

Előzmény: [2903] jenei.attila, 2009-04-04 09:08:53

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]    [51]    [52]    [53]    [54]    [55]    [56]    [57]    [58]    [59]    [60]    [61]    [62]    [63]    [64]    [65]    [66]    [67]    [68]    [69]    [70]    [71]    [72]    [73]    [74]    [75]    [76]    [77]    [78]    [79]    [80]    [81]    [82]    [83]    [84]    [85]    [86]    [87]    [88]    [89]    [90]    [91]    [92]    [93]    [94]    [95]    [96]    [97]    [98]    [99]    [100]    [101]    [102]    [103]    [104]    [105]    [106]    [107]    [108]    [109]    [110]    [111]    [112]    [113]    [114]    [115]    [116]    [117]    [118]    [119]    [120]    [121]    [122]    [123]    [124]    [125]    [126]    [127]    [128]    [129]    [130]    [131]    [132]    [133]    [134]    [135]    [136]    [137]    [138]    [139]    [140]    [141]    [142]    [143]    [144]    [145]    [146]    [147]    [148]    [149]    [150]    [151]    [152]    [153]    [154]    [155]    [156]    [157]    [158]    [159]    [160]    [161]