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]    [162]    [163]    [164]    [165]    [166]    [167]    [168]    [169]    [170]    [171]    [172]    [173]    [174]    [175]    [176]    [177]    [178]    [179]    [180]    [181]    [182]    [183]    [184]    [185]    [186]    [187]    [188]    [189]    [190]    [191]    [192]    [193]    [194]    [195]    [196]    [197]    [198]    [199]    [200]    [201]    [202]    [203]    [204]    [205]    [206]    [207]    [208]    [209]    [210]    [211]    [212]    [213]    [214]    [215]    [216]    [217]    [218]    [219]    [220]    [221]    [222]    [223]    [224]    [225]    [226]    [227]    [228]    [229]    [230]    [231]    [232]    [233]    [234]    [235]    [236]    [237]    [238]    [239]    [240]    [241]    [242]    [243]    [244]    [245]    [246]    [247]    [248]    [249]    [250]    [251]    [252]    [253]    [254]    [255]    [256]    [257]    [258]    [259]    [260]    [261]    [262]    [263]    [264]    [265]    [266]    [267]    [268]    [269]    [270]    [271]    [272]    [273]    [274]    [275]    [276]    [277]    [278]    [279]    [280]    [281]    [282]    [283]    [284]    [285]    [286]    [287]    [288]    [289]    [290]    [291]    [292]    [293]    [294]    [295]    [296]    [297]    [298]    [299]    [300]    [301]    [302]    [303]    [304]    [305]    [306]    [307]    [308]    [309]    [310]    [311]    [312]    [313]    [314]    [315]    [316]    [317]    [318]    [319]    [320]    [321]    [322]    [323]    [324]    [325]    [326]    [327]    [328]    [329]    [330]    [331]    [332]    [333]    [334]    [335]    [336]    [337]    [338]    [339]    [340]    [341]    [342]    [343]    [344]    [345]    [346]    [347]    [348]    [349]    [350]    [351]    [352]    [353]    [354]    [355]    [356]    [357]    [358]    [359]    [360]    [361]    [362]    [363]    [364]    [365]    [366]    [367]    [368]    [369]    [370]    [371]    [372]    [373]    [374]    [375]    [376]    [377]    [378]    [379]    [380]    [381]    [382]    [383]    [384]    [385]    [386]    [387]    [388]    [389]    [390]    [391]    [392]    [393]    [394]    [395]    [396]    [397]    [398]    [399]    [400]    [401]    [402]  

Szeretnél hozzászólni? Jelentkezz be.
[3253] bily712010-02-16 20:04:32

Ez a kongruenciarendszer minden természetes számot lefed a 0-án kívül, tehát részleges lefedőrendszer. Változtassunk egy kicsit a szabályokon. Legyen az x_n\equiv\left[\frac{p_n}{6}\right]~(\mod{p_n}) kongruenciáknak megfelelő számtani sorozatok első eleme p_n+\left[\frac{p_n}{6}\right], az x_m\equiv-\left[\frac{p_m}{6}\right]~(\mod{p_m}) kongruenciáknak megfelelőeknek pedig változatlanul -\left[\frac{p_m}{6}\right].

Nevezzük az ilyen rendszereket, ahol a kongruenciáknak megfelelő számok sorozata nem a maradékosztályt reprezentáló legkisebb elemtől indul, számtani sorozatok lefedőrendszerének, ha minden természetes szám tagja legalább egy sorozatnak. Számtani sorozatok részleges lefedőrendszerének pedig akkor, ha létezik k>0 természetes szám, úgy, hogy a rendszer minden k-nál nagyobb számot lefed.

Utolsó kérdésem e témában: 1. Az így kapott számtani sorozatok rendszere részleges lefedőrendszer-e, vagyis a le nem fedett számok halmaza véges, avagy végtelen?

Mégegyszer elnézést kérek a témakör érdektelenségéért.

Előzmény: [3248] bily71, 2010-02-14 23:10:38
[3254] bily712010-02-16 20:06:05

Erre majd később válaszolok, most nincs időm.

Előzmény: [3252] Fálesz Mihály, 2010-02-15 10:16:52
[3255] jonas2010-02-16 20:54:36

Nem, én azt állítom, hogy a következő egy lefedő rendszer:

x0\equiv0(mod p0)

x1\equiv1(mod p1)

x2\equiv-1(mod p2)

x3\equiv2(mod p3)

x4\equiv-2(mod p4)

x5\equiv3(mod p5)

stb, ahol pi mondjuk a prímszámok sorozata.

Ez akkor is működik, ha mondjuk pi=10i+1: ilyenkor a kongruenciák közül bármelyik véges sok együtt csak a természetes számok legfeljebb egy kilenced részét fedi le, mégis az összes kongruencia együtt már lefedi az összes egész számot.

Előzmény: [3248] bily71, 2010-02-14 23:10:38
[3256] bily712010-02-17 23:30:28

Két eset lehetséges:

1. a nem kvadratikus maradék modulo p. Ekkor a Wilson-tétel miatt

a^{\frac{p-1}{2}}\equiv-1~(\mod{p}),

ebből

ap-1\equiv1 (mod p),

ebből

ap\equiva (mod p).

2. a kvadratikus maradék modulo p. Ekkor a Wilson-tétel miatt

a^{\frac{p-3}{2}}(-a)\equiv-1~(\mod{p}),

ebből

a^{\frac{p-1}{2}}\equiv1~(\mod{p}),

ebből ugyancsak a kis Fermat-tételt kapjuk.

(Az előző megoldásom második része részben hibás).

Előzmény: [3252] Fálesz Mihály, 2010-02-15 10:16:52
[3257] bily712010-02-18 21:45:01

Én arra jutottam, hogy a le nem fedett számok halmaza végtelen. Gondoltmenetem a következő:

Vonjuk össze az egy modulushoz tartozó számtani sorozatokat, így minden 3-nál nagyobb prímhez kapunk egy olyan számsorozatot, amelyben két differencia váltja egymást. Írjuk fel a sorokat egymás után képzeletben. A sorok táblázatba rendezhetőek, a táblázatban a számok a prímek szorzata egyhatodának alsó, vagy felső egészrészének felelnek meg. Ezt a táblázatot azt hiszem már jól ismerjük.

Ha a le nem fedett számok halmaza véges lenne, akkor létezne k természetes szám, hogy e szám nem, de minden nála nagyobb fedett. Ez csak úgy lehetséges, ha minden új sorozat legkisebb olyan tagja, amely eddig egyik sorozatnak sem volt tagja fedi a k után következő olyan számot, amelyet az előző sorozatok nem fedtek le, (remélem eddig érthetően fogalmaztam).

Jelölje an az n-edik le nem fedett számot, bn pedig az n-edik sorozat azon legkisebb tagját, amely nem szerepelt egyik eddigi sorozatban sem. Mivel a táblázat a főátlóra szimmetrikus, ezért a_n<\left[\frac{p_n^2}{6}\right]\le{b_n}, ebből következik, hogy an<bn, így soha nem fedheti, mert az an=bn soha nem teljesül.

Jól következtettem? Eléggé tömören fogalmaztam, ha nem érthető, bővebben kifejtem.

A nem fedett számok egy nevezetes számsorozat tagjaival egyértelműen megfeleltethetőek .

Előzmény: [3253] bily71, 2010-02-16 20:04:32
[3258] Fálesz Mihály2010-02-19 12:41:32

Számomra inkább az érdekes, hogy ezzel a módszerrel primitív gyökök felhasználása nélkül is ilyen röviden be lehet bizonyítani azt, hogy a akkor és csak akkor kvadradikus maradék mod p, ha a(p-1)/2\equiv1(mod p), különben a(p-1)/2\equiv-1.

(A kis Fermat-tétel párosítgatás és Wilson-tétel nélkül is kijön a szokásos bizonyítással: összeszorozzuk az a,2a,...,(p-1)a maradékokat.)

Előzmény: [3256] bily71, 2010-02-17 23:30:28
[3259] Fálesz Mihály2010-02-19 12:51:14

Újabb gondolkodnivaló. Legyen p egy 3k+1 alakú prím.

Használhatjuk-e a párosítgatás módszerét annak bizonyítására, hogy 1\lea\lep-1 akkor és csak akkor teljes köb -- kubikus maradék :-) --, azaz létezik olyan x egész, amire a\equivx3 (mod p), ha a(p-1)/3\equiv1 (mod p)?

Előzmény: [3258] Fálesz Mihály, 2010-02-19 12:41:32
[3260] bily712010-02-25 11:50:28

Sajnos a párosítgatás módszerével nem, de más úton sikerült belátnom, hogy ha p=3k-1 és a\inZ és 1\lea\lep-1, akkor minden a-hoz létezik x egész, hogy a\equivx3 (mod p), ha pedig p=3k+1, a akkor, és csak akkor kubikus maradék, ha a(p-1)/3\equiv1 (mod p).

Előzmény: [3259] Fálesz Mihály, 2010-02-19 12:51:14
[3261] Láda192010-02-25 16:21:43

Lenne egy valószínűségszámítási probléma, amit a napokban kérdeztek tőlem, de még nem tudtam megoldani. Szeretném, ha valaki segítene.

Egy dobókockával n-szer dobunk, majd a dobások eredményét leírjuk egymás mellé. Mennyi a valószínűsége annak, hogy az 1, 2, 3, 4, 5, 6 számokból képezett, adott elem k-as (k<n) pontosan egyszer előfordul az n hosszúságú számsorban?

[3262] Alma2010-02-25 17:12:18

Szerintem függ, hogy melyik az az adott elem k-as. Vegyük például azt a leegyszerűsített esetet, hogy a kockának két oldala van: 1,2 és n=3szor dobunk.

Azok a számsorok, melyekben az 11 elemkettes pontosan egyszer fordul elő: 112 és 211.

Azok a számsorok, melyekben a 12 elemkettes pontosan egyszer fordul elő: 112, 121, 122, 212.

A két eseménynek nem egyenlő a valószínűsége.

Előzmény: [3261] Láda19, 2010-02-25 16:21:43

  [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]    [162]    [163]    [164]    [165]    [166]    [167]    [168]    [169]    [170]    [171]    [172]    [173]    [174]    [175]    [176]    [177]    [178]    [179]    [180]    [181]    [182]    [183]    [184]    [185]    [186]    [187]    [188]    [189]    [190]    [191]    [192]    [193]    [194]    [195]    [196]    [197]    [198]    [199]    [200]    [201]    [202]    [203]    [204]    [205]    [206]    [207]    [208]    [209]    [210]    [211]    [212]    [213]    [214]    [215]    [216]    [217]    [218]    [219]    [220]    [221]    [222]    [223]    [224]    [225]    [226]    [227]    [228]    [229]    [230]    [231]    [232]    [233]    [234]    [235]    [236]    [237]    [238]    [239]    [240]    [241]    [242]    [243]    [244]    [245]    [246]    [247]    [248]    [249]    [250]    [251]    [252]    [253]    [254]    [255]    [256]    [257]    [258]    [259]    [260]    [261]    [262]    [263]    [264]    [265]    [266]    [267]    [268]    [269]    [270]    [271]    [272]    [273]    [274]    [275]    [276]    [277]    [278]    [279]    [280]    [281]    [282]    [283]    [284]    [285]    [286]    [287]    [288]    [289]    [290]    [291]    [292]    [293]    [294]    [295]    [296]    [297]    [298]    [299]    [300]    [301]    [302]    [303]    [304]    [305]    [306]    [307]    [308]    [309]    [310]    [311]    [312]    [313]    [314]    [315]    [316]    [317]    [318]    [319]    [320]    [321]    [322]    [323]    [324]    [325]    [326]    [327]    [328]    [329]    [330]    [331]    [332]    [333]    [334]    [335]    [336]    [337]    [338]    [339]    [340]    [341]    [342]    [343]    [344]    [345]    [346]    [347]    [348]    [349]    [350]    [351]    [352]    [353]    [354]    [355]    [356]    [357]    [358]    [359]    [360]    [361]    [362]    [363]    [364]    [365]    [366]    [367]    [368]    [369]    [370]    [371]    [372]    [373]    [374]    [375]    [376]    [377]    [378]    [379]    [380]    [381]    [382]    [383]    [384]    [385]    [386]    [387]    [388]    [389]    [390]    [391]    [392]    [393]    [394]    [395]    [396]    [397]    [398]    [399]    [400]    [401]    [402]