えっと（１）は普通に展開して３n^3+６nとなって、それを
n^3+2(2n^3+3n)として、Sが偶数のときn^3が偶数である。と示しました
（2）からは3n(n^2+2)でnが偶数なら(n^2+2)も偶数。よって４で割り切れる
ってとこまでです
９の倍数であることが証明できないし
もう１つのやり方の検討もつきません（´・ω・｀）