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: Valaki mondja meg!

  [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]  

Szeretnél hozzászólni? Jelentkezz be.
[266] epsilon2008-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] epsilon2008-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] nadorp2008-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 a1\leqa2\leq...\leqan és b1\leqb2\leq...\leqbn nemnegatív számok. Ekkor, ha a {ci} számok a bi számok egy tetszőleges permutációja, akkor

\sum a_ib_{n+1-i}\leq\sum a_ic_i\leq\sum a_ib_i.

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 a1\leqa2\leq...\leqan (n\geq3) pozitív számok. Ekkor

B=\frac{a_1a_2}{a_3}+...+\frac{a_{n-2}a_{n-1}}{a_n}+
\frac{a_{n-1}a_n}{a_1}+\frac{a_na_1}{a_2}\geq a_1+...+a_n

Kezdjük a végén az utolsó két taggal, ekkor

\frac{a_{n-1}a_n}{a_1}+\frac{a_na_1}{a_2}\geq \frac{a_{n-1}a_n}{a_2}+\frac{a_na_1}{a_1}=
\frac{a_{n-1}a_n}{a_2}+a_n. Tehát

B\geq \frac{a_1a_2}{a_3}+...+\frac{a_{n-2}a_{n-1}}{a_n}+
\frac{a_{n-1}a_n}{a_2}+a_n

Újra a fenti "rendezési tételt" alkalmazva a két utolsó törtre

B\geq \frac{a_1a_2}{a_3}+...+
\frac{a_{n-2}a_{n-1}}{a_2}+a_{n-1}+a_n

Ezt folytatva, előbb utóbb ezt kapjuk

B\geq \frac{a_1a_2}{a_3}+\frac{a_2a_3}{a_2}+a_3+...+a_n

B\geq \frac{a_1a_2}{a_2}+\frac{a_2a_3}{a_3}+a_3+...+a_n=
a_1+a_2+...+a_n

Előzmény: [263] epsilon, 2008-01-15 15:20:39
[263] epsilon2008-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

[262] nadorp2008-01-13 20:30:54

Köszi a javítást, igazad van. Belezavarodtam a sok betűbe :-)

Előzmény: [261] sakkmath, 2008-01-13 16:18:31
[261] sakkmath2008-01-13 16:18:31

Kedves nadorp!

Előzmény: [258] nadorp, 2008-01-08 11:29:29
[260] epsilon2008-01-12 08:58:36

Helló nadorp! A feladat 5 vagy több tag esetén is igaznak tűnik, de a 4-re adott bizonyítást sok eset letárgyalása nélkül nem igazán látom átültetni pl 5 tagra :-( Van valami ötleted? Üdv: epsilon

Előzmény: [258] nadorp, 2008-01-08 11:29:29
[259] epsilon2008-01-08 15:02:50

Helló! Köszi, jó ötlet volt az, hogy azt az 1 törtet ami nem illett bele a Cebisev egyenlőtlenségbe (a rendezés monotonításába), 2 esetbe véve tárgyaltad, így valóban teljesen logikus, szép megoldás! Üdv: epsilon

[258] nadorp2008-01-08 11:29:29

Mindkét oldalt elosztva a nem 0 abcd-vel,a feladat ekvivalens a következővel:

\frac{bc}d+\frac{cd}a+\frac{ad}b+\frac{ab}c\geq a+b+c+d.

Két esetet vizsgálunk meg

1.eset: bc\leqad. Ekkor a Csebisev egyenlőtlenség és \frac1d\leq\frac1b miatt

\frac{bc}d+\frac{ad}b\geq\frac{bc}b+\frac{ad}d=c+a

és hasolóan cd\geqab és \frac1a\geq\frac1c miatt

\frac{cd}a+\frac{ab}c\geq\frac{cd}c+\frac{ab}a=d+b

2.eset: bc>ad. Ekkor bc\leqcd és \frac1d\leq\frac1a miatt

\frac{bc}d+\frac{cd}a\geq\frac{bc}a+\frac{cd}d=\frac{bc}a+c

és hasolóan ad\geqab és \frac1b\geq\frac1c miatt

\frac{ad}b+\frac{ab}c\geq\frac{ad}c+\frac{ab}b=\frac{ad}b+a

Összeadva a fenti két egyenlőtlenséget

\frac{bc}a+c+\frac{ad}b+a\geq\frac{bc}b+\frac{ad}a+a+c=c+d+c+a\geq a+b+c+d

Előzmény: [257] epsilon, 2008-01-07 13:40:07
[257] epsilon2008-01-07 13:40:07

B.Ú.É.K. Mindenkinek! Megint van egy szimpatiklus kis feladat, a Cebisev egyenlőtlenségre gyanakszom, de nem tudom a feltételeket hozzá igazítani: Ha a, b, c, d pozitív és növekvő számok ebben a sorrendben, akkor igaz a következő egenlőtlenség:

[256] Róbert Gida2007-12-20 10:20:47

D. O. Skljarszkij-N. N. Csencov-I. M. Jaglom Válogatott feladatok és tételek az elemi matematika köréből című könyvben ez 231.a feladata. Megoldás a könyv végén.

Előzmény: [255] PAL, 2007-12-19 23:15:02
[255] PAL2007-12-19 23:15:02

Sziasztok! A segítségeteket szeretném kérni a (2)-es állítás bizonyításához. Az (1)-es egyenlőségre, mely a másodikhoz "külsőre" hasonló típusú, szép és "középiskolás fejjel" is könnyen érthető, 5-7 soros bizonyítási módszert találtam Pogáts Ferenc: Trigonometria(1973) c. könyvének 179. oldalán. Ezt azért írom le, mert hasonlóan frappáns bizonyítást keresek az állítás(2)-höz is. Tehát azonos algebrai átalakításokkal, lemmák alkalmazása nélkül, egy rövid, 5-6 soros bizonyítás lenne számomra praktikusan megfelelő (úgy tudom, hogy elvileg van ilyen, de nekem sajnos nem sikerült összehozni. Még talán a teljes-indukciós lenne a legjobb). Ha valaki tud ilyet - vagy bármilyet - hálás lennék érte, ha felrakná ide, vagy e-mailben elküldené nekem. Köszönöm.

[254] epsilon2007-12-04 19:36:26

Pontoabban ez érdekelne: adott n mellet, az a,b,c,d,e,f,g együthatókra milyen feltételek mellett kompatibilis vagy inkompatibilis az egyenletrendszer, amikor kompatibilis mikor haározott, mikor határozatlan, és ezen esetekben a megoldások megkeresése is érdekel. Látszatra banális, de nagyon szerteágazó a sok eset.

[253] epsilon2007-12-04 18:15:45

Helló! Köszi, nem ez, lehet, hogy nem voltam elég világos az alábbi egyenletrendszerről van szó, teljesen elemi módon, mikor hány megoldás van:

[252] nadorp2007-12-04 13:32:01

Úgy látom, ez a Kínai-maradéktétel

http://mathworld.wolfram.com/ChineseRemainderTheorem.html

Előzmény: [251] epsilon, 2007-12-04 12:08:09
[251] epsilon2007-12-04 12:08:09

Tisztelt Fórumtagok! megint Én jelentkezem kérdéssel, régóta nézelődöm ezen a téren, de segítségre lenne szükségem: Tudna-e Valaki mondani neten elérhető forrásanyagot (magyar, angol vagy francia, de más latin nyelvcsaládban sem rossz) arról, hogy miként lehet megoldani modulo n-ben 2 ismeretlenes 2 egyenletből álló egyenletrendszert. Mert van amikor megy a kifejezési módszerrel, van amikor megy a kiküszöüblés módszer, van amikor megy a Cramer-szabálal, de van amikor csak "okoskodással" lehet megoldani. A megoldhatósági feltételek, esetek rendszerezését szeretném tudni, hogy miként lehet tárgyalni. Ugyanakkor érdekelne mindez 3 ismeretlenes, 3 egyenletből álló modulo n egyenletrendszerre is, természetesen mindenesetben csak lineáris egyenletrendszerre gondoltam Bárminemű segítséget előre is köszönök! Üdvözlettel: epsilon

[250] epsilon2007-11-25 10:24:55

Kedves Lajos! Köszi szépen, mert azt hittem, tévúton járok, ugyanis mielőtt ide kiírtam volna a feladatot, azelőtt az [f(y)-f(x)]/(y-x) arányt vizsgálva, pontosan idáig jutottam el mint amit Te írsz (persze y-x nélkül), és azt hittem, hogy zsákutca. De mivel Te is ezt követted, innen kihámoztam, hogy végűl keresztbe szorozva, TAGPÁRONKÉNT összehasonlítva elegendő ha x és y-ra teljesüljön ilyen feltétel: a-t>=t-b ami éppen a szóban forgó intervallumba való tartozást jelenti. Üdv: epsilon

[249] Lóczi Lajos2007-11-24 20:55:51

Felírod, hogy f(y)-f(x). A hasonló gyök különbségét egymás mellé csoportosítod, és a "konjugálttal" (=gyökök összegével) bővítesz. Ezt kapod:

-\frac{-x + y}{{\sqrt{b - x}} + {\sqrt{b - y}}}  + 
  \frac{-x + y}{{\sqrt{-a + x}} + {\sqrt{-a + y}}},

erről pedig látszik, hogy pozitív, ha x<y és a\lex\le(a+b)/2 és a\ley\le(a+b)/2, mert a jobb oldali nevezők páronként kisebbek a bal oldaliaknál.

Előzmény: [248] epsilon, 2007-11-24 15:54:37
[248] epsilon2007-11-24 15:54:37

Helló! Valaki tudna-e segíteni abban, hogy a következő feladatot NE a matematikai analízis módszerével oldja meg! Előre is köszönöm a segítséget!

[247] Bubóka2007-11-02 13:08:11

Üdv Mindenkinek!

Segítséget szeretnék kérni a következő feladathoz. Aki esetleg tud, megköszönném!!

Bizonyítsuk be, hogy az alábbi háromszögszerkesztési feladatok nem szerkeszthetők euklidészi értelemben! A harmadfokú problémáknál vizsgáljuk, hogy megoldható-e szögharmadoló eszközzel.

1. (a, ha, wb ) = ( p/2, 1, 2 )

2. (a, ha, wb ) = ( 1, 1, 1 )

Nem tudom mennyire egyezményesek ezek a jelek, a w - a szögfelezőt, h- a magasságot jelentené.

[246] Róbert Gida2007-11-01 23:16:08

Nem. Csak megnéztem néhány speciális esetet és be is tudtam bizonyítani. Ezek szerint, ha p=4*k+1 alakú prím, akkor

f(p)=\frac {p^{2}+2}{3}

, ahol f(p) az a feladatban definiált összeg. Kis számelmélet kell hozzá.

Előzmény: [245] jonas, 2007-11-01 22:47:51
[245] jonas2007-11-01 22:47:51

Igen? Kifejtenéd ezt bővebben? Abból a könyvből szeded, amire az OEIS bejegyzés hivatkozik?

Előzmény: [244] Róbert Gida, 2007-11-01 22:21:07
[244] Róbert Gida2007-11-01 22:21:07

Speciális esetekben viszont van explicit képlet: ha n=4*k+1 alakú prím, akkor például van!

Előzmény: [243] jonas, 2007-11-01 21:27:22
[243] jonas2007-11-01 21:27:22

Az ilyenre a standard procedúra a következő. Kiszámolod kis n-ekre. Nekem ez jött ki:

0,1,2,4,7,9,13,18,24,29,34,42,51,57,67,78,90,97,110,122,137,149,163,180,198,211,226,246,265,281

Ezt megkeresed a Sloane-ben (vesszővel elválasztva kell beírni).

Az eredményekből kiválasztod a megfelelő sorozatot, és megsejted, hogy az az eredmény. Utána bebizonyítod.

Ebben az esetben elég sok tagunk van, hogy csak egy sorozatot találjunk: A014817, és annak a definíciója nagyon hasonlít a képletedhez (csak még a 0-t is hozzáveszi).

Sajnos explicit képletet nem ad. Ezért azt lehet sejteni, hogy vagy nincs explicit képlet, vagy nehéz megtalálni.

Előzmény: [242] SÁkos, 2007-11-01 18:39:08
[242] SÁkos2007-11-01 18:39:08

bocsánat, helyesen \sum_{i=1}^n \bigg[\frac{i^2}n\bigg]

Előzmény: [241] SÁkos, 2007-11-01 18:11:32

  [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]