Feladat: F.2208 Korcsoport: 18- Nehézségi fok: nehéz
Füzet: 1979/november, 140 - 142. oldal  PDF  |  MathML 
Témakör(ök): Alakzatba írt kör, Beírt gömb, Szélsőérték differenciálszámítással, Szabályos sokszög alapú gúlák, Egyenlő szárú háromszögek geometriája, Feladat
Hivatkozás(ok):Feladatok: 1979/május: F.2208

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.

Jelöljük a kérdéses alapot 2x-szel, így a beírt kör ϱ sugarának ismert t/s kifejezése céljára a háromszög területe t=x1-x2, kerülete 2x+2, tehát a vizsgálandó függvény

ϱ=ts=x1-x21+x=x2-x31+x,
és a háromszög-egyenlőtlenség alapján 0<x<1.
 
 

Mivel ϱ>0, és pozitív szám négyzete monoton nő, azért ϱ-nak ugyanott van maximuma, ahol ϱ2-nek, ezért elég vizsgálnunk a következő függvényt:
ϱ2=f(x)=x2-x31+x.
Deriváltja, mindjárt átalakításokkal:
f'(x)=(2x-3x2)(1+x)-(x2-x3)(1+x)2=2x(1-x-x2)(1+x)2==x(5-12-x)(5+1+2x)(1+x)2,


az értelmezési tartomány minden helyén létezik. f(x) csakis az
x0=5-12(=0,618...)
helyen tűnik el, és itt áthaladva, az utolsó alakban a számláló első zárójele vált előjelet, pozitívból negatívvá válik, a többi tényező pozitív.
Eszerint ϱ2 és ϱ értéke az x0-on áthaladva növekedésből csökkenésbe megy át, ott maximum van. És mivel ekkor az alapél 2x01, az állítás első részét bebizonyítottuk. (Valóban, x0 mellett ϱ=0,3003, 2x=1 mellett viszont csak ϱ=3/6=0,2887.)
2. Messük a gúlát a tengelyen átmenő és valamelyik alapélére merőleges S síkkal. Ez nyilvánvalóan szimmetriasíkja a gúlának, ennélfogva a beírt gömbnek az átmetszett oldallapokkal való érintkezési pontjai benne vannak S-ben. S a gúlából egyenlő szárú háromszöget metsz ki, melynek szárai az oldallapok om magasságai, a beírt gömbből pedig egy főkört, és ez a főkör éppen a kimetszett háromszög beírt köre.
A gúla alapélét ismét 2x-szel jelölve a föntebbi számítás az alábbiak szerint módosul. A metszetháromszög szárainak hossza (a fönti 1 helyén) 1-x2, így a háromszög magassága 1-2x2, kerülete 2x+21-x2. Ezekből
ϱ=x1-2x21-x2+x,ahol0<x<12(=0,707).

Belátjuk, hogy ϱ=f(x) az értelmezési tartományában folytonos függvénye az x-nek. Valóban, ez áll a kifejezés x, 1-x2, 1-2x2 elemeire, így a számlálóra és a nevezőre is, és mivel a nevező sehol sem 0 az intervallumban, azért a hányadosra is.
Így elég mutatni egy olyan x1 értéket, amely mellett ϱ-ra nagyobb értéket kapunk, mint x=0,5 mellett, és egy olyan x2 értéket, ahol ϱ kisebbnek adódik, mint x=0,5 mellett, hacsak az (x1, x2) intervallum tartalmazza az x=0,5 helyet. Megfelel erre
x1=0,48ésx2=0,52,
ugyanis az elsőt lekerekítve, a másodikat fölkerekítve
f(x1)=0,2597,f(0,5)=0,2588,f(x2)=0,2564,
ezzel megmutattuk, hogy a feladat 2. állítása is helyes.
Bonyolultabb számítással meg lehet mutatni, hogy ϱ az x=0,4776 és x=0,4777 helyek közt veszi fel legnagyobb értékét, és az 0,2597.
 
Megjegyzés. Ismét ϱ2 maximumhelyét keressük, kifejezését így alakítjuk:
ϱ2=g(x)=x2(1-2x2)1+2x1-x2=x2(1-2x2)(1-2x1-x2)1-4x2(1-x2).

A nevező (1-2x2)2, és mivel ϱ kifejezésében kikötöttük, hogy 1-2x2>0, azért egyszerűsíthetünk:
g(x)=x2(1-2x1-x2)1-2x2.
[A számláló is pozitív, mert x=sinz (ahol 0<z<45) helyettesítéssel (1-sin2z) alakba írható.]
Felírjuk g'(x)-et és megmutatjuk, hogy g'(0,5)<0, ebből már következik a feladat állítása. A 2192. feladatban látott (uv)'=u'v+uv' deriválási szabályhoz hasonlóan lehet belátni, hogy ha u és v deriválhatók egy intervallumban és ugyanott v0, akkor
(uv)'=u'v-uv'v2.
Esetünkben v=1-2x2>0, továbbá a számlálóban
(1-2x1-x2)'=-21-x2+2x21-x2=-2+4x21-x2=-2(1-2x2)1-x2.
(tovább is alkalmazzuk a látott közös nevezőre hozást), így a számláló deriváltja, majd a nevezőé:
u'=2x(1-2x1-x2)-2x2(1-2x2)1-x2=2x+8x4-6x21-x2,ill.v'=-4x.
Ezeket beírva, g'(x) számlálója,
u'v-uv'=2x-4x3+-16x6+20x4-6x21-x2+4x3+8x6-8x41-x2==2x-8x6-12x4+6x21-x2.


[Nincs szükség g'(0,5) előjelének megállapításához a nevezőre, mert az pozitív.] A kapott kifejezés értéke pedig 2x=1 helyettesítéssel:
1-743=1-4948<0,
ezt akartuk belátni.