複素数と三角法を用いたフェルマーの最終定理の証明 | Synapse