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: Nehezebb matematikai problémák

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]  

Szeretnél hozzászólni? Jelentkezz be.
[13] Pach Péter Pál2003-12-08 20:22:35

Kedves Attila!

Köszi a megoldást a 4. feladatra.

A 3. feladatnál nagyon csábító valamilyen trigonometrikus helyettesítés, én sajnos nem tudok olyat, ami jó. Egyébként \tg{\frac{\alpha}{2}}\tg{\frac{\beta}{2}}+\tg{\frac{\beta}{2}}\tg{\frac{\gamma}{2}}+\tg{\frac{\gamma}{2}}\tg{\frac{\alpha}{2}}=1 mindig teljesül, ha \alpha,\beta,\gamma egy háromszög szögei. Ebből a rendezési tétel (amit „skalár szorzatos egyenlőtlenség”-nek hívtál) alapján látszik, hogy 1\letg2\alpha+tg2\beta+tg2\gamma, és egyenlőség csak szabályos háromszög esetén van.

Előzmény: [7] jenei.attila, 2003-12-07 23:00:44
[12] Pach Péter Pál2003-12-08 20:20:09

Szerencsére, különben valami gond lenne vele. :-)

Előzmény: [9] nadorp, 2003-12-08 10:00:52
[11] nadorp2003-12-08 13:53:55

Kedves Attila !

Teljesen igazad van abban, hogy a rendezettségen alapuló egyenlőtlenség nagyon hasznos. Ha érdekel, nézd meg a KÖMAL A.324. sz. példára adott harmadik megoldást, nagyon tanulságosan használja fel ezt az egyenlőtlenséget.

Kedves Péter ! (különben én is az vagyok)

Az első példa kapcsán - valószínűleg anno kihagytam pár absztrakt algebrai előadást - kisebb gondjaim vannak azzal, hogy hogyan értelmezzem egy gráf automorfizmusát ( kétféle leképezést is találtam egy konkrét esetben, így az egyik biztos nem jó). Légy szíves pár szóval vázold. Van egy aranyos példám is. Az 198[3-8] évben tűzték ki a Riesz Frigyes matek versenyen.

4.feladat

Adott egy n-elemű X halmaz ( n\ge1 pozitív egész ) és adott X-nek n darab különböző ( nem feltétlenül valódi ) részhalmaza A1,A2...An. BBh. létezik x\inX , hogy az A1\{x},A2\{x} … An\{x} halmazok is különbözőek.

[10] jenei.attila2003-12-08 10:43:51

Kedves nadorp!

Teljesen igazad van, amikor leírtam, már én is rájöttem. Ahogy említettem is, nem gondoltam végig, csak egy ötlet volt, először jónak tűnt.

A harmadik feladatnál nem kell használni a "skalár szorzatos" (nem tudok rá jobb nevet, és ennyi erővel a Cauchy-Schwartz egyenlőtlenséget is lehetne így nevezni) egyenlőtlenséget, mert a feladathoz elég a

(x-y)2+(x-z)2+(y-z)2\ge0

egyenlőtlenséget átrendezni, azonban a "skalár szorzatos" önmagában is érdekes és sokszor nagyon hasznos egyenlőtlenség.

[9] nadorp2003-12-08 10:00:52

Bocs, a bizonyításom csak hegyesszögű háromszögre igaz.

Előzmény: [8] nadorp, 2003-12-08 09:30:10
[8] nadorp2003-12-08 09:30:10

Kedves Attila !

A 3. feladatra adott ötleted annyiban hibás,hogy a \tan^2{\frac{\alpha}{2}}+\tan^2{\frac{\beta}{2}}+\tan^2{\frac{\gamma}{2}}=1 feltételből csak annyi következik, hogy \alpha+\beta+\gamma<=180o (Jensen egyenlőtlenség), tehát nem biztos, hogy egyáltalán háromszöget kapsz.Pld. próbáld ki a \tan{\frac{\alpha}{2}}=\tan{\frac{\beta}{2}}=\frac12, \tan{\frac{\gamma}{2}}=\frac1{\sqrt2} esetet, \alpha+\beta+\gamma=176,78o-ot fogsz kapni.

Egyébként,ha \alpha,\beta,\gamma egy háromszög szögei, akkor könnyű a bizonyítás, mert a tan \alpha+tan \beta+tan \gamma=tan \alphatan \betatan \gamma azonosság miatt, felhasználva a számtani és mértani közép közötti összefüggést:

(tan \alpha+tan \beta+tan \gamma)3>=27tan \alphatan \betatan \gamma=27(tan \alpha+tan \beta+tan \gamma), ezért

\tan\alpha+\tan\beta+\tan\gamma>=3\sqrt3

Előzmény: [7] jenei.attila, 2003-12-07 23:00:44
[7] jenei.attila2003-12-07 23:00:44

Kedves Péter!

A negyedik feladat megoldásával is megelőzött nadorp, azért leírom az enyémet:

A megoldás során két jól ismert egyenlőtlenséget fogunk felhasználni. Az egyik a hatványközepekre vonatkozó egyenlőtlenség, amely szerint ha \alpha\le\beta, akkor nem negatív számok \alpha-adik hatványközepe nem nagyobb a \beta-adik hatványközepüknél. x,y,z négyzetes és köbös hatványközepére:

\left(\frac{x^2+y^2+z^2}3\right)^{\frac{1}{2}}\le \left(\frac{x^3+y^3+z^3}3\right)^{\frac{1}{3}}

Mindkét oldalt 6-odik hatványra emelve, és 8/9 -del beszorozva kapjuk:

\frac{8}{3}\left(x^2+y^2+z^2\right)^3\le 8\left(x^3+y^3+z^3\right)^2

A másik egyenlőtlenség két számsorozat "skaláris szorzatára" vonatkozik, amely szerint az akkor maximális, ha a sorozatok egyezőleg rendezettek, minimális, ha ellenkezőleg rendezettek. Például x,y,z -re

xy+yz+zx\lex2+y2+z2

A bizonyítandó egyenlőtlenség bal oldalának zárójeles kifejezéseire alkalmazva a számtani-mértani közép egyenlőtlenségét majd köbre emelve és 9-cel beszorozva:

9(x^2+yz)(y^2+xz)(z^2+xy)\le
\frac{1}{3}(x^2+y^2+z^2+yz+xz+xy)^3

Ebben az egyenlőtlenségben a jobboldal (a "skalár szorzatos" egyenlőtlenség miatt):

\frac{1}{3}\left(x^2+y^2+z^2+yz+xz+xy\right)^3\le \frac{8}{3}\left(x^2+y^2+z^2\right)^3

A két utóbbi és a hatványközepekre vonatkozó egyenlőtlenséget összevetve kapjuk a bizonyítandó állítást:

9(x^2+yz)(y^2+xz)(z^2+xy)\le
\frac{1}{3}(x^2+y^2+z^2+yz+xz+xy)^3\le
\frac{8}{3}(x^2+y^2+z^2)^3\le 8(x^3+y^3+z^3)^2

A 3. feladat megoldását nem gondoltam végig, mert nadorp megoldása egyszerűbb, azért ezt is leírom. Az a:=\tan\left(\frac{\alpha}2\right) helyettesítést bevezetve a bizonyítandó egyenlőtlenség \tan(\alpha)+\tan(\beta)+\tan(\gamma)\ge3\sqrt3. A feltételek \alpha,\beta,\gammahegyesszögű háromszöget adnak meg.

Előzmény: [2] Pach Péter Pál, 2003-12-01 22:09:03
[6] Pach Péter Pál2003-12-04 22:32:09

Kedves Péter! (Csak tippeltem, ha tévedek, javíts ki!)

Köszi a megoldást a 4. feladatra. A 3. feladatnál szerintem azért nem zavaró a 2-es szorzó elhagyása, mert az egyenlet 0-ra volt rendezve. A [4]-ben feltett kérdésemen nagyon sokat nem érdemes töprengeni, ugyanis kicsit becsapós. :-) Nos?

Sok sikert az első két feladathoz!

Előzmény: [5] nadorp, 2003-12-04 14:12:26
[5] nadorp2003-12-04 14:12:26

Kedves Péter !

A 3. feladatra adott megoldás nem annyira remek, mert egyrészt elhagytam a nevezőben egy 2-es szorzót ( bár ez a lényegen nem változtat), másrészt nem általánosítható n>3 esetére, mert ekkor \frac1{\sqrt{n}} csak egyszeres gyök, ezért nem a négyzeten szerepel a szorzatban. Azért még küzdök vele.Viszont van egy megoldásom a 4. feladatra.

Elég bizonyítani, hogy

\frac{(x^2+yz)(y^2+xz)(z^2+xy)}8<=\Big(\frac{x^3+y^3+z^3}3\Big)^2

Vonjunk mindkét oldalból 6-ik gyököt. Ekkor

\sqrt{\frac{\root{3}\of{(x^2+yz)(y^2+xz)(z^2+xy)}}{2}}<=\sqrt{\frac{x^2+yz+y^2+xz+z^2+xy}{2\cdot3}}<=\sqrt{\frac{x^2+y^2+z^2}3}

Felhasználva hogy a 2-dik hatványközép kisebb egyenlő a 3-dik hatványközépnél, a bizonyítandó állítást kapjuk

Előzmény: [2] Pach Péter Pál, 2003-12-01 22:09:03
[4] Pach Péter Pál2003-12-02 23:05:43

Kedves nadorp!

A megoldás remek. :-) Bizonyítható ehhez hasonlóan, hogy \sum_{i=1}^n{\frac{x_i}{1-x_i^2}}\ge\frac{n\sqrt n}{n-1}, ha n pozitív egész, és minden xi pozitív?

Előzmény: [3] nadorp, 2003-12-02 17:11:35
[3] nadorp2003-12-02 17:11:35

Megoldás a 3. feladatra.

Az ember a szimmetria miatt akaratlanul arra gondol, egyenlőség csak a=b=c=\frac1{\sqrt3} esetén van. Ekkor a balodalon álló összes tört értéke \frac{\sqrt3}2. Másrészt \frac{3{\sqrt3}}2\cdot(\frac1{\sqrt3})^2=\frac{\sqrt3}2 is teljesül, ezért az

\frac{x}{1-x^2}-\frac{3{\sqrt3}}2\cdot{x^2}=0

egyenletnek az \frac1{\sqrt3} szám gyöke,ezért belőle a \sqrt3x-1 kifejezés kiemelhető. Valóban, nem részletezve a számolást, a fenti egyenlet bal oldalára a következőt kapjuk:

\frac{x({\sqrt3}x-1)^2({\sqrt3}x+2)}{1-x^2}, ami a (0;1) nyílt intervallumon nemnegatív.

Most már az eredeti feladat könnyen megoldható. A fenti egyenelet bal oldalán szereplő kifejezésbe helyettesítsük rendre az a,b és c számokat és adjuk össze ezt a három kifejezést. Felhasználva a négyzetösszegekre vonatkozó feltételt, pont a kívánt egyenlőtlenséget kapjuk.

Előzmény: [2] Pach Péter Pál, 2003-12-01 22:09:03
[2] Pach Péter Pál2003-12-01 22:09:03

A továbbiakban „Bizonyítsuk be, hogy” röviden „Bbh” lesz. Kezdetnek négy feladat: (Kedvcsinálónak könnyebb példa is van köztük. :-))

1. feladat: Bbh bármely véges csoporthoz létezik olyan véges egyszerű gráf, amelynek az automorfizmuscsoportja izomorf vele.

2. feladat: Bbh egy gráfban akkor és csak akkor létezik teljes párosítás, ha akárhogyan is hagyunk el néhány pontot (és a belőlük kiinduló éleket), a maradékban a páratlan komponensek száma nem nagyobb az elhagyott pontok számánál. Megjegyzés: bocs mindenkitől, aki ismeri.

3. feladat: 0<a,b,c<1 és a2+b2+c2=1. Bbh


%>
\frac a{1-a^2}+\frac b{1-b^2}+\frac c{1-c^2}\ge\frac{3\sqrt3}{2}

4. feladat: x,y,z nemnegatívak, bbh

9(x2+yz)(y2+zx)(z2+xy)\le8(x3+y3+z3)2

[1] Pach Péter Pál2003-12-01 22:04:53

Azért nyitottam ezt a témát, hogy a nehezebb példákat is kitűzhessük valahol. Tehát itt olyan feladatokat adnánk fel és oldanánk meg, amiket nem írunk be az Érdekes matekfeladatok-hoz, mert nehéznek érezzük őket. Természetesen kevésbé nehéz példákat is kitűzhetünk, senki se tartson vissza példát csupán azért, mert aggódik, hogy az nem elég kemény.

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]