Cho a,b,n là các số nguyên dương sao cho $(a,b)=1$. Chứng minh rằng : $(a-b,\frac{a^{n}-b^{n}}{a-b})=(n,a-b)$
Cho $(a,b)=1$. Khi đó $(a-b,\frac{a^{n}-b^{n}}{a-b})=(n,a-b)$
#1
Posted 12-02-2022 - 19:43
#2
Posted 13-02-2022 - 15:12
bài này hnhu trên group hướng tới hôm bữa có anh nào hỏi nhỉ
#3
Posted 14-02-2022 - 12:26
Ý tưởng của mình như thế này:
Nếu p là ước nguyên tố lẻ chung của $a-b$ và $n$ thì theo bổ đề LTE, $v_p(a^n-b^n)=v_p(a-b)+v_n\Rightarrow v_p(\frac{a^n-b^n}{a-b})=v_p(n)$.
Do đó $v_p(gcd(\frac{a^n-b^n}{a-b},a-b))=\min\{n,v_p(a-b)\}=v_p(gcd(a-b,n))$.
Trường hợp ngược lại cũng tương tự.
Do đó ta chỉ cần xét $a-b$ chẵn hay $a,b$ cùng lẻ.
Nếu $a-b$ chia hết cho 4 thì cũng áp dụng được LTE như trên khi $p=2$.
Ta chỉ cần xét $v_2(a-b)=1$. Khi đó $v_2(a+b)\geq 2$. (Do $a,b$ lẻ)
Khi n chẵn, sử dụng LTE ta có $v_2(a^n-b^n)=v_2(a^2-b^2)+v_2(n)-1=v_2(a+b)+v_2(n)-1\geq 2$
$\Rightarrow v_2(gcd(a-b,\frac{a^n-b^n}{a-b}))=1=v_2(n,a-b)$.
Khi n lẻ, ta cần chứng minh $\frac{a^n-b^n}{a-b}$ không là số chẵn.
Tuy nhiên n lẻ nên $a^{n-1}\equiv 1\pmod 4\Rightarrow a^n\equiv a\pmod 4$.
Tương tự dẫn đến $v_2(a^n-b^n)=1$. Ta có đpcm.
P/s: Hình như bài toán chỉ cần a, b không cùng chẵn là được.
Edited by Hoang72, 14-02-2022 - 12:57.
- KietLW9 likes this
#4
Posted 14-02-2022 - 20:30
Ý tưởng của mình như thế này:
Nếu p là ước nguyên tố lẻ chung của $a-b$ và $n$ thì theo bổ đề LTE, $v_p(a^n-b^n)=v_p(a-b)+v_n\Rightarrow v_p(\frac{a^n-b^n}{a-b})=v_p(n)$.
Do đó $v_p(gcd(\frac{a^n-b^n}{a-b},a-b))=\min\{n,v_p(a-b)\}=v_p(gcd(a-b,n))$.
Trường hợp ngược lại cũng tương tự.
Do đó ta chỉ cần xét $a-b$ chẵn hay $a,b$ cùng lẻ.
Nếu $a-b$ chia hết cho 4 thì cũng áp dụng được LTE như trên khi $p=2$.
Ta chỉ cần xét $v_2(a-b)=1$. Khi đó $v_2(a+b)\geq 2$. (Do $a,b$ lẻ)
Khi n chẵn, sử dụng LTE ta có $v_2(a^n-b^n)=v_2(a^2-b^2)+v_2(n)-1=v_2(a+b)+v_2(n)-1\geq 2$
$\Rightarrow v_2(gcd(a-b,\frac{a^n-b^n}{a-b}))=1=v_2(n,a-b)$.
Khi n lẻ, ta cần chứng minh $\frac{a^n-b^n}{a-b}$ không là số chẵn.
Tuy nhiên n lẻ nên $a^{n-1}\equiv 1\pmod 4\Rightarrow a^n\equiv a\pmod 4$.
Tương tự dẫn đến $v_2(a^n-b^n)=1$. Ta có đpcm.
P/s: Hình như bài toán chỉ cần a, b không cùng chẵn là được.
Ý tưởng của mình như thế này:
Nếu p là ước nguyên tố lẻ chung của $a-b$ và $n$ thì theo bổ đề LTE, $v_p(a^n-b^n)=v_p(a-b)+v_n\Rightarrow v_p(\frac{a^n-b^n}{a-b})=v_p(n)$.
Do đó $v_p(gcd(\frac{a^n-b^n}{a-b},a-b))=\min\{n,v_p(a-b)\}=v_p(gcd(a-b,n))$.
Trường hợp ngược lại cũng tương tự.
Do đó ta chỉ cần xét $a-b$ chẵn hay $a,b$ cùng lẻ.
Nếu $a-b$ chia hết cho 4 thì cũng áp dụng được LTE như trên khi $p=2$.
Ta chỉ cần xét $v_2(a-b)=1$. Khi đó $v_2(a+b)\geq 2$. (Do $a,b$ lẻ)
Khi n chẵn, sử dụng LTE ta có $v_2(a^n-b^n)=v_2(a^2-b^2)+v_2(n)-1=v_2(a+b)+v_2(n)-1\geq 2$
$\Rightarrow v_2(gcd(a-b,\frac{a^n-b^n}{a-b}))=1=v_2(n,a-b)$.
Khi n lẻ, ta cần chứng minh $\frac{a^n-b^n}{a-b}$ không là số chẵn.
Tuy nhiên n lẻ nên $a^{n-1}\equiv 1\pmod 4\Rightarrow a^n\equiv a\pmod 4$.
Tương tự dẫn đến $v_2(a^n-b^n)=1$. Ta có đpcm.
P/s: Hình như bài toán chỉ cần a, b không cùng chẵn là được.
cảm ơn nhiều nhé, mik hiểu rùi
- Hoang72 likes this
1 user(s) are reading this topic
0 members, 1 guests, 0 anonymous users