A B. 5226. feladat (2022. február)

B. 5226. Egy háromszög mindhárom oldalának hossza legfeljebb 2 egység. Minden csúcspárt összekötünk egy-egy olyan körívvel, amely egy-egy egységsugarú körnek a félkörnél nem hosszabb íve. Igazoljuk, hogy

$\displaystyle a'+b'>2c'/3,$

ahol $\displaystyle a'$, $\displaystyle b'$, $\displaystyle c'$ a körívek hosszát jelöli.

(5 pont)

A beküldési határidő 2022. március 10-én LEJÁRT.

Megoldás. Először is idézzük fel, hogy az arkuszszinusz függvény a $\displaystyle [0,1]$ intervallumon konvex, azaz bármely $\displaystyle x_1,x_2\in [0,1]$ esetén

$\displaystyle \frac{\arcsin x_1+\arcsin x_2}{2}\ge \arcsin \frac{x_1+x_2}{2}.$

Másodszor megmutatjuk, hogy $\displaystyle \arcsin x\ge \arcsin (2x)/3$ minden $\displaystyle 0< x \le 1/2$ esetén. A $\displaystyle 0<x\le 1/2$ feltételből azonnal következik, hogy $\displaystyle x\ge 4x^3$. Ebből $\displaystyle 3x-4x^3\ge 2x$, és felhasználva a jól ismert $\displaystyle \sin 3\varphi= 3\sin \varphi -4\sin^3 \varphi$ azonosságot kapjuk, hogy

$\displaystyle \sin(3 \arcsin x) = 3 \sin(\arcsin x)- 4 (\sin (\arcsin x))^3=3x-4x^3\ge 2x = \sin (\arcsin 2x).$

Mivel az arkuszszinusz szigorúan monoton növő, így $\displaystyle 3\arcsin x\ge \arcsin 2x$ következik, ahogy állítottuk.

Ezután rátérünk a feladat megoldására. Legyenek az oldalak rendre $\displaystyle 2a$, $\displaystyle 2b$ és $\displaystyle 2c$, és tegyük fel, hogy a berajzolt körívek hossza rendre $\displaystyle 2\alpha$, $\displaystyle 2\beta$ és $\displaystyle 2\gamma$, azaz az oldalak a körívek középpontjaiból rendre $\displaystyle 2\alpha$, $\displaystyle 2\beta$ és $\displaystyle 2\gamma$ szög alatt látszanak (ha a középpont illeszkedik valamely oldalra, akkor a megfelelő látószög $\displaystyle \pi$). Ekkor

$\displaystyle \sin \alpha =a \quad ; \quad \sin \beta =b \quad; \quad \sin \gamma =c .$

Így a bizonyítandó $\displaystyle 2\alpha +2\beta > 4\gamma /3$ állítás az

$\displaystyle \arcsin a+ \arcsin b> \frac 23 \arcsin c$

ekvivalens alakban írható. Felhasználva az $\displaystyle a+b>c$ háromszög-egyenlőtlenséget, valamint az arkuszszinusz függvény már említett szigorú monotonitását és konvexitását adódik, hogy

$\displaystyle \arcsin a+ \arcsin b\ge 2 \arcsin\left (\frac {a+b}{2} \right )> 2 \arcsin\left (\frac {c}{2} \right )\ge \frac 23 \arcsin c,$

ahol az utolsó becslésnél a második előrebocsájtott észrevételünket használtuk (valamint a $\displaystyle 0<c/2\le 1/2$ nyilvánvalóan teljesülő összefüggést). Ezzel az állítást beláttuk.

Statisztika:

29 dolgozat érkezett.
5 pontot kapott:	Bényei Borisz, Chrobák Gergő, Diaconescu Tashi, Duchon Márton, Farkas 512 Izabella, Fazokán Marcell, Kalocsai Zoltán, Lovas Márton, Mohay Lili Veronika, Móricz Benjámin, Nagy 551 Levente, Németh Márton, Szakács Ábel, Szanyi Attila, Tarján Bernát, Wiener Anna, Zömbik Barnabás.
4 pontot kapott:	Varga Boldizsár.
3 pontot kapott:	2 versenyző.
2 pontot kapott:	3 versenyző.
1 pontot kapott:	3 versenyző.
0 pontot kapott:	3 versenyző.

A KöMaL 2022. februári matematika feladatai