â

vs điều kiện

sao vậy

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\)

60 = 3.4.5 

Ta cần c/m xyz chia hết cho 3; 4 và 5. 

Xét x² + y² = z² 
 

* Giả sử cả x; y và z đều không chia hết cho 3. 

Khi đó x; y và z chia cho 3 dư 1 hoặc dư 2 => x²; y² và z² chia cho 3 dư 1. 

=> x² + y² ≡ 1 + 1 = 2 ( mod 3 ) 

Vô lí vì z² ≡ 1 ( mod 3 ) 

Vậy tồn tại ít nhất 1 số ⋮ 3, do đó xyz ⋮ 3 (♠) 

* Giả sử cả x; y và z không chia hết cho 4. 

Khi đó x; y và z chia cho 4 dư 1; 2 hoặc 3. 

*TH 1 : Cả x; y và z lẻ => x²; y² và z² chia 4 dư 1. 

=> z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại } 

*TH 2 : Có ít nhất 2 số chẵn => xyz⋮ 4 

*TH 3 : Có 1 số chẵn và 2 số lẻ. 

......+ Với x; y lẻ thì z² = x² + y² ≡ 1 + 1 = 2 ( mod 4 ) { loại do z chẵn nên z² ≡ 0 ( mod 4 )} 

......+ Với x; z lẻ thì y² = z² - x² ≡ (z - x)(z + x). Ta có bảng sau : 

........z...............x...........z-... 

....4m+1.......4n+1.........4(m-n)....... 

....4m+3.......4n+1.......4(m-n)+2....... 

Các trường hợp khác tương tự. Ta luôn có y² = (z-x)(z+x)⋮8. Trong khi y²⋮4 nhưng không⋮8 => mâu thuẫn. 
Vậy.......
Vậy tồn tại ít nhất 1 số⋮4 => xyz⋮4 (♣) 

* Giả sử cả x; y và z không chia hết cho 5. 
Khi đó x; y và z chia cho 5 dư 1; 2; 3 hoặc 4 => x²; y² và z² chia cho 5 dư 1 hoặc -1. 
+ TH 1 : x² ≡ 1 ( mod 5 ); y² ≡ 1 ( mod 5 ) => z² = x² + y² ≡ 2 ( mod 5 ) { loại } 
+ TH 2 : x² ≡ -1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ -1 ( mod 5 ) { loại } 
+ TH 3 : x² ≡ 1 ( mod 5 ); y² ≡ -1 ( mod 5 ) => z² = x² + y² ≡ 0 ( mod 5 ) { loại } 

Vậy tồn tại ít nhất 1 số⋮5 => xyz⋮5 (♦) 
Từ (♠); (♣) và (♦) => xyz⋮3.4.5 = 60 ( đpcm )

Đây là toán lớp 9 mà bạn, bạn ghi đề bài lên google là ra ngay, mik vừa thử rồi

Lê Anh Tú đề bài chỉ yêu cầu chia hết cho 12 thôi bn làm hơi dài dòng rồ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\)

lam thế  nao vậy?

ko hỉu

Giả thiết đã cho có thể viết lại được thành 3x²-2y²=1(1)

Từ đây, ta có x lẻ nên x²chia 8 dư 1 => 3x² chia 8 dư 3

Từ đo ta có 2y² chia 8 dư 2

=> y² chia 8 dư 1. Do đó: x²-y² chia 8 (2)

Tiếp theo ta sẽ chứng minh x²-y²chia hết cho 5 (3)

Chú ý rằng số dư của a² (a thuộc Z) khi chia cho 5 là 0;1 và 4

Nếu y² chia 5 thì từ (1) ta có 3x² chia 5 dư 1, mâu thuẫn do só dư của 3x² khi chia 5 chỉ có thể là 0;3;2Nếu y² chia 5 dư 4 thì từ (1) ta có 3x² chia 5 dư 4, mâu thuẫnDo đó ta phải có y² chia 5 dư 1. Khi đó từ (1) ta cũng suy ra x² chia 5 dư 1. Dẫn đến x²-y² chia hết cho 5

Từ (2) và (3) với chú ý (5;8)=1 ta thu được x²-y² chia hết cho 40 (đpcm)

Áp dụng BĐT cô si với ba số không âm ta có :

$\frac{1}{{\left(x+1\right)}^2}+\frac{x+1}{8}+\frac{x+1}{8}\ge 3\sqrt[3]{3\frac{1}{64}}=\frac{3}{4}$

=> $\frac{1}{{\left(x+1\right)}^2}\ge \frac{3}{4}-\frac{x+1}{4}$ (1)

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

CM tương tự ra có " $\frac{1}{{\left(y+1\right)}^2}\ge \frac{3}{4}-\frac{y+1}{4}$(2) ; $\frac{1}{{\left(z+1\right)}^2}\ge \frac{3}{4}-\frac{z+1}{4}$ (3)

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

Từ (1) (2) và (3) =>