Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
Áp dụng bất đẳng thức Bunhiacopxki, ta có : \(1=\left(x.\sqrt{1-y^2}+y.\sqrt{1-x^2}\right)^2\le\left(x^2+y^2\right)\left(1-y^2+1-x^2\right)\)
\(\Rightarrow\left(x^2+y^2\right)\left(2-x^2-y^2\right)\ge1\Leftrightarrow\left(x^2+y^2\right)-2\left(x^2+y^2\right)+1\le0\Leftrightarrow\left(x^2+y^2-1\right)^2\le0\)
\(\Rightarrow\left(x^2+y^2-1\right)^2=0\)\(\Leftrightarrow x^2+y^2=1\)
Giả sử tồn tại x, y, z, t thỏa mãn.
Ta chứng minh bổ đề: Cho \(a,b\in\mathbb{Z}\). Khi đó \(a^2+b^2\vdots 3\Leftrightarrow a,b\vdots 3\).
Thật vậy, ta thấy nếu \(a,b\vdots 3\Rightarrow a^2+b^2\vdots 3\).
Nếu \(a^2+b^2\vdots 3\): Do \(a^2,b^2\equiv0;1\left(mod3\right)\) nên ta phải có \(a^2,b^2\equiv0\left(mod3\right)\Rightarrow a,b⋮3\).
Bổ đề dc cm.
Trở lại bài toán: Ta có 2019 chia hết cho 3 nên \(x^2+y^2⋮3\Rightarrow x,y⋮3\Rightarrow x^2+y^2⋮9\).
Mà 2019 không chia hết cho 9 nên \(z^2+t^2⋮3\Leftrightarrow z,t⋮3\).
Đặt x = 3x', y = 3y', z = 3z', t = 3t'.
Ta có \(2019=\dfrac{x^2+y^2}{z^2+t^2}=\dfrac{x'^2+y'^2}{z'^2+t'^2}\).
Cmtt, ta có \(x',y',z',t'⋮3\).
Lặp lại nhiều lần như vậy, ta có \(x,y,z,t⋮3^k\forall k\in N\).
Do đó x = y = z = t = 0 (vô lí).
Vậy không tồn tại...
Do \(2x^2-1\) luôn lẻ \(\Rightarrow y^3\) lẻ \(\Rightarrow y\) lẻ \(\Rightarrow y=2k-1\) với \(k>1\)
\(2x^2-1=\left(2k-1\right)^3=8k^3-12k^2+6k-1\)
\(\Rightarrow x^2=4k^3-6k^2+3k=k\left(4k^2-6k+3\right)\)
- Nếu \(k⋮3\Rightarrow x^2⋮3\Rightarrow x⋮3\)
- Nếu \(k⋮̸3\), gọi \(d=ƯC\left(4k^2-6k+3;k\right)\) với \(d\ne3\)
\(\Rightarrow4k^2-6k+3-k\left(4k-6\right)⋮d\)
\(\Rightarrow3⋮d\Rightarrow d=1\)
\(\Rightarrow4k^2-6k+3\) và \(k\) nguyên tố cùng nhau
Mà \(k\left(4k^2-6k+3\right)=x^2\Rightarrow\left\{{}\begin{matrix}k^2=m^2\\4k^2-6k+3=n^2\end{matrix}\right.\)
Xét \(4k^2-6k+3=n^2\Rightarrow16k^2-24k+12=\left(2n\right)^2\)
\(\Rightarrow\left(4k-3\right)^2+3=\left(2n\right)^2\)
\(\Rightarrow\left(2n-4k+3\right)\left(2n+4k-3\right)=3\)
Giải pt ước số cơ bản này ta được nghiệm nguyên dương duy nhất \(k=1\) (không thỏa mãn \(k>1\))
Vậy \(x⋮3\)
â
vs điều kiện