Số tự nhiên n thỏa mãn \(n^k\left(k\inℕ^∗\right)\) có tận cùng là 9 khi và chỉ khi \(n\) có chữ số tận cùng là 3, 7 hoặc 9.
TH1: Nếu \(n\) có chữ số tận cùng là \(3\) thì ta có nhận xét là \(n^{4k}\) có chữ số tận cùng là 1 với mọi số tự nhiên \(k\). Thật vậy, với \(k=0\) thì \(n^0=1\) có tận cùng là 9. Giả sử khẳng định đúng đến \(k=l\). Với \(k=l+1\) thì \(n^{4\left(l+1\right)}=n^{4l+4}=n^4.n^{4l}=\overline{A1}.\overline{B1}\) có chữ số tận cùng là 1. Vậy khẳng định được chứng minh. Do đó, \(n^{9012}=n^{4.2253}\) có chữ số tận cùng là 1, không thỏa ycbt.
TH2: \(n\) có chữ số tận cùng là 7 thì làm tương tự với TH1, \(n^{4k}\) luôn có chữ số tận cùng là 7 nên không thỏa ycbt.
TH3: \(n\) có chữ số tận cùng là 9 thì \(n^{2k}\) luôn có chữ số tận cùng là 1. Như vậy, không thể có số tự nhiên \(n\) nào thỏa mãn ycbt.
