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]  

Szeretnél hozzászólni? Jelentkezz be.
[2644] jonas2008-05-15 22:23:31

A négyzetes nem nehéz.

Egyszerűen választunk egy (s,a,x) számhármast, amelyre 1<s,x és 0<x<a2, és a2-x=s2x. Ezután egy nagy négyzetet felosztunk a2 közepes négyzetre, majd x darab közepes négyzetet egyenként s2 darab kis négyzetre.

Több megfelelő számhármas is van, az ábra a (2,5,5)-nek megfelelő megoldást mutatja, de jó például a (2,10,20),(3,10,10),(7,10,2),(2,15,45),(4,17,17),(2,20,80),(3,20,40),... is.

Ha 4s2\lex, akkor megtehetjük azt is, hogy egy (vagu több) közepes négyzetet kis négyzetek közé fáziseltolással csempészünk be, ahogy a második ábra mutatja.

Előzmény: [2643] Lóczi Lajos, 2008-05-15 21:51:46
[2643] Lóczi Lajos2008-05-15 21:51:46

Hát akkor tűzzük ki :) Az is érdekes kérdés, hogy határértékben mi a fekete/fehér kockák aránya, az optimális esetben, ha a négyzetrács mérete végtelenhez tart. Amúgy ezt a feladatot idén adták fel orosz 6.-osoknak, egy olimpiai előkészítőn. A közölt megoldás is 28-at ad meg (egyébként Python ábráján a jobb szélsőt), persze nem bizonyítja az optimalitást. (A feladat pontozása érdekes: aki 25 autót rak be, 1 pontot kap, ezen felül viszont minden újabb autó plusz 2 pontot ér :-)

A másik, hasonlóan érdekes feladat: osszunk fel egy négyzetet kétféle méretű négyzetre, úgy, hogy a két fajtából egyforma számú darab szerepel. Kíváncsi vagyok, hogy van-e lényegében másfajta elrendezés, mint amit közöltek.

(A többi 4 feladat triviális volt ezekhez képest.)

Előzmény: [2642] Python, 2008-05-15 19:55:25
[2642] Python2008-05-15 19:55:25

A 28 nálam is megvan és szerintem nincs ennél jobb, mivel elég sokat szórakoztam, és 28-at többfélét találtam, de annál jobbat nem (3 példányt felteszek ábrában). Érdekes lenne a feladatot általánosabban is kitűzn, tehát n×n-es parkolóra.

Előzmény: [2640] Káli gúla, 2008-05-15 14:50:44
[2641] Róbert Gida2008-05-15 16:48:03

Jók a számok. Lehet találni egy formulát, ami ilyen számokat állít elő, feltéve, hogy néhány szám prím a formulában. Ez hasonló a Carmichael számokat gyártó képlethez, ami persze nem véletlen, hiszen ahogy írtad ezek mind azok. Ha egy ikerprím sejtéshez hasonló sejtés igaz, akkor máris végtelen sok ilyen szám van.

Előzmény: [2638] Enkidu, 2008-05-15 12:41:43
[2640] Káli gúla2008-05-15 14:50:44

1-et tudtam javítani (27 -> 28), nem tudom, lehet-e jobbat csinálni.

Előzmény: [2639] Sirpi, 2008-05-15 13:06:23
[2639] Sirpi2008-05-15 13:06:23

A példaábrához képest (ami elsőre optimálisnak tűnt számomra) 3-at tudtam javítani (24 -> 27), nem tudom, lehet-e jobbat csinálni.

Előzmény: [2637] Lóczi Lajos, 2008-05-13 12:14:17
[2638] Enkidu2008-05-15 12:41:43

Ha jól számoltam az első két szám: 1729 és 2465 (a harmadik a 15841). A "bizonyításom" egy program, ami végigfut a Carmichael-számokon (csak ilyenek lehetnek a feladatban kitűzött számok).

Hogy miért éppen a Carmichael-számok?! Azok az n számok, melyekre minden lnko(a,n) = 1 esetén an-1\equiv1(modn) azok éppen a prímek és a Carmichael-számok. Prímek esetén viszont van olyan a<n, amely primitív gyök, erre az a-ra nem teljesülhet a feladatban kitűzött egyenlőség.

Most hirtelenjében csak azokon a számokon fut a progi, amik beleférnek a szabvány 16-bites (max 32000) egész szám fogalmába. Arra nem merek tippelni, hogy véges, vagy végtelen sok ilyen szám van.

Üdv!

Előzmény: [2633] Róbert Gida, 2008-04-28 19:11:45
[2637] Lóczi Lajos2008-05-13 12:14:17

Egy 7x7-es autóparkolóba legfeljebb hány darab autót helyezhetünk el, ha azt akarjuk, hogy bármelyik ki tudjon jönni a többitől függetlenül? (A kijárat bal fölül van, és egyszerre mindig csak 1 autó mozog. 1 autó 1 teljes négyzetet foglal el és csak a négyzetrács mentén mozoghatnak függőlegesen vagy vízszintesen.)

[2636] Róbert Gida2008-05-12 02:06:51

Ah, megvan a pontos érték: 1-\frac {\Pi ^2}{12} Érdemes felbontani az integrált y<x és y>x részekre. Mivel az integrálandó x,y-ban szimmetrikus ezért elég az egyiket kiszámolni, például y<x-et, ekkor az egyik tag persze: frac(y/x)=y/x, a másik miatt viszont a [0,x] intervallumot fel kell osztani. Végén kapunk egy kellemes szummát, amit egy apró trükkel lehet explicit alakban felírni. Bár a \Pi2 gondolom így sokat segít.

Előzmény: [2635] Róbert Gida, 2008-05-12 01:35:06
[2635] Róbert Gida2008-05-12 01:35:06

Ha valaki ki akarná számolni: Monte Carlo módszere kb. 0.177-et ad az integrálra, 1 millió pontot használva az egységnégyzetből, ez így kb. 1/sqrt(1000000)=1/1000-ed pontosságot jelent.

Előzmény: [2634] Gyöngyő, 2008-05-12 00:58:33
[2634] Gyöngyő2008-05-12 00:58:33

Mennyi a következő integrál értéke: Ahol a kapcsos zárójel törtrészt jelent:


\int_0^{1} \int_{0}^{1} \left\{ \frac{x}{y} \right\} \left\{ \frac{y}{x} \right\} dx dy

Üdv.: Zsolt

[2633] Róbert Gida2008-04-28 19:11:45

Találjuk meg a két legkisebb pozitív egész 1-nél nagyobb páratlan N számot, melyre teljesül, hogy: minden lnko(a,N)=1 esetén a^{\frac {N-1}{2}}\equiv 1 mod N teljesül! Mi a sejtésünk: végtelen vagy véges sok ilyen N szám van?

[2632] Róbert Gida2008-04-28 18:32:20

Fazekas felvételi feladatsora a 6 osztályos spec. mat. tagozatra.

[2631] Róbert Gida2008-04-27 00:52:00

Egy megoldás rá: Legyen s=a1+an rögzített, ekkor, ha s fix, akkor a jobb oldal is fix. De mi lesz a bal oldal maximuma (rögzített s esetén)? Legyen x=a2...ak és y=an-k+1...an-2, a bal oldalon elég az első és utolsó tagot nézni:

max(a1*x+y*an)=max(x,y)*s, ha s=a1+an, és a maximum felvétetik olyan helyen (is), ahol a1=0 vagy an=0, ezt beírva az eredeti feladatot kapjuk meg csak n tag helyett (n-1) taggal. Azaz leszállhatunk, egészen n=k-ig, ami a triviális eset, hiszen ez éppen a számtani-mértani egyenlőtlenség.

Egyenlőség viszont sokféleképpen lehet, például k=1-nél mindig egyenlőség van. n=3,k=2-nél pontosan akkor, ha a1-a2+a3=0

Előzmény: [2630] Gyöngyő, 2008-04-26 22:06:26
[2630] Gyöngyő2008-04-26 22:06:26

Szisztok!

Legyen k és n pozitiv egészek és k=<n, és legyen a1,a2,...an nemnegativ valós számok. Bizonyítsuk be,hogy


a_1a_2...a_k + a_2a_3....a_{k+1} + ... + a_{n-k+1}a_{n-k+2}...a_{n} \leq \left(\frac{a_1 + a_2 + ... +a_n}{k}\right)^k

[2629] Ratkó Éva2008-04-21 13:16:07

Kedves CD iránt érdeklő és tájékozott fórumozók! Az, hogy a KöMaL eltűnt a sulinet honlapról, sajnos nem a mi hatáskörünk: higgyétek el, mi is azt szeretnénk, ha még mindig ott lenne. Volt velük egy ötéves szerződésünk, melyet a lejárta után nem óhajtottak megújítani, és jelenleg is ez az állapot áll fenn. Valóban, szkennelt formában elérhetőek a számok a mi honlapunkon, teljesen ingyen. (Itt egy másik oldal is, ahol elérhetők, méghozzá oldalanként: db.komal.hu/scan ) Ahhoz, hogy a) vagy egy hasonlóan működő honlapot gyártsunk b) a CD-t frissítsük vagy internetes vagy új CD-kiadás formájában, egy jó programra és ehhez pénzre van szükségünk. A HEFOP pályázat arról szólt, hogy adatokkal feltöltjük az adatbázisunkat.

Egyébként a pályázatnak 2006 decemberében vége volt, azóta még nem kaptuk meg az általunk kifizetett pénz 20%-át. Tehát adott egy egész szépen feltöltött adatbázis, amivel még 2 teendő van - ez folyik most- : 1.) a szöveghez az ábrákat bevinni - ezt elkezdték, de nem fejezték be - 2.) ellenőrizni kell, hogy tényleg jók-e a bevitt szövegek - ugyanis az adatbevitelkor sok hiba keletkezhetett.

Valóban eladtunk kb. 500 Cd-t, ebből számoljátok ki hány ember fizetése (minimálbér) finanszírozható!? Hány hónapig? (persze a CD nyomása és elkészítése és az azt működtető valóban nem egészen felhasználóbarát program megíratása sem volt ingyen - amúgy épp ezért szándékoznánk valami mai igényeknek megfelelőbb feldolgozást) Szóval elnézést, de ma csak itt tartunk. Egyébként teljesen igazatok van, már rég működnie kéne ennek az archívumnak valamilyen formában. A jó hír az, hogy legalább a KöMaL kiadására és a KöMal-honlap és FÓRUM működtetésére épp hogy futja a MATFUND (és az adófizetők) pénzéből :-)

Oláh Vera

Előzmény: [2626] Cogito, 2008-04-13 14:11:36
[2628] sakkmath2008-04-13 16:17:36

Szia Gyöngyő!

Úgy tűnik, az első öt jól felírt sorozattag után a sok szám és vessző között eltévedtél, s talán ezzel magyarázható, hogy több hibával írtad fel a sorozat hátralévő tagjait. Megpróbálom hiba nélkül leírni a sorozat első 11 tagját, remélem, sikerül: 1, 11, 21, 1211, 111221, 312211, 13112221, 1113213211, 31131211131221, 13211311123113112211, 11131221133112132113212221, ...

Végül nézzük a rekurziós képzési szabályt; hogyan kapjuk a 11. tagot a tizedikből: 1db 1, 1db 3, 1db 2, 2db 1, 1db 3, 3db 1, 1db 2, 1db 3, 2db 1, 1db 3, 2db 1, 2db 2, 2db 1.

Üdv: sakkmath

Előzmény: [2627] Gyöngyő, 2008-04-13 14:36:32
[2627] Gyöngyő2008-04-13 14:36:32

Sziasztok!

Van egy jópofa feladatom!

folytasd:

1,11,21,1211,111221,31,2211,13112221,1113213211,31131211321, 132113111231131211....

üdv: Zsolt

[2626] Cogito2008-04-13 14:11:36

A KöMaL-szerkesztőség erről csak ennyit ír. E szűkszavú híren kívül illett volna azt is közölni, hogy a mostani állapot mégis meddig tart, illett volna megindokolni a "nem elérhető"-ség okát, s végül, de nem utolsó sorban, illett volna elnézést is kérni a legalább másfél éve tartó, bosszantó helyzetért.

Szerencsére van egy lehetőség, hogy saját cd-t készítsünk a KöMaL első 100 évének archívumáról. A hogyanhoz klikk ide. (Egy 523 MB-os ZIP-állományt kell/lehet letölteni...)

Az utóbbi linken a 2005 nyarán megjelent "Irány a Nobel-díj KöMaL 1994-2003" című CD-ről többek között ez olvasható: " ... minden vásárlót regisztrálunk, és számukra a jövőben lehetővé tesszük, hogy a folyamatosan bővülő tartalmat a meglevő CD-jük frissítéseként letölthetik erről a web-címről ...". A közlemény így zárul: "Az összes megjelent füzet digitalizálása körülbelül 3 évet vesz majd igénybe."

Ezek alapján joggal kérdezhetik a regisztrált felhasználók, hogy:

1) Az eltelt csaknem 3 év alatt miért nem lehetett semmiféle frissítést letölteni?

2) Az óvatos "körülbelül 3 év" hány év lesz a valóságban?

Előzmény: [2625] kdano, 2008-04-11 19:47:08
[2625] kdano2008-04-11 19:47:08

Azóta letörölte a sulinet a kömal-archívumot. De legalábbis nem elérhető (ld. http://www.komal.hu/lap/archivum.h.shtml )

Előzmény: [2624] HoA, 2008-04-10 11:57:47
[2624] HoA2008-04-10 11:57:47

A régebbieket nézegetve akadtam erre a hozzászólásra. Géza, neked sikerül itt elolvasni Csirmaz László cikkét? Ha nem, miért nem?

Előzmény: [63] Kós Géza, 2003-11-13 14:25:51
[2623] Lóczi Lajos2008-03-23 22:31:49

A [2615]-beli jelölésekkel a tetraédertérfogatokra egyébként ezek adódnak: \frac{abc}{6}, \frac{bcd}{6}, \frac{acd}{6}, \frac{abd}{6}, \sqrt{\left(\frac{abc}{6}\right)^2+
\left(\frac{bcd}{6}\right)^2+
\left(\frac{acd}{6}\right)^2+
\left(\frac{abd}{6}\right)^2}.

Előzmény: [2622] Lóczi Lajos, 2008-03-23 22:25:16
[2622] Lóczi Lajos2008-03-23 22:25:16

Elegáns. Egy másik megközelítés lehet, ha a Róbert Gida által felvázolt módon expliciten kiszámoljuk a szóban forgó 5 darab, közönséges 3-dimenziós tetraéder térfogatnégyzetét: ez nagyon egyszerű pl. (a Héron-képletet is általánosító) Cayley-Menger determinánsok segítségével.

Előzmény: [2621] Káli gúla, 2008-03-23 21:16:30
[2621] Káli gúla2008-03-23 21:16:30

T_i=T_{n+1}\cos\phi_i {\rm ,~ igy~~} \sum T_i^2=T_{n+1}^2\sum \cos\phi_i^2=T_{n+1}^2, \quad(\cos\phi_i=(e_i,v), ~(v,v)=1).

Előzmény: [2620] Lóczi Lajos, 2008-03-23 20:58:53
[2620] Lóczi Lajos2008-03-23 20:58:53

OK, de az igaz, hogy ebből a koszinuszos formulából pl. már direkt következik a [2614]-beli formula, illetve annak térfogatokra vonatkozó analogonja?

Előzmény: [2619] Káli gúla, 2008-03-23 20:41:18
[2619] Káli gúla2008-03-23 20:41:18

\phi-vel egy kiválasztott koordinátatengelyre merőleges hipersíknak és a szimplex origóval szemközti lapsíkjának a szögét gondoltam jelölni.

Az elsőfokú közelítés s az ennek megfelelő sáv egy korábbi példádhoz kapcsolódott (2608. ill. 2610. (A d szélességű "egyenes sáv" azon pontok mértani helye a síkban, melyeknek egy adott egyenestől mért távolsága legfeljebb d/2 :)

Előzmény: [2617] Lóczi Lajos, 2008-03-23 20:06:20
[2618] Lóczi Lajos2008-03-23 20:26:55

[Jaaa, vagy esetleg az "elsőfokú közelítés" alatt "első közelítésben" értendő? :) ]

Előzmény: [2617] Lóczi Lajos, 2008-03-23 20:06:20
[2617] Lóczi Lajos2008-03-23 20:06:20

De mit jelent itt a \phi szög? És mit az "elsőfokú közelítés"? Sajnos nem értem, mit mond a térfogatokra nézve az, ha az "egyenes sáv" szélessége legalább 1. Kérlek, adj még magyarázatot :)

Előzmény: [2616] Káli gúla, 2008-03-23 17:59:33
[2616] Káli gúla2008-03-23 17:59:33

A "ferde" lap mértéke merőleges vetítésnél akárhány dimenzióban is  cos \phi-vel szorzódik, lényegében pontosan azért, mert a ferde lap normálvektorának megfelelő koordinátája  cos \phi.

Az elsőfokú közelítésre visszatérve, egy d széles sávban akárhogyan veszünk három A, B, C pontot, az ABC háromszög valamelyik magasságának hossza legfeljebb d lehet. Bizonyítás. Húzzunk a három ponton keresztül a sáv tengelyére merőlegesen három egyenest, és legyen pl. a B-n átmenő a középső. Ekkor az AC szakasznak van közös pontja (B1) a középső egyenessel, így  mb\leBB1\led.

A -1, 0 és 1 pontokhoz tartozó parabolapontok egy \sqrt2 befogójú egyenlőszárú derékszögű háromszöget alkotnak. Ebben a háromszögben a legkisebb magasság 1, így egy ezt tartalmazó egyenes sáv szélessége is legalább 1.

Előzmény: [2615] Lóczi Lajos, 2008-03-23 00:56:14
[2615] Lóczi Lajos2008-03-23 00:56:14

Oldjuk meg a feladatot 4 dimenzióban is.

Tekintsük a (0,0,0,0) origót és az (a,0,0,0), (0,b,0,0), (0,0,c,0), (0,0,0,d) pontokat (ahol a,b,c,d>0). Ennek az 5 pontnak a konvex burka meghatároz egy négydimenziós testet, melynek 5 db háromdimenziós "oldallapja" van.

Mi a kapcsolat ezen 5 lap térfogata között?

Előzmény: [2613] Lóczi Lajos, 2008-03-20 22:41:55
[2614] Róbert Gida2008-03-21 01:13:09

Héron képlettel könnyű:

T42=T12+T22+T32

Előzmény: [2613] Lóczi Lajos, 2008-03-20 22:41:55
[2613] Lóczi Lajos2008-03-20 22:41:55

Tekintsünk egy olyan tetraédert az első térnyolcadban, amelynek egyik csúcsa az origó, a többi három csúcs pedig a három koordinátatengely egy-egy pozitív pontja. Mi a kapcsolat e tetraéder oldallapjainak területe között?

[2612] rizsesz2008-03-18 23:17:06

Szóval tisztázom a saját irományomat, immáron TeXben.

Tehát ez a függvény nem más, mint x2 eltolva egyaránt az x és az y tengelyen, de hála a szabad paraméterezésnek, gondolkodhatunk csak az x2 világában.

A feladat azt kéri, hogy ennek a függvénynek egy (x0;x0+2) szakaszán a függvény abszolútértékének maximuma minimális legyen. Tegyük fel, hogy x0 már a növekvő szakasz része. Ekkor, mint az könnyen ellenőrizhető, a felvett fv.-értékek különbsége legalább 4 lesz (a sima x2-nél x0 minimuma 0, a különbség pedig 4x0+4, ami legalább 4). A skatulya-elv miatt ennek a legalább 4 értékű növekedésnek legalább 2 hosszú része vagy negatív, vagy pozitív, de legalább 2; így a maximum is legalább 2 az abszolútérték miatt. Ugyanez elmondható a monoton csökkenő részre is, marad a közbülső rész, amikor a másodfokú áthalad a minimumhelyén. Tfh. (x0;x0+2) tartalmazza a minimumhelyet, ami most a szimmetria miatt legyen 0. Ekkor x0 negatív. Teljesen az előző logikát követve x0 és x0+2 négyzeteik közül a nagyobb minimumát keressük. Ez már könnyebb feladat, a két parabola metszéspontja adja ki, az x0=-1 helyen, a föggvényérték 1, ekkor valóban kijön, hogy legalább 1/2 a minimum, ami a logikát követve el is érhető.

Előzmény: [2608] Lóczi Lajos, 2008-03-18 01:49:58
[2611] rizsesz2008-03-18 19:05:00

A közölt függvény lényegében a sima másodfokú x négyzet. Ezt tologatjuk. Ennek nézzük 2 hosszú szakaszait. Ha már a teljes szakasz a növekvő részen van, akkor legalább 4 lesz az y értékek különbsége. Ez egyúttal azt jelenti, hogy az legalább 2 hosszú lesz a negatív vagy a pozitív rész, tehát lesz olyan y, aminek az abszolútértéke legalább 2 a monotonitás miatt. Ugyanez igaz a csökkenő részre. Amikor áthalad az minimumhelyén, akkor a legkisebb érték az ehhez tartozó, a legnagyobb pedig ynégyzet és (2-y)négyzet maximuma. itt y a baloldalra haladás a minimumhelytől. y>1 esetén ez a 1., ellenkező esetben a 2. mivel y értéke. könnyen látható, hogy ez akkor lesz minimális, ha y=1, ekkor 1 lesz a minimum és a maximum különbsége, tehát legalább 1/2 a keresett megoldás, ami így ki is jön. elnézést a TeXtelenségért.

Előzmény: [2610] Lóczi Lajos, 2008-03-18 16:05:37
[2610] Lóczi Lajos2008-03-18 16:05:37

Valóban szép tétel. A kérdésem az, hogy milyen, minél rövidebb elemi meggondolással lehet a konkrét példát megoldani.

Előzmény: [2609] jonas, 2008-03-18 14:15:13
[2609] jonas2008-03-18 14:15:13

A válasz 1/2, amit \alpha=0,\beta=-1/2 helyen vesz fel. Ez következik a 3/0. feladatsor 6. feladatból (a feladat forrása minden bizonnyal a Pólya--Szegő analízis könyv).

Előzmény: [2608] Lóczi Lajos, 2008-03-18 01:49:58
[2608] Lóczi Lajos2008-03-18 01:49:58

Oldjuk meg az alábbi minimax-feladatot:


\min_{\alpha, \beta\in {\bf{R}}}\max_{x\in [-1,1]}|x^2-1-\alpha x -\beta|=?

[2607] S.Ákos2008-03-17 19:35:36

Valóban hülyeség, nem fogalmaztam elég pontosan. amilyen függvénygörbét láttam, az alapján ezt tudtam mondani, legközelebb nem teszem. A növekedést pedig nem úgy értettem, hogy ha n<m akkor f(n)<f(m), hanem valamilyen érték körül ugrál.

Előzmény: [2603] Róbert Gida, 2008-03-16 14:31:49
[2606] Lóczi Lajos2008-03-16 19:54:52

Legyen f(x)=\sin\frac{1}{x}, ha x\in(-1,1), és legyen f(-1)=f(0)=f(1)=0, majd ezt terjesszük ki 2-periodikus függvénnyé az egész számegyenesre. Adjuk meg f Fourier-sorának összegfüggvényét.

[2605] rizsesz2008-03-16 18:41:35

Róbert Gida, én téged baromira nem értelek. Miért kell kérkedned a tudásoddal? Látszik, hogy értelmes, matematikából nagyon tehetséges ember vagy, de ahogy megnyilvánulsz néha ezen a fórumon, az igazán nem egy értelmes emberhez méltó.

Előzmény: [2603] Róbert Gida, 2008-03-16 14:31:49
[2604] Gyöngyő2008-03-16 15:38:51

Köszönöm szépen!

Üdv:

Gyöngyő

[2603] Róbert Gida2008-03-16 14:31:49

Valóban? Az általad megadott intervallumban több megoldás is van. Második fele a mondatodnak is egy matematikai zöldség, mindenestre elmentettem.

Előzmény: [2600] S.Ákos, 2008-03-16 13:58:06
[2602] Róbert Gida2008-03-16 14:24:44

Közben találtam egy sokkal kisebb megoldást: m=4802693729 Így az ez alatti m-ek ellenőrzése már nem nagyon bonyolult. De ezt már nem nézem meg.

Előzmény: [2601] Róbert Gida, 2008-03-16 14:04:28
[2601] Róbert Gida2008-03-16 14:04:28

Triviális. Legyen m=1236789689135*n-206131614856 alakú prím, ismeretes, hogy ezekből végtelen sok van Dirichlet tétele miatt (feltétele teljesül), ilyen prímekre \sigma(6*m)<\sigma(6*m+1) lesz, hiszen az elsőt pontosan ki tudod számolni, mert m az prím, a másodikat pedig becsüld alulról, használva azt, hogy ekkor 6*m+1 osztható minden prímmel 5-től 37-ig, így *találtam ki*. Például n=25-re prímet ad, azaz m=30713610613519 megoldás lesz, ezt közvetlenül is ellenőrizheted, ez persze nem biztos, hogy a legkisebb megoldás, hiszen egy más konstrukció is adhat jó m-et.

Előzmény: [2599] Gyöngyő, 2008-03-16 13:00:58
[2600] S.Ákos2008-03-16 13:58:06

Megnézve az [1;1020] intervallumot, eddig nem találtam megoldást, és úgy néz ki, hogy a függvényértékek közötti eltérés nő, egyre nagyobb lesz \frac{\sigma(6m)}{\sigma(6m+1)}. Többet sajnos még nem tudok mondani.

Előzmény: [2599] Gyöngyő, 2008-03-16 13:00:58
[2599] Gyöngyő2008-03-16 13:00:58

Sziasztok!

Tudnátok segíteni a következő feladatban:

Keressük a legkisebb pozitiv egész m-et amelyre \sigma(6m)<\sigma(6m+1)fenntáll.

A másik kérdés pedig,az h mutassuk meg,hogy a fennti egyenlőtlenségnek végtelen sok megoldása van.

Ahol \sigma(m) az osztók összegét jelenti.

Köszönettel

[2598] szbela2008-03-15 15:13:01

Sziasztok!

Esetleg megnézzük (i) x=0, (ii) x=0 és y=0 esetekre? Bár nem tudom, hogy ez így jó-e.

(i) x=0 : f(x+f(y))=f(0+f(y))=f(f(0))+f(y)

(ii) x=0 és y=0 : f(x+f(y))=f(0+f(0))=f(f(0))=f(f(0))+f(0)

(i)-nek és (ii)-nek teljesülnie kell: (ii)-ből következett, hogy f(f(0))=f(f(0))+f(0), ebből f(0)=0 tehát f(f(0))=0 szintén. Ezt (i)-be helyettesítjük és kapjuk, hogy f(f(y))=f(y) Ennek persze minden y-ra teljesülnie kell. És mivel f: R->R -be képez, ezért ha f(y)=a, akkor f(a)=a f(y)=f(f(y)) miatt. f tehát az identitásfüggvény lenne.

Előzmény: [2595] Gyöngyő, 2008-03-14 20:29:51
[2597] Cckek2008-03-15 09:56:31

Egy ötlet: f(f(x+f(y)))=f(f2(x)+f(y))=f(f(y)+f2(x))=f(f(f(y)))+f2(x)=f2(f(y))+f2(x). Legyen f(y)=t\inImf

Ekkor f2(x+t)=f2(x)+f2(t), tehát az f2 függvény kielégíti Cauchy funkcionálegyenletét az RxImf halmazon.

Előzmény: [2595] Gyöngyő, 2008-03-14 20:29:51
[2596] cauchy2008-03-14 22:45:35

Véletlenül f(x) = x jó. :-) Sajnos nem tudok többet hozzátenni.

Előzmény: [2595] Gyöngyő, 2008-03-14 20:29:51
[2595] Gyöngyő2008-03-14 20:29:51

Sziasztok!

Nekem is van egy érdekes feladatom:

Keressük meg az összes R-ből R-be képző nemcsökkenő függvényt amelyre f(x+f(y))=f(f(x))+f(y) fennáll minden valós x és y-ra

[2594] kicsipega2008-03-10 09:44:52

sziasztok!

Még új vagyok negyon tetszik ez a fórum, bár még nem olvastam égig az összes feladatot és megoldást. A 44. feladatnak van egy kicsit nehezítet változa. A fekete és fehér marhák egy négyzetbe, a tarka és barna marhák egy háromszögbe tudnak felsorakozni.

Ha már volt bocsi az ismétlésért.

Gabi

[2593] nadorp2008-03-09 21:38:30

Pontosan. Ezek után már csak össze kell adni a két egyenlő integrált.

Előzmény: [2592] epsilon, 2008-03-09 21:16:09
[2592] epsilon2008-03-09 21:16:09

Ha elvégzed az 1/x=y változócserét, akkor visszakapod a [2589] Cckek integrálját aminek az eredménye éppen [2590] Lóczi Lajos-tól. Nem de?

[2591] nadorp2008-03-09 20:53:34

Egy ötlet: mennyi \int_0^\infty\frac{arctg\frac1x}{x^2+x+1}dx

Előzmény: [2589] Cckek, 2008-03-08 15:47:16
[2590] Lóczi Lajos2008-03-08 16:18:24

Íme a végeredmény \frac{\pi^2}{6\sqrt{3}}, hátha segít a bizonyítás kitalálásában :)

Előzmény: [2589] Cckek, 2008-03-08 15:47:16
[2589] Cckek2008-03-08 15:47:16

Igen, jól melléfogtam:D. Akkor itt van egy érdekes feladat:

\int_0^\infty \frac{arctg x}{x^2+x+1} dx=?

Előzmény: [2582] Lóczi Lajos, 2008-01-26 00:31:14
[2588] Róbert Gida2008-01-28 00:29:29

Aszimptotikusan c*\frac {\sqrt n}{log n}, ahol c>0 konstans, ez is megsejtehő, mint például az ikerprím konstans.

Freud Gyarmati régi ELTE számelmélet jegyzetét megnéztem, ott sincs kimondva a sejtés, csak az irreducibilitás és a primitívség, de ez nem elég! n2+n+2 polinom például irred. és primitív, de csak a 2-t veszi fel prímként (minden egész helyen a polinom értéke páros). Szerintem már csak annyit kell feltenni, hogy, ha a polniom foka d, akkor minden p\led-re a polinom Fp[x]-ben nem az azonosan nulla polinom. (p>d-re, ha a polinom primitív, akkor a fokszámtétel miatt nem lehet nulla a polinom). Ez persze a te n2+n+1 polinomodat nem érinti, ez is teljesül rá.

Előzmény: [2587] V Laci, 2008-01-27 22:28:12
[2587] V Laci2008-01-27 22:28:12

Igen, az ilyen prímek számának véges vagy végtelen voltára gondoltam. Mit értesz az alatt, hogy N-ig az ilyen p prímek száma megsejthető? Mi a sejtésed?

Előzmény: [2586] Róbert Gida, 2008-01-27 19:53:47
[2586] Róbert Gida2008-01-27 19:53:47

Tehát, hogy végtelen sok van-e, az a kérdés? p=2 nem megoldás, egyébként feltehető, hogy p páratlan prím, így a négyzetszám is páratlan, legyen ez (2*n+1)2, ekkor rendezve az kell, hogy p=n2+n+1 alakú prímből végtelen sok legyen, mivel ez irreducibilis és primitív polinom, ezért egy idevonatkozó mély sejtés szerint végtelen sok ilyen prím van (elsőfokúra Dirichlet tétel, nagyobbra nem tudjuk, hogy igaz-e). Sőt ha a számukat kérdezed adott N-ig, hogy hány ilyen p prím van az is megsejthető.

Előzmény: [2585] V Laci, 2008-01-27 19:22:26
[2585] V Laci2008-01-27 19:22:26

Sziasztok!

Nemrég találkoztam az alábbi érdekes problémával (bár lehet, hogy nehezebb, mint érdekesebb).

Hány olyan p prím van, amelyre 4p-3 négyzetszám?

[2584] komalboy2008-01-26 14:01:19

ok... most már lesett... :P

[2583] komalboy2008-01-26 13:36:58

h lehet azt igazolni, h a két rekurzió ugyanaz?

[2582] Lóczi Lajos2008-01-26 00:31:14

Hát igen, tényleg nem vettük észre a kritikus hibát. (Pedig milyen elegáns érvelés lett volna az enyémhez képest...)

Persze ettől az állítás még igaz :)

Előzmény: [2581] Róbert Gida, 2008-01-25 01:31:56
[2581] Róbert Gida2008-01-25 01:31:56

Túl szép. Azt azért megkérdezhetem, hogy egyenlőtlenségeket is lehet már egymással osztani?! A bizonyítás rossz. (pozitív A,B,C,D-re):

A\geB

C\geD-ből nem következik, hogy: \frac AC\ge \frac BD

Előzmény: [2576] Lóczi Lajos, 2008-01-24 22:17:08
[2580] Róbert Gida2008-01-25 01:20:17

Ez pont az A001353 sorozat Neil Sloane adatbázisában. Szerepel is benne a megjegyzések között ez a rekurzió is rá. Pell egyenlethez van a legközelebb.

Előzmény: [2579] Lóczi Lajos, 2008-01-24 23:40:07
[2579] Lóczi Lajos2008-01-24 23:40:07

Kombinatorikus leszámlálásból vagy diofantoszi egyenletből jött ki ez a rekurzió?

Előzmény: [2575] komalboy, 2008-01-24 18:19:19
[2578] Lóczi Lajos2008-01-24 23:31:24

Ugyanez másképp elmondva:

a megadott an sorozat egy másik rekurziót is teljesít, mégpedig az An=4An-1-An-2, A0=0, A1=1 rekurziót, melynek elemei nyilván egészek.

Előzmény: [2577] Lóczi Lajos, 2008-01-24 23:16:21
[2577] Lóczi Lajos2008-01-24 23:16:21

Vegyük észre (és indukcióval lássuk be), hogy az an sorozat expliciten

a_n=\frac{-{\left( 2 - {\sqrt{3}} \right) }^n + {\left( 2 + {\sqrt{3}} \right) }^n}
  {2{\sqrt{3}}}

alakban írható. Innen a binomiális tétel fejezi be a bizonyítást.

Előzmény: [2575] komalboy, 2008-01-24 18:19:19
[2576] Lóczi Lajos2008-01-24 22:17:08

Hm, szép érvelés :)

Előzmény: [2574] Cckek, 2008-01-24 14:21:21
[2575] komalboy2008-01-24 18:19:19

Bizonyítsuk be, h a sorozat tagjai egészek:

[2574] Cckek2008-01-24 14:21:21

Felhasználjuk a logaritmikus közép mértani közép egyenlőtlenséget \frac{x-y}{lnx-lny}\ge \sqrt{xy} ahonnan kapjuk, hogy

\frac{(x-y)^2}{ln^2\frac{x}{y}}\ge xy az-az \frac{1}{ln^2\frac{x}{y}}\ge \frac{xy}{(x-y)^2} Most x=a,y=b, majd x=a+c,y=b+c írva és a kapott kifejezéseket egymással elosztva kapjuk az egyenlőtlenséget. Természetesen ebben az esetben feltételeztem hogy a>b de a középarányosok szimetriája miatt forditva is működik.

Előzmény: [2573] Lóczi Lajos, 2008-01-24 01:48:39
[2573] Lóczi Lajos2008-01-24 01:48:39

Igaz-e, hogy ha a,b,c tetszőleges pozitív valós számok, de a\neb, akkor


\frac{\ln^2\frac{a+c}{b+c}}{\ln^2\frac{a}{b}}\ge \frac{ab}{(a+c)(b+c)} ?

[2572] epsilon2008-01-22 17:37:56

Kedves Lóczi Lajos! Alaposan átnéztem a [2564]-es hozzászólásnál a megoldásodat, és úgy látom, hogy ennél elemibbet nem lehet találni, de ez amit a fogó tétellel meg a L'Hospital szabállyal függvényhatárértékből származtattál, feldolgozható a tehetségesebb, pontosabban kiváltságosn jó 12-ik osztályos tanulókkal, ellenben teljesen igazatok van, osztozom a feladatról írt véleményetekben, hogy 12. osztályban ha csak nem idomítottak be valakit ilyen trükkökre, elég nehezen jön rá ilyen megoldásra. Ismételten kösz mindkettőtöknek, nadorpnak is, hogy rávilágítottatok a feladat gyökerére is! Üdv: epsilon

[2571] nadorp2008-01-22 15:14:57

Azt hiszem a feleségemnek megvan. Miért kell?

Előzmény: [2562] nikol, 2008-01-21 17:12:01
[2570] epsilon2008-01-22 06:39:13

Kedves nadorp és Lajos! Köszi mindkettőtöknek a valóságos szép leckét. Én az asszimptótikus megközelítést elméletileg a Taylor-féle sorbafejtéssel képzelném el kikerülni, mondjuk a Lagrange Tételnél 1 lépéssel kellene továbbhaladni, a 2-ik rendü deriváltig az 1-ik helyett, de ez csak elképzelésem, tüzetesen átnézem amit írtatok, és ...hátha lehetne? Mégegyszer kösz Mindkettőtöknek! Üdv: epsilon

Előzmény: [2568] nadorp, 2008-01-21 22:07:38
[2569] Csimby2008-01-21 23:00:40

Hasonlóan, mint Káli gúlának, szóval nincs benne új ötlet, csak nem tudtam továbbmenni. Azért beírom: T.f.h. ab rac., ekkor (a2+b2)(a5+b5)=a7+b7+a2b2(a3+b3) is rac., amiből köv. a2+b2 is rac. Másrészt \frac{(a^3+b^3)}{(a+b)}=a^2-ab+b^2 irracionalitása miatt a2-ab+b2 irrac., tehát a2+b2 irrac. Villám.

Előzmény: [2566] Lóczi Lajos, 2008-01-21 19:38:20
[2568] nadorp2008-01-21 22:07:38

Kedves Epsilon !

Nem tudom, hogy lehetne kikerülni az asszimptotikus egyenlőséget, de talán ez megfelelő lesz:

\varepsilon_{n}-\varepsilon_{n+1}=arc~\tan\left(\frac{x_{n+1}-x_n}\pi\cdot\frac\pi{1+(n\pi+\frac\pi2+\varepsilon_n)(n\pi+\frac\pi2+\varepsilon_{n+1})}\right)

Ha most felhasználjuk, hogy az "arc tg"-ben az első tört 1-be tart, a második nevezőjének a nagyságrendje \pi2n2 és az arc tg monoton nő, akkor kijön az "alulról a második sorban levő" asszimptotikus egyenlőség. Az utolsó egyenlőséget pedig az előbb írtam le. Egyetértek Lóczi Lajossal, ez nem éppen egy "tesztkérdés".

Előzmény: [2563] epsilon, 2008-01-21 17:16:39
[2567] nadorp2008-01-21 21:45:23

Lajos megoldása rövidebb, de álljon itt az enyém is.( Ha túl hosszú és unalmas, akkor hagyjátok ki.)

Azt láttuk, hogy

\varepsilon_n-\varepsilon_{n+1}\sim arc~\tan\frac1{\pi n^2}\sim\frac1{\pi n^2}

Tehát tetszőlesges \varepsilon>0-hoz létezik N, ha n>N, akkor

(1-\varepsilon)\frac1{\pi n^2}<\varepsilon_n-\varepsilon_{n+1}<(1+\varepsilon)\frac1{\pi n^2}

Ezt elvégezve az n+1,...,n+k-1 számokra is és összeadva a k db egyenlőtlenséget

\frac{1-\varepsilon}\pi\sum_{i=0}^{k-1}\frac1{{(n+i)}^2}<\varepsilon_n-\varepsilon_{n+k}<\frac{1+\varepsilon}\pi\sum_{i=0}^{k-1}\frac1{{(n+i)}^2}

Ha most felhasználjuk,hogy

\sum_{i=0}^{k-1}\frac1{{(n+i)}^2}>\sum_{i=0}^{k-1}\frac1{(n+i)(n+i+1)}=\frac 1n-\frac 1{n+k} és hogy

\sum_{i=0}^{k-1}\frac1{{(n+i)}^2}<\sum_{i=0}^{k-1}\frac1{(n+i-1)(n+i)}=\frac 1{n-1}-\frac 1{n+k-1}<\frac1{n-1} akkor

\frac{1-\varepsilon}\pi\left(\frac 1n-\frac 1{n+k}\right)<\varepsilon_n-\varepsilon_{n+k}<\frac{1+\varepsilon}\pi\frac1{n-1} teljesül minden k-ra.Ha k=n2

\varepsilon_n>\frac{1-\varepsilon}\pi\left(\frac 1n-\frac 1{n+n^2}\right)+\varepsilon_{n+n^2}=\frac{1-\varepsilon}{\pi(n+1)}+\varepsilon_{n+n^2}>\frac{1-\varepsilon}{\pi(n+1)} Másrészt

\varepsilon_n\leq\frac{1+\varepsilon}\pi\frac1{n-1} is igaz, ui. ellenkező esetben

0<\varepsilon_n-\frac{1+\varepsilon}\pi\frac1{n-1}<\varepsilon_{n+k} igaz lenne minden k-ra, de ez ellentmond a 0-ba tartásnak. Tehát

\frac{1-\varepsilon}{\pi(n+1)}<\varepsilon_n\leq\frac{1+\varepsilon}{\pi(n-1)}

Előzmény: [2563] epsilon, 2008-01-21 17:16:39
[2566] Lóczi Lajos2008-01-21 19:38:20

Én is gondolkoztam rajta és tetszett a vázolt megoldás; Csimby, Neked hogy jött ki, hogy ab irracionális kell legyen?

Előzmény: [2555] Csimby, 2008-01-20 23:06:19
[2565] Lóczi Lajos2008-01-21 19:36:40

Ez tehát azt mutatja, hogy a fixpontegyenlet gyökei aszimptotikusan

x_n\approx \pi\cdot n +\frac{\pi}{2}-\frac{1}{\pi\cdot n}.

Kíváncsiságból egy lépéssel tovább is kiszámoltam, az előzőhöz hasonló érveléssel (a nehézség nem nőtt), és azt kaptam, hogy

x_n\approx \pi\cdot n +\frac{\pi}{2}-\frac{1}{\pi\cdot n}+\frac{1}{2\pi\cdot n^2}.

Előzmény: [2564] Lóczi Lajos, 2008-01-21 19:29:01
[2564] Lóczi Lajos2008-01-21 19:29:01

Tényleg nem értem, hogy lehetne ez egy tesztkérdésben benne (amikor, ahogyan illusztráltam, sok 18 évesnek problémája van a törtekkel és hatványozás azonosságaival...)

Szóval technikailag kicsit talán egyszerűbb így elmondani:

xn=n\pi+\pi/2-\varepsilonn, ebből egyszerűen kapjuk (figyelembe véve, hogy xn melyik intervallumban van, illetve hogy xn melyik egyenlet megoldása), hogy

\pi/2-arctg(n\pi+\pi/2-\varepsilonn)=\varepsilonn.

Most használjuk fel, hogy 0<\varepsilonn<\pi/2 (de konkrét becslés nem is kell, elegendő annyit tudnunk, hogy \varepsilonn korlátos, hiszen nullsorozat). Ekkor \pi/2-arctg(n\pi+\pi/2-\varepsilonn) alulról és felülről becsülhető \pi/2-arctg(n\pi+konstans) alakú kifejezésekkel, használva az arkusz tangens monotonitását. Ezt most már valós x-ekre kiterjesztve, a L'Hospital-szabállyal egy deriválás után látszik, hogy

\frac{\pi/2-{\rm{arctg}}(x\pi+{\rm{konstans}})}{1/x}

limesze (x tart végtelen esetén, tetszőleges, rögzített "konstanssal") 1/\pi, a közrefogási elv miatt az előző bekezdés értelmében tehát n\varepsilonn határértéke valóban 1/\pi.

Előzmény: [2563] epsilon, 2008-01-21 17:16:39
[2563] epsilon2008-01-21 17:16:39

Helló nadorp! A feleletválasztós tesztben ahonnan a feladat származik lehetséges válaszok: 1, 0, 1/pi, pi/2, pi/4 és ahogy nézem, az asszimptótikus megközelítéseid alapján 1/pi lenne...csak az a gondom, hogy nem igazán látom az utolsó 2 sorodban honnan vannak az asszimptótikus megközelítések, na meg hogyan lehetne ezt a feladatot 12. osztályt végzettnek feladni (mert az kapta fel) hiszen az asszimptótikus megközelítés nincs a tananyagban...szóval vajon hogyan lehetne a megoldást leszállítani 12. osztályos szintre? Üdv: epsilon

[2562] nikol2008-01-21 17:12:01

szia nadorp!Tudnál nekem segiteni? Lenne egy kérdésem Megvan neked az egységes érettségi feladatgyűjtemény II.példány megoldás könyved.

Előzmény: [2561] nadorp, 2008-01-21 16:35:39
[2561] nadorp2008-01-21 16:35:39

A most következő azt hiszem jó lesz, bár még nem számoltam végig

Az már beláttátok, hogy

x_n=n\pi+\frac\pi2-\varepsilon_n, ahol \lim\varepsilon_n=0

(Direkt írtam mínusszal, mert ekkor \varepsilonn>0 )

x_{n+1}=(n+1)\pi+\frac\pi2-\varepsilon_{n+1}

xn+1-xn=\pi-\varepsilonn+1+\varepsilonn

\frac{x_{n+1}-x_n}{1+x_{n+1}x_n}=\tan(\varepsilon_n-
\varepsilon_{n+1}) ( ebből látszik, hogy \varepsilonn>\varepsilonn+1)

\varepsilonn-\varepsilonn+1~arc~tg\frac1{\pi n^2}

Innen \varepsilonn~\sum_{k=0}^\infty arc~tg\frac1{\pi {(n+k)}^2}~\frac1{\pi n}

Előzmény: [2558] epsilon, 2008-01-21 13:15:55
[2560] jonas2008-01-21 16:29:48

Nos, tg (\pi/2-x)=1/tg x, és kicsi x-re tg x=x, ezért én arra tippelek, hogy a limesz 1, de ez persze nem bizonyítás.

Előzmény: [2557] epsilon, 2008-01-21 07:01:13
[2559] Csimby2008-01-21 14:16:10

Köszönöm! Ügyes megoldás.

Előzmény: [2556] Káli gúla, 2008-01-20 23:52:01
[2558] epsilon2008-01-21 13:15:55

Kedves Lajos! Amint nézem, Te éppen a kijavított feladatra is céloztál, éppen az érdekelne, hogyan lehetne megkapni egy olyan asszimtótikus sorbafejtést, vagy esetleg egy olyan dupla egyenlőtlenséget, amiből a limesz kiszámítható lenne, mert azt nem tudom "megfogni", hogy x(n) a tgx=x megoldása, az illető intervallumban. Üdv: epsilon

Előzmény: [2554] Lóczi Lajos, 2008-01-20 22:33:56
[2557] epsilon2008-01-21 07:01:13

Köszi jonas, sajnos este volt, és megint elnéztem valamit(a limesz alatti x helyett persze n van), a kiszámítandó limesz előtt van egy n (ezért is mondottam nehéznek, és természetesen, hogy a zárójel határártéke nulla kell legyen, hiszen határozatlan eset az érdeke). Elnézést mindenkitől a figyelmetlenségemért, és továbbra is várom a segítségeteket, üdv: espilon

Előzmény: [2553] jonas, 2008-01-20 21:08:15
[2556] Káli gúla2008-01-20 23:52:01

Szia, Pl ebben a sorrendben bizonyítható a racionalitás: a9+b9, a3b3, a6+b6, a15+b15, a5b5, a2b2, ab, a7+b7 (=(a+b)(a6+b6)-ab(a5+b5))

és így végül a+b.

Előzmény: [2555] Csimby, 2008-01-20 23:06:19
[2555] Csimby2008-01-20 23:06:19

Szia! Tetszik a feladatod. Sajnos nem tudtam még megoldani, pedig nagyon kíváncsi vagyok. Annyi jött ki, hogy a,b,ab nem lehet racionális. Amúgy saját feladat, vagy honnan van? Ha tudod a megoldást megosztod velem? Csak mert tanulnom kéne de ez elvonja a figyelmemet :-) (ha nem akarod a fórumon lelőni, akkor a csimbyfree@freemail.hu címre is küldheted) Köszi! Csimby

Előzmény: [2548] MateMSR, 2008-01-19 22:29:14
[2554] Lóczi Lajos2008-01-20 22:33:56

Vagyis x_n\approx (2n+1)\frac{\pi}{2}=\pi n+\frac{\pi}{2}. Pontosabban, azt láttuk, hogy ha

x_n=\pi n+\frac{\pi}{2}+\varepsilon_n,

akkor \varepsilonn a nullához tart.

Ezt persze lehet folytatni (a végtelenségig): mi lesz xn aszimptotikus sorfejtésének következő tagja, azaz mennyi

\lim n\cdot\varepsilon_n

(ha egyáltalán létezik)?

Előzmény: [2553] jonas, 2008-01-20 21:08:15
[2553] jonas2008-01-20 21:08:15

Egyébként szerintem nem túl nehéz.

(2n-1)\pi/2<xn=tg xn=tg (xn-2n\pi/2)

Mármost tg (xn-2n\pi/2) mindig -\pi/2 és \pi/2 között van, és ezen az intervallumon a tg  függvény monoton nő. A bal oldal (2n-1)\pi/2 a végtelenhez tart ahogy n nő, így a jobb oldal is, ami csak úgy lehetséges, ha xn-2n\pi/2 tart \pi/2-hez, így


\lim_{n\to\infty} (2n+1)\pi/2 - x_n = 0

Előzmény: [2551] epsilon, 2008-01-20 20:42:43
[2552] jonas2008-01-20 21:01:23

A limesz alatt nem n\to\infty kéne?

Előzmény: [2551] epsilon, 2008-01-20 20:42:43
[2551] epsilon2008-01-20 20:42:43

Tisztelt Kollégák! Nem tudom, hogy ez a feladat inkább nehezebb mint érdekesebb, vagy érdekesebb mint nehezebb ( a hosszabb-zöldebb krokodil meséje), ezért ide tettem, de a lényeg, nem találok kiindulópontot a megoldásához, távközlési egyetemre való tesztvizsgán láttam. Ha Valakinek van valami jó ötlete, előre is köszönöm! Üdv: epsilon

[2550] MateMSR2008-01-20 09:26:08

Igen, a 0 most nem tartozik a természtes számokhoz.

Előzmény: [2549] Doom, 2008-01-19 23:23:10
[2549] Doom2008-01-19 23:23:10

Értsük úgy, hogy nálad a 0 nem természetes szám, ugye? (Különben a 2 feltétel eleve ellentmond egymásnak.)

Előzmény: [2548] MateMSR, 2008-01-19 22:29:14
[2548] MateMSR2008-01-19 22:29:14

Sziasztok!

Létezik-e két olyan valós szám a és b hogy az összegük, a+b irracionális és az a2n+1+b2n+1 racionális minden n\inN-re?

[2547] nadorp2008-01-15 15:02:11

Legyen \sqrt{x^4-1}=y. (Amúgy valószínű, hogy külön kéne vizsgálni az x=>1 és x<=-1 eseteket.)

Előzmény: [2546] Lóczi Lajos, 2008-01-15 14:19:40
[2546] Lóczi Lajos2008-01-15 14:19:40

És melyik trükkel jön ki ez?

Előzmény: [2542] Lóczi Lajos, 2008-01-15 00:13:41
[2545] nadorp2008-01-15 08:39:07

Ami persze deriválás szempontjából ugyanaz, mint a Tied :-)

Előzmény: [2544] nadorp, 2008-01-15 08:35:16
[2544] nadorp2008-01-15 08:35:16

Nekem \frac12arc\tan{\sqrt{x^4-1}} jött ki. ( Ha el nem számoltam)

Előzmény: [2543] Róbert Gida, 2008-01-15 00:21:41
[2543] Róbert Gida2008-01-15 00:21:41

Mathematica szerint: így deriválással már nyilván triviálisan ellenőrizhető, hogy az integrál:

-\frac 12 ArcTan\frac 1 {\sqrt {-1+x^4}}

Előzmény: [2542] Lóczi Lajos, 2008-01-15 00:13:41
[2542] Lóczi Lajos2008-01-15 00:13:41

Számoljuk ki az alábbi integrált:

\int \frac{1}{x\sqrt{x^4-1}}.

[2541] nadorp2008-01-11 08:48:04

Ha már \varphi függvénynél járunk, anno olvastam egy cikket ( Ruzsa Imre: Számelméleti függvények I.) és itt szerepel egy érdekes konstrukció. A poén az benne, hogy a multiplikatív \varphi függvényből származtat egy totálisan additív függvényt.

Legyen \varphi1(n)=\varphi(n) és \varphik(n)=\varphi(\varphik-1(n)) (k>1).

Nyilván előbb utóbb lesz egy olyan első k index, amikor \varphik(n)=1. Legyen ez a T(n) függvény. Definiáljuk a következő függvényt:

F(n)={ \matrix{k &ha&n & paros & es & T(n)=k \cr
                      k-1 &ha &n& paratlan & es & T(n)=k}.

Bizonyítsuk be, hogy F(n) totálisan additív.

Előzmény: [2535] Cckek, 2008-01-05 12:33:11
[2540] sakkmath2008-01-09 15:22:33

Klikk bal oldalon a Matematika oktatási portál sorra, s Fazekas-honlapon rengeteg feladatot találsz, jórészt megoldva.

Például: Feladatbank \to Témakörök \to Algebra-Számelmélet \to Számelmélet.

Előzmény: [2538] nemtommegoldani, 2008-01-09 11:21:52
[2539] Enkidu2008-01-09 12:48:33

Ja igen! Elírtam, de én is igazoltam (sajnos csak magamnak) a multiplikativitást, úgyhogy ez rendben van. Igazából azért bizonytalanodtam el korábban, mert a kapott megoldás "nem valami szép" és nem tudom, hogy Cckek akar(t)-e valami szépet mutatni azzel a feladattal kapcsolatban. Én már ezen agyaltam. Csá!

Előzmény: [2537] nadorp, 2008-01-09 08:32:10
[2538] nemtommegoldani2008-01-09 11:21:52

Sziasztok! Azt szeretném kérni, valaki írjon ide a fórumra pár "nívósabb" számelméleti feladatot legnagyobb közös osztó, ill. legkisebb közös többszörös témakörben, illetve diofantoszi egyenletek témakörben (pl. olyanokra gondolok, amik OKTV-n, vagy más tanulmányi versenyeken előfordultak már)megoldással együtt. NAgyon köszönöm a segítséget!!! Már több helyen keresgéltem, de nem nagyon találok.

[2537] nadorp2008-01-09 08:32:10

Nem értelmezted félre a feladatot, valóban ez volt, de egy kis kiegészítésre szorul. Csak a multiplikatív számelméleti függvényeket határozza meg a prímhatvány helyeken felvett értékük. Az viszont igaz, hogy multiplikatív számelméleti konvolúciója is multiplikatív. Ezért célszerűbb az eredeti S(m)=\sum_{d|m}\frac md\varphi(d) alakot használni a megoldásban, mert ebből a jelölésből látszik a két multiplikatív függvény ( f(n)=n és \varphi(n) )

Előzmény: [2536] Enkidu, 2008-01-07 13:05:07
[2536] Enkidu2008-01-07 13:05:07

A következő definícióval élve: S(m):= \sum_{d|m} m \frac {\varphi(d)}d S(m) egy számelméleti függvény. Így prímhatványhelyeken felvett helyettesítési értékei meghatározzák. Ha m=pn,S(m)=pn-1(np+p-n) egyébként pedig a szokásos módon ha (m,n)=1, akkor S(mn)=S(m)S(n).

Most így megnézve lehet, hogy valamit félreértettem, mert túl egyszerű amit írok, de ha már végigszenvedtem a TeX tanfolyamot csak bennhagyom. Hello!

Előzmény: [2535] Cckek, 2008-01-05 12:33:11
[2535] Cckek2008-01-05 12:33:11

Valóban ez a megoldás, gratulálok, mert ez egyáltalán nem egy könnyű feladat:D, legalábbis számomra nem volt az. Ha már Euler számelméleti függvényénél vagyunk, akkor itt van mégegy:

Számítsuk ki a következő összeget:

\sum_{d|m}\frac{m}{d}\varphi(d),\quad m\in N^*,\quad \varphi(1)=1.

Előzmény: [2534] nadorp, 2008-01-04 23:18:53
[2534] nadorp2008-01-04 23:18:53

Nem volt unalmas,de szerencsém volt :-). Mindkét oldal "e" alapú logaritmusát véve,bizonyítandó, hogy

\sum_{k=1}^\infty\frac{\varphi(k)}k\ln\left(1-\frac1{q^k}\right)=\frac1{1-q}=-\frac{\frac1q}{1-\frac1q}

Felhasználva, hogy |q|>1 és a logaritmus függvény hatványsorát ez ekvivalens a következővel

\sum_{k=1}^\infty\frac{\varphi(k)}k\left(\frac1{q^k}+\frac1{2q^{2k}}+\frac1{3q^{3k}}+...\right)=\sum_{k=1}^\infty\frac1{q^k}.

Most vizsgáljuk meg \frac1{q^n} (n\geq1) együtthatóját a bal oldalon. Ha ez mindig 1, akkor készen vagyunk.

Nyilván ha n=ab, akkor lesz olyan tag, ahol az együttható \frac{\varphi(a)}a\cdot\frac1{\frac{n}a}=\frac{\varphi(a)}n. Tehát \frac1{q^n} együtthatója a bal oldalon

\sum_{a|n}\frac{\varphi(a)}n=1 ( Itt felhasználtuk, hogy a \varphi(n) számelméleti függvény összegzési függvénye az "n" függvény)

Előzmény: [2532] Cckek, 2008-01-04 18:12:30
[2533] Lóczi Lajos2008-01-04 20:33:11

"Itt elég a második tagról belátni, hogy pozitív, mert az első az. x=1+t helyettesítéssel t3-ig kiírt Taylor-sorral látszik, nem tudom, van-e rá egyszerűbb módszer, ez az út elég gány ahhoz, hogy végigírjam."

Mivel csak polinom és logaritmus van benne, ilyenkor érdemes még egyszer deriválni:

(x-1/x-2\ln x)'=\frac{{\left( -1 + x \right) }^2}{x^2}>0, ha x>1, de x-1/x-2ln x az 1 helyen 0, tehát ha x>1, akkor mindig pozitív a kérdéses kifejezés.

Előzmény: [2529] Sirpi, 2008-01-04 17:15:02
[2532] Cckek2008-01-04 18:12:30

Igen ez is gyors, szép megoldás, az eredeti feladat így szólt: Számitsuk ki \left[\frac{(e^\pi+e^e)(\pi-e)}{e^\pi-e^e}\right]-t.

De mivel látom unatkoztok itt van egy sokkal nehezebb feladat amivel rengeteget kinlódtam: Bizonyítsuk be, hogy

\prod_{k=1}^\infty\left(1-\frac{1}{q^k}\right)^\frac{\varphi(k)}{k}=e^\frac{1}{1-q}

ahol \varphi az Euler indikátor, q\inZ\{-1,0,1}

[2531] Róbert Gida2008-01-04 17:57:20

Kijön ez deriválgatásokkal, nálam legyen x:=\beta-\alpha (érdemesebb ezt az utat követni, mert akkor log nem jön be). x a továbbiakban mindig legyen (0,1)-ben.

Ekkor, mivel csak az egészrésze kell a függvénynek, ezért elég igazolni, hogy 2 és 3 közé esik az értéke: \frac {(e^x+1)x}{e^x-1}<3, ha 0<x<1. A nevező pozitív, így felszorzás és rendezés után kapjuk, hogy kell: 0<(3-x)ex-(3+x)=:g(x), de g(0)=0, továbbá g'(x)=(2-x)ex-1, amire g'(x)>ex-1>0, így g szigorúan monoton nő (0,1) intervallumban, de g(0)=0, így g(x)>0 itt, ami kellett. (g folytonossága is kellett itt még, mert sajnos g'(0)=0).

Másik irányú becsléshez: \frac {(e^x+1)x}{e^x-1}\geq 2, felszorozva és rendezve kell: 0\leq(x-2)ex+(x+2)=:h(x), itt h(0)=0, továbbá: h'(x)=(x-1)ex+1, tehát h'(0)=0, továbbá h''(x)=xex\ge0, így h' monoton nő, de h'(0)=0, így h'(x)\ge0, de akkor h monoton nő, de h(0)=0 miatt h(x)\ge0 teljesül, ami kellett.

Előzmény: [2529] Sirpi, 2008-01-04 17:15:02
[2530] Cckek2008-01-04 17:46:15

Szép, hamar lecsaptad:D Én sokkal bonyolultabban csináltam:(

Előzmény: [2529] Sirpi, 2008-01-04 17:15:02
[2529] Sirpi2008-01-04 17:15:02

e^{\alpha}-t kiemelve a számlálóból és a nevezőből is, valamint bevezetve az x:=e^{\beta-\alpha} jelölést, a következő (immár egyváltozós) alakot kapjuk - mellesleg az is látszik, hogy \alpha és \beta pozitív voltát nem használjuk sehol, az a feltétel elhagyható:

f(x):=\left[\frac{x+1}{x-1}\cdot \ln x \right] \qquad 1<x<e

f(e)\approx2.16, \lim_{x\to 1} f(x) = 2 (utóbbi azért igaz, mert az x=1 közelében ln x\simx-1)

Ezek után már csak az kell, hogy a függvény szigorúan monoton az [1,e] intervallumon, és meg is kaptuk a választ: 2.

f'(x) = \frac 1{(x-1)^2}\cdot \left( x - \frac 1x - 2 \ln x \right)

Itt elég a második tagról belátni, hogy pozitív, mert az első az. x=1+t helyettesítéssel t3-ig kiírt Taylor-sorral látszik, nem tudom, van-e rá egyszerűbb módszer, ez az út elég gány ahhoz, hogy végigírjam.

Előzmény: [2528] Cckek, 2008-01-04 16:22:44
[2528] Cckek2008-01-04 16:22:44

Itt van Lajos, egy neked való feladat, egy helybéli igen megbecsült matematikus egyik feladatát általánosítgattam. Persze bárki megoldhatja ha van kedve hozzá.

Legyen \alpha,\beta>0,0<\beta-\alpha<1. Számítsuk ki

\left[\frac{(e^\beta+e^\alpha)(\beta-\alpha)}{e^\beta-e^\alpha}\right]

értéket ahol [x]-el az x valós szám egész részét jelöltük.

[2527] Lóczi Lajos2007-12-30 15:44:32

Tovább próbálkozom. Legyenek tehát P és Q az n-dimenziós (komplex) Cn teret önmagukba képező n x n-es hermitikus idempotens mátrixok, melyek rangja azonos.

A rang a képtér dimenziója.

Az operátorokra vonatkozó felbontási tétel alapján tudjuk (felhasználva, hogy most az operátoraink hermitikusak és véges dimenzióban vagyunk), hogy Cn előáll a lineáris operátor képtere és magtere direkt összegeként. (Speciálisan, a képtér és a magtér dimenziójának összege n.)

Ezekből azt kapjuk, hogy P-nek és Q-nak nemcsak a képtere, de a magtere is azonos dimeziós kell legyen.

Korábban láttuk, hogy P=PQ. Ebből az adódik, hogy ha egy x vektor Q magterében van, akkor egyúttal P magterében is benne van: ker(Q)\subset ker (P). De a két magtér, mint altér, azonos dimenziójú, ez csak úgy lehet, ha azonos.

De akkor a felbontási tétel miatt az ortogonális komplementereik, vagyis a képtereik is azonos alterek.

Tudjuk, hogy a projektorok a képtéren identitásként hatnak. (Valóban, ha x pl. P képterében van, akkor alkalmas y\in Cn vektorral x=Py. De az idempotencia miatt ekkor Px=PPy=Py=x.)

Legyen tehát z egy tetszőleges Cn-beli vektor. Ekkor z előáll z0+z1 alakban, ahol z0 P magterébe esik (ami egyúttal Q magtere is), z1 pedig P (avagy Q) képterébe esik. Emiatt

Pz=P(z0+z1)=Pz1=z1=Qz1=Q(z0+z1)=Qz,

tehát P=Q.

Remélem, ezzel a megoldás rendben van :)

Előzmény: [2399] Lóczi Lajos, 2007-10-22 12:32:28
[2526] hobbymatekos2007-12-30 15:38:23

Nem kőtáblába véstem:-) Azért irtam mert érdekel a téma. Semmi egyéb. Az összes tévedésre szükséges rámutatni. Az összeget azért gondolom oda a definicióhoz, mert igazán az az oldala izgat. Mint ahogy mondtad is a mátrix nyoma fontos.(Fizikailag a nyom sűrűséggel kapcsolatos. A sűrűségek pedig additivek? Vagyis egy térbeli pontban egy részecske helyett rögtön egy r szer akkora?. Helycserével? Anélkül?) Diagonálmátrixok összegének nyoma a nyomok összege. r(a+a)=raa, a mátrix elemei, r komplex számok, szintén megoldható, ekkor persze ferdén hermitikus a mátrix, akkor főátlóban tisztán képzetes szám állhat, de ezek minden páros hatványa lehet hermitikus, idempotens. De ezek csak gondolatok. Az eredeti feladattal kapcsolatban csak annyi volt a meglátásom, hogy a mátrix harmadik hatványa van a bizonyitandóban, akkor PP=P ből következik idempotencia miatt PQP=PQ=QP=PP=P. A középső rész kommutativitás. (Kommutativitásra nxn mátrixnál legalább nxn művelet kell eldöntéséhez. És ha n az Avogadro szám?) Egyébként olvasótok vagyok inkább. BUÉK

Előzmény: [2524] Cckek, 2007-12-30 00:31:48
[2525] Lóczi Lajos2007-12-30 14:21:01

(Nem kukacoskodásból kérdeztem rá direktben, csak azért, mert nem értettem, és meg akartam érteni az állítását, ehhez tudnom kellett, a definíciókban "közös nevezőn" vagyunk-e :)

Előzmény: [2524] Cckek, 2007-12-30 00:31:48
[2524] Cckek2007-12-30 00:31:48

Az értelmezéseket valóban kitünően elmondtad, s én hiszek abban hogy ez a forum a matematika és persze a matematikusok feltétlen tiszteletéről szól. Éppen ezért nem árt néha beismerni ha tévedtünk. Ez k...a nehéz de a tisztelet elérése szempontjából feltétlenül szükséges. És nem olyan vészes a tévedés,-a matematikai eredmények tévedések sorozatai, egy tévedés kijavítása oriási eredmény lehet:D- sokkal inkább veszélyes feltétlenül védeni az igazunkat. A magam hibájából tanultam ezt tehát, sértődöttségre semmi ok.

Előzmény: [2523] hobbymatekos, 2007-12-29 02:55:18
[2523] hobbymatekos2007-12-29 02:55:18

Az I idempotens. Elmondtam az általános definiciot. (Annak értelmében nem lenne idempotens) Mátrixokra A=AA=AAA..... Ez a probléma amit kitűzött a kolléga: PQP=PP=P. Az állitása PQP=P alakban volt megadva. Továbbá csak vázoltam mxn mátrixból kiindulva unitér mátrixra mi adódik. Rang változatlan. Te megcsináltad Projektorra. Kellene még egy szokásos (A+A*)/2 és poláris P=QQU felbontásra is.

Előzmény: [2520] Lóczi Lajos, 2007-12-28 21:08:34
[2522] hobbymatekos2007-12-29 02:31:15

2391 ' Transzponált.

Előzmény: [2521] Lóczi Lajos, 2007-12-28 21:18:43
[2521] Lóczi Lajos2007-12-28 21:18:43

Nem értem ezt. Kérlek, mondd ki, mi az állításod és mit bizonyítasz.

"Innen generalizálással adódik az állitás." Ez mit jelent és melyik állítás?

"P=PP=PPP implikálja TQ=TTQ implikáció ugyanaz, mint T=TQT." Ez nem magyar mondat. Kérlek, tisztázd.

Mit jelölsz felső vesszővel?

Stb.

Előzmény: [2519] hobbymatekos, 2007-12-28 00:35:05
[2520] Lóczi Lajos2007-12-28 21:08:34

Akkor tehát egyetértünk, hogy a [2509]-es hozzászólásod téves érvelést tartalmazott?

Előzmény: [2519] hobbymatekos, 2007-12-28 00:35:05
[2519] hobbymatekos2007-12-28 00:35:05

Ez már hermitikus és idempotens is. És pozitiv szemidefinit. Diagonizálható. Egy diagonál mátrix pedig triviálisan hermitikus és idempotens, ha elemei valósak (csak ekkor hermitikus definició szerint). Legyen M mxn mátrix, rangja n. És oszlopai ortonormáltak, P=MM' hermitikus,ha főátlóbeli elemei valósak, továbbá ortonormáltság miatt M'M=I , nxn es identitás. Létezik U unitér mátrix, T=U'PU. Mivel P hermitikus, T is az. PP=P implikálja TT=T, hiszen minden diagonális elem 1 vagy nulla és a rang ugyanannyi marad, azaz T n db 1 est és m-n db nullát tartalmaz főátlójában. Azaz P=UTU'=UTTU=UT'U'UT'U=MM' és M olyan mátrix, hogy n oszlopa U beli. Innen generalizálással adódik az állitás. Q rangja ugyanannyi mint P nek, valamint hermitikus idempotens.

P=PP=PPP implikálja TQ=TTQ implikáció ugyanaz, mint T=TQT.

Előzmény: [2518] Cckek, 2007-12-26 14:17:40
[2518] Cckek2007-12-26 14:17:40

\left(\matrix{a & \sqrt{a(1-a)}\cr \sqrt{a(1-a)}&1-a\cr}\right),\quad a\in(0,1)

elég hermitikus?

Előzmény: [2517] hobbymatekos, 2007-12-26 14:00:25
[2517] hobbymatekos2007-12-26 14:00:25

Ez a mátrix nem hermitikus.

Előzmény: [2516] Cckek, 2007-12-26 13:08:46
[2516] Cckek2007-12-26 13:08:46

Hmm, szerinted tehát csak O illetve I idempotens? Amugy az idempotencia ebben az esetben a sor/oszlop mátrixszorzásra vonatkozik, s gondolom ott követted el a hibát hogy így ültetted át az értelmezést: x\in(G,*) idempotens, ha x*x=x, most pedig a *-ot sorra a + illetve . műveletekkel helyetesítetted. Keress olyan négyzetes másodrendű mátrixokat melyeknek nyoma 1 determinánsa 0. Ezek mind idempotensek lesznek:D

pl: \left(\matrix{\frac14&\frac38\cr \frac12& \frac34\cr}\right)

Előzmény: [2515] hobbymatekos, 2007-12-26 12:43:15
[2515] hobbymatekos2007-12-26 12:43:15

A nullelem idempotens az összeadás és szorzás binér műveletre. A nullelemtől különböző elemek közül csak az egységelem idempotens és csak a szorzásra nézve. Mivel az állitás csak szorzást tartalmaz, ezért 0 vagy egységelemre teljesülhet az idempotencia. Az állitás a hermitikus mátrixok körében csak a valós P=Q=0 vagy P=Q=I mátrixokra igaz. De nem igaz, hogy csak P=Q-ra igaz. Ha Q=I akkor tetszőleges P re igaz. Ha P=0 akkor tetszőleges Q ra igaz. Q=0 ra nem igaz.

Előzmény: [2513] Cckek, 2007-12-26 01:02:06
[2514] ágica2007-12-26 11:36:21

Ezt meg én nem értem :)

\frac{2}{\pi}\frac{\sqrt{\pi}}{2}=\frac{1}{\sqrt{\pi}}, illetve \Gamma\big(\frac{2n}{2}+1\big)=n!. 2n>-1 pedig minden természetes számra teljesül. Amit írsz, az viszont n=2-től megint nem jó.

Előzmény: [2510] hobbymatekos, 2007-12-26 00:04:37
[2513] Cckek2007-12-26 01:02:06

Ha A+A=A\impliesA=A-A=O(n) az-az az "idempotencia feltételed" csak a nullmátrixra teljesül.

Előzmény: [2509] hobbymatekos, 2007-12-25 23:25:13
[2512] Lóczi Lajos2007-12-26 00:25:21

itnincs = nincs

Előzmény: [2511] Lóczi Lajos, 2007-12-26 00:23:20
[2511] Lóczi Lajos2007-12-26 00:23:20

Az idempotens mátrix definíciójában itnincs benne az, hogy A+A=A kellene legyen. Az identitásmátrix idempotens.

Továbbra sem értelek tehát.

Előzmény: [2509] hobbymatekos, 2007-12-25 23:25:13
[2510] hobbymatekos2007-12-26 00:04:37

Tényleg:-) De azért beirom. Ez jobb korlát és 2n>-1 re jó.

\frac {2}\pi \frac {\sqrt{\pi }}2 
\frac {\Gamma( \frac{2n+1}2)}{\Gamma( \frac{2n}2+1)}\le \frac{1}{n\sqrt{3}}

Itt a baloldal az előző szinuszos integrál(persze ugyanannyi az érték koszinusszal is.)

Előzmény: [2507] ágica, 2007-12-25 21:42:29
[2509] hobbymatekos2007-12-25 23:25:13

Def.: A idempotens ha A+A=AA=A.

A feltétel szerint P, Q hermitikus és idempotens volt. P=QP egyenlőség tetszőleges nem elfajuló (detP vagy detQ nem nulla) mátrixokra pl: Q=I lenne, de I nem idempotens.

Előzmény: [2508] Lóczi Lajos, 2007-12-25 21:42:39
[2508] Lóczi Lajos2007-12-25 21:42:39

Nem egészen értem, mit írsz.

"Def.: A idempotens ha A+A=AA=A A feltétel szerint P, Q hermitikus és idempotens volt P=QP egyenlőség tetszőleges nem elfajuló (detP vagy detQ nem nulla) mátrixokra pl: Q=I lenne, de I nem idempotens."

Át tudnád ezt fogalmazni magyarosabbra? Összefolynak a részek. Amúgy miért veszed bele az idempotens definíciójába az összeget?

Előzmény: [2505] hobbymatekos, 2007-12-25 17:05:24
[2507] ágica2007-12-25 21:42:29

Akkor már n=2-re sem teljesülne.

(A feladat egyébként már körül volt járva ugyanebben a témában, [1369]-től kezdve.)

Előzmény: [2506] hobbymatekos, 2007-12-25 20:38:26
[2506] hobbymatekos2007-12-25 20:38:26

Szerintem a jobboldal

\frac{1} {n\sqrt {3}}

Előzmény: [2500] Lóczi Lajos, 2007-12-23 23:42:57
[2505] hobbymatekos2007-12-25 17:05:24

Egyelőre csak a következőt sikerült igazolnom: P=PQ=QP Ez segédtételből következik: Ha P és Q hermitikus, akkor PQ=QP(kommutativitás) továbbá P ill. Q idempotens (a feltételek szerint) Def.: A idempotens ha A+A=AA=A A feltétel szerint P, Q hermitikus és idempotens volt P=QP egyenlőség tetszőleges nem elfajuló (detP vagy detQ nem nulla) mátrixokra pl: Q=I lenne, de I nem idempotens. Hermitikus, idempotens mátrixokra Q=P.

Előzmény: [2399] Lóczi Lajos, 2007-10-22 12:32:28
[2504] Cckek2007-12-24 16:57:02

Kellemes, boldog és békés Karácsonyt minden tisztelt forumozónak. ...és a piával csak Lebesque mértékkel:D

[2503] Lóczi Lajos2007-12-24 02:16:45

Igen, a feladat érdekessége abban van, hogy indukcióval közvetlenül nem jön ki, viszont egy nála erősebb állítás igen: ha a jobb oldalra \frac{1}{\sqrt{3n+1}}-et írunk, az indukció már végigmegy.

Előzmény: [2501] Csimby, 2007-12-24 01:26:49
[2502] rizsesz2007-12-24 01:30:03

pedig van indukciós, csak sajna nem saját :( úgyhogy nem dobom be a közösbe (viszon Csimby megoldása szép!).

más kérdés: az első 2n pozitív egész számból kiválasztunk k. mekkora k értéke, ha tudjuk, hogy k-ra igaz, hogy van a k szám között 3 olyan, amelyek közül az egyik a másik kettő összege, továbbá az is igaz, hogy ez már k-1 esetén nem teljesül?

Előzmény: [2501] Csimby, 2007-12-24 01:26:49
[2501] Csimby2007-12-24 01:26:49

Először persze megpróbáltam indukcióval, hamár arról volt szó, de úgy nem jött ki. Viszont felhsználva, hogy: \frac{(2n-1)!!}{(2n)!!}\cdot\frac{\pi}{2}\le\frac{(2n)!!}{(2n+1)!!} Bizonyítandó állításnak \frac{(2n)!!}{(2n+1)!!}\le\frac{1}{\sqrt{3n}}\cdot\frac{\pi}{2}-t kapjuk. Ami már kijön indukcióval. Amit felhasználtam az meg abból jön ki, hogy az a_{2n}:=\int_0^\frac{\pi}{2}\sin^{2n}x dx=\frac{(2n-1)!!}{(2n)!!}\cdot\frac{\pi}{2} ill. a_{2n+1}:=\int_0^\frac{\pi}{2}\sin^{2n+1}x dx=\frac{(2n)!!}{(2n+1)!!} sorozat monoton fogyó.

Előzmény: [2500] Lóczi Lajos, 2007-12-23 23:42:57
[2500] Lóczi Lajos2007-12-23 23:42:57

Igaz-e, hogy ha n pozitív egész, akkor

\frac{1}{2}\cdot \frac{3}{4}\cdot \frac{5}{6}\cdot ... \cdot  \frac{2n-1}{2n}<\frac{1}{\sqrt{3n}} ?

[2499] Cckek2007-12-22 16:22:42

Itt van egy, bár eléggé egyszerű. Legyen:

z\inC,  |z|=1,  A\inM2(R),  TR(A)=1,  det(A-zI2)=0.

Ekkor An csak A és z függvénye.

Előzmény: [2497] Gyöngyő, 2007-12-22 11:08:52
[2498] Cckek2007-12-22 15:11:39

Cauchy bizonyitása a számtani- mértaniközép egyenlőtlenségre. Ez a Wikipédián is megvan úgy emlékszem.

Előzmény: [2497] Gyöngyő, 2007-12-22 11:08:52
[2497] Gyöngyő2007-12-22 11:08:52

Sziasztok!

Segítséget szeretnék kérni! Az lenne a kérdésem,hogy hol találok olyan feladatokat,amiben a teljes indukció kicsit furcsa modon kerül elő vagy nem teljesen követi a megszokott utat!

Köszönettel: Zsolt

[2496] Enkidu2007-12-17 10:42:35

Teljesen igazad van! Elnézést a Mortimer-Moriarty hibáért!

Előzmény: [2495] Cckek, 2007-12-14 22:43:57
[2495] Cckek2007-12-14 22:43:57

Krimirajongóként, anélkül hogy kötekedni akarnék, megkérdem, hogy nem Moriarty professzorról van szó? Amúgy nagyon érdekes feladat, én léggyel meg pókhálóval tudom, a pók útolérheti a legyet ha a pókháló tartalmaz háromszöget.

Előzmény: [2492] Enkidu, 2007-12-12 12:45:22
[2494] jonas2007-12-14 10:58:24

Nyilván nem, hiszen ha x=y=z=1 akkor y/x=z/y=1 és xyz=1 tehát f(1,1)=1; viszont ha x=y=z=2 akkor y/x=z/y=1 de xyz=8 így f(1,1)=8 is lenne.

Előzmény: [2493] Lóczi Lajos, 2007-12-14 00:04:44
[2493] Lóczi Lajos2007-12-14 00:04:44

Van-e olyan kétváltozós f függvény, hogy f\left(\frac{y}{x},\frac{z}{y}\right)=xyz, azaz kifejezhető-e xyz, mint y/x és z/y függvénye?

[2492] Enkidu2007-12-12 12:45:22

A megoldásod teljesen jó! A 15-ös korlátot csak azért adtam, mert matekórán játszottunk párat gyerekekkel, én sem tudom pontosan, mennyi a legkevesebb lépés (ha Mortimer jól játszik); a lényeg az, hogy ha Holmes áthalad Rejkjavikon, akkor (állandóan közelítve Mortimerhez) 7-8 lépés alatt elkapja.

Szóval ez tényleg csak egy egyszerű játék volt, és nagyon hasonló a megoldása (Rejkjavik nélkül a gráf 2-színezhető lenne - Rejkjavikkal a kromatikus szám 3) is mint a korábbi példának, azért gondoltam, hogy megmutatom.

Sziasztok!

Előzmény: [2491] HoA, 2007-12-11 14:19:06
[2491] HoA2007-12-11 14:19:06

A Holmes vs. Mortimer feladatban [2479] ezek után világos, hogy ha Rejkjavikot egyik sem érinti, Holmes Pétervárról, Mortimer Párizsból indul és Holmes lép elsőnek, akkor Holmes soha sem léphet abba a városba, ahol éppen Mortimer van. ( Fordítva igen, de Mortimernek ez nyilván nem célja. ) A megoldásnak tehát szükséges feltétele, hogy egyikük érintse egyszer Rejkjavikot. ( Precízen: A két ellenfél rejkjaviki utazásainak száma különböző paritású legyen ) . A továbbiakat nem látom. Hol jön be a 15-ös lépéskorlát? Biztos, hogy nincsenek szigorúbb feltételek? Pl. Mortimer nem mehet kétszer ugyanabba a városba? Az elfogás vége is világos: Ha Mortimer "A" városban van mikor Holmesnak sikerül "B" városba lépnie úgy, hogy "A" minden szomszédja egyben "B" -nek is szomszédja, Holmes nyert. Ilyen például A = Madrid B = Párizs. De hogyan kényszerítheti Mortimert ilyen lépésre? Szabad a gazda.

Előzmény: [2479] Enkidu, 2007-12-05 13:31:00
[2490] HoA2007-12-07 15:17:43

Én [2476] -ban arra céloztam, hogy ha behúzzuk az AM élt, G gráfunkból egy szép szimmetrikus G' gráfot kapunk, ahol minden csúcs fokszáma 3 vagy 4, és a 8 éves is könnyen észreveheti, hogy 3-adfokú csúcsnak csak 4-edfokú szomszédja van és viszont. Innen adódik a 8 piros - 6 zöld alapú megoldás. És persze ha G' -nek nincs Hamilton útja, akkor G-nek sem lehet.

Előzmény: [2489] Csimby, 2007-12-07 02:21:30
[2489] Csimby2007-12-07 02:21:30

A színezésből látszik, hogy két piros ill. két zöld csúcs között nem megy él, hanem él csak piros és zöld csúcsok között megy. Így bármely úton/körön felváltva kell hogy következzenek a piros ill. zöld csúcsok. De mivel piros csúcsból 8, zöld csúcsból pedig csak 6 van így váltakozó piros-zöld sorozatból legfeljebb csak 13 hosszút tudunk csinálni. Azt pedig, hogy a gráf kétszínnel színezhető - vagyis páros - lehetett megsejteni abból, hogy benne minden kör páros volt, ez a két állítás ekvivalens. Persze csak abból, hogy a gráf páros még nem következik hogy nincs benne Hamilton út, ehhez még kellett, hogy a két osztály (piros és zöld csúcsok) elemszámának a különbsége 2.

Előzmény: [2488] szbela, 2007-12-07 01:38:08
[2488] szbela2007-12-07 01:38:08

Sziasztok!

Ez egy olyan megoldás lenne, ahol arra a tételre hivatkozol, hogy ha van a gráfban Hamilton-kör, akkor k csúcs és az ezekből induló élek elhagyásával a gráf legfeljebb k komponensre esik szét? A zöld (6db) pontok elhagyásával a gráf 8 db komponensre esik szét, azaz nincs Hamilton-köre.

Előzmény: [2485] jonas, 2007-12-06 19:41:31
[2487] Hajba Károly2007-12-07 00:17:58

Na most már tiszta, ez az ábra segített. :o)

Valóban szép feladat.

Előzmény: [2485] jonas, 2007-12-06 19:41:31
[2486] Csimby2007-12-06 20:41:43

Igen! Én is erre gondoltam! :-)

Előzmény: [2485] jonas, 2007-12-06 19:41:31
[2485] jonas2007-12-06 19:41:31

Tényleg, most hogy így mondod a négyszögeket meg a véges matekot,

Előzmény: [2484] Csimby, 2007-12-06 19:30:59
[2484] Csimby2007-12-06 19:30:59

Nem kell program. Van "szép" megoldás is, tehát nem ilyen esetszétválasztgatós. Mondjuk nekem hogy rájöjjek kellett valami amit véges matekon tanultunk az egyetemen.

[2483] jonas2007-12-06 19:22:38

Lefuttattam rá egy kimerítő keresést. Nem volt nehéz, mivel csak 14 csúcs van, és minden csúcsból csak legfeljebb három irányba lehet továbbmenni.

Ha helyes a programom, akkor nincs benne Hamilton-út.

Ha megengedjük, hogy egy csúcsot kihagyjunk, akkor pl. a következő útvonal jó: ACHMNLKIJFGBD.

Előzmény: [2467] Csimby, 2007-12-04 01:26:25
[2482] jonas2007-12-06 18:44:00

Ja értem, te is azt mondtad.

Előzmény: [2475] jonas, 2007-12-05 07:51:54
[2481] Csimby2007-12-05 21:07:30

Köszi a megoldást. Amúgy 2004-es Péter Rózsa versenyfeladat tanárképző főiskolásoknak.

Előzmény: [2480] Enkidu, 2007-12-05 13:41:13
[2480] Enkidu2007-12-05 13:41:13

A bizonyítás:

Nyolc ember között van olyan, aki legalább négy másikat elvert. Ő lesz a győztesünk. Vizsgáljuk azt a négy embert, akiket megvert. Ezen négyesben van olyan ember, aki a másik három ember közül kettőt elvert, ő lesz a "második". Az a két ember, akiket ez az utóbbi elvert eldöntik egymás között, ki a harmadik és a negyedik. Ezzel kész.

Ha hét emberre vizsgálnánk, akkor már nem feltétlenül teljesül; ha pl (megszámozva a versenyzőket) mindenki elveri a nála 1,2 és 4-gyel nagyobb sorszámút (modulo 7 gondolkozva - ennyi pontatlanság talán belefér:)), akkor az egy ellenpélda.

Előzmény: [2466] Csimby, 2007-12-04 01:19:45
[2479] Enkidu2007-12-05 13:31:00

Egy ezzel a példával kapcsolatos aranyos (bár elég egyszerű) példa a következő:

Sherlock Holmes ősi ellenfele Mortimer ellopta a Mona Lisát a párizsi Louvre-ból. Holmes éppen Péterváron volt és rögtön repülőre ült, hogy elkapja a gazfickót. (Európa repülőtereit a lenti ábra mutatja; egy lépésben csak egy szomszédos repülőtérre repülhetünk, azaz pl Pétervárról közvetlenül csak Moszkva, Vilnius és Stockholm érhető el.) Miután Holmes lépett egyet Mortimernek is lépnie kell (ha túl sokáig maradna egy helyen elkapnák a rendőrök). Vagyis a két játékos felváltva lép. Ha Holmesnak sikerül ugyanabba a városba repülnie, ahol éppen akkor Mortimer tartózkodik, akkor elkapja és vége a játéknak. Ha Mortimer 15 lépés után is szabad, végleg megmenekült. El lehet-e fogni Mortimert? Ha igen, hogyan?

Előzmény: [2468] rizsesz, 2007-12-04 08:45:58
[2478] HoA2007-12-05 11:44:06

Igaz, a felismert tulajdonságból következik a páros oldalszám.

Előzmény: [2477] rizsesz, 2007-12-05 11:16:16
[2477] rizsesz2007-12-05 11:16:16

Nem tudom, hogy arra a megoldásra jöttél-e rá, amire én is gondolok, de abban sokat segít a négyszög dolog. Háromszögekkel pl. nem működne. :)

Előzmény: [2476] HoA, 2007-12-05 11:11:43
[2476] HoA2007-12-05 11:11:43

Nem is tudom, most örüljek-e, hogy sikerült rájönni egy megoldásra, amihez valóban elég egy 8 éves tudása. Az ebben a megoldásban felhasznált tulajdonság felismeréséhez nem a 10 négyszög léte, hanem az segít, ami hiányzik az ábráról :-)

Előzmény: [2474] rizsesz, 2007-12-04 14:05:10
[2475] jonas2007-12-05 07:51:54

Hamilton-út (egy kicsit még nehezebb). Ez a gráf viszont elég kicsi ahhoz, hogy végig lehet nézni.

Előzmény: [2470] Hajba Károly, 2007-12-04 12:38:43
[2474] rizsesz2007-12-04 14:05:10

Ez egy nagyon fontos észrevétel, hogy 10 darab négyszög jön létre. Egy ez alapján megsejthető tulajdonság következménye a megoldás.

Előzmény: [2473] Hajba Károly, 2007-12-04 14:01:11
[2473] Hajba Károly2007-12-04 14:01:11

A vonalak 10 db négyszöget határoznak meg. Ha ezeket átalakítjuk egy újabb gráffá úgy, hogy a négyzetek a gráfcsúcsok és a csatlakozó él az új gráf élei, akkor ebben a gráfban is meg kellene tudni csinálni az összekötést. Ha nem sikerül, akkor az eredetiben sem lehet.

Persze tudom ez nem bizonyítás. Inkább csak morfondíroztam egyet. :o)

Előzmény: [2471] Csimby, 2007-12-04 12:47:51
[2472] rizsesz2007-12-04 13:58:02

Akkor gondolj arra, hogy a hivatalos megoldás tulajdonosa 2. osztályos volt. És nem középiskolás, hanem általános iskolás, azaz 8 éves. Szóval érdemes elrugaszkodni egy kicsit attól, amit az ember tud, és olyan fejjel gondolkodni, mintha csak nagyon alapvető eszközeink lennének. :)

Előzmény: [2470] Hajba Károly, 2007-12-04 12:38:43
[2471] Csimby2007-12-04 12:47:51

Szerintem is egy szép feladat :-) Ha alég sokáig nézi az ember a gráfot, akkor észre lehet venni valamit ami nagyon sokat segít.

[2470] Hajba Károly2007-12-04 12:38:43

Elvileg ez egy nyílt Hamilton-kör lenne, amire nincs egyértelmű megoldhatósági kritérium, mint az Euler-körre van. Nekem úgy tűnik, nem létezik Hemilton-kör, de a gráfok mélységében nem vagyok eléggé járatos, így nem tudom bizonyítani.

Előzmény: [2467] Csimby, 2007-12-04 01:26:25
[2469] jonas2007-12-04 11:08:03

Nem rossz feladat.

Megbetűztem az ábrát, hogy könnyebb legyen beszélni róla.

Előzmény: [2467] Csimby, 2007-12-04 01:26:25
[2468] rizsesz2007-12-04 08:45:58

Erre emlékszem, ez egy mat. probléma volt :) Tesóm, aki 7 évvel kisebb nálam, megcsinálta és nem annyira triviális :) mint gondolná az ember.

Előzmény: [2467] Csimby, 2007-12-04 01:26:25
[2467] Csimby2007-12-04 01:26:25

331.feladat forrás: Abacus

[2466] Csimby2007-12-04 01:19:45

Láttam most egy hasonlót (legalábbis annyiban hasonlít, hogy körmérkőzéses :-):

330.feladat 8-an körmérkőzést játszanak (nincs döntetlen). Biz.be, hogy mindig kiválasztható 4 olyan versenyző, akik közül az első legyőzte a másodikat, harmadikat és negyediket, a második legyőzte a harmadikat és negyediket, valamint a harmadik legyőzte a negyediket.

Előzmény: [2439] rizsesz, 2007-11-23 10:23:55
[2465] Cckek2007-12-02 23:43:39

Határozzuk meg az összes f\inC1[0,1] függvényt melyre f(x^\alpha)=kx^\alpha f'(x), ahol k\in(0,\infty).

[2464] HoA2007-11-27 18:36:33

Egy másik megoldás a 6 versenyzőre: Legyen a(z egyik) győztes A. Mivel összesen 6 x 5 / 2 = 15 pontot osztanak ki (sakk) , neki legalább 2.5 pontja van. Vegyük az A-t tartalmazó párok P halmazát ( 5 pár ) és a P párokat legyőzők G halmazát . G nem lehet 1 elemű, mert akkor saját magát is le kellene győznie. De nem lehet 3 vagy több elemű sem, mert akkor A-t legalább hárman legyőzték volna, tehát nem lehetne csak 5-3 = 2 pontja. Ha viszont G kételemű, akkor G tagjai A-tól 2, a többi 5 résztvevőtől együtt legalább 5 pontot szereztek, így együtt legalább 7 pontjuk van, az egyiknek legalább 3.5. A viszont a 2 pont elvesztésével legfeljebb 3 pontos lehet, ami ellentmond annak, hogy ő a(z egyik) győztes.

Előzmény: [2439] rizsesz, 2007-11-23 10:23:55
[2463] rizsesz2007-11-27 13:24:43

Kösz Sanyi!

Előzmény: [2462] Enkidu, 2007-11-27 13:23:05
[2462] Enkidu2007-11-27 13:23:05

A hétszereplős kőrmérkőzésre a válasz: lehetséges.

A következő táblázat mutat egy lehetséges esetet: az egyes sorokban azt jelöltem, hogy az adott játékost ki verte meg.

1| 2,3,4 (2,3 és 4 veri az 1-est) 2| 3,6,7 3| 4,5,7 4| 2,5,6 5| 1,2,7 6| 1,3,5 7| 1,4,6

A példád továbbgondoltam 7-nél több szereplő esetére.(Nem lesz valami nagy durranás) Szóval ekkor is megoldható, hogy bármely 2-höz legyen aki veri mindkettőt. Pl. az összes többit verje a 2,3,4-es (az első 7-en kívűli összes többit). Ez nyilván megfelelő.

Sziasztok!

Előzmény: [2438] nadorp, 2007-11-23 08:10:45
[2461] Hajba Károly2007-11-27 11:32:30

Khmm ... hát igen ... már épp szólni akartam, hogy ez -, ha nem is a te problémafelvetésed nézőpontjából,- már lemazsolázott téma. :o)

Előzmény: [2460] Sirpi, 2007-11-27 11:01:14
[2460] Sirpi2007-11-27 11:01:14

Köszi, sokat segítettél :-)

Emiatt a 396 miatt egyrészt leesett az állam, másrészt arra is rájöttem, hogy ennek fényében nem biztos, hogy érdemes túl sok időt belefeccölnöm a probléma vizsgálatába...

Ja, és itt egy példa, amikor páratlan sok elem tölti ki a téglalapot (bár nem minimális), ezt hirtelen találtam, lehet, hogy van kisebb is.

Előzmény: [2459] Hajba Károly, 2007-11-27 01:09:54
[2459] Hajba Károly2007-11-27 01:09:54

A 396-os csúcs.

Legalábbis ennyit találtam. Gyanítom, hogy végtelen lehet a felső határ.

Előzmény: [2457] Hajba Károly, 2007-11-27 00:40:58
[2458] Hajba Károly2007-11-27 01:05:44

Még ezeket találtam, mely a témához érdekes lehet:

Polyominoes in Rectangles

Rectifiable polyomino page

Előzmény: [2456] Sirpi, 2007-11-26 15:38:24
[2457] Hajba Károly2007-11-27 00:40:58

396 a csúcs.

Michael Reid's box collection

Az elején ott a 10-es is, míg a 396-os egy 14 egységes elem 66*84-es kockában, lent, majdnem a végén. Persze a rajz nincs közölve. Lehet görcsölni.

Előzmény: [2456] Sirpi, 2007-11-26 15:38:24
[2456] Sirpi2007-11-26 15:38:24

Igazad van, ez kimaradt. Én úgy vettem, hogy lehet tükrözni. Bár az is érdekes lehet, hogy milyen különbség adódhat egy adott alakzat esetén, ha megengedjük, illetve ha nem engedjük meg a tükrözést.

És igen, én is 10-est találtam még az 1,2,4-en kívül. Vajon van más?

Előzmény: [2454] Hajba Károly, 2007-11-26 14:26:42
[2455] Hajba Károly2007-11-26 14:35:45

Találtam egy tükrözés nélküli 10-est. Lehet, hogy ez a tied is? 1 perc alatt összejött.

Gyanítom, hogy az 1 kivételével ezek a számok csak párosak lehetnek.

Előzmény: [2453] Sirpi, 2007-11-26 12:53:02
[2454] Hajba Károly2007-11-26 14:26:42

Tükrözni lehet? Vagy csak tolás-forgatás?

Előzmény: [2453] Sirpi, 2007-11-26 12:53:02
[2453] Sirpi2007-11-26 12:53:02

Felmerült bennem egy probléma, egyelőre csak ízlelgetem. Az egyszerűség kedvéért nevezzünk rácsidomnak rácsnégyzetekből álló, élek mentén illeszkedő, összefüggő alakzatokat (gondoljatok a tetrisre, de nem feltétlen kell 4 kis négyzetből állnia az alakzatnak). Ezek között vannak olyanok, amiket többször felhasználva ki lehet rakni egy téglalapot, másokból meg nem. Az előbbiekhez rendeljük hozzá az ehhez szükséges minimális darabszámot. Tehát ha az alakzat eleve téglalap, akkor 1-et, a tetrisben pedig pl. az L-alakhoz 2-t, a T-alakhoz 4-et rendelünk.

A kérdés az, hogy mekkora lehet maximálisan ez a szám? Vagy egyáltalán, milyen más értékek adódhatnak így?

Mindenesetre találtam 4-nél nagyobbat már, innen jött az ötlet.

[2452] Lóczi Lajos2007-11-25 22:46:37

Nem olyan nehéz ez.

Tudjuk, hogy x, y és z pozitívak. Az x\mapstog(x,y,z) egy pozitív főegyütthatós másodfokú polinom. A gyökképlettel fejezzük ki a gyökeit, és mondjuk végezzük el az Y:=y2, Z:=z2, továbbá az A:=Y+Z, B:=YZ helyettesítéseket. Nyilván A2-4B\ge0, A>0, B>0.

Azt kapjuk, hogy

x_{\pm}=(*pozitiv*kifejezes*)\cdot (-A^4 + 2A^2 B + 16B^2 \pm  {\sqrt{\left( A^2 - 4B \right) \left( A^2 + 4B \right) 
      \left( A^4 - 4A^2B - 16B^2 \right) }}).

Ki akarjuk zárni, hogy g<0 pozitív x-ekre.

Ha a diszkrimináns negatív, készen vagyunk.

Ha a diszkrimináns A2-4B miatt nulla, szintén készen vagyunk, mert ez annak felel meg, ha y=z, de g(x,y,y)=4{\left( x - y \right) }^2 y.

Elég tehát az A4-4A2B-16B2\ge0 esetben megvizsgálni, hogy a nagyobbik gyök, x+ lehet-e pozitív.

Elemi módon látszik, hogy A4-4A2B-16B2\ge0 és -A4+2A2B+16B2\ge0 és A2-4B\ge0 egyszerre nem teljesülhetnek a pozitív számpárok körében.

Az kell tehát csak megnézni, mi van, ha -A4+2A2B+16B2\le0 (a diszkrimináns előjelére nem is kell most figyelni). Ekkor átrendezve és négyzetre emelve az x+>0 egyenlőtlenséget (mindkét oldal nemnegatív!), azt kapjuk, hogy A4B2<0, ami nem lehet. A bizonyítás készen van.

Előzmény: [2450] Lóczi Lajos, 2007-11-25 20:32:12
[2451] Róbert Gida2007-11-25 20:51:55

Igen, ezt kell belátni, nem szabadott volna négyzetre emelnem, mert a jobb oldal negatív is lehet, köszönhetően annak, hogy: igaz, hogy R\geq2*r teljesül, de R bármekkora lehet rögzített r mellett.

Egyébként szabályos háromszögre egyenlőséggel, ez megfelel x=y=z-nek és g(x,x,x)=0

Előzmény: [2450] Lóczi Lajos, 2007-11-25 20:32:12
[2450] Lóczi Lajos2007-11-25 20:32:12

Szerintem a bizonyítandó egyenlőtlenség a te jelöléseiddel ez:

g(x,y,z):=x^2 y + x y^2 + x^2 z - 14 x y z  + y^2 z + 
  x z^2 + y z^2 + 2 x^2 {\sqrt{y z}} + 
  2 x y {\sqrt{y z}} + 2 x z {\sqrt{y z}} + 
  2 y z {\sqrt{y z}}\ge 0.

Előzmény: [2449] Lóczi Lajos, 2007-11-25 20:18:31
[2449] Lóczi Lajos2007-11-25 20:18:31

f(1,1/64,1)<0 nálam.

Előzmény: [2448] Róbert Gida, 2007-11-25 16:29:22
[2448] Róbert Gida2007-11-25 16:29:22

Hm, a polinom lexikografikusan legnagyobb tagjának negatív az együtthatója, ergó számtani-mértani egyenlőtlenségekkel ezt nem lehet belátni.

A polinom egyébként homogén hatodfokú, így feltehető például, hogy x=1 teljesül. (Kicsivel rövidebb lesz akkor a képlet.)

Előzmény: [2446] Róbert Gida, 2007-11-25 16:14:49
[2447] Róbert Gida2007-11-25 16:18:29

Tehát az kell, hogy

f(x,y,z)\geq0

, ha x,y,z pozitív valós számok. Persze még a Héron képletet is használtam:

T2=s(s-a)(s-b)(s-c)

Előzmény: [2446] Róbert Gida, 2007-11-25 16:14:49
[2446] Róbert Gida2007-11-25 16:14:49

A következőkkel próbálkoztam:

s=\frac {a+b+c}{2}, r=\frac Ts, R=\frac {abc}{4T}

Majd egy háromszögekre való egyenlőtlenség bizonyításának ismert technikája: legyen

x=s-a,y=s-b,z=s-c

Ekkor x,y,z>0 teljesül, megfordítva minden pozitív x,y,z-re tartozik pontosan egy háromszög. (oldalaira a háromszög-egyenlőtlenség teljesül). Ezt beírva és négyzetre emelve és rendezve az oldalt kapjuk: f(x,y,z)=4yz(x+z)2(x+y)2-(16xyz-(x+y)(y+z)(z+x))2 kell teljesülnie minden pozitív x,y,z számokra. Ez a polinom viszont a maple szerint irreducibilis a racionális többváltozós test felett. Egy nehéz módszer ilyenkor, hogy számtani-mértani egyenlőtlenségek tucattyaival igazolni, hogy f(x,y,z) pozitív, de ennek a megtalálása egyáltalán nem triviális, illetve van amikor nem is lehetséges, annak ellenére, hogy az egyenlőtlenség igaz.

Előzmény: [2443] Gyöngyő, 2007-11-25 13:26:07
[2445] Gyöngyő2007-11-25 14:56:27

igen.pont igy néz ki!

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]