Cho x,y,z thuộc Z thỏa: x^2+y^2=2z^2.Cm: x^2-y^2 chia hết cho 48
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 tính chất dãy tỉ số bằng nhau, ta có:
a) x/20 = y/9 = z/6 = (x – 2y + 4z)/(20 – 2.9 + 4.6) = 13/26 = 1/2, suy ra x = 10; y = 4,5 và z = 3
b) x/3 = y/4 và y/5 = z/7 suy ra x/15 = y/20 = z/28 = (x – y + z)/(15 – 20 + 28) = -46/23 = -2
c) x/2 = 2y/5 = 4z/7 => x/8 = y/10 = z/7 (nhân mỗi tỷ số với 1/4)
Suy ra x/8 = y/10 = z/7 = (3x + 5y + 7z)/(3.8 + 5.10 + 7.7) = 123/123 = 1. Vậy x = 8; y = 10 và z = 7
d) Đặt x/2 = 2y/3 = 3z/4 = k thì k^3 = (x/2).(2y/3).(3z/4) = xyz/4 = -108/4 = -27
Suy ra k = -3.
** Bạn lưu ý lần sau viết đề bằng công thức toán!
Đề cần sửa thành $\leq \frac{4}{3}$
Lời giải:
Áp dụng BĐT AM-GM và Cauchy-Schwarz:
\(\frac{1}{2x^2+y^2+z^2}=\frac{1}{(x^2+z^2)+(x^2+y^2)}\leq \frac{1}{2xy+2xz}=\frac{1}{2}.\frac{1}{xy+xz}\leq \frac{1}{8}\left(\frac{1}{xy}+\frac{1}{xz}\right)\)
Hoàn toàn tương tự với các phân thức còn lại và cộng theo vế suy ra:
\(\sum \frac{1}{2x^2+y^2+z^2}\leq \frac{1}{4}\left(\frac{1}{xy}+\frac{1}{yz}+\frac{1}{xz}\right)=\frac{x+y+z}{4xyz}\) $(1)$
Mặt khác:
$\frac{1}{x}+\frac{1}{y}+\frac{1}{z}=4\Rightarrow 4xyz=xy+yz+xz$
$\Rightarrow 16x^2y^2z^2=(xy+yz+xz)^2\geq 3xyz(x+y+z)$ (theo BĐT AM-GM)
$\Rightarrow x+y+z\leq \frac{16}{3}xyz (2)$
Từ $(1);(2)\Rightarrow \sum \frac{1}{2x^2+y^2+z^2}\leq \frac{4}{3}$
Dấu "=" xảy ra khi $x=y=z=\frac{3}{4}$
\(\dfrac{1}{2x^2+y^2+z^2}=\dfrac{1}{x^2+y^2+x^2+z^2}\le\dfrac{1}{2xy+2xz}\le\dfrac{1}{8}\left(\dfrac{1}{xy}+\dfrac{1}{xz}\right)\)
Tương tự: \(\dfrac{1}{x^2+2y^2+z^2}\le\dfrac{1}{8}\left(\dfrac{1}{xy}+\dfrac{1}{yz}\right)\) ; \(\dfrac{1}{x^2+y^2+2z^2}\le\dfrac{1}{8}\left(\dfrac{1}{xz}+\dfrac{1}{yz}\right)\)
Cộng vế:
\(VT\le\dfrac{1}{4}\left(\dfrac{1}{xy}+\dfrac{1}{yz}+\dfrac{1}{zx}\right)\le\dfrac{1}{4}.\dfrac{1}{3}\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)^2=\dfrac{4}{3}\)
Đề bài sai
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 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 )
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 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 )
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.???
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 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 )