Feladat: Pontversenyen kívüli P.322 Korcsoport: 18- Nehézségi fok: nehéz
Füzet: 1981/március, 118 - 119. oldal  PDF  |  MathML 
Témakör(ök): Határozott integrál, Pontversenyen kívüli probléma, Exponenciális függvények, Trigonometrikus függvények
Hivatkozás(ok):Feladatok: 1979/május: Pontversenyen kívüli P.322

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Mivel az integrációs tartomány felett 0sinx1, a logaritmusa negatív, így ennek az abszolút értéke a (-1)-szerese. Emiatt az (1) bal oldalán álló I integrál értékére parciálisan integrálva azt kapjuk, hogy

I=-20π/21lnsinxdx=-2[xlnsinx]0π/2+20π/2xctgxdx==[x2ctgx]0π/2+0π/2(xsinx)2dx.


Mivel a kiintegrált rész ismét nullával egyenlő, elegendő belátni, hogy O<x< <π/2 mellett
xsinx<1+x24(2)
hiszen emiatt
I<0π/2(1+x24)2dx=π2+16(π2)3+180(π2)5<π312.

Mivel a vizsgált tartományon sinx pozitív, (2) azt jelenti, hogy 0<x<π/2 mellett az
f(x)=(1+x24)sinx-x
függvény pozitív. A sinx függvény ismeretes sorfejtése alapján
f(x)=-x+(1+x24)(x-x33!+x55!-...)==x24[(1-423)x-(1-445)x23!+(1-467)x+55!-...].


Állítsuk itt párba a szomszédos, különböző előjelű tagokat. Ha kiemeljük a bennük közös xn/n ! tagot, az
(1-4(n+1)(n+2))-(1-4(n+3)(n+4))x2(n+1)(n+2)
különbség marad, elég megmutatni, hogy ez pozitív n=1, 5, 9, ... mellett. Ez viszont azt jelenti, hogy
x2<(n+3)(n+4)n2+3n-2n2+7n+8.
Ha n=1, a jobb oldal értéke 5/2, aminél a π/2-nél kisebb pozitív x négyzete valóban kisebb, hiszen π2<10. A többi n érték mellett a jobb oldal értéke ennél lényegesen nagyobb, állításunkat ezzel beláttuk.