|
[270] epsilon | 2008-01-16 12:35:53 |
u.i.: Én úgy vélem, hogy a bizonyítás során végül is nem igazán használtad a "rendezési tételt" hanem inkább az a1<=a2<=...<=an rendezést, mert Én őszintén bevallva nem látom, hogy a rendezési tételből melyek a 264. hozzászólás kezdetén levő ai illetve bi azonos monotonítású sorozatok. Vagy tévedek? Üdv: epsilon
|
|
[269] epsilon | 2008-01-16 12:31:07 |
Kedves nadorp! A "Tulajdonképpen az a2 nevezőt "toljuk el" mindig 1-gyel balra" pontosításod úgy nézem, teljesen eloszlatja a kételyeimet, mégegyszer tüzetesen levezetek több első és utolsó lépést. Kedves sakkmath! Kösz az infót, ott is szétnézek, de megköszönném, ha be tudnád szkennerelni, és gondolom, könnyebb ha valahova feltöltöd és a linket megadod hogy letölthessük(gondolom, nem szabályellenes), mert itt méretkorlát is van a képekre. Üdv: epsilon
|
Előzmény: [267] nadorp, 2008-01-16 10:21:56 |
|
[268] sakkmath | 2008-01-16 11:10:24 |
Kedves epsilon és nadorp!
Az 'ujjgyakorlatok' topic [273]-as hozzászólásában Sirpi dióhéjban elmondja a Szűcs-féle rendezési tételt (egy konkrét feladat megoldása kapcsán). Sirpi ismertetéséből is látható, hogy az a bizonyítás, amibe bekapcsolódtam, a Szűcs Adolf-féle rendezési tételt használja.
Csebisev nevéhez többféle egyenlőtlenség is fűződik. A jelen témakörhöz legközelebbi egyenlőtlensége megtalálható Skljarszkij-Csencov-Jaglom: Válogatott fejezetek és tételek... 1. kötetében (TipoTex Kiadó) is. Ha kell, holnapra kiollózom és fölteszem. Üdvözlettel: sakkmath
|
Előzmény: [263] epsilon, 2008-01-15 15:20:39 |
|
|
[266] epsilon | 2008-01-16 09:01:10 |
Helló nadorp! Belenéztem jobban a bizonyításba, és úgy tűnik, hogy a második lépéstől lefele az első lépésben elsütött minorálás nem igazán alkalmazható? Pontosabban: ott ahol írod, hogy "Kezdjük a végén az utolsó két taggal, ekkor"...itt a nevezőkben ebben a sorrendben a1 és a2 szerepel, és a1<a2. Ellenben ahol ezt írod, hogy "Újra a fenti "rendezési tételt" alkalmazva a két utolsó törtre" ott a nevezőben ebben a sorrendben a3 és a2 szerepek és ezekre a3>a2 vagyis úgy látom, hogy nem teljesül a rendezési tételből a monotonítási feltétel, és ugyanez a helyzet tovább lefele minden más 2 összehasonlításnál szerintem éppen a fordított egyenlőtlenség miatt úgy vélem, nem ismételhető meg az 1. lépés, vagy tévedek? Üdv: epsilon
|
|
[265] epsilon | 2008-01-16 06:47:02 |
Helló! Köszi nadorp! A jobboldali egyenlőtlenséget Én is úgy tudtam, hogy a Cebisev nevéhez fűződik, hiszen annak a bizonyítsa során ilyen típusú egyenlőtlenségeket alkalmazunk, találkozunk. Az általánosítási ötletedben végül a mentő ötlet az volt, hogy lépésről-lépésre alkalmaztad, Én azért jártam zsákutcába, mert egyből akartam alkalmazni a jobboldali egyenlőtlenséget (vagy a Cebisevet), de akárhogy választottam a tagokat, vagy nem lehetett tudni semmit az egymáshoz való viszonyukról, vagy a sorozatok ellentétes nonotonításuak voltak, így nem járhattam sikerrel. Tüzetesen átnézem a bizoyítást, de már a gondolatmenetet követve nagyon egyértelműnek tűnik, hogy így kell lenie. Üdv: epsilon
|
|
[264] nadorp | 2008-01-15 20:48:41 |
Sajnos a "Szűcs rendezési tételt" nem olvastam, de gyanakszom, hogy a következőtől nem áll messze. Egyébként ezt anal gyakon vettük és úgy tudtam, hogy ez a Csebisev-egyenlőtlenség :-( pedig tényleg nem az.
Legyenek a1a2...an és b1b2...bn nemnegatív számok. Ekkor, ha a {ci} számok a bi számok egy tetszőleges permutációja, akkor
.
Ha ezt felhasználjuk, akkor igaz az eredeti feladat következő általánosítása ( hacsak megint nem néztem el valahol egy egyszerűsítést :-)
Legyenek a1a2...an (n3) pozitív számok. Ekkor
Kezdjük a végén az utolsó két taggal, ekkor
. Tehát
Újra a fenti "rendezési tételt" alkalmazva a két utolsó törtre
Ezt folytatva, előbb utóbb ezt kapjuk
|
Előzmény: [263] epsilon, 2008-01-15 15:20:39 |
|
[263] epsilon | 2008-01-15 15:20:39 |
Köszi sakkmath a javítást (örömömben észre sem vettem a végén az elírást), na meg kösz a szakreferenciát. Mivel nem jutok hozzá ahoz a forráshoz amit írtál, megfogalmaznád a Szűcs-tételt? Tisztelettel üdv: epsilon
|
|
|