MathLabs

Bài 4

Gọi một số hữu tỉ rr là mạnh nếu rr có thể viết dưới dạng pkq\dfrac{p^k}{q} với các số nguyên dương nguyên tố cùng nhau p,qp,q và một số nguyên k>1k>1 nào đó. Cho a,b,ca,b,c là các số hữu tỉ dương sao cho abc=1abc=1. Giả sử tồn tại các số nguyên dương x,y,zx,y,z sao cho ax+by+cza^x+b^y+c^z là số nguyên. Chứng minh rằng a,b,ca,b,c đều mạnh.
Bước 1 trên 5: Viết a,b,ca,b,c dưới dạng tối giản
a=a1b1, b=a2b2, gcd⁡(a1,b1)=gcd⁡(a2,b2)=1,c=b1b2a1a2a=\frac{a_1}{b_1},\ b=\frac{a_2}{b_2},\ \gcd(a_1,b_1)=\gcd(a_2,b_2)=1,\quad c=\frac{b_1b_2}{a_1a_2}
Phân tích chi tiết

Viết a=a1/b1a=a_1/b_1 và b=a2/b2b=a_2/b_2 dưới dạng tối giản. Vì abc=1abc=1, c=b1b2/(a1a2)c=b_1b_2/(a_1a_2). Quy đồng mẫu số, giả thiết ax+by+cza^x+b^y+c^z là số nguyên trở thành tính chia hết a1za2zb1xb2y∣a1x+za2zb2y+a1za2y+zb1x+b1x+zb2y+za_1^za_2^zb_1^xb_2^y\mid a_1^{x+z}a_2^zb_2^y+a_1^za_2^{y+z}b_1^x+b_1^{x+z}b_2^{y+z}.