Bloq
Cəbr

Bərabərsizlərin İsbatı Üçün İki Mükəmməl Cəbri Eynilik

6 dəqiqəlik oxuma

İki Mükəmməl Cəbri Eynilik

Camal Qədirov
July 27, 2026

Bu məqalədə məlum olan iki cəbri eynilik və onların tətbiqi ilə bağlı suallara baxacağıq. Suallar əslində başqa üsullarla da həll edilə bilir lakin biz bu yazımızda qeyd edəcəyimiz cəbri eyniliklərlə isbatlamağa vəya tənliklər sitemini həll etməyə çalışacağıq.

1 ƏVƏZLƏMƏLƏR

1.1 ƏVƏZLƏMƏ 1



Tutaq ki, a,b,ca,b,c müsbət həqiqi ədədlər olmaqla ab+bc+ca+2abc=1ab+bc+ca+2abc=1 eyniliyini ödəyir. Onda elə müsbət x,y,zx,y,z həqiqi ədədləri tapmaq olar ki,

a=xy+z  ,  b=yz+x  ,  c=zx+ya=\frac{x}{y+z} \; , \; b=\frac{y}{z+x} \; , \; c=\frac{z} {x+y}

əvəzləmələri aparmaq olar. Həqiqətən də yoxlasaq,

ab+bc+ca+2abc=xy(y+z)(z+x)+yz(z+x)(x+y)+zx(x+y)(y+z)+2xyz(x+y)(y+z)(z+x)=xy(x+y)+yz(y+z)+zx(z+x)+2xyz(x+y)(y+z)(z+x)=xy(x+y)+z2(x+y)+z(x2+y2+2xy)x+y)(y+z)(z+x)=(x+y)(z2+xy+yx+zx)(x+y)(y+z)(z+x)=1ab+bc+ca+2abc= \frac{xy}{(y+z)(z+x)} +\frac{yz}{(z+x)(x+y)} +\frac{zx}{(x+y)(y+z)} +\frac{2xyz}{(x+y)(y+z)(z+x)} =\frac{xy(x+y)+yz(y+z)+zx(z+x)+2xyz}{(x+y)(y+z)(z+x)} =\frac{xy(x+y)+z^2 (x+y)+z(x^2+y^2+2xy)}{x+y)(y+z)(z+x) }=\frac{(x+y)(z^2+xy+yx+zx)}{(x+y)(y+z)(z+x)} =1

olduğunu görərik. Burada bilinən

x2+xy+yz+zx=(x+y)(x+z)x^2+xy+yz+zx=(x+y)(x+z)
y2+xy+yz+zx=(y+z)(y+x)y^2+xy+yz+zx=(y+z)(y+x)
z2+xy+yz+zx=(z+x)(z+y)z^2+xy+yz+zx=(z+x)(z+y)

eyniliklərindən biri istifadə olunur (surəti hesablarkən). Onu da qeyd edək ki, bu eyniliklər bərabərsizliklərin isbatında bəzən istifadə olunur. Bəzən problemlərdə ab+bc+ca+abc=4ab+bc+ca+abc=4 eyniliyi ilə də qarşılaşmaq olar. Bu halda a=2ua=2u , b=2vb=2v , c=2wc=2w nəzərə alsaq, uv+vw+wu+2uvw=1uv+vw+wu+2uvw=1 yuxarıda göstərdiyimiz ifadə alınar. Bundan sonra da eyni əvəzləməni etmək olar.

1.2 ƏVƏZLƏMƏ 2

a,b,ca,b,c müsbət həqiqi ədədlər olmaqla abc=a+b+c+2abc=a+b+c+2 şərtini ödəyir. Bu halda

a=1u  ,  b=1v  ,  c=1wa=\frac{1}{u} \; , \; b=\frac{1}{v} \; , \; c=\frac{1}{w}

əvəzləsək yuxarıdakı eynilik

1uvw=1u+1v+1w+2uv+vw+wu+2uvw=1\frac{1}{uvw}=\frac{1}{u}+\frac{1}{v}+\frac{1}{w}+2 \Longleftrightarrow uv+vw+wu+2uvw=1

Əvəzləmə 1’dəki eyniliyə dönüşdüyünü görərik. Onda x,y,z>0x,y,z>0 olmaqla

u=xy+z  ,  v=yz+x  ,  w=zx+yu=\frac{x}{y+z} \; , \; v=\frac{y}{z+x} \; , \; w=\frac{z}{x+y}

əvəzləməsi mümkün olduğunu artıq bilirik. Deməli ilkin eynilikdə

a=y+zx  ,  b=z+xy  ,  c=x+yza=\frac{y+z}{x} \; , \; b=\frac{z+x}{y} \; , \; c=\frac{x+y}{z}

əvəzləməsi aparmaq olardı. İndi bu əvəzləmələr yardımıyla ala biləcəyimiz bəzi təməl bərabərsizlikləri qeyd edək. Beləki p=x+y+zp=x+y+z , q=xy+yz+zxq=xy+yz+zx , r=xyzr=xyz adlandırsaq,

p=(y+z)/x+(z+x)/y+(x+y)/z=x/y+y/x+z/x+x/z+y/z+z/y6p=(y+z)/x+(z+x)/y+(x+y)/z=x/y+y/x+z/x+x/z+y/z+z/y≥6
r=(x+y)(y+z)(z+x)/xyz8r=(x+y)(y+z)(z+x)/xyz≥8
q23pr368=144q12q^2≥3pr\geq 3\cdot 6\cdot 8=144 ⟹q≥12

əldə edərik. Bu nəzəri məlumatlardan sonra artıq problemlərə keçmək olar. İlkin olaraq Əvəzləmə 1 ilə bağlı həll edilmiş suallar və bir neçə tapşırıq daha sonra isə Əvəzləmə 2 ilə bağlı eyni şəkildə suallar yazacağıq.

2 PROBLEMLƏR

Əvəzləmə 1\textbf{Əvəzləmə 1}


1. a,b,ca,b,c müsbət həqiqi ədədlər olmaqla ab+bc+ca+2abc=1ab+bc+ca+2abc=1 şərtini ödəyir. Göstərin ki,

a+b+c32a+b+c\geq\frac{3}{2}

bərabərsizliyi doğrudur. Bərabərlik halı nə vaxt ödənilir?
İsbatı : Əvəzləmə 1’ə əsasən elə müsbət x,y,zx,y,z həqiqi ədədləri tapmaq olar ki,

a=xy+z  ,  b=yz+x  ,  c=zx+ya=\frac{x}{y+z} \; , \; b=\frac{y}{z+x} \; , \; c=\frac{z}{x+y}

ödənilir. Onda bərabərsizlik

xy+z+yz+x+zx+y32\frac{x}{y+z}+\frac{y}{z+x}+\frac{z}{x+y}\geq\frac{3}{2}

şəklinə düşəcəkdir. Bu isə bilinən Nesbitt bərabərsizliyidir və Cauchy-Schwarz bərabərsizliyini tətbiq etməklə əldə olunur :

xy+z+yz+x+zx+y=x2xy+xz+y2yz+yx+x2xy+xz(x+y+z)22(xy+yz+zx)32\frac{x}{y+z}+\frac{y}{z+x}+\frac{z}{x+y}=\frac{x^2}{xy+xz}+\frac{y^2}{yz+yx}+\frac{x^2}{xy+xz}\geq \frac{(x+y+z)^2}{2(xy+yz+zx)} \geq\frac{3}{2}

Sonuncu bərabərsizlik

1/2((xy)2+(yz)2+(zx)2)01/2\cdot ((x-y)^2+(y-z)^2+(z-x)^2 )\geq 0

doğru bərabərsizlik ilə ekvivalentdir. Beləliklə bərabərlik halı x=y=z    a=b=c=1/2x=y=z\implies a=b=c=1/2 olduqda ödənilir. ∎



2. (Gabriel Dospinescu) a,b,ca,b,c müsbət həqiqi ədədlər olmaqla ab+bc+ca+abc=4ab+bc+ca+abc=4 şərtini ödəyir. İsbat edin ki,

3(1a+1b+1c)2(a+2)(b+2)(c+2)3\cdot \bigg(\frac{1}{\sqrt{a}}+\frac{1}{\sqrt{b}}+\frac{1}{\sqrt{c}}\bigg)^2\geq (a+2)(b+2)(c+2)

bərabərsizliyi doğrudur. Bərabərlik halı nə vaxt ödənilir?
İsbatı : Daha əvvəl qeyd etdiyimiz kimi verilmiş şərtə əsasən

a=2xy+z  ,  b=2yz+x  ,  c=2zx+ya=\frac{2x}{y+z} \; , \; b=\frac{2y}{z+x} \; , \; c=\frac{2z}{x+y}

əvəzələməsi aparmaq olar. Bu halda isbat etməli olduğumuz bərabərsizlik

32(x+yz+y+zx+z+xy)28(x+y+z)3(x+y)(y+z)(z+x)\frac{3}{2}\cdot\bigg(\sqrt{\frac{x+y}{z}}+ \sqrt{\frac{y+z}{x}}+\sqrt{\frac{z+x}{y}}\bigg)^2\geq 8\cdot \frac{(x+y+z)^3}{(x+y)(y+z)(z+x)}

şəklinə düşəcəkdir. Sağ tərəfdə kub göründüyünə görə Holder bərabərsizliyini düşünmək olar. Amma soldakı ifadədə vuruqlar tam deyil. 3–cü dərəcədən Holder bərabərsizliyini tətbiq etsək,

x+yzx+yzz(x+y)2(2x+2y+2z)3\sum{\sqrt{\frac{x+y}{z}}}\cdot \sum{\sqrt{\frac{x+y}{z}}}\cdot \sum{z(x+y)^2}\geq (2x+2y+2z)^3

alınar. Beləcə

32(x+yz+y+zx+z+xy)232(2x+2y+2z)36xyz+xy(y+x)\frac{3}{2}\cdot \bigg(\sqrt{\frac{x+y}{z}}+\sqrt{\frac{y+z}{x}}+\sqrt{\frac{z+x}{y}}\bigg)^2\geq \frac{3}{2}\cdot \frac{(2x+2y+2z)^3}{6xyz+\sum{xy(y+x)}}

Holder bərabərsizliyindən alınar doğru bərabərsizlik olacaqdır. Əgər göstərsək ki,

328(x+y+z)36xyz+xy(y+x)8(x+y+z)3(x+y)(y+z)(z+x)\frac{3}{2}\cdot \frac{8(x+y+z)^3}{6xyz+\sum{xy(y+x)}}\geq \frac{8(x+y+z)^3}{(x+y)(y+z)(z+x)}
3(x+y)(y+z)(z+x)2(6xyz+xy(x+y)+yz(y+z)+zx(z+x))\Longleftrightarrow 3\cdot(x+y)(y+z)(z+x)\geq 2\cdot (6xyz+xy(x+y)+yz(y+z)+zx(z+x))
x2y+y2x+z2x+x2z+y2z+z2y6xyz\Longleftrightarrow x^2 y+y^2 x+z^2 x+x^2 z+y^2 z+z^2 y\geq 6xyz

Bu isə Ədədi-Həndəsi orta bərabərsizliyinə görə aşkardır. Beləliklə bərabərlik halı x=y=zx=y=z buradan a=b=c=1a=b=c=1 olduqda ödənilir. ∎



3. a,b,ca,b,c hər hansı müsbət həqiqi ədədlər olsun. İsbat edin ki,

ab+c+bc+a+ca+b+9(a+b)(b+c)(c+a)(a+b+c)3256\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}+\frac{9(a+b)(b+c)(c+a)}{(a+b+c)^3}\geq \frac{25}{6}

bərabərsizliyi doğrudur. Bərabərlik halı nə zaman ödənilir?
İsbat : Bərabərsizliyə diqqətli baxsaq burada Əvəzləmə 1 aparmaq mümkün olduğunu görmək olar. Onda

x=ab+c  ,  y=bc+a  ,  z=ca+bx=\frac{a}{b+c} \; , \; y=\frac{b}{c+a} \; , \; z=\frac{c}{a+b}

əvəzləməsi aparsaq məlumdur ki, xy+yz+zx+2xyz=1xy+yz+zx+2xyz=1 olacaq və isbat etməli olduğumuz bərabərsizlik

x+y+z+9(1+x)(1+y)(1+z)256x+y+z+\frac{9}{(1+x)(1+y)(1+z)}\geq \frac{25}{6}

şəklində olacaqdır. İndi simmetrik ifadələrdə məlum olan aşağıdakı kimi əvəzləmələr edək :

p=x+y+zp=x+y+z
q=xy+yz+zxq=xy+yz+zx
r=xyzr=xyz

Deməli q+2r=1q+2r=1 şərti altında

p+91+p+q+r=p+183+2p+q256p+\frac{9}{1+p+q+r}=p+\frac{18}{3+2p+q}\geq\frac{25}{6}
12p232p+33256pq\Longleftrightarrow \frac{12p^2-32p+33}{25-6p}\geq q

isbat edilməlidir. Onu da qeyd edək ki, əgər 256p025-6p\leq 0 sonuncu bərabərsizlik doğru idi və biz qəbul etdik o ifadənin cavabı müsbətdir buna görə məxrəcə keçirdik. Bilinən Schur bərabərsizliyinə əsasən

p34pq+9r0p^3-4pq+9r\geq 0
p34pq+91q20⟹p^3-4pq+9\cdot\frac{1-q}{2}≥0
2p3+98p+9q\Longleftrightarrow \frac{2p^3+9}{8p+9}\geq q

doğru bərabərsizlikdir. Deməli göstərsək ki,

12p232p+33256p2p3+98p+92(2p3)(3p3+16p213p12)0\frac{12p^2-32p+33}{25-6p}\geq \frac{2p^3+9}{8p+9} \Longleftrightarrow 2\cdot(2p-3)(3p^3+16p^2-13p-12)\geq 0

ödənilir onda isbat tamamlanmış olacaqdır. Bunun üçün isə

q327r2=27(1q)24(q3)2(4q3)0q^3\geq 27r^2=27\cdot\frac{(1-q)^2}{4} \Longleftrightarrow (q-3)^2 (4q-3)\geq 0

Yəni q34q\geq\frac{3}{4} buradan p23q94p32p^2\geq 3q\geq\frac{9}{4}⟹p\geq \frac{3}{2} olduğuna görə 2p302p-3\geq 0

3p3+16p213p12=(3p3+3p212)+(13p213p)>03p^3+16p^2-13p-12=(3p^3+3p^2-12)+(13p^2-13p)>0

doğru bərabərsizliklərindən isbat tamamlanmış olar. Bərabərlik halı isə x=y=z=12x=y=z=\frac{1}{2} buna görə a=b=c=1a=b=c=1 olduqda ödənilir. ∎



4. a,b,ca,b,c müsbət həqiqi ədədlər olmaqla ab+bc+ca+abc=4ab+bc+ca+abc=4 şərtini ödəyir. İsbat edin ki,

aa+2+bb+2+cc+21\frac{\sqrt{a}}{a+2}+\frac{\sqrt{b}}{b+2}+\frac{\sqrt{c}}{c+2}\leq 1

bərabərsizliyi doğrudur. Bərabərlik halını araşdırın.
İsbatı : Əgər x,y,z>0x,y,z>0 olmaqla

a=2xy+z  ,  b=2yz+x  ,  c=2zx+ya=\frac{2x}{y+z} \; , \; b=\frac{2y}{z+x} \; , \; c=\frac{2z}{x+y}

əvəzləmələri aparsaq, onda verilən şərt xy+yz+zx+2xyz=1xy+yz+zx+2xyz=1 və isbat etməli olduğumuz bərabərsizlik

2xy+z2(x+y+z)y+z=12x(y+z)x+y+z1\sum\frac{\sqrt{\frac{2x}{y+z}}}{\frac{2(x+y+z)}{y+z}}=\frac{1}{\sqrt{2}}\cdot\sum\frac{\sqrt{x(y+z)}}{x+y+z} \leq 1

şəklinə düşər. Deməli göstərməliyik ki,

2(x+y+z)x(y+z)+y(z+x)+z(x+y)\sqrt{2}\cdot (x+y+z)\geq \sqrt{x(y+z)}+\sqrt{y(z+x)}+\sqrt{z(x+y)}

doğrudur. Bunun üçün də Ədədi-Həndəsi orta bərabərsizliyindən

(x+x)+(y+z)22x(y+z)(x+x)+(y+z)\geq 2\sqrt{2x(y+z)}
(y+y)+(z+x)22y(z+x)(y+y)+(z+x)\geq 2\sqrt{2y(z+x)}
(z+z)+(x+y)22z(x+y)(z+z)+(x+y)\geq 2\sqrt{2z(x+y)}

yazıb alt-alta toplasaq, sonuncu bərabərsizliyi göstərmiş olarıq. Bərabərlik halı x=y=zx=y=z eləcə də a=b=c=1a=b=c=1 olduqda ödənilir. ∎



5. (JBMO 2002) a,b,c>0a,b,c>0 həqiqi ədədlər olmaqla isbat edin ki,

1b(b+a)+1c(c+b)+1a(a+c)272(a+b+c)2\frac{1}{b(b+a)}+ \frac{1}{c(c+b)}+\frac{1}{a(a+c)}\geq \frac{27}{2(a+b+c)^2}

doğrudur. Bərabərlik halını araşdırın.
İsbatı : Bu sual olduqca köhnə illərə məxsus olsa da göstərəcəyimiz həll üsulu bir yeni ola bilər)). Beləki

a+b+cba+b+cb+a+a+b+cca+b+cc+b+a+b+caa+b+ca+c272\frac{a+b+c}{b}\cdot \frac{a+b+c}{b+a}+\frac{a+b+c}{c}\cdot\frac{a+b+c}{c+b}+\frac{a+b+c}{a}\cdot \frac{a+b+c}{a+c}\geq \frac{27}{2}

kimi yazıb

x=ab+c  ,  y=bc+a  ,  z=ca+bx=\frac{a}{b+c} \; , \; y=\frac{b}{c+a} \; , \; z=\frac{c}{a+b}

əvəzləmələri aparsaq, onda xy+yz+zx+2xyz=1xy+yz+zx+2xyz=1 olmaqla göstərməli olduğumuz bərabərsizlik

(1+1y)(1+z)+(1+1z)(1+x)+(1+1x)(1+y)272\bigg(1+\frac{1}{y}\bigg)(1+z)+\bigg(1+\frac{1}{z}\bigg)(1+x)+\bigg(1+\frac{1}{x}\bigg)(1+y)\geq\frac{27}{2}

olacaqdır. Bundan sonra mötərəziləri açıb sadələşdirmələr etsək,

(x+y+z)+(1x+1y+1z)+(xz+zy+yx)212(x+y+z)+\bigg(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\bigg)+\bigg(\frac{x}{z}+\frac{z}{y}+\frac{y}{x}\bigg)\geq \frac{21}{2}

olar. Sadəlik üçün p=x+y+z  ,  q=xy+yz+zx  ,  r=xyzp=x+y+z \;, \; q=xy+yz+zx \; , \; r=xyz yazsaq şərtimiz q+2r=1q+2r=1 olacaq və

(x+y+z)+(1x+1y+1z)=p+qr(x+y+z)+\bigg(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\bigg)=p+\frac{q}{r}

İndi 1=q+2r3r23+2r1=q+2r\geq 3\sqrt[3]{r^2}+2r olduğuna görə (r=w3r=w^3 əvəzləməklə görmək olar) r18r\leq\frac{1}{8}1=q+2rq+141=q+2r\leq q+\frac{1}{4} şərtindən q34q\geq \frac{3}{4} əldə edilər. Son olaraq Nesbitt bərabərsizliyinə əsasən p32p\geq\frac{3}{2} olduğundan

(x+y+z)+(1x+1y+1z)+(xz+zy+yx)=p+q/r+(x/z+z/y+y/x)32+34:18+3=32+6+3=212(x+y+z)+\bigg(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\bigg)+\bigg(\frac{x}{z}+\frac{z}{y}+\frac{y}{x}\bigg)=p+q/r+(x/z+z/y+y/x) \geq \frac{3}{2}+\frac{3}{4}:\frac{1}{8}+3=\frac{3}{2}+6+3=\frac{21}{2}

isbat etməli olduğumuz bərabərsizlik olar. Bərabərlik halı x=y=z=12x=y=z=\frac{1}{2} eləcə də a=b=c=1a=b=c=1 olduqda ödənilir.∎



6. a,b,c>0a,b,c>0 həqiqi ədədləri

ab+c+bc+a+ca+b=2\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}=2

şərtini ödəyir. İsbat edin ki,

a+b+cmax{a,b,c}53\frac{a+b+c}{\max\{a,b,c\}}\geq \frac{5}{3}

bərabərsizliyi doğrudur.
İsbatı : Əvvəlcə

x=ab+c  ,  y=bc+a  ,  z=ca+bx=\frac{a}{b+c} \; ,\; y=\frac{b}{c+a} \; , \;z=\frac{c}{a+b}

əvəzləyək onda x+y+z=2x+y+z=2 olmaqla bildiyimiz xy+yz+zx+2xyz=1xy+yz+zx+2xyz=1 eyniliyi alınacaqdır. İndi tutaq ki, max{a,b,c}=a\max\{a,b,c\}=a–dır onda aba\geq b,cc olacaq və aydındır ki, 2>x2>x-dir. Bundan sonra

a+b+cmax{a,b,c}=1+b+ca=1+1x53x32\frac{a+b+c}{\max\{a,b,c\}}=1+\frac{b+c}{a}=1+\frac{1}{x}\geq\frac{5}{3}\Longleftrightarrow x\leq\frac{3}{2}

göstərməliyik. Yuxarıdakı tənliklərdən

y+z=2xy+z=2-x
x(y+z)+yz(2x+1)=1x(y+z)+yz(2x+1)=1

yazsaq aydın olur ki,

y+z=2xy+z=2-x
yz=(x1)22x+1yz=\frac{(x-1)^2}{2x+1}

olacaqdır. Son olaraq bilinən (y+z)24yz(y+z)^2\geq 4yz bərabərsizliyini x-dən asılı ifadə etsək,

(2x)24(x1)22x+1x(2x3)(x4)0(2-x)^2\geq 4\cdot \frac{(x-1)^2}{2x+1} \Longleftrightarrow x(2x-3)(x-4)\geq 0

əldə edilər. Buradan da görürük ki, x32x\leq\frac{3}{2} olmalıdır.∎




7. x,y,zx,y,z müsbət həqiqi ədədlər olmaqla xy+yz+zx+xyz=4xy+yz+zx+xyz=4 şərtini ödəyir. İsbat edin ki,

x+2+y+2+z+233\sqrt{x+2}+\sqrt{y+2}+\sqrt{z+2}\geq 3\sqrt{3}

bərabərsizliyi doğrudur. Bərabərlik halı nə vaxt ödənilir?
İsbat : Verilmiş şərtə əsasən aşağıdakı əvəzləməni aparmaq olar :

x=2ab+c  ,  y=2bc+a  ,  z=2ca+bx=\frac{2a}{b+c} \; , \; y=\frac{2b}{c+a} \; , \; z=\frac{2c}{a+b}

Onda bərabərsizliyimiz

2(a+b+c)(1a+b+1b+c+1c+a)33\sqrt{2(a+b+c)}\cdot \bigg(\frac{1}{\sqrt{a+b}}+\frac{1}{\sqrt{b+c}}+\frac{1}{\sqrt{c+a}}\bigg)\geq 3\sqrt{3}

şəklinə düşəcəkdir. Bundan sonra f(t)=1tf(t)=\frac{1}{\sqrt{t}} funksiyası (0,+)(0,+\infty) aralığında konveks olduğuna görə Jensen bərabərsizliyindən

f(a+b)+f(b+c)+f(c+a)3f(2(a+b+c)3)\frac{f(a+b)+f(b+c)+f(c+a)}{3}\geq f\bigg(\frac{2(a+b+c)}{3}\bigg)

yazsaq,

1a+b+1b+c+1c+a332(a+b+c)\frac{1}{\sqrt{a+b}}+\frac{1}{\sqrt{b+c}}+\frac{1}{\sqrt{c+a}}\geq \frac{3\sqrt{3}}{\sqrt{2(a+b+c)}}

elə tələb olunan bərabərsizlik əldə edilər. Bərabərlik halı a=b=ca=b=c buna görə də x=y=z=1x=y=z=1 olduqda ödənilir.∎



8. x,y,zx,y,z müsbət həqiqi ədədlər olmaqla tənliklər sistemini həll edin :

{x+y+z=1(1+1x)(1+1y)(1+1z)=64\begin{cases} x+y+z=1 \\ \big(1+\frac{1}{x}\big)\big(1+\frac{1}{y}\big)\big(1+\frac{1}{z}\big)=64 \end{cases}


Həlli : İddia edirik ki, x+y+z=1x+y+z=1 olduqda

(1+1x)(1+1y)(1+1z)64\big(1+\frac{1}{x}\big)\big(1+\frac{1}{y}\big)\big(1+\frac{1}{z}\big)\geq 64

doğrudur və buna görə bərabərlik halı sistemimizin həlli olacaqdır. Bunun üçün

(1+1x)(1+1y)(1+1z)=(2+y+zx)(2+z+xy)(2+x+yz)(1+\frac{1}{x})(1+\frac{1}{y})(1+\frac{1}{z})=\bigg(2+\frac{y+z}{x}\bigg)\bigg(2+\frac{z+x}{y}\bigg)\bigg(2+\frac{x+y}{z}\bigg)

yazaq. İndi

a=xy+z  ,  b=yz+x  ,  c=zx+ya=\frac{x}{y+z} \; ,\; b=\frac{y}{z+x}\; , \; c=\frac{z}{x+y}

əvəzləməsini aparsaq onda göstərməliyik ki, ab+bc+ca+2abc=1ab+bc+ca+2abc=1 şərti altında

(2+1a)(2+1b)(2+1c)64(2a+1)(2b+1)(2c+1)64abc\big(2+\frac{1}{a}\big)\big(2+\frac{1}{b}\big)\big(2+\frac{1}{c}\big)\geq 64 \Longleftrightarrow (2a+1)(2b+1)(2c+1)\geq 64abc

doğrudur. Yenidən

p=a+b+c  ,  q=ab+bc+ca  ,  r=abcp=a+b+c \; , \; q=ab+bc+ca \; , \; r=abc

adlandırsaq q+2r=1q+2r=1 olmaqla 4q+2p+8r+164r4q+2p+8r+1≥64r isbatlanmalıdır. Bu isə q+2r=1q+2r=1 nəzərə aldıqda 2p+564r2p+5\geq 64r şəklinə düşəcəkdir. Bundan sonra

2p+56r3+564r2p+5\geq 6\sqrt[3]{r}+5\geq 64r

yazsaq, r=w3r=w^3 əvəzləməklə görərik ki, sonuncu bərabərsizliyin sağ tərəfi

6w+564w3(12w)(32w2+16w+5)06w+5\geq 64w^3 \Longleftrightarrow (1-2w)(32w^2+16w+5)\geq 0

olacaq bu isə doğrudur çünki 5-ci problemdə göstərdik ki, r1/8r\leq 1/8 (yəni w1/2w\leq 1/2 ) ödənilir. Beləliklə bərabərlik halı a=b=ca=b=c və buna görə də x=y=z=1/3x=y=z=1/3 olduqda mümkündür. Tənliklər sisteminin yeganə həlli (x,y,z)=(1/3,1/3,1/3)(x,y,z)=(1/3,1/3,1/3)-dir. ∎



9. Tənliyi müsbət həqiqi ədədlər çoxluğunda həll edin :

9(x+y)(y+z)(z+x)=8(x+y+z)(xy+yz+zx)9(x+y)(y+z)(z+x)=8(x+y+z)(xy+yz+zx)

Həlli : Göstərəcəyik ki, əslində sol tərəf sağ tərəfdən kiçik deyil. Bunun üçün hər tərəfi xyzxyz-ə bölüb qruplaşdırsaq,

9x+yzy+zxz+xy=8(x+y+z)(1x+1y+1z)=8(3+x+yz+y+zx+z+xy)9\cdot \frac{x+y}{z}\cdot \frac{y+z}{x}\cdot \frac{z+x}{y}=8\cdot (x+y+z)\cdot\big(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\big)=8\cdot\bigg(3+\frac{x+y}{z}+\frac{y+z}{x}+\frac{z+x}{y}\bigg)

İndi bildiyimiz

a=xy+z  ,  b=yz+x  ,  c=zx+ya=\frac{x}{y+z} \; , \; b=\frac{y}{z+x} \; , \; c=\frac{z}{x+y}

əvəzləməsi etsək, ab+bc+ca+2abc=1ab+bc+ca+2abc=1 olmaqla

9abc=8(3+1a+1b+1c)=8(3+12abcabc)=8(1+1abc)\frac{9}{abc}=8\cdot\big(3+\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\big)=8\cdot\big(3+\frac{1-2abc}{abc}\big)=8\cdot\big(1+\frac{1}{abc}\big)

Lakin biz Problem 5 də göstərdik ki, abc18abc\leq \frac{1}{8} olmalıdır sonuncu tənlikdə isə bərabərlik halı ödənilir. Deməli a=b=c=12a=b=c=\frac{1}{2} və buna görə x=y=zx=y=z olmalıdır. Tənliyin həlləri rR+r\in\mathbb{R^+} olmaqla (r,r,r)(r,r,r) şəklindədir.∎



10. x,y,z>0x,y,z>0 həqiqi ədədlər olmaqla isbat edin ki,

(xy+z+yz+x)(zx+y+xy+z)(yz+x+zx+y)1\bigg(\frac{x}{y+z}+\frac{y}{z+x}\bigg)\bigg(\frac{z}{x+y}+\frac{x}{y+z}\bigg)\bigg(\frac{y}{z+x}+\frac{z}{x+y}\bigg)\geq 1

bərabərsizliyi doğrudur. Bərabərlik halı nə vaxt ödənilir?
İsbatı : Bildiyimiz əvəzləmələri aparaq :

a=xy+z  ,  b=yz+x  ,  c=zx+ya=\frac{x}{y+z} \; , \; b=\frac{y}{z+x} \; , \; c=\frac{z}{x+y}

onda ab+bc+ca+2abc=1ab+bc+ca+2abc=1 olmaqla bərabərsizliyimiz

(a+b)(b+c)(c+a)1(a+b)(b+c)(c+a)\geq 1

olacaqdır. İndi simmetriya müşahidə etdiyimiz üçün p=a+b+cp=a+b+c , q=ab+bc+caq=ab+bc+car=abcr=abc daxil edək. Deməli q+2r=1q+2r=1 şərti altında pqr1pq-r\geq 1 vəya r=(1q)/2r=(1-q)/2 nəzərə alsaq, q3/(2p+1)q\geq 3/(2p+1) olduğunu göstərməliyik. İndi bilinən pq9rpq\geq 9r bərabərsizliyindən görünür ki,

q9rp=9p1q2q92p+9q\geq \frac{9r}{p}=\frac{9}{p}\cdot \frac{1-q}{2}\Longleftrightarrow q\geq \frac{9}{2p+9}

yazmaq olar. Bundan sonra

92p+932p+1p32\frac{9}{2p+9}\geq \frac{3}{2p+1} \Longleftrightarrow p\geq \frac{3}{2}

Nesbitt bərabərsizliyidir! Bərabərlik halı a=b=c=1/2a=b=c=1/2 eləcə də x=y=zx=y=z olduqda ödənilir. ∎


ƏLAVƏ ÇALIŞMALAR
1. x,y,z>0x,y,z>0 olmaqla x+y+z+2=xyzx+y+z+2=xyz şərti ödənilir. İsbat edin ki,

xy+yz+zx2(x+y+z)xy+yz+zx≥2(x+y+z)

bərabərsizliyi doğrudur. Bərabərlik halını araşdırın.


2. İsbat edin ki, istənilən a,b,ca,b,c müsbət həqiqi ədədləri üçün

ab+c+bc+a+ca+b+81(a+b)(b+c)(c+a)16(a+b+c)33\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}+\frac{81(a+b)(b+c)(c+a)}{16(a+b+c)^3}\geq 3




Əvəzləmə 2\textbf{Əvəzləmə 2}



1. x,y,zx,y,z müsbət həqiqi ədədlər olmaqla xyz=x+y+z+2xyz=x+y+z+2 şərti ödənilir. İsbat edin ki,

x+y+z3xyz2\sqrt{x}+\sqrt{y}+\sqrt{z}\leq \frac{3\sqrt{xyz}}{2}

bərabərsizliyi doğrudur. Bərabərlik halı nə vaxt ödənilir?
İsbatı : Verilən şərtdən aydındır ki, Əvəzləmə 2 tətbiq etmək mümkündür. Beləki

x=b+ca  ,  y=c+ab  ,  z=a+bcx=\frac{b+c}{a} \; , \; y=\frac{c+a}{b} \; , \; z=\frac{a+b}{c}

desək, isbatlamamız tələb olunan bərabərsizlik

b+ca+c+ab+a+bc32(a+b)(b+c)(c+a)abc\sqrt{\frac{b+c}{a}}+\sqrt{\frac{c+a}{b}}+ \sqrt{\frac{a+b}{c}}\leq \frac{3}{2}\cdot\sqrt{\frac{(a+b)(b+c)(c+a)}{abc}}

olar. Buradan

bc(a+c)(a+b)+ca(b+c)(b+a)+ab(c+a)(c+b)32\sqrt{\frac{bc}{(a+c)(a+b)}}+\sqrt{\frac{ca}{(b+c)(b+a)}}+\sqrt{\frac{ab}{(c+a)(c+b)}}\leq \frac{3}{2}

yazıb aşağıdakı kimi Ədədi-Həndəsi orta bərabərsizliyi tətbiq edək :

bc(a+c)(a+b)12(ba+b+cc+a)\sqrt{\frac{bc}{(a+c)(a+b)}}\leq \frac{1}{2}\cdot\bigg( \frac{b}{a+b}+\frac{c}{c+a}\bigg)
ca(b+c)(b+a)12(cb+c+ab+a)\sqrt{\frac{ca}{(b+c)(b+a)}}\leq \frac{1}{2}\cdot\bigg( \frac{c}{b+c}+\frac{a}{b+a}\bigg)
ab(a+c)(c+b)12(aa+c+bc+b)\sqrt{\frac{ab}{(a+c)(c+b)}}\leq \frac{1}{2}\cdot\bigg( \frac{a}{a+c}+\frac{b}{c+b}\bigg)

Son olaraq bunları alt-alta toplasaq isbat tamamlanmış olar. Bərabərlik halı a=b=ca=b=c buna görə də x=y=z=2x=y=z=2 olduqda ödənilir.∎



2. x,y,zx,y,z müsbət həqiqi ədədlər olmaqla xy+yz+zx+xyz=4xy+yz+zx+xyz=4 şərti ödənilir. İsbat edin ki,

3(x2+y2+z2)+xyz103(x^2+y^2+z^2 )+xyz\geq 10

doğrudur.
İsbatı : Əvvəlcə x=2a  ,  y=2b  ,  z=2cx=\frac{2}{a} \; , \; y=\frac{2}{b} \; , \; z=\frac{2}{c} əvəzləməsi aparaq. Onda verilmiş eynilik şərti abc=a+b+c+2abc=a+b+c+2 və isbat etməmiz lazım olan bərabərsizlik

61a2+4abc56\cdot \sum\frac{1}{a^2}+\frac{4}{abc}\geq 5

şəklində olacaqdır. İndi sadəlik üçün p=a+b+cp=a+b+c , q=ab+bc+caq=ab+bc+ca , r=abcr=abc dəyişənləri daxil edək. Bu halda r=p+2r=p+2 olmaqla

6q22prr2+4r5q217r228r66\cdot\frac{q^2-2pr}{r^2} +\frac{4}{r}\geq 5 \Longleftrightarrow q^2\geq \frac{17r^2-28r}{6}

isbatlanmalıdır. Son olaraq bilinən q23pr=3r(r2)q^2\geq 3pr=3r(r-2) istifadə etsək,

3r(r2)17r228r6r83r(r-2)\geq\frac{17r^2-28r}{6} \Longleftrightarrow r\geq 8

İlk başda isbatladığımız bərabərsizliyi almış olarıq. Bərabərlik halı a=b=c=2a=b=c=2 eləcə də x=y=z=1x=y=z=1 olduqda ödənilir. Qeyd edək ki, burada Əvəzləmə 2 üçün fürsət alsaqda fikrimizi daha kompakt ifadə etmək üçün pqrp-q-r simvollarından istifadə etdik. ∎



3. x,y,zx,y,z müsbət həqiqi ədədlər olsun. İsbat edin ki,

y+zx+z+xy+x+yz4(xy+z+yz+x+zx+y)\frac{y+z}{x}+\frac{z+x}{y}+\frac{x+y}{z}\geq 4\cdot \bigg(\frac{x}{y+z}+\frac{y}{z+x}+\frac{z}{x+y}\bigg)

bərabərsizliyi doğrudur.
İsbatı : Əvəzləmə 2'ni tətbiq etməyə çalışaq. Beləki

a=y+zx  ,  b=z+xy  ,  c=x+yza=\frac{y+z}{x} \; , \; b=\frac{z+x}{y} \; , \; c=\frac{x+y}{z}

adlandırsaq müşahidə edirik ki, abc=a+b+c+2abc=a+b+c+2 şərti verilib və göstərməliyik ki,

a+b+c4(1a+1b+1c)a+b+c\geq 4\cdot\bigg(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\bigg)

doğrudur. Daha əvvəlki kimi pqrp-q-r simvollarını daxil etsək, r=p+2r=p+2 olmaqla

p4qrp(p+2)4qp\geq 4\cdot\frac{q}{r} \Longleftrightarrow p(p+2)\geq 4q

olduğu isbatlanmalıdır. Schur bərabərsizliyinə əsasən

p3+9rp=p3+9(p+2)p4q\frac{p^3+9r}{p}=\frac{p^3+9(p+2)}{p}\geq 4q

doğrudur. Deməli

p(p+2)p3+9(p+2)p(2p+3)(p6)0p(p+2)\geq \frac{p^3+9(p+2)}{p} \Longleftrightarrow (2p+3)(p-6)\geq 0

göstərilsə isbat tamamlanacaqdır. Bu isə doğrudur! Bərabərlik halı a=b=c=2a=b=c=2 eləcə də x=y=zx=y=z olduqda ödənilir. ∎



4. a,b,ca,b,c müsbət həqiqi ədədlər olmaqla isbat edin ki,

ab(a+b)+(bc(b+c)+ca(c+a)10abc+(a+b)(b+c)(c+a)\sqrt{ab(a+b)}+\sqrt{(bc(b+c)}+\sqrt{ca(c+a)}\geq \sqrt{10abc+(a+b)(b+c)(c+a)}

bərabərsizliyi doğrudur. Bərabərlik halı nə vaxt ödənilir?
İsbatı : Bərabərsizliyin hər iki tərəfini abc\sqrt{abc} –yə bölüb aşağıdakı kimi qruplaşdıraq :

a+bc+b+ca+c+ab10+(a+b)(b+c)(c+a)abc\sqrt{\frac{a+b}{c}}+\sqrt{\frac{b+c}{a}}+\sqrt{\frac{c+a}{b}}\geq \sqrt{10+\frac{(a+b)(b+c)(c+a)}{abc}}

Bundan sonra

x=c+ba  ,  y=a+cb  ,  z=a+bcx=\frac{c+b}{a} \; , \; y=\frac{a+c}{b} \; , \; z=\frac{a+b}{c}

əvəzləməsini aparsaq, xyz=x+y+z+2xyz=x+y+z+2 şərtimiz olmaqla isbat etməli olduğumuz bərabərsizlik

x+y+z10+xyz\sqrt{x}+\sqrt{y}+\sqrt{z}\geq \sqrt{10+xyz}

şəklində olacaqdır. Hər iki tərəfi kvadrata yüksəldib şərti nəzərə alsaq,

x+y+z+2(xy+yz+zx)10+xyz=12+x+y+zx+y+z+2(\sqrt{xy}+\sqrt{yz}+\sqrt{zx})\geq 10+xyz=12+x+y+z
xy+yz+zx6\Longrightarrow \sqrt{xy}+\sqrt{yz}+\sqrt{zx}\geq 6

olar. Bu isə xyz8xyz\geq 8 olduğuna görə Ədədi-Həndəsi orta bərabərsizliyinə əsasən doğrudur. Bərabərlik halı x=y=z=2x=y=z=2 eləcə də a=b=ca=b=c olduqda ödənilir.∎



5. (IMO 2000 ) u,v,wu,v,w müsbət həqiqi ədədlər olmaqla uvw=1uvw=1 şərtini ödəyir. İsbat edin ki,

(u1+1v)(v1+1w)(w1+1u)1\bigg(u-1+\frac{1}{v}\bigg)\bigg(v-1+\frac{1}{w}\bigg)\bigg(w-1+\frac{1}{u}\bigg)\leq 1

bərabərsizliyi doğrudur.
İsbatı : uvw=1uvw=1 şərtinə əsasən u=x/yu=x/y , v=y/zv=y/z , w=z/xw=z/x əvəzləmək olar. Onda bərabərsizlik

(y+zx1)(x+zy1)(x+yz1)1\bigg(\frac{y+z}{x}-1\bigg)\bigg(\frac{x+z}{y}-1\bigg)\bigg(\frac{x+y}{z}-1)\leq 1

şəklinə düşəcəkdir. İndi

y+zx1=A  ,  x+zy1=B  ,  x+yz1=C\frac{y+z}{x}-1=A \; , \; \frac{x+z}{y}-1=B \; , \; \frac{x+y}{z}-1=C

adlandıraq. Deməli A+1  ,  B+1  ,  C+1A+1 \;, \;B+1 \;,\; C+1 ifadələri Əvəzləmə 2’nin şərtini ödəyir :

(A+1)(B+1)(C+1)=(A+1)+(B+1)+(C+1)+2(A+1)(B+1)(C+1)=(A+1)+(B+1)+(C+1)+2

vəya mötərizələri açıb sadələşdirsək, AB+BC+CA+ABC=4AB+BC+CA+ABC=4 şərtimiz olmaqla ABC1ABC\leq 1 bərabərsizliyinin doğru olduğunu göstərməli olduğumuzu müşahidə edərik. Bu isə doğrudur çünki,

4=AB+BC+CA+ABCABC+3(ABC)23=T3+3T24=AB+BC+CA+ABC\geq ABC+3\cdot \sqrt[3]{(ABC)^2}=T^3+3T^2
0(T1)(T+2)2\Longleftrightarrow 0\geq (T-1)\cdot(T+2)^2

burada ABC=T31ABC=T^3\leq 1 əldə etmiş olarıq. Bərabərlik halı A=B=CA=B=C eləcə də u=v=w=1u=v=w=1 olduqda ödənilir. ∎

Paylaş:XFacebookTelegramWhatsApp