Feladat: F.1836 Korcsoport: 18- Nehézségi fok: átlagos
Megoldó(k):  Besenyei Lajos ,  Bogsch Imre ,  Bugyi Márta 
Füzet: 1973/március, 103 - 105. oldal  PDF  |  MathML 
Témakör(ök): Függvényvizsgálat differenciálszámítással, Trigonometrikus egyenlőtlenségek, Trigonometriai azonosságok, Egyenlő szárú háromszögek geometriája, Körök, Négyszögek geometriája, Feladat
Hivatkozás(ok):Feladatok: 1972/szeptember: F.1836

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.

I. megoldás. Jelöljük az O csúcsú, x nagyságú szög szárainak az O körüli, egységnyi sugarú k körrel közös pontját A-val, ill. B-vel, és messe egymást k-nak A-beli és B-beli érintője C-ben. Ekkor OC felezi a szöget, és azt kell bizonyítanunk, hogy az AC érintőszakasz kisebb, mint k-nak (rövidebbik) AB íve.

 
 

Elég azt belátnunk, hogy AC ‐ és a vele egyenlő BC ‐ még az AB húrnál is rövidebb. E három szakasz az ABC egyenlő szárú háromszöget alkotja, így a velük szemben fekvő szögekre az
ABC=BAC<ACB(2)
egyenlőtlenség egyenértékű állításunkkal.
Mármost az OACB négyszögből nyilvánvalóan ACB=π-x, és mint merőleges szárú hegyes szögek a (2)-beli első szög egyenlő BOC=x2 -vel, tehát (2) teljesül, amíg
x2<π-x, azaz x<23π.

Azt kaptuk tehát, hogy a tg (x/2)<x egyenlőtlenség valamivel tágabb feltétel mellett is érvényes, mint amely mellett a feladat a bizonyítást követeli.
 

 Bugyi Márta (Csongrád, Batsányi J. Gimn., IV. o. t.)
 

Megjegyzések. 1. A (2)-ben megengedhettük volna a BAC és ACB szögek egyenlőségét is, hiszen határozottan AB^>AB¯. Egyébként könnyű látni a táblázatokból, hogy a tg (x/2)=x egyenlőség közelítőleg x=2,33(=133,5)-nál következik be.
2. Mivel AB=2sin(x/2), bizonyításunkat így is mondhatjuk:
tgx2=sinx2cosx2<2sinx2
mindaddig teljesül, amíg
x>0éscosx2>12,
azaz
0<x2<π3.
 Besenyei Lajos (Eger, Gárdonyi G. Gimn., IV. o. t.)
 

II. megoldás. A feladat föltétele alapján cosx0, így ismert azonosságot és egyenlőtlenségeket alkalmazva
tgx2=sinx1+cosxsinx<x.

A második lépésben alkalmazott becslés miatt itt nem olvashatjuk ki az állítás érvényességének kiterjesztését.
 

III. megoldás. Vizsgáljuk az f(x)=x-tgx2 függvény változását a (0,π2) intervallumban. A függvény deriváltja
f'(x)=1-12cos2x2,
pozitív az intervallum belsejében, tehát f szigorúan monoton növekedő. Mivel f(0)=0, másrészt f az intervallum jobb végpontjában is folytonos, azért
f(x)>0,ha0<xπ2.
Ezzel bebizonyítottuk az állítást.
 

 Bogsch Imre (Budapest, Eötvös J. Gimn., IV. o. t.)