何かツイート流れてきたので
- 証明
n, aが整数の時、n0+n1+n2、すなわちn+n2が6a+5の倍数にならないことを証明する
6a+5の倍数はkを整数とすると(6a+5)kと表す事が出来る
1+n+n2が6a+5の倍数だと仮定すると、
1+n+n2=(6a+5)k
n, aが5の倍数の時、p, qを整数としn=5p、a=5qとすると、
(左辺)===1+5p+(5p)21+5p+25p21+5(p+5p2)
(右辺)==(6⋅5q+5)k5k(6q+1)
よって左辺は5の倍数でない、右辺は5の倍数となり矛盾する
よってn0+n1+n2は6a+5の倍数ではない