✨ ベストアンサー ✨
mを整数とするとき、m^6を7で割った余りは、
mが7の倍数のとき0、
mが7の倍数でないとき1
となります。これがフェルマーの小定理(から分かること)です。
つまり、整数を6乗したものを7で割った余りは0か1しかないということです。
この事実を使って問を解きます。
a^6+b^6+c^6+d^6+e^6はある整数の6乗と一致するので、上の事実から7で割った余りは0か1です。
さらにこの数は7で割り切れないと問題にあるので、7で割った余りは1だと確定します。
一方で、a^6, b^6, c^6, d^6, e^6の五つの数もまた、7で割った余りはそれぞれ0か1です。
0と1どっちなのかということになりますが、
これらの合計を7で割った余りが1だということを踏まえると、
a^6, b^6, c^6, d^6, e^6の五つのうち
余り0のものが四つで、余り1のものが一つとなるしかありません。
以上より、a, b, c, d, eのうち7の倍数は4つであると分かります。
こんな感じかと思います。
解答ありがとうございます。
とても参考になりました。