第1612题:最简化被除数证明
设 a,b,na,b,na,b,n 为给定的正整数,已知对任意 k∈N∗k \in \bold{N^*} k∈N∗ ( k≠bk \ne bk≠b ) ,都有 (b−k)∣(a−kn)(b-k) \mid (a-k^n)(b−k)∣(a−kn) ,那么一定有( ).
A. b=nab=nab=na
B. b=anb=a^nb=an
C. a=nba=nba=nb
D. a=bna=b^na=bn