Geomania.Org Forumları

Fantezi Cebir => Analiz-Cebir => Konuyu başlatan: Hüseyin Yiğit EMEKÇİ - Ekim 24, 2023, 05:51:11 ös

Başlık: Genelleştirilmiş IMO Shortlist 1996 #A.1 {çözüldü}
Gönderen: Hüseyin Yiğit EMEKÇİ - Ekim 24, 2023, 05:51:11 ös

Genelleştirme 1
$a,b,c$ pozitif reeller olmak üzere $abc=k$ ise


$$\sum_{cyc}{\dfrac{(ab)^{n}}{k\left(ab\right)^{n}+a^{2n+3}+b^{2n+3}}}\leq \dfrac{1}{k}$$


olduğunu gösteriniz.

Başlık: Ynt: Genelleştirilmiş IMO Shortlist 1996 #A.1
Gönderen: Hüseyin Yiğit EMEKÇİ - Ocak 24, 2024, 03:15:48 öö

Muirhead Eşitsizliği (https://artofproblemsolving.com/wiki/index.php/Muirhead%27s_Inequality)'ni her ikisi de simetrik olan toplamlara uygulayarak
$$a^{2n+3}+b^{2n+3}\geq a^{n+2}b^{n+1}+a^{n+1}b^{n+2}=\left(ab\right)^{n+1}\left(a+b\right)$$
olduğunu söyleyebiliriz. O zaman
$$LHS=\sum_{cyc}{\dfrac{(ab)^{n}}{k\left(ab\right)^{n}+a^{2n+3}+b^{2n+3}}}\leq \sum_{cyc}{\dfrac{(ab)^{n}}{k\left(ab\right)^{n}+\left(ab\right)^{n+1}\left(a+b\right)}}=\sum_{cyc}{\dfrac{1}{k+a^2b+ab^2}}=\sum_{cyc}{\dfrac{1}{abc+a^2b+ab^2}}$$
$$=\sum_{cyc}{\dfrac{1}{ab\left(a+b+c\right)}}$$
Şimdi toplamın içerisindeki paydaları eşitlersek
$$LHS\leq \sum_{cyc}{\dfrac{1}{ab\left(a+b+c\right)}}=\dfrac{a+b+c}{abc\left(a+b+c\right)}=\dfrac{1}{k}$$
elde eder ve ispatı tamamlarız.

Başlık: Ynt: Genelleştirilmiş IMO Shortlist 1996 #A.1 {çözüldü}
Gönderen: Hüseyin Yiğit EMEKÇİ - Ocak 24, 2024, 12:22:05 ös

Genelleştirme 2
$a_1,a_2,\cdots,a_n,p$ pozitif reeller ($n\geq 3$) olmak üzere $\prod{a_1}=k$ ise


$$\sum_{cyc-j}{\dfrac{(a_ja_{j+1}\cdots a_{j+n-2})^{p}}{k\left(a_ja_{j+1}\cdots a_{j+n-2}\right)^{p}+a_j^{(p+1)(n-1)+1}+a_{j+1}^{(p+1)(n-1)+1}+\cdots+a_{j+n-2}^{(p+1)(n-1)+1}}}\leq \dfrac{1}{k}$$


olduğunu gösteriniz.

Başlık: Ynt: Genelleştirilmiş IMO Shortlist 1996 #A.1 {çözüldü}
Gönderen: Hüseyin Yiğit EMEKÇİ - Ocak 24, 2024, 01:23:27 ös

Muirhead Eşitsizliği (https://artofproblemsolving.com/wiki/index.php/Muirhead%27s_Inequality)'ni her ikisi de simetrik olan toplamlara uygulayarak
$$a_{j}^{(p+1)(n-1)+1}+a_{j+1}^{(p+1)(n-1)+1}+\cdots+a_{j-2}^{(p+1)(n-1)+1}\geq a_j^{p+2}a_{j+1}^{p+1}a_{j+2}^{p+1}\cdots a_{j-2}^{p+1}+a_j^{p+1}a_{j+1}^{p+2}a_{j+2}^{p+1}\cdots a_{j-2}^{p+1}+\cdots+a_j^{p+1}a_{j+1}^{p+1}\cdots a_{j-3}^{p+1} a_{j-2}^{p+2}$$
$$=\left(a_ja_{j+1}\cdots a_{j-2}\right)^{p+1}\left(a_1+a_2+\cdots +a_{j-2}\right)$$
olduğunu söyleyebiliriz. O zaman
$$LHS=\sum_{cyc-j}{\dfrac{(a_ja_{j+1}\cdots a_{j-2})^{p}}{k\left(a_ja_{j+1}\cdots a_{j-2}\right)^{p}+a_j^{(p+1)(n-1)+1}+a_{j+1}^{(p+1)(n-1)+1}+\cdots+a_{j-2}^{(p+1)(n-1)+1}}}$$
$$\leq \sum_{cyc-j}{\dfrac{(a_ja_{j+1}\cdots a_{j-2})^{p}}{k\left(a_ja_{j+1}\cdots a_{j-2}\right)^{p}+\left(a_ja_{j+1}\cdots a_{j-2}\right)^{p+1}\left(a_1+a_2+\cdots +a_{j-2}\right)}}$$
$$=\sum_{cyc-j}{\dfrac{1}{k+a_j^2a_{j+1}\cdots a_{j-2}+a_ja_{j+1}^2\cdots a_{j-2}+\cdots+a_ja_{j+1}\cdots a_{j+n-2}^2}}=\sum_{cyc}{\dfrac{1}{a_1a_2\cdots a_n+a_j^2a_{j+1}\cdots a_{j-2}+a_ja_{j+1}^2\cdots a_{j-2}+\cdots+a_ja_{j+1}\cdots a_{j-2}^2}}$$
$$=\sum_{cyc}{\dfrac{1}{a_ja_{j+1}\cdots a_{j-2}\left(a_1+a_2+\cdots+a_n\right)}}$$
Şimdi toplamın içerisindeki paydaları eşitlersek
$$LHS\leq \sum_{cyc}{\dfrac{1}{a_ja_{j+1}\cdots a_{j-2}\left(a_1+a_2+\cdots+a_n\right)}}=\dfrac{\sum_{cyc}{a_1}}{\prod{a_1}.\sum_{cyc}{a_1}}=\dfrac{1}{\prod{a_1}}=\dfrac{1}{k}$$
elde eder ve ispatı tamamlarız.