Toán 9 chứng minh a,b đều là các số nguyên

2712-0-3

Cựu TMod Toán
Thành viên
5 Tháng bảy 2021
1,068
1,741
206
Bắc Ninh
THPT đợi thi
Trường hợp a=ba=b, đề sai.
Xét aba\ne b. Ta có: abZa-b \in \mathbb{Z}(ab)(a+b)Z(a-b)(a+b) \in \mathbb{Z}
a+bQ\Rightarrow a+b \in \mathbb{Q}, mà abZa-b\in \mathbb{Z}
a,bQ\Rightarrow a,b \in \mathbb{Q}.
Đặt b=pqb= \dfrac{p}{q} trong đó (p,q)=1;qN(p,q)=1; q\in \mathbb{N}^*.
a=p+qtq\Rightarrow a = \dfrac{p+qt}{q} với t là số nguyên khác 0. (do a-b nguyên).
Giả sử q2q\geq 2, gọi mm là ước nguyên tố của q(p,m)=1q \Rightarrow (p,m)=1.
Xét với mọi n nguyên dương n3n\geq 3nn không chia hết cho mm, ta có: anbna^n-b^n nguyên.
Tức (p+tq)npn(p+tq)^n - p^n chia hết cho qnq^n
tq[(p+tq)n1+(p+tq)n2p+(p+tq)pn2+pn1]\Rightarrow tq\left[(p+tq)^{n-1}+(p+tq)^{n-2}p + \cdots (p+tq)p^{n-2} +p^{n-1} \right] chia hết cho pnp^n
t[(p+tq)n1+(p+tq)n2p+(p+tq)pn2+pn1]\Rightarrow t \left[(p+tq)^{n-1}+(p+tq)^{n-2}p + \cdots (p+tq)p^{n-2} +p^{n-1} \right] chia hết cho mn1m^{n-1}
Mặt khác: (p+tq)n1+(p+tq)n2p+(p+tq)pn2+pn1n.pn1(modm)(p+tq)^{n-1}+(p+tq)^{n-2}p + \cdots (p+tq)p^{n-2} +p^{n-1} \equiv n.p^{n-1} (mod m)
nn không chia hết cho mm, (p,q)=1npn1(p,q)=1 \Rightarrow np^{n-1} không chia hết cho mm.
Tức (p+tq)n1+(p+tq)n2p+(p+tq)pn2+pn1(p+tq)^{n-1}+(p+tq)^{n-2}p + \cdots (p+tq)p^{n-2} +p^{n-1} không chia hết cho mm
Suy ra ước chung lớn nhất của (p+tq)n1+(p+tq)n2p+(p+tq)pn2+pn1(p+tq)^{n-1}+(p+tq)^{n-2}p + \cdots (p+tq)p^{n-2} +p^{n-1}mm là 1 . (do m là số nguyên tố)
Kết hợp (1) suy ra tmn1t\vdots m^{n-1} với mọi nn không chia hết cho mm.
Hiển nhiên điều này vô lý (làm gì có số nguyên khác 0 nào như vậy, chia có giới hạn thoi).
Vậy giả sử sai, nên q=1a,bq=1 \Rightarrow a,b đều là số nguyên.

Chúc em học tốt. Tìm hiểu thêm tại: [Bài tập] Chuyên đề HSG: Số học
 
Last edited:
  • Like
Reactions: kido2006
Top Bottom