| (参考) n^9-n^3 =(n-4)(n-3)(n-2)(n-1)n(n+1)(n+2)(n+3)(n+4) +30(n-3)(n-2)(n-1)n(n+1)(n+2)(n+3) +147(n-2)(n-1)n(n+1)(n+2) +84(n-1)n(n+1)
(n-4)(n-3)(n-2)(n-1)n(n+1)(n+2)(n+3)(n+4) は9!で割り切れる 30(n-3)(n-2)(n-1)n(n+1)(n+2)(n+3) は30*7!で割り切れる 147(n-2)(n-1)n(n+1)(n+2) は147*5!で割り切れる 84(n-1)n(n+1) は84*3!で割り切れる 9! と 30*7! と 147*5! と 84*3! の最大公約数は504なので、 n^9-n^3 は 504(=72*7) で割り切れます。
|