>>884
まぁ>>879の最後の１行に書いたものがその解法ですが。
一応学コンの問題を経由すれば高校の範囲で証明可ということです。
もう問題自体忘れてしまいましたが。
あとチェビシェフの多項式を使っても高校の範囲内でできたはずです。
知人がやってくれました。詳しいことは覚えてません。