IMO2017第6問をスキーム論で解く

2017 年度国際数学オリンピック第 6 問の、スキーム論を用いた解法を解説します。元ネタはMathOverflow のポスト(https://mathoverflow.net/questions/277253/imo-2017-6-via-arithmetic-geometry) です。元の回答では省略されていた証明の細部をできる限り埋めたつもりです。なお筆者はスキーム論初心者なので間違いを含んでいる可能性があります。間違いを見つけたら Twitter(@Asuka Tsukimi)までご連絡ください。