Chào các em, hôm nay chúng ta sẽ cùng nhau đi chứng minh một tính chất rất quan trọng trong số học liên quan đến lũy thừa và chia hết. Đó là:

Đề bài: Cho \( a, b, n \in \mathbb{N}^* \). Chứng minh rằng \( a^n | b^n \iff a | b \).

Trước hết, chúng ta cần hiểu rõ các ký hiệu trong đề bài:

• \( \mathbb{N}^* \) là tập hợp các số tự nhiên khác 0, tức là \( \{1, 2, 3, …\} \).
• Ký hiệu \( x | y \) có nghĩa là \( x \) chia hết cho \( y \), hay tồn tại một số nguyên \( k \) sao cho \( y = kx \).
• Ký hiệu \( x | y \) là dấu chia hết.
• Ký hiệu \( a^n \) là \( a \) nhân với chính nó \( n \) lần.

Bài toán yêu cầu chúng ta chứng minh một mệnh đề tương đương, tức là chúng ta cần chứng minh hai chiều:

1. Chiều thuận: Nếu \( a^n | b^n \) thì \( a | b \).
2. Chiều đảo: Nếu \( a | b \) thì \( a^n | b^n \).

Bây giờ, chúng ta sẽ đi vào phần chứng minh chi tiết từng chiều.

Chứng minh chiều thuận:

Giả sử \( a^n | b^n \). Theo định nghĩa của phép chia hết, điều này có nghĩa là tồn tại một số nguyên \( k \) sao cho \( b^n = k \cdot a^n \).

Để chứng minh \( a | b \), chúng ta cần chỉ ra rằng tồn tại một số nguyên \( m \) sao cho \( b = m \cdot a \).

Chúng ta hãy xét phân tích thừa số nguyên tố của \( a \) và \( b \).

Giả sử phân tích thừa số nguyên tố của \( a \) là: \( a = p_1^{x_1} p_2^{x_2} … p_r^{x_r} \), trong đó \( p_i \) là các số nguyên tố phân biệt và \( x_i \in \mathbb{N}^* \).

Khi đó, \( a^n = (p_1^{x_1} p_2^{x_2} … p_r^{x_r})^n = p_1^{nx_1} p_2^{nx_2} … p_r^{nx_r} \).

Phân tích thừa số nguyên tố của \( b \) là: \( b = p_1^{y_1} p_2^{y_2} … p_r^{y_r} q_1^{z_1} … q_s^{z_s} \), trong đó \( q_j \) là các số nguyên tố khác với \( p_i \), và \( y_i, z_j \in \mathbb{N} \).

Khi đó, \( b^n = (p_1^{y_1} p_2^{y_2} … p_r^{y_r} q_1^{z_1} … q_s^{z_s})^n = p_1^{ny_1} p_2^{ny_2} … p_r^{ny_r} q_1^{nz_1} … q_s^{nz_s} \).

Vì \( a^n | b^n \), nên mọi thừa số nguyên tố của \( a^n \) đều phải là thừa số nguyên tố của \( b^n \), và số mũ của mỗi thừa số nguyên tố trong \( a^n \) phải nhỏ hơn hoặc bằng số mũ tương ứng trong \( b^n \).

Xét một thừa số nguyên tố \( p_i \) bất kỳ của \( a \). Số mũ của \( p_i \) trong \( a^n \) là \( nx_i \). Số mũ của \( p_i \) trong \( b^n \) là \( ny_i \).

Do \( a^n | b^n \), ta có \( nx_i \le ny_i \) cho mọi \( i = 1, 2, …, r \).

Vì \( n \in \mathbb{N}^* \), ta có thể chia cả hai vế của bất đẳng thức cho \( n \) mà không làm đổi chiều:

\( nx_i \le ny_i \implies x_i \le y_i \)

Điều này có nghĩa là với mọi thừa số nguyên tố \( p_i \) của \( a \), số mũ của \( p_i \) trong phân tích thừa số nguyên tố của \( b \) (là \( y_i \)) lớn hơn hoặc bằng số mũ của \( p_i \) trong phân tích thừa số nguyên tố của \( a \) (là \( x_i \)).

Ngoài ra, các thừa số nguyên tố \( q_j \) của \( b \) không xuất hiện trong \( a \) (nếu có). Điều này là hợp lý vì ta chỉ quan tâm đến các thừa số nguyên tố của \( a \).

Vì \( x_i \le y_i \) cho mọi \( i \), nên ta có thể viết:

\( b = p_1^{y_1} … p_r^{y_r} \cdot (\text{các thừa số khác}) \)

\( a = p_1^{x_1} … p_r^{x_r} \)

Ta có thể tách \( b \) như sau:

\( b = p_1^{y_1-x_1} \cdot p_1^{x_1} \cdot p_2^{y_2-x_2} \cdot p_2^{x_2} … p_r^{y_r-x_r} \cdot p_r^{x_r} \cdot (\text{các thừa số khác}) \)

\( b = (p_1^{y_1-x_1} \cdot p_2^{y_2-x_2} … p_r^{y_r-x_r} \cdot (\text{các thừa số khác})) \cdot (p_1^{x_1} p_2^{x_2} … p_r^{x_r}) \)

\( b = m \cdot a \)

Ở đây, \( m = p_1^{y_1-x_1} \cdot p_2^{y_2-x_2} … p_r^{y_r-x_r} \cdot (\text{các thừa số khác}) \). Vì \( y_i – x_i \ge 0 \), nên \( m \) là một số nguyên.

Vậy, ta đã chứng minh được rằng tồn tại số nguyên \( m \) sao cho \( b = m \cdot a \), tức là \( a | b \).

Chứng minh chiều đảo:

Giả sử \( a | b \). Theo định nghĩa của phép chia hết, điều này có nghĩa là tồn tại một số nguyên \( m \) sao cho \( b = m \cdot a \).

Chúng ta cần chứng minh \( a^n | b^n \).

Thay \( b = m \cdot a \) vào \( b^n \), ta được:

\( b^n = (m \cdot a)^n \)

Sử dụng tính chất của lũy thừa: \( (xy)^n = x^n y^n \), ta có:

\( b^n = m^n \cdot a^n \)

Từ đây, ta thấy rằng \( b^n \) là một bội số của \( a^n \), với hệ số là \( m^n \). Vì \( m \) là số nguyên và \( n \in \mathbb{N}^* \), nên \( m^n \) cũng là một số nguyên.

Do đó, theo định nghĩa của phép chia hết, ta có \( a^n | b^n \).

Kết luận:

Chúng ta đã chứng minh được cả hai chiều của mệnh đề:

• Nếu \( a^n | b^n \) thì \( a | b \).
• Nếu \( a | b \) thì \( a^n | b^n \).

Vì vậy, ta có kết luận cuối cùng: \( a^n | b^n \iff a | b \).

Đây là một tính chất rất hữu ích khi chúng ta làm việc với các bài toán về chia hết, đặc biệt là khi liên quan đến lũy thừa. Các em hãy ghi nhớ và áp dụng nó nhé!