Cho các số nguyên dương xyz thỏa \(x^2+y^2=z^2\). C/m \(xyz⋮60\)
K
Khách
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.
Những câu hỏi liên quan
TU
0
VT
0
AH
Akai Haruma
Giáo viên
25 tháng 9 2018
Lời giải:
Áp dụng BĐT Bunhiacopxky:
\((\sqrt{x^2+xyz}+\sqrt{y^2+xyz}+\sqrt{z^2+xyz})^2=(\sqrt{x}.\sqrt{x+yz}+\sqrt{y}.\sqrt{y+xz}+\sqrt{z}.\sqrt{z+xy})^2\)
\(\leq (x+y+z)(x+yz+y+xz+z+xy)=xy+yz+xz+1\)
\(\Rightarrow \sqrt{x^2+xyz}+\sqrt{y^2+xyz}+\sqrt{z^2+xyz}\leq \sqrt{xy+yz+xz+1}\)
\(\Rightarrow A\leq \sqrt{xy+yz+xz+1}+9\sqrt{xyz}\)
The BĐT AM-GM (Cô-si) thì:
\(1=x+y+z\geq 3\sqrt[3]{xyz}\Rightarrow xyz\leq \frac{1}{27}\)
\(x^2+y^2+z^2\geq xy+yz+xz\Rightarrow (x+y+z)^2\geq 3(xy+yz+xz)\)
\(\Rightarrow xy+yz+xz\leq \frac{1}{3}\)
\(\Rightarrow A\leq \sqrt{\frac{1}{3}+1}+9\sqrt{\frac{1}{27}}=\frac{5\sqrt{3}}{3}\)
Vậy \(A_{\max}=\frac{5\sqrt{3}}{3}\Leftrightarrow x=y=z=\frac{1}{3}\)
LT
1
TA
17 tháng 1 2018
* 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 (1)
* 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 tồn tại ít nhất 1 số⋮4 => xyz⋮4 (2)
* 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 (3)
Từ (1); (2) và (3) => xyz⋮3.4.5 = 60 ( vi (3,4,5)=1)