Nếu x; y; z là các số nguyên dương mà x y z = 1 => x = y = z = 1

=> bất đẳng thức luôn xảy ra dấu bằng

Sửa đề 1 chút cho z; y; x là các số dương

Ta có: \(\frac{x^2}{y+1}+\frac{y+1}{4}\ge2\sqrt{\frac{x^2}{y+1}.\frac{y+1}{4}}=x\)

=> \(\frac{x^2}{y+1}\ge x-\frac{y+1}{4}\)

Tương tự: 

\(\frac{x^2}{y+1}+\frac{y^2}{z+1}+\frac{z^2}{z+1}\ge x+y+z-\frac{y+1}{4}-\frac{z+1}{4}-\frac{x+1}{4}\)

\(=\frac{3}{4}\left(x+y+z\right)-\frac{3}{4}\ge\frac{3}{4}.3\sqrt[3]{xyz}-\frac{3}{4}=\frac{3}{2}\)

Dấu "=" xảy ra <=> x = y = z = 1

Ta có: \(40=5.8,\left(5,8\right)=1\)nên ta sẽ chứng minh \(\left(x^2-y^2\right)⋮8\)và \(\left(x^2-y^2\right)⋮5\).

Giả thiết tương đương với: \(3x^2-2y^2=1\).

- Chứng minh \(\left(x^2-y^2\right)⋮8\).

Dễ thấy \(x\)lẻ nên \(x=2k+1\Rightarrow x^2=4k^2+4k+1=4k\left(k+1\right)+1\equiv1\left(mod8\right)\).

Do đó \(3x^2\equiv3\left(mod8\right)\Leftrightarrow2y^2+1\equiv3\left(mod8\right)\Leftrightarrow y^2\equiv1\left(mod8\right)\).

\(\Rightarrow x^2-y^2⋮8\).

- Chứng minh \(\left(x^2-y^2\right)⋮5\).

Số chính phương khi chia cho \(5\)dư \(0,1,4\)do đó: \(3x^2\equiv0,3,2\left(mod5\right)\), \(2y^2\equiv0,2,3\left(mod5\right)\).

Để \(3x^2-2y^2=1\equiv1\left(mod5\right)\)thì \(3x^2\equiv3\left(mod5\right),2y^2\equiv2\left(mod5\right)\)

 khi đó \(x^2\equiv1\left(mod5\right),y^2\equiv1\left(mod5\right)\Rightarrow x^2-y^2⋮5\).

Từ đây ta có đpcm. 

anh cho em kết bạn với anh để có thể hỏi cho dễ được không anh,trước giờ anh giúp em nhiều qúa mà em cũng không biết cảm ơn thế nào

p=a^2+b^2 (1)

p là số nguyên tố, p-5 chia hết 8 => p lẻ >=13  và a,b có 1 chẵn 1 lẻ

A=a.x^2-b.y^2 chia hết cho p, nên có thể viết  A = p(c.x^2 -d.y^2) với c,d phải nguyên

và c.p = a và d.p = b

thay (1) vào ta thấy c=a/(a^2+b^2) cần nguyên là vô lý vậy A muốn chia hết cho p <=> x và y cùng là bội số của p 

Đặt \(p=8k+5\left(đk:K\in N\right)\)

Vì: \(\left(ax^2\right)^{4k+2}-\left(by^2\right)^{4k+2}⋮\left(ax^2-by^2\right)\)

\(\Rightarrow a^{4k+2}.x^{8k+4}-b^{4k+2}.y^{8k+4}⋮p\)

Mà \(a^{4k+2}.x^{8k+4}-b^{4k+2}.y^{8k+4}\)\(=\left(a^{4k+2}+b^{4k+2}\right).x^{8k+4}-b^{4k+2}\)\(\left(x^{8k+4}+y^{8k+4}\right)\)

Ta lại có: \(a^{4k+2}+b^{4k+2}=\left(a^2\right)^{2k+1}+\left(b^2\right)^{2k+1}⋮p\) ; p<d nên \(x^{8k+4}+y^{8k+4}⋮p\)

Làm tiếp đi 

IQ vô cực

Áp dụng BĐT Cauchy cho 3 số dương, ta được:

\(\frac{1}{x\left(x+1\right)}+\frac{x}{2}+\frac{x+1}{4}\ge\sqrt[3]{\frac{1}{x\left(x+1\right)}.\frac{x}{2}.\frac{x+1}{4}}=3.\sqrt{\frac{1}{4}}=\frac{3}{2}\)

\(\frac{1}{y\left(y+1\right)}+\frac{y}{2}+\frac{y+1}{4}\ge\sqrt[3]{\frac{1}{y\left(y+1\right)}.\frac{y}{2}.\frac{y+1}{4}}=3.\sqrt{\frac{1}{4}}=\frac{3}{2}\)

\(\frac{1}{z\left(z+1\right)}+\frac{z}{2}+\frac{z+1}{4}\ge\sqrt[3]{\frac{1}{z\left(z+1\right)}.\frac{z}{2}.\frac{z+1}{4}}=3.\sqrt{\frac{1}{4}}=\frac{3}{2}\)

\(\Rightarrow\frac{1}{x\left(x+1\right)}+\frac{x}{2}+\frac{x+1}{4}\)\(+\frac{1}{y\left(y+1\right)}+\frac{y}{2}+\frac{y+1}{4}\)

\(+\frac{1}{z\left(z+1\right)}+\frac{z}{2}+\frac{z+1}{4}\ge\frac{3}{2}.3=\frac{9}{2}\)

\(\Leftrightarrow\frac{1}{x^2+x}+\frac{1}{y^2+y}+\frac{1}{z^2+z}+\frac{x+y+z}{2}+\frac{x+y+z+3}{4}\ge\frac{9}{2}\)

\(\Leftrightarrow\frac{1}{x^2+x}+\frac{1}{y^2+y}+\frac{1}{z^2+z}+\frac{3}{2}+\frac{3}{2}\ge\frac{9}{2}\)

\(\Leftrightarrow\frac{1}{x^2+x}+\frac{1}{y^2+y}+\frac{1}{z^2+z}\ge\frac{3}{2}\left(đpcm\right)\)

\(x^4y+x^2y-x^2y=x^2y\left(x^2+1\right)-x^2y.\)

\(\hept{\begin{cases}\frac{x^2y\left(x^2+1\right)-x^2y}{\left(x^2+1\right)}=x^2y-\frac{x^2y}{\left(x^2+1\right)}\\\frac{y^2z\left(y^2+1\right)-y^2z}{\left(y^2+1\right)}=y^2z-\frac{y^2z}{\left(y^2+1\right)}\\\frac{z^2x\left(z^2+1\right)-z^2x}{\left(z^2+1\right)}=z^2x-\frac{z^2x}{\left(z^2+1\right)}\end{cases}}Vt\ge x^2y+y^2z+z^2x-\left(\frac{x^2y}{x^2+1}+\frac{y^2z}{y^2+1}+\frac{z^2x}{z^2+1}\right)\)

\(\hept{\begin{cases}x^2+1\ge2x\\y^2+1\ge2y\\z^2+1\ge2z\end{cases}\Leftrightarrow\hept{\begin{cases}-\frac{x^2y}{x^2+1}\ge\frac{x^2y}{2x}=\frac{xy}{2}\\\frac{y^2z}{2y}=\frac{yz}{2}\\\frac{z^2x}{2z}=\frac{xz}{2}\end{cases}\Leftrightarrow}VT\ge x^2y+y^2z+z^2x-\left(\frac{xy+yz+zx}{2}\right)}\)

\(x^2y+y^2z+z^2x\ge3\sqrt[3]{x^3y^3z^3}=3\)

\(VT\ge3-\frac{\left(xy+yz+zx\right)}{2}\)

t chỉ làm dc đến đây thôi :))

Từ \(VT\ge x^2y+y^2z+z^2x-\left(\frac{xy+yz+zx}{2}\right)\)ta có:

\(x^2y+x^2y+y^2z=x^2y+x^2y+\frac{y}{x}\ge3xy\)(áp dụng BĐT Cauchy)

Tương tự : \(y^2z+y^2z+z^2x\ge3yz\);   \(z^2x+z^2x+x^2y\ge3zx\)

Cộng vế theo vế suy ra : \(3\left(x^2y+y^2z+z^2x\right)\ge3\left(xy+yz+zx\right)\)

\(\Leftrightarrow x^2y+y^2z+z^2x\ge xy+yz+zx\)

\(\Leftrightarrow VT\ge\frac{xy+yz+zx}{2}\ge\frac{3\sqrt[3]{x^2y^2z^2}}{2}=\frac{3}{2}\)

Dấu '=' xảy ra khi x = y = z = 1

Do xyz=1. nên bđt cần chứng minh tường đương với

\(\frac{x^4}{x^3z+xz}+\frac{y^4}{y^3x+xy}+\frac{z^4}{z^3y+zy}\ge\frac{3}{2}\)

Theo BĐT Bunhiacopsky ta có:

\(\frac{x^4}{x^3z+xz}+\frac{y^4}{y^3x+xy}+\frac{z^4}{z^3y+zy}\ge\frac{\left(x^2+y^2+z^2\right)^2}{x^3z+xz+y^3x+xy+z^3y+zy}\)

Do vậy ta cần cm

\(\frac{\left(x^2+y^2+z^2\right)^2}{x^3z+xz+y^3x+xy+z^3y+zy}\ge\frac{3}{2}\)

\(\Leftrightarrow2\left(x^4+y^4+z^4\right)+4\left(x^2y^2+y^2z^2+z^2x^2\right)\ge3\left(x^3z+y^3x+z^3y\right)+3\left(xy+yz+xz\right)\)

BĐT trên là tổng của 3 BĐT sau:

\(1,x^2y^2+y^2z^2+z^2x^2\ge xy+yz+xz\)

\(2,x^4+y^4+z^4\ge x^3z+y^3x+z^3y\)

\(3,x^4+y^4+z^4+x^2y^2+y^2z^2+z^2x^2\ge2\left(x^3z+y^3x+z^3y\right)\)

ta có bđt trên tương đương với

\(x^2\left(x-z\right)^2+y^2\left(y-x\right)^2+z^2\left(z-y\right)^2\ge0\)

Nhân 3 ở bđt đầu tiên rồi cộng vế theo vế các bđt ở dưới ta có đpcm

dấu "=" xảy ra khi x=y=z=1