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.
\(60=3.4.5\)
Ta cần chứng minh xyz chia hết cho 3 ; 4 và 5
\(∗\)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 => x2 ; y2 và z2 chia cho 3 dư 1
\(\Rightarrow x^2+y^2\equiv1+1=2\) ( mod 3 )
Vô lí vì \(z^2\equiv1\) ( mod 3 )
Vậy tồn tại ít nhất 1 số chia hết cho 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
- TH1 : Cả x ; y và z lẻ => x2 ; y2 và z2 chia 4 dư 1
\(\Rightarrow x^2+y^2\equiv1+1=2\) ( mod 4 ) ( loại )
- TH2 : Có ít nhất 2 số chẵn => xyz chia hết cho 4
- TH3 : Có 1 số chẵn và 2 số lẻ
+) Với x ; y lẻ thì \(z^2=x^2+y^2\equiv1+1=2\) ( mod 4 ) ( loại do z chẵn nên \(z^2\equiv0\) ( mod 4 ) )
+) Với x ; z lẻ thì \(y^2=z^2-x^2\equiv\left(z-x\right)\left(z+x\right)\) .Ta có bảng sau :
z | x | z- |
4m + 1 | 4n + 1 | 4( m - n ) |
4m + 3 | 4n + 1 | 4 ( n - n ) + 2 |
Các trường hợp khác tương tự
Ta luôn có \(y^2=\left(z-x\right)\left(z+x\right)⋮8\) . Trong khi đó y2 không chia hết cho 4 nhưng lại chia hết cho 8 => Mâu thuẫn
Vậy tồn tại ít nhất 1 số chia hết cho 4 \(\Rightarrow 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 => x2 ; y2 và z2 chia cho 5 dư 1 hoặc -1
- TH1 : \(x^2\equiv1\) ( mod 5 ) ; \(y^2\equiv1\) ( mod 5 ) \(\Rightarrow z^2=x^2+y^2\equiv2\) ( mod 5 ) ( loại )
- TH2 : \(x^2\equiv-1\) ( mod 5 ) ; \(y^2\equiv-1\) ( mod 5 ) \(\Rightarrow z^2=x^2+y^2\equiv-1\) ( mod 5 ) ( loại )
- TH3 : \(x^2\equiv1\) ( mod 5 ) ; \(y^2\equiv-1\) ( mod 5 ) \(\Rightarrow z^2=x^2+y^2\equiv0\) ( mod 5 ) ( loại )
Vậy tồn tại ít nhất một số chia hết cho 5 \(\Rightarrow xyz⋮5\) ( 3 )
Từ ( 1 ) ; ( 2 ) và ( 3 ) \(\Rightarrow xyz⋮3.4.5=60\left(đpcm\right)\)
a) (n mũ 2+n) chia hết cho 2
=> n mũ 2 +n thuộc Ư(2), tự tìm ước của 2
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.???
Chị sợ e kh hỉu nên chỵ làm dài dòng xíu nha. em hỉu r thi thu gọn lại bỏ bớt mấy chỗ k cần thiết
1. Vì p nguyên tố và p>3 => p không chia hết cho 3 => p=3k+1 hoặc p=3k+2
Nếu p = 3k+1 =>(p-1).(p+1) =(3k+1-1).(3k+1+1)= 3k(3k+2)
Vì 3k chia hết 3 => 3k(3k+2) chia hết cko 3. Hay(p-1).(p+1) ckia hết cho 3 (1)
Tương tự p=3k+2 =>p+1 = 3k+3 chia hết cho 3 =)( p-1)(p+1) chia hết cho 3 (2)
từ (1),(2) => (p-1)(p+1) chia het cho 3
Vì p nto và p >3 => p lẻ => p = 2h+1
Ta có (p-1).(p+1)= (2h+1-1)(2h+1+1)= 2h(2h+2)
Mà 2h và 2h+1 là tích 2 số chẵn liên tiếp => 2h(2h+2) chia hết cho 8
Mà (3,8)=1 => (p-1)(p+1) chia hết cho 24
Gọi ước chung lớn nhất của x - z và y - z là d ( d \(\in\)\(ℕ^∗\))
\(\Rightarrow\hept{\begin{cases}x-z⋮d\\y-z⋮d\end{cases}}\)
\(\Rightarrow\left(x-z\right).\left(y-z\right)⋮d^2\)
\(\Rightarrow z^2⋮d^2\Rightarrow z⋮d\)
\(\Rightarrow\hept{\begin{cases}x⋮d\\y⋮d\end{cases}}\)
Mà x, y nguyên tố cùng nhau \(\Rightarrow d=1\)
\(\Rightarrow\)\(\left(x-z,y-z\right)=1\)
Mà (x-z)(y-z)=z^2 chính phương
x,y,z thuộc N*
\(\Rightarrow x-z\)và \(y-z\)đều là số chính phương
\(\Rightarrow\hept{\begin{cases}x-z=m^2\\y-z=n^2\end{cases}}\)
với m,n thuộc Z
\(\Rightarrow\left(x-z\right)\left(y-z\right)=z^2=m^2n^2\)
\(\Rightarrow z=mn\)
Ta có: (x-z)+(y-z)=(x+y)-2z
\(\Rightarrow\left(x+y\right)=m^2+n^2+2mn\)
\(\Rightarrow x+y=\left(m+n\right)^2\)
Mặt khác: \(\left(x-z\right)\left(y-z\right)=z^2\)
\(\Rightarrow xy-zy-zx+z^2=z^2\Rightarrow xy-zy-zx=0\)\(\Rightarrow xy-z\left(x+y\right)=0\Rightarrow xy=z\left(x+y\right)\)
\(\Rightarrow xyz=z^2\left(x+y\right)=z^2\left(m+n\right)^2\)là số chính phương với z thuộc N*, m,n thuộc Z (đpcm)
Vậy xyz là số chính phương.
Gọi ước chung lớn nhất của x - z và y - z là d ( d \(\in\)\(ℕ^∗\))
\(\Rightarrow\hept{\begin{cases}x-z⋮d\\y-z⋮d\end{cases}}\)
\(\Rightarrow\left(x-z\right).\left(y-z\right)⋮d^2\)
\(\Rightarrow z^2⋮d^2\Rightarrow z⋮d\)
\(\Rightarrow\hept{\begin{cases}x⋮d\\y⋮d\end{cases}}\)
Mà x, y nguyên tố cùng nhau \(\Rightarrow d=1\)
\(\Rightarrow\)\(\left(x-z,y-z\right)=1\)
Mà (x-z)(y-z)=z^2 chính phương
x,y,z thuộc N*
\(\Rightarrow x-z\)và \(y-z\)đều là số chính phương
\(\Rightarrow\hept{\begin{cases}x-z=m^2\\y-z=n^2\end{cases}}\)
với m,n thuộc Z
\(\Rightarrow\left(x-z\right)\left(y-z\right)=z^2=m^2n^2\)
\(\Rightarrow z=mn\)
Ta có: (x-z)+(y-z)=(x+y)-2z
\(\Rightarrow\left(x+y\right)=m^2+n^2+2mn\)
\(\Rightarrow x+y=\left(m+n\right)^2\)
Mặt khác: \(\left(x-z\right)\left(y-z\right)=z^2\)
\(\Rightarrow xy-zy-zx+z^2=z^2\Rightarrow xy-zy-zx=0\)\(\Rightarrow xy-z\left(x+y\right)=0\Rightarrow xy=z\left(x+y\right)\)
\(\Rightarrow xyz=z^2\left(x+y\right)=z^2\left(m+n\right)^2\)là số chính phương với z thuộc N*, m,n thuộc Z (đpcm)
Vậy xyz là số chính phương.