[3050] jenei.attila | 2009-10-30 23:45:00 |
 Valóban ugyanaz a konstrukció. Tényleg nem adtam meg az összes fv.-t, és ahogy javasoltad úgy jó fv.-ek konstruálhatók. Elég megadni pl. az [1,3] intervallumon akármilyen deriválható fv.-t, amelyre f(3)=2f(1), és 3-ban a balodali derivált értéke az 1-beli jobboldali derivált értékének 2/3-szorosa. A többi a már általad leírt módon mehet tovább. Ilyen módon valóban az összes megfelelő fv.-t megadjuk (a 0-beli deriválhatóság természetesen nem teljesíthető).
|
Előzmény: [3049] HoA, 2009-10-30 13:24:23 |
|
[3049] HoA | 2009-10-30 13:24:23 |
 Ez ugyanaz a konstrukció, amit [3036]-ban jeleztem. x0=1 választással y0=f(1) és . Legyen x=3u . .
Éppen Lóczi Lajos [3038] után gondolkodtam el azon, miért ne lehetne másmilyen is a függvény? Elég, ha egy [x0;3x0] tartományon úgy definiálom a folytonos f-et, hogy a feltétel teljesüljön, valamint f’(3x0)=2/3f’(x0) legyen. Ezzel a szabály alapján rekurzív módon megadtam a [3x0;9x0]...[3kx0;3k+1x0] illetve [3-k-1x0;3-k] tartományokra is. Szerintem az ilyen függvények megfelelnek a [3044]-ben leírtaknak, és így ott nem adtuk meg az összes ilyen függvényt. Miért nem jó például és az ebből a fentiek valamint x < 0-ra [3044] szerint származtatott függvény? Erre
f(1)=1;f(3)=2;f’(1)=6/7ésf’(3)=4/7
(ha jól számoltam. )
|
Előzmény: [3048] jenei.attila, 2009-10-30 11:05:45 |
|
|
|
|
[3045] HoA | 2009-10-30 09:48:21 |
 Azért írtam, hogy próbáltam, mert nem sikerült. Nem kell így lennie ( [3038] ) . Azt viszont úgy látom, hogy például valamilyen x0>0,y0=f(x0)>0 választással a függvény x>=0-ra megfelel a feltételeknek , és így igaz rá, amit jenei.attila [3039] -ben ír. Tévedek?
|
Előzmény: [3042] Lóczi Lajos, 2009-10-29 23:04:25 |
|
[3044] jenei.attila | 2009-10-30 09:43:05 |
 Az f(3nx)=2nf(x) (n egész szám) képletből következik, hogy ha log3x egész, akkor f(x)=2log3xf(1) Ahhoz, hogy ez a fv. folytonos legyen a pozitív valós számokon, az kell, hogy a log3x is ilyen legyen. De a logaritmus szokásos értelmezése (az exponenciális fv. folytonosságot szem előtt tartó értelmezéséből adódóan) már ilyen. Tehát a pozitív valós számokon megadjuk az összes, kiírt feltételeknek megfelelő fv.-t, ha f(1)-et tetszőlegesen megadjuk. f(0)=0 kell hogy teljesüljön, és legyen f(-x)=-f(x), amivel negatív valós számokra is értelmezzük a fv.-t Így a valós számokon értelmezett, folytonos, a 0 kivételével deriválható fv.-t kapunk, ami a 0-ban ugyan nem deriválható, de "simán" halad át 0-án (nincs benne "törés", az érintő nem "billeg", de függőleges). Így meg is adtuk az összes ilyen fv.-t.
|
Előzmény: [3033] Lóczi Lajos, 2009-10-29 10:47:02 |
|
|
|
|
|
[3039] jenei.attila | 2009-10-29 16:56:12 |
 Húha, most meg én nem értem amit te írtál, de majd még gondolkodok rajta. Hogy f(0)=0, és f(3nx)=2nf(x), az teljes indukcióval nyilvánvaló (negatív n-ekre is). Képezzük a 0-hoz tartó sorozatot. Az itt felvett függvényértékek a képletünk szerint: . Ha f 0-ban deriválható, akkor 0-ban, ezekkel a pontokkal képzett különbségi hányados értékek (mivel f(0)=0):

véges határértékhez kell, hogy tartsanak. Ez azonban csak akkor lehetséges, ha f(a)=0. Az előző hozzászólásban valóban elírtam, lemaradt a nevezőből az a. De a lényeg ugyanaz.
|
Előzmény: [3037] nadorp, 2009-10-29 15:24:20 |
|
|
[3037] nadorp | 2009-10-29 15:24:20 |
 Valamit nem értek vagy nem látok, de szerintem csak azt tudjuk, hogy tetszőleges a-ra
teljesül. Amit Te írtál, ott a jobb oldalon f(a) áll és nem a deriváltja. Hogy jött ez Neked ki ?
Másrészt az f-ről csak azt tudjuk, hogy deriválható és nem biztos, hogy folytonosan deriválható. Miért teljesül

|
Előzmény: [3035] jenei.attila, 2009-10-29 14:43:51 |
|
[3036] HoA | 2009-10-29 14:54:54 |
 Én arról az oldalról próbáltam, hogy egészről valósra áttérve igazoljuk, hogy a függvény csak

alakú lehet, ahonnan már következik, hogy a 0 -beli deriválhatósággal van a baj.
|
Előzmény: [3035] jenei.attila, 2009-10-29 14:43:51 |
|
|
[3034] nadorp | 2009-10-29 14:11:01 |
 Egy hónappal lemaradtam, de találtam egy szinte számolás nélküli megoldást.
yn+1=(1+x)yn+nx2
yn+1+nx=(1+x)(yn+nx)
yn+1+(n+1)x=(1+x)(yn+nx)+x
yn+1+(n+1)x+1=(1+x)(yn+nx+1)
Most már csak fel kell írni a fenti utolsó összefüggést az n=0,1,...,n-1 értékekre és összeszorozni őket. Kapjuk:
yn+nx+1=(1+x)n(y0+0.x+1)=2(1+x)n
yn=2(1+x)n-nx-1
Más:
Lóczi Lajos utolsó példájára szerintem csak az f(x)=0 a megoldás.
|
Előzmény: [3028] jonas, 2009-09-27 20:46:48 |
|
[3033] Lóczi Lajos | 2009-10-29 10:47:02 |
 Legyen f olyan valós függvény, amelyik mindenhol értelmezve van és mindenhol deriválható. Tudjuk továbbá, hogy minden valós x esetén f(3x)=2f(x).
Adjuk meg az összes ilyen tulajdonságú f leképezést.
|
|
[3032] djuice | 2009-10-27 13:25:56 |
 Az angol wiki is foglalkozik vele: http://tinyurl.com/yhhtvkh
|
|
[3031] djuice | 2009-09-28 19:14:04 |
 NEM SEMMI! Hát le a kalappal, komolyan! Én már nem is merek többet itt kérdezni. :) Egy volt KGB-s se nyomozta volna ki tüzetesebben! :)))
Mindenesetre lelombozó a tény ami a példát illeti, elvesztette minden varázsát.
|
Előzmény: [3030] Borsos, 2009-09-28 05:55:23 |
|
|
[3029] jonas | 2009-09-27 20:48:37 |
 „Nem valószínűsíthető hogy hibás lenne, hiszen akkor minek őrizték volna 100 meg 100 éveken át a könyvtárban.”
Kivéve persze, ha csak egy nemrégi átírás vagy fordítás lenne a hibás.
|
Előzmény: [3027] djuice, 2009-09-27 19:25:51 |
|
[3028] jonas | 2009-09-27 20:46:48 |
 Én is ilyesmit próbáltam. A különbség az, hogy még kifejtés előtt a rekurziót szétszedtem két részre:
p0=1;pn+1=(1+x)pn
q0=0;qn+1=(1+x)qn+nx2
Ekkor könnyen belátható, hogy
xn=pn+qn
Mármost az első rekurziót triviális feloldani, a másodikat pedig ki kell fejteni, így két olyan összeget kaptam, aminek már ismert a kiszámítási módja, és nekem is végig kéne tudnom számolni, de elrontottam, és nem volt türelmem másodszor is nekiállni.
|
Előzmény: [3026] Euler, 2009-09-27 13:49:07 |
|
[3027] djuice | 2009-09-27 19:25:51 |
 Szia Borsos,
Nem valószínűsíthető hogy hibás lenne, hiszen akkor minek őrizték volna 100 meg 100 éveken át a könyvtárban. Erre cáfol az egyetemenünkön egy tanár állítása is, miszerint elképzelhető hogy a feladatot (megírása korában) fejben meg lehetett oldani, nem ám hogy ámítógép meg ezmegaz! :)
Nyilván akkoriban sokkal többen használták a koponyájukat fejszámolásra, mint ma, a kalkulátorok korában. Pl. Bolyai is remekül tudott akkoriban fejben gyököt vonni és 4-5 jegyű számokat összeszorozni, osztani. (mellesleg aki itt közülünk tud ilyet és megosztaná a módszerét, szívesen meghallgatnám, ui állítólag a szorobán oktatás lényege is ez lett volna, hogy vizuálisan tudjon az ember számolni, ne az ujján...)
Szóval a feladatba nekem is beletört minden próbálkozásnál a bicskám, hiába kezdtem az amúgy értelmezni se egyszerű feladatból kifejezni az ismeretleneket... A lényeg hogy lehet több megoldása is, mert a végén a leírás leszűkíti ezeket "négyzet alakba sorakozva", vagyis egész szám aminek gyöke is egész, ill. "3-szögű rend" a csoportosításnál valamilyen egészekből álló sorozatot takar. Ennyire sikerült segítség nélkül rájönnöm. A sorozat elvileg lehet szimmetrikus és asszimmetrikus is, pl így:
|
 |
Előzmény: [3025] Borsos, 2009-09-26 18:58:55 |
|
[3026] Euler | 2009-09-27 13:49:07 |
 A helyes válasz: y(n)=2(1+x) az n-ediken-1-nx. A megoldásom menete: feloldottam a rekurziót, ekkor megkaptam y(n)-t, aztán összegeztem egy csomó mértani sorozatot. Ha valakinek van egyszerűbb, kérem irja fel a fórumra.
|
Előzmény: [3022] Lóczi Lajos, 2009-09-25 23:53:41 |
|
|
|
|
[3022] Lóczi Lajos | 2009-09-25 23:53:41 |
 Legyen x rögzített valós szám és tekintsük az y0=1,
yn+1=(1+x)yn+nx2
rekurzív sorozatot. Adjuk meg yn explicit alakját csak x és n függvényében.
|
|
|
[3020] Sirpi | 2009-09-14 09:22:30 |
 234167589133(10) = 110110 10000101 01111001 11011001 00001101(2)
Meg képzelj elé egy csomó 0-t, hogy 64 jegyű legyen. Amíg az első jegy 0, addig a legalsó korong még a helyén van, amíg a 2. nulla, addig az utolsó előtti is, stb. Ebben az állásban a 38. (alulról a 27.) korongot már átmozgattuk (mert az az első 1-es). Ha a köv. helyiértéken 0 lenne, akkor az még rajta lenne a 38. korongon, de mivel 1-es van, ezért már lekerült róla. A köv. jegy 0, ezért a 36. a 37.-en van rajta, aztán 1, vagyis a 35. lekerült róluk stb.
A 4 állapot, amit írtam (00, 01, 10, 11 kezdetek) azt jelzi, hogy az alsó két korong épp milyen állapotban van:
00: mindkettő az eredeti helyén
01: az utolsó előtti átkerül
10: az utolsó átkerül, de az utolsó előtti még nincs rajta
11: mind2 átkerült és egymáson vannak
Ez a gondolatmenet hasonlóan folytatható is az alsó 3, 4 stb korongra, ahogy fent már elemezgettem. Ami ebből nem látszik, hogy melyik korong épp melyik rúdon van, de az valahogy paritásból ki kell, hogy jöjjön, most túl korán van nekem ehhez :-) De ha rá akarsz erre jönni, akkor ne 64 koronggal próbálkozz, hanem mondjuk 3-4-gyel.
|
Előzmény: [3019] Higgs, 2009-09-13 20:30:32 |
|
[3019] Higgs | 2009-09-13 20:30:32 |
 Biztos csak nekem nem világos, de a "4 állapotot"-nál elvesztettem a fonalat. Pl. az 234167589133-dik lépés utánni állapotot 64 korongnál hogyan tudhatom meg? Vagy hogyan számolhatom ki a k-adik korong álltal megtett utat a kirakás után, bár ez más kérdés:D
|
Előzmény: [3018] Sirpi, 2009-09-13 19:40:34 |
|
[3018] Sirpi | 2009-09-13 19:40:34 |
 Az n 2-es számrendszerbeli alakjából szerintem ki lehet gyorsan következtetni. Pl. az utolsó, k. korong a 2k-1-dik lépésben kerül át a 3. rúdra, és onnan ott marad. hasonlóan a k-1. is 2k-2-dik lépésben kerül át a "rossz" rúdra, majd a 2k-1+2k-2-dik lépésben a jóra. Ezt a 4 állapotot a szám kettes számrendszerbeli eleje jelzi (00, 01, 10, 11). A k-2. korongot már 4-szer fogjuk mozgatni, mindig félidőben a korábbiakhoz képest. Figyelni kell rá, hogy a két szabad közül épp melyikre tesszük le, ezt most nem gondolom végig, valami maradjon Neked is ;-)
|
Előzmény: [3017] Higgs, 2009-09-13 18:57:46 |
|
[3017] Higgs | 2009-09-13 18:57:46 |
 Sziasztok!
A következő a kérdésem: Hanoi tornyai feladatnál, hogyan határozhatjuk meg, hogy az n-edik lépés után az egyes korongok melyik rúdon, és milyen magasan fognak elhelyezkedni? (Feltételezve, hogy optimálisan oldjuk meg, vagyis 2 a k-adikon-1 lépésben.)
|
|
[3016] djuice | 2009-08-25 03:20:34 |
 mégegy igazítás, az ábrán a=4; h<a a helyes jegyzet és a valamint h értékei ismertek (paraméterek)
Ezek után jöjjön a nagy kedvencem:
Hány marhát számlált a Napisten nyája, barátom Gonddal számold ki, hogyha vág az eszed Hányat őriztek Szicília tág legelőin, Négy kisebb részre bontva az isteni nyájt.
Mindegyik rész más színű volt. Hószín a legelső, Egy másik résznek színe sötét fekete. Barna a harmadik, a negyedik meg tarka-iromba. Mindben több a bika és kevesebb a tehén.
Többen voltak a barna bikák ott, mint a fehérek, Mégpedig a feketék harmadával s felivel. Tarkák számának negyedével és ötödével Múlta felül feketék száma a barnákét. Tarkák is túltettek a barnákon a fehérek Egyhatodával s még egyhetedével rá.
így a bikák. Hát a tehenek? Közülük a fehérek A fekete marhák harmadát s negyedét Alkották. Fekete tehenek meg a tarka Marhák egynegyedét, s rá még egyötödét.
Tarka-iromba tehén volt egyötöd- és hatodannyi Ebben a csordában, mint a barna barom. Végül barna tehén hatodannyi s még hetedannyi, Volt mint tiszta fehér marha (tehén s bika is).
Hogyha kiszámítod színenként hány bika volt ott És tehenekből hány - számok mestere vagy. Bölcsnek azonban nem mondhatnak, míg figyelembe Nem veszed azt is, amit még hozzáteszek ím:
Bonts a bikák nyáját két részre: fehér s feketékre Egy részben, másba barna s tarka kerül. Akkor az első rész sorakozhat négyzetalakban S háromszögletű szép rendben a többi bika.
Hogyha a problémát úgy oldod meg, hogy ez is vág Győzelmed teljes, s híres lesz a neved.
(A feladatot 1773-ban egy görög nyelvű kéziratban találta G. E. Lessing a wolfenbütteli könyvtárban.)
Mindent bele! :DD
|
|
[3015] djuice | 2009-08-24 23:45:26 |
 bocsánat, a kék vonal a grafikonon nem a kapu pályaíve, hanem az ajtó záródásának függvényeként "t" értéke -> t(x)
|
|
[3014] djuice | 2009-08-24 23:40:37 |
 :)))) Véletlenek nincsenek, sőt! Mivel annyit nem tanítottak meg analízisből hogy egy ilyen, a valós életből származó problémát le tudjon kezelni egy diák így kicsit nekem még középiskolás (paraméteres egyenlet) maradt megoldásnak. Volna miért szégyelnem magam, hogy 1 hónapig rágódtam rajta mire kiizzadtam, de valahogy a hasonló 3szögek ismérvei eszembe sem jutottak, ami végülis a megoldáshoz vezetett. A megrázó az, hogy kínomban már megmutattam itt a Miskolci Egyetemen a matektanáromnak (matematikai tudományok kandidátusa meg minden) és nem tudott vele mit kezdeni!!!!! Sajnos be kellett látnom, hogy aki 40 évig séma szerűen ugyanazt tanítja, "beleszürkül" a dolgokba és ilyen egyszerűbb gyakorlati dolgokat nem tud kezelni.
Szóval a megoldásom:
|
 |
Előzmény: [3006] leni536, 2009-08-12 21:43:45 |
|
|
[3012] m2mm | 2009-08-17 14:50:26 |
 Én találtam egy (lehet hogy elemi[mi számít eleminek?], mindenesetre komplex számok nélküli) megoldást. Legyen a>0, tehát a többi megoldást keressük.
a2+1=b3, tehát a2=b3-1=(b-1)(b2+b+1)=(b-1)((b-1)2+3(b-1)+3). Tetszőleges 3-mal nem egyenlő p prímre, b-1=pkl alakba írható. a2=pk(p2kl3+3pkl2+3l) Ha k>0, akkor p2kl3+3pkl2+3l nem osztható p-vel, tehát k páros. Magyarán b-1=c2, vagy b-1=3c2. Előbbi esetben Q=(b-1)2+3(b-1)+3 négyzetszám, de ((b-1)+1)2<Q<((b-1)+2)2, tehát mégse az: b-1=3c2.Mivel a>0, ezért b>1, tehát c pozitív.
a2+1=(3c2+1)3=27c6+27c4+9c2+1, ebből . (c2+1)2<e2<(2c2+1)2. Tehát e c2-tel való osztási maradéka 2,3,4,...,0 lehet(tehát csak 1 nem lehet), mindegyik 1 esetben. e2 c2-tel való osztási maradéka 1.
Tehát e=c2+f, e2=c4+2fc2+f2, e2 f2 12 (modc2), tehát c2|(f-1)(f+1), magyarán f=1 vagy f=c2-1. f=1 nem lehet, tehát e=2c2-1. Tehát 3c4+3c2+1=(2c2-1)2=4c4-4c2+1, 7c2=c4, c>0 miatt 7=c2, tehát c nem egész. Tehát csak az (a,b)=(0,1) számpár megoldás.
|
Előzmény: [3011] Lóczi Lajos, 2009-08-17 13:54:34 |
|
|
|
[3009] Higgs | 2009-08-16 16:02:20 |
 Igen, rosszul tettem fel! Az előbb említett eseten kívűl van-e más megoldás is, és ha nincs, akkor hogyan bizonyítható?
|
|
|
[3007] Higgs | 2009-08-15 21:40:05 |
 Üdv!
Egy négyzetszám+1 lehet egyenlő egy köbszámmal?
|
|
|
[3005] djuice | 2009-08-12 21:08:56 |
 Sziasztok!
A következő feladatot adnám fejtörés gyanánt: Adottak A és B pontok melyek mozognak egy meghatározott síkban, A-B távolsága mindíg állandó. A pont vízszintesen mozog, B függőlegesen. Ha A-B pontok állandó távolságát pl egy rúddal szemléltetjük, a rúd mozgás során kapott gördülési íve milyen síkgörbével határozható meg? Továbbá ha ezt a rendszert pl egy lezáródó garázsajtóként értelmezzük (merthogy gyakorlati alkalmazásként onnan származik), egy adott H magasságú jármű milyen minimális M távolságra kell beparkoljon a garázsba, hogy a lezáródó ajtó ne ütközzön a tetejének? (nem túl bonyolult feladat, de érdekes paraméteres egyenletet lehet rá felírni) :)
|
|
|
[3003] MTM | 2009-08-01 13:27:33 |
 Ha van másik 10n+1 alakú prím, akkor annak a négyzete pal., de tudtommal nem ismert másik(és nincs is bizonyítva, hogy nincs több), magyarán ez a kérdés baromi nehéz.
|
Előzmény: [3000] Radián, 2009-07-22 19:17:50 |
|
|
|
[3000] Radián | 2009-07-22 19:17:50 |
 Lehet, hogy kicsit elsietem, de nem lehet tudni mikorra lesz meg e probléma megoldása. Kapcsolódó kérdés:
Mely prímeknek van többjegyű palindrom hatványa?(7-nek,11-nek,101-nek van, de vajon rendelkezik e tulajdonsággal még valamelyik másik prím is?)
|
|
[2999] Radián | 2009-07-22 19:13:37 |
 Csak addig jutottam, hogy 2 hatványai közül csak azok jöhetnek szóba melyek 20-szal való osztási maradéka 1,2,3 v. 16. Gondolom ez a tény semmire se jó de hátha valami csoda folytán valakinek segít:)
|
|
|
[2997] MTM | 2009-07-19 16:18:36 |
 Üdv!
Van-e 2-nek többjegyű palindromhatványa?
|
|
|
[2995] sanyi15ka | 2009-06-26 09:43:13 |
 En mashogy oldottam meg, de igy is jo. En inkabb roman modszert hasznaltam, vagyis egy kis rendezessel felirtam 3 egyenlotlenseget es ezek altal bebizonyitottam h csak n=3-ra kompatibilisek az egyenletek es igy megkimeltem magam attol, hogy n=1-t, illetve n=2-t targyaljam.:)
|
Előzmény: [2994] R.R King, 2009-06-26 08:34:00 |
|
[2994] R.R King | 2009-06-26 08:34:00 |
 egy pozitív szám és a reciprokának összege legalább 2, így a második egyenletből n legfeljebb 3 lehet.Ha n pl 3 akkor a második egyenlet csak X(i)=1 esetben teljesülhet.Ez teljesíti az első egyenletet is. Ebben az esetben tehát a kérdéses összeg 3. n=1, illetve n=2-tőt rád bízom:)
|
Előzmény: [2993] sanyi15ka, 2009-06-26 00:32:28 |
|
[2993] sanyi15ka | 2009-06-26 00:32:28 |
 Udv! 10. vegen megkert minket a matektanarunk, hogy szerkesszunk 2 matek feladatot. Nekem ez lett az egyik. Az e-mail cimemre varom a megoldasokat. Ha lehet akkor a feladatom elemi matekkel legyen megoldva, mert csak jovore, 11-be, tanulok analizist meg felsobb dolgokat es azokat meg nem tudom.
|
 |
|
|
[2991] m2mm | 2009-06-22 22:08:40 |
 Üdv!
Két idei KöMaL-feladat általánosítása:
Egy májusi feladat:
B. 4185. Mutassuk meg, hogy minden nemnulla polinomnak van olyan nemnulla polinomszorosa, amelyben minden tag kitevője osztható 3-mal.
Ez a (a+b+c)(a2+b2+c2-ab-bc-ca)=a3+b3+c3-3abc azonossággal könnyen kezelhető.
A kérdés: Mely n-ekre igaz az, hogy minden nemnulla polinomnak van olyan nemnulla polinomszorosa, amelyben minden tag kitevője osztható n-nel?
Egy márciusi feladat:
B. 4167. Egy n pozitív egészre jelölje f(n) az n tízes számrendszerbeli alakjának a megfordításával kapható számot. (Tehát f(2500)=52, f(1456)=6541.) Keressük meg azokat a pozitív egész k számokat, amelyekre teljesül, hogy tetszőleges n többszörösükre k az f(n) számnak is osztója.
A kérdés: Mik a keresendő k számok r alapú számrendszerben? (esélyesnek tartom r2-1 osztóit, de nem tudtam bizonyítani)
|
|
|
|
|
[2987] Lóczi Lajos | 2009-06-21 00:17:51 |
 Az asztroidot egy differenciálegyenlet megoldásaként is megkaphatjuk.
Ha f jelöli a keresett burkológörbét, akkor felírva az "érintőszakaszok pozitív síknegyedbe eső része konstans" feltételt, az alábbi egyenlet adódik:

Ezt megoldva (és a triviális eseteket eldobva) éppen az asztroid egyenletét kapjuk.
|
Előzmény: [2985] HoA, 2009-06-19 15:08:04 |
|
[2986] leni536 | 2009-06-19 15:52:56 |
 Ennek a burkolónak a neve asztroid. Érdemes megfigyelni, hogy a buszok ajtaja is valahogy hasonlóan nyílik, és mivel az aljukon van egy seprű, ezért a lépcső alján lévő kosznak a burkolója is ugyanez a görbe.
|
|
|
|
[2983] Alma | 2009-06-18 13:41:26 |
 Látom senki sem írta fel a polárkoordinátás megoldást, és újabb kérdések vetődtek fel, ezért beírom én.
Már az előttem szólók megállapították, hogy a mozgás során szimmetria okokból az eredeti négyzetalak megmarad, csak zsugorodik és elfordul. Jól jellemezhető a rendszer tehát két paraméterrel: az egyik pont középponttól (ez lesz az origó) való r távolságával, ami kezdetben , valamint az origóból a pontba mutató vektor szögelfordulásával.
Minden pillanatban a pontok sebességvektorának radiális és tangenciális komponense is , ami azt jelenti, hogy a következő differenciálegyenleteket írhatjuk fel a sebesség definíciója alapján: valamint . Az első egyenlet megoldása kezdeti feltétellel:

Ebből leolvasható, hogy a pontok idő mulva találkoznak, vagyis addig a utat tesznek meg.
Ha már eddig leírtam, akkor gyorsan a pályát is levezetem ebből:
A kapott sugár-idő függvényt behelyettesítve a szögre vonatkozó differenciálegyenletre a következőt kapjuk:

Integrálva az egyenletet, valamint figyelembe véve a kezdeti feltételt . Az időt kifejezve a pillanatnyi sugárral és behelyettesítve ide megkapjuk a pálya egyenletét:

Kicsit szebb alakban:

Ez pedig egy logaritmikus spirál.
|
Előzmény: [2979] Lóczi Lajos, 2009-06-17 22:49:08 |
|
|
|
[2980] HoA | 2009-06-18 09:53:57 |
 Látszik. Érdemes megfigyelni , hogy [2961] ábráján hogyan változik az időközben teknőcökké előlépett pontok által alkotott négyzet oldalhossza, ha azok x -et lépnek egymás felé. Különösen hasznos ezt összevetni a [2972]-ben említett háromszöges változat esetével. Szabatos-e az ezekből levezetett eredmény a görbe hosszára azon az alapon, hogy mikorra csökken a futópontok által meghatározott négyzet/háromszög oldalhossza 0-ra?
|
Előzmény: [2979] Lóczi Lajos, 2009-06-17 22:49:08 |
|
|
|
[2977] HoA | 2009-06-17 20:20:02 |
 Egy "kapcsolódási pont": Az ábra szimmetrikus az y=x egyenesre, így a keresett függvény saját inverze. Ellenőrizhetjük Ákos megoldását:
y=(1-x2/3)3/2
y2/3=1-x2/3
x2/3=1-y2/3
x=(1-y2/3)3/2
A megoldás tehát akár jó is lehet :-)
|
Előzmény: [2976] Lóczi Lajos, 2009-06-17 15:33:27 |
|
[2976] Lóczi Lajos | 2009-06-17 15:33:27 |
 (Persze az egységlétra esetén :)
A feladatot még többféleképp is meg lehet oldani, bizonyára látni fogunk több szép geometriai, illetve differenciálegyenletes kapcsolódási pontot.
|
Előzmény: [2975] S.Ákos, 2009-06-17 14:47:38 |
|
|
|
[2973] Lóczi Lajos | 2009-06-17 12:16:38 |
 Itt egy másik rokon klasszikus feladat.
Egy falhoz támasztott létra az ábrán látható módon lecsúszik. (A létra két vége tehát mindig érinti a falat, illetve a padlót.) Írjuk fel az így kialakult burkológörbét.
|
 |
|
[2972] Alma | 2009-06-17 03:19:46 |
 A feladathoz annyit fűznék hozzá, hogy ez fizikus körökben egy nagyon ismert feladat (illetve ennek a háromszöges verziója, mely lényegében ugyanez). Középiskolai módszerekkel jól tárgyalható, nem kellenek komplex számok sem hozzá. A feladaton keresztül be lehet vezetni a polárkoordinátákat, mert messze célravezetőbb használatuk ebben az esetben, mint a Descartes-koordinátáké. Polárkoordinátákban gondolkodva lényegében 3-4 sor a feladat megoldása.
|
Előzmény: [2961] Lóczi Lajos, 2009-06-16 00:07:09 |
|
|
[2970] Tibixe | 2009-06-16 22:23:33 |
 Vegyük fel az ábrát a komplex számsíkon, úgy hogy a négyzet középpontja a 0 pont legyen.
Egy kiválasztott teknős pályáját írja le az F(t) függvény, ahol t egy valós paraméter (pl. idő).
Szimmetriaokokból a következő teknős helye a kiválasztott teknős helye 90o-kal elforgatva, azaz i-vel szorozva.
Fk(t)=iF(t)
A teknős sebességének iránya mindig a következő felé mutat, a nagysága a feladat szempontjából lényegtelen, most válasszuk meg kényelmesen.
F'(t)=Fk(t)-F(t)
azaz
F'(t)=iF(t)-F(t)
F'(t)=(i-1)F(t)
Ez egy pofonegyszerű differenciálegyenlet, a megoldásai pedig:
F(t)= e(i-1)t
alakúak, ahol tetszőleges komplex szám.
Ha például azt akarjuk, hogy a kiválasztott teknős t=0-nál az (1;1) pontban legyen, akkor
=1+i
kell nekünk.
Ezzel nem csak négyzetre, hanem más szabályos n-sokszögekre is fel lehet írni a pályát:

ahol egy megfelelő n-edik egységgyök.
F(t) alakjából látszik, hogy a megoldás logaritmikus spirál lesz, amely az origóba tart.
|
Előzmény: [2969] HoA, 2009-06-16 21:21:39 |
|
[2969] HoA | 2009-06-16 21:21:39 |
 Szimmetria okokból a négy pont mindig egy négyzet csúcsaiban helyezkedik el és e négyzetek középpontja közös ( O ) . A pályák érintője kezdetben 45oos szöget zár be az O -ból a görbe pontjába mutató vektorral. A pontnégyes bármelyik későbbi helyzetét is tekinthetjük a további mozgás kiindulópontjának, így ez a tulajdonság a pályák további pontjaira is igaz. A négy pálya tehát négy olyan görbe, melynek minden P pontjára az OP helyvektor 45o -os szöget zár be a P-beli érintővel. A logaritmikus spirálok egyenletének felírását meghagyom a következő hozzászólónak.
|
Előzmény: [2961] Lóczi Lajos, 2009-06-16 00:07:09 |
|
|
|
|
[2965] nadorp | 2009-06-16 12:14:11 |
 Ezt a kérdést most nem értem. A rekurzióból látszik, hogy a sorozatot az első elem egyértelműen meghatározza, másrészt "adja magát", hogy generátor függvényt használjunk és hogy ennek a négyzetét kell vizsgálni ( "látszik", hogy a rekurzió két polinom szorzatában az n+1-ed fokú tag együtthatóját tartalmazza).
|
Előzmény: [2962] Lóczi Lajos, 2009-06-16 00:08:23 |
|
[2964] sakkmath | 2009-06-16 11:04:40 |
 Csatlakozom rizseszhez annyiban, hogy érdemes pontosítani a szöveget a triviális esetek kiküszöbölése céljából.
Közölni kellene azt, hogy a "szomszéd" a csúcsok mely körüljárási iránya szerint értendő. Ha a rajz a feladat eredeti szövegéhez készült, akkor (a mi nézőpontunkból) az óramutató járásával ellentétes irányt kell még megadni.
|
Előzmény: [2961] Lóczi Lajos, 2009-06-16 00:07:09 |
|
|
|
[2961] Lóczi Lajos | 2009-06-16 00:07:09 |
 Egy négyzet 4 sarkából a szomszédja felé egyenletes sebességgel egyszerre elindul 4 pont, és e pontok mindvégig egymást üldözik. Írjuk fel a mozgások pályáit.
|
 |
|
|
[2959] nadorp | 2009-06-12 11:31:59 |
 Ha van elemibb - nem analízist használó - akkor érdekel. Egyébként itt egy analitikus vázlat.
Legyen és n 2 esetén
Azt kell bizonyítani, hogy an= (2n)
Könnyű látni indukcióval, hogy an a1n, tehát az
sorfejtés biztos értelmes a 0 sugarú környezetében.
A rekurziót felhasználva kapjuk, hogy
Legyen most
( A fenti utolsó egyenlőség a cotangens függvény parciális törtekre bontásából adódik). Ellenőrizhető, hogy a z(x) függvény kielégíti a fenti diffenciálegyenletet és is teljesül, ezért a bizonyítás kész.
|
Előzmény: [2954] Gyöngyő, 2009-06-04 23:29:11 |
|
[2958] S.Ákos | 2009-06-10 16:07:48 |
 Mely p prímekre lesz négyzetszám?
|
|
[2957] Gyöngyő | 2009-06-08 20:06:27 |
 Sziasztok!
Ha valakit érdekel a megoldás,akkor szóljon,és elküldöm mailbe!
|
|
[2954] Gyöngyő | 2009-06-04 23:29:11 |
 Sziasztok! Itt egy érdekes feladat:
Legyen a Riemann-féle Zeta-függvényt.
Bizonyítsd be, hogy minden n 2-re

|
|
|
|
|
[2950] jonas | 2009-05-18 19:00:39 |
 Várj, ezt részletezem. Gimp-ben először megnyitod a képfájlt úgy, hogy letöltöd, majd a File menüből az Open parancsot választod, majd kiválasztod a letöltött képfájlt. Kiválasztod a Select by Color tool-t, és a Tool Options dialogban a Threshold csúszkát nullára állítod. Utána rákattintassz a képre valahol, ezzel kijelölted a képben az egyforma színű pixeleket. Ezután a színváltó melletti kis gombbal visszaállítod az aktuális előtérszínt feketére, a háttérszínt fehérre, majd a képen az Edit menüből lefuttatod a Fill with BG Color parancsot, ami fehérre színezi a kijelölést. Végül a Select menüből kiválasztod a None opciót, hogy a kijelölés határát mutató esetleges keret ne zavarjon.
|
Előzmény: [2949] jonas, 2009-05-18 18:36:33 |
|
[2949] jonas | 2009-05-18 18:36:33 |
 Megnyitod egy képszerkesztőben, választassz egy szimpatikus pontot a képen, kijelölöd az összes olyan pontot, ami pontosan ugyanolyan színű, mint az a pont, és ezeket átszínezed fehérre.
|
Előzmény: [2947] HoA, 2009-05-18 18:26:57 |
|
[2948] jonas | 2009-05-18 18:29:34 |
 Ha sor és oszlopcserére normáljuk a megoldásokat, akkor az is kiderül, hogy a 4-szer 4-es esetben lényegében csak egy megoldás van, 5-ször 5-ös esetben pedig csak kettő.
|
 |
Előzmény: [2946] jonas, 2009-05-18 18:12:31 |
|
|
[2946] jonas | 2009-05-18 18:12:31 |
 5×5-ösre a lenti kód változatlanul nem fut le, mert túl sok memóriát eszik, és ha azt kijavítjuk, akkor meg túl sok ideig fut. Lehetne gyorsabb programot írni, de egyszerűbb csak a memóriával takarékoskodni és azt észrevenni, hogy feltehetjük, hogy az első sor első három mezője üres (hiszen van egy olyan sor, amiben csak két mező teli, és a sorokat meg oszlopokat átrendezhetjük), akkor pedig már csak 222 lehetőséget kell megnézni, ennyi pedig néhány percen belül lefut, ha a kódot csak kicsit írjuk is át. (Valószínűleg még a teljes 225-es keresést is le lehet futtatni, de úgy tűnik, tovább tart, mint ami alatt ezt megírom és a screenshot-ot fölrakom.)
|
 |
Előzmény: [2945] Sirpi, 2009-05-18 13:26:34 |
|
|
[2944] jonas | 2009-05-18 13:22:32 |
 Remek! Ezt számítógéppel nyers erővel pár perc alatt meg lehet oldani. Csatolom a számításról készüt screenshotot, ami az eredményt is megmutatja, de hogy még más is gondolkozhasson rajta, átszínezem nehezen láthatóvá.
|
 |
Előzmény: [2943] Sirpi, 2009-05-18 12:05:59 |
|
[2943] Sirpi | 2009-05-18 12:05:59 |
 Na, egy nem túl nehéz, nemrég találtam ki:
503. feladat: Legfeljebb hány mező jelölhető meg úgy egy 4x4-es sakktáblán, hogy minden megjelölt mezőnek vagy a sorában, vagy az oszlopában legfeljebb egy másik megjelölt mező lehet?
|
|
|
|
|
|
[2938] Lóczi Lajos | 2009-05-07 19:28:23 |
 Bizonyítsuk be, hogy az

szám egy nevezetes állandó. Írjuk fel egyszerűbb alakban.
|
|
[2937] jenei.attila | 2009-05-04 20:59:56 |
 Először is szeretettel üdvözlünk. Mint láthatod, ebben a topikban érdekes (vagy érdekesnek ítélt) feladatokat adunk fel egymásnak, megbeszéljük a különböző megoldásokat, új feladatokat találunk ki, segítséget kérünk egymástól. A témák teljesen szerteágazóak: számelméleti, logikai, analízisbeli, algebrai, geometriai, stb. feladatok kerülnek elő. A feladatok megértéséhez általában nincs szükség középiskolás ismeretanyagon túlmenő matematikai ismeretekre. De javaslom hogy legalább néhány lap erejéig olvasd vissza a fórumot, sokkal részletesebb (és érdekesebb) áttekintést kapsz úgy arról, hogy voltaképpen mivel is foglalkozunk itt. Itt van pl. rögtön az 500. feladat, ami nem túl nehéz, de igen szép. Reméljük kedvet kapsz a fórumban való további aktív részvételre. Hát egyelőre ennyit.
|
Előzmény: [2936] Orsós Ferenc, 2009-05-04 12:02:54 |
|
[2936] Orsós Ferenc | 2009-05-04 12:02:54 |
 hellosztok Amint látjátok új gyerek vagyok, ezért arra szeretnélek megkérni titeket, ha lehet akkor avassatok be, hogy éppen miovel is foglalkoztok. előre is köszi.:)
|
|
|
[2934] Tibixe | 2009-04-30 20:38:38 |
 Egyetemi ZH feladatsor: LINK
4. feladatot nézzétek :)
|
|
[2933] jenei.attila | 2009-04-22 20:22:38 |
 Valóban, nem írtam le, csak "gondoltam". Számomra annyira nyilvánvalónak látszott, hogy fölöslegesnek tartottam leírni. De így pontos. Ez egyébként egy szép feladat volt. A te megoldásodból az is kijön, hogy minden pénztárosnak ugyanannyi kulcsot kell birtokolni, én pedig egyszerűen kihasználtam a feladat feltételét. Kíváncsi lennék, honnan származik ez a feladat.
|
Előzmény: [2932] HoA, 2009-04-22 19:52:07 |
|
[2932] HoA | 2009-04-22 19:52:07 |
 Köszönöm. Cserébe engedj meg egy kis korrekciót érvelésedhez. Első érvednél a "minden zárhoz legalább 2 kulcs" egy elégséges, nem pedig szükséges feltétel. Valóban igaz, hogy ha minden zárhoz legalább 2 kulcsot osztunk ki, akkor bármely 3 pénztárost kiválasztva, legalább az egyiknél lesz az adott zárhoz kulcs. De ebből még nem következik állításod, nevezetesen az, hogy ha bármely 3 pénztáros ki tudja nyitni a széfet, akkor minden zárhoz legalább 2 kulcsot kell kiosztani. ( A legalább két kulcs/zár szükségessége szerintem legegyszerűbben úgy látható be, hogy ha lenne olyan zár, amelyiknek csak egy kulcsa van, akkor az a pénztáros trió, amelyiknek e kulcs birtokosa nem tagja, nem tudná kinyitni a széfet.)
|
Előzmény: [2928] jenei.attila, 2009-04-22 13:13:29 |
|
|
[2930] jenei.attila | 2009-04-22 14:56:14 |
 Persze, hogy kijön. De erre a rekurzióra is valahogy rá kell jönni. A közelítésből is hasonló rekurzió adódik, nem biztos, hogy pont ez (nem számoltam ki), de az kiadja az összes megoldást. Egyébként a 13, illetve 17 lánctört kifejtéséből is kijön.
|
Előzmény: [2929] m2mm, 2009-04-22 14:48:23 |
|
[2929] m2mm | 2009-04-22 14:48:23 |
 Üdv!
Kijön közelítések nélkül is. a,-ra a c0=0, c1=3, cn=16cn-1-cn-2 sorozat elemei megfelelőek, b,-re pedig a c0=0, c1=180, cn=1298cn-1-cn-2 sorozat elemei megfelelőek, bizonyítható teljes indukcióval.
|
Előzmény: [2927] jenei.attila, 2009-04-21 20:56:06 |
|
[2928] jenei.attila | 2009-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.attila | 2009-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 |
|
|
[2925] MTM | 2009-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] HoA | 2009-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 = 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 |
|
|
[2922] jenei.attila | 2009-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< . 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}< , amiből {(i-j)x}< következik (feltehető hogy i>j). Definíció szerint legyen h:={(i-j)x}. Mivel h< , 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 
|
Előzmény: [2920] jonas, 2009-04-19 16:08:39 |
|
[2921] jenei.attila | 2009-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/ többszörösét, vagyis a p,2p,3p,...,ceil(1/ )p számokat. Ezek mindegyike 0 és 1 közé esik" ezt szintén nem értem. Ha pl , 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 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 távolságra vannak egymástól". Mert az OK, hogy van olyan 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 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] jonas | 2009-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 távolságra vannak egymástól, így bármilyen valós számhoz van legfeljebb /2 távolságra egy többszörös. Mivel azonban ez minden -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 |
|
|
[2918] jenei.attila | 2009-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] jonas | 2009-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< számot. Osszuk fel a [0..1] intervallumot 1/ egyforma részre: [0.. ],[ ..2 ],...,[floor(1/ ) ..floor(1+1/ ) ], mindegyik hosszú. Vegyük most a p első 1/ többszörösét, vagyis a p,2p,3p,...,ceil(1/ )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 , legyen ez a különbség mondjuk 0<floor(np)< (ahol n lehet pozitív vagy negatív, de nem nulla). Ekkor vehetjük egyszerűen np többszöröseit, és ezek is sűrűek.
|
Előzmény: [2915] jenei.attila, 2009-04-19 14:17:32 |
|
[2916] lorantfy | 2009-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.attila | 2009-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 |
|
|
|
|
|
[2910] jenei.attila | 2009-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

(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 . Mivel a és b relatív prímek, létezik olyan 0 k<b természetes szám, amelyre b osztója u+ka -nak. Definíció szerint legyen természetes szám. Ezek szerint

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 2m<(n+1)10k
teljesül. Ezzel ekvivalens
log2n+k*log210 m<log2(n+1)+k*log210
Látható, hogy az előző allításunkat kapjuk vissza 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] Cogito | 2009-04-14 16:28:10 |
 Szép, korrekt megoldás (egy apróság: alulról a 9. sorban a harmadik "=" helyére " " í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 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 |
|
|
|
[2906] Cogito | 2009-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] forex | 2009-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 ;
|
|
|
[2903] jenei.attila | 2009-04-04 09:08:53 |
 A jó sorozatokat következőképpen számoljuk össze: egy n hosszúságú jó sorozatban az előző n-1 elemből álló sorozat is jó. Jelöljük an-nel a nem fehér színnel végződő n hosszúságú jó sorozatok számát, bn-nel pedig a fehérrel végződők számát. Ekkor a jó sorozatok száma (amit cn-nel fogunk jelölni) nyilván cn=an+bn és a1=4 b1=1.
an=an-1+4bn-1
, mivel nem fehérre végződő jó sorozatot úgy kapunk, hogy az n-1 -edik elem nem fehér és akkor az n-edik elem ugyanolyan színű, vagy az n-1 -edik elem fehér de akkor az n-edik elem 4 féle színű lehet. Hasonlóan meggondolva
bn=an-1+bn-1
a fehérre végződő jó sorozatok száma annak megfelelően, hogy ekkor a megelőző n-1 hosszú jó sorozatot fehér színnel folytatjuk. Egy kis alakítással kapjuk: c1=5, c2=13
cn=2cn-1+3bn-1
(mivel cn=an+bn)
bn=cn-1
,amiből végül
cn=2cn-1+3cn-2
másodrendű lineáris rekurzió adódik. Meglehet adni zárt alakban is, ezt másra hagyom.
|
Előzmény: [2894] gubanc, 2009-04-01 11:51:00 |
|
[2902] jonas | 2009-04-02 19:25:54 |
 Ja értem. Én úgy próbáltam színezni a pontokat, hogy bármelyik két szomszédos vagy különböző színű legyen, vagy az egyik fehér. Te viszont azt mondtad, hogy bármelyik két szomszédos pont legyen vagy azonos színű, vagy az egyik közülük fehér.
Ebben az esetben a megfelelő sorozat szerintem az A046717 lesz.
|
Előzmény: [2898] gubanc, 2009-04-01 20:22:57 |
|
[2901] gubanc | 2009-04-02 16:27:50 |
 Látom, a legjobb úton haladsz a feladat általánosítása felé (Pl.: 5 szín helyett k szín ...). Csak dícsérni tudom ezt a kezdeményezést! :))
Előre is köszönet mindkettőtöknek, és az esetleges további hozzászólóknak is. (gubanc)
|
Előzmény: [2900] BohnerGéza, 2009-04-02 15:19:38 |
|
|
[2899] BohnerGéza | 2009-04-01 22:07:18 |
 Telhetetlen vagy gubanc!
(: Egy és két szín esetén tudnék segíteni. :)
(Sőt, egyelőre azt hiszem, három vagy több szín esetén lényegében ua. a feladat, esetleg a zárt alak megadásában lehetnek különböző nehézségűek. Azért megpróbálom komolyabban is.)
|
Előzmény: [2894] gubanc, 2009-04-01 11:51:00 |
|
[2898] gubanc | 2009-04-01 20:22:57 |
 Sajnos még mindig nem világos számomra a dolog. Hogyan érted azt, hogy "el kell tolni eggyel a sorozatot"? Azt láttuk, hogy a sorozat első tagjának 5-nek kell lennie. Ha ehhez igazodunk, akkor az OEIS-ből belinkelt sorozatot kettővel (és nem eggyel) eltolva a1 = 5 és a2 = 21 adódna. Így meg a2-vel van egy kis probléma ... . Egyébként javasolom, hogy lépjünk túl a rekurziós alakon és n 3-ra próbáljuk megadni (ha lehet) explicit módon is a sorozat n-edik tagját ( és persze előbb az a2 helyes számértékét).
(Elnézést, ha valamit félreértettem volna.)
|
Előzmény: [2897] jonas, 2009-04-01 19:00:06 |
|
|
[2896] gubanc | 2009-04-01 16:06:19 |
 Ha jól látom, az általad megadott hivatkozás a1 = 1 -et ír, ami ellentmond annak, hogy n = 1 esetén az egyetlen pontot - az öt szín miatt - ötféleképpen színezhetjük ki.
|
Előzmény: [2895] jonas, 2009-04-01 15:28:31 |
|
|
[2894] gubanc | 2009-04-01 11:51:00 |
 Szép napot! Kíváncsi lennék a köv. feladat megoldására.
Egy egyenesen sorakozik n pont ilyen sorrendben: P1, P2, ... , Pn. Adott öt különböző szín, egyikük a fehér. Kiszíneztük e színekkel az összes pontot. A színezés szabálya, hogy bármely két, egymást követő Pi , Pi+1(i = 1, 2, ... , n-1) pontra teljesüljön, hogy azonos színűek, vagy legalább az egyikük fehér. Hány szabályos színezés lehetséges?
|
|
|
[2892] Csimby | 2009-03-30 20:30:37 |
 y=x-x3 és x=y3-y ugyanaz az origón átmenő görbe, csak 90 fokkal elforgatva. A tengelyeket (-1,0);(0,0);(1,0) illetve (0,1);(0,0);(0,-1) pontokban metszik. Más metszéspontjuk pedig nem lesz mint a (0,0) ez abból látszik, hogy a (-1,1)×(-1,1) négyzeten kívül mindegyik síknegyedben csak az egyik görbe halad. A négyzeten belül is a (-1,0)×(0,1); (0,1)×(0,1);(-1,0)×(0,-0);(0,1)×(0,-1) négyzetek mindegyikében csak az egyik görbe halad.
|
Előzmény: [2891] Csimby, 2009-03-30 20:06:14 |
|
[2891] Csimby | 2009-03-30 20:06:14 |
 Az egyik egyenletből kifejezzük y-t, majd a másikba helyettesítjük, így ezt kéne megoldani: x(2-2x2+3x4-3x6+x8)=0 A 0 lesz az egyik gyök nyilván. x2=z helyettesítéssel, keressük: 2-2z+3z2-3z3+z4=0 gyökeit. Ezek: Tehát nem lesz több valós gyök. Biztos be lehet látni szebben is.
|
Előzmény: [2890] MTM, 2009-03-30 15:45:10 |
|
|
[2889] Lóczi Lajos | 2009-03-30 03:05:09 |
 Adjuk meg az összes olyan x és y valós számot, melyekre fennáll, hogy x-x3-y=x+y-y3=0.
|
|
|
[2886] Gábor1905 | 2009-03-12 10:26:30 |
 Üdv. A következő kérdésre szeretnék választ kapni:Van-e olyan konvex 5, vagy attól többszög, melynek 4-nél több belső szöge 120°, vagy annál kisebb. Minden ötlet nagyon érdekel! Előre is köszönöm!
|
|
[2885] kutasp | 2009-03-11 20:22:39 |
 grat szép megoldás:) Amúgy fölmerül számos egyéb kérdés is a feladat kapcsán. 1., a te megoldásod és az általam ismert nagyon hasonló megoláds is burkoltan használja a kiválasztási axiómát, ugye akkor amikor választjuk a Hamel-bázist(ennek a létezését a vele ekvivalens Zorn-lemma biztosítja). Létezik-e ezt nem használó bizonyítás vagy esetleg ez állítás is ekvivalens a kiválasztási axiómával?
2., egyéb struktúrákra megnézni, hogy mikor színezhetők ki két színnel, konkrétabban:
a., Milyen véges Abel-csoportok színezhetők ki két színnel úgy, hogy mindkét színosztály zárt legyen a különböző elemekkel való csoportműveletre(azaz hatványozásra nem feltétlenül!)(erre úgy gondolom hogy tudom a választ)
b., ugyanez végtelen Abel-csoportokra
c., ugyanez tetszőleges csoportra
d., és az igazi általánosítás: ugyanez félcsoportokra, bár sztem ezek karakterizációja reménytelen, de esetleg érdemes megvizsgálni az ilyen félcsoportokat. Mindezt csak mint matematikus hallgató írom, tehát lehet hogy ennek az egész dolognak minden része ismert, ebben az esetben előre is elnézését kérem mindenkinek.
|
Előzmény: [2881] jenei.attila, 2009-03-11 12:03:31 |
|
|
[2883] Tibixe | 2009-03-11 18:09:52 |
 Ha jól látom, a lenti megoldás általánosítható 2c sok színre, mert egy színt meghatároz az, hogy melyik együtthatót követeljük nemnegatívnak és melyiket negatívnak. És kontinuum sok együttható van.
Színek egyesítésével pedig megkaphatunk bármilyen ennél kisebb számosságot.
Jól látom?
|
|
|
[2881] jenei.attila | 2009-03-11 12:03:31 |
 Válaszolnék az alábbi valóban érdekes feladatra:
"Ki lehet-e színezni a pozitív valós számokat pirosra és kékre(mindkét színt kell használni), hogy pirosak összege piros, kékek összege kék legyen?"
Sokat agyaltam rajta, és úgy tűnik van ilyen színezés. A "valaki mondja meg" topikban feltettem néhány valós számokra vonatkozó algebrai kérdést, azokat is ez a feladat hozta elő. Tekintsük a valós számok testét a racionális számok teste feletti vektortérnek. Ennek a vektortérnek a bázisát Hamel bázisnak nevezik. Vagyis igaz az, hogy létezik a valós számok halmazának olyan H részhalmaza (ez a Hamel bázis), amellyel minden valós szám egyértelműen áll elő
r1h1+...+rnhn
alakban, ahol az r együtthatók racionális számok, a h számok pedig H elemei és n véges de függ az előállítandó számtól. Feltehetjük, hogy H tartalmazza az 1-et, és r1 az 1 együtthatója. Minden így előállított valós számot színezzünk pirosra, ha a h1 együttható (a szám "racionális része") nem negatív, kékre, ha r1 negatív. Így nyilván a valós számoknak egy jó színezését adjuk meg, és lesz kék pozitív szám is (pl. , ha a is eleme H-nak).
|
Előzmény: [2804] kutasp, 2009-01-07 22:02:55 |
|
[2880] sakkmath | 2009-03-07 17:03:18 |
 Igazoljuk, hogy ha 1 < a < b < c, akkor
loga(logab) + logb(logbc) + logc(logca) > 0.
|
|
|
|
[2877] Tibixe | 2009-02-16 19:38:07 |
 A
z1=i z2=-i
esetben nálam
|z1|=1
|z2|=1


Tehát
f(i)-f(-i)=-2i
és
i-(-i)=2i
ezek aránya -1.
Abszolút értékeik aránya pedig 1.
És ez a két arány csak előjelben különbözik.
Elrontottam volna valamit?
|
Előzmény: [2876] Cckek, 2009-02-15 21:12:42 |
|
|
|
|
|
|
[2871] psbalint | 2009-01-26 17:02:35 |
 megnézed azt a kis nyilacskás részt, és mindegyik elemhez hozzárendeled a tőle jobbra, három nyilacskára álló elemet :)
|
|
|
[2869] S.Ákos | 2009-01-25 21:17:30 |
 63=12.5+3, szóval: P63=P60+3=(P5)12.P3=P3 A párosítás pedig abból adódott, hogy külön-külön megnézzük az egyes elemeknél, hogy P háromszori elvégzése mit rendel hozzá az adott elemhez.
|
Előzmény: [2868] mmarta, 2009-01-25 19:02:42 |
|
|
|
[2866] mmarta | 2009-01-25 11:53:47 |
 Sziasztok! Segítséget szeretnék én is kérni a köv. feladathoz. Adja meg a P63 permutációt. Egyszerű, szájbarágós magyarázat, megoldás kellene, hogy meg is értsem :)
Köszönöm
|
|
[2865] Kemény Legény | 2009-01-24 02:18:24 |
 Hát, semmi sem elég jó Neked :)
Rendben, akkor az új "tétel":
Az ezzel egyenértékű és
egyenlőtlenségek összege
Ismert, hogy
Tehát valamelyik állítás igaz, azaz a "szokásos érvvel" az összes is, a tételt "beláttuk".
Ezt mutatja nyilván az példa is, amikor
Míg a jobb oldal
Amit csináltam az eredeti "bizonyítás" kapcsán, hogy lehagytam a 2-es kitevőket, és a koszinuszra cseréltem a kotangenst, és a jobb oldalra a kerület konstansszorosa került. Ha még mindig vannak ellenvetéseid (pl. szép-szép, de egy kontangenses ellenpélda még szebb lenne, sőt miért nem cáfolom meg rögtön az eredetileg kitűzött A-feladatot is), akkor szólj bátran.
|
Előzmény: [2864] rizsesz, 2009-01-23 23:47:26 |
|
|
[2863] Kemény Legény | 2009-01-23 17:45:05 |
 Ha csak az kell, tudok én egyenértékű állításokból is ellenpéldát mutatni. Legyenek 2 háromszög oldalai A,B,C és a,b,c, kerületeik K,k. Állítás: Egyenértékű ezzel: Szintén egyenértékű:
Összeadva a 3 egyenlőtlenséget: a bal oldal (A+B+C)(a+b+c)=Kk azaz valamelyikük igaz, ekkor az "elv" miatt mindhárom igaz.
Ellenpélda: (A=2,B=2,C=3,a=1,b=1,c=0.1,K=7,k=2.1,Aa+Bb+Cc=2+2+0.3=4.3<4.9=Kk/3)
|
Előzmény: [2862] rizsesz, 2009-01-23 10:55:57 |
|
[2862] rizsesz | 2009-01-23 10:55:57 |
 Én értem ezt a logikai utat. Pontosan ezért kérdeztem rá. Jelen esetben azonban ha akármelyik igaz, az egyenértékű az állítással.
Ezzel szemben az általad adott példában a 3 állítás nem egyenértékű.
Azt is értem, hogy az eredeti állításból nem juthatunk el a + 2 általam felírt egyenlőtlenséghez.
Szóval már majdnem meggyőztél, de még kötözködöm :)
|
Előzmény: [2861] Kemény Legény, 2009-01-23 10:11:10 |
|
[2861] Kemény Legény | 2009-01-23 10:11:10 |
 Az eredeti "bizonyítás" során a 3 állítás bármelyikének igazolása önmagában elegendő lenne a teljes megoldáshoz, de onnantól kezdve, hogy mindhármat felírtuk egyszerre, akkor már csak azt tudjuk belátni, hogy minden háromszögben valamelyik igaz. Abból pedig, hogy egy állítás egy tetszőleges háromszögben igaz az oldalak/szögek valamilyen sorrendjére, nem következik, hogy minden háromszögben az oldalak/szögek tetszőleges sorrendjére igaz lenne.
Az állítások felírásában valóban nincs kitüntetett szerepe semminek, de amikor találunk egyet a 3 közül, ami igaz, abban már az oldalak/szögek egy kitüntetett sorrendben szerepelnek, és épp ez veszi el az általánosítás lehetőségét.
|
Előzmény: [2856] rizsesz, 2009-01-23 02:06:57 |
|
[2860] rizsesz | 2009-01-23 09:14:59 |
 Ugyanis ha már az egyik igaz, akkor mivel a szorzók nincsenek meghatározva, így bármilyen formában odapakolhatod őket az oldalak mellé együtthatónak.
Szóval szerintem az én logikám nem alkalmazható az a+b+4c-s példára.
|
Előzmény: [2858] Valezius, 2009-01-23 06:41:45 |
|
[2859] rizsesz | 2009-01-23 08:59:53 |
 Értem az indoklást, de mégsem :) mármint abba már belenyugodtam, hogy nem jó a bizonyítás, de!
Itt azért jóval többről van szó, mint a ti példátokban! Az állítás, mármint átalakítottam a feladatbelit, azt mondja ki, hogy bármilyen szög-kombinációban igaz ez az állítás. Míg a ti esetekben ti pontosan kihasználjátok, hogy éppen melyik oldalnak adtok 4-es szorzót, és így születik meg az ellenpélda.
Én azt hiszem, hogy mégiscsak jó a bizonyításom.
|
Előzmény: [2858] Valezius, 2009-01-23 06:41:45 |
|
[2858] Valezius | 2009-01-23 06:41:45 |
 Szép próbálkozás :)
3-ból 1igaz, akkor hiába rendezed át a számokat továbbra is 3-ból 1 lesz igaz, csak egy másik.
pl. a=0, b=3, c=3
a+b>=4, a+c>=4, a+b>=4
persze ha teljesül, hogy a+b+c>=6, akkor legalább az egyik igaz. De ha átrendezed a számokat, akkor továbbra is csak 1marad igaz, nem mind a három.
A lényeg: Abból, hogy felcserélhetők a számok csak az következik, hogy feltehető, hogy a+b>=4. Semmi más. (Mivel ha a+b<4, akkor átrendezem a számokat)
Utolsó kérdésre: 3állatás igazságából következik a negyedik, de fordítva nyilván nem, ha látom, hogy teljesül a 4. akkor mitől lenne igaz az első 3mindegyike? Most erre biztos lehet nagyon primitív példákat gyártani, de remélem így is érted :)
|
Előzmény: [2856] rizsesz, 2009-01-23 02:06:57 |
|
[2856] rizsesz | 2009-01-23 02:06:57 |
 Igazából pontosan jól látod a problémámat - akkor viszont hol bukik el a dolog, azaz miért nincsen kitüntetett szerepe a másik háromszög szögeinek? (a csak akkort most érzem :) tehát ha az eredeti állítás igaz, akkor a másik kettő is, így az összegük is, viszont az a kérdésem, hogy min múlik a visszafelé?)
|
Előzmény: [2855] Kemény Legény, 2009-01-22 22:58:59 |
|
[2855] Kemény Legény | 2009-01-22 22:58:59 |
 Ha jó a gondolatmenet, akkor pl. bizonyítható, hogy "minden háromszögben a+b+4c>=2K", hiszen az ehhez hasonló a+4b+c>=2K és 4a+b+c>=2K egyenlőtlenségek összege 6(a+b+c)=6K, azaz vmelyik a 3 egyenlőtlenség közül igaz kell legyen és akkor az "elv" miatt az összes többi is.
/Holott pl. az a=1,b=1,c=0.001 oldalú háromszögben nem igaz az állitás/
|
Előzmény: [2857] rizsesz, 2009-01-22 15:05:23 |
|
[2857] rizsesz | 2009-01-22 15:05:23 |
 Szerintetek az A.468-ra jó az alábbi megoldás:
A bal oldalon a tagokat az alábbi logika szerint átalakítva: A2*(-a2+b2+c2) - a zárójelben található kifejezés a cos-tétel miatt alakba A2*2bc*cos írható, ahonnan t= miatt bc= . Ezt beírva kiemelhető t, ha ezt a logikát követjük mindhárom tagra behelyettesíthető ctg , és végül 4t-vel osztva azt kapjuk, hogy az állítás az A2*ctg +B2*ctg +C2*ctg >=4T
Tekintsük az alábbi 2 további állítást:
A2*ctg +B2*ctg +C2*ctg >=4T
A2*ctg +B2*ctg +C2*ctg >=4T
Ha ezek közül az egyik teljesül, akkor a másik kettő is, hiszen , , között annyi az összefüggés, hogy összegük 180 fok, más megkötést pedig nem generálnak az egyenlőtlenségekben.
Ha tehát ezen 3 összefüggés összege igaz, akkor legalább az egyik igaz (különben indirekten következne, hogy nem teljesülhet az összegként létrejövő egyenlőtlenség).
Viszont ha az egyik igaz, akkor abból logikailag következik, hogy mindhárom igaz, hiszen csak a szögeket kell átrendezni, amit megtehetünk.
A 3 egyenlőtlenség összege: (ctg +ctg +ctg )*(A2+B2+C2)>=12T
Ez pedig igaz, mert az első a Jensen-egyenlőtlenség miatt: (ctg +ctg +ctg )>=3*(ctg( + + )/3)=
(A2+B2+C2)>=4* *T pedig ismert.
Ez szerintetek jó?
|
|
|
[2853] janomo | 2009-01-22 12:14:12 |
 Általánosan egy akármilyen q(x) eleme Z[x] polinomra kilehet számolni könnyen a legendre(q(x)) összegeit, ha x végig megy az összes maradékon.
A q(x) a (p-1)/2-en ek összegét vesszük, akkor olyan típusú összegeket kell vizsgálni, hogy (1) k +2 a k-o +....+(p-1) k és egy ilyenről belehet bizonyítani, hogypontosan akkor nem 0, ha k (p-1) többszöröse. Ha pedig k többszöröse (p-1)-nek, akkor ez az összeg (-1)-et ad a kis Fermat tétel miatt
Tehát a p(x) (p-1)/2 polinomban össze kell gyűjteni azokat a tagokat, amelyek kitevője osztható (p-1)-el és ezeknek a tagoknak a együtthatóinak az össszege.
Ezt nehéznek tűnik kiszámolni, de valójában nem az, például a p(x)= x köb +1 polinomra szép eredmény jön ki. Az összeg maradéka -(p-1)/2 alatt a (p-1)/3 plusz 1.
Érdekes még, hogyha veszünk egy akármilyen polinomot, akkor ezzel a polinomos módszerrel kihozható, hogy létezik egy c konstans melyre minden p-re az összeg maradéka c*sqrt(p)-nél közelebb van a 0-hoz. Ez azt jelenti, hogy egy polinom helyettesítési értékeiközt is nagyjából egyenletesen oszlanak el a kvadratikus és nem kvadratikus maradékok.
Érdekes kérdés, hogymely q(x) polinomra 0 ez az összeg minden p prímre.
|
|
[2852] nadorp | 2009-01-21 09:17:29 |
 Ha a balodali összeget S-nek jelöljük, akkor |S| p-2 miatt elég bizonyítani, hogy S -1 mod(p), vagy ami ugyanaz, a mod p testben S=-1.
Felhasználva, hogy és hogy
Az utolsó lépésekben felhasználtuk, hogy a 2,3,...(p-1) értékeket veszi fel valamilyen sorrendben és mindegyiket egyszer, másrészt hogy ugyanannyi négyzetes maradék van, mint négyzetes nemmaradék.
|
Előzmény: [2849] psbalint, 2009-01-20 20:16:52 |
|
[2851] psbalint | 2009-01-20 20:47:44 |
 igen azon csakúgy átugrottam hogy p eleme P-nek, de valóban :)
|
|
|
[2849] psbalint | 2009-01-20 20:16:52 |
 üdv. van még egy szép, érdekes és megoldatlan, lagrange-szimbólumos feladatom :)
340. feladat bizonyítsuk be, hogy ha 'p' páratlan, akkor:

|
|
[2848] jenei.attila | 2009-01-18 11:46:07 |
 Szép gondolat, érdemes lenne kidolgozni. Apróbb pontosításokat engedj meg. A te jelöléseidet megtartva, jelöljük -t a-val, jelezve, hogy ennek az operátornak a a paramétere. A a ekkor így néz ki:
a:F F
a(h)=x h(x+a)-h(x)
(nyilván elírtad, amikor a helyett p-t írtál). Az valóban elég lenne a h előállíthatóságához (a és b-periodikus fv-ek összegeként) ha, a(Q)=Q teljesülne. Azonban nem biztos, hogy ez szükséges is, mert mi van ha Q-nak létezik olyan eleme, amely nem áll elő egyetlen F-beli elem a szerinti képeként sem. Ehelyett azt kellene bizonyítani, hogy ha a(h) Q, akkor a(h) (Q) is teljesül.Mindez persze csak akkor, ha a és b nem összemérhetők. Ez utóbbi (egyébként szükséges) feltételt még nem használtuk ki.
|
Előzmény: [2847] Tibixe, 2009-01-17 16:54:58 |
|